An outline of the Anselmian theory of God

The article presents a formalization of Anselm's so-called Ontological Arguments from Proslogion . The main idea of our research is to stay to the original text as close as is possible. We show, against some common opinions, that (i) the logic necessary for the formalization must be neither a purely sentential modal calculus, nor just non-modal first-order logic, but a modal first-order theory; (ii) such logic cannot contain logical axiom ⌜ A → ⋄ A ⌝; (iii) none of Anselm's reasonings requires the assumptions that God is a consistent object or that existence of God is possible (in symbols "⋄Eg"); (iv) no such thing as the so-called Anselm's Principle (in symbols "□(Eg → □Eg)") is involved in any of the proofs; (v) Anselm's claims (that God exists in reality and that God necessarily exists in reality) can be obtained independently, hence there is no need for presenting them in an opposite order than Anselm did. Moreover we show a single line of reasoning underlying the whole Proslogion and allowing Anselm to deduce many theorems concerning God's nature. Last but not least we study the possibility of proving the uniqueness of God within the outlined theory.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,756
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Mercy and Justice in St. Anselm's Proslogion.Gregory B. Sadler - 2006 - American Catholic Philosophical Quarterly 80 (1):41-61.
Anselm on Truth.Thomas Williams & Sandra Visser - 2005 - In Brian Leftow & Brian Davies (eds.), The Cambridge Companion to Anselm. Cambridge University Press. pp. 204-221.
Anselm's Neglected Argument.Brian Leftow - 2002 - Philosophy 77 (3):331-347.
Anselm on Freedom and the Will.Jasper Hopkins - 1983 - Philosophy Research Archives 9:471-493.
The Modal Unity of Anselm's Proslogion.Gary Mar - 1996 - Faith and Philosophy 13 (1):50-67.

Monthly downloads

Added to index


Total downloads

58 ( #91,564 of 2,177,988 )

Recent downloads (6 months)

4 ( #73,516 of 2,177,988 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums