UNIVERSIDADE DE SO PAULO

FACULDADE DE FILOSOFIA, LETRAS E CINCIAS HUMANAS

DEPARTAMENTO DE FILOSOFIA

LGICA I
1 Semestre de 2017
Disciplina obrigatria
Destinada: alunos de filosofia
Cdigo: FLF0258
Pr-requisitos: FLF0113 e FLF0114
Prof. Dr. Edelcio Gonalves de Souza
Carga horria: 120 horas
Crditos: 6
Nmero mximo de alunos por turma:

I OBJETIVO

Estudar duas noes centrais da lgica contempornea, a saber, a noo de

verdade e a de demonstrao. A disciplina ter como texto base o artigo Verdade e
Demonstrao de autoria do lgico polons Alfred Tarski. Em um primeiro momento
estudaremos a concepo semntica de verdade com nfase nas questes filosficas
que levaram Tarski a elabor-la. A seguir, analisaremos o conceito de mtodo
axiomtico e sua noo subjacente de demonstrao na tradio grega e na lgica
contempornea. Finalmente, veremos a relao que h entre as noes de verdade e
demonstrao com referncia aos resultados de completude e incompletude de
Gdel.

II CONTEDO

1. A noo aristotlica de verdade

2. O critrio de adequao material
3. O paradoxo do mentiroso
4. Linguagens formalizadas
5. Linguagem e metalinguagem
6. A definio de verdade
 UNIVERSIDADE DE SO PAULO
FACULDADE DE FILOSOFIA, LETRAS E CINCIAS HUMANAS
DEPARTAMENTO DE FILOSOFIA

7. O mtodo axiomtico nos Elementos de Euclides

8. A noo de sistema formal
9. O problema da completude
10. Resultados de Gdel

III MTODO UTILIZADO

Aulas expositivas.

IV CRITRIOS DE AVALIAO

Dissertao a ser entregue no final do semestre com tema ainda a ser definido.

V- Bibliografia

O texto base do curso ser o artigo de A. Tarski, Verdade e Demonstrao, que

consta da coletnea
A. Tarski. A concepo semntica de verdade. Editora da UNESP. 2001.
Outros textos dessa coletnea tambm sero utilizados.

Bibliografia adicional.
R. L. Kirkham. Teorias da verdade. Editora da UNISINOS. 2003.
D. R. Hofstadter. Gdel, Esher, Bach: um entrelaamento de gnios brilhantes.
Editora da UnB. 2002.
E. Nagel, J. R. Newman. Prova de Gdel. Editora Perspectiva. 2015.
C. Mortari. Introduo lgica. Editora da UNESP. 2001.
R. Smullyan. Lgica de primeira ordem. Editora da UNESP. 2009.
Outros itens bibliogrficos sero indicados no decorrer do semestre.