"Más allá de la lógica elemental: temas de semántica, metateoría e introducción a las lógicas no clásicas"   Robledo Luis y Adan Alejandro    (15 horas)  
Fechas de realización: 4, 11, 18 y 25 de octubre, de 13 a 17 hs.
Objetivos:  Este curso pretende introducir a los docentes en temas de la teoría de la lógica más allá de los contenidos trabajados en el Eje de Lógica del curso de ingreso.
Programa:
1er encuentro:  
Semántica de la lógica de primer orden (LPO).  Satisfacibilidad, interpretación, asignación, modelo.  Validez universal. Identidad y funciones.  Nociones básicas de metateoría, consistencia y completud.
Bibliografía:  
•	L. T. F. Gamut, Introducción a la lógica, Eudeba, Buenos Aires, 2002, p. 92 -120.
2do encuentro:  
Lógica modal:  Conceptos modales.  Los sistemas modales K, T, S4 y S5.  Semántica de mundos posibles.  Semántica de Kripke.  Interpretaciones de la lógica modal.
Bibliografía:  
•	Orayen, R., “Lógica modal”, en Alchourrón, Menéndez y Orayen (eds.), Enciclopedia Iberoamericana de Filosofía, Ed. Trotta, Madrid, 1995, pp. 289-323.
3er encuentro: 
La noción de deducción natural (DN).  Caracterización de los objetivos del sistema de deducción natural.  Comparación entre diferentes sistemas de DN.  Elementos prototípicos de la DN.
Bibliografía:  
•	F.J. Pelletier & A. Hazen, “Natural Deduction” en  Dov Gabbay & John Woods (eds.), Handbook of the History of Logic; Vol. 11 “Central Concepts”, 2012.
4to encuentro:  
Gentzen: El sentido de la DN como formulación de la lógica.  El significado de las constantes lógicas y la armonía del sistema.  Normalización.  DN y teoría de la demostración.  DN y consecuencia lógica.
Bibliografía:  
•	Legris, J., “Observaciones sobre el desarrollo de la teoría de la demostración y su relevancia para la filosofía de la lógica”. En Revista Patagónica de Filosofía 1 (1999), pp. 115-132.