Filosofía
Grado y Doble Grado. Curso 2026/2027.
LÓGICA II - 801309
Curso Académico 2026-27
Datos Generales
- Plan de estudios: 0820 - GRADO EN FILOSOFÍA (2010-11)
- Carácter: Obligatoria
- ECTS: 6.0
SINOPSIS
COMPETENCIAS
Generales
. Expresarse con rigor en el ámbito científico y profesional propio
. Saber localizar y seleccionar la información relevante sobre un tema concreto.
. Saber presentar convenientemente sea oral o por escrito los resultados del estudio y la investigación.
. Saber advertir problemas y plantear posibles soluciones al mismo.
. Desarrollar una capacidad de estudio autónomo.
. Saber afrontar nuevos problemas y situaciones.
. Conocer y manejar las tecnologías de información y comunicación aplicadas al estudio y ejercicio profesional de la filosofía.
. Saber localizar y seleccionar la información relevante sobre un tema concreto.
. Saber presentar convenientemente sea oral o por escrito los resultados del estudio y la investigación.
. Saber advertir problemas y plantear posibles soluciones al mismo.
. Desarrollar una capacidad de estudio autónomo.
. Saber afrontar nuevos problemas y situaciones.
. Conocer y manejar las tecnologías de información y comunicación aplicadas al estudio y ejercicio profesional de la filosofía.
Transversales
. Conocer la terminología filosófica fundamental, saber emplearla adecuadamente y reconocer su uso indebido, inexacto, impreciso o ambiguo.
. Comprender un texto filosófico, identificar en él las ideas planteadas, resumirlas y presentarlas sucintamente.
. Conocer las fuentes, teorías y argumentos que históricamente han planteado los más importantes filósofos, manejar sus escritos fundamentales y tener un conocimiento básico de sus interpretaciones más importantes.
. Conocer los modos y las reglas básicas de la argumentación.
. Saber analizar lógicamente una comunicación oral o escrita para detectar en ellas contradicciones, ambigüedades, falacias, etc.
. Tener capacidad de analizar, sintetizar e interpretar datos filosóficos relevantes de índole cultural, social, política, ética o científica, y de emitir juicios reflexivos y críticos sobre ellos.
. Reconocer la relevancia de otras disciplinas para la actividad filosófica, así como la necesidad de reflexionar sobre sus aportaciones y límites.
. Comprender un texto filosófico, identificar en él las ideas planteadas, resumirlas y presentarlas sucintamente.
. Conocer las fuentes, teorías y argumentos que históricamente han planteado los más importantes filósofos, manejar sus escritos fundamentales y tener un conocimiento básico de sus interpretaciones más importantes.
. Conocer los modos y las reglas básicas de la argumentación.
. Saber analizar lógicamente una comunicación oral o escrita para detectar en ellas contradicciones, ambigüedades, falacias, etc.
. Tener capacidad de analizar, sintetizar e interpretar datos filosóficos relevantes de índole cultural, social, política, ética o científica, y de emitir juicios reflexivos y críticos sobre ellos.
. Reconocer la relevancia de otras disciplinas para la actividad filosófica, así como la necesidad de reflexionar sobre sus aportaciones y límites.
Específicas
. Saber desarrollar y emplear las formas básicas de la lógica, aplicándola al análisis lógico de textos de distinta índole y reconociendo contradicciones y otros tipos de problemas en los distintos modos de argumentar.
. Conocer y comprender las ideas fundamentales con que se construye una teoría de la lógica de primer orden
. Capacidad para definir lenguajes formales y llevar a cabo derivaciones formales
. Capacidad de análisis y formalización de demostraciones
. Habilidad para distinguir y describir teóricamente la estructura argumentativa de discursos razonados
. Conocer y comprender las ideas fundamentales con que se construye una teoría de la lógica de primer orden
. Capacidad para definir lenguajes formales y llevar a cabo derivaciones formales
. Capacidad de análisis y formalización de demostraciones
. Habilidad para distinguir y describir teóricamente la estructura argumentativa de discursos razonados
ACTIVIDADES DOCENTES
Clases teóricas
Clases impartidas por el profesor: 34 horas
Clases prácticas
Resolución de ejercicios y problemas: 18 horas
Otras actividades
Actividades no presenciales: trabajo autónomo del estudiante, que incluye la lectura y estudio de los textos y bibliografía recomendados por el profesor y la resolución de los ejercicios y problemas propuestos (podrá usarse para estos fines el campus virtual como entorno de trabajo): 98 horas
TOTAL
150 (6 ECTS)
Semestre
2
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
Lógica I.
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
Globalmente 2/3 de la evaluación corresponderán a créditos teóricos y 1/3 a créditos prácticos.
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.
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
Alchourrón, Orayen & Menéndez (Eds.) (2005). Lógica. Trotta
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
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/prácticas | ||||
|---|---|---|---|---|
| Grupo | Periodos | Horarios | Aula | Profesor |
| Grupo B | 19/01/2027 - 08/05/2027 | JUEVES 09:00 - 11:00 | - | VICTOR ARANDA UTRERO |
| VIERNES 09:00 - 11:00 | - | VICTOR ARANDA UTRERO | ||
| Grupo teórico A | 19/01/2027 - 08/05/2027 | JUEVES 11:00 - 13:00 | - | ELIA ZARDINI |
| VIERNES 11:00 - 13:00 | - | ELIA ZARDINI | ||
| Grupo teórico T | 19/01/2027 - 08/05/2027 | JUEVES 17:00 - 19:00 | - | JOAN BERTRAN SAN MILLAN |
| VIERNES 17:00 - 19:00 | - | JOAN BERTRAN SAN MILLAN | ||