ONTOLOGICAL ARGUMENT
— 631—
say that one can conceive of a being greater than
a maximally great being. Hence, absurdity results
from the supposition that God does not exist.
A common response focuses on an assumption
behind the key premise, namely that something can
be greater than another thing simply by virtue of
existence. What is one to make of this thesis? It ap-
pears to be false for the simple reason that a com-
parison of greatness requires (at least) two existing
things to compare. But the proponent of the argu-
ment might reply that one can compare things
without assuming their existence—for example, the
strength of Achilles and Hector. It is therefore im-
portant how this is done. Perhaps it simply involves
a comparison of the relevant concepts. Then the
key premise means, “If nothing in existence corre-
sponded to one’s concept of God, one could gen-
erate a superior concept by representing God as
existing.” But this seems false; one’s initial concept,
which failed to correspond to anything, might well
have been the concept of God-as-existing.
More plausibly, to compare the greatness of
two things without assuming that they exist is to
ask which of them would be greater if both were to
exist. But if to compare the greatness of two things
they must both be thought of as existing, existence
itself cannot be considered a respect in which they
differ in greatness. Thus, as Immanuel Kant argued,
existence is not a “perfection”; it is not a property
that can contribute to something’s greatness.
There are at least two ways to avoid this ob-
jection: (1) one could claim that some objects of
thought possess a mode of being distinct from ex-
istence; or (2) one could alter the argument to
build on the claim that necessary existence (rather
than mere existence) is a perfection.
According to the first approach, there are such
things as, for example, unicorns; they just do not
exist. They are abstract objects of thought that lack
spatiotemporal location and causal powers. Thus,
one could really consider the “greater than” rela-
tion to involve two entities even if one or both of
those entities do not exist. And one can treat exis-
tence as a property that enhances the greatness of
something after all.
Another general objection to the ontological
argument, however, causes problems for this ap-
proach. Could one not use reasoning similar to
Anselm’s in order to establish the existence of all
kinds of things? Consider the idea of an island
greater than any other island that can be con-
ceived. Since such an island can be the object of
one’s thoughts, it must (on this view) be an ab-
stract entity, even if it lacks existence. If it does
lack existence, however, one could think of a
greater island, namely an island that also exists. So
a maximally great island must exist. But (unfortu-
nately) the greatest conceivable island does not
exist, so the argument form cannot be sound. This
parody was conceived by the monk Gaunilo, a
contemporary of Anselm’s.
Replying to Gaunilo’s parody, Anselm insisted
that the argument form can only establish the exis-
tence of that which is greatest or most perfect sim-
pliciter, and not the most perfect island or blue-
bird. The argument form, he suggests, will only
work if the concept one begins with is that of a
being that could not have failed to exist. But all is-
lands and other material objects are the sorts of
things that could be destroyed. A rejoinder might
alter the parody to involve the idea of a spiritual
entity with almost every perfection (e.g., a godlike
being lacking only a certain amount of knowledge
but nevertheless a necessary being).
Inspired by passages in Anselm that suggest a
different kind of ontological argument, some pro-
ponents avoid the above dispute by focusing on
God’s necessary existence rather than on God’s ex-
istence. This is the approach of Charles Hartshorne,
Norman Malcolm, and Alvin Plantinga. For any-
thing to count as God, they argue, it would have to
be absolutely perfect. But anything that exists and
yet might not have existed is thereby deficient in
some way. So if God exists, God exists necessarily;
it could never be that God just happens to exist.
Now, one can think of a necessary being as some-
thing that exists according to all the ways the world
might have been, or “possible worlds.” So either
God exists in every possible world or in none. But
this means that, so long as it is possible that God
exists, God actually exists; after all, the way things
actually are is one of the ways things can be. Thus,
the argument forces a dilemma between the neces-
sity of God’s existence and its impossibility.
The key question, then, is whether the exis-
tence of God (conceived of as a necessary being)
is even possible. Certain philosophers have held
that possibility is something conceptual, and that
unless the concept of God is somehow incoherent,
the existence of God is possible. Thus Charles