LÓGICAS BIMODAIS QUANTIFICADAS PARA A SISTEMATIZAÇÃO DE UM OPERADOR DE ATUALIDADE

ESTE TRABALHO TEM COMO OBJETIVO PRIMÁRIO COMPARAR TEORIAS FORMAIS ATUALISTAS E POSSIBILISTAS EM DOIS NÍVEIS: (I) EM ASPECTOS DE FORMALIZAÇÃO E (II) SUA PLAUSIBILIDADE FILOSÓFICA. OBJETIVOS SECUNDÁRIOS DO TRABALHO SÃO: (A) DESCRIÇÃO DE LÓGICAS MODAIS QUANTIFICADAS; (B) DESCRIÇÃO DE INTERPRETAÇÕES FILOSÓFICAS DOS SISTEMAS FORMAIS; (C) CONSIDERAÇÕES SOBRE A METODOLOGIA DA METAFÍSICA; (D) CONSIDERAÇÕES SOBRE SISTEMAS AXIOMÁTICOS COMO HEURÍSTICA; (E) CONSIDERAÇÕES SOBRE A METODOLOGIA DA METAFÍSICA AXIOMÁTICA. O PRIMEIRO CAPÍTULO CONSISTE EM UMA DESCRIÇÃO DA LINGUAGEM QUE UTILIZAREMOS COMO TEORIA FORMAL PARA A DESCRIÇÃO DE AMBOS POSICIONAMENTOS FILOSÓFICOS. O SEGUNDO CAPÍTULO CONSISTE EM UMA DESCRIÇÃO DOS CONCEITOS FILOSÓFICOS FORMALIZADOS PELA LINGUAGEM PREVIAMENTE DESCRITA. O TERCEIRO CAPÍTULO CONSISTE EM UM APANHADO DE ESTUDOS DE CASO, AVALIANDO DETERMINADOS SISTEMAS FORMAIS CORRENTES NA DISCUSSÃO, UTILIZANDO CRITÉRIOS DE AVALIAÇÃO CORRENTES NA LITERATURA. NA CONCLUSÃO, ESTABELECEMOS GENERALIZAÇÕES SOBRE AMBAS ABORDAGENS, BUSCANDO ESCLARECER UMA PARCELA DO DEBATE.