Ciencias Políticas - Filosofía Plan 2023
Grado y Doble Grado. Curso 2026/2027.
LÓGICA II - 902546
Curso Académico 2026-27
Datos Generales
- Plan de estudios: DT50 - DOBLE GRADO CC. POLÍTICAS - FILOSOFÍA (2023) (2023-24)
- Carácter: Obligatoria
- ECTS: 6.0
SINOPSIS
COMPETENCIAS
ACTIVIDADES DOCENTES
Semestre
Breve descriptor:
Lógica I y Lógica II constituyen una introducción a los problemas, conceptos y métodos de la lógica.
Requisitos
Objetivos
Dar a conocer los problemas, conceptos y métodos de la lógica.
p>Contenido
La asignatura cubrirá una selección entre los siguientes temas:
A. Sistemas deductivos
Sistemas deductivos para la lógica de primer orden: axiomáticos, deducción natural, cálculos de secuentes. Filosofía de la consecuencia lógica.
B. Metalógica intermedia
Noción de algoritmo, tesis de Church-Turing, decidibilidad. Teoremas de incompletud. Compacidad, propiedades de Löwenheim-Skolem.
C. Lógica modal
El concepto de modalidad. Sistemas de lógica modal. Semántica de los mundos posibles. Lógicas condicionales.
D. Extensiones y revisiones
Lógicas de orden superior. Lógicas no-clásicas.
E. Lógica y matemática
Teoría de los conjuntos: el concepto de conjunto, álgebra de conjuntos, relaciones y funciones, el concepto matemático de infinito. Fundamentos de la matemática: logicismo, formalismo, estructuralismo.
F. Lógica y lenguaje
Lógica informal. Lógica y lenguaje natural.
G. Aplicaciones de la lógica en otras teorías formales
Lógica y probabilidad. Lógica y mereología.
.
Evaluación
El profesor de cada uno de los grupos presentará a comienzo de curso un programa en el que especificará los criterios de
evaluación.
En todo caso se realizará un examen, compatible con la posibilidad de complementar la calificación con prácticas, ejercicios,
participación, etc.
Bibliografía
van Benthem (2010). Modal Logic for Open Minds. CSLI
Deaño (2002). Introducción a la lógica formal, Alianza
Díez Calzada (2002). Iniciación a la lógica. Ariel
Doxiadis & Papadimitriou (2011). Logicomix. Penguin
Forbes (1994). Modern Logic. A Text in Elementary Symbolic Logic. OUP
Howson (1997). Logic with trees. An introduction to symbolic logic. Routledge
Hughes & Cresswell (1973). Introducción a la lógica modal. Tecnos
Jeffrey (1999). Lógica formal: su alcance y sus límites. Univ. Navarra
Manzano y Huertas (2004). Lógica para principiantes. Alianza
Mosterín & Torretti (2002). Diccionario de Lógica y Filosofía de la Ciencia. Alianza
Open Logic Project (2016). Open Logic Text. https://open.umn.edu/opentextbooks/textbooks/291
Priest (2008). An Introduction to Non-Classical Logic. (2ª ed). Cambridge University Press
Estructura
| Módulos | Materias |
|---|---|
| No existen datos de módulos o materias para esta asignatura. | |
Grupos
| Clases teóricas y/o prácticas | ||||
|---|---|---|---|---|
| Grupo | Periodos | Horarios | Aula | Profesor |
| Grupo A | 19/01/2027 - 08/05/2027 | MARTES 09:00 - 11:00 | - | PAOLO MAFFEZIOLI |
| MIÉRCOLES 09:00 - 11:00 | - | PAOLO MAFFEZIOLI | ||
| Grupo R | 18/01/2027 - 07/05/2027 | JUEVES 17:00 - 19:00 | - | |
| VIERNES 17:00 - 19:00 | - | |||