Skip to main content

An Outline of the Anselmian Theory of God

Buy Article:

$20.00 plus tax (Refund Policy)


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.

Document Type: Research Article

Publication date: November 1, 2006


Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more