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: | |
Fernleihe: | Fernleihe für die Fachinformationsdienste |
Published: |
Springer Nature 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
|
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) |