Aquinas' Five Ways

Classical Thomism

Abstract

Thomas Aquinas holds that God's existence is not self-evident to us but "needs to be demonstrated by things that are more known to us... namely, by effects" (Aquinas, Summa I q.2 a.1); his scriptural warrant is Rom 1:20 (bib): "The invisible things of Him are clearly seen, being understood by the things that are made" (Aquinas, Summa I q.2 a.2). The Five Ways then argue from motion, efficient causality, contingency, gradation, and finality to a first cause. The distinctively Thomistic claims are (i) that the regress excluded is per se — an essentially ordered, concurrent series — not per accidens, a series of past causes; and (ii) that what the first cause must be is worked out in the questions that follow, culminating in the identity of essence and existence in God (I q.3 a.4), which is why the first cause cannot itself be one more caused thing.

Formal statement

The First Way, from motion: whatever is in motion is put in motion by another, since "motion is nothing else than the reduction of something from potentiality to actuality," and nothing is so reduced "except by something in a state of actuality"; the regress of movers cannot go to infinity because "subsequent movers move only inasmuch as they are put in motion by the first mover; as the staff moves only because it is put in motion by the hand" (Aquinas, Summa I q.2 a.3). The Second Way is formalized in "The argument" above. The Third Way argues from things "possible to be and not to be" to "some being having of itself its own necessity, and not receiving it from another" (Aquinas, Summa I q.2 a.3). The Fourth argues from degrees of perfection to "something which is to all beings the cause of their being, goodness, and every other perfection"; the Fifth from the goal-directedness of unintelligent things to an intelligent director, "as the arrow is shot to its mark by the archer" (Aquinas, Summa I q.2 a.3).

Key evidence / textual basis

Three textual points fix the interpretation. First, the regress ruled out is vertical, not horizontal: "Commentators generally agree that what Aquinas means to exclude is an infinite series of simultaneous causes, a 'vertical' series as opposed to an infinite 'horizontal' series of causes going back in time, which he does not think can be proved to be impossible" (SEP-Aquinas §2). This coheres with q.46: the world's non-eternity "cannot be proved by demonstration" (Aquinas, Summa I q.46 a.1) — indeed Aquinas warns against "presuming to demonstrate what is of faith" with "reasons that are not cogent, so as to give occasion to unbelievers to laugh" (Aquinas, Summa I q.46 a.2); per his On the Eternity of the World, "no demonstrative argument is possible either way" (SEP-Aquinas §3). This is precisely where Aquinas parts company with Abū Ḥāmid al-Ghazālī and, today, with William Lane Craig, whose kalām argument makes the finite past load-bearing (see The Kalam Cosmological Argument).

Second, the first cause is a sustaining cause: "Aquinas was interested not in a beginning cause but in a sustaining cause, for he believed that the universe could be eternal" (SEP-CosmoArg §3); "the first cause is not a first cause in time but a sustaining cause" (SEP-CosmoArg §2). The underlying conservation doctrine is explicit later in the Summa: "a thing's existence cannot remain after the cessation of the action of the agent causing the effect" (ST 1a 104.1c, quoted at SEP-Aquinas §3). Scripture speaks in the same register: Acts 17:28 (bib), "In him we live and move and have our being," and Heb 1:3 (bib), where the Son upholds all things — present-tense dependence, not merely past origination.

Third, the bridge from "first cause" to "God" runs through essence and existence: "that thing, whose existence differs from its essence, must have its existence caused by another. But this cannot be true of God; because we call God the first efficient cause" (Aquinas, Summa I q.3 a.4). Whatever merely has existence is caused; the first cause must be its existence — which is why the sed contra of the Five Ways article is Ex 3:14 (bib): "I am Who am" (Aquinas, Summa I q.2 a.3). This contingency reasoning descends from Ibn Sina, whose argument "was taken up by Thomas Aquinas (1225–74) in his Summa Theologica (I, q.2, a.3)" (SEP-CosmoArg §1).

Leading proponents

• Thomas Aquinas — architect of the Five Ways; after q.2 he derives, by natural reason, that the first cause is not a body, is entirely simple, perfect, infinite, unchangeable, eternal, and one (SEP-Aquinas §2).
• Edward Feser — the most prominent contemporary defender, restating the Ways (especially the "Aristotelian proof" from act and potency and the "existential proof" from essence/existence) in analytic idiom in Five Proofs of the Existence of God (2017). Corpus gap: Feser's primary texts are copyright-locked and not in raw/; his positions are characterized here only to the extent the SEP corpus supports them.
• John Duns Scotus deserves note as a medieval co-defender: even were the essentially ordered causes infinite, "the whole series of effects would be dependent upon some prior cause" (SEP-CosmoArg §4.1).

Strongest counter-arguments

First, the "gap problem," conceded in part by the SEP's own summary of Aquinas: "to demonstrate the existence of a prime mover falls well short of demonstrating the existence of a being worthy of being called God. For all we have seen so far, for instance, this first cause might itself be a body" (SEP-Aquinas §2). Even sympathetic readers grant that q.2 a.3 alone proves little; the theological payload rides on the later questions.

Second, David Hume's challenge to the necessary being the Third Way reaches: "why may not the material universe be the necessarily existent Being...? We dare not affirm that we know all the qualities of matter; and for aught we can determine, it may contain some qualities, which, were they known, would make its non-existence appear as great a contradiction as that twice two is five" (Hume, Dialogues Part 9).

Third, a logical worry about the Third Way: from "each thing can fail to exist" it does not follow that "possibly, everything fails to exist at once." William Rowe presses this against Clarke-style arguments — no horse necessarily wins the race, yet necessarily some horse wins (SEP-CosmoArg §4.2) — and the same worry is pressed against Aquinas' "if everything is possible not to be, then at one time there could have been nothing in existence" (Aquinas, Summa I q.2 a.3) in the discussions of Plantinga and Kenny that the Encyclopedia cites on this point (SEP-CosmoArg §4.2).

Responses

To the gap problem, the Thomist answers that q.2 a.3 was never meant to stand alone: the first cause cannot be a body or composite in any way, since whatever is composite requires a cause and the first cause's essence just is its existence (Aquinas, Summa I q.3 a.4; SEP-Aquinas §2). The same resource answers Hume's necessary-matter conjecture: matter is composite and mutable, and whatever has rather than is its existence is caused — so the necessary being reached cannot be the material universe. Whether that reply succeeds depends on the Aristotelian metaphysics it presupposes, which is where the modern debate actually lives. To the quantifier-shift charge, Haldane replies that "Aquinas's argument is fallacious only on a temporal reading, but Aquinas's argument employs an atemporal ordering of contingent beings" (SEP-CosmoArg §4.2).

Assessment

Assessment: Strong — the per se/per accidens distinction insulates the Five Ways from the objections that target temporal-regress arguments, and the essence/existence doctrine gives a principled (not ad hoc) answer to "what caused God?"; but the arguments are only as strong as the act/potency metaphysics beneath them, and the derivation of the divine attributes carries more of the load than q.2 a.3 itself.

Humean Empiricist Critique

Abstract

David Hume's Dialogues Concerning Natural Religion (1779) mounts the classic empiricist assault on a posteriori causal reasoning to God: causal inference rests on experienced constant conjunction, which fails for a unique effect like the world (Part 2); the demand for a cause beyond the material world either regresses forever or should halt at the material world itself (Part 4); no existence claim is demonstrable, "necessary existence" is meaningless, the material universe is as good a candidate necessary being as God, an eternal series needs no first author, and explaining the parts of a series explains the whole (Part 9). Though Hume's stated target in Part 9 is the Clarke-Leibniz a priori argument, several of these objections transfer directly to the Thomistic Ways — and one of them conspicuously does not.

Formal statement

1. All causal knowledge derives from experienced conjunction of species of objects: "When two species of objects have always been observed to be conjoined together, I can infer, by custom, the existence of one wherever I see the existence of the other" (Hume, Dialogues Part 2).
2. The universe is "single, individual, without parallel, or specific resemblance"; hence no experiential causal inference about it as a whole is licensed (Hume, Dialogues Part 2).
3. "Whatever we conceive as existent, we can also conceive as non-existent. There is no being, therefore, whose non-existence implies a contradiction. Consequently there is no being, whose existence is demonstrable" (Hume, Dialogues Part 9).
4. If explanatory regress is nonetheless demanded, it should stop early: "why not stop at the material world? How can we satisfy ourselves without going on in infinitum?" (Hume, Dialogues Part 4).
5. Given causes of each member of a series, no further cause of the whole is needed: "Did I show you the particular causes of each individual in a collection of twenty particles of matter, I should think it very unreasonable, should you afterwards ask me, what was the cause of the whole twenty" (Hume, Dialogues Part 9).
6. Therefore no cosmological argument — temporal or sustaining — establishes a first cause distinct from the world.

Key evidence / textual basis

Part 2 gives the epistemological backbone: "To ascertain this reasoning, it were requisite that we had experience of the origin of worlds; and it is not sufficient, surely, that we have seen ships and cities arise from human art and contrivance" (Hume, Dialogues Part 2). Part 4 supplies the regress-stopper: "It were better, therefore, never to look beyond the present material world. By supposing it to contain the principle of its order within itself, we really assert it to be God" (Hume, Dialogues Part 4). Part 9 attacks necessary existence — "The words, therefore, necessary existence, have no meaning" (Hume, Dialogues Part 9) — and adds the temporal-priority objection: "in tracing an eternal succession of objects, it seems absurd to inquire for a general cause or first author. How can any thing, that exists from eternity, have a cause, since that relation implies a priority in time, and a beginning of existence?" (Hume, Dialogues Part 9). The SEP's survey confirms this catalogue as Hume's three main objections: the incoherence of necessary existence (with the parity move to matter), the impossibility of causing a beginningless series, and the parts-explain-the-whole principle (SEP-NatTheo §3.1). Bertrand Russell's restatement — the universe is "just there, and that's all" — descends directly from this line (SEP-CosmoArg §4.2).

Leading proponents

• David Hume — Dialogues Concerning Natural Religion (1779), Parts 2, 4, 9; Enquiry Concerning Human Understanding (1748), whose conceivability principle underwrites the Part 9 argument (SEP-CosmoArg §4.4).
• Bertrand Russell and the "Hume-Edwards principle" tradition carry the parts-explain-whole objection into the contemporary literature (SEP-CosmoArg §4.3).

Strongest counter-arguments

Against the temporal-priority objection (Part 9's "priority in time"), the Thomist has a clean answer: it simply does not touch a per se series. "It seems quite possible to conceive of a non-temporal causal relation, and thus to conceive of God, from outside of time, causing a series of contingent beings that has always existed... we can coherently conceive of a relation of simultaneous causation" (SEP-NatTheo §3.1). Hume's objection presupposes exactly the horizontal reading of the regress that Aquinas disavows (SEP-Aquinas §2).

Against the conceivability principle, critics urge that it confuses epistemic with ontological possibility: "someone who fails to understand a necessarily true proposition might conceive of it being false, but from this it does not follow that it possibly is false... Hume, it seems, confuses epistemic with ontological conditions" (SEP-CosmoArg §4.4).

Against the parts-explain-whole principle, Rowe objects: "it is one thing for there to be an explanation of the existence of each dependent being and quite another thing for there to be an explanation of why there are dependent beings at all" (SEP-CosmoArg §4.3). Pruss sharpens the point with the chicken/egg regress: an infinite alternation of chickens and eggs explains neither chickens nor eggs (SEP-CosmoArg §4.3).

Responses

The Humean has replies. To the simultaneous-causation rejoinder: granting non-temporal causation as conceivable concedes nothing about whether any such relation is instantiated, and the Part 2 point stands — we have no experience of world-sustaining causes to ground the inference (Hume, Dialogues Part 2). To the conceivability critique: the burden lies with whoever asserts that some being's non-existence is impossible, and Hume's parity argument bites — any "unknown, inconceivable qualities" invoked to make God's non-existence impossible may, for all we know, "belong to matter" (Hume, Dialogues Part 9). To Rowe: Mackie's heir-line answers that "we have no right to assume that the universe complies with our intellectual preferences for causal order. We can simply work with brute facts" (SEP-CosmoArg §4.4). The exchange remains genuinely live.

Assessment

Assessment: Live — Hume's Part 9 temporal-priority objection misfires against the per se reading of the Five Ways, but his Part 2 challenge to singular causal inference, the Part 4 regress-stopper, and the necessary-matter parity argument survive as serious constraints that every Thomistic reconstruction must answer rather than dismiss.

Existential Inertia / Naturalist Objection

Abstract

The strongest contemporary naturalist reply to the Five Ways, associated above all with Graham Oppy, concedes that explanation must stop somewhere and asks why it should stop at God rather than at the natural world's most fundamental state. Oppy is listed by the SEP among those who "reason that no current version of the cosmological argument is sound or provides probabilistic evidence" (SEP-CosmoArg §1). Two theses do the work: (i) naturalism is theoretically simpler than theism at equal explanatory power, so the naturalist terminus is preferable; (ii) the thesis known in the current literature as existential inertia — that existing things persist without any concurrent sustaining cause, absent something that destroys them — denies exactly the conservation premise ("a thing's existence cannot remain after the cessation of the action of the agent," ST 1a 104.1c, quoted at SEP-Aquinas §3) that the Five Ways' per se regress requires. Corpus-gap note: as with the Oppy view in The Kalam Cosmological Argument, the primary texts here — Oppy's Arguing About Gods (2006), his "Ultimate Naturalistic Causal Explanation" (2013), Feser's Five Proofs (2017), and the published Feser–Oppy exchanges on existential inertia — are copyright-locked and absent from raw/. This view is compiled from the SEP's reports of Oppy's arguments; the existential-inertia thesis itself is stated here on the article-writer's knowledge of the literature, {{UNSOURCED: Oppy's and Schmid's existential-inertia papers, or Feser's Five Proofs ch. 6 discussion of it, needed in raw/ to ground the thesis in a citable text}}.

Formal statement

1. Theism and naturalism should be compared as total explanatory theories of the same data (SEP-CosmoArg §8).
2. "Whereas both naturalism and theism equally fit the data and have the same scope, naturalism is simpler," for theism is "committed to two kinds of entities (the natural and the supernatural), two kinds of external relations..., two kinds of causation..., whereas naturalism is committed to only one kind in each of these categories" (Oppy 2013: 52, quoted at SEP-CosmoArg §8).
3. Whatever explanatory bedrock the theist assigns to God (necessity, aseity, terminating the regress), the naturalist may assign to the fundamental natural state; positing a further supernatural terminus adds ontology without adding explanation.
4. Persisting things do not require a concurrent sustaining cause (existential inertia); so there is no per se regress of "causes of continued existence" for the Five Ways to terminate. {{UNSOURCED: primary statement of the existential-inertia premise; see corpus-gap note above}}
5. Therefore the Five Ways fail to show that there is a first uncaused cause distinct from the natural world.

Key evidence / textual basis

Oppy's brute-fact strategy is documented in the SEP's account of his exchange with Gale and Pruss: supposing the Big Conjunctive Contingent Fact of some world has no explanation, even the weak Principle of Sufficient Reason generates contradiction, so the naturalist should refuse the weak PSR; and to the complaint that non-theists initially find it plausible, "Oppy, however, maintains that appealing to some initial instincts of acceptance is irrelevant... There is a modus tollens reason to reject it, since there are other grounds for thinking that theism is false" (SEP-CosmoArg §6). His resistance to stage-two attribute derivation is likewise on record: reviewing Koons's seven corollaries meant "to establish that the First Cause has at least some of the attributes which are traditionally attributed to God," Oppy "expresses significant skepticism about Koons's arguments and the possibility of such a deductive move to determine its properties" (SEP-CosmoArg §4.1); the SEP's own framing concedes that "the mere concept of a necessary being is 'quite thin'" (SEP-CosmoArg §9). Oppy also notes that "universe" may mean what is spatio-temporally connected to us or the totality of contingent beings, and contingency arguments trade on the slide between them (SEP-CosmoArg §4.2).

Leading proponents

• Graham Oppy — Arguing About Gods (2006, ch. 3); "Ultimate Naturalistic Causal Explanation" (2013); the systematic naturalist case that theistic arguments fail and naturalism wins on simplicity (SEP-CosmoArg §1; §8).
• J. L. Mackie — the bridging figure: the PSR has at best methodological, not ontological, standing, and "we can simply work with brute facts" (SEP-CosmoArg §4.4).

Strongest counter-arguments

Theists press three replies. First, against brute facts: "Claiming to be a brute fact should be a last resort. It would undercut the practice of science" (Pruss, quoted at SEP-CosmoArg §4.4); Koons argues the principle is "a subjectively required presumption needed for immunity to internal defeaters" (SEP-CosmoArg §4.4). Second, against taking the universe as the necessary terminus: O'Connor argues the universe cannot be the necessary being "since it is mereologically complex," nor can the elementary particles, since "their distinguishing distributions are externally caused and hence contingent" (SEP-CosmoArg §4.1) — the modern form of Aquinas' point that whatever is composite has its existence distinct from its essence and so is caused (Aquinas, Summa I q.3 a.4). Third, against the simplicity claim: simplicity "is not always a reliable criterion for determining which hypothesis is true" (SEP-CosmoArg §8), and the classical theist adds that a God whose essence is His existence is arguably the simplest possible terminus, not an extra layer of complexity.

Responses

The naturalist replies that the science-undercutting argument shows at most that the causal principle holds within the natural order — its justification being "methodological or practical and not ontological" (SEP-CosmoArg §4.4) — and extrapolating it to the world as a whole begs the question against naturalism, a descendant of Hume's Part 2 objection. To O'Connor's mereological argument, the naturalist can relocate necessity from the universe-as-aggregate to its fundamental state or stuff, on which Hume's necessary-matter parity still trades (Hume, Dialogues Part 9). Whether existential inertia can withstand the Thomist's rejoinder — that what is composite of essence and existence cannot account for its own persistence — is precisely what the copyright-locked Feser–Oppy literature disputes, and our corpus cannot yet adjudicate it. {{UNSOURCED: Feser's replies to existential inertia and Oppy's counter-replies; acquisition flagged in gap-report}}

Assessment

Assessment: Live — the naturalist terminus-swap is the most serious current objection to the Five Ways, because it grants the argument's structure and contests only where explanation bottoms out; the debate between divine conservation and existential inertia is active in the journals and unresolved, and our corpus presently documents it only at second hand.