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...
| Published in: | Zygon |
|---|---|
| Main Author: | |
| Format: | Electronic Article |
| Language: | English |
| Check availability: | HBZ Gateway |
| Journals Online & Print: | Drawer...
|
| Fernleihe: | Fernleihe für die Fachinformationsdienste |
| Published: |
Wiley-Blackwell
2022
|
| In: |
Zygon
|
| Further subjects: | 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 |
| Online Access: |
Volltext (kostenfrei) Volltext (kostenfrei) |
| Summary: | 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 |
| Contains: | Enthalten in: Zygon
|
| Persistent identifiers: | DOI: 10.1111/zygo.12829 |