Lógica Clássica (Danilo Marcondes)

Universidade Federal Fluminense – Departamento de Filosofia

Disciplina: Lógica Clássica

Período: 2.2011

Professor: Danilo Marcondes

dmdsf@uol.com.br

Programa

Objetivos:

O curso consistirá em uma introdução à lógica clássica, examinando seu lugar como disciplina filosófica, seus antecedentes e seu surgimento com a teoria aristotélica do silogismo.

Tópicos:

• O que é lógica? A lógica como ontologia, como psicologia e como teoria das linguagens formais.

• Categiras e classificação: a diairesis platônica (Sofista), a teoria aristotélica das categorias e a árvore de Porfírio.

• Signo, sentença e proposição.

• Construção de argumentos e dedução. Tipos de argumentos. O que é uma prova ou demonstração?

• A teoria aristotélica do silogismo. Regras lógicas: o princípio da não-contradição e a lei da transitividade. Inferência e dedução.

• Paradoxos.

• A crítica aos pressupostos da lógica clássica: Os tropos de Agripa de Sexto Empírico.

• Indução e argumentos indutivos.

Metodologia:

Aulas expositivas sobre os tópicos indicados. Exercícios sobre demonstração e silogismo visando a familiarização com as linguagens formais. Prova final sobre a matéria dada.

Bibliografia Básica: (a ser complementada ao longo do curso)

Carnielli, Walter, Pensamento Crítico: o poder da lógica e da argumentação. Campinas, Unicamp, 2009.
Kneale, William & Martha, O desenvolvimento da lógica, Lisboa, Gulbenkian, 1980, 2ª.ed.
Margutti Pinto, Paulo, Introdução à Lógica Simbólica, B.Horizonte, Ed.UFMG, 2006.
Mortari, Cézar, Introdução à Lógica, São Paulo, UNESP, 2001.
Tugendhat, Ernest & Úrsula Wolf, Propedêutica Lógico-Semântica, Petrópolis, Vozes, 1997.