A criticism of Gaunilon's example, in which he tries to show that in this way the real existence of a lost island might be inferred from the fact of its being conceived.
BUT, you say, it is as if one should suppose an island in the ocean, which surpasses all lands in its fertility, and which, because of the difficulty, or the impossibility, of discovering what does not exist, is called a lost island; and should say that there can no doubt that this island truly exists in reality, for this reason, that one who hears it described easily understands what he hears.
Now I promise confidently that if any man shall devise anything existing either in reality or in concept alone (except that than which a greater be conceived) to which he can adapt the sequence of my reasoning, I will discover that thing, and will give him his lost island, not to be lost again.
But it now appears that this being than which a greater is inconceivable cannot be conceived not to
Hence, if any one says that he conceives this being not to exist, I say that at the time when he conceives of this either he conceives of a being than which a greater is inconceivable, or he does not conceive at all. If he does not conceive, he does not conceive of the nonexistence of that of which he does not conceive. But if he does conceive, he certainly conceives of a being which cannot be even conceived not to exist. For if it could be conceived not to exist, it could be conceived to have a beginning and an end. But this is impossible.
He, then, who conceives of this being conceives of a being which cannot be even conceived not to exist; but he who conceives of this being does not conceive that it does not exist; else he conceives what is inconceivable. The nonexistence, then, of that than which a greater cannot be conceived is inconceivable.