Consecuencia lógica, formalización y normatividad en Frege y Tarski.

Con este proyecto nos proponemos investigar, desde una perspectiva histórico-filosófica, el desarrollo de la noción de consecuencia lógica, en la concepción de la lógica de Tarski y en su relación con el problema de la normatividad a partir de la crítica de Etchemendy. En este sentido se busca comparar el tratamiento del problema de la normatividad de la lógica en Frege con el mismo problema en la concepción tarskiana. En primer lugar, trataremos de analizar las propuestas de Tarski sobre la consecuencia lógica en contraste con la tradición Frege-Russell. En particular, tomaremos como punto de partida ciertas ideas propuestas por Peregrin y Sinaceur sobre el rol de Tarski en el profundo cambio que sufrió la lógica matemática al desplazarse desde un enfoque simbólico hacia uno formalista. Trataremos de mostrar que este cambio privilegió el tratamiento formal de ciertas nociones lógicas claves al tiempo que representó un cambio en los fundamentos epistemológicos que eran explícitos en la tradición simbólica impulsada por Frege. En segundo lugar, y privilegiando el análisis filosófico, estudiaremos las críticas de Etchemendy a la noción de consecuencia lógica de Tarski y su relación con el problema de la normatividad. En particular, trataremos de mostrar que parte de las críticas de Etchemendy se pueden leer en el marco de dicho giro formalista que modificó los fundamentos epistemológicos de la disciplina, en el sentido de Frege, generando dificultades para comprender en qué sentido la lógica tiene un rol normativo.