Abaixo, está a ementa com bibliografia da disciplina optativa de Filosofia da Lógica que será oferecida em 2009.2.
Vale lembrar, mais uma vez, que a abordagem não será técnica mas sim filosófica.
FIL 206 X – Tópicos em Fil. da Linguagem: Introdução à Filosofia da Lógica
Ementa e objetivo:
O objetivo do curso é introduzir conceitos e problemas fundamentais da filosofia da lógica. Discutiremos ao longo do curso, sob uma perspectiva mais filosófica do que técnica, os seguintes temas: a natureza da lógica, conseqüência lógica, operadores proposicionais e quantificadores, descrições definidas, verdade lógica, necessidade e possibilidade, semântica de mundos possíveis, paradoxos semânticos, teorias da verdade (deflacionismo versus fazedores-de-verdade), lógicas não-clássicas, incompletude e indecidibilidade, entre outros.
Bibliografia básica:
Haack, S. Filosofia das lógicas. São Paulo: Ed. Unesp, 1998.
Kirkham, R. Teorias da verdade. São Leopoldo: Editora Unisinos, 2003.
da Silva, J.J. Filosofias da matemática. São Paulo: Ed. Unesp, 2007.
da Costa, N. Ensaio sobre os fundamentos da lógica. São Paulo: Hucitec, 2008.
O objetivo do curso é introduzir conceitos e problemas fundamentais da filosofia da lógica. Discutiremos ao longo do curso, sob uma perspectiva mais filosófica do que técnica, os seguintes temas: a natureza da lógica, conseqüência lógica, operadores proposicionais e quantificadores, descrições definidas, verdade lógica, necessidade e possibilidade, semântica de mundos possíveis, paradoxos semânticos, teorias da verdade (deflacionismo versus fazedores-de-verdade), lógicas não-clássicas, incompletude e indecidibilidade, entre outros.
Bibliografia básica:
Haack, S. Filosofia das lógicas. São Paulo: Ed. Unesp, 1998.
Kirkham, R. Teorias da verdade. São Leopoldo: Editora Unisinos, 2003.
da Silva, J.J. Filosofias da matemática. São Paulo: Ed. Unesp, 2007.
da Costa, N. Ensaio sobre os fundamentos da lógica. São Paulo: Hucitec, 2008.
Bibliografia auxiliar:
Mortari, C.A. Introdução à Lógica. São Paulo: Unesp, 2001.
Chateaubriand, O. Logical Forms – vol. 1. São Paulo: Coleção CLE – Unicamp, 2001.
Read, S. Thinking about logic. Oxford: OUP, 1995.
Grayling, A.C. Introduction to philosophical logic. Oxford: Blackwell, 2001.
Read, S. Thinking about logic. Oxford: OUP, 1995.
Grayling, A.C. Introduction to philosophical logic. Oxford: Blackwell, 2001.
