(P1)
There are contingent beings in the world: things that can exist and can fail to exist.
+
(1) What a contingent being is.
- A contingent being is one whose existence is not self-explanatory and not guaranteed by its own nature. It exists, but it did not have to. It came to be under certain conditions, and under different conditions it would not have come to be. It will eventually cease to exist, or at minimum it could have failed to exist entirely.
- Every ordinary thing around us is contingent in this sense. People are born and die. Animals come into being and pass away. Stars form from nebulae and eventually burn out. Planets coalesce from dust and can be destroyed. Every physical thing we encounter has a history of coming to be and will have a history of ceasing to be, or at least could have that history under different circumstances.
- The mark of contingency is dependence: a contingent being exists only because conditions outside itself were favorable to its existence. It holds its being, so to speak, on borrowed terms.
(2) Contingency as dependence, not merely temporary existence.
- It is tempting to think of contingency purely in terms of beginnings and endings: a contingent thing is one that starts and stops. But the deeper philosophical meaning is about dependence. A contingent being exists only because of something outside itself. Its being is received, not self-generated. The question the Third Way is really asking is not merely "when did this start?" but "what is responsible for this existing at all?"
- This dependence-centered reading of contingency is what drives the argument and distinguishes it from a simple temporal first-cause argument. Even a universe that had always existed and would always exist could still be contingent in this sense, if its existence depended at every moment on something outside itself rather than being self-explanatory and self-sustaining.
(3) How the Third Way relates to and differs from the Leibniz Contingency Argument.
- A reader familiar with the Leibniz Cosmological Argument on this site will notice a family resemblance: both arguments move from contingent beings to a necessary being. They are related but genuinely distinct.
- The Leibniz argument uses the Principle of Sufficient Reason as its engine: everything that exists has an explanation, and the explanation for the totality of contingent reality must lie in a necessary being outside that totality. It focuses on the question of why anything exists rather than nothing.
- The Third Way operates within Aquinas's act-potency metaphysics and focuses on a more specific question: given that at least one necessary being must exist (C1), can the regress of necessary beings that derive their necessity from one another continue without a terminus? Aquinas argues no, and the argument terminates in a being that has necessity entirely from within itself. The Third Way adds the specifically Thomistic framework of a hierarchy among necessary beings and a derivation of what it means to be the ultimate terminus of that hierarchy. Together with the Leibniz argument, it approaches the same conclusion from a complementary direction.
(P2)
If every being were contingent, the entire system of beings would be collectively dependent on something outside itself, with nothing to ground or explain its existence.
+
(1) The metaphysical dependence reading of P2.
- P2 is best understood not as a temporal claim (that at some past moment nothing existed) but as a metaphysical claim about the structure of dependence. If every being that exists does so only because of something outside itself, then the collection of all beings, taken as a whole, is collectively dependent. There is nothing within the collection that explains why the collection exists rather than nothing at all.
- Think of a circle of people, each of whom borrowed the money in their pocket from the next person in the circle. Trace the debt around the circle as many times as you like, and you will never find anyone who actually has money to lend. The borrowing is real, but the money was never generated anywhere. Add more people to the circle and the problem remains identical: what is missing is not more borrowers but a source.
- A universe of contingent beings, each existing only because of something else, is like that circle. The chain of dependencies is real. What is missing is a being that does not merely receive its existence from outside but simply is its own existence, a genuine source rather than another borrower.
(2) Why this is not the quantifier shift fallacy.
- A well-known logical objection to P2 (addressed fully in Defeater 4) points out that inferring "there is a time when all contingent things simultaneously fail to exist" from "each contingent thing has a time when it fails to exist" is a classic logical error. That inference is indeed invalid.
- But the metaphysical dependence reading of P2 does not make that inference. It does not claim there was a moment when everything simultaneously failed to exist. It claims that a collection of beings each of which exists dependently is itself a dependent collection, and therefore cannot be the terminus of explanation. This is a claim about the structure of dependence, not about simultaneous non-existence. The logical objection does not reach this version of P2.
(3) An infinite chain of dependent beings does not escape the problem.
- Some might respond: perhaps the chain of dependent beings is infinitely long, so there is always something existing even if no individual thing exists necessarily. But this response misses the point. A chain of dependent beings does not become self-explanatory by virtue of its infinite length. Each member of the chain holds its existence on borrowed terms. Extending the chain indefinitely simply means there are infinitely many borrowers, none of whom has the existence they transmit as their own.
- An infinitely long series of electric lamps, each powered by the cord plugged into the next, still produces no light if there is no power source anywhere in the series. The length of the series is irrelevant to whether it contains a genuine source of power. What the series lacks is not more lamps but an actual generator. The Third Way argues that the universe requires precisely this: not another dependent being but a being that is itself the source of existence rather than a recipient of it.
(P3)
If there were no being with existence grounded in its own nature, nothing would exist now.
+
(1) From nothing, nothing comes.
- The classical philosophical principle ex nihilo nihil fit, from nothing nothing comes, captures the point of P3. A state of affairs in which nothing exists and nothing has any existence to contribute to anything else is a state from which nothing can emerge. Being cannot be generated from the total absence of being, because generation itself requires something to do the generating.
- This is not an empirical generalization. It is a metaphysical claim about the nature of being and causation: a genuine absence of all being leaves no resources from which any being could arise.
(2) The connection to P2's conclusion.
- P2 established that a universe composed entirely of dependent beings has no self-grounding explanation. P3 makes the implication concrete: if there is no being whose existence is grounded in its own nature, then the collective dependence of all beings has no terminus, no ultimate source. And a chain of dependence with no terminus is a chain that, as a whole, holds nothing up. The result is that nothing would exist.
- Think of a suspension bridge held by cables. Each cable holds the deck, but the cables themselves are attached to towers. The towers are anchored to bedrock. Remove the bedrock and add more cables instead: the additional cables contribute nothing, because every cable is itself in need of support. What is missing is not more cables but a foundation. P3 says that without a being whose existence needs no grounding from outside, the entire structure of contingent existence has no foundation and therefore cannot stand.
(P4)
But something does exist now.
+
(1) The undeniable starting point.
- P4 is the most secure premise in the argument. Something exists. You exist. This page exists. The physical universe exists. Even a skeptic who doubted everything else would still be a doubting thing, and doubting is existing. Descartes built an entire philosophy on this same observation.
(2) The logical role of P4.
- P4 functions as the empirical anchor that converts the conditional argument into a categorical conclusion. P2 and P3 together establish: if there were no self-grounding necessary being, nothing would exist. P4 establishes that something does exist. By modus tollens, the standard logical form of argument by denial of the consequent, it follows that there is a self-grounding necessary being. The argument does not merely show that a necessary being is possible or probable. It shows that a necessary being must exist, given that anything at all exists.
(C1)
Therefore, not all beings are contingent. At least one necessary being exists whose existence is grounded in its own nature.
(P5)
A necessary being either has its existence entirely from its own nature, or it derives the necessity of its existence from another being outside itself.
+
(1) The two options for a necessary being.
- C1 establishes that at least one necessary being exists. P5 draws a logical distinction about what kind of necessary being this could be. Either the necessary being's existence is entirely self-explanatory, meaning it simply is its own existence and cannot coherently be thought of as absent, or its necessary existence is somehow produced or sustained by something else outside it, which makes it derivatively rather than intrinsically necessary.
- An intrinsically necessary being is one whose essence just is its existence. It does not have existence as a property it received from elsewhere. It does not hold its being on borrowed terms. It simply is being. Aquinas expresses this by saying that in God, unlike in every other being, essence and existence are identical: God does not merely have existence, God is existence itself.
- A derivatively necessary being, by contrast, exists necessarily because something else causes or sustains it in necessary existence. It is necessary in the sense that it cannot fail to exist given its current circumstances, but it depends on another for those circumstances to obtain.
(2) A clarification: the intrinsically necessary being has no cause at all.
- The language of "cause of its necessity" can be misleading. A being that is intrinsically necessary does not have a cause in any sense. It is not produced by anything, not sustained by anything, and not explained by anything outside itself. Its existence is identical with its nature: to understand what it is, is already to understand that it cannot fail to exist. The word "cause" applies to contingent things; it does not apply to a being whose very nature is to be.
- Think of the difference between a fire that burns because fuel is present and a fire that is simply fire itself, the nature of combustion rather than any particular burning thing. No particular fire explains itself. But the nature of fire just is what it is, not produced by anything more basic. The intrinsically necessary being is analogous, only without the limitation of being a mere abstract nature: it is the concrete, actual, self-subsistent source of being itself.
(P6)
There cannot be an infinite regress of beings whose necessary existence is derived from another.
+
(1) Derived necessity is borrowed necessity.
- A being whose necessary existence is derived from another does not possess necessity as something intrinsic to itself. It holds necessary existence on loan, so to speak, from the being that grounds it. Just as a transmitter of power is not a generator of power, a being that derives its necessary existence from another is not the ultimate source of necessary existence. It is an intermediary.
- This is the same structure identified in the First Way (see First Way, P3) and the Second Way (see Second Way, P3) with respect to essentially ordered causal series. A being that borrows its existence from another requires that other to explain it. A being that borrows its necessary existence from another requires that other, or something beyond it, to explain it.
(2) An infinite regress of derivatively necessary beings explains nothing.
- Suppose the series of beings that derive their necessary existence from another were infinite: being A derives from being B, which derives from being C, and so on without end. Each member of the series holds its existence on loan from the next. At no point in the series does any being possess necessary existence as something genuinely its own. The series is an infinite chain of derivations with no original source from which anything is being derived.
- Return to the circle of borrowers from P2. No matter how many borrowers are added to the circle, no actual money is generated. The derived necessary beings are all borrowers of a necessity that was never intrinsically possessed by any of them. Extending the series infinitely multiplies the borrowers but does not produce a lender.
(3) Therefore, the series must terminate in a being of intrinsic necessary existence.
- For derived necessary existence to make any sense at all, there must be at some point a being that possesses necessary existence not by derivation but by nature. This being is the ultimate ground of necessary existence for all other necessary beings and, through them, for all contingent beings. It is the terminus that P5's distinction prepares for: the intrinsically necessary being, the one that simply is its own existence.
(C2)
Therefore, there exists a necessary being that has its existence entirely from its own nature and is the ultimate ground of the existence of all contingent and derivatively necessary beings.
(C3)
This intrinsically necessary being is what we call God.
+
C2 establishes the existence of a being whose essence is identical with its existence and which is the ultimate ground of all contingent and derived being. C3 is not a bare theological assertion. It is the conclusion of a derivation that Aquinas carries out across twenty-three questions of the Summa Theologiae (I.3 through I.26). The key steps are as follows.
(1) The intrinsically necessary being is purely actual, with no unrealized potentials.
- A being that could have any unrealized potentials would hold some aspect of its existence as not-yet-actualized, which would make it dependent on something outside itself to actualize those potentials. But the intrinsically necessary being depends on nothing outside itself. Therefore it has no unrealized potentials. It is completely and exhaustively actual in every respect. Aquinas calls this pure act (actus purus). Every ordinary thing around us has unrealized potentials: a tree could grow taller, a star could burn hotter. Only a being with nothing left unrealized is truly self-explanatory.
(2) Pure actuality entails immateriality.
- Matter is, in the Aristotelian framework, the principle of potentiality in physical things. Matter is precisely what makes a substance capable of taking on different forms, states, and configurations. A block of marble is potentially a statue, potentially dust, potentially rubble. This capacity for change and variation is inseparable from what it means to be material. A purely actual being, one with no unrealized potentials of any kind, cannot be material. The intrinsically necessary being therefore transcends matter, space, and physical structure entirely.
(3) Pure actuality entails eternity and necessity in the fullest sense.
- A being that came into existence was actualized from without, meaning it is not intrinsically necessary. A being that could cease to exist has the potential for non-existence, meaning it is not purely actual. The intrinsically necessary being, having no unrealized potentials and depending on nothing outside itself, neither came into existence nor can cease to exist. It is eternal: not merely very old but genuinely outside the order of temporal succession. It exists necessarily and cannot be otherwise.
(4) Pure actuality entails uniqueness.
- For two beings to be numerically distinct, one must have something the other lacks, some individuating feature that sets them apart. But if both were purely actual, neither could lack anything. Two purely actual beings would be indistinguishable in every respect, which means they would not be two beings at all. There can be only one intrinsically necessary being, one ultimate ground of all existence.
(5) The intrinsically necessary being is the source and standard of all perfections.
- Every perfection found in any contingent thing, every instance of being, goodness, unity, truth, life, and intelligence, is something that contingent thing received from a cause. The intrinsically necessary being, as the ultimate cause and ground of all being, is the source from which every perfection in every caused thing ultimately derives. Aquinas follows Aristotle in arguing that the source of a perfection must possess that perfection in an eminent way. A being that is the ultimate source of all intelligence must itself be supremely intelligent. A being that is the ground of all goodness must itself be goodness itself.
- Aristotle, working entirely without Scripture, concluded that the first unmoved mover must be self-thinking intellect, pure self-aware rationality, because this is the only self-complete, self-sufficient activity a purely actual being can have (Metaphysics XII.9). The intrinsically necessary being is therefore not an impersonal force or abstract principle. It is intellect, awareness, and goodness in their fullest and most unrestricted form.
(6) The Third Way is one strand of a larger cumulative case.
- The Third Way alone does not establish every attribute of the God of Scripture, nor does it identify this necessary being with the God of any particular religious tradition. The Leibniz Contingency Argument approaches the same necessary being from the direction of the Principle of Sufficient Reason. The Moral Argument identifies this being as the ground of objective goodness and moral value. The Fine-Tuning Argument identifies it as a designer of rational precision. Historical and revealed theology then addresses how and whether this being has acted in human history. The Third Way provides the foundational Thomistic metaphysical strand: a being that simply is its own existence, purely actual, immaterial, eternal, unique, and the ultimate source of all being and perfection.
Thomas Aquinas, Summa Theologiae, I, q. 2, a. 3 ("Whether God exists?") – Third Way; and I, qq. 3–26 (derivation of divine attributes from pure actuality).
Aristotle, Metaphysics, Book XII (Lambda), trans. W.D. Ross, in The Complete Works of Aristotle, ed. Jonathan Barnes. Princeton: Princeton University Press, 1984.
Edward Feser, Aquinas: A Beginner's Guide. Oxford: Oneworld, 2009.
Edward Feser, Five Proofs of the Existence of God. San Francisco: Ignatius Press, 2017.
Anthony Kenny, The Five Ways: St. Thomas Aquinas' Proofs of God's Existence. London: Routledge, 1969.
Étienne Gilson, The Christian Philosophy of St. Thomas Aquinas, trans. L.K. Shook. Notre Dame: University of Notre Dame Press, 1956.
W. Norris Clarke, S.J., The One and the Many: A Contemporary Thomistic Metaphysics. Notre Dame: University of Notre Dame Press, 2001.
Peter van Inwagen, Metaphysics, 4th ed. Boulder: Westview Press, 2015.
Frederick Copleston and Bertrand Russell, "A Debate on the Existence of God," BBC Radio, 28 January 1948. Reprinted in Bertrand Russell, Why I Am Not a Christian and Other Essays, ed. Paul Edwards. New York: Simon and Schuster, 1957.
Gottfried Wilhelm Leibniz, "On the Ultimate Origination of Things," in Philosophical Essays, trans. Ariew and Garber. Indianapolis: Hackett, 1989.
+
Why can't the universe itself be the necessary being? Perhaps the cosmos simply exists necessarily, making the appeal to God redundant.
1. The universe exhibits exactly the features that define contingent, not necessary, existence.
A necessary being, as derived in C3, must be purely actual with no unrealized potentials, immaterial, eternal without beginning or end, non-composite, and entirely self-explanatory. The observable universe fails every one of these criteria.
The universe is composite: it is composed of billions of galaxies, each composed of stars, each composed of atoms, each composed of particles. For these parts to exist in their particular arrangement, something must account for the composition. The universe did not assemble itself from nothing. A composite thing is not self-explanatory; its parts and their arrangement require an account.
The universe is material: its constituents have potentiality, the capacity to take on different forms, temperatures, configurations, and states. Matter is precisely the principle of unrealized potential. A being with unrealized potentials is not purely actual and therefore not the intrinsically necessary terminus the argument requires.
The universe is contingent in its specific character: its physical constants, the values of gravity, electromagnetism, and the strong and weak nuclear forces, are precisely calibrated to values that did not have to be as they are. Physicists can coherently model universes with different constants. A necessary being cannot be different in any possible scenario. The universe's specific character is not self-explanatory; it cries out for an account.
2. Necessary existence is not just "existing for a very long time."
To exist necessarily is to exist in such a way that non-existence is not merely improbable but impossible, not merely unlikely but incoherent. The number seven cannot fail to exist if numbers exist at all, because its existence follows from the very structure of arithmetic. A necessary being is like this: its non-existence would be a logical impossibility, not merely a physical one.
The universe does not exist in this way. We can coherently conceive of no physical universe: no space, no time, no matter, no energy. Cosmologists routinely discuss alternative universes with entirely different physical structures. The very fact that alternatives are coherently conceivable is strong evidence that the universe's existence is not necessary in the relevant sense. What is genuinely necessary cannot even coherently be conceived as absent.
3. Asserting the universe is necessary without argument is a placeholder, not an explanation.
The naturalist who says "the universe just exists necessarily" must explain what feature of the universe makes its non-existence impossible and its specific character self-explanatory. This has not been done. No philosopher or physicist has identified the property of the physical universe that makes its existence logically necessary. The claim that the universe is necessary is typically offered as a conversation-stopper rather than as a developed philosophical position. For the fully developed version of this claim in the form of Spinoza's necessitarianism, see Defeater 5, which cross-references the treatment in the Leibniz Contingency Argument.
+
The argument seems to assume there was once a time when nothing existed. But maybe matter or energy has always existed, so absolute nothingness never obtained. If something has always been present, the argument's scenario never arises.
1. The Third Way is not about a past moment of nothingness.
On the metaphysical dependence reading of P2 (explained in full in P2's additional-info), the argument does not require that there was ever a moment when absolutely nothing existed. That would be the temporal version of the argument, which faces the logical problem addressed in Defeater 4. The correct reading of P2 is about simultaneous dependence, not temporal succession.
The question the Third Way asks is not "was there ever a time when nothing existed?" but "is the existence of everything currently present fully accounted for within the system of contingent things, or does that system require a ground outside itself?" This question applies with equal force to an eternally existing universe. Even a universe that has always existed, at every moment of its eternal history, is still a universe each of whose members exists only because of conditions outside itself. Eternal duration does not convert dependence into self-sufficiency.
2. An eternal series of dependent beings is still collectively dependent.
Suppose matter and energy have existed forever, with no first moment. Each physical state of the universe at each moment depends on the prior state plus the laws governing the transition. At every moment in this eternal history, the physical reality present is there because of something else: prior states, governing laws, initial conditions, the quantum fields that structure what kinds of events are possible. None of these things explains itself.
Now consider the entire infinite sequence of such states taken as a whole. The whole sequence is not self-explanatory just because it is infinite. Every member of the sequence holds its existence on borrowed terms from the prior member. An infinitely long chain of borrowers still has no original lender. Adding more members to the chain extends the borrowing; it does not generate a source.
Think of an infinite series of electric lamps, each powered by a cord running to the next lamp. No matter how far back the chain extends, no matter how many lamps are in the series, not a single lamp will illuminate if there is no generator anywhere in the chain. The chain's infinite length does not substitute for a power source. What is missing is not more lamps but something that actually generates the power being borrowed throughout the series.
3. A necessary being explains why there is always something rather than nothing.
A being whose existence is grounded in its own nature does not depend on prior conditions, favorable circumstances, or an infinite chain of borrowed existence. It simply is, necessarily and always, not because it has been around for a long time but because its non-existence is metaphysically impossible. Such a being provides the genuine explanatory terminus that an infinite series of dependent beings cannot provide, regardless of the series' duration.
+
The argument seems to assume a Principle of Sufficient Reason: that everything has an explanation. But perhaps the existence of contingent beings is simply a brute fact. Not everything needs an explanation, and demanding one for the universe as a whole may be asking too much.
1. The Third Way does not require the full PSR.
The Third Way does not claim that every fact about the world has a complete explanation. It claims something more modest: that a collection of beings each of which exists only because of something outside itself cannot be self-explanatory as a whole. This is not a demand that every detail of the universe be deterministically necessitated. It is the observation that collective dependence requires a collective ground, just as a circle of borrowers with no lender has no actual financial resources regardless of how long the borrowing has been going on.
2. Abandoning explanation at the deepest level is not principled scepticism. It is special pleading.
Science and rational inquiry are built on the demand for explanation. When something exists or happens, we ask why. This demand is applied universally: to the behavior of electrons, to the formation of galaxies, to the origin of life, to the causes of disease. Refusing to apply the same demand when it reaches the existence of the universe as a whole is not a neutral, principled philosophical position. It is carving out an exception at precisely the point where the demand is most pressing, and doing so specifically because following the demand to its conclusion leads to a theistic result. That is motivated special pleading, not principled scepticism.
3. A necessary being provides a genuine explanatory terminus, not another brute fact.
The brute fact objection suggests that stopping the explanatory regress at the universe is no worse than stopping it at God. But there is an asymmetry. A contingent being, one that could have failed to exist, is the kind of thing that obviously needs an explanation: its non-existence is perfectly coherent, so its actual existence requires an account. A necessary being, one whose non-existence is impossible, is self-explanatory in a way a contingent being simply is not. Its existence needs no external account because there is no coherent alternative to its existing. The theistic stopping point is therefore superior: it terminates the explanatory regress at a being whose existence is genuinely self-explanatory, rather than at a being whose non-existence is perfectly conceivable.
4. The brute fact position carries a heavy philosophical cost.
If we allow that the universe simply exists as a brute fact with no explanation, consistency requires that we allow brute facts elsewhere as well. Why not accept that diseases have no causes, that stars form for no reason, that any event might occur without any explanation? Science survives only on the assumption that things have explanations. Abandoning this assumption at the level of the universe's existence, while maintaining it everywhere else, is a position that must be justified rather than simply adopted as a default.
+
Even if there is a necessary being that grounds all contingent existence, this does not prove it is the personal God of Christianity. It might be an abstract principle, an impersonal force, or something entirely unlike the God of Scripture.
1. This is correct, and it is not what the Third Way alone claims to establish.
The argument is designed to establish one specific conclusion: that there exists at least one being whose existence is grounded in its own nature, which is purely actual, and which is the ultimate ground of all contingent being. That is its contribution. The identification of this being with the full character of the God of Scripture requires further argument, which Aquinas himself provides and which other arguments on this site supplement.
2. What the conclusion already establishes and rules out.
The conclusion is not philosophically thin. It immediately eliminates a wide range of alternatives. Atheism and robust naturalism, the view that only physical reality exists, are ruled out, because the intrinsically necessary being must be immaterial. Finite or limited gods are ruled out, because the ultimate ground of all being cannot itself be a being with unrealized potentials. Multiple ultimate necessary beings are ruled out, because two purely actual beings would be indistinguishable, meaning they could not be two. Impersonal forces are ruled out, because an impersonal physical force is itself a contingent physical actuality with properties that require sustaining.
3. The derivation from necessary being to intelligent, personal being follows from pure actuality.
Aristotle, without Scripture or religious tradition, derived from the analysis of pure actuality that the ultimate ground of being must be self-thinking intellect. His reasoning, in Metaphysics XII.9, is that the activity of a purely actual being cannot be directed outward toward objects that complete it, since it has no unrealized potential to be completed. Its activity must be entirely self-sufficient and self-complete. The only activity that is genuinely self-sufficient in this way is thought: specifically, intellect understanding itself, pure self-aware rationality. The intrinsically necessary being is therefore not a blind force. It is intelligence and awareness in their fullest and most unrestricted form.
4. The Third Way is one strand of a convergent cumulative case.
The Leibniz Contingency Argument approaches the same necessary being from the direction of the PSR, asking why anything exists rather than nothing. The Moral Argument identifies this being as the objective ground of goodness. The Fine-Tuning Argument identifies it as a rational designer. Historical and revealed theology asks which tradition most accurately describes how this being has acted in human history. Each argument contributes a piece of the portrait. The Third Way provides the foundational Thomistic piece: a being that simply is its own existence, purely actual, immaterial, eternal, unique, and the source of all being and perfection.
+
Philosopher Peter van Inwagen and others argue that the Third Way commits a quantifier shift fallacy. The move from "each contingent being has a time when it does not exist" to "there is a time when all contingent beings simultaneously do not exist" is logically invalid. From the fact that every person has a teacher they find boring, it does not follow that there is one teacher whom every person finds boring. Similarly, from the fact that each thing has its moment of non-existence, it does not follow that all things share a common moment of non-existence.
1. The objection is correct against the temporal reading of P2.
Van Inwagen's objection, pressed carefully in Metaphysics (Westview Press, 4th ed., 2015), and foreshadowed by Bertrand Russell in his 1948 BBC debate with Frederick Copleston, identifies a genuine logical error. The inference from "each contingent thing has a time when it does not exist" to "there is a single time when all contingent things simultaneously do not exist" is indeed a textbook quantifier shift fallacy. The parallel is exact: each person is shorter than someone, but it does not follow that there is one person whom everyone is shorter than. This logical problem is real and Aquinas's formulation, taken in its most literal temporal reading, is vulnerable to it.
2. The Third Way's argument does not depend on the temporal reading.
The quantifier shift objection reaches only the temporal version of P2. On the metaphysical dependence reading, which is the philosophically stronger and more defensible reading of Aquinas's argument (see P2 additional-info above), the argument makes no temporal claim at all. It does not say there was a moment when everything simultaneously failed to exist. It says that a collection of beings each of which exists only because of something outside itself is, as a collection, dependent on something outside itself for its existence.
This is not a temporal claim. It is a structural claim about the nature of dependence. From "each being in the collection exists dependently," the argument infers "the collection as a whole exists dependently." This inference involves no quantifier shift. It is the straightforward observation that a group of borrowers, all borrowing from one another, has no actual resources of its own regardless of how many members it contains. The logical form is: every member of set S exists only in virtue of something outside itself; therefore set S as a whole exists only in virtue of something outside S. This follows directly from the premise without any illicit shift.
3. The metaphysical dependence reading actually strengthens the argument.
The temporal reading of P2 raises both a logical problem (the quantifier shift) and a philosophical problem (reliance on the questionable Principle of Plenitude, the idea that all possibilities are eventually realized given infinite time). The metaphysical dependence reading avoids both problems. It does not claim all contingent things simultaneously fail to exist. It does not rely on any assumption about what is realized over infinite time. It simply observes that dependence is a transitive structural feature of a collection, and that a collection every member of which is dependent cannot explain its own existence.
4. Accepting the objection in its limited scope actually refines the argument.
Acknowledging that the temporal reading of P2 involves a quantifier shift is not a concession that defeats the Third Way. It is a refinement that eliminates a weaker version of P2 and replaces it with a stronger one. Philosophers and theologians who defend the Third Way, including Edward Feser in Five Proofs of the Existence of God (Ignatius Press, 2017), have moved precisely in this direction. The result is an argument that is logically tighter, philosophically more defensible, and entirely unaffected by the quantifier shift objection.
+
In his famous 1948 BBC radio debate with Frederick Copleston, Bertrand Russell argued that the universe simply exists and that asking for a cause or explanation of the universe as a whole is a category mistake. Causal and explanatory concepts apply within the universe, to the relationships between things inside it. Projecting them onto the universe as a totality stretches these concepts beyond their legitimate domain. The universe just is, and that is all we can say.
1. Russell's argument stated precisely.
In the Copleston-Russell debate (BBC Radio, 28 January 1948), Russell pressed the following point. Copleston argued that each contingent being has a cause, and therefore the universe as a whole has a cause. Russell responded that the notion of cause applies to individual things within the universe but that we commit a fallacy of composition if we infer from "each thing within the universe has a cause" to "the universe as a whole has a cause." The universe, Russell insisted, is simply a brute fact: "I should say that the universe is just there, and that's all."
2. The Third Way does not commit the fallacy of composition Russell identifies.
Russell's fallacy of composition objection would succeed against an argument that moved directly from "each thing in the universe has a cause" to "therefore the universe has a cause." But the Third Way does not make that move. Its argument is structural, not additive. The point is not that because each thing in a collection is caused, the collection itself must be caused by something additional. The point is that because each being in the collection exists only because of something outside itself, the collection as a whole lacks any self-explanatory ground. The members of the collection are not adding up to something that requires a further cause on top of them. They are jointly failing to provide the one thing needed: a being that simply is its existence rather than receiving it.
The difference can be illustrated. A single lamp that receives its power from a cord has no power of its own. An infinite collection of lamps each receiving power from a cord connecting to the next lamp also has no power of its own. The failure of self-sufficiency is not something that accrues to the collection because it is a collection. It is a structural feature of each member, and a collection of members each of which lacks self-sufficiency is itself not self-sufficient. This is not the fallacy of composition. It is a recognition that dependence is not a property that cancels out when you put dependent things together.
3. Calling the demand for explanation a category mistake merely asserts the naturalistic conclusion.
Russell says that applying causal concepts to the universe as a whole is a category mistake: it stretches those concepts beyond their legitimate domain. But what grounds this claim? Russell does not provide a principled criterion for why causal and explanatory concepts legitimately apply to everything within the universe but not to the universe as a whole. The assertion that such concepts simply do not extend to totalities is itself a philosophical claim requiring argument, not a neutral observation about the limits of language.
If the universe is genuinely a collection of dependent beings with no self-explanatory foundation, then the demand for an explanation of the collection is not a category mistake. It is the natural extension of the very explanatory impulse that drives all inquiry. Calling it a mistake is precisely what someone who wants to avoid the theistic conclusion would say, but it provides no independent reason to think the conclusion should be avoided.
4. The demand for explanation of the whole is not arbitrary.
We regularly explain wholes in terms of causes that are external to those wholes. Explaining why a particular ecosystem exists requires appealing to geological, climatic, and evolutionary factors outside that ecosystem. Explaining why a particular civilization arose requires appealing to circumstances outside that civilization. The practice of seeking explanations of systems in terms of factors external to those systems is entirely standard in every field of inquiry. Russell gives no reason why the universe as a whole should be uniquely exempt from this standard explanatory practice, other than the observation that no such external explanation is available on naturalistic assumptions. That observation is not a principled philosophical argument; it is a statement of what naturalism already assumes.
+
If the argument establishes that at least one necessary being must exist, why think it is a concrete, personal God rather than abstract objects such as numbers, sets, or mathematical truths? These are often treated by philosophers as necessarily existing entities that depend on nothing outside themselves. Could they serve as the necessary being the Third Way requires, making the appeal to God unnecessary?
1. Abstract objects, even if necessarily existing, are causally inert.
The necessary being the Third Way requires must satisfy two conditions: it must exist necessarily, and it must be the ground or cause of the existence of contingent beings. Abstract objects, even granting that they exist necessarily, fail the second condition entirely.
The number seven, if it exists, exists necessarily. Its non-existence is incoherent in a way that the non-existence of a particular star is not. But the number seven does not cause anything. It does not bring any physical or contingent thing into existence. It does not sustain anything in being. It plays no causal role in the universe whatsoever. Abstract objects, on the standard philosophical account of abstractness, are causally inert: they stand outside the causal order, affecting nothing and being affected by nothing.
Think of it this way. The architectural plans for a building exist as abstract objects in some sense: the blueprint describes the structure without itself being made of bricks and mortar. But the blueprint does not build the building. A builder with causal powers does. Even if the plans exist necessarily in some abstract realm, their existence is entirely irrelevant to whether the physical building ever gets constructed. Abstract objects belong to the wrong ontological category to serve as causes of anything.
2. The Third Way's necessary being must be causally active, not merely necessary.
C2 establishes a being that is the ultimate ground of the existence of all contingent beings. This is not a description of something that merely exists necessarily alongside the contingent world, having nothing to do with it. It is a description of something that actively sustains contingent beings in existence and from which their existence flows. A causally inert abstract object cannot fill this role, regardless of how necessarily it exists.
3. Numbers and mathematical truths do not explain why any concrete thing exists.
Consider the question: why does this physical universe, with these specific particles and these specific laws, exist rather than nothing? The answer "because mathematical structures exist necessarily" is no answer at all. Mathematical structures describe possible configurations of reality. They do not produce actual configurations of reality. The existence of the number seven does not explain why there are any physical objects at all, any more than the existence of the concept of "dragon" explains why dragons exist or do not exist. Abstract necessary beings leave entirely untouched the question the Third Way is asking.
4. The necessary being must be both necessary and concretely causally efficacious.
The Third Way's conclusion specifies a being that is the active ground of all contingent being. Only a concrete being with genuine causal powers can fill this role. The argument therefore terminates not in abstract necessary objects but in a concrete, causally active, necessarily existing being: precisely what classical theism means by God.
+
Baruch Spinoza developed a fully worked-out philosophical system in which the universe itself is the one necessarily existing substance. Everything that exists is a mode, or finite expression, of this one infinite, necessary substance. On Spinoza's view, the Third Way's conclusion is correct: there is a necessary being. But that necessary being just is Nature itself, not a personal God transcendent over the universe.
1. Spinoza's necessitarianism is a serious philosophical position that deserves a serious response.
Unlike the bare assertion that the universe just happens to be necessary, Spinoza's system in the Ethics (1677) offers a developed philosophical argument for why there can be only one substance, why that substance exists necessarily, and why God and Nature are identical descriptions of the same reality. This deserves genuine engagement rather than dismissal.
2. For a full treatment of Spinoza's position and its problems, see the Leibniz Contingency Argument, Defeater 11.
The Leibniz Contingency Argument on this site addresses Spinozistic necessitarianism in dedicated detail: why necessitarianism eliminates genuine contingency and with it much of science, why Spinoza's God fails to explain why this particular substance with these particular attributes exists necessarily rather than some other, and why the personal cause inference rules out an impersonal Spinozistic substance as the terminus of the Third Way. Rather than repeat that full treatment here, the reader is directed to that discussion.
3. The key point for the Third Way specifically.
The Third Way concludes in a being that is the active cause and ground of all contingent being. Spinoza's one substance is not a cause of contingent beings in the ordinary sense. On Spinoza's account, finite things are modes of the one substance: they are not caused by it in the way an effect is caused by an agent. They are expressions or modifications of it. This is a very different relationship from the one the Third Way requires, which is a being that actively grounds and sustains contingent beings in their distinct existence. Spinoza's system collapses the distinction between the necessary ground and the contingent beings it grounds, making everything ultimately necessary and eliminating the very contingency that P1 began with. A system that eliminates genuine contingency cannot serve as an answer to an argument that begins by observing genuine contingency.
