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 |
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. |
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 |
URI: | https://fis.uni-bamberg.de/handle/uniba/56866 |
Release Date: | 5. December 2022 |
Project: | Open-Access-Publikationskosten 2022 - 2024 |

originated at the
University of Bamberg
University of Bamberg