Acceso usuarios
William Orlando Cárdenas Marín, Darwin Reyes, Frank Bolívar Viteri Bazante
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í cas, 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í ca 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í cos válidos; y, se alcanzará por medio del planteamiento de las preguntas: ¿Qué aportes losó cos 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?
