UNIVERSIDAD NACIONAL AUTNOMA DE

MXICO FACULTAD DE FILOSOFA Y LETRAS LICENCIATURA EN FILOSOFA

ASIGNATURA: LGICA 3 Teora de Conjuntos

TERCER SEMESTRE
CICLO: BSICO REA: LGICA

CLAVE No se pone

HORAS/SEMANA/SEMESTRE TEORCAS PRCTICAS 32

TOTAL DE HORAS 32

CRDITOS

Carcter: OPTATIVA RESTRINGIDA Tipo: TERICO-PRCTICO Modalidad: CURSO Asignatura precedente: LGICA 2 Asignatura subsecuente: Profesor: Mtro. Cristian Alejandro Gutirrez Ramrez

Introduccin La teora de conjuntos naci como teora matemtica con los trabajos de Georg Cantor a finales del siglo XIX. l utilizaba dos axiomas para determinar e identificar a los conjuntos, el axioma de extensionalidad y el axioma de comprensin. Con ellos, Cantor demostr una gran cantidad de teoremas de gran relevancia para la fundamentacin de las Matemticas. El problema surgi pronto

cuando Russell, el mismo Cantor y otros notaron que al utilizar estos axiomas o principios se generaban paradojas. Las ms famosas de estas paradojas fueron la de Russell, la de Cantor y la de Buralli-Forti. Esto puso el estatus de las Matemticas en cuestin. Como posibles respuestas ante las paradojas surgieron el programa logicista de Frege y Russell, el programa intuicionista de Brower y la aximatizacin de la teora de conjuntos dentro del programa formalista de Hilbert. Cada una de estas respuestas gener diferentes fundamentaciones de las Matemticas. En particular, el programa formalista cre la teora axiomtica de conjuntos, que tiene diferentes presentaciones, las ms famosas son la teora de conjuntos de Zermelo-Fraenkel + Axioma de Eleccin (ZFC), los New Foundations de Quine, la teora de clases de Morse-Kelley y la teora de clases de Von Neumann-Bernays-Gdel (NBG). ZFC fue la ms popular de entre ellas. Con la adopcin de estos sistemas formales se eliminaron las paradojas. Sin embargo, la teora de conjuntos an tiene mucho que aportar para el anlisis filosfico, en especial a partir de las proposiciones indecidibles como la Hiptesis del Continuo y la necesidad de ampliar los sistemas axiomticos existentes. OBJETIVO(S): El objetivo de este curso es ofrecer al alumno una introduccin a la teora de conjuntos y a los problemas filosficos relacionados con ella. Al finalizar el curso el alumno debe: 1. conocer las nociones bsicas de pertenencia y conjunto, 2. manejar y conocer los axiomas de ZFC, 3. conocer algunos aspectos relevantes de la historia de la teora de conjuntos, 4. identificar las paradojas de Russell y Cantor, 5. comprender el problema del continuo. EVALUACIN: Tareas (20%): 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.

Trabajo final (10%): El trabajo es condicin de posibilidad para aprobar el curso. El trabajo ser sobre algunos de los temas filosficos cubiertos en clase relacionados con la Teora de Conjuntos. Su extensin ser de aproximadamente 5 cuartillas. 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. TEMARIO DE HRS. POR UNIDAD 1 UNIDAD 1 Introduccin 1 UNIDAD 2 Origen histrico de TC 4 UNIDAD 3 Nociones bsicas de TC 7 Nociones idefinidas: pertenencia y conjunto. Subconjuntos y productos cartesianos. Conjunto vaco y conjunto potencia. lgebra bsica de conjuntos. Conjunto Universal. Paradoja de Russell. Paradoja de Cantor.

UNIDAD 4 Estructuras, funciones y relaciones Pares ordenados. Relaciones. Conjuntos Parcialmente Ordenados, Conjuntos Totalmente ordenados, Conjuntos Bien Ordenados. Conjuntos bien fundados e induccin matemtica. Particiones. Funciones.

UNIDAD 5 Nmeros naturales, induccin matemtica y recursin. Construccin de los nmeros naturales. Teorema de la recursin para naturales. Sistemas de Peano. Aritmtica de los nmeros naturales.

UNIDAD 6 Cardinalidad Equipolencia. Finitud. Dominancia. Aritmtica cardinal.

UNIDAD 7 Axioma de Eleccin Axioma de eleccin. Aplicaciones del Axioma de Eleccin.

UNIDAD 8 Filosofa de la Teora de Conjuntos El papel de la Teora de Conjuntos en la Fundamentacin de las Matemticas. Lmites de la Fundamentacin. Problemas con el Axioma de Eleccin. Incomplecin: El caso de la Hiptesis del Continuo.

34

TOTAL DE HORAS SUGERIDAS

BIBLIOGRAFA BSICA LVAREZ, Ana. La teora de conjuntos antes de Cohen, Aportaciones Matemticas, Serie Comunicaciones, 35 (2005) 6169. AMOR y Montao, Jos Alfredo. La teora de conjuntos despus de Cohen, Aportaciones Matemticas, Serie Comunicaciones, 35 (2005) 8796 __________________________. Aclaracin de la paradoja de Russell en La Razn Comunicada, Mxico D.F., Torres Asociados, 2004. __________________________. Teora de conjuntos para estudiantes de ciencias, Mxico D.F., UNAM-FC, 2005.

__________________________. Necesita la teora de conjuntos nuevos axiomas?, manuscrito. CASSINI, Alejandro. El juego de los principios, Buenos Aires, A-Z Editores, 2006. ENDERTON, Herbert. Elements of Set Theory, New York, Academic, 1977. HRBACEK, Karel y Thomas Jech. Introduction to Set Theory, New York, Marcel Dekker, 1999.

BIBLIOGRAFA COMPLEMENTARIA

AMOR, Jos Alfredo, (et. al.) Teora de Conjuntos Intermedia, Mxico D.F., FCUNAM, 2011. BADESA, Calixto, (et. al.) Elementos de lgica formal, Barcelona, Ariel, 1998. ENDERTON, Herbert. Una introduccin matemtica a la lgica (Tr. Jos Alfredo Amor), Mxico D.F., UNAM-IIFs, 2006. FITTING, Melvin y Raymond Smullyan. Set Theory and the Continnum Problem, Oxford, Oxford University Press, 1996. JECH, Thomas. Set Theory: Third Millennium Edition, revisited and expanded , New York, Springer-Verlag, 2006. LEVY, Azriel. Basic Set Theory, New York, Dover, 1979. POTTER, Michael. Set Theory and Its Philosophy, Oxford, Oxford University Press, 2004. QUINE, W.V.O. Set Theory and Its Logic, Cambridge, Harvard University Press, 1969. SUPPES, Patrick. Teora axiomtica de conjuntos (Tr. Hernando Alfonso Castillo), Cal, Norma, 1968. TILES, Mary. The Philosophy of Set Theory, Oxford, Basil Blackwell, 1989.

ESTRATEGIAS DE ENSEANZA APRENDIZAJE

MECANISMOS DE EVALUACIN

Exposicin oral Exposicin audiovisual Ejercicios dentro del aula Ejercicios fuera del aula Seminario Lecturas obligatorias Trabajos de investigacin Prcticas de campo Otros:

si si si si si si si si

no no no no no no no no

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