St. Anselm had written a work called the Monologion. In it, “Anselm offers a treatise on the existence and essence of God making no appeal to the authority of Scripture” (Davies 158). Not perfectly satisfied with it (it was, as Anselm described it, “made up of a connected chain of many arguments”), he decided to write the Proslogion, for he wondered:
if perhaps it might be possible to find one single argument that for its proof required no other save itself, and that by itself would suffice to prove that God really exists, that He is the supreme good needing no other and is He whom all things have need of for their being and well being, and also to prove whatever we believe about the Divine Being. (158)
As for what God meant for St. Anselm, he took a view similar to that of Seneca and
There do seem to be translation issues, though. The phrase St. Anselm uses is Si enim vel in solo intellectu est potest cogitari esse et in re quod maius est. That can be translated as either “For if it is only in the mind it can be thought in reality as well, which is greater” or “For if it is only in the mind, what is greater can be thought to be in reality”. Both translations imply different arguments. For the former translation, his argument would be as follows:
1. God is something than which nothing greater can be thought.
2. God exists in the mind since even the Fool [a person mentioned in the Psalms] can think of (have in mind) something than which nothing greater can be thought.
3. But God cannot just be in the mind since it is greater to be in reality than it is to be only in the mind and since God is something than which nothing greater can be thought.
For the latter translation, the argument would be:
1. God is something than which nothing greater can be thought.
2. God exists in the mind since even the Fool can think of (have in mind) something than which nothing greater can be thought.
3. But we can think of something which is greater than something existing only in the mind.
4. So something than which nothing greater can be thought cannot exist only in the mind.
Unfortunately, St. Anselm does not make it clear for translators what argument is exactly his. As Davies writes, “he simply draws to a close with an emphatic reiteration of the claim that something existing only in the mind cannot be that than which nothing greater can be thought.” And that entails, for St. Anselm, that that than which a greater cannot be thought exists in the mind alone, this same that than which a greater cannot be thought is that than which a greater can be thought. But this is obviously impossible. Therefore there is absolutely no doubt that something than which a greater cannot be thought exists both in the mind and in reality.
Either way, the argument sounds quite reasonable but the end result is of so high a magnitude that criticism is essential in understanding the veracity of what St. Anselm is saying. Many great thinkers have criticized St. Anselm’s ontological proof, ranging from Gaunilo to St. Thomas Aquinas to Immanuel Kant to Bertrand Russell and others. Yet multiple thinkers, such as Descartes and Spinoza, seem to have been influenced by what St. Anselm believed. Allen Wood of
Major Premise
Whatever we clearly understand to pertain to the nature of anything can with truth be affirmed of that thing.
Minor Premise
But it pertains to the nature of God that he exists.
Conclusion
Therefore, it can with truth be affirmed of God that he exists. (Kitcher 269)
So who is right after all, the critics or the adherents? In trying to solve this, the main traditional criticisms (Gaunilo,
The aforementioned Gaunilo was a monk that wrote his criticism at a time in which St. Anselm could answer him back, and he certainly did. Gaunilo had two principal criticisms of St. Anselm’s argument. The first criticism is as follows:
I can so little think of or entertain in my mind this being (that which is greater than all those others that are able to be thought of, and which it is said [i.e. by Anselm] can be none other than God Himself) in terms of an object known to me either by species or genus, as I can think of God Himself….For neither do I know the reality itself, nor can I form an idea from some other things like it since, as you [i.e. Anselm] say yourself, it is such that nothing could be like it (163).
It means to say people cannot have God in the understanding because He is so incomprehensible.
His second point attacks the wild conclusions St. Anselm’s proof might entail. He postulates a nonexistent utopian island called “
You often reiterate that I say that that which is greater than everything exists in the mind, and that if is in the mind, it exists also in reality. However, nowhere in all that I have said will you find such an argument. For “that which is greater than everything” and “that than which a greater cannot be thought” are not equivalent for the purpose of proving the existence of the thing spoken of (165).
Davies supplements the passage by mentioning a point on which St. Anselm is correct, namely that someone “can believe that X is the greatest existing thing without needing to describe it as “that than which a greater cannot be thought.” And that which is, in fact, greatest could be very imperfect indeed.” The
But as pertains to the first criticism, maybe Gaunilo is right in a few things (such as God not belonging to any species or genus). However, St. Anselm may argue, as Brian Davies writes, like this:
1. God is something than which nothing greater can be thought.
2. If we can think of something greater than X, then X is not God.
3. We can think of something greater than anything which exists only in intellectu.
4. So something existing only in intellectu cannot be God.
5. So God does not only exist in intellectu.
And he might add:
6. God is something than which nothing greater can be thought.
7. We can think of something which can fail to exist.
8. Something which can fail to exist is less great than something which cannot fail to exist.
9. So something which can fail to exist cannot be God.
10. So God is not something which can fail to exist. (167)
So it certainly seems as if Gaunilo did not rebut St. Anselm that greatly.
St. Thomas Aquinas was another opponent of the Ontological Argument. He believed that St. Anselm’s definition did not apply to everyone:
Perhaps not everyone who hears this word "God" understands it to signify something than which nothing greater can be thought, seeing that some have believed God to be a body. Yet, granted that everyone understands that by this word "God" is signified something than which nothing greater can be thought, nevertheless, it does not therefore follow that he understands that what the word signifies exists actually, but only that it exists mentally. Nor can it be argued that it actually exists, unless it be admitted that there actually exists something than which nothing greater can be thought; and this precisely is not admitted by those who hold that God does not exist. (Aquinas 11)
Despite different concepts of God for different people, as Kenneth Einar Himma of
The problem with this criticism is that the ontological argument can be restated without defining God. To see this, simply delete premise 1 and replace each instance of "God" with "A being than which none greater can be conceived." The conclusion, then, will be that a being than which none greater can be conceived exists - and it is, of course, quite natural to name this being God (http://www.iep.utm.edu/o/ont-arg.htm#SH2c)
Himma believes that St. Thomas’s second criticism may be flawed. This is when St. Thomas says in the passage quoted above that “granted that everyone understands that by this word "God" is signified something than which nothing greater can be thought, nevertheless, it does not therefore follow that he understands that what the word signifies exists actually, but only that it exists mentally.” Himma writes about its lack of promise in terms of disproving St. Anselm:
"One natural interpretation of this somewhat ambiguous passage is that Aquinas is rejecting premise 2 of Anselm's argument on the ground that, while we can rehearse the words "a being than which none greater can be imagined" in our minds, we have no idea of what this sequence of words really means. On this view, God is unlike any other reality known to us; while we can easily understand concepts of finite things, the concept of an infinitely great being dwarfs finite human understanding. We can, of course, try to associate the phrase "a being than which none greater can be imagined" with more familiar finite concepts, but these finite concepts are so far from being an adequate description of God, that it is fair to say they don't help us to get a detailed idea of God.
Nevertheless, the success of the argument doesn't depend on our having a complete understanding of the concept of a being than which none greater can be conceived. Consider, for example, that, while we don't have a complete understanding (whatever this means) of the concept of a natural number than which none larger can be imagined, we understand it well enough to see that there does not exist such a number. No more complete understanding of the concept of a maximally great being than this is required, on Anselm's view, to successfully make the argument. If the concept is coherent, then even a minimal understanding of the concept is sufficient to make the argument."
Therefore, it may seem to some as if St. Thomas himself might not be able to get rid of St. Anselm’s Ontological Argument.
However, it all may have come to a dead end by the time Immanuel Kant managed to offer a solution. Maybe existence is not a perfection, not a sign of being greater than something else. As Patricia Kitcher of
Kant’s critique of the ontological argument is often summarized in a slogan—“existence is not a predicate.” To say that a house “exists” seems very different from saying that it is, for example, “messy.” “Messiness” is a property of some houses at some house, but not of all houses at all times; by contrast all real houses—and cabbages and kings—must exist. Alternatively, only an existing thing can have any properties at all, so existence cannot be considered on a par with “other” properties, and “exists” is not a proper predicate. (Kitcher xvii)
Is that an accurate way to get rid of an ontological argument’s validity? Allen Wood begs to differ. For him, Kant’s only argument is the following (from the Critique of Pure Reason):
No matter which and how many predicates I think in a thing (and even if I think it as completely determined), I still do not add the least bit to it when I posit that this thing is. For otherwise it would not be just the same thing I thought in my concept which exists, and I could not say that it is precisely the object of my concept which exists. If I think in a thing every reality but one, the missing reality is not added when I say that this defective thing exists. On the contrary, it exists encumbered with precisely the same defect I thought in it, since otherwise what exists would be something other than what I thought. (275)
Wood responds to it:
Kant’s argument may, I think, be fairly paraphrased as follows: Let us give the name “almost perfect being” to any entity which has every perfection but one. And let us suppose that we have before us the concept of such a being, only we do not know which reality is the missing one in the case of that particular almost perfect being. Now Kant’s contention is that we are led into absurdities if we assume that “existence” is the reality we are seeking. For suppose it is. In that case, if the almost perfect being we are thinking of existed, it would have the missing reality, and therefore would not be almost perfect, but wholly perfect. But this contradicts the assumption that we are thinking of an almost perfect being, and hence is absurd. Existence, therefore, cannot be the reailty we are looking for. But no restrictions whatever were placed on the reality missing from our almost perfect being. Consequently, if existence cannot be the missing reality, this can only be because existence is not a reality at all. And this is what Kant desired to prove.
…I find it astonishing that this argument has stood up for so long, and that so many philosophers who are otherwise clearheaded and critical have found it convincing. We can see at once that it cannot be correct if we run through it again, this time supposing “omnipotence” (or any other undisputed real predicate) to be the reality missing from our almost perfect being. In that case too we would have to admit that if the almost perfect being were omnipotent, it would have the missing reality, and hence be wholly perfect, contrary to our original supposition. Thus if Kant’s argument succeeded in showing that existence is not a real predicate, it would also succeed in showing that nothing could be one.” (275)
So maybe Kant could not entirely disprove the Ontological Argument. But, then again, “Kant does succeed in setting forth a view about existence and predication which, if it is correct, dies rid us once and for all of the concept of logically necessary existence, and with it the ontological argument” (276). The view is widely accepted, it seems, but there does not seem to be enough of a reason to justify his beliefs. However, if any view puts the ontological argument in trouble it is this one.
Final note on the ontological argument: For the sake of brevity and time, I cannot outline more arguments against the ontological argument or the modern modal version of the argument presented by Alvin Plantinga. But we can still conclude that the ontological argument has never been universally convincing in possibly the same way its diverse “dismantlings” have never been fully convincing. It is one of those offerings history has offered mankind to chew upon for centuries on end.
**Proper citations should hopefully be available soon!**