UMA ABORDAGEM AXIOMÁTICA À TEODICEIA VIA SISTEMAS FORMAIS APLICADOS

EDWARD NIEZNANSKI DESENVOLVEU DOIS SISTEMAS LÓGICOS A FIM DE LIDAR COM UMA VERSÃO DO PROBLEMA DO MAL ASSOCIADA A DUAS FORMULAÇÕES DE DETERMINISMO RELIGIOSO. O OBJETIVO DESTA PESQUISA FOI REVISITAR ESSES SISTEMAS, PROPORCIONANDO-LHES UMA FORMALIZAÇÃO MAIS ADEQUADA. OS NOVOS SISTEMAS RESULTANTES, DENOMINADOS N1 E N2, FORAM REFORMULADOS EM LÓGICA MODAL DE PRIMEIRA ORDEM; ELES TÊM MUITO DA ESTRUTURA BÁSICA ORIGINAL, MAS ALGUNS RESULTADOS ADICIONAIS SÃO OBTIDOS. ALÉM DISSO, NOSSA PESQUISA DESCOBRIU QUE UM CONJUNTO MÍNIMO DE AXIOMAS SUBJACENTES É SUFICIENTE PARA RESOLVER AS QUESTÕES PROPOSTAS. ASSIM, DESENVOLVEMOS UM SISTEMA MINIMAL, DENOMINADO N3, QUE RESOLVE OS MESMOS PROBLEMAS TRATADOS POR N1 E N2, MAS COM MENOS SUPOSIÇÕES DO QUE ESTES SISTEMAS. TANTO N1 E N2 QUANTO N3 VISAM RESOLVER O PROBLEMA LÓGICO DO MAL ATRAVÉS DA REFUTAÇÃO DE DUAS VERSÕES DO DETERMINISMO RELIGIOSO, MOSTRANDO QUE OS ATRIBUTOS DE DEUS NO TEÍSMO CLÁSSICO, A SABER, OS DE ONISCIÊNCIA, ONIPOTÊNCIA, INFALIBILIDADE E ONIBENEVOLÊNCIA, QUANDO FORMALIZADOS, SÃO CONSISTENTES COM A EXISTÊNCIA DO MAL, FORNECENDO MAIS UMA RESPOSTA A ESTE PROBLEMA HISTÓRICO.