Introducción a la lógica matemática

Dictado propuesto para: segundo semestre de 2016

Prof. a cargo: José Luis Castiglioni (jlc@mate.unlp.edu.ar)

Programa de contenidos:

1. Cálculo proposicional

(a) Cálculo proposicional clásico:

Tableaux analı́ticos. Funciones de verdad. Reglas. Conjuntos adecuados de
conectivos. Argumentos y validez. Presentación formal à la Hilbert. Con-
strucción de Lindenbaum. Compacidad y consistencia.
(b) Cálculos proposicionales no-clásicos:
i. Cálculo proposicional intuicionista y lógicas intermedias:
Sintaxis y semántica. Modelos de Kripke. Álgebras de Heyting. Sistemas
de Gentzen.
ii. Cálculos proposicionales multivaluados:
t-normas y sus residuos. Lógica multivaluada básica. Cálculo proposicional
de Lukasiewicz. Lógicas producto y de Gödel.

2. Lógica de primer orden:

(a) Lógica clásica:

Lenguaje de primer orden. Cuantificadores. Interpretación, satisfacción y ver-
dad. Modelos. Teorema de Skolem-Löwenheim y compacidad.
(b) Lógica multivaluada de predicados:
Completitud. Axiomatización de la lógica de Gödel. Lógica de predicados
de Lukasiwicz. Cálculo borroso de predicados (fuzzy logic). Similaridad e
igualdad.

3. Alcances de la lógica:

(a) Teoremas de incompletitud de Gödel:

Expresividad. Funciones y relaciones recursivas. Números de Gödel. Prueba
de incompletitud.
(b) Computabilidad, insolubilidad, indecidibilidad:
Algoritmos y computabilidad. Máquinas de Turing. Indecidibilidad de sis-
temas formales.

Bibliografı́a propuesta:

Bezhanishvili, N., Lattices of intermediate and Cylindric Modal Logics, PhD Thesis, ILLC,
Universidad de Amsterdam, 2006.

1
Ebbinghaus, H.D, Flum, J. & Thomas, W. Mathematical Logic, second edition, Springer-
Verlag, 1994.

Hájek, P.,Methamathematics of fuzzy logic, Kluwer, 1998.

Hamilton, A.G.,Logic for Mathematicians, Cambridge University Press, 1978.

Monk, J.D., Mathematical Logic, Springer-Verlag, 1976.

Ono, H., Substructural Logics and Residuated Lattices - an introduction en Trends in Logic
20, 177-212, Kluwer, 2003.

Smullyan, R.M., First order Logic, Springer-Verlag, 1968.