7/23/2019 Beltrn Lgica 2

1/3

Pgina 1 de 3

UNIVERSIDAD NACIONAL AUTNOMA DEMXICO

FACULTAD DEFILOSOFA Y LETRAS

LICENCIATURA EN FILOSOFA

ASIGNATURA: Lgica 2

SEMESTRE 2015-2

CICLO: Estudios superiores

REA: Lgica y filosofa del lenguaje

CLAVE HORAS/SEMANA/SEMESTRE TOTAL DE CRDITOSTEORCAS PRCTICAS HORAS

3216 32 32 64 8

Carcter:

Tipo: TERICOModalidad: 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 desmbolos ajenas al lenguaje.

3. Ser capaz de identificar las conectivas o constantes lgicas involucradas enuna frmula bien formada, de indicar su jerarqua y de distinguirlas de lasvariables lgicas.

4. Comprender la relacin entre el lenguaje objeto y el metalenguaje empleadopara representar clases de expresiones y leyes lgicas de aqul.

7/23/2019 Beltrn Lgica 2

2/3

Pgina 2 de 3

5. Ser capaz de sealar las condiciones de verdad (y de falsedad) de cualquierfrmula bien formada en el lenguaje objeto.

6. Ser capaz de explicar las propiedades definitorias de la determinacin y laindeterminacin formal de una proposicin del lenguaje objeto, de la verdad yla falsedad formal, de la equivalencia y la no equivalencia formales, de la

consistencia y la inconsistencia formales, as como de la consecuencia y lainconsecuencia formaleso lo que es igual, podr decidir si una proposicines contingente, tautolgica o contradictoria; si un par de proposiciones sonequivalentes o no; si un conjunto de proposiciones son consistentes o no; y siun argumento es vlido o invlido.

7. Comprender y sabr aplicar al menos dos mtodos para determinar laspropiedades lgicas recin enumeradas, que son el rbol de verdad (tablassemnticas) y la derivacin natural.

8. Ser capaz de construir las interpretaciones relevantes que refuten presuntostautologas, inconsistencias, consecuencias o equivalencias.

HRS.PORUNIDAD

TEMARIO

8 Racapitulacin del primer curso de clculo proposicional y ubicacin denuevos alumnos.

8

El mtodo sintctico de los rboles de Verdad para identificarcontraejemplos relevantes en lgica proposicional.

1. Propiedades lgicas de totalidad y propiedades lgicas deexcepcin o contraejemplo.

2. Inconsistencia y y reduccin completa a mundos imposibles.

3. Consistencia y mundos posibles.4. Sondeando mundos posibles para probar las otras propiedadesde excepcin: no-equivalencia, contingencia, invalidez

Primer examen

12

Lgica de predicados.

1. Individuos y predicados.2. Predicados de una plaza y de mltiples plazas.3. Elecciones que deben hacerse al traducir.4. Cuantificadores5. Cuantificador existencial.6. Cuantificador universal.7. Combinando cuantificadores en una sola proposicin.8. Personas y cosas.9. Identidad10. Problemas de traduccin y dominios.11. Argumentos en lgica proposicional.

Segundo examen

7/23/2019 Beltrn Lgica 2

3/3

Pgina 3 de 3

16

Mtodos semnticos de demostracin.Es posible demostrar por medios semnticos las propiedades lgicasde 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

16

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 examen4 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

MECANISMOS DE EVALUACIN

Exposicin oral Exmenes parciales Exposicin audiovisual Exmenes finales Ejercicios dentro del aula Trabajos y tareas fuera

del aula

Ejercicios fuera del aula Participacin en clase Seminario Asistencia a prcticas Lecturas obligatorias Informe de investigacin Trabajos de investigacin Otros:Prcticas de campo Otros: