Ciencias Políticas - Filosofía Plan 2023

Grado y Doble Grado. Curso 2026/2027.

LÓGICA I - 902537

Curso Académico 2026-27

Datos Generales

SINOPSIS

COMPETENCIAS

ACTIVIDADES DOCENTES

Semestre

1

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

No hay.

Objetivos

Dar a conocer los problemas, conceptos y métodos de la lógica.

Contenido

La asignatura cubrirá los siguientes temas:

 

1. La noción de consecuencia lógica y la lógica formal
Argumentos y validez. Validez y verdad. Herramientas matemáticas para la lógica. 


2. Lógica clásica enunciativa
Sintaxis: fórmulas. Formalización. Semántica: funciones de verdad, modelos. Consecuencia, verdad, equivalencia e inconsistencia lógica. 

 
3. Lógica clásica de primer orden con identidad
Sintaxis: términos y predicados, fórmulas. Formalización. Semántica: interpretaciones, asignaciones, modelos. Consecuencia, verdad, equivalencia e inconsistencia lógica. 


4. Metalógica básica 
La noción de sistema deductivo. Corrección y completud. 

p;

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.

Bibliografía

Badesa ¿ Jané ¿Jansana (1998). Elementos de lógica formal. Ariel
Barwise ¿ Etchemendy (1999). Language, Proof and Logic. CSLI ¿ SevenBridges Press
Deaño (2002). Introducción a la lógica formal, Alianza
Díez Calzada (2002). Iniciación a la lógica. Ariel
Forbes (1994). Modern Logic. A Text in Elementary Symbolic Logic. OUP
Hodges (1977). Logic: An introduction to elementary logic. Penguin Books
Manzano ¿ Huertas (2004). Lógica para principiantes. Alianza
Open Logic Project (2016). Open Logic Text. https://open.umn.edu/opentextbooks/textbooks/291
Zalabardo (2002). Introducción a la teoría de la lógica. (pp. 19-50). Alianza

Estructura

MódulosMaterias
No existen datos de módulos o materias para esta asignatura.

Grupos

Clases teóricas y/o prácticas
GrupoPeriodosHorariosAulaProfesor
Grupo A08/09/2026 - 12/12/2026MARTES 09:00 - 11:00-JOAN BERTRAN SAN MILLAN
MIÉRCOLES 09:00 - 11:00-JOAN BERTRAN SAN MILLAN
Grupo R07/09/2026 - 11/12/2026JUEVES 17:00 - 19:00-
VIERNES 17:00 - 19:00-