Uma abordagem axiomática à teodiceia via sistemas formais aplicados

Edward Nieznański 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.