Arguments for the Existence of God

In brief

Natural theology is the attempt to establish that God exists using reason and observation alone, setting aside scripture, revelation, and faith. Three families of argument have dominated the effort for a thousand years. The cosmological argument reasons from the existence of the world to a first cause that started or sustains it. The ontological argument reasons from the mere concept of God to the necessity of God's existence, no observation required. The teleological or design argument reasons from the order and apparent purpose in nature to an intelligent designer. Each has been stated by first-rate minds, and each has met a famous objection that its defenders have spent centuries trying to answer.

The full treatment

The problem they answer

Belief in God can rest on faith, tradition, or religious experience. Natural theology sets those aside and asks a harder question: can the existence of God be shown to any rational person, believer or not, from premises they already accept? If it can, then theism is not merely a private conviction but a conclusion available to reason. The three arguments are three routes to that conclusion, each starting from something uncontroversial: that anything exists at all, that we can form the concept of a perfect being, or that the world is strikingly ordered.

The cosmological argument

This is the argument from the existence of the world back to its cause. Thomas Aquinas (1225 to 1274), in the Summa Theologiae, gave three versions among his Five Ways: everything in motion is moved by something else, so there must be an unmoved mover; every effect has a cause, so there must be a first cause; and contingent things that need not have existed require a necessary being to ground them. Nothing, Aquinas held, can cause itself, and an infinite regress of causes explains nothing, so the chain must terminate in something that requires no further cause, and this all men call God.

A distinct version, the Kalam argument, was developed by medieval Islamic theologians, notably al-Ghazali (1058 to 1111), and revived in the twentieth century by William Lane Craig in The Kalam Cosmological Argument (1979). Its structure is tight: whatever begins to exist has a cause; the universe began to exist; therefore the universe has a cause. Craig defends the second premise with both philosophical arguments against an actual infinite past and appeal to Big Bang cosmology. A related and more rationalist form comes from Gottfried Leibniz (1646 to 1716), who invoked the principle of sufficient reason: everything must have an explanation, and the explanation of the whole contingent universe must lie in a necessary being.

The ontological argument

This is the strangest and most purely logical of the three. Anselm of Canterbury (1033 to 1109), in the Proslogion (c. 1078), defined God as "that than which nothing greater can be conceived." Now, he argued, a being that exists in reality is greater than one that exists only in the mind. So if the greatest conceivable being existed only in the mind, we could conceive of something greater, namely the same being existing in reality, which is a contradiction. Therefore the greatest conceivable being must exist in reality. The argument needs no telescope and no experiment: it claims to derive God's existence from the concept of God alone. Rene Descartes (1596 to 1650) offered his own version in the Fifth Meditation, and Leibniz tried to repair it by first proving that the concept of a perfect being is coherent.

The teleological or design argument

This is the argument from order. The world is not chaos: eyes are built for seeing, ecosystems interlock, the laws of physics are precise. William Paley (1743 to 1805), in Natural Theology (1802), gave the famous image. If you found a watch on a heath, its intricate parts arranged to keep time, you would infer a watchmaker, not chance. The eye, Paley argued, is more finely contrived than any watch, so it too demands a designer. A modern descendant is the fine-tuning argument: the physical constants of the universe fall within the narrow range that permits life, and this precision, its defenders say, is better explained by design than by luck.

Lineage

The deepest root is Aristotle (384 to 322 BCE), whose unmoved mover, a first cause of all motion that is itself unmoved, supplied the frame for every later cosmological argument. Aquinas fused Aristotle with Christian theology and set the medieval standard. The ontological argument is Anselm's alone, an original stroke with no clear precedent, later taken up by Descartes and Leibniz and, in the twentieth century, rebuilt in modal logic by Alvin Plantinga in The Nature of Necessity (1974) and even formalized by the logician Kurt Godel. The design argument runs from the ancient Stoics through Aquinas to Paley, where it reached its most confident form just before the ground shifted beneath it.

The strongest case for it

The arguments are not naive, and their best versions survive first contact. The cosmological argument rests on a genuine puzzle that no one has dissolved: why is there something rather than nothing? To say the universe is simply a brute fact, needing no explanation, is not to answer the question but to refuse it. The ontological argument, however suspect, has resisted final refutation for nearly a thousand years, and its modal form, if you grant that a necessary being is even possible, appears to yield that such a being is actual. The design argument tracks a real and rational inference we make everywhere else: we routinely detect intelligence behind ordered structures, and the fine-tuning of physical constants is a real feature of the universe that demands some explanation, whether design, necessity, or a multiverse. Each argument fastens onto a fact that the atheist, too, must account for.

The strongest case against it

Each argument has met a critic of the first rank.

Against the ontological argument, the monk Gaunilo of Marmoutiers, Anselm's contemporary, replied with the "Lost Island" parody: by Anselm's logic, the greatest conceivable island must exist, since an existing island is greater than an imagined one, which is absurd. The deeper objection is Immanuel Kant's (1724 to 1804), in the Critique of Pure Reason (1781): existence is not a predicate. To say a thing exists adds nothing to the concept of the thing; it merely asserts that the concept is instantiated. A hundred real coins contain no more in their concept than a hundred imagined ones. So you cannot build existence into a definition and then read it back out. Bertrand Russell later reinforced this with the logic of quantification.

Against the design argument, David Hume (1711 to 1776), in the Dialogues Concerning Natural Religion (1779), landed the decisive blows before Paley even wrote. The analogy between the world and a machine is weak; the world resembles a growing organism at least as much as a made artifact. Even if the argument works, it proves little: a finite, imperfect, perhaps committee-designed god, not the infinite God of theism. And then Charles Darwin, in On the Origin of Species (1859), supplied the alternative Hume lacked. Natural selection produces the appearance of design without a designer, cutting the ground from under Paley's eye.

Against the cosmological argument, Hume and Kant again press hard. Why must the causal chain have a first member rather than regressing infinitely? And even if it does, why call the terminus God rather than simply the universe itself? Russell put it bluntly in his 1948 BBC debate with Frederick Copleston: the universe is just there, and that is all. The principle of sufficient reason, on which Leibniz relied, is itself an assumption a critic can decline.

And across all three arguments stands the problem of evil: even a successful proof of a designer or first cause must still square that being with the suffering and waste in the world it made.

Where it stands now

No argument has won, and none has been buried. Darwin gutted the biological design argument, but the fine-tuning version remains live in philosophy of religion and cosmology, contested against the multiverse hypothesis. The Kalam argument found new life through William Lane Craig and remains the most actively debated cosmological proof. Plantinga's modal ontological argument keeps that strange proof breathing in technical journals, though few think it convinces anyone not already persuaded. J. L. Mackie's The Miracle of Theism (1982) and Richard Swinburne's The Existence of God (1979) mark the modern battle lines, one weighing the arguments and finding them wanting, the other treating them as cumulative evidence that tips the balance toward theism. The consensus, if there is one, is that no single argument is a proof, and the real question is whether they add up.

Test yourself

Pick the argument you found most persuasive, then state its strongest objection in your own words, as fairly as its defender would want it stated. If you cannot, you have not yet understood why the debate has lasted a thousand years. If you can, ask whether the objection destroys the argument or merely wounds it.