En el sistema de la lógica de la justificación y sus aplicación a problemas de epistemología formal

22 NOV | 14 h | Aula 452
SEMINARIO 2024 DEL PROYECTO MME (MODELADO MATEMÁTICO EN ECONOMÍA: UN ANALISIS EPISTEMOLOGICO DE CASOS DE ESTUDIO)
En el sistema de la lógica de la justificación y sus aplicación a problemas de epistemología formal

Expositor Franco N. Cáceres | CIECE, FCE-UBA y UCA
Comentarios Javier Legris | CIECE, IIEP, UBA-CONICET

Resumen

La lógica de la justificación posee su primera aparición como la “lógica de las pruebas” en el trabajo de Sergei Artemov Logic of proof (1994) en un programa por crear una semantica de la demostrabilidad aritmetica para la lógica intuicionista. Este proyecto, a su vez, ya había sido emprendido por Gödel previamente, sin embargo, la edición tardía de sus textos nos lleva a afirmar que los descubrimientos de Artemov resultan independientes de los de Gödel. En los años posteriores consideraremos que los avances de mayor relevancia en lógica de la justificación son los presentados por el mismo Artemov, por Roman Kuznets y Melvin Fitting, tanto en sus trabajos respecto a solucionar el problema de la omnisciencia lógica como en la presentación de herramientas para la resolución de problemas clásicos de la epistemología formal. Esta presentación se ocupará del problema de la omnisciencia lógica.

Bibliografía

Artemov, S., & Fitting, M. (2019). Justification Logic: Reasoning with reasons. Cambridge: Cambirdge university press.

Artemov, S., & Kuznets, R. (2006). Logical omniscience via proof complexity. Computer science logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings, comp. por Zoltán Ésik, Berlin & Heidelberg. Springer. Isbn 978-3-540-45459-5, pp. 135 – 149.