Dr. Raymundo Morado

Miércoles, 4-8 pm

ATENCIÓN: EL SALÓN ES EL 329

Este curso permite a los alumnos ahondar en un estudio científico del razonamiento correcto. Aquí está el programa. Habrá mucho trabajo y mucho énfasis en la comprensión del material. (Si usted prefiere tratar a la lógica como un inútil juego de símbolos, este curso no es para usted.) Al final del semestre, los alumnos conocerán más a fondo la estructura y las propiedades de los sistemas que estudiaron en el primer año de la carrera en Filosofía (cálculo cuantificacional).

*Fecha*	*Parágrafos de Hunter*	*Temas*	*Tarea para esa fecha*	*Examen en esa fecha*
Nov. 29	38, 39	Lenguaje, semántica
Dic. 6	40	Metateoremas semánticos	Tarea 1	Examen 1
Dic. 13	41,42, 43	Prueba, consistencia, corrección	Tarea 2	Examen 2
Ene. 10	44, 45a	1er orden, negación-completud, teorías cerradas	Tarea 3	Examen 3
Ene. 17	45b	Löwenheim-Skolem, compacidad	Tarea 4	Examen 4
Ene. 24	46, 47, 48	Completud, identidad, isomorfismo, categoricidad	Tarea 5	Examen 5
Ene. 31	No hay clase
Feb. 7	49, 50	Filosofía, predicados monádicos	Tarea 6	Examen 6
Feb. 14	51	Indecidibilidad	Tarea 7	Examen 7
Feb. 21	52, 53, 54, 55	Tesis de Church, recursividad, aritmética	Tarea 8	Examen 8
Feb. 28	56	Indecidibilidad para aritmética	Tarea 9	Examen 9
Mar. 7	No hay clase
Mar. 14	57, 58, 59	Decidibilidad para cuantificación, Gödel, elección	Tarea 10	Examen 10
Mar. 21	Asueto
Mar. 28	Apéndice 2	Metateoremas básicos	Tarea 11	Examen 11
Abr. 4	Repaso		Tarea 12	Examen 12
Abr. 11	Semana Santa
Abr. 18	No hay nada
Abr. 25	Examen final	Todo lo visto en el semestre		Examen final

Notas:

Como éste es un meta-estudio, se presupondrá un buen conocimiento de cálculo cuantificacional.
Para tener derecho a asistir a una clase, se deben haber entregado todas las tareas hasta esa fecha.
Las tareas deben ser entregadas impresas o mecanografiadas.
Las tareas se recogen al principio de la clase.
Los exámenes se aplican en cuanto terminemos de responder preguntas sobre todo el material visto (incluidas tareas).
La clase empieza a las 4:10 pm, para dar tiempo de cambiar de salón a quienes tiene clase hasta las 4 pm.
La calificación de los doce exámenes parciales será dividida entre 10 para dar la calificación final.
Si se toma el examen final, esa será la calificación final, excepto en caso de que la décima parte de los puntos acumulados en los 12 exámenes parciales sea mayor.

Regresar a la página de Raymundo Morado

Regresar a la página principal del Instituto de Investigaciones Filosóficas