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...
| 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
Year: 2021, Volume: 89, Issue: 2, Pages: 135-152 |
| Standardized Subjects / Keyword chains: | B
Anselm, Canterbury, Erzbischof, Heiliger 1033-1109, Proslogion
/ Ontological proof of God's existence
|
| IxTheo 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) |