Universidad de Buenos Aires

Facultad de Filosofa y Letras

Departamento de Filosofa

CTEDRA:

LGICA

Perodo: 2do cuatrimestre de 2009

Profesor a cargo:
Dr Eduardo Barrio (Adjunto Regular del rea de Lgica)
Clases Tericas:

Lunes y Mircoles 19 a 21hs

5 Comisiones de trabajos prcticos (4 horas cada una)

OBJETIVOS
- Adquirir criterios y tcnicas para evaluar validez deductiva y plausibilidad
de argumentos.
- Comprender los principales problemas y motivaciones para construir los
sistemas de lgica elemental.
- Analizar los diversos problemas filosficos suscitados a partir de la
caracterizacin contempornea del concepto de consecuencia lgica.
- Desarrollar algunas de las motivaciones que han generado propuestas no
clsicas.
- Presentar las nociones bsicas conjuntistas con el objeto de comprender
los vnculos entre la Teora de Modelos y la Teora de Conjuntos.
- Desarrollar la metateora bsica de la lgica clsica proposicional.

Plan Analtico
- Introduccin:
o Argumentos, deduccin y transmisin de verdad.
o Lgica informal: falacias y carga de la prueba.
o Constantes lgicas y sistemas lgicos

o Los lenguajes formales: conectivos extensionales vs conectivos no

extensionales
o Teora clsica de la lgica deductiva
o Bases pretericas: forma, verdad y correccin
o Distintas presentaciones de los sistemas lgicas: deduccin natural
y axiomatizacin
o La nocin de consecuencia deductiva: demostracin y modelos.
La Lgica Clsica de Primer Orden
o La lgica de primer orden
o La lgica de los conectivos extensionales.
o Lgica cuantificacional de primer orden
o Deduccin natural: reglas de introduccin y de eliminacin para los
operadores lgicos
o Demostraciones, recursividad y pruebas.
o La teora de conjuntos: los axiomas de ZF.
Modelos y estructuras conjuntistas:
o La semntica de la lgica de predicados
o Modelos conjuntistas y funciones de interpretacin
o Interpretaciones tarskianas de los lenguajes de primer orden.
o Asignaciones y variabilidad de los dominios
o Consecuencia lgica y validez universal.

Metalgica:
o Propiedades de los sistemas lgicos

o Correccin, Consistencia, Completitud, Compacidad y decibilidad

de un sistema lgico
o Modelos: isomorfismos de interpretaciones y el Teorema
Lwenheim-Skolem
o Aritmetizacin: el Teorema de Tarski y la incompetitud expresiva
de la semntica.
Ms all de la Lgica Clsica:
o Elementos bsicos de la lgica de segundo orden.
o Lgicas rivales: sistemas paraconsistentes y el principio de no
contradiccin
o Lgica multivalente.
ACTIVIDADES
Clases Tericas: se destinarn a la exposicin de los principales temas del
presente programa.
Cuatro horas semanales: lunes y mircoles de 19 a 21hs.
Clases Prcticas: Habr cinco comisiones de trabajos prcticos. En las mismas
se desarrollar un sistema de deduccin natural para la lgica de primer orden.
Cuatro horas semanales.
Horarios de Consulta de clases tericas: Todos los mircoles de 18 a 19hs en el
aula 441 del Instituto de Filosofa
PROMOCIN:
TRES exmenes parciales, en dos de los cuales se evaluarn los temas de
prcticos y en el restante los temas de tericos. Se deber obtener en los
parciales un promedio de al menos 4 (cuatro) puntos. Aquellos que estn en
condiciones reglamentarias de hacerlo, debern rendir un examen final oral.
ASISTENCIA:

%75 de las clases prcticas

BIBLIOGRAFA BSICA
Gamut, L.T.F Introduccin a la lgica Buenos Aires, Eudeba, 2002.
Gmez Torrente, M. Forma y Modalidad Buenos Aires, Eudeba, 2000.
Hodges, W. Elementary Predicate Logic en Gabbay, D. & Guenthner, F.
Handbook of Philosophical Logic, Kluwer Academic Publishers, 2001.
Hunter, G. Metalgica Madrid, Paraninfo. 1981.
Orayen, R. Lgica, Significado y Ontologa Mxico, UNAM, 1989.
Quesada, D. Lgica de Primer Orden en Alchourrn C., Mndez, J. y Orayen,
R. Lgica Madrid, Trotta.
Simpson, T. Formas Lgicas, Realidad y Significado Buenos Aires, Eudeba,
1975.
BIBLIOGRAFA COMPLEMENTARIA:
Barrio, E La verdad desestructurada Buenos Aires, Eudeba, 1998.
Boolos, G. . Logic, Logic and Logic. Cambridge, MA: Harvard, 1998.
Boolos, G., Burgess, J. & Jeffrey, R. Computability and Logic. Cambridge, New
York: Cambridge University Press, 2001.
Cassini, A. El Juego de los Principios, Buenos Aires, AZ, 2008.
Chang C. and Keisler, J. Model Theory, North Holland, 1990
Drake, F. Set Theory. An Introduction to Large Cardinals (North-Holland
Publishing Co, Amsterdam-London-New York 1974).
Hodges W. Model Theory (Cambridge, Cambridge U.P. 1993).
Mendelson, E. Introduction to Mathematical Logic (Londres, Chapman and Hall,
1997).

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.

Profesor Dr Eduardo Alejandro Barrio