Problemas teóricos en torno a la formalización en lógica primer orden y sus implicaciones pedagógicas

Abstract

Este proyecto de investigación estará dedicado al estudio y la discusión de las cuestiones planteadas en la reciente polémica en torno a la construcción de una teoría de la formalización en lógica de primer orden de la que participan autores como Michael Baumgartner, Timm lampert, Georg Brun, Jaroslav Peregrin y Vladimir Svoboda, entre otros. Por una parte, se compararán los distintos enfoques propuestos para abordar la cuestión de la formalización lógica, una cuestión teórica abierta que está relacionada con algunos de los problemas centrales de la filosofía de la lógica. Por otra parte, se analizarán las consecuencias pedagógicas de esta polémica para la fundamentación teórica de las técnicas de formalización que se incluyen en los contenidos de los cursos de lógica para las carreras humanísticas.