The 11th-century logic trick that tried to prove God by definition
In 1078, Saint Anselm proposed that God is 'that than which nothing greater can be conceived.' He argued that if God existed only in our minds, a greater entity could be imagined—one that also exists in reality. Therefore, to truly be the greatest conceivable being, God must exist in reality. Critics later noted that this logic tries to define things into existence without empirical evidence.
A Monk's Search for a Single Proof
In 1078, inside the Benedictine Abbey of Bec in Normandy, an Italian-born monk named Anselm set out to solve a long-standing intellectual problem. Anselm, who would later become the Archbishop of Canterbury, had already written a treatise attempting to establish the existence and nature of God through a series of interlocking arguments. Dissatisfied with the complexity of his earlier work, he sought a single, self-contained argument that required no outside evidence—one that could prove by pure reason alone that the divine must truly exist.
The result was recorded in his short work, the Proslogion. Anselm framed his reasoning around a specific, carefully chosen description: God is 'that than which nothing greater can be conceived.' This phrasing was not meant as a physical measurement or a conventional definition of power, but as a conceptual ceiling. By identifying God not simply as a great thing, but as the supreme limit of greatness beyond which no mind could imagine anything greater, Anselm believed he had found the foundation for an undeniable logical proof.
The Engine of Anselm's Logic
Anselm's deduction operates through a method known as reductio ad absurdum, which proves a claim by showing that its opposite leads to a contradiction. He began by addressing the figure from the biblical Psalms: the 'fool' who claims in his heart that there is no God. Anselm noted that even the skeptic understands the phrase 'that than which nothing greater can be conceived.' Therefore, this entity exists at the very least in the skeptic's understanding, just as a painting exists in the mind of an artist before it is painted on canvas.
From this premise, Anselm drew a distinction between existing merely in the understanding and existing in objective reality. He argued that existing in both reality and the mind is greater than existing in the mind alone. If 'that than which nothing greater can be conceived' existed only as an idea, one could easily imagine a greater entity: namely, the exact same being with the additional attribute of real existence. This would mean that the greatest conceivable being is not actually the greatest conceivable being, producing a direct logical contradiction. To avoid this contradiction, Anselm concluded, the entity must exist in reality.
The Island of Perfection and Early Pushback
The argument immediately provoked debate among Anselm's contemporaries. A fellow monk named Gaunilo of Marmoutiers wrote a reply titled 'On Behalf of the Fool.' Gaunilo argued that Anselm's logical mechanism was too powerful, because it could be used to prove the existence of absurd, purely imaginary things. To illustrate his point, Gaunilo asked the reader to imagine a lost island richer and more blessed with delights than any known land—the greatest conceivable island.
Applying Anselm's reasoning, if this perfect island existed only in thought, any real, mediocre island would be greater than it because the real one possessed physical existence. Therefore, to remain the greatest conceivable island, it would have to exist in reality. Because we know that imagining such an island does not guarantee its physical reality, Gaunilo argued that Anselm's entire method was invalid. Anselm replied by insisting that his logic applied exclusively to God: an island is a contingent, limited object that can easily be conceived not to exist, whereas God is the only concept whose non-existence is inherently inconceivable.
Descartes and the Rationalist Resurgence
Centuries later, during the seventeenth century, French philosopher René Descartes revived and adapted the ontological argument in his Meditations on First Philosophy. Descartes approached the problem through the lens of geometry. He argued that just as the essence of a triangle necessarily includes having three interior angles equal to two right angles, the concept of a supremely perfect being necessarily includes actual existence. In Descartes' formulation, denying existence to a supremely perfect being is as logically incoherent as imagining a mountain without an accompanying valley.
This rationalist framing prompted further scrutiny from Gottfried Wilhelm Leibniz. Leibniz accepted Descartes' general line of reasoning but identified a crucial missing step: one must first prove that the concept of a supremely perfect being is coherent and free from self-contradiction. If the perfection attributes conflict with one another, the definition collapses before the deduction can even begin. Leibniz argued that because all pure perfections are positive and unbounded, they are compatible, thereby attempting to patch the logical gap in Descartes' version.
Kant's Critique: Is Existence a Property?
The most influential critique of the ontological argument came in the eighteenth century from German philosopher Immanuel Kant in his Critique of Pure Reason. Kant targeted the fundamental premise shared by Anselm and Descartes: the idea that existence is a perfection or a descriptive property—known in philosophical terms as a 'predicate'—that can be added to an object to make it greater.
Kant illustrated this with his famous example of one hundred thalers (a currency of his time). A hundred real thalers contain no more individual coins, value, or internal properties than a hundred merely possible thalers; the descriptive content of the concept is completely identical. Real existence does not add a new quality to an idea; rather, it indicates that the concept itself corresponds to an actual state of affairs in the world. Kant argued that because existence is not a predicate, one cannot build existence into the definition of a thing and then declare it real by definition alone.
Modern Modal Logic and Continuing Debates
In the twentieth century, the ontological argument found new life through the development of modal logic, a branch of formal logic that deals with concepts of possibility and necessity. Philosophers such as Norman Malcolm, Charles Hartshorne, and later Alvin Plantinga reformulated Anselm's ideas by focusing not on greatness of size or attributes, but on the concept of necessary existence—existence that cannot fail to be in any possible circumstance.
Plantinga constructed a modal version based on 'possible worlds' semantics. He argued that if a maximally great being is even logically possible, then such a being must exist in at least one possible world. Because maximal greatness includes existing across all possible worlds, its existence in one world logically entails its existence in every possible world, including the actual world. While modern critics often contend that this approach merely relocates the debate to whether such a being is truly possible, the ontological argument remains one of the most rigorously analyzed puzzles in epistemology and philosophical logic.
Key takeaways
•Saint Anselm introduced the ontological argument in 1078, defining God as 'that than which nothing greater can be conceived' to deduce real existence from pure thought.
•Gaunilo's 'lost island' objection demonstrated early skepticism by showing that similar logic could mistakenly define imaginary perfect objects into physical reality.
•Immanuel Kant delivered the classic philosophical objection by showing that existence is not a property or 'predicate' that can be added to a concept to prove its reality.
•Modern philosophers like Alvin Plantinga and Kurt Gödel transformed the argument using formal modal logic, shifting the focus from subjective greatness to logical necessity across possible worlds.