LÓGICA E METAFÍSICA DA MODALIDADE

O OBJETIVO DESTE TRABALHO É ESTUDAR A PROBLEMÁTICA DO ESTATUTO ONTOLÓGICO DE OBJETOS MERAMENTE POSSÍVEIS, I.E., OBJETOS QUE EMBORA NÃO EXISTAM ATUALMENTE PODERIAM TER EXISTIDO. EM PARTICULAR O DEBATE ENTRE PLANTINGA E KRIPKE COM RELAÇÃO AO PAPEL QUE ESSES OBJETOS DESEMPENHAM NA CARACTERIZAÇÃO DAS CONDIÇÕES DE VERDADE DOS ENUNCIADOS MODAIS, I.E., ENUNCIADOS ONDE OPERAM ADVÉRBIOS MODAIS COMO ‘NECESSARIAMENTE’ OU ‘POSSIVELMENTE’. PARA TANTO SERÁ APRESENTADO UM ESBOÇO DO PROBLEMA EXPLICANDO A SEMÂNTICA DE KRIPKE. EM SEGUIDA CONSIDERAR-SE-Á UM PROBLEMA LEVANTADO POR ALVIN PLANTINGA SOBRE ESSA SEMÂNTICA. SEGUNDO PLANTINGA EMBORA A SEMÂNTICA DE KRIPKE SEJA PRETENSAMENTE UMA SEMÂNTICA ATUALISTA ELA, AINDA SIM, PRESSUPÕEM QUE HÁ OBJETOS QUE NÃO EXISTEM, I.E., NÃO ATUAIS. PRETENDO ARGUMENTAR EM FAVOR DA TESE QUE A SEMÂNTICA DE PLANTINGA DÁ CONTA DE TRADUZIR DENTRO DE SUA PRÓPRIA LINGUAGEM AQUELES ENUNCIADOS PROBLEMÁTICOS – ESPECIFICAMENTE AQUELES ENUNCIADOS QUE SUPOSTAMENTE SE REFEREM A OBJETOS NÃO EXISTENTES QUE SÃO TRADUZIDOS EM FAVOR DE EXPRESSÕES QUE NÃO FAZEM REFERÊNCIA ALGUMA A TAIS ENTIDADES – E QUE AS ENTIDADES EXIGIDAS PELA SEMÂNTICA DE PLANTINGA ESTÃO ISENTAS DAS CRÍTICAS LEVANTADAS E DIFUNDIDAS NA LITERATURA FILOSÓFICA RECENTE.