Nome da disciplina (e cdigo): FIL159 Lgica I

Carga Horria: 60 h/aula

Tipo: Obrigatria
Contedo:
O curso, dividido em duas partes, pretende dar uma noo, em nvel
introdutrio, dos principais conceitos da lgica aristotlica e da lgica simblica.
Programa:
1. Noo de Lgica
2. A Forma Aristotlica da Lgica:
2.1. O conceito e o trmo
2.2. O juzo e a proposio
2.3. O raciocnio e o argumento
3. A Forma Simblica da Lgica:
3.1. Noes elementares do clculo sentencial
3.2. Noes elementares do clculo de predicados
Bibliografia bsica:
ARISTTELES. Organon. Trad. et notes par J. Tricot. J. Vrin, Paris, 1947.
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.
COPI, I. Introduo Lgica. Mestre Jou, S. Paulo, 1974.
FREGE, G. Lgica e Filosofia da Linguagem. S. Paulo, Cultrix/Edusp, 1978.
HEGENBERG, L. Lgica Simblica. S. Paulo, Herder/Edusp, 1966.
HILBERT, D & ACKERMANN, W. Elementos de logica teorica. Trad. de V. de
Zavala, 2 ed, Madrid, Ed Tecnos, 1968.
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.
LEWIS, C I & LANGFORD, C H. Symbolic logic. 2 ed, N. York, Dover
Publications Inc., 1959.
MARITAIN, J. Lgica Menor. Agir, R. J., 1966.
RUSSELL, B. & WHITEHEAD, A. N. Principia Mathematica to *56. Cambridge,
Un. Press, 1964.