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

Abstract

El presente artículo hace un recorrido histórico de los procesos lógicos para lograr una formalización rigurosa del lenguaje. Desde sus inicios en Grecia hasta las propuestas contemporáneas de la lógica simbólica o matemática. Se realiza una ubicación general de los avances en las diferentes épocas para luego explicar el proceso de formalización lógico del lenguaje cotidiano a partir de la lógica clásica; luego de ello se postulan algunas limitaciones de la formalización clásica y se procede a explicar el proceso moderno de formalización; en un tercer momento, se hace referencia a la importancia del manejo formal del lenguaje en el análisis del discurso y la validación de teorías científicas, valorando el lenguaje formal de la lógica y de la matemática como sistemas para la construcción de la ciencia. La formalización del lenguaje apoya con veracidad los manejos de la argumentación científica y que luego se puede traducir en aplicaciones tecnológicas. El objetivo del artículo es analizar los procesos de formalización del lenguaje a través de un análisis histórico de la lógica, para la determinación de los elementos lógicos que aportan a la formalización del lenguaje y a la construcción de argumentos científicos válidos; y, se alcanzará por medio del planteamiento de las preguntas: ¿Qué aportes filosóficos constituyen los postulados más relevantes para la evolución del análisis lógico? ¿Cuáles son las limitaciones que presenta la lógica clásica o aristotélica ante la lógica simbólica estructurada por Frege? ¿Cuáles son los aportes a partir de la formalización lógica del lenguaje para el análisis del discurso y la estructuración de la ciencia? // This article makes a historical overview of the logical processes to achieve a rigorous formalization of language. Since its inception in Greece to contemporary proposals of symbolic or mathematical logic. A general location of progress at different times is performed in order to explain the process of logical formalization of everyday language from classical logic. Then some limitations of classical formalization are postulated and proceeds to explain the modern process formalization; in a third stage, it is referred the importance of the formal use of language in discourse analysis and scientific theories validation, valuing the formal language of logic and mathematics as systems for science construction. The formalization of language truthfully supports the handling of scientific argument and then can be translated into technological applications. The aim of this paper is to analyze the formalization of language through a historical analysis of logic, for determining the logical elements which contribute in language formalization and the construction of valid scientific arguments; and it will be achieved through the approach of the questions: What philosophical contributions are the most important principles for the development of logical analysis? Which are the limitations of classical or Aristotelian logic to symbolic logic structured by Frege? Which are the contributions from the logical formalization of language to discourse analysis and structuring of science?