Most arguments for God’s existence work by examining the world and inferring a cause. The ontological argument does something more unusual. It argues from the concept of God to the existence of God: from what God would have to be, to the conclusion that such a being must exist.
The argument has been reformulated many times since Anselm of Canterbury first stated it in the eleventh century. Its contemporary form, developed in modal logic, is philosophically rigorous in ways that earlier versions were not. The argument is also contested, which is itself a mark of philosophical seriousness. Trivially false arguments are not debated for nine centuries.
The basic intuition
Start with the concept of God as classically understood: the greatest possible being, unlimited in power, knowledge, and goodness, the ground of all existence. The folk-religious God made in various human images is a different concept that the ontological argument is not concerned with.
Now consider: could such a being merely contingently exist? Could the greatest possible being be the kind of thing that might happen not to exist, that exists in this universe but not in all possible configurations of reality?
The answer seems to be no. A being that could fail to exist would be limited by that very contingency. A being that necessarily exists, one whose non-existence is impossible, is greater than one whose existence is merely contingent. Therefore, if God is the greatest possible being, God exists necessarily, or not at all. There is no version of God that merely happens to exist.
The Quranic articulation of necessary existence
The Quranic concept of God includes precisely the metaphysical features the ontological argument identifies as necessary. The shortest of all chapters of the Quran, addressing the question of what God is, states it as a four-line declaration:
The four lines correspond to four different metaphysical claims. Aḥad (One) asserts uncompounded unity, the rejection of any internal division that would make God dependent on parts. Al-Ṣamad (the Eternal, Self-Sufficient) asserts the absence of dependence on anything outside Himself. The negations of being begotten or begetting reject the idea of God’s existence as caused or causing other instances of the same kind. The absence of any equal asserts uniqueness in metaphysical category. Together, the four lines describe a being whose existence is non-contingent: not derived, not divisible, not paralleled, not dependent. The Islamic tradition uses the term wājib al-wujūd (necessary in existence) for this notion, formally developed by philosophers such as Ibn Sīnā in the eleventh century, contemporary with Anselm.
The modal form
In its contemporary modal logic formulation, the argument runs as follows. It is possible that a maximally great being exists, a being that is all-knowing, all-powerful, and all-good in every possible world. If it is possible that such a being exists, then there is a possible world in which it exists. A being that is maximally great exists in every possible world by definition; its greatness cannot be bounded by the limits of any particular world. Therefore, if such a being exists in any possible world, it exists in all possible worlds. Since the actual world is a possible world, the being exists actually.
The key premise is the first: it is possible that a maximally great being exists. The premise seems intuitively defensible. The concept of a maximally great being is not internally contradictory the way the concept of a married bachelor or a square circle is. If it is genuinely possible (not merely imaginable, but metaphysically coherent) then the conclusion follows from the logic.
The objection
The standard objection is to deny that possibility. One can construct a parallel argument: it is possible that a maximally great being does not exist; therefore it necessarily does not exist. The parallel cuts both ways. The parallel shows that we need independent reason to think the concept is coherent, rather than simply asserting it.
The asymmetry that the theist appeals to is this: the concept of a maximally great being is a coherent concept, while “the necessary non-existence of anything” is arguably not a coherent concept at all. Something can coherently be necessary. The necessity of there being nothing is harder to make sense of. If nothing is necessary, then it is necessary that everything (including any candidate necessary being) fails to exist, which is a very strong claim that seems to require explanation rather than assuming it as a starting point.
The Quranic principle of unicity
The Quran also rules out a specific objection that a careful reader of the modal argument might raise. Could there be more than one maximally great being? Could the necessary existence the argument establishes be plural? The Quranic argument addresses this directly:
The verse advances what philosophers of religion call the argument from unity. Two maximally great beings would have to differ from each other in some respect (otherwise they would be one being); the difference would limit each, since each would lack what the other has, contradicting maximal greatness in both. The reductio establishes that the necessary being must be one. The conclusion of the modal argument and the Quranic articulation converge: the maximally great being exists necessarily, and exists necessarily as one.
The escape routes
The escape routes from the ontological argument are fewer than they appear, and each one carries significant costs. You cannot simply say the argument feels wrong; that is a psychological report rather than a philosophical response. To actually refute it, you need to show one of three things: that the concept of a maximally great being is internally incoherent, or that necessary existence is not a genuine form of greatness, or that existence is never a property that admits of degrees. Each is a substantial metaphysical claim. The person who dismisses the ontological argument as wordplay has, almost invariably, not worked through what those escape routes actually require. They have not refuted the argument. They have declined to engage it, which is a different thing entirely.
Why this matters alongside the other arguments
The ontological argument is strongest as part of the broader case rather than as a standalone proof. If the cosmological argument establishes that there must be an uncaused first cause, and the fine-tuning argument establishes that this cause appears to operate with intention, and the consciousness argument establishes that this cause is likely mental rather than merely physical, then the ontological argument adds a further point: the being that fits all these descriptions is the kind of being whose existence is, if possible at all, necessary. Such a being is not contingent. If it is there, it is there in the deepest possible sense.
These considerations reach beyond generic theism. They point toward a Creator who grounds order, intelligibility, and obligation in one source. The Quranic articulation of God’s necessary, indivisible, self-subsisting unity is the same conclusion the modal argument reaches. Once that much is granted, the question is no longer whether revelation matters, but which vision of God best matches the world those arguments disclose.