The Epistemic Value of Natural Theology

According to certain theories, acquiring knowledge of God does not necessarily depend on philosophical evidence, and a believer is not obligated to rely on philosophical arguments from natural theology to justify their religious convictions. However, it is undeniable that philosophical arguments supporting the existence of God and theodicies possess significant epistemic value. This raises the question: what is the epistemic significance of the intellectual products derived from natural theology if they are not essential for attaining knowledge of God? Drawing upon the distinction between knowledge and understanding as separate epistemic goods, I argue that it is reasonable to assert that arguments for theism and theodicies contribute to religious understanding rather than directly providing knowledge of God. Finally, I enumerate several theoretical advantages that this proposal would offer to the field of religious epistemology

Formalização e axiomatização de provas ontológica

Kurt Gödel foi um dos maiores matemáticos do século XX, com contribuições para a lógica e também para o campo da cosmologia à partir da elaboração de soluções para as equações de Einstein. Como filósofo, Gödel dedicou-se à lógica e aplicou-se à axiomatização não formal de uma prova ontológica. Benzmüller e Woltzenlogel Paleo desenvolveram, por meios computacionais, uma formalização do sistema axiomático gödeliano. O trabalho pode abrir novas perspectivas para a aplicação de técnicas das ciências da computação no campo da lógica matemática, suscitar questões epistemológicas importantes, além de ser historicamente relevante por colocar em destaque um trabalho não publicado de Gödel. Apresentamos a tradução do trabalho de Benzmüller e Woltzenlogel Paleo, antecedida por um artigo com considerações gerais sobre diferentes provas ontológicas, cosmológicas e físico-teleológicas