SERÁ S5 O SISTEMA DE LÓGICA MODAL CORRETO PARA MODALIDADE METAFÍSICA?

ESTE TRABALHO TRATA-SE DE UMA INVESTIGAÇÃO SIMULTÂNEA EM LÓGICA E METAFÍSICA OU, MAIS ESPECIFICAMENTE, EM LÓGICA E METAFÍSICA MODAL. BASICAMENTE BUSCAMOS AQUI IDENTIFICAR O SISTEMA DE LÓGICA PROPOSICIONAL MODAL CORRETO PARA MODALIDADE METAFÍSICA OU MODALIDADE ALÉTICA. CASOS MAIS INTERESSANTES COM RESPEITO AOS DIFERENTES SISTEMAS DE LÓGICA MODAL SURGEM QUANDO REITERAMOS OPERADORES, OU SEJA, QUANDO PERGUNTAMOS COISAS DO TIPO: SE É NECESSÁRIO QUE DEUS NECESSARIAMENTE EXISTA, DEUS NECESSARIAMENTE EXISTE? PODEREMOS, COM ESTE TRABALHO, VER O PODER QUE A LÓGICA MODAL TEM PARA CLARIFICAR PERGUNTAS DESTE TIPO E QUE, DEPENDO DO SISTEMA NO QUAL NOS ENCONTRAMOS, A RESPOSTA À PERGUNTA ACIMA PODE SER POSITIVA OU NEGATIVA. VEREMOS DE PERTO AQUI CINCO SISTEMAS DE LÓGICA MODAL DIFERENTES, NOMEADAMENTE, K, T, B, S4 E S5, SENDO QUE AO ÚLTIMO SERÁ DADA MAIOR ATENÇÃO. A MAIOR PARTE DOS FILÓSOFOS TIPICAMENTE ACEITAM S5 COMO SISTEMA ADEQUADO PARA MODALIDADE METAFÍSICA, AQUI, PORÉM, PRETENDEMOS APRESENTAR ALGUMAS DAS OBJEÇÕES MAIS IMPORTANTES QUE FORAM AVANÇADAS CONTRA ESTE LUGAR COMUM E, NA MEDIDA DO POSSÍVEL, INDICAREMOS VIAS POSSÍVEIS DE RESPOSTAS A ESTAS OBJEÇÕES. PARA TANTO, COMO ESTUDO PRELIMINAR, APRESENTAREMOS A LINGUAGEM PARA A LÓGICA MODAL PROPOSICIONAL QUE SURGE COMO EXTENSÃO DE UMA LINGUAGEM PROPOSICIONAL CLÁSSICA PELA ADIÇÃO DOS OPERADORES MODAIS. VEREMOS, ASSIM, EM ALGUM DETALHE A SINTAXE PARA LÓGICA MODAL E A SEMÂNTICA PARA ESTA LINGUAGEM, TIPICAMENTE CHAMADA DE ‘SEMÂNTICA DOS MUNDOS POSSÍVEIS.