UNIVERSIDAD NACIONAL AUTNOMA DE

MXICO FACULTAD DE FILOSOFA Y LETRAS LICENCIATURA EN FILOSOFA

ASIGNATURA: LGICA 1

PRIMER SEMESTRE
PROFESORA: DRA. ATOCHA ALISEDA CICLO: BSICO REA: LGICA

CLAVE

HORAS/SEMANA/SEMESTRE TEORCAS PRCTICAS 32 32

TOTAL DE HORAS 64

CRDITOS

3116

Carcter: OBLIGATORIA Tipo: TERICO-PRCTICO Modalidad: CURSO Asignatura precedente: Asignatura subsecuente: LGICA 2

OBJETIVO(S): (1) Reconoce r y distinguir los distintos argumentos l gicos. (2) Conocer el lenguaje (sintaxis y semntica) de la lgica proposicional (3) Probar la validez o invalidez de argumentos por mtodos sintcticos (4) Probar la validez o invalidez de argumentos por mtodos semnticos (5) Utilizar la herramienta de la lgica tanto para identificar como para construir argumentos filosficos.

NM. DE HRS. POR UNIDAD

16 hrs

TEMARIO Unidad 1 (Argumentos y Lgica) 1.1 Introduccin 1.2 Qu es un argumento? 1.3 Cul es la estructura de un argumento? 1.4 Argumentos Ampliativos vs. No-Ampliativos 1.5 Estndares de correccin segn el tipo de argumentos. 1.6 Buenos argumentos. El concepto de Validez y el concepto de Solidez. 1.7 El lenguaje como un sistema lingstico significativo. 1.8 Qu es la Lgica y para qu sirve? 1.9 Relaciones y diferencias entre lenguaje natural y lenguaje formal. Unidad 2 El lenguaje de la lgica Proposicional (LP). 2.1 Sintaxis 2.1.1 Vocabulario 2.1.2 Estructura o forma de las proposiciones 2.1.3 Proposiciones simples y compuestas 2.1.4 Constantes lgicas o Conectivas Lgicas Veritativo-funcionales 2.1.5 Nocin preliminar de regla de construccin 2.1.6 Nocin preliminar de regla de transformacin 2.2 Semntica 2.2.1 En qu consiste el significado en LP? 2.2.2 El significado tcnico de las conectivas lgicas 2.2.3 Anlisis conceptual: Tautologa, Contradiccin y Contingencia

16 hrs

16 hrs

Unidad 3 Mtodos Semnticos de Prueba de Validez 3.1 Tablas de Verdad 3.2 Reduccin al Absurdo por Asignacin de Valores 3.3 Condicional Asociado 3.4 rboles Semnticos (tableaux) Unidad 4 Mtodos Sintcticos de Prueba de Validez 4.1 Introduccin a la nocin sintctica de prueba. (Secuentes y reglas) 4.2 Mtodos de Demostracin de Validez: Deduccin Natural 4.3 Reglas de inferencia proposicional 4.4 Reglas de equivalencia proposicional 4.5 Ejercicios abstractos inferenciales 4.6 Argumentos formales y no formales (traducciones): relacin entre contenido y estructura aplicando el mtodo de deduccin natural.

16 hrs

64 hrs

TOTAL DE HORAS SUGERIDAS

BIBLIOGRAFA BSICA GAMUT, L. T. F. Introduccin a la lgica (Tr. Cecilia Quirn) Buenos Aires, Eudeba, 2002. MANZANO, Mara y Antonia Huertas. Lgica para principiantes, Madrid, Alianza Editorial, 2004. PRIEST, Graham. Una brevsima introduccin a la lgica. Mxico, Oceano, 2006. Tr. Oceano. Pp 13-31. MORADO, Raymundo. Las conectivas lgicas http://www.filosoficas.unam.mx/~Tdl/01-1/0301Morado.doc en:

BIBLIOGRAFA COMPLEMENTARIA Alchourrn, Carlos E., Jos M. Mndez, Ral Orayen, Lgica, Enciclopedia Iberoamericana de Filosofa: Vol. 7, Editorial Trotta-Consejo Superior de Investigaciones Cientficas, Madrid, 1995. Historia de la Lgica de Jos Antonio Robles Garca. (todo el captulo). Lgica clsica de Primer Orden de Daniel Quezada. (todo el captulo). Badesa, Calixto, Jan, Ignacio y Jansana, Ramn, Elementos de lgica formal, Ariel, Barcelona, 1998. Pgs. 121-126, 133-145, 181-192. Cohen, Morris y Nagel, E. Introduccin a la Lgica y al mtodo cientfico. I. Lgica formal. Amorrortu (1968), Buenos Aires, novena reimpr. 2000. Pgs. 13-37. Fernndez de Castro, Max, et al., Lgica Elemental, UAM, Mxico, 1996. Pgs. 11-42. Fernandez de Castro, Max, Villegas Silva, Luis Miguel Lgica Matemtica II: Clsica, Intuicionista y Modal II, Universidad Autnoma Metropolitana, Mexico, D. F. 2011. (ISBN: 978-607-477-5662).

ESTRATEGIAS DE ENSEANZA APRENDIZAJE

MECANISMOS DE EVALUACIN

Exposicin oral si X no Exposicin audiovisual si X no Ejercicios dentro del aula si X no Ejercicios fuera del aula Seminario Lecturas obligatorias si X no si no X si X no no X no X

Trabajos de investigacin si Prcticas de campo si Otros:

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

si X no si X no si X no si X no si no X si no X