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

Faculty/Professorship: AI Systems Engineering 
Author(s): Vestrucci, Andrea
Publisher Information: Bamberg : Otto-Friedrich-Universität
Year of publication: 2023
Pages: 1000-1018
Source/Other editions: Zygon : journal of religion & science. 57 (2022), 4, S. 1000-1018 - ISSN: 1467-9744
is version of: 10.1111/zygo.12829
Year of first publication: 2022
Language(s): English
Licence: Creative Commons - CC BY-NC-ND - Attribution - NonCommercial - NoDerivatives 4.0 International 
URN: urn:nbn:de:bvb:473-irb-575306
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   
Type: Article
Release Date: 9. January 2023
Project: Open-Access-Publikationskosten 2022 - 2024

File SizeFormat  
fisba57530.pdf392.78 kBPDFView/Open