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?

Acceso gratuito