sábado, 9 de agosto de 2014

Prática de pesquisa IV - ementa e bibliografia

Prática de pesquisa IV


Tema: Lógicas não clássicas: intuicionismo e paraconsistência.

 

Ementa: Consequência lógica: o que se segue de quê. A lógica clássica. Os princípios do terceiro excluído e da não-contradição. O princípio da explosão. Lógicas não clássicas: primeira abordagem. Intuicionismo de Brouwer e Heyting: existência, infinito e verdade. Lógica intuicionista. A contradição na história da filosofia: Heráclito, Aristóteles, Kant, Hegel. Paraconsistência e dialeteísmo. Contradições nas ciências empíricas. Lógicas paraconsistentes.

 

Bibliografia básica:

Aristóteles. Metafísica.

Haack, S. Filosofia das Lógicas. Ed. UNESP.

Chateaubriand, O. Logical Forms. CLE-UNICAMP. 

da Costa, N. Ensaio sobre os fundamentos da lógica. Hucitec.

da Silva, J.J. Filosofias da Matemática. Ed. UNESP.

Hegel, G.W.F. Enciclopédia das Ciências Filosóficas – vol. I. Loyola.

Heyting, A. Intuitionism: an introduction. North-Holland.

Kant, I. Crítica da Razão Pura. Ed. Calouste.

Kirk, G. S. Os Filosofos Pré-socraticos.  Ed. Calouste.

Priest, G. An introduction to non classical logic. Cambridge.

________. Doubt Truth to be a Liar. Clarendon Press.

Rodrigues, A. Lógica - Coleção O Prazer de Pensar. Martins Fontes.