La Formalización Lógica del Lenguaje como Punto de Partida para el Análisis Objetivo del Discurso y la Argumentación Científica

This article makes a historical review of the logical processes to achieve a rigorous formalization of language. From its beginnings in Greece to the contemporary proposals of symbolic or mathematical logic. A general location of the advances in the different epochs is made to then explain the process of logical formalization of everyday language starting from classical logic; after that, some limitations of classical formalization are postulated and the modern process of formalization is explained; in a third moment, reference is made to the importance of the formal management of language in the analysis of discourse and the validation of scientific theories, valuing the formal language of logic and mathematics as systems for the construction of science. The formalization of language supports with veracity the management of scientific argumentation, which can then be translated into technological applications. The objective of the article is to analyze the processes of language formalization through a historical analysis of logic, in order to determine the logical elements that contribute to the formalization of language and to the construction of valid scientific arguments; and it will be achieved through the following questions: What logical contributions constitute the most relevant postulates for the evolution of logical analysis? What are the limitations of classical or Aristotelian logic in the face of the symbolic logic structured by Frege? What are the contributions of the logical formalization of language to the analysis of discourse and the structuring of science?.