El problema de categoricidad: entre la teoría de la prueba y la semántica

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.

Cupo máxmo de inscripctxs: 35