Nome da disciplina (e cdigo): FIL169 Lgica II

Carga Horria: 60 h/aula

Tipo: Obrigatria
Contedo:
O curso pretende propiciar noes introdutrias a respeito dos seguintes
temas: sistemas formais; semntica formal; clculos no clssicos; metalgica;
limitaes dos formalismos.
Programa:
1. Sistemas formais. Linguagens formalizadas. Interpretao e modelo.
2. Os clculos no-clssicos alguns exemplos: lgica modal; lgica trivalente;
lgica paraconsistente, lgica fuzzy.
3. Noes de metalgica: sistema formal e metateoria; independncia,
consistncia e completude; o teorema de Gdel e outros fatos de limitao.
Bibliografia bsica:
BLANCH, R. Introduction la logique contemporaine. Paris, A. Collin, 1957.
______. La logique et son histoire. D'Aristote a Russell. Paris, A. Collin, 1970.
BOCHENSKI, I.M. Historia de la logica formal. Ed. Espanola de M B Lozano.
Madrid, Editorial Gredos, 1966.
DA COSTA, N. Sistemas Formais Inconsistentes. Curitiba: Editora da UFPR,
1993.
DA COSTA, N. Ensaio Sobre os Fundamentos da Lgica. 2 ed. So Paulo:
Editora Hucitec, 1994.
DA COSTA, N. et alii. Lgica Paraconsistente Aplicada. So Paulo: Ed. Atlas,
1999.
DOWTY, D. A guide to Montague's PTQ. 2 ed, Bloomington, Indiana, Indiana
Un. Linguistics Club, 1978.
FREGE, G. Lgica e Filosofia da Linguagem. S. Paulo, Cultrix/Edusp, 1978.
HAACK, S. Deviant Logic. Fuzzy Logic. Beyond the Formalism. Chicago: The
Un. of Chicago Press, 1996.
HAACK, S. Filosofia das Lgicas. S. Paulo: Editora UNESP, 2002.
HEGENBERG, L. Lgica Simblica. S. Paulo, Herder/Edusp, 1966.
HEIJENOORT, J. van. From Frege to Gdel. A Source Book in Mathematical
Logic, 1879-1931. 4th printing. Cambridge, Harvard Un. Press, 1981.
HILBERT, D & ACKERMANN, W. Elementos de logica teorica. Trad. de V. de
Zavala, 2 ed, Madrid, Ed Tecnos, 1968.
HUGHES, G E & CRESWELL, M J. Introduccion a la logica modal. Trad. de E
G Seijas. Madrid, Ed Tecnos, 1953.
KLEENE, s. c. Mathematical Logic. N. York, John Wiley & Sons, Inc., 1967.
KNEALE, W & KNEALE, M. O Desenvolvimento da Logica. Trad. de M S
Loureno. Lisboa, Fund. Calouste Gulbenkian, 1972.
KRNER, S. Uma Introduo Filosofia da Matemtica. Rio, Zahar, 1985.

LADRIRE, J. Limitaciones internas de los formalismos. Trad. de J. Blasco.

Madrid, Ed. Tecnos, 1969.
LEWIS, C I & LANGFORD, C H. Symbolic logic. 2 ed, N. York, Dover
Publications Inc., 1959.
NAGEL, E. & NEWMAN, J. R. A Prova de Gdel. S. Paulo, Edusp/Perspectiva,
1973.
RUSSELL, B. & WHITEHEAD, A. N. Principia Mathematica to *56. Cambridge,
Un. Press, 1964.
SMULLYAN, R. Forever Undecided. A Puzzle Guide to Gdel. Oxford: Oxford
Un. Press, 1987.
SMULLYAN, R. O Enigma de Sherazade e outros incrveis problemas das Mil e
uma noites lgica moderna. Rio: Jorge Zahar Editor, 1998.