Text this: La formalización lógica del lenguaje como punto de partida para el análisis objetivo del discurso y la argumentación científica