UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO

FACULTAD DE FILOSOFÍA Y LETRA

COLEGIO DE FILOSOFÍA
Programa de actividad académica

Denominación: LOGICA 2: Lógica Cuantificacional

Clave: 3216 Semestre:2 Campo de conocimiento: LÓGICA No. Créditos: 8
Horas al
Carácter: OBLIGATORIA Horas Horas por semana
semestre
Teoría: Práctica
Tipo: Teórica :
64 0 4 64
Modalidad: Curso Duración del programa: 16 SEMANAS

Seriación: Sin Seriación( ) Obligatoria ( x ) Indicativa( )

Actividad académica subsecuente: LÓGICA 3
Actividad académica antecedente: LÓGICA 1
Objetivo general: Al final del módulo los alumnos se habrán familiarizado con la lógica de
primer orden y su utilidad en la carrera de filosofía y en diversas disciplinas tales como
lingüística, matemáticas y ciencias de la computación. En especial, se busca que los
estudiantes:
1: sepan por qué es filosóficamente interesante en sí la lógica cuantificacional,
2: entiendan cómo puede el manejo de la lógica cuantificacional ayudarles para
obtener un mejor empleo,
3: puedan usar la lógica cuantificacional para hacer mejor filosofía en general,
4: puedan usar la lógica cuantificacional en áreas específicas de la filosofía.
Objetivos específicos:
Saber detectar las propiedades lógicas básicas de argumentos en lenguaje natural
determinadas por una forma lógica cuantificacional clásica.
Reconocer en español la cuantificación de una frase.
Poder utilizar lógica de primer orden para analizar argumentos filosóficos.
Entender las nociones de universo de discurso, cuantificador, fórmula cuantificacional
bien formada, variable libre, variable ligada, constantes y variables individuales y de
predicado, substitución uniforme.
Conocer las reglas de generalización existencial y universal, y las de instanciación
existencial y universal.
Poder demostrar validez o invalidez cuantificacional de frases o argumentos.

Índice temático
Horas
Unidad Tema
Teóricas Prácticas
1 Lenguaje de predicados de primer orden 10 0
2 Cálculo o teoría de prueba cuantificacional 32 0
3 Mención de varios métodos de prueba 8 0
Nociones básicas de teoría de modelos para lógica
4 10 0
cuantificacional
5 Límites y alcances de la lógica cuantificacional 4 0
Total de horas: 64 0
Suma total de horas: 64
Contenido Temático
Unidad Tema y subtemas
Lenguaje de predicados de primer orden
1. Utilidad de cuantificar.
2. Traducción de y al lenguaje natural
a. Vocabulario:
i. Constantes de individuo
ii. Constantes de relaciones
iii. Constantes de funciones
iv. Variables de individuo
1. Variables libres y ligadas
2. Oraciones abiertas y cerradas
v. Cuantificadores
1
1. universales,
2. existenciales,
3. restringidos y
4. numéricos
vi. Universo de discurso
b. Reglas de formación de fórmulas cuantificacionales bien
formadas.
3. Substitución Uniforme
4. Formas normales prenex
5. Identidad e igualdad
6. Operador de descripción
Cálculo o teoría de prueba cuantificacional
1. Reglas para cuantificación:
a. GU, Generalización Universal (Introducción del Cuantificador
Universal)
b. GE, Generalización Existencial (Introducción del
Cuantificador Existencial)
c. IU, Instanciación Universal (Eliminación del Cuantificador
2
Universal).
d. IE, Instanciación Existencial (Elección o Eliminación del
Cuantificador Existencial)
2. Prueba, refutación y consistencia
a. Por pura lógica: necesidad o imposibilidad
b. Con axiomas propios: corrección inferencial
3. Identidad y axiomas de igualdad
3 Mención de varios métodos de prueba:
1. Tablas de verdad
2. Deducción natural
3. Formas normales conjuntivas y disyuntivas
a. Métodos semántico y sintáctivo de obtención;
b. Expansiones Booleanas.
4. Árboles de verdad.
5. Resolución de Quine.
6. Método axiomático
 7. Lógica algebraica.
8. Métodos computacionales (unificación y resolución).
9. Silogismos y diagramas de Venn: Usos y limitaciones.
10. Axiomatización:
a. Axiomas,
b. Esquemas axiomáticos,
c. Reglas de transformación,
d. Teoremas.
Nociones básicas de teoría de modelos para lógica cuantificacional
1. Interpretación, denotación
2. Verdad bajo una interpretación, satisfacibilidad
3. Modelo de una fórmula o de un conjunto de fórmulas
4. Consistencia semántica cuantificacional
4 5. Consecuencia semántica cuantificacional
6. Validez lógica cuantificacional.
7. Completud cuantificacional
8. Correctud cuantificacional.
9. Definibilidad
10. Compacidad para lenguajes contables.
Límites y alcances de la lógica cuantificacional
1. Indecidibilidad y límites expresivos
2. intensionalidad,
3. no-monotonicidad,
4. cuantificaciones alternativas
a. borrosas,
5
b. libres de presupuestos existenciales,
c. generales,
d. ramificadas,
e. etc.
5. Otras ramas de la lógica cuantificacional:
a. de orden superior,
b. modales,
c. etc.
Bibliografía básica:
Quine, W. V. Los Métodos de la Lógica Ariel, Barcelona, 1981.

Bibliografía complementaria:
Agazzi, Evandro La Lógica Simbólica. Herder.
Ambrose, A. y Lazerowitz, M. Fundamentos de Lógica Simbólica. IIF, UNAM.
Blanche, Robert. Introducción a la Lógica Contemporánea. Lohle, Buenos Aires, 1963.
Copi, Irving. Introducción a la Lógica. 15a. ed. Buenos Aires, Eudeba, 1974.
Copi, Irving. Lógica Simbólica. Ed. CECSA, México, 1987.
Enderton, H. B. Una Introducción Matemática a la Lógica IIF, UNAM.
Ferrater Mora, José y Leblanc, Hughes Lógica Matemática. FCE, México, 1963.
Garrido, Manuel Lógica Simbólica. Tecnos.
Gianella, Alicia. Lógica Simbólica y Elementos de Metodología de las Ciencias. El
Ateneo.
Gutiérrez Saenz, Raúl. Introducción a la lógica. Ed. Esfinge, México, 1988.
Hilbert, D, Ackermann, W. Elementos de Lógica Teórica. Tecnos, Madrid, 1968.
Hughes, G. E. y Cresswell, M. J. Introducción a la lógica modal. Tecnos.
Mates, Lógica Matemática Elemental Tecnos, Madrid, 1971.
Mosterín, Jesús. Lógica de Primer Orden. Barcelona, Ariel, 1971.
Quine, W. V. El Sentido de la Nueva Lógica. Nueva Visión, Buenos Aires, 1958.
Quine, W. V. Lógica Elemental Ed. Grijalbo, México 1983.
Salazar Resinas, Javier. Introducción a la lógica deductiva y teoría de los conjuntos. Vol.
I. México, UNAM, 1970.
Smith, Karl J. Introducción a la Lógica Simbólica. Editorial Iberoamericana.
Suppes, Patrick. Introducción a la Lógica Simbólica. CECSA.
Suppes, P., & Hill, S. Introducción a la Lógica Matemática. Editorial Reverté, México,
1979.
Tarski, Alfred. Introducción a la Lógica. Madrid, Espasa-Calpe, 1977.
Sugerencias didácticas: Mecanismos de evaluación del aprendizaje de los
Exposición oral (X) alumnos:
Exposición audiovisual (X) Exámenes parciales (X)
Ejercicios dentro de clase (X) Examen final escrito (X)
Ejercicios fuera del aula (X) Trabajos y tareas fuera del aula (X)
Seminarios ( ) Exposición de seminarios por los alumnos ( )
Lecturas obligatorias (X) Participación en clase ( )
Trabajo de investigación (X) Asistencia ( )
Prácticas de taller o laboratorio ( ) Seminario ( )
Prácticas de campo ( ) Otras: ( )
Otras: ____________________ ( )