UNIVERSIDAD NACIONAL AUTNOMA DE

MXICO FACULTAD DE FILOSOFA Y LETRAS LICENCIATURA EN FILOSOFA

ASIGNATURA: LGICA 1

PRIMER SEMESTRE
PROFESOR: MTRO. CRISTIAN GUTIRREZ 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 Profesor: Mtro. Cristian Alejandro Gutirrez Ramrez

Introduccin Este curso es la primera parte de un curso ms amplio. En el curso se pretende ensear al alumno a identificar, evaluar y construir argumentos con herramientas lgicas, con el fin de que pueda aplicar dichos conocimientos en la creacin de textos y argumentos filosficos, de tal suerte que las tesis que defienda tengan un sustento fuerte y slido. Este primer curso est dedicado a la lgica proposicional o de enunciados.

La lgica de proposicional es la base de la llamada lgica clsica. En ella se analizan principalmente las relaciones inferenciales entre oraciones completas, sin tomar en cuenta la estructura interna de las oraciones. La funcin de esta lgica y en general de cualquier lgica es analizar argumentos y mostrar si son vlidos o no. Es por ello que es de gran importancia para la Filosofa. Algo que es importante considerar es que existen problemas en la enseanza de esta disciplina, principalmente entre filsofos, algunos de estos problemas son: 1. Muchos estudiantes no encuentran la relevancia de la lgica para sus estudios, no encuentran aplicacin. 2. Incluso aquellos que la consideran importante en su formacin, encuentran limitaciones en su uso al evaluar argumentos filosficos. 3. Esta disciplina puede llegar a ser excesivamente formal y tediosa. Para resolver el primero de los problemas el curso est diseado para mostrar, en la medida de lo posible, ejemplos de aplicaciones en Filosofa cada vez que se presente un tema nuevo. Para dar solucin al segundo problema, se mostrar las limitaciones de la lgica proposicional. Esto con el fin de no engaar al estudiante y mostrarle que si bien la lgica que se ver en estos cursos no es suficiente para analizar todos los argumentos filosficos, s cubre una gran parte de ellos y es la base de sistemas ms potentes que los pueden ayudar en casos ms complicados. Con este fin se presentaran en clase no slo los sistemas sintcticos y semnticos para probar validez e invalidez de argumentos, sino un poco de metalgica, para que los estudiantes puedan juzgar en su justa dimensin el poder, las caractersticas y la utilidad de estos sistemas. Finalmente, para resolver el tercer problema el curso contar con una seccin de acertijos y problemas que pretende mostrar un lado ms amable de la lgica. OBJETIVO(S): Al final de curso se espera que: 1. El alumno comprenda qu es un argumento, qu tipos de argumentos existen y pueda identificarlos. 2. El alumno pueda probar la validez o invalidez de argumentos por mtodos sintcticos. 3. El alumno sea capaz de dar pruebas semnticas de validez e invalidez de argumentos. 4. El alumno comprenda las propiedades principales de la lgica proposicional como sistema lgico. 5. El alumno pueda aplicar los conocimientos adquiridos en su quehacer como futuro filsofo. EVALUACIN: Tareas (30%): Se realizar una tarea por semana. Las tareas sern calificadas, pero slo contarn como entregadas o no entregadas. No se aceptarn tareas

fuera de tiempo, ni incompletas. Por cada 2 tareas habr un examen, por cada tarea que no se entregue se impondr una penalizacin de 1 punto para el examen correspondiente. Si en las dos tareas correspondientes a un examen se promedia 9 de calificacin, se dar un punto extra para el examen. Todas las tareas sern subidas al grupo de yahoo del grupo. Exmenes (70%): Cada 2 semanas aproximadamente se aplicar un examen (en total 7 exmenes), el valor de cada examen ser de 10% sobre la calificacin final. Es requisito para aprobar el curso pasar todos los exmenes. Se podrn reponer hasta 2 exmenes al final del semestre. En caso de reprobar 3 o ms exmenes parciales (incluso si su promedio de exmenes es aprobatorio) el alumno tendr que hacer un examen final que tendr un valor del 70% de la calificacin final. Puntos extra: Los siguientes mecanismos pueden ayudarlos a obtener puntos extra: 1. Para motivar al alumno en buscar la aplicacin de la lgica en sus estudios filosficos, cada semana el alumno podr entregar un ejemplo de aplicacin de temas vistos en clase en el anlisis de algn argumento filosfico. El ejercicio le valdr medio punto para el examen correspondiente al tema. Las instrucciones sern dadas en cada tarea. 2. Peridicamente dar puntos extras para los exmenes parciales a aquellos que respondan a algunos acertijos lgicos relacionados con el tema del examen en cuestin. Asesoras. Si bien el curso no cuenta con un programa propio de asesoras, se recomienda la asistencia a las asesoras que imparten los miembros del grupo ALEF (Asesores de Lgica para Estudiantes de Filosofa). Este grupo ofrece asesoras a cualquier alumno del Colegio de Filosofa que tenga alguna duda o problema con el contenido de las asignaturas Lgica 1, Lgica 2 y Lgica 3. El grupo est conformado por alumnos de semestres ms avanzados que sin pedir ningn tipo de remuneracin econmica han decidido ayudar a los alumnos que tiene problemas con estas materias. Para solicitar asesoras tienen que entrar a su pgina y mandarles un correo. La pgina es https://www.facebook.com/pages/Asesor%C3%ADas-de-L%C3%B3gicaFFyL/232700696816483.

NM. DE HRS. POR UNIDAD

TEMARIO Unidad 1 Introduccin general. Unidad 2 Qu es un argumento? Para qu sirve argumentar? 2.1 Definicin de argumento. 2.2 Buenos argumentos: Vlidos y slidos. 2.3 Contextos de argumentacin. 2.4 Argumentos en Filosofa.

2 3

Unidad 3 Tipos de argumentos. 3.1 Deductivos. 3.2 Inductivos. 3.3 Abductivos. 3.4 Por analoga. 3.5 Por qu son tiles todos ellos? Ejemplos en Filosofa.

Unidad 4 Conectivas lgicas: 4.1 Portadores de verdad: Oraciones en lenguaje natural. 4.2 Qu es un conectivo lgico? 4.3 Conectivos lgicos: 4.3.1 Conjuncin. 4.3.2 Disyuncin (inclusiva y exclusiva). 4.3.3 Negacin. 4.3.4 Condicional material. 4.3.5 Equivalencia material. 4.3.6 Otras conectivas: Fecha de Pierce y Barra de Scheffer. 4.4 Ests conectivas en verdad recuperan la estructura del lenguaje

natural? 4 Unidad 5 Sistemas formales. 5.1 Qu es un sistema formal? 5.2 Lenguaje formal. 5.2.1 Vocabulario. 5.2.2 Reglas de formacin de frmulas. 5.3 Teora de la Prueba. 5.3.1 Definicin de validez. 5.3.2 Axiomas. 5.3.3 Reglas de inferencia. 5.4 Semntica. 5.4.1 Para que la semntica? 5.4.2 Cmo construir una semntica? 8 Unidad 6 Formalizacin de argumentos. 6.1 Lenguaje formal de la lgica proposicional. 6.2 Para que formalizar? 6.3 La importancia de interpretar. 6.4 Identificacin de conectivas en el lenguaje natural: Estrategias. 6.5 Identificacin de premisas y conclusin. 6.6 Principio de caridad. 6.7 Lmites de la formalizacin de argumentos en lenguaje natural con lgica proposicional. 6.8 Formalizacin de argumentos filosficos. 14 Unidad 7 Un sistema de deduccin natural para la lgica proposicional. 7.1 Qu es un sistema de deduccin natural?

7.2 Pruebas de validez de argumentos en el sistema. 7.3 Reglas del sistemas: 7.3.1 Reglas de introduccin y eliminacin de la conjuncin. 7.3.2 Reglas de introduccin y eliminacin de la disyuncin. 7.3.3 Reglas de introduccin y eliminacin de la negacin. 7.3.4 Reglas de introduccin y eliminacin del condicional material. 7.3.5 Reglas de introduccin y eliminacin de la equivalencia material. 7.4 Cmo construir tus propias reglas? 7.5 Evaluacin de la validez de argumentos (filosficos). 8 Unidad 8 Semntica de tablas de verdad. 8.1 Qu es una tabla de verdad?: Tablas de verdad y mundos posibles. 8.2 Tablas de verdad de frmulas con ms de una conectiva. 8.3 Nocin de consecuencia lgica. 8.4 Prueba de validez de argumentos con tablas de verdad: mtodo del condicional asociado. 8.5 Reglas semnticas (otra forma de ver a las tablas de verdad) 8.6 Prueba de validez de argumentos: mtodo de asignacin valores. 8 Unidad 9 rboles de verdad. 9.1 Para qu los rboles de verdad? 9.2 Qu es un rbol de verdad? 9.3 Reglas de construccin de rboles de verdad. 9.3.1 Doble negacin. 9.3.2 Conjuncin: verdadera y falsa. 9.3.3 Disyuncin: verdadera y falsa.

9.3.4 Condicional material: verdadero y falso. 9.3.5 Equivalencia material: verdadera y falsa. 9.4 Pruebas de validez con rboles de verdad. 9.5 Construccin de contra ejemplos para argumentos invlidos. 4 Unidad 10 Falacias lgicas. 10.1 Por qu es importante saber cuando un argumento es falaz? 10.2 Qu es una falacia? 10.3 Falacias formales. 10.4 Falacias informales. 10.4.1 Falacias de irrelevancia. 10.4.2 Falacias de ambigedad. 10.5 Ejemplos en Filosofa. 4 Unidad 11 Introduccin a la metalgica. 11.1 Qu es y para qu sirve la metalgica? 11.2 Propiedades bsicas: 11.2.1 Consistencia dbil y fuerte. 11.2.2 Complecin y complecin para la negacin. 11.2.3 Correccin. 11.2.4 Decidibilidad. 11.3 Por qu nuestra lgica es tan eficiente? Qu propiedades tiene? 2 64 Unidad 12 Comentarios Finales. TOTAL DE HORAS SUGERIDAS

BIBLIOGRAFA BSICA BADESA, Calixto, (et. al.) Elementos de lgica formal, Barcelona, Ariel, 1998. CASSINI, Alejandro. El juego de los principios, Buenos Aires, A-Z Editores, 2006. FALGUERA Lpez, Jos L. Lgica Clsica de Primer Orden: Estrategias de Deduccin, Formalizacin y Evaluacin Semntica, Madrid: Trotta, 1999. 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. MATES, Benson. Lgica Matemtica Elemental, Tecnos, Madrid (3ra. Reimpresin), 1979. MORADO, Raymundo. Las conectivas lgicas enhttp://www.filosoficas.unam.mx/~Tdl/01-1/0301Morado.doc __________________. Qu debe saber de lgica una persona bien educada? en http://www.filosoficas.unam.mx/~Tdl/taller.htm __________________. Construccin, Reconstruccin y Evaluacin de Argumentos. en http://www.filosoficas.unam.mx/~morado/Cursos/0Argumentos/cons.h tm. __________________. Lgica para Filsofos. QUINE, W.V.O. Los mtodos de la lgica, Espaa, Planeta, 1993. TORRES Alcaraz, Carlos. Los sistemas formales, Mxico, UNAM, 1999.

BIBLIOGRAFA COMPLEMENTARIA

ALCHURRN, Carlos (et. al.) Lgica. Madrid, Trota, 1995. BOCHENSKI. Historia de la lgica formal, Madrid, Gredos, 1985.

BOOLOS, G. y R. Jeffrey. Computability & Logic, 3a ed., Cambridge Univ. Press, Cambridge, 1989. CHURCH, Alonzo. Introduction to Mathematical Logic, Princeton, Princeton University Press, 1956. COPI, Irving. Lgica Simblica, Mxico, CECSA, 1992. ENDERTON, Herbert. Una introduccin matemtica a la lgica (Tr. Jos Alfredo Amor), Mxico D.F., UNAM-IIFs, 2006. HUNTER, Geoffrey. Metalogic: An Introduction to the Metatheory of Standard First Order Logic, Berkeley, University of California, 1996. MENDELSON, Elliot. Introduction to Mathematical Logic 4 Edition, New York, Chapman & Hall, 1997. REDMOND, Walter. Lgica simblica para todos. Mxico, Universidad Veracruzana, 1999. SMULLYAN, Raymond. First-Order Logic, New York, Dover, 1995.

ESTRATEGIAS DE ENSEANZA APRENDIZAJE

MECANISMOS DE EVALUACIN

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

no no no no no no no no

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

no no no no no no