Ontological Argument

The ontological argument is the most distinctive and philosophically controversial of the classical theistic arguments. Unlike cosmological arguments, which reason from features of the world to a transcendent cause, and design arguments, which reason from observed order to a designer, the ontological argument reasons a priori from the concept of God to the existence of God. If the argument succeeds, the existence of God can be established by reflection on what God is, without any premise drawn from experience or empirical observation. This unique structural feature has made the ontological argument an object of intense philosophical fascination and an equally intense source of controversy for nearly a millennium.

The argument was first articulated by Anselm of Canterbury in the Proslogion (1078), where Anselm defined God as id quo nihil maius cogitari possit — "that than which nothing greater can be conceived" — and argued that such a being must exist not only in the understanding but also in reality, since a being existing only in the understanding could be exceeded in greatness by one existing also in reality. Anselm's monastic contemporary Gaunilo of Marmoutiers immediately objected with his famous "perfect island" counter-example, arguing that the same logical structure would prove the existence of any conceivable perfect thing. Anselm replied that the argument applies uniquely to the maximally perfect being, not to contingent particulars. The dispute set the template for ontological argumentation in subsequent centuries.

René Descartes revived and transformed the argument in the Meditations on First Philosophy (1641), grounding it in his account of clear and distinct ideas: the idea of a supremely perfect being includes existence among its perfections, just as the idea of a triangle includes having three angles summing to two right angles. Gottfried Wilhelm Leibniz refined the Cartesian version by adding a critical preliminary step — demonstrating that the concept of a maximally perfect being is logically consistent, since otherwise the existence inference cannot proceed. The argument received its most famous critical attack from Immanuel Kant in the Critique of Pure Reason, who argued that existence is not a real predicate that can be included in a concept the way "perfect" or "omnipotent" can; predicates describe what a thing would be if it existed, but do not by themselves establish that it does exist. Kant's critique was widely thought to have demolished the argument permanently.

The argument was nevertheless revived in the twentieth century by Charles Hartshorne, Norman Malcolm, and most influentially by Alvin Plantinga, whose modal ontological argument uses possible worlds semantics to argue that if a maximally great being possibly exists, then such a being necessarily exists. Plantinga himself acknowledges that his argument does not aim to convince a determined skeptic but to show that belief in God can be rational. Kurt Gödel produced a formalized version using higher-order modal logic, published posthumously, which has been the subject of extensive technical analysis by logicians including Christopher Hartshorne and contemporary computer-assisted proof verifiers. Critics including Graham Oppy, J. L. Mackie, and Peter van Inwagen have pressed multiple objections: that modal premises are too strong, that the argument generates parallel ontological arguments for incompatible perfect beings, that Kant's critique still bites against modal versions in revised form.

The family contains six principal formulations sharing the a priori structure but differing significantly in their underlying metaphysics. The Anselmian original operates in the framework of medieval realism about universals. The Cartesian version turns on the doctrine of clear and distinct ideas. The Leibnizian version emphasizes the prior demonstration of consistency. The Modal Ontological argument operates in possible worlds semantics. Plantinga's version is a specific application of modal logic to maximal greatness. Gödel's proof formalizes the inference using higher-order modal axioms. Each formulation has its own characteristic strengths and faces its own characteristic objections.

Within the framework of god-database, the ontological argument belongs to the philosophical maslik (Maslik 1), drawing entirely on conceptual reasoning rather than empirical observation. Among contemporary arguments for theism, it occupies a curious position: nearly universally controversial, often considered fallacious in its classical forms, yet repeatedly revived by serious philosophers who find the inference structure illuminating even when not finally convincing. Its presence in the cumulative case is contested even among defenders of natural theology — some, like Plantinga, defend it as showing the rationality of belief; others, like Feser, prefer to focus on cosmological arguments they find more probative.