Artificial Intelligence and in God's Existence: Connecting Philosophy of Religion and Computation

Abstract

The exploration of metaphysical arguments in the symbolic AI environment provides clarification and raises unexpected questions about notions in philosophy of religion and theology. Recent attempts to apply automatic theorem prover technology to Anselm's ontological argument have led to a simplification of the argument. This computationally discovered simplification has given rise to logical observations. The article assesses one of these observations: the application of the diagonal method (in Cantor's version) to Anselm's argument. The evaluation of the applications of theorem provers to metaphysical and theological arguments contributes to the following topics in philosophy of religion: the limits of natural theology, the relationship between religion and STEM, and theology's scientificity.

Artificial Intelligence’s Understanding of Religion: Investigating the Moralistic Approaches Presented by Generative Artificial Intelligence Tools

“…The intersection between religion and AI has garnered increasing attention among scholars from diverse fields, including theology, philosophy, ethics, communication, and technology studies (Vestrucci 2022). This review aims to explore the evolving discourse in academic literature regarding the relationship between religion and AI, examining various perspectives, concerns, and potential implications stemming from this interaction.…”

“…But that lack does not seem to concern some religious studies scholars, who have already successfully integrated AI into their work. For example, Vestrucci (2022) examines the use of symbolic AI and automated reasoning in analyzing metaphysical and theological arguments, focusing on Oppenheimer and Zalta's computational analysis of Anselm's ontological argument for God's existence. Reed (2021) used the AI text tool EMMA to classify New Testament texts as Pauline or non-Pauline.…”