UNIVERSIDAD DE BUENOS AIRES

FACULTAD DE FILOSOFIA Y LETRAS

DEPARTAMENTO: FILOSOFA

ASIGNATURA: LGICA SUPERIOR

PROFESORES: Dr Eduardo Alejandro Barrio

CUATRIMESTRE: Segundo

AO: 2017

PROGRAMA N:
UNIVERSIDAD DE BUENOS AIRES
FACULTAD DE FILOSOFA Y LETRAS
DEPARTAMENTO DE LETRAS
ASIGNATURA: LGICA SUPERIOR
PROFESORES: Dr Eduardo Alejandro Barrio
Dr Federico Pailos

Segundo cuatrimestre de 2017

1. Fundamentacin y descripcin

Durante el curso, se presentarn las nociones de la teora de la computabilidad

(enumerabilidad, diagonalizacin, mquinas de Turing, funciones recursivas), se analizar la tesis
de Turing-Church, se expondrn los principales metateoremas de la lgica clsica de primer orden
(Correccin Completitud Compacidad Lwenheim-Skolem), se desarrollarn los teoremas de
Gdel incompletitud de la aritmtica de primer orden y finalmente, se reflexionar acerca de los
lmites expresivos vinculados al concepto de verdad aritmtica.

2. Objetivos

- Analizar los vnculos entre lgica, aritmtica y computabilidad.

- Comprender los principales problemas y motivaciones para construir los sistemas de lgica
de primer orden.
- Demostrar los metateoremas de Correccin y de Completitud de la lgica clsica de primer
orden.
- Demostrar, utilizando diversas tcnicas, los metateoremas de Compacidad y Lwenheim-
Skolem.
- Demostrar los Teoremas de Gdel (Primer y Segundo Teorema de Gdel) y analizar sus
consecuencias filosficas.
- Demostrar el Teormema de Tarski y analizar sus consecuencias filosficas.

3. Programa Analtico:

Introduccin.

- Unidad 1: Teora de la Computabilidad

o Enumerabilidad, Diagonalizacin y Computabilidad.

o Mquinas de Turing: lmites en la cumputabilidad.

o Mquinas: supertareas para supermquinas.

o Funciones recursivas primitivas y conjuntos recursivamente enumerables,

o Los lenguajes formales de primer orden: aritmetizacin de la sintaxis

!2
 - Unidad 2: Metalgica de las Teoras de Primer Orden

o Lgica cuantificacional de primer orden: presentacin axiomtica

o Modelos para las teoras de primer orden.

o Demostraciones, recursividad y pruebas.

o La indecibilidad general de la lgica de primer orden

o Las pruebas de correccin y de completitud (Henkin) de la lgica de primer orden.

o Compacidad como un corolario de completitud.

o Otras pruebas de Compacidad

o Demostracin del Teorema Lwenheim Skolem.

- Unidad 3: Los Teoremas de Gdel

o Axiomatizaciones de la Aritmtica: la aritmtica de Robinson, y la aritmtica de

Peano, induccin matemtica y la aritmtica de segundo orden.

o Gdelizacin de los lenguajes: la representacin de los predicados de prueba y de

consistencia de la aritmtica.

o La oracin de Gdel y la incompletitud de la aritmtica de primer orden.

o La consistencia de la aritmtica y su inexpresabilidad dentro de la aritmtica

- Unidad 4: Los Teoremas de Tarski y Lb

o Definiciones tarskianas de verdad.

o El Teorema de la indefinibilidad de la verdad.

o Es posible definir la verdad aritmtica?

o El Teorema de Tarski y la incompetitud expresiva de la semntica.

o El Teorema de Lb y los principios de reflexin de la aritmtica

4. Bibliografa especfica

Unidad I

Boolos, G., Burgess, J. & Jeffrey, R. Computability and Logic. Cambridge, New York: Cambridge
University Press, 2001. Caps. 1, 2, 3, 4, 6 , 7 y 8. (Traduccin: Ficha de Ctedra)

!3
Smith, P. An Introduction to Gdels Theorems. (Cambridge, Cambridge UP, 2009).

Unidad 2

Boolos, G., Burgess, J. & Jeffrey, R. Computability and Logic. Cambridge, New York: Cambridge
University Press, 2001. Caps. 9, 10, 11, 12, 13 y 14. (Traduccin: Ficha de Ctedra)

Hodges, W. Elementary Predicate Logic en Gabbay, D. & Guenthner, F. Handbook of

Philosophical Logic, Kluwer Academic Publishers, 2001.
Hunter, G. Metalgica Madrid, Paraninfo. 1981. Segunda Parte.

Mendelson, E. Introduction to Mathematical Logic (Londres, Chapman and Hall, 1997).

Unidad 3

Boolos, G., Burgess, J. & Jeffrey, R. Computability and Logic. Cambridge, New York: Cambridge
University Press, 2001, Caps 15, 16, 17 y 18. (Traduccin: Ficha de Ctedra)

Hunter, G. Metalgica Madrid, Paraninfo. 1981. Segunda Parte.

McGee Gdels First Incompleteness Theorem Manuscrito.

McGee Gdels Second Incompleteness Theorem Manuscrito.

Paseau, A. Proofs of the Compactness Theorem, HISTORY AND PHILOSOPHY OF LOGIC, 31

2010,

Smith, P. An Introduction to Gdels Theorems. (Cambridge, Cambridge UP, 2009).

Unidad 4

Boolos, G., Burgess, J. & Jeffrey, R. Computability and Logic. Cambridge, New York: Cambridge
University Press, 2001. Caps. 17 y 18. (Traduccin: Ficha de Ctedra)

Smith, P. An Introduction to Gdels Theorems. (Cambridge, Cambridge UP, 2009).

Tarski, A. (1929) The Concept of Truth in Formalized Languages en Tarski, A. (1956) Logic,
Semantics and Metamathematics Oxford, Oxford University Press, Segunda edicin 1990.

!4
5. Actividades planificadas

Clases Tericas: se destinarn a la exposicin de los principales temas del presente programa.

Cuatro horas semanales.

Horarios de Consulta de clases tericas: Todos los mircoles de 17 a 18hs en el aula 441 del
Instituto de Filosofa

Clases Prcticas: Habr una comisin de trabajos prcticos, de cuatro horas semanales.

En las mismas, se desarrollarn los ejercicios del libro Boolos, G., Burgess, J. & Jeffrey, R.
Computability and Logic. Cambridge, New York: Cambridge University Press, 2001. (Traduccin:
Ficha de Ctedra)

Total de horas semanales del curso: 8 horas

6. Condiciones de regularidad y rgimen de promocin y calificacin

La materia se ajusta a las normas que rigen para las materias de promocin directa. La promocin
directa de la materia se alcanza con el 80% de la asistencia a las clases tericas y de trabajos
prcticos, y un promedio mnimo de 7 (siete) puntos en los exmenes. Se tomarn dos exmenes
escritos, acerca de los temas desarrollados en las clases.

Quienes no cumplan con estos requisitos, podrn alcanzar la regularidad para poder rendir examen
final con el 75% de la asistencia a las clases de trabajos prcticos y un promedio mnimo de 4
(cuatro) puntos en los exmenes.

7. Requisitos y recomendaciones

Saber leer en Ingls es recomendable. Si bien en cada una de las clases tericas voy a proyectar
el contenido de cada captulo del libro que se sigue en el curso, y los alumnos podrn contar con
ese material para sus estudios y ejercitacin (ser subido a internet), y el material de lectura
principal ha sido traducido al Espaol como ficha de ctedra, hay material optativo pero importante
que no se encuentra traducido.

Dr Eduardo Alejandro Barrio

!5