This will be the first in a series of posts reflecting on the contribution to Western though by Saint Anselm of Canterbury; this post will focus on the Ontological Argument.
What is the Ontological argument in its original form?
Therefore, Lord, who grant understanding to faith, grant me that, in so far as you know it beneficial, I understand that you are as we believe and you are that which we believe. Now we believe that you are something than which nothing greater can be imagined.
Then is there no such nature, since the fool has said in his heart: God is not? But certainly this same fool, when he hears this very thing that I am saying – something than which nothing greater can be imagined – understands what he hears; and what he understands is in his understanding, even if he does not understand that it is. For it is one thing for a thing to be in the understanding and another to understand that a thing is.
For when a painter imagines beforehand what he is going to make, he has in his undertanding what he has not yet made but he does not yet understand that it is. But when he has already painted it, he both has in his understanding what he has already painted and understands that it is.
Therefore even the fool is bound to agree that there is at least in the understanding something than which nothing greater can be imagined, because when he hears this he understands it, and whatever is understood is in the understanding.
And certainly that than which a greater cannot be imagined cannot be in the understanding alone. For if it is at least in the understanding alone, it can be imagined to be in reality too, which is greater. Therefore if that than which a greater cannot be imagined is in the understanding alone, that very thing than which a greater cannot be imagined is something than which a greater can be imagined. But certainly this cannot be. There exists, therefore, beyond doubt something than which a greater cannot be imagined, both in the understanding and in reality. (Proslogium, Saint Anselm)
The basic ideal at the heart of Anselm’s argument is this: if something exists in thought, then it must exist in reality. We can conceive of God; therefore He exists. A being that is totally perfect would have complete existence in every reality including our own; since we can conceive of such a being, it therefore exists in every possible world and as such exists in our actual world.
The obvious weakness here is a simple one: does that mean anything that one can conceive of is out there, existing, somewhere? Anselm would say no, that his argument applies only to such beings as no greater can be conceived; therefore thinking of such things as cars, islands or whatnot aren’t simply wrong, they misunderstand the argument. All these examples do not need absolute perfection to exist; God, however, by definition, does and therefore this argument applies and works only when used for God.
How, then, does the argument hold up? Critics from Thomas Aquinas (who argued that only God could know God’s essence completely, therefore only God could use the ontological argument to prove it to Himself)) to David Hume’s objection:
[T]here is an evident absurdity in pretending to demonstrate a matter of fact, or to prove it by any argumentsa priori. Nothing is demonstrable, unless the contrary implies a contradiction. Nothing, that is distinctly conceivable, implies a contradiction. Whatever we conceive as existent, we can also conceive as non-existent. There is no being, therefore, whose non-existence implies a contradiction. Consequently there is no being, whose existence is demonstrable.
…to Kant (who objected to being being a predicate to existence) have all rejected it in it’s original form; however, other modes of the argument that are much tight and more valid continue to provoke thought and criticism to this day.
The next posts will deal specifically with various criticisms of the argument as well as newer versions.
Various other forms of the argument include Alvin Plantingas Modal argument: http://en.wikipedia.org/wiki/Alvin_Plantinga#Modal_ontological_argument
And variousother revisionists: http://en.wikipedia.org/wiki/Ontological_argument#Revisionists