PHILOSOPHY • PHILOSOPHY OF RELIGION

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

How skeptical objections expose logical gaps in classical proofs for God's existence.

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.

c. 1078
Anselm's Ontological Argument
Anselm of Canterbury formulates the ontological argument in the Proslogion, prompting Gaunilo's immediate counter-objection using the 'perfect island' analogy.
1739–1779
Hume's Empiricist Critique
David Hume challenges the design argument in the Dialogues Concerning Natural Religion and undermines causal reasoning about first causes in the Treatise.
1781
Kant's Critical Philosophy
Immanuel Kant argues in the Critique of Pure Reason that existence is not a real predicate, dismantling the ontological argument and claiming the cosmological argument covertly depends on it.
1859
Darwin's Natural Selection
The publication of On the Origin of Species provides a non-teleological explanation for biological complexity, undermining a key premise of the teleological argument.
1967–present
Contemporary Debates
Mackie's The Miracle of Theism, Plantinga's modal ontological argument, and responses from Oppy and Sobel refine both sides of the debate using modern logic.

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.

1

The Gap Problem

Even if an argument establishes a first cause or designer, critics argue it fails to bridge the inferential gap between that conclusion and the God of classical theism—omnipotent, omniscient, and omnibenevolent.
2

Question-Begging

Several critiques charge that theistic arguments smuggle the conclusion into the premises. For example, the ontological argument is accused of assuming that a maximally great being is coherently conceivable, which already presupposes that such a being can exist.
3

Alternative Explanations

Critics challenge the inference to the best explanation by proposing rival hypotheses—natural selection for design, brute fact for contingency, or a multiverse for fine-tuning—that explain the same data without invoking God.
4

Category Mistakes

Kant's critique that existence is not a predicate exemplifies this strategy: the argument misuses a concept by treating existence as a property that can be added to a definition, when in fact it functions differently from genuine predicates.
5

The Problem of Evil as Counter-Evidence

Rather than merely undermining theistic proofs, the problem of evil functions as positive counter-evidence: if God is all-good and all-powerful, the existence of gratuitous suffering appears to constitute evidence against this very being.
KEY TAKEAWAY
Think of a theistic argument like a chain of links connecting observed facts to the conclusion that God exists. A critique works by identifying the weakest link—the step where the logical connection is most tenuous—and demonstrating that the chain breaks there. Just as an engineer stress-tests a bridge by applying force to each joint, a philosopher stress-tests an argument by pressing on each inferential step. The argument fails not because every link is weak, but because one broken link is sufficient to sever the connection between premises and conclusion.

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.

This diagram maps the three classical theistic arguments—ontological, cosmological, and teleological—to their respective critiques, with the problem of evil shown as a cross-cutting objection that applies to any argument concluding with an omni-God.

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

ONTOLOGICAL ARGUMENT (SIMPLIFIED)
P1: God is defined as the greatest conceivable being. P2: A being that exists in reality is greater than one that exists only in the mind. C: Therefore, God must exist in reality.
The crucial move is P2, which treats existence as a perfection—a property that makes a being greater. Kant's objection denies that existence functions as a predicate: saying 'God exists' does not add a property to the concept of God but rather asserts that the concept is instantiated.

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

COSMOLOGICAL ARGUMENT (SIMPLIFIED)
P1: Everything that exists has a cause (or explanation). P2: The universe exists. P3: An infinite regress of causes is impossible. C: Therefore, there must be a first, uncaused cause (God).
Hume challenges P1 by arguing that causal necessity is not logically demonstrable; our expectation of causes is a habit of the mind, not a truth of reason. He also challenges the move from P1 to C by noting the fallacy of composition: even if every part of the universe has a cause, it does not follow that the universe as a whole has one.

The Teleological Argument and the Problem of Analogy

TELEOLOGICAL ARGUMENT (SIMPLIFIED)
P1: The natural world exhibits order, complexity, and apparent purpose. P2: Such features, when observed in human artifacts, are always the product of intelligent design. P3: The natural world is analogous to a human artifact. C: Therefore, the natural world is probably the product of intelligent design.
Hume targets P3: the analogy between the universe and a watch or machine is weak because we have experience of many watches being made but no experience of universes being made. Furthermore, Darwin provided an alternative mechanism (natural selection) that explains biological complexity without invoking a designer.
🔍 Logical Note
A critique need not prove God does not exist. It need only show that a particular argument fails to establish that God exists. The conclusion may still be true; the argument simply does not warrant belief in it. This distinction between refuting a conclusion and refuting an argument for that conclusion is essential to understanding what critiques of theistic arguments accomplish.

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.

This flowchart traces the critical evaluation of a theistic argument through four checkpoints: premise truth, logical validity, conclusion identification, and counter-evidence. A failure at any checkpoint is sufficient to block the inference.

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.

Critically Evaluating Paley's Watchmaker Argument
1
Step 1 — Reconstruct the ArgumentPaley's argument can be reconstructed as follows: (P1) A watch exhibits complex, purposeful arrangement of parts. (P2) We infer from such arrangement that the watch was designed by an intelligent agent. (P3) The natural world (e.g., the human eye) exhibits complex, purposeful arrangement of parts. (P4) The natural world is relevantly similar to a watch. (C) Therefore, we should infer that the natural world was designed by an intelligent agent (God).
This is an argument from analogy: its strength depends on the strength of the analogy in P4.
2
Step 2 — Apply the Weak Analogy Critique (Hume)Is the analogy in P4 strong? For an analogy to be strong, the two things compared must share the relevant properties that ground the inference. With watches, we have extensive background knowledge: we know watches are made by humans, we can observe the manufacturing process, and we can compare watches to other human artifacts. With the universe, we have none of this background knowledge. We have never observed a universe being designed. The analogy breaks down precisely where it matters most.
P4 is unsupported: the analogy between artifacts and natural objects is too weak to bear the inferential weight Paley places on it.
3
Step 3 — Apply the Alternative Explanation Critique (Darwin)Even granting that the eye exhibits complex, purposeful arrangement, Paley's argument assumes that intelligent design is the only possible explanation. Darwin's theory of natural selection provides an alternative: organisms with traits that enhance survival and reproduction pass those traits to offspring, leading to the gradual accumulation of complexity without any guiding intelligence. This does not prove that no designer exists, but it undermines the claim that design is the best or only explanation.
The inference to design is not warranted when a well-confirmed naturalistic mechanism explains the same data.
4
Step 4 — Apply the Gap ProblemSuppose we set aside both the weak analogy and the Darwinian alternative. Even then, Paley's argument at best establishes the existence of a designer—some intelligent agent responsible for natural complexity. It does not establish that this designer is omnipotent, omniscient, perfectly good, or singular. The natural world contains imperfections (vestigial organs, poorly 'designed' anatomy) that, if anything, suggest a limited or imperfect designer. Paley's conclusion falls short of the God of classical theism.
Even at its strongest, the argument does not bridge the gap between 'a designer' and 'the God of classical theism.'
5
Step 5 — Render a VerdictPaley's watchmaker argument fails at multiple checkpoints in our critical evaluation flowchart. The analogy is weak, alternative explanations are available and well-confirmed, and the conclusion overshoots the evidence. Each critique independently weakens the argument; taken together, they constitute a formidable cumulative case against the inference from apparent design to the existence of God.
Verdict: The watchmaker argument does not establish its theistic conclusion.

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.

Major critiques, their targets, and the ongoing dialectic between critics and defenders
CritiqueTarget ArgumentStrengthTheistic Reply
Kant: Existence ≠ predicateOntologicalWidely 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 parodyOntologicalEffective reductio showing the argument form is too permissiveGod, unlike islands, is a necessary being; maximal greatness applies only to beings, not contingent objects
Hume: Causal skepticismCosmologicalShows that causal necessity is not logically demonstrable; opens the door to brute factThe principle of sufficient reason is self-evident or rationally inescapable (Leibniz, Craig)
Fallacy of compositionCosmologicalLogically precise: properties of parts do not always transfer to wholesSome properties do transfer (e.g., all parts being contingent makes the whole contingent); context matters
Weak analogy (Hume)TeleologicalExposes the asymmetry between artifact-experience and universe-experienceFine-tuning arguments (cosmic constants) update the analogy with physics-based evidence
Darwinian alternativeTeleologicalProvides empirically confirmed mechanism for apparent biological designDoes not explain cosmic fine-tuning or the origin of natural laws; theists shift to cosmological design
KEY TAKEAWAY
The dialectic between theistic arguments and their critiques resembles an arms race in engineering: each time a vulnerability is exposed, defenders redesign the argument to address it, and critics then test the new version for fresh weaknesses. Plantinga's modal ontological argument emerged precisely to avoid Kant's predicate objection; fine-tuning arguments arose after Darwin undermined biological design arguments. Understanding this evolving dialectic is essential to appreciating the current state of the philosophy of religion, where neither side has achieved a definitive victory.

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.

How classical critiques connect to contemporary philosophical debates
Classical CritiqueAdvanced ExtensionKey Thinker(s)
Kant: Existence ≠ predicateFree logic and quantified modal logic formalize existence claims; Plantinga's modal ontological argument uses S5 modal axiomsPlantinga, Oppy, van Inwagen
Hume: Causal skepticismExtends to debates over the Principle of Sufficient Reason (PSR) and whether brute contingency is metaphysically possibleLeibniz, Della Rocca, Pruss
Darwin: Alternative mechanismFine-tuning arguments and the multiverse hypothesis; Bayesian probability applied to design inferenceSwinburne, Collins, White
Problem of evilEvidential vs. logical formulations; skeptical theism; theodicy construction as a research programRowe, Plantinga, Wykstra, Draper
Gap problemPerfect being theology attempts to derive omni-properties from the concept of maximal greatness; critics question coherenceMorris, 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

PROBLEM 1CONCEPTUAL
Explain the difference between refuting an argument for a conclusion and refuting the conclusion itself. Why is this distinction important when evaluating critiques of theistic arguments?
PROBLEM 2BASIC APPLICATION
State Kant's critique that 'existence is not a real predicate' and explain how it undermines the ontological argument. Use an example to illustrate the point.
PROBLEM 3INTERMEDIATE
The cosmological argument claims that an infinite regress of causes is impossible and therefore a first cause must exist. Identify two distinct critiques of this reasoning and explain how each challenges a different aspect of the argument.
PROBLEM 4APPLIED
A contemporary proponent of the teleological argument shifts from biological design (Paley's version) to cosmic fine-tuning: the fundamental constants of physics are precisely calibrated to permit life, which suggests an intelligent designer. How might a critic respond to this updated version of the argument? Identify at least two objections.
PROBLEM 5CRITICAL THINKING
Plantinga argues that belief in God can be 'properly basic'—rationally held without being based on any argument. If this view is correct, what implications does it have for the significance of critiques of theistic arguments? Does it render those critiques irrelevant? Construct a carefully reasoned response.

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.

Varsity Tutors • Philosophy • Critiques of Theistic Arguments