1

Lógica I y Lógica II constituyen una introducción a los problemas, conceptos y métodos de la lógica.

 

p>

No hay.

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

 

p>

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.

d.

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.

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