LÓGICA MODAL AVANZADA
Objetivos
- Manejar los aspectos filosóficos y técnico-formales de los resultados contemporáneos de los distintos sistemas de lógica no-clásica;
- Aplicar los sistemas estudiados;
- Escribir ensayos que reflejen una visión personal sobre los temas vistos en clase.
- Realizar búsquedas bibliográficas desarrollar una metodología de trabajo adecuada y enfrentarse a los textos en solitario; Utilizar con fluidez un buen lenguaje científico-filosófico y discutir y argumentar de forma autónoma acerca de los temas estudiados.
Contenidos
En esta materia se estudiarán las propiedades más importantes de los distintos sistemas de la lógica modal proposicional: K, T, S4 y S5. Se estudiarán criterios de validez, teoría de la prueba, procedimientos de decisión, corrección y completud, así como las relaciones entre dichos sistemas. Se abordará, además, el estudio de la lógica de predicados modal y sus propiedades, la semántica de Kripke y los problemas filosóficos relacionados con la lógica modal cuantificada (Quine, Barcan Marcus). El curso incluye además la posibilidad de introducir al estudiante a otros sistemas relacionados: la lógica epistémica, la lógica deóntica y la lógica temporal.
Requisitos
El estudiante deberá haber cursado cursos introductorios de lógica clásica. Se requiere un cierto conocimiento de la lógica proposicional y de predicados de primer orden. Sería recomendable el estudio en paralelo de algún curso sobre metalógica.
TEMARIO
-
Introducción. Contexto histórico y motivaciones originarias de la lógica modal. Apuntes históricos sobre la semántica de mundos posibles.
-
Algunos sistemas de lógica modal: K, T, S4 y S5.
-
Semántica de mundos posibles para lógica modal. Definiciones, estrategias de prueba y ejercicios.
-
Teoría de la prueba para lógica modal: cálculo de tableaux y cálculo axiomático. Definiciones, estrategias de pruebas y ejercicios.
-
Metalógica para lógica modal: corrección y completud de los sistemas modales.
-
Nociones introductorias sobre otras lógicas modales: lógica epistémica, lógica deóntica y lógica temporal.
Bibliografía básica
Ballarin, R. (2023). Modern Origins of Modal Logic. The Stanford Encyclopedia of Philosophy.
Blackburn, P., Rijke, M. (2001). Modal Logic. Cambridge University Press.
Copeland, B. J. (2002). The genesis of possible world semantics. Journal of Philosophical Logic, 31, p. 99–137.
Garson, J. W. (2006). Modal Logic for Philosophers. Cambridge University Press.
Haack, S. (1978). Philosophy of Logics. Cambridge: Cambridge University Press.
Huges, Creswell (1968). An Introduction to Modal Logic. London: Methuen.
Huges, Creswell (1996). A New Introduction to Modal Logic. London: Routledge.
Priest, G. (2008). An introduction to non-classical logic: from if to is. New York: Cambrige University Press.
Williamson, T. (2013). Modal Logic as Metaphysics. Oxford: Oxford University Press.
Competencias
Competencias básicas
CB6: Poseer y comprender conocimientos que aporten una base u oportunidad de ser originales en el desarrollo y/o aplicación de ideas, a menudo en un contexto de investigación.
CB9. Que los estudiantes sepan comunicar sus conclusiones –y los conocimientos y razones últimas que las sustentan– a públicos especializados y no especializados de un modo claro y sin ambigüedades.
CB10. Poseer las habilidades de aprendizaje que les permitan continuar estudiando de un modo que habrá de ser en gran medida autodirigido o autónomo.
Competencias generales
CG1 Que los estudiantes sean capaces de crear documentaciones legibles, completas, técnicamente correctas. Elaborar trabajos de investigación homologables con el nivel internacional actual de las disciplinas.
Competencias específicas
CE1. Ser capaces de identificar los conocimientos tradicionales y actuales que se plantean en el área de Lógica y Filosofía de la Ciencia (y, en particular, en filosofía de la conciencia), así como de sus diferentes corrientes y tradiciones.
Metodología de la enseñanza
Durante las horas de clase presencial se explicarán diferentes herramientas y métodos de prueba en lógica modal. Una vez culminada la docencia presencial, los estudiantes deberán realizar dos entregas de ejercicios y una última entrega o trabajo final. Se realizarán tutorías de seguimiento para resolver dudas sobre la aplicación de las metodologías de prueba mostradas en las clases. Por último, el estudiante deberá realizar una entrega final de un trabajo expositivo (entre cinco y siete páginas) que amplíe alguno de los temas de la asignatura.
Sistema de evaluación
-
Asistencia y participación en clases y tutorías: 10%
-
Seguimiento trabajo del curso: 60%
-
Prueba/trabajo final: 30%
Tiempo de estudio y trabajo personal
- Total horas: 125
- Total horas presenciales: 10
- Total clases magistrales /teóricas: 10
- Total horas no presenciales (trabajo personal): 115
- Tutorías: 10
- Seguimiento del trabajo del curso: 73
- Realización de prueba final o realización de trabajo final guiado por el profesor: 32
