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

Faculty/Professorship: AI Systems Engineering 
Author(s): Vestrucci, Andrea
Title of the Journal: Zygon : journal of religion & science
ISSN: 1467-9744, 0591-2385
Publisher Information: Oxford : Wiley-Blackwell
Year of publication: 2022
Volume: 57
Issue: 4
Pages: 1000-1018
Language(s): English
DOI: 10.1111/zygo.12829
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.
GND Keywords: Künstliche Intelligenz; Religion; Metaphysik; Ontologie <Wissensverarbeitung>
Keywords: artificial intelligence and religion, artificial intelligence and theology, computational metaphysics, diagonal argument, formal theology, ontological argument, theology as science, religion and technology
DDC Classification: 004 Computer science  
RVK Classification: ST 300   
Peer Reviewed: Ja
International Distribution: Ja
Type: Article
Release Date: 5. December 2022
Project: Open-Access-Publikationskosten 2022 - 2024