ARTIFICIAL INTELLIGENCE AND IN GOD'S EXISTENCE: CONNECTING PHILOSOPHY OF RELIGION AND COMPUTATION with Andrea Vestrucci, “Introduction: Five Steps Towards a Religion‐AI Dialogue”; Lluís Oviedo, “AI and Theology: Looking for a Positive—But Not Uncritical—Reception”; Christoph Benzmüller, “Symbolic AI and Gödel's Ontological Argument”; Sara Lumbreras, “Lessons from the Quest for Artificial Consciousness: The Emergence Criterion, Insight‐Oriented AI, and Imago Dei”; Marius Dorobantu, “Artificial Intelligence as a Testing Ground for Key Theological Questions”; and Andrea Vestrucci, “Artificial I

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 t...

Full description

Saved in:
Bibliographic Details
Published inZygon Vol. 57; no. 4; pp. 1000 - 1018
Main Author Vestrucci, Andrea
Format Journal Article
LanguageEnglish
Published Oxford Blackwell Publishing Ltd 01.12.2022
Subjects
Artificial intelligence
Logic
Metaphysics
Philosophy
Religion
Technology
Theory
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:0591-2385
1467-9744
DOI:10.1111/zygo.12829