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

No Thumbnail Available
Date
2023
Authors
Vestrucci, Andrea
Journal Title
Journal ISSN
Volume Title
Publisher
Otto-Friedrich-Universität
Research Projects
Organizational Units
Journal Issue
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.
Description
Keywords
artificial intelligence and religion, artificial intelligence and theology, computational metaphysics, diagonal argument, formal theology, ontological argument, theology as science, religion and technology
Citation
Collections