Contenidos teóricos y prácticos de la asignatura
CONTENIDOS GENERALES
Examen de propuestas y corrientes de investigación actuales en alguna/s de las siguientes áreas de estudio: lógica de primer orden clásica, lógicas
extendidas, lógicas alternativas, teoría de conjuntos, la teoría de modelos, teoría de la computabilidad, teoría de la prueba, historia de la lógica o filosofía
de la lógica.
Estudio introductorio de las principales lógicas extendidas (modal, temporal, deóntica), así como de las lógicas multimodales que cabe desarrollar a partir de las combinaciones entre las mismas.
Se presupone el conocimiento de la lógica de primer orden clásica.
CONTENIDOS ESPECÍFICOS
1. Lógicas modales.
2. Lógicas deónticas.
3. Lógicas temporales.
4. Lógicas multimodales
Examen de propuestas y corrientes de investigación actuales en alguna/s de las siguientes áreas de estudio: lógica de primer orden clásica, lógicas
extendidas, lógicas alternativas, teoría de conjuntos, la teoría de modelos, teoría de la computabilidad, teoría de la prueba, historia de la lógica o filosofía
de la lógica.
Estudio introductorio de las principales lógicas extendidas (modal, temporal, deóntica), así como de las lógicas multimodales que cabe desarrollar a partir de las combinaciones entre las mismas.
Se presupone el conocimiento de la lógica de primer orden clásica.
CONTENIDOS ESPECÍFICOS
1. Lógicas modales.
2. Lógicas deónticas.
3. Lógicas temporales.
4. Lógicas multimodales
Actividades a desarrollar en otro idioma
Será necesario utilizar bibliografía en inglés.