Traducibilidad entre Lógicas: ¿Vía para la Logicidad? El Caso de la Traducción de Sistemas de Lógica Libre a Lógica Clásica de Primer Orden

Ponente: Gabriela Hernández Deciderio (Doctorado Lógica y Filosofía de la Ciencia, Universidad de Salamanca, España)

Fecha: 17 de febrero, 12hrs
Lugar: Sala de Investigadores Fernando Salmerón, Instituto de Investigaciones Filosóficas, UNAM

Resumen: La charla tiene el propósito de motivar la discusión respecto a si es posible y viable sustentar una noción de logicidad –concebida como el núcleo básico que contiene lo que debamos entender por “lógico”- y si una vía apropiada para capturar tal noción está dada por los mecanismos de traducción entre lógicas. En particular revisaré la propuesta traduccionista hecha por María Manzano y los resultados que me ha arrojado al aplicarla para la traducción de sistemas de lógica libre a lógica clásica de primer orden.


Presentación.