Foi na primeira metade do século XX que a lógica clássica se estabeleceu como o tratamento padrão da consequência lógica. Mas foi também no século XX que diferentes teorias da consequência lógica foram propostas. Dois princípios da lógica clássica, frequentemente apresentados como 'leis fundamentais do pensamento', são o princípionda não contradição e o terceiro excluído. Tais princípios são rejeitados, respectivamente, pelas lógicas paraconsistente e intuicionista. O objetivo deste curso é apresentar ao aluno aspectos históricos e conceituais da lógica clássica e de duas alternativas não clássicas, as lógicas intuicionista e paraconsistente. O curso ira tratar apenas da lógica proposicional e pressupõe somente o conteúdo ministrado na disciplina de lógica do primeiro (ou segundo) período.
1. A lógica clássica
Frege, Russel e Tarski: consequência lógica = preservação da verdade.
A negação clássica: bivalência, terceiro excluído, não contradição, ex
falso quodlibet.
Verdade, referência e significado.
2. A lógica intuicionista
Brouwer e Heyting: a matemática construtiva e a rejeição do terceiro excluído.
Semântica inferencial.
3. A lógica paraconsistente
Paradoxos e contradições nas ciências empíricas.
Os sistemas paraconsistentes de da Costa e seus desdobramentos.
Dialeteísmo e lógicas da informação.
N. Belnap. How a computer should think. In Proceedings of the Oxford International Symposium on Contemporary Aspects of Philosophy. Oxford, England, 1976.
W. Carnielli, A. Rodrigues. Paraconsistency and duality: between ontological and epistemological views. The Logica Yearbook 2015. London, College Publications, 2016.
W. Carnielli, A Rodrigues. An epistemic approach to paraconsistency: a logic of evidence and truth. Synthese, 2017. http://philsci-archive.pitt.edu/14115/.
R. Cook. Let a thousand flowers bloom. Philosophy Compass, 2010.
J. M. Dunn. Information in Computer Science, in Handbook of the Philosophy of Science Volume 8: Philosophy of Information. Elsevier, 2008.
S. Haack. Filosofia das Lógicas. Unesp, 2002
A. Heyting. Intuitionism: an introduction. North-Holland Publishing Company, 1956.
W. Hodges. Logic. Penguin Books, 1977.
T. Nickles. From Copernicus to Ptolemy: inconsistency and method. In Inconsistency in Science (Ed. J. Meheus). Dordrecht: Springer, 2002.
G. Priest. Logical Pluralism, in Doubt Truth to be a Liar. Oxford University Press, 2008.
G. Priest and F. Berto. Dialetheism. Stanford Encyclopedia of Philosophy, 2013.
D. Prawitz. Classical versus intuitionistic logic. In Why is this a proof? Festschrift for Luiz Carlos Pereira. College Publications, 2015.
W.V. Quine. Filosofia da Lógica. Rio de Janeiro, Zahar, 1972.
J. J. da Silva. Filosofias da Matemática. Unesp, 2007
S. Stewart; K. Teresa. Classical Logic in The Stanford Encyclopedia of Philosophy, 2018.
A.S. Troelstra; D. van Dalen. Constructivism in Mathematics, Vol 1. Elsevier Science, 1988.
