Disciplina de Filosofia da Lógica - 2013.2

Tópicos em Filosofia: Filosofia da Lógica

FIL048N

Terças e quintas-feiras às 21h

Título: Lógicas paraconsistentes e a natureza da lógica

Objetivo: O objetivo do curso é apresentar as noções fundamentais e discutir as

motivações filosóficas das lógicas paraconsistentes. A característica principal das

lógicas paraconsistentes não é aceitar contradições, mas sim não serem explosivas na

presença de contradições. Uma teoria contraditória, ao contrário do que ocorre na lógica

clássica, não é sempre trivial. Do ponto de vista filosófico, o problema é justificar um

sistema formal que permite contradições. A abordagem desse problema se dará a

partir de uma discussão acerca da natureza das contradições a saber, se tais contradições

tem caráter ontológico, epistêmico ou linguístico.

Ementa: Sistemas clássicos de lógica sentencial: o princípio da não-contradição e

o princípio da explosão (Ex Falso Quodlibet). Os aspectos ontológicos, linguísticos

e epistêmicos dos princípios da lógica. Lógicas paraconsistentes de da Costa (e

seus colaboradores) e suas motivações filosóficas. O dialeteísmo e as lógicas

paraconsistentes de Graham Priest.

Bibliografia:

Carnielli, W.A.: 2006. 'Sistemas de lógica paraconsistente' in Enciclopédia de termos

lógico-filosóficos. São Paulo: Martins Fontes.

da Costa, N.C.A. & French, S. (2003) Science and Partial Truth, Oxford: OUP, chapter

5, 'Inconsistency in science'.

Chateaubriand, O. (2001) Logical forms vol. 1. Campinas: UNICAMP-CLE,

Introduction.

Tugendhat, E.; Wolf, U. (1996). Propedêutica lógico-semântica (transl. Fernando

Rodrigues), Petrópolis: Editora Vozes, cap. 1.

Popper, K.R. (1963), Conjectures and Refutations, New York: Harper, pp. 206ff.

Priest, G.; Tanaka, K.; Weber, Z. (2013) 'Paraconsistent Logic' in The Stanford

Encyclopedia of Philosophy.

Priest, G.; Berto, F. (2013) 'Dialetheism' in The Stanford Encyclopedia of Philosophy.