Critiques of Theistic Arguments — I can explain major critiques of these arguments and how they challenge the inference.

For as long as philosophers have constructed arguments for the existence of God, other thinkers have subjected those arguments to rigorous scrutiny. The tradition of natural theology—reasoning about God through philosophy and observation rather than revelation—stretches back to ancient Greece, where Plato and Aristotle offered early arguments from design and from the necessity of a prime mover. Yet these arguments were never uncontested. Even within the medieval scholastic tradition, thinkers recognized that the logical bridge from observable phenomena to a transcendent being required careful justification. The Enlightenment brought a decisive turning point: empiricist and rationalist philosophers mounted systematic challenges that remain influential today. Understanding these critiques is essential not merely for historical completeness but because they illuminate the logical structure of inference itself—what counts as a valid move from premise to conclusion when the subject matter is ultimate reality.

The central question these critiques address is deceptively simple: Do the classical theistic arguments actually establish what they claim to establish? Each critique targets a specific inferential step—a hidden assumption, an unjustified leap, or a conceptual confusion—that, if the critic is correct, prevents the argument from reaching its conclusion. Grasping these objections requires close attention to the structure of each original argument, because the critique is only as powerful as its diagnosis of where the reasoning goes wrong.

Before examining individual objections, it is important to understand the general strategies that critics employ. A philosophical critique of an argument can target its premises, its logical form, or the conceptual coherence of its key terms. In the philosophy of religion, critics have deployed all three strategies, often in combination. The following principles represent the most influential modes of attack on theistic arguments and recur across multiple critiques from different historical periods.

The following diagram provides an overview of the three classical theistic arguments and the major critiques that target each one. Each argument is shown with its core inferential move and the specific objections that challenge that move. Notice that some critiques, such as the gap problem, apply across multiple arguments, while others are tailored to a single argument's distinctive structure.

Several features of this map deserve attention. First, the dashed lines from each argument to its critiques indicate that these objections do not merely deny the conclusion; rather, they target the specific inferential move each argument relies upon. The ontological argument's move from concept to existence is challenged by Kant's thesis about predication. The cosmological argument's move from contingency to a necessary being is challenged by Hume's skepticism about causal necessity and by the possibility that brute facts require no explanation. The teleological argument's move from observed order to a designer is challenged by alternative explanatory mechanisms. Second, the problem of evil, shown at the bottom, functions differently from argument-specific critiques: it does not merely block an inference but provides positive evidence against the conclusion that all three arguments attempt to reach.

To understand why each critique is effective, we need to examine the logical skeleton of each theistic argument and identify precisely where the critic claims the reasoning falters. This section presents the core inferential structure of each argument and then shows how the critique disrupts it. Rather than mathematical formulas, we can formalize these arguments using standard logical notation to make the structure transparent.

The Ontological Argument and Kant's Objection

Kant's point can be illustrated concretely. Consider the concept of one hundred real dollars versus one hundred imaginary dollars. Kant argues that the concept is identical in both cases—the same denomination, the same quantity—and that the word 'real' does not add a new property to the dollars but rather asserts that they exist. If this is correct, then P2 of the ontological argument rests on a category mistake: it treats existence as though it were a perfection like knowledge or power, when in fact it belongs to a different logical category entirely.

The Cosmological Argument and Hume's Objection

The Teleological Argument and the Problem of Analogy

Having surveyed the logical structure of the major critiques, we now examine each in greater depth, attending to the nuances that distinguish weaker from stronger versions of these objections. The diagram below provides a decision-tree view of how a critic might evaluate a given theistic argument step by step.

Critiques of the Ontological Argument in Detail

Gaunilo's objection, often called the perfect island parody, attempts to show that Anselm's reasoning proves too much. If the argument form is valid, Gaunilo suggests, we could use it to prove the existence of the greatest conceivable island, the greatest conceivable pizza, or any other greatest conceivable thing—a result that is clearly absurd. This is a reductio ad absurdum: if the argument's logical form leads to absurd conclusions when applied to other subjects, then either the form is invalid or there is something special about the concept of God that makes the form valid only in this one case. Defenders of the ontological argument (including Anselm himself) have responded that God, as a necessary being, belongs to a different category from contingent objects like islands. Whether this response succeeds depends on whether one accepts the distinction between necessary and contingent existence at the outset—a move that critics charge is precisely the question at issue.

Critiques of the Cosmological Argument in Detail

The fallacy of composition objection deserves careful attention. The cosmological argument reasons from the fact that every individual thing in the universe has a cause to the conclusion that the universe as a whole must have a cause. But this inference is fallacious: from the fact that every brick in a wall weighs one kilogram, it does not follow that the wall weighs one kilogram. Similarly, from the fact that every part of the universe is contingent, it does not follow that the universe as a whole is contingent. Russell pressed this point against Copleston in their famous 1948 BBC debate, insisting that the universe might simply be a brute fact—something that exists without an explanation. Defenders reply that the principle of sufficient reason demands an explanation for any existing thing, but critics note that this principle is itself the very claim at issue, making the argument circular.

Critiques of the Teleological Argument in Detail

Hume raised multiple objections to the design argument in the Dialogues. First, the weak analogy objection: the universe is not sufficiently like a machine for us to infer, by analogy, that it was produced by an intelligent designer. We have observed many machines being made by human hands, but we have no experience of universes being made. Second, even if we grant the analogy, the conclusion most naturally supported is that the designer is an imperfect, finite being—perhaps a committee of designers—rather than the omnipotent, omniscient God of classical theism. This is a version of the gap problem. Third, the Epicurean hypothesis suggests that given enough time and matter, order could arise by chance through random combination and recombination of particles—a proto-evolutionary idea that anticipates Darwinian natural selection. Darwin's theory provides a specific, empirically confirmed mechanism by which apparent design in biological organisms can be explained without reference to any designer.

William Paley's famous watchmaker argument (1802) provides an excellent case study for applying the critical tools developed above. Paley argued that just as finding a watch on a heath leads one to infer a watchmaker, observing the intricate design of the human eye leads one to infer a divine designer. Let us systematically evaluate this argument using the critiques we have studied.

It is important to recognize that the critiques of theistic arguments are themselves subject to evaluation. Some are widely regarded as decisive; others are contested. The following table summarizes the major critiques, their targets, their strengths, and the most significant replies that theists have offered.

The critiques of theistic arguments do not exist in a philosophical vacuum. They connect to broader questions in epistemology, philosophy of science, and metaphysics. Understanding these connections enriches your grasp of both the philosophy of religion and the wider discipline.

One particularly important development is the application of Bayesian epistemology to the philosophy of religion. Rather than asking whether a theistic argument is deductively valid, Bayesian thinkers ask whether the evidence cited by the argument (order, contingency, religious experience) raises the probability of God's existence above some threshold. This framework allows for a more nuanced assessment: an argument might provide some evidential support for theism without being conclusive, and the problem of evil might function as counter-evidence that lowers that probability. The cumulative force of both arguments and counter-arguments, rather than any single proof or refutation, determines the rational verdict. Alvin Plantinga's reformed epistemology takes a different route entirely, arguing that belief in God can be 'properly basic'—rationally held without being inferred from any argument at all. If Plantinga is right, then the failure of all theistic arguments would not entail the irrationality of theism, a provocative claim that reshapes the significance of the critiques we have examined.