Historical Context & Motivation
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.
Core Principles of Critique
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 Gap Problem
Question-Begging
Alternative Explanations
Category Mistakes
The Problem of Evil as Counter-Evidence
Visual Map of Arguments and Their Critiques
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.
How the Critiques Work: Logical Structure
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
A Closer Look at Each Critique
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.
Worked Example: Evaluating Paley's Watchmaker Argument
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.
Strengths and Limitations of the Critiques
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.
| Critique | Target Argument | Strength | Theistic Reply |
|---|---|---|---|
| Kant: Existence ≠ predicate | Ontological | Widely accepted in analytic philosophy; supported by modern logic (existence as a quantifier) | Plantinga's modal version reframes the argument using possible-worlds semantics, avoiding Kant's objection |
| Gaunilo: Perfect island parody | Ontological | Effective reductio showing the argument form is too permissive | God, unlike islands, is a necessary being; maximal greatness applies only to beings, not contingent objects |
| Hume: Causal skepticism | Cosmological | Shows that causal necessity is not logically demonstrable; opens the door to brute fact | The principle of sufficient reason is self-evident or rationally inescapable (Leibniz, Craig) |
| Fallacy of composition | Cosmological | Logically precise: properties of parts do not always transfer to wholes | Some properties do transfer (e.g., all parts being contingent makes the whole contingent); context matters |
| Weak analogy (Hume) | Teleological | Exposes the asymmetry between artifact-experience and universe-experience | Fine-tuning arguments (cosmic constants) update the analogy with physics-based evidence |
| Darwinian alternative | Teleological | Provides empirically confirmed mechanism for apparent biological design | Does not explain cosmic fine-tuning or the origin of natural laws; theists shift to cosmological design |
Connection to Contemporary Epistemology and Advanced Debates
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.
| Classical Critique | Advanced Extension | Key Thinker(s) |
|---|---|---|
| Kant: Existence ≠ predicate | Free logic and quantified modal logic formalize existence claims; Plantinga's modal ontological argument uses S5 modal axioms | Plantinga, Oppy, van Inwagen |
| Hume: Causal skepticism | Extends to debates over the Principle of Sufficient Reason (PSR) and whether brute contingency is metaphysically possible | Leibniz, Della Rocca, Pruss |
| Darwin: Alternative mechanism | Fine-tuning arguments and the multiverse hypothesis; Bayesian probability applied to design inference | Swinburne, Collins, White |
| Problem of evil | Evidential vs. logical formulations; skeptical theism; theodicy construction as a research program | Rowe, Plantinga, Wykstra, Draper |
| Gap problem | Perfect being theology attempts to derive omni-properties from the concept of maximal greatness; critics question coherence | Morris, Nagasawa, Sobel |
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.
Practice Problems
Lesson Summary
This lesson examined the major critiques of the three classical theistic arguments. The ontological argument is challenged by Kant's thesis that existence is not a predicate and by Gaunilo's perfect island parody. The cosmological argument faces objections from Hume's causal skepticism, the fallacy of composition, and the possibility of brute fact. The teleological argument is undermined by the weak analogy objection, Darwinian natural selection, and the Epicurean hypothesis. The problem of evil functions as cross-cutting counter-evidence against any argument concluding with an omni-God.
Crucially, these critiques employ distinct strategies—challenging premises, exposing logical fallacies, proposing alternative explanations, and identifying the gap problem—and a single successful critique at any checkpoint is sufficient to block the inference. However, theistic defenders continue to refine their arguments in response, creating an evolving dialectic that connects to advanced topics in modal logic, Bayesian epistemology, and reformed epistemology. Mastering these critiques equips you to evaluate not only theistic arguments but any complex philosophical inference.