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.
