On the face of it, Avicenna’s proof of the existence of a necessary being,
and Anselm’s ‘ontological’ argument for the existence of God, are very
diVerent from each other. But from a philosophical point of view they have
a common structure: that is to say, they operate by straddling between the
world we live in and some other kind of world. Avicenna argues from a
consideration of possible worlds and argues that God must exist in the
actual world; Anselm starts from a consideration of imaginary worlds and
argues that God must exist in the real world. Both of them assume that an
entity can be identiWed as one and the same entity whether or not it
actually exists: they believe in what has been called, centuries later, trans-
world identity. Both of them, therefore, violate the principle that there is
no individuation without actualization.
The ontological argument is thus stated by Anselm:
We believe that thou art something than which nothing greater can be conceived.
Suppose there is no such nature, according to what the fool says in his heart There
is no God (Ps. 14. 1). But at any rate this very fool, when he hears what I am saying—
something than which nothing greater can be conceived—understands what he
hears. What he understands is in his understanding, even if he does not under-
stand that it exists. For, it is one thing for an object to be in the understanding, and
another to understand that that object exists . . . Even the fool, then, is bound to
agree that there exists, if only in the understanding, something than which
nothing greater can be conceived; because he hears this and understands it, and
whatever is understood is in the understanding. But for sure, that than which
nothing greater can be conceived cannot exist in the understanding alone. For
suppose it exists in the understanding alone: then it can be thought to exist in
reality, which is greater. Therefore, if that than which nothing greater can be
conceived exists in the understanding alone, that very thing than which nothing
greater can be conceived is a thing than which something greater can be con-
ceived. But this is impossible. Therefore it is beyond doubt that there exists, both in
the understanding and in reality, a being than which nothing greater can be
conceived. (Proslogion,c.2)
In presen ting this argument Anselm says that he prefers it to the argu-
ments he put forward earlier in his Monologion because it is much more
immediate. His earlier argument—to the eVect that beings dependent on
other beings must depend ultimately on a single independent being—bore
a certain resemblance to Avicenna’s argument from contingency and
necessity. But the argument of the Proslogion marks an advance on Avicen-
na’s natural theology. Whereas Avicenna said that God’s essence entailed his
GOD
292