Abstract

CARDENAS-MARIN, William Orlando; REYES SOLIS, Darwin Bellini  and  VITERI BAZANTE, Frank Bolívar. The logical formalization of language as a starting point for speech objective analysis and scientific argumentation. Sophia [online]. 2017, n.22, pp.103-125. ISSN 1390-8626.  https://doi.org/10.17163/soph.n22.2017.04.

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?

Keywords : Logic; proposition; truth tables; language formalization; speech; scientific argument.

        · abstract in Spanish     · text in Spanish     · Spanish ( pdf )