UNIVERSIDAD NACIONAL AUTNOMA DE MXICO

Facultad de Estudios Superiores Acatln

Humanidades
Programa de Filosofa

PROGRAMA LGICA III

Lic. Miguel ngel Amador vila

Con base en el anlisis del sistema lgico de Teora de Conjuntos el alumno

comprender los problemas de la estructura lgica desde una perspectiva metalgica.
Con ello se reconocern los nexos entre la Filosofa de la lgica y otras ramas de la
Filosofa, como por ejemplo: Filosofa de la Ciencia y Filosofa del Lenguaje.
Objetivos:
-El alumno reconocer la naturaleza del sistema lgico de Teora de Conjuntos.
-El alumno reforzar sus conocimientos del clculo de proposiciones.
-El alumno comprender propiedades centrales metalgicas: consistencia, correccin,
completitud y decibilidad.
-El alumno entender lo que es una Categora.
UNIDADES TEMTICAS
1.- Mtodos de decisin para la lgica proposicional.
1.1.- rboles de expansin clausular.
1.2.- rboles semnticos.
El tiempo de estudio es de 10 horas en cinco sesiones.
Actividades: Elaboracin y resolucin de ejercicios en clase.
Bibliografa especfica:
-Gamut, L. T. F., Introduccin a la lgica, Eudeba, Buenos Aires, 2002.
2.- Teora de Conjuntos.
2.1.- Teora de conjuntos ingenua.
2.2.- Conjuntos y Clases.
1

2.3.- Axiomas de la Teora de Conjuntos.

2.4.- Uniones e intersecciones generalizadas.
2.5.- Producto cartesiano.
El tiempo de estudio es de 28 horas en catorce sesiones.
Actividades: Elaboracin y resolucin de ejercicios en clase; discutir con el alumnado las
caractersticas de la estructura lgica de la Teora de Conjuntos.
Bibliografa especfica:
- Amor Montao Jos Alfredo, Teora de Conjuntos para estudiantes de ciencias, Facultad
de Ciencias, UNAM, Mxico, 1997.
3.- Teora de Categoras.
3.1.- Composicin de morfismos.
3.2.- Coleccin finita.
3.3.- Leyes de la Teora de Categoras.
EL estudio de este mdulo tendr una duracin de 12 horas repartidas en seis sesiones.
Actividades: Explicacin de la estructura lgica de la Teora de Categoras y su relacin
con la Teora de Conjuntos. Elaboracin y resolucin de ejercicios en clase.
Bibliografa especfica:
- Awodey, Steve, Category Theory, Oxford University Press, New York, 2010.
4.- Propiedades metalgicas centrales.
4.1- Consistencia.
4.2.- Correccin.
4.3.- Completitud.
4.4.- Decibilidad.
Actividades: Explicacin y discusin con los alumnos de las propiedades centrales
metalgicas.
Bibliografa especfica:
- Hunter Geoffrey, Metalogic. An introduction ti the Metatheory of Standard First Order
Logic, University of California Press, 1996.

EVALUACIN
-Asistencia: 20%
-Examen: 40%
-Trabajo final: 40%
Bibliografa bsica:
- Amor Montao Jos Alfredo, Teora de Conjuntos para estudiantes de ciencias, Facultad
de Ciencias, UNAM, Mxico, 1997.
- Awodey, Steve, Category Theory, Oxford University Press, New York, 2010.
- Copi Irving, Lgica simblica, Mxico, CESA, 1992.
- Hunter Geoffrey, Metalogic. An introduction ti the Metatheory of Standard First Order
Logic, University of California Press, 1996.
-Gamut, L. T. F., Introduccin a la lgica, Eudeba, Buenos Aires, 2002.