INTRODUÇÃO À LÓGICA MODAL PARA FILÓSOFOS
Renato Mendes Rocha
Resumo
Neste minicurso quero fazer uma introdução às lógicas não clássicas, considerando principalmente, a lógica modal, que embora seja uma lógica não clássica é considerada uma lógica complementar a lógica clássica. Após fazer essa caracterização da filosofia das lógicas, abordarei aspectos históricos, filosóficos e formais da lógica modal, sobretudo concentrar-meei nos desenvolvimentos realizados a partir do séc. XX. Estes desenvolvimentos começam na primeira metade do século XX a partir dos trabalhos de C. I. Lewis, com a sua proposta de um novo conectivo intencional para evitar os paradoxos da implicação material e como resultado apresenta um sistema forma com sintaxe bem definida. No entanto ainda não havia uma semântica adequada para interpretar as fórmulas daquele sistema. Posteriormente, na segunda metade do século XX, com os trabalhos do filósofo Saul Kripke, deu início aos aspectos semântica para a lógica modal, com modelos baseado em mundos possíveis e na relação de acessibilidade. Os trabalhos de Kripke ficaram conhecidos por trazer de volta e restabelecer o valor da metafísica na filosofia analítica, tradição que surgiu e ficou conhecida por alguns como herdeira de um pensamento antimetafísico. Esse ressurgimento da metafísica ganhou força, a partir da segunda metade do século XX, com a publicação dos trabalhos de filósofos como David Lewis e Alvin Plantinga que avançaram em questões desde a Filosofia da Ciência até a Filosofia da Religião. Além dos aspectos históricos, desde um ponto de vista formal, pretendo apresentar os axiomas que caracterizam os sistemas modais K, T, B, S4 e S5, discutir as interações entre ele. Mostrar como essa semântica é útil para avaliação de argumentos que envolvem expressões modais. Do ponto de vista filosófico, pretendo apresentar e discutir a teoria conhecida como Essencialismo Naturalizado que retoma as noções aristotélicas de essência e propriedade essencial a partir do enquadramento oferecido pela semântica e metafísica de mundos possíveis.