Aspectos filosóficos e conceituais das lógicas não-clássicas

Disciplina Graduação- Curso de Filosofia, IFCH-UNICAMP

Primeiro semestre de 2011

Aspectos filosóficos e conceituais das lógicas não-clássicas

Nível:Graduação
Disciplina: HG903 A- Tópicos Especias de Filosofia da Lógica I

Professor: Walter A. Carnielli
Monitor (PED): Samir Bezerra Gorsky

Ementa:

Abordaremos as motivações histórico-filosóficas bem como as características formais e estruturais dos principais sistemas de lógica não-clássica, incluindo conceituali-zação, axiomatização, semântica e meta-teoremas a respeito de alguns sistemas de lógica intuicionista, modal, polivalente e paraconsistente. Os tópicos serão tratados de maneira introdutória, porém rigorosa.

Programa

1. Introdução
2. Lógica modal
2.1. Motivações histórico-filosóficas
2.2. Sistemas normais. Axiomatização e principais teoremas
2.3 Semânticas de Kripke
2.4 Alguns meta-teoremas

3. Lógica Intuicionista
3.1. Motivações histórico-filosóficas
3.2. Álgebra de Heyting, axiomatização e principais teoremas
3.3 Semânticas de Kripke e semântica topológica
3.4 Alguns meta-teoremas


4. Lógica Paraconsistente
4.1. Motivações histórico-filosóficas
4.2. Taxonomia das lógicas paraconsistentes e principais teoremas
4.3 Semânticas de valorações e semânticas de traduções possíveis
4.4 Alguns meta-teoremas


5. Lógicas polivalentes
5.1. Motivações histórico-filosóficas
5.2. Axiomatização e principais teoremas
5.3 Semânticas tabulares
5.4 Alguns meta-teoremas
6. Discussão e significado: a lógica contemporânea

Bibliografia Básica

L. E. J. Brouwer. 1912, “Intuitionism and Formalism,” Tradução em
íngua inglesa de A. Dresden, Bull. Amer. Math. Soc. 20 (1913): 81–96, republicado em Benacerraf e Putnam (eds.) 1983: 77–89.

Patrick Blackburn, Maarten de Rijke, e Yde Venema. Modal Logic. Cambridge,
2001.

Walter Carnielli e Claudio Pizzi. Modalities and Multimodalities.
Logic, Epistemology, and the Unity of Science. Vol. 12. Springer, Amsterdam, 2008.

Walter Carnielli, Marcelo E. Coniglio e João . Marcos. Logics of Formal Inconsistency. In: Handbook of Philosophical Logic, vol. 14, pp. 15–107. Eds.: D. Gabbay; F. Guenthner. Springer, 2007.

Disponível nos CLE e-Prints Vol. 5(1), 2005

ftp://logica.cle.unicamp.br/pub/e-prints/vol.5,n.1,2005-revised.pdf

Susan Haack. Filosofia das lógicas. Tradução de Cezar Augusto Mortari e
Luiz Henrique de AraújoDutra. São Paulo: Editora UNESP, 2002.

Sítios Internet

Joan Moschovakis. 'Intuitionistic Logic' . Stanford Encyclopedia of Philosophy
http://plato.stanford.edu/entries/logic-intuitionistic/

Siegfried Gottwald. 'Many-Valued Logic' .
Stanford Encyclopedia of Philosophy
http://plato.stanford.edu/entries/logic-manyvalued/

Walter Carnielli e Marcelo E. Coniglio. 'Combining Logics'.

Stanford Encyclopedia of Philosophy

http://plato.stanford.edu/entries/logic-combining/