LÓGICA II

1º Curso

6 Créditos

Curso 2003-04

Manuel de Pinedo, Departamento de Filosofía, Universidad de Granada

Programa de clases teóricas

1.Semántica de la lógica de primer order

2.Satisfacibilidad, validez y consecuencia

3.Independencia

4.Propiedades fundamentales de los cálculos

Programa de clases prácticas:

1.Ilustración de las categorías semánticas fundamentales

2.Prueba de metateoremaselementates

3.Pruebas de independencia

4.Forma normal prenexa

BIBLIOGRAFÍA:

-DEAÑO, A.: Introducción a la lógica formal. Madrid, Alianza, 1974

-DÍEZ CALZADA, J.A.: Iniciación a la lógica. Barcelona, Ariel, 2002

-GUTTENPLAN, S.: The Languages of Logic: An Introduction. Nueva York, Blackwell, 1978

-MOSTERÍN, J.: Lógica de primer orden.Barcelona, Ariel, 1983

-PÉREZ SEDEÑO, E.: Ejercicios de lógica.Madrid, Siglo XXI, 1991

-QUESADA, D.: La lógica y su filosofía. Barcelona, Barcanova, 1985

-I Interpretación de lógica proposicional (tablas de verdad, relación entre el valor de verdad de una oración atómica y una molecular)

-II Nociones de teoría de conjuntos

-III Interpretación de lógica de primer orden (pruebas de independencia)