Mechanized Analysis of Anselm's Modal Ontological Argument
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914825686220800 |
|---|---|
| author | Rushby, John |
| author_facet | Rushby, John |
| contents | 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 philosophy and, in addition, shows how these methods can help detect and rectify errors in modal reasoning.
This is a minor update with better typesetting and some small addenda to a paper published in the International Journal for Philosophy of Religion, vol. 89, pp. 135--152, April 2021. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2205_08628 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Mechanized Analysis of Anselm's Modal Ontological Argument Rushby, John Logic in Computer Science 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 philosophy and, in addition, shows how these methods can help detect and rectify errors in modal reasoning. This is a minor update with better typesetting and some small addenda to a paper published in the International Journal for Philosophy of Religion, vol. 89, pp. 135--152, April 2021. |
| title | Mechanized Analysis of Anselm's Modal Ontological Argument |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2205.08628 |