BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//IIEP UBA-CONICET - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://economicas.uba.ar/iiep
X-WR-CALDESC:Eventos para IIEP UBA-CONICET
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Argentina/Buenos_Aires
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20230101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Argentina/Buenos_Aires:20241122T140000
DTEND;TZID=America/Argentina/Buenos_Aires:20241122T160000
DTSTAMP:20260424T190720
CREATED:20250801T123932Z
LAST-MODIFIED:20250801T123932Z
UID:16840-1732284000-1732291200@economicas.uba.ar
SUMMARY:En el sistema de la lógica de la justificación y sus aplicación a problemas de epistemología formal
DESCRIPTION:22 NOV | 14 h | Aula 452\nSEMINARIO 2024 DEL PROYECTO MME (MODELADO MATEMÁTICO EN ECONOMÍA: UN ANALISIS EPISTEMOLOGICO DE CASOS DE ESTUDIO)\nEn el sistema de la lógica de la justificación y sus aplicación a problemas de epistemología formal \nExpositor Franco N. Cáceres | CIECE\, FCE-UBA y UCA\nComentarios Javier Legris | CIECE\, IIEP\, UBA-CONICET \nResumen \nLa 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. \nBibliografía \nArtemov\, S.\, & Fitting\, M. (2019). Justification Logic: Reasoning with reasons. Cambridge: Cambirdge university press. \nArtemov\, 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.
URL:https://economicas.uba.ar/iiep/eventos/en-el-sistema-de-la-logica-de-la-justificacion-y-sus-aplicacion-a-problemas-de-epistemologia-formal/
LOCATION:UBA Córdoba\, Av. Córdoba 2122\, Buenos Aires\, Ciudad Autónoma de Buenos Aires\, 1425\, Argentina
END:VEVENT
END:VCALENDAR