El problema de categoricidad: entre la teoría de la prueba y la semántica
Seminario de doctorado a cargo de DA RÉ, Bruno
Inicio 19/03/2025 Fin 14/05/2025
Síntesis de la propuesta: En su libro Formalization of Logic de 1943, Carnap introdujo el conocido problema de categoricidad (también llamado “el problema de Carnap”) para la lógica clásica. En pocas palabras, el descubrimiento de interpretaciones “no normales” evidenció que las reglas de la lógica clásica no eran suficientes para capturar a las interpretaciones pretendidas de los conectivos; éstas son sólo un subconjunto de las interpretaciones admisibles respecto de las cuales las reglas son correctas. Esto genera una asimetría entre la semántica y la teoría de la prueba de la lógica clásica. En la última década, este tema despertó el interés de muchos filósofos y lógicos, quienes han discutido soluciones al problema o han probado generalizaciones. En el presente seminario reconstruiremos el problema, revisaremos críticamente las soluciones propuestas e indagaremos acerca de una posible extensión del problema de categoricidad a lógicas no clásicas no tratadas en la bibliografía.
Áreas:
Carga horaria: 32 HS.
+ info, programa e inscripción: https://posgrado.filo.uba.ar/SemDoc2025-DaRe