{"id":16840,"date":"2025-08-01T09:39:32","date_gmt":"2025-08-01T12:39:32","guid":{"rendered":"https:\/\/www.economicas.uba.ar\/iiep\/?post_type=tribe_events&#038;p=16840"},"modified":"2025-08-01T09:39:32","modified_gmt":"2025-08-01T12:39:32","slug":"en-el-sistema-de-la-logica-de-la-justificacion-y-sus-aplicacion-a-problemas-de-epistemologia-formal","status":"publish","type":"tribe_events","link":"https:\/\/economicas.uba.ar\/iiep\/eventos\/en-el-sistema-de-la-logica-de-la-justificacion-y-sus-aplicacion-a-problemas-de-epistemologia-formal\/","title":{"rendered":"En el sistema de la l\u00f3gica de la justificaci\u00f3n y sus aplicaci\u00f3n a problemas de epistemolog\u00eda formal"},"content":{"rendered":"<div class=\"tribe-events-single-event-description tribe-events-content\">\n<p>22 NOV | 14 h | Aula 452<br \/>\nSEMINARIO 2024 DEL PROYECTO MME (MODELADO MATEM\u00c1TICO EN ECONOM\u00cdA: UN ANALISIS EPISTEMOLOGICO DE CASOS DE ESTUDIO)<br \/>\n<strong>En el sistema de la l\u00f3gica de la justificaci\u00f3n y sus aplicaci\u00f3n a problemas de epistemolog\u00eda formal<\/strong><\/p>\n<p>Expositor <strong>Franco N. C\u00e1ceres<\/strong> | CIECE, FCE-UBA y UCA<br \/>\nComentarios <strong>Javier Legris<\/strong> | CIECE, IIEP, UBA-CONICET<\/p>\n<p><strong>Resumen<\/strong><\/p>\n<p>La l\u00f3gica de la justificaci\u00f3n posee su primera aparici\u00f3n como la \u201cl\u00f3gica de las pruebas\u201d en el trabajo de Sergei Artemov Logic of proof (1994) en un programa por crear una semantica de la demostrabilidad aritmetica para la l\u00f3gica intuicionista. Este proyecto, a su vez, ya hab\u00eda sido emprendido por G\u00f6del previamente, sin embargo, la edici\u00f3n tard\u00eda de sus textos nos lleva a afirmar que los descubrimientos de Artemov resultan independientes de los de G\u00f6del. En los a\u00f1os posteriores consideraremos que los avances de mayor relevancia en l\u00f3gica de la justificaci\u00f3n 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\u00f3gica como en la presentaci\u00f3n de herramientas para la resoluci\u00f3n de problemas cl\u00e1sicos de la epistemolog\u00eda formal. Esta presentaci\u00f3n se ocupar\u00e1 del problema de la omnisciencia l\u00f3gica.<\/p>\n<p><strong>Bibliograf\u00eda<\/strong><\/p>\n<p>Artemov, S., &amp; Fitting, M. (2019). Justification Logic: Reasoning with reasons. Cambridge: Cambirdge university press.<\/p>\n<p>Artemov, S., &amp; 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\u00e1n \u00c9sik, Berlin &amp; Heidelberg. Springer. Isbn 978-3-540-45459-5, pp. 135 \u2013 149.<\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>22 NOV | 14 h | Aula 452 SEMINARIO 2024 DEL PROYECTO MME (MODELADO MATEM\u00c1TICO EN ECONOM\u00cdA: UN ANALISIS EPISTEMOLOGICO DE CASOS DE ESTUDIO) En el sistema de la l\u00f3gica<\/p>\n","protected":false},"author":9,"featured_media":0,"template":"","meta":{"_tribe_events_status":"","_tribe_events_status_reason":"","footnotes":""},"tags":[],"tribe_events_cat":[],"class_list":["post-16840","tribe_events","type-tribe_events","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>En el sistema de la l\u00f3gica de la justificaci\u00f3n y sus aplicaci\u00f3n a problemas de epistemolog\u00eda formal - IIEP UBA-CONICET<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/economicas.uba.ar\/iiep\/eventos\/en-el-sistema-de-la-logica-de-la-justificacion-y-sus-aplicacion-a-problemas-de-epistemologia-formal\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"En el sistema de la l\u00f3gica de la justificaci\u00f3n y sus aplicaci\u00f3n a problemas de epistemolog\u00eda formal - IIEP UBA-CONICET\" \/>\n<meta property=\"og:description\" content=\"22 NOV | 14 h | Aula 452 SEMINARIO 2024 DEL PROYECTO MME (MODELADO MATEM\u00c1TICO EN ECONOM\u00cdA: UN ANALISIS EPISTEMOLOGICO DE CASOS DE ESTUDIO) En el sistema de la l\u00f3gica\" \/>\n<meta property=\"og:url\" content=\"https:\/\/economicas.uba.ar\/iiep\/eventos\/en-el-sistema-de-la-logica-de-la-justificacion-y-sus-aplicacion-a-problemas-de-epistemologia-formal\/\" \/>\n<meta property=\"og:site_name\" content=\"IIEP UBA-CONICET\" \/>\n<meta property=\"og:image\" content=\"https:\/\/economicas.uba.ar\/iiep\/wp-content\/uploads\/iiep-ico.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"300\" \/>\n\t<meta property=\"og:image:height\" content=\"300\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Tiempo de lectura\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutos\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/economicas.uba.ar\\\/iiep\\\/eventos\\\/en-el-sistema-de-la-logica-de-la-justificacion-y-sus-aplicacion-a-problemas-de-epistemologia-formal\\\/\",\"url\":\"https:\\\/\\\/economicas.uba.ar\\\/iiep\\\/eventos\\\/en-el-sistema-de-la-logica-de-la-justificacion-y-sus-aplicacion-a-problemas-de-epistemologia-formal\\\/\",\"name\":\"En el sistema de la l\u00f3gica de la justificaci\u00f3n y sus aplicaci\u00f3n a problemas de epistemolog\u00eda formal - IIEP UBA-CONICET\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/economicas.uba.ar\\\/iiep\\\/#website\"},\"datePublished\":\"2025-08-01T12:39:32+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/economicas.uba.ar\\\/iiep\\\/eventos\\\/en-el-sistema-de-la-logica-de-la-justificacion-y-sus-aplicacion-a-problemas-de-epistemologia-formal\\\/#breadcrumb\"},\"inLanguage\":\"es-AR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/economicas.uba.ar\\\/iiep\\\/eventos\\\/en-el-sistema-de-la-logica-de-la-justificacion-y-sus-aplicacion-a-problemas-de-epistemologia-formal\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/economicas.uba.ar\\\/iiep\\\/eventos\\\/en-el-sistema-de-la-logica-de-la-justificacion-y-sus-aplicacion-a-problemas-de-epistemologia-formal\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Inicio\",\"item\":\"https:\\\/\\\/economicas.uba.ar\\\/iiep\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Eventos\",\"item\":\"https:\\\/\\\/economicas.uba.ar\\\/iiep\\\/eventos\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"En el sistema de la l\u00f3gica de la justificaci\u00f3n y sus aplicaci\u00f3n a problemas de epistemolog\u00eda formal\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/economicas.uba.ar\\\/iiep\\\/#website\",\"url\":\"https:\\\/\\\/economicas.uba.ar\\\/iiep\\\/\",\"name\":\"IIEP\",\"description\":\"IIEP UBA-CONICET\",\"publisher\":{\"@id\":\"https:\\\/\\\/economicas.uba.ar\\\/iiep\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/economicas.uba.ar\\\/iiep\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"es-AR\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/economicas.uba.ar\\\/iiep\\\/#organization\",\"name\":\"IIEP\",\"url\":\"https:\\\/\\\/economicas.uba.ar\\\/iiep\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es-AR\",\"@id\":\"https:\\\/\\\/economicas.uba.ar\\\/iiep\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/economicas.uba.ar\\\/iiep\\\/wp-content\\\/uploads\\\/logo_iiep_light.svg\",\"contentUrl\":\"https:\\\/\\\/economicas.uba.ar\\\/iiep\\\/wp-content\\\/uploads\\\/logo_iiep_light.svg\",\"caption\":\"IIEP\"},\"image\":{\"@id\":\"https:\\\/\\\/economicas.uba.ar\\\/iiep\\\/#\\\/schema\\\/logo\\\/image\\\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"En el sistema de la l\u00f3gica de la justificaci\u00f3n y sus aplicaci\u00f3n a problemas de epistemolog\u00eda formal - IIEP UBA-CONICET","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/economicas.uba.ar\/iiep\/eventos\/en-el-sistema-de-la-logica-de-la-justificacion-y-sus-aplicacion-a-problemas-de-epistemologia-formal\/","og_locale":"es_ES","og_type":"article","og_title":"En el sistema de la l\u00f3gica de la justificaci\u00f3n y sus aplicaci\u00f3n a problemas de epistemolog\u00eda formal - IIEP UBA-CONICET","og_description":"22 NOV | 14 h | Aula 452 SEMINARIO 2024 DEL PROYECTO MME (MODELADO MATEM\u00c1TICO EN ECONOM\u00cdA: UN ANALISIS EPISTEMOLOGICO DE CASOS DE ESTUDIO) En el sistema de la l\u00f3gica","og_url":"https:\/\/economicas.uba.ar\/iiep\/eventos\/en-el-sistema-de-la-logica-de-la-justificacion-y-sus-aplicacion-a-problemas-de-epistemologia-formal\/","og_site_name":"IIEP UBA-CONICET","og_image":[{"width":300,"height":300,"url":"https:\/\/economicas.uba.ar\/iiep\/wp-content\/uploads\/iiep-ico.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Tiempo de lectura":"2 minutos"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/economicas.uba.ar\/iiep\/eventos\/en-el-sistema-de-la-logica-de-la-justificacion-y-sus-aplicacion-a-problemas-de-epistemologia-formal\/","url":"https:\/\/economicas.uba.ar\/iiep\/eventos\/en-el-sistema-de-la-logica-de-la-justificacion-y-sus-aplicacion-a-problemas-de-epistemologia-formal\/","name":"En el sistema de la l\u00f3gica de la justificaci\u00f3n y sus aplicaci\u00f3n a problemas de epistemolog\u00eda formal - IIEP UBA-CONICET","isPartOf":{"@id":"https:\/\/economicas.uba.ar\/iiep\/#website"},"datePublished":"2025-08-01T12:39:32+00:00","breadcrumb":{"@id":"https:\/\/economicas.uba.ar\/iiep\/eventos\/en-el-sistema-de-la-logica-de-la-justificacion-y-sus-aplicacion-a-problemas-de-epistemologia-formal\/#breadcrumb"},"inLanguage":"es-AR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/economicas.uba.ar\/iiep\/eventos\/en-el-sistema-de-la-logica-de-la-justificacion-y-sus-aplicacion-a-problemas-de-epistemologia-formal\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/economicas.uba.ar\/iiep\/eventos\/en-el-sistema-de-la-logica-de-la-justificacion-y-sus-aplicacion-a-problemas-de-epistemologia-formal\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Inicio","item":"https:\/\/economicas.uba.ar\/iiep\/"},{"@type":"ListItem","position":2,"name":"Eventos","item":"https:\/\/economicas.uba.ar\/iiep\/eventos\/"},{"@type":"ListItem","position":3,"name":"En el sistema de la l\u00f3gica de la justificaci\u00f3n y sus aplicaci\u00f3n a problemas de epistemolog\u00eda formal"}]},{"@type":"WebSite","@id":"https:\/\/economicas.uba.ar\/iiep\/#website","url":"https:\/\/economicas.uba.ar\/iiep\/","name":"IIEP","description":"IIEP UBA-CONICET","publisher":{"@id":"https:\/\/economicas.uba.ar\/iiep\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/economicas.uba.ar\/iiep\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"es-AR"},{"@type":"Organization","@id":"https:\/\/economicas.uba.ar\/iiep\/#organization","name":"IIEP","url":"https:\/\/economicas.uba.ar\/iiep\/","logo":{"@type":"ImageObject","inLanguage":"es-AR","@id":"https:\/\/economicas.uba.ar\/iiep\/#\/schema\/logo\/image\/","url":"https:\/\/economicas.uba.ar\/iiep\/wp-content\/uploads\/logo_iiep_light.svg","contentUrl":"https:\/\/economicas.uba.ar\/iiep\/wp-content\/uploads\/logo_iiep_light.svg","caption":"IIEP"},"image":{"@id":"https:\/\/economicas.uba.ar\/iiep\/#\/schema\/logo\/image\/"}}]}},"_links":{"self":[{"href":"https:\/\/economicas.uba.ar\/iiep\/wp-json\/wp\/v2\/tribe_events\/16840","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/economicas.uba.ar\/iiep\/wp-json\/wp\/v2\/tribe_events"}],"about":[{"href":"https:\/\/economicas.uba.ar\/iiep\/wp-json\/wp\/v2\/types\/tribe_events"}],"author":[{"embeddable":true,"href":"https:\/\/economicas.uba.ar\/iiep\/wp-json\/wp\/v2\/users\/9"}],"version-history":[{"count":1,"href":"https:\/\/economicas.uba.ar\/iiep\/wp-json\/wp\/v2\/tribe_events\/16840\/revisions"}],"predecessor-version":[{"id":16841,"href":"https:\/\/economicas.uba.ar\/iiep\/wp-json\/wp\/v2\/tribe_events\/16840\/revisions\/16841"}],"wp:attachment":[{"href":"https:\/\/economicas.uba.ar\/iiep\/wp-json\/wp\/v2\/media?parent=16840"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/economicas.uba.ar\/iiep\/wp-json\/wp\/v2\/tags?post=16840"},{"taxonomy":"tribe_events_cat","embeddable":true,"href":"https:\/\/economicas.uba.ar\/iiep\/wp-json\/wp\/v2\/tribe_events_cat?post=16840"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}