The ontological argument is discussed in this article
The ontological argument stands as one of the most intriguing and controversial attempts to prove the existence of God through pure reason alone. Unlike cosmological or teleological arguments that rely on observations of the world, the ontological argument seeks to derive God’s existence from the very concept of a perfect being. Day to day, this article explores the argument’s origins, its most influential formulations, the main objections it has faced, and why it continues to spark debate in philosophy of religion today. By the end, readers will have a clear grasp of why the ontological argument remains a focal point for both defenders and critics of theistic belief.
What Is the Ontological Argument?
At its core, the ontological argument is an a priori proof: it attempts to show that God exists solely by analyzing the definition of God. The classic version, first articulated by St. Anselm of Canterbury in the 11th century, runs roughly as follows:
- God is defined as “that than which nothing greater can be conceived.”
- It is greater to exist in reality than merely as an idea in the mind.
- If God existed only in the mind, we could conceive of a greater being—one that also exists in reality.
- But that contradicts the definition of God as the greatest conceivable being.
- Because of this, God must exist in reality.
The argument hinges on the idea that existence is a predicate that can enhance the greatness of a concept. If existence adds to perfection, then a being that lacks existence cannot be maximally perfect. This means a maximally perfect being must possess existence Took long enough..
Historical Background
Anselm’s Original Formulation
Anselm presented his argument in the Proslogion (1077–1078) as a prayerful reflection rather than a formal logical proof. And he aimed to show that faith could be supported by reason, offering believers a rational basis for their trust in God. His contemporaries, such as Gaunilo of Marmoutiers, immediately challenged the move from concept to existence, famously parodying the argument with the idea of a “perfect island” that must therefore exist Simple as that..
Medieval and Early Modern Developments
Throughout the Middle Ages, thinkers like Thomas Aquinas rejected the ontological argument, arguing that existence cannot be deduced from essence alone. In the 17th century, René Descartes revived a version of the argument, treating existence as a perfection akin to other attributes like omnipotence or omniscience. Descartes claimed that the idea of a supremely perfect being necessarily includes existence, just as the idea of a triangle necessarily includes the property of having three angles summing to 180 degrees.
Contemporary Revivals
The 20th century saw a resurgence of interest, particularly through the work of philosophers such as Alvin Plantinga, who employed modal logic to reformulate the argument. Plantinga’s version relies on the notion of possible worlds: if it is possible that a maximally great being exists, then such a being exists in some possible world; if it exists in some possible world, it must exist in all possible worlds, including the actual one, because maximal greatness entails necessary existence.
Key Formulations
Below are the most influential versions of the ontological argument, each highlighting a different way of treating existence as a predicate.
Anselm’s Classical Version
- Premise: God = “that than which nothing greater can be conceived.”
- Inference: Existence in reality > existence merely as an idea.
- Conclusion: God exists in reality.
Descartes’ Perfection-Based Version
- Premise: Existence is a perfection.
- Premise: The idea of a supremely perfect being includes all perfections.
- Conclusion: The idea of a supremely perfect being includes existence; therefore, such a being exists.
Gödel’s Ontological Proof
Kurt Gödel, the famed logician, presented a formal ontological proof using modal logic axioms. His proof hinges on three axioms:
- Positive Properties: Any property that is positive (i.e., morally or aesthetically good) is consistent.
- Essence: A being’s essence consists of all its positive properties.
- Necessary Existence: If a thing has an essence, then it necessarily exists in all possible worlds.
From these axioms, Gödel deduces that a “God-like” entity—possessing all positive properties—must exist necessarily.
Plantinga’s Modal Version
- Premise 1: It is possible that a maximally great being exists.
- Premise 2: If it is possible that a maximally great being exists, then a maximally great being exists in some possible world.
- Premise 3: A maximally great being has maximal excellence in every possible world (omnipotence, omniscience, moral perfection) and necessary existence.
- Conclusion: So, a maximally great being exists in the actual world.
Common Objections and Responses
Despite its elegance, the ontological argument has attracted numerous criticisms. Below we outline the most prominent objections and the typical replies from its defenders It's one of those things that adds up..
The “Existence Is Not a Predicate” Objection
Objection: Immanuel Kant famously argued that existence is not a real predicate that adds to the concept of a thing; it merely posits the thing’s correspondence to reality. Saying “God exists” does not enrich the concept of God; it only asserts that there is an instance of that concept.
Response: Proponents counter that while existence may not be a predicate in the ordinary sense, in the context of a maximally great being, existence functions as a perfection that makes the being greater. Anselm’s move from concept to existence is thus not a mere linguistic trick but a substantive claim about what greatness entails The details matter here..
The Perfect Island Parody (Gaunilo’s Objection)
Objection: Gaunilo argued that if Anselm’s reasoning were valid, we could prove the existence of a perfect island, a perfect horse, or any other perfect thing by defining it as “that than which nothing greater can be conceived.” Since we know such things do not necessarily exist, the argument must be flawed.
Response: Defenders reply that the parody fails because the concept of a “perfect island” is incoherent or lacks the necessary maximal greatness that entails necessary existence. Only a being whose essence includes all perfections (including necessary existence) can support the inference
from concept to reality. Unlike contingent entities such as islands or horses, whose perfections are intrinsically limited and compatible with non-existence, a maximally great being is defined by properties—omniscience, omnipotence, moral perfection—that entail necessary existence as a logical consequence of its essence.
The Coherence of “Maximal Greatness”
Objection: Critics such as J. L. Mackie and Michael Martin argue that the very concept of a maximally great being may be internally incoherent. Here's one way to look at it: the paradoxes of omnipotence (can God create a stone too heavy to lift?) or the tension between omniscience and free will suggest that the set of "great-making" properties might be logically incompatible. If the concept is incoherent, then it is not possible that such a being exists, undermining Premise 1 of Plantinga’s argument.
Response: Defenders typically resolve these paradoxes by refining the definitions of the divine attributes. Omnipotence is understood not as the ability to do the logically impossible (e.g., create a square circle), but as the ability to bring about any logically possible state of affairs. Similarly, omniscience is often defined as knowing all true propositions, which does not necessitate determining future free actions (via Molinism or open theism) or is compatible with them (compatibilism). If these refinements succeed, the concept remains metaphysically possible, preserving the argument’s first premise Less friction, more output..
The “Possibility Premise” and Epistemic vs. Metaphysical Possibility
Objection: The most common contemporary critique targets Plantinga’s Premise 1: "It is possible that a maximally great being exists." Critics (including Plantinga himself) concede that the argument is valid but not "sound" in a persuasive sense, because the premise is equivalent to the conclusion. In S5 modal logic, ◊□P entails □P. Which means, asserting that a necessary being is possible is logically equivalent to asserting that it actually exists. The argument thus begs the question against the atheist, who denies the very possibility of such a being And that's really what it comes down to..
Response: Proponents argue that the argument was never intended to coerce belief from a neutral starting point, but to demonstrate the rational acceptability of theism. If the concept of a maximally great being is intuitively coherent—and many philosophers argue it is—then the atheist bears the burden of demonstrating a logical contradiction within the concept to block the possibility premise. The argument shifts the dialectical burden: it shows that if theism is logically possible, it is necessarily true.
Reverse Ontological Arguments and Parodies
Objection: Atheists have constructed "reverse" ontological arguments. For example: "It is possible that no maximally great being exists. If it is possible that no such being exists, then there is a possible world where maximal greatness is not instantiated. Since a maximally great being exists in all worlds if it exists in one, it follows that a maximally great being exists in no worlds, including the actual one." Similarly, parodies like the "Necessarily Existent Unicorn" or a "Maximally Great Devil" attempt to show the argument proves too much.
Response: The reverse argument suffers from the same symmetry problem: its premise ("It is possible that God does not exist") is question-begging in the opposite direction. The debate reduces to which premise is more plausible a priori. Regarding parodies, defenders maintain that "maximal greatness" is a unique, intrinsic maximum (like the concept of a greatest integer), whereas "maximal evil" or "a perfect unicorn" are either privative (evil as lack of good) or contingent concepts lacking the property of necessary existence. A unicorn, by definition, is a contingent biological entity; adding "necessary existence" to its definition creates a conceptual contradiction, unlike the concept of a necessary being simpliciter Easy to understand, harder to ignore..
Conclusion
The ontological argument, in its journey from Anselm’s Proslogion through Descartes, Leibniz, Gödel, and Plantinga, remains one of philosophy’s most resilient and provocative projects. It has not secured universal assent—few philosophical arguments do—but it has successfully resisted definitive refutation. Kant’s predicate objection forced a clarification of "existence" as a second-order property; Gaunilo’s island sharpened the distinction between contingent and necessary concepts; modern modal logic exposed the argument’s dependence on the S5 axiom and the epistemic status of the possibility premise.
Today, the argument functions less as a standalone "proof" designed to convert the skeptic and more as a rigorous demonstration of the internal coherence and modal robustness of classical theism. It establishes that the existence of God is not a contingent hypothesis like a scientific theory, but a claim that, if metaphysically possible, is metaphysically necessary. Whether one finds the premise of possibility compelling ultimately depends on one’s broader metaphysical intuitions about the nature of perfection, necessity, and the structure of reality. In this sense, the ontological argument endures not as a logical trick, but as a mirror reflecting the deepest commitments of our metaphysical worldview Surprisingly effective..
