Artificial Intelligence and in God's Existence: Connecting Philosophy of Religion and Computation
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 simpl...
| Auteur principal: | |
|---|---|
| Type de support: | Électronique Article |
| Langue: | Anglais |
| Vérifier la disponibilité: | HBZ Gateway |
| Interlibrary Loan: | Interlibrary Loan for the Fachinformationsdienste (Specialized Information Services in Germany) |
| Publié: |
2022
|
| Dans: |
Zygon
Année: 2022, Volume: 57, Numéro: 4, Pages: 1000-1018 |
| Sujets non-standardisés: | B
Ontological Argument
B theology as science B artificial intelligence and religion B formal theology B religion and technology B diagonal argument B artificial intelligence and theology B computational metaphysics |
| Accès en ligne: |
Volltext (kostenfrei) Volltext (kostenfrei) |
| Résumé: | 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: | 1467-9744 |
| Contient: | Enthalten in: Zygon
|
| Persistent identifiers: | DOI: 10.1111/zygo.12829 |
