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
|
| 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) |
MARC
| LEADER | 00000caa a22000002 4500 | ||
|---|---|---|---|
| 001 | 1760783226 | ||
| 003 | DE-627 | ||
| 005 | 20210727082720.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 210618s2021 xx |||||o 00| ||eng c | ||
| 024 | 7 | |a 10.1007/s11153-020-09768-6 |2 doi | |
| 035 | |a (DE-627)1760783226 | ||
| 035 | |a (DE-599)KXP1760783226 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rda | ||
| 041 | |a eng | ||
| 084 | |a 0 |2 ssgn | ||
| 100 | 1 | |a Rushby, John |e VerfasserIn |0 (orcid)0000-0002-6604-9953 |4 aut | |
| 245 | 1 | 0 | |a Mechanized analysis of Anselm’s modal ontological argument |
| 264 | 1 | |c 2021 | |
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 520 | |a 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. | ||
| 601 | |a Ontologie | ||
| 601 | |a Argumentation | ||
| 650 | 4 | |a PVS | |
| 650 | 4 | |a existence of God | |
| 650 | 4 | |a Proslogion III | |
| 650 | 4 | |a Modal argument | |
| 650 | 4 | |a Ontological Argument | |
| 650 | 4 | |a Anselm | |
| 652 | |a AB:NBC | ||
| 689 | 0 | 0 | |d u |0 (DE-588)4264660-1 |0 (DE-627)10458565X |0 (DE-576)210624930 |a Anselm |2 gnd |c Canterbury, Erzbischof, Heiliger |d 1033-1109 |t Proslogion |
| 689 | 0 | 1 | |d s |0 (DE-588)4139857-9 |0 (DE-627)10440888X |0 (DE-576)20969789X |2 gnd |a Ontologischer Gottesbeweis |
| 689 | 0 | |5 (DE-627) | |
| 773 | 0 | 8 | |i Enthalten in |t International journal for philosophy of religion |d Dordrecht [u.a.] : Springer Science + Business Media B.V, 1970 |g 89(2021), 2, Seite 135-152 |h Online-Ressource |w (DE-627)320442098 |w (DE-600)2005049-5 |w (DE-576)103746927 |x 1572-8684 |7 nnns |
| 773 | 1 | 8 | |g volume:89 |g year:2021 |g number:2 |g pages:135-152 |
| 856 | |u http://arxiv.org/pdf/2205.08628 |x unpaywall |z Vermutlich kostenfreier Zugang |h repository [oa repository (via OAI-PMH doi match)] | ||
| 856 | 4 | 0 | |u https://doi.org/10.1007/s11153-020-09768-6 |x Resolving-System |z lizenzpflichtig |3 Volltext |
| 935 | |a mteo | ||
| 936 | u | w | |d 89 |j 2021 |e 2 |h 135-152 |
| 951 | |a AR | ||
| ELC | |a 1 | ||
| ITA | |a 1 |t 1 | ||
| LOK | |0 000 xxxxxcx a22 zn 4500 | ||
| LOK | |0 001 3939346799 | ||
| LOK | |0 003 DE-627 | ||
| LOK | |0 004 1760783226 | ||
| LOK | |0 005 20210723112204 | ||
| LOK | |0 008 210618||||||||||||||||ger||||||| | ||
| LOK | |0 035 |a (DE-Tue135)IxTheo#2021-06-17#0CB85CF709BE860598614C9211F5CC8BAA9E0E6D | ||
| LOK | |0 040 |a DE-Tue135 |c DE-627 |d DE-Tue135 | ||
| LOK | |0 092 |o n | ||
| LOK | |0 852 |a DE-Tue135 | ||
| LOK | |0 852 1 |9 00 | ||
| LOK | |0 935 |a ixzs |a zota | ||
| LOK | |0 936ln |0 1442042990 |a AB | ||
| LOK | |0 936ln |0 1442051507 |a NBC | ||
| OAS | |a 1 | ||
| ORI | |a SA-MARC-ixtheoa001.raw | ||
| REL | |a 1 | ||
| STA | 0 | 0 | |a Ontological proof of God's existence,Ontological argument,God's existence |
| STB | 0 | 0 | |a Preuve ontologique de l’existence de Dieu,Argument ontologique,Argument ontologique |
| STC | 0 | 0 | |a Prueba ontológica de la existencia de Dios |
| STD | 0 | 0 | |a Prova ontologica dell'esistenza di Dio,Argomento ontologico,Argomento ontologico |
| STE | 0 | 0 | |a 神存在的本体论论证,神存在的存有论论证 |
| STF | 0 | 0 | |a 神存在的本體論論證,神存在的存有論論證 |
| STG | 0 | 0 | |a Prova ontológica da existência de Deus |
| STH | 0 | 0 | |a Онтологическое доказательство существования Бога |
| STI | 0 | 0 | |a Οντολογική απόδειξη της ύπαρξης του Θεού |
| SUB | |a REL | ||
| SYE | 0 | 0 | |a Anselm,Anselmo,Anselmus,Cantuariensis, Anselmus,Anselmus,Ansshelmus Sankt,Canterbury, Anshelm von,Anselme,Anßhelmus,Anselmus,Anshelmus,Anßelmus,Anselmus,Ancelmus |
| SYG | 0 | 0 | |a Anselm,Canterbury, Erzbischof, Heiliger,1033-1109,Selbstgespräch,Anselm,Canterbury, Erzbischof, Heiliger,1033-1109,Kann Gottes Nicht-Sein gedacht werden?,Anselm,Canterbury, Erzbischof, Heiliger,1033-1109,Anrede |