UNIVERSIDAD NACIONAL AUTNOMA DE

MXICO
FACULTAD DE FILOSOFA Y LETRAS
LICENCIATURA EN FILOSOFA
ASIGNATURA:

Lgica 2

SEMESTRE 2015-2
CICLO: Estudios superiores
REA: Lgica y filosofa del lenguaje

CLAVE

HORAS/SEMANA/SEMESTRE
TEORCAS
PRCTICAS

3216

32

32

TOTAL DE
HORAS

CRDITOS

64

Carcter:
Tipo: TERICO
Modalidad: CURSO
Asignatura precedente: Lgica 1
Asignatura subsecuente: Lgica 3
OBJETIVO(S):
1. El estudiante dominar la sintaxis y la semntica de un lenguaje capaz de
representar la lgica de primer orden.
2. Reconocer frmulas bien formadas y las distinguir de secuencias de
smbolos ajenas al lenguaje.
3. Ser capaz de identificar las conectivas o constantes lgicas involucradas en
una frmula bien formada, de indicar su jerarqua y de distinguirlas de las
variables lgicas.
4. Comprender la relacin entre el lenguaje objeto y el metalenguaje empleado
para representar clases de expresiones y leyes lgicas de aqul.

Pgina 1 de 3

5. Ser capaz de sealar las condiciones de verdad (y de falsedad) de cualquier

frmula bien formada en el lenguaje objeto.
6. Ser capaz de explicar las propiedades definitorias de la determinacin y la
indeterminacin formal de una proposicin del lenguaje objeto, de la verdad y
la falsedad formal, de la equivalencia y la no equivalencia formales, de la
consistencia y la inconsistencia formales, as como de la consecuencia y la
inconsecuencia formaleso lo que es igual, podr decidir si una proposicin
es contingente, tautolgica o contradictoria; si un par de proposiciones son
equivalentes o no; si un conjunto de proposiciones son consistentes o no; y si
un argumento es vlido o invlido.
7. Comprender y sabr aplicar al menos dos mtodos para determinar las
propiedades lgicas recin enumeradas, que son el rbol de verdad (tablas
semnticas) y la derivacin natural.
8. Ser capaz de construir las interpretaciones relevantes que refuten presuntos
tautologas, inconsistencias, consecuencias o equivalencias.
HRS.
POR
UNIDAD
8

12

TEMARIO
Racapitulacin del primer curso de clculo proposicional y ubicacin de
nuevos alumnos.
El mtodo sintctico de los rboles de Verdad para identificar
contraejemplos relevantes en lgica proposicional.
1. Propiedades lgicas de totalidad y propiedades lgicas de
excepcin o contraejemplo.
2. Inconsistencia y y reduccin completa a mundos imposibles.
3. Consistencia y mundos posibles.
4. Sondeando mundos posibles para probar las otras propiedades
de excepcin: no-equivalencia, contingencia, invalidez
Primer examen
Lgica de predicados.
1. Individuos y predicados.
2. Predicados de una plaza y de mltiples plazas.
3. Elecciones que deben hacerse al traducir.
4. Cuantificadores
5. Cuantificador existencial.
6. Cuantificador universal.
7. Combinando cuantificadores en una sola proposicin.
8. Personas y cosas.
9. Identidad
10. Problemas de traduccin y dominios.
11. Argumentos en lgica proposicional.
Segundo examen

Pgina 2 de 3

16

16

Mtodos semnticos de demostracin.

Es posible demostrar por medios semnticos las propiedades lgicas
de totalidad en lgica de predicados?
1. Propiedades lgicas de excepcin e interpretaciones simples.
2. rboles de verdad y contraejemplos relevantes en lgica de
predicados.
Tercer examen
Derivacin natural en lgica de predicados.
1. Introduccin del cuantificador existencial.
2. Eliminacin del cuantificador universal.
3. Eliminacin del cuantificador existencial.
4. Introduccin del cuantificador universal.
5. Introduccin de la identidad.
6. Eliminacin de la identidad.
7. Estrategias de derivacin.
8. Derivaciones categricas en lgica de predicados.
Cuarto examen
Reposicin y exmenes de recuperacin.

BIBLIOGRAFA BSICA
R. L. Simpson, Essentials of Symbolic Logic, 3a. edicin, Broadview Press, 2008
BIBLIOGRAFA COMPLEMENTARIA
1. Suppes P. y S. Hill, Introduccin a la lgica matemtica, Editorial Revert S.
A., Mxico, 1997.
2. Copi, Irving M., Lgica simblica, Ca. Editorial Continental CECSA, Mxico,
1979.
3. Gamut, L.T.F., Lgica, lenguaje y significado, Vol. I, Eudeba, Buenos Aires,
2009.
ESTRATEGIAS DE ENSEANZA
APRENDIZAJE

Exposicin oral
Exposicin audiovisual
Ejercicios dentro del aula

Ejercicios fuera del aula

Seminario
Lecturas obligatorias
Trabajos de investigacin
Prcticas de campo
Otros:

MECANISMOS DE EVALUACIN

Exmenes parciales
Exmenes finales
Trabajos y tareas fuera
del aula
Participacin en clase
Asistencia a prcticas
Informe de investigacin
Otros:

Pgina 3 de 3