Mechanized analysis of Anselm’s modal ontological argument
We use a mechanized verification system, PVS, to examine the argument from Anselm’s Proslogion Chapter III, the so-called “Modal Ontological Argument.” We consider several published formalizations for the argument and show they are all essentially similar. Furthermore, we show that the argument is t...
| Published in: | International journal for philosophy of religion |
|---|---|
| Main Author: | |
| Format: | Electronic Article |
| Language: | English |
| Check availability: | HBZ Gateway |
| Journals Online & Print: | Drawer...
|
| Fernleihe: | Fernleihe für die Fachinformationsdienste |
| Published: |
Springer Science + Business Media B. V
2021
|
| In: |
International journal for philosophy of religion
|
| Standardized Subjects / Keyword chains: | B
Anselm, Canterbury, Erzbischof, Heiliger 1033-1109, Proslogion
/ Ontological proof of God's existence
|
| RelBib Classification: | AB Philosophy of religion; criticism of religion; atheism NBC Doctrine of God |
| Further subjects: | B
Proslogion III
B Ontological Argument B Modal argument B PVS B existence of God B Anselm |
| Online Access: |
Presumably Free Access Volltext (lizenzpflichtig) |
| Summary: | We use a mechanized verification system, PVS, to examine the argument from Anselm’s Proslogion Chapter III, the so-called “Modal Ontological Argument.” We consider several published formalizations for the argument and show they are all essentially similar. Furthermore, we show that the argument is trivial once the modal axioms are taken into account. This work is an illustration of Computational Philiosophy and, in addition, shows how these methods can help detect and rectify errors in modal reasoning. |
|---|---|
| ISSN: | 1572-8684 |
| Contains: | Enthalten in: International journal for philosophy of religion
|
| Persistent identifiers: | DOI: 10.1007/s11153-020-09768-6 |