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...
| 1. VerfasserIn: | |
|---|---|
| Medienart: | Elektronisch Aufsatz |
| Sprache: | Englisch |
| Verfügbarkeit prüfen: | HBZ Gateway |
| Journals Online & Print: | Lade...
|
| Fernleihe: | Fernleihe für die Fachinformationsdienste |
| Veröffentlicht: |
Springer Science + Business Media B. V
2021
|
| In: |
International journal for philosophy of religion
Jahr: 2021, Band: 89, Heft: 2, Seiten: 135-152 |
| normierte Schlagwort(-folgen): | B
Anselm, Canterbury, Erzbischof, Heiliger 1033-1109, Proslogion
/ Ontological proof of God's existence
|
| RelBib Classification: | AB Religionsphilosophie; Religionskritik; Atheismus NBC Gotteslehre |
| weitere Schlagwörter: | B
Proslogion III
B Ontological Argument B Modal argument B PVS B existence of God B Anselm |
| Online Zugang: |
Vermutlich kostenfreier Zugang Volltext (lizenzpflichtig) |
| Zusammenfassung: | 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 |
| Enthält: | Enthalten in: International journal for philosophy of religion
|
| Persistent identifiers: | DOI: 10.1007/s11153-020-09768-6 |