Argument

Third Way - Contingency

Intro

Look around. Almost everything you see could have not been here. You could have not been born. The chair could have not been built. The earth could have failed to form. These are contingent things. They depend on something else for their existence, and they could just as easily have not existed at all.

Now ask: what about everything together? If every single thing in reality is contingent, what holds the whole stack up? If you keep pulling the thread of "what made that" backwards, and every answer is "something else that also could have not been," you never get to anything that has to be there. But things obviously are there. So somewhere in the chain, something must exist that does not depend on anything else. Something that has to be, not could be.

Thomas Aquinas called this a Necessary Being. Its essence (what it is) and its existence (that it is) are the same thing. It does not need a cause because not-existing was never an option for it. Aquinas argued that everyone calls that being God.

The medieval form of the argument has a step about time that modern philosophers tend to push back on (if everything were contingent, then at some past moment nothing would have existed, etc.). Leibniz later reformulated the argument without that time step, using the principle that every fact must have a sufficient reason. Both versions land in the same place. There must be at least one thing that exists because of itself, and that something is the foundation of everything that exists because of something else.

In full

The third of Aquinas Five Ways. From the empirical observation that contingent beings exist (beings that come into and go out of existence, could have failed to exist), it argues to the existence of a Necessary Being whose essence is identical with its existence, identified with God. The medieval form (Aquinas's own) carries a temporal step that is widely conceded to be problematic on modern modal-logical analysis; the Leibnizian reformulation (Contingency Argument) avoids the temporal step by arguing through the Principle of Sufficient Reason. Both converge on the same conclusion. This page handles the medieval premise structure with debate-prep treatment of where the modern dialectic actually lives.

Argument structure

Form

Reductio ad absurdum: the denial of necessity leads to absolute non-being, contradicting the fact of present existence. The argument's medieval form combines a modal claim (some beings are contingent) with a temporal claim (given infinite past time, every contingency is realized, including total non-being). Modality: ontological necessity. The Necessary Being's existence follows from its essence; its non-existence is impossible. Distinct from the modal-ontological argument: the Third Way argues to the Necessary Being from contingent existence, not from the concept of God alone.

P1, Contingent beings exist

Affirmative case (second-order arguments)

1. Empirical universality. Every observed being comes into existence and passes out of existence, stars, organisms, planets, atomic configurations, fundamental particles. The contingency of every observable being is well-established empirically. (See P2-P3 of Contingency Argument for fuller treatment.)
2. Cosmological signs of contingency. Physical constants could have been otherwise; the standard model has free parameters; the cosmological constant is finely tuned. Whatever the universe's specific configuration is, it is one of an enormously larger space of coherent alternatives. This is a strong empirical mark of contingency. (See Fine-Tuning Argument.)
3. Modal analysis: the things that exist could have failed to exist. No physical theory has ever derived the specific cosmos from its essence; no philosopher has shown that any specific being's non-existence is contradictory. The contingency of observable beings is a structural fact about the kind of being they have. (Pruss, PSR, 2006; Plantinga, The Nature of Necessity, 1974.)

Anticipated objections

1. "Some beings might be necessary even though they appear contingent, quantum fields, the multiverse, basic substrates."
2. "The notion of 'contingent vs necessary' is a confused application of modal categories to empirical reality." Quine-style modal skepticism.

Rebuttals

1. "Necessary substrate" requires positive argument, not just possibility. No physical theory derives the universe's specific configuration from its essence; none has shown the universe's non-existence is contradictory. The proposal floats as a placeholder. Even granted, a necessary universe would face the contingency-deferral problem (see Contingency Argument P2-P3 rebuttal 2). Failure mode: placeholder-as-argument.
2. Modal categories are now standard analytic apparatus. Kripke, Plantinga, Lewis have established possible-world semantics and necessary/contingent distinctions in mainstream metaphysics. The Quinean skepticism is a mid-20th-century position that did not survive the modal turn. The Third Way's modal claims are well-formed and defensible. Failure mode: anachronistic skepticism.

Live-cite kit

• Scripture: Genesis 1.1 (created things have a beginning); Psalm 102:25-27 (created things change; God is the same); Hebrews 1:11 (heavens "perish, but You remain")
• Scholarly: Aquinas, ST I.2.3 (Tertia Via); Pruss, The Principle of Sufficient Reason (2006); Plantinga, The Nature of Necessity (1974); Feser, Five Proofs (2017)
• Aphorism: "Every observed thing could have failed to exist, that's just what 'contingent' means."

Tactical notes

• This premise is the easiest to defend; spend less time on it.
• If the opponent invokes "necessary substrate," divert to the contingency-deferral problem in Contingency Argument rather than fighting on Aquinas's medieval terrain.

P2, If everything were contingent, then at some point nothing would have existed

Affirmative case (second-order arguments)

1. Aquinas's reasoning (medieval form). If every individual being has the possibility of non-existence, and given infinite past time, every possibility must have been realized at some point, including total non-existence. The argument trades on a Principle of Plenitude (every genuine possibility is realized in infinite time) which Aquinas inherits from medieval discussions. (Aquinas, ST I.2.3, Tertia Via.)
2. Strengthened defense without temporal step (Leibnizian variant). The Leibnizian reformulation drops the temporal step and argues: a collection of contingent beings is itself contingent (its existence is not necessary); contingent collections require external explanation (PSR); the explanation must terminate in a Necessary Being. The conclusion is the same; the path avoids Aquinas's vulnerable medieval move. (See Contingency Argument.)
3. The contemporary defender's move. Modern Thomists (Feser, Spitzer) typically grant that Aquinas's specific medieval temporal-step argument has logical gaps and use the Leibnizian framing instead. The Third Way's conclusion survives; the medieval premise structure is updated.

Anticipated objections

1. "Quantifier-shift fallacy." From "every being is contingent" the inference to "all beings might not exist together" is invalid, even if each being is individually possibly non-existent, the totality might be jointly necessary. (Mackie, The Miracle of Theism, 1982; Russell.)
2. "The Principle of Plenitude is false." Not every genuine possibility is realized in infinite time; some possibilities never occur.
3. "Given infinite past, the temporal step doesn't even get off the ground, there's no 'first moment' from which to count."

Rebuttals

1. The quantifier-shift charge is correct against the medieval form, and contemporary Thomists concede the point. The fix is the Leibnizian reformulation (Contingency Argument), which does not require the quantifier-shift inference. Instead, it argues that a collection of contingent beings is itself contingent (whole-of-collection inheriting the modal status of parts in the modal-closure-under-aggregation sense) and contingent collections require external explanation. The medieval form has the gap; the conclusion holds via the Leibnizian path. Failure mode (in the medieval form): quantifier-shift. Recovery: Leibnizian reformulation.
2. Plenitude is genuinely contestable. Plantinga and Lewis have both argued against unqualified Plenitude. The Third Way's medieval form depends on a substantive metaphysical claim about temporal possibility that is not obvious. The Leibnizian reformulation avoids the dependence. Concede the point about medieval Plenitude; redirect to the contingency-PSR path.
3. Even granted no first moment, the medieval form needs the past to be such that every possibility has been actualized. If the past is infinite and Plenitude holds, the inference works. If either fails, the inference fails. Concede; redirect to Leibniz.

Live-cite kit

• Scripture: Genesis 1.1 (creation as the bringing-into-being); Hebrews 11:3
• Scholarly: Aquinas, ST I.2.3; Mackie, The Miracle of Theism (1982), the quantifier-shift critique; Feser, Five Proofs (2017), ch. 5, the Leibnizian reformulation; Spitzer, New Proofs for the Existence of God (2010)
• Aphorism: "The medieval form has gaps; the conclusion stands on the Leibnizian path."

Tactical notes

• Be honest about the quantifier-shift problem in the medieval form. Most analytic philosophers grant Mackie's point; defending the medieval form costs credibility.
• Pivot to the Leibnizian reformulation. This is the strategically correct move in live debate, concede the medieval form is updated, run the Leibnizian path, get the same conclusion.
• Refer the opponent to Contingency Argument for the strengthened version.
• Force-commit move: "Whether by the medieval or Leibnizian path, do you grant the conclusion: contingent existence requires an external necessary explanation? If not, where does the inference fail?"

P3, From nothing, nothing can come (ex nihilo, nihil fit)

Affirmative case (second-order arguments)

1. Self-evident metaphysical principle. Absolute non-being has no resources to give rise to being; the principle is a structural fact about the relation between nothing and something. To deny it is to assert that anything could pop into existence at any time, which no one consistently believes. (Aquinas, ST I.2.3; see also Kalam Cosmological Argument P1.)
2. Inductive support is universal. Every observed coming-into-being has a cause, an existing precursor or substrate. The inductive base for ex nihilo, nihil fit is as strong as for any law of physics.
3. Denying the principle collapses scientific inquiry. Science presupposes that things have causes; if absolute non-being can produce being, then "why does X exist?" has no real answer, and the explanatory project is undone.

Anticipated objections

1. "Quantum vacuum fluctuations: virtual particles arise without prior cause from 'nothing.'" (Krauss, A Universe from Nothing, 2012.)
2. "Maybe the principle holds in our experience but doesn't extend to absolute non-being."

Rebuttals

1. The quantum vacuum is not nothing. It is a structured field with energy, governed by laws, instantiating quantum-field-theoretic states. Particles emerge from the vacuum, which is itself a something. The popular-physics conflation (Krauss) is a category mistake, David Albert's NYT review (2012) of Krauss made the point devastatingly. Ex nihilo, nihil fit concerns absolute non-being, not the quantum vacuum. (See Kalam Cosmological Argument P1 rebuttal 1 for fuller treatment.) Failure mode: equivocation on "nothing".
2. The principle's grounding is structural, not inductive. Ex nihilo, nihil fit is not derived from observed cases; it follows from the analysis of being and non-being. Non-being has no causal powers (it is non-being); therefore it cannot be the source of anything. The "maybe it doesn't extend" objection requires a positive account of how absolute non-being could produce being, and there is no such account. Failure mode: promissory metaphysics.

Live-cite kit

• Scripture: Genesis 1.1; Romans 4:17 ("calls into being that which does not exist")
• Scholarly: Aquinas, ST I.2.3; Craig, Reasonable Faith (2008); Pruss, The Principle of Sufficient Reason (2006); Albert review of Krauss, NYT (2012)
• Aphorism: "Ex nihilo, nihil fit, and the quantum vacuum is not nothing."

Tactical notes

• The Krauss-style objection is the standard deflection. Have the equivocation-on-"nothing" reply rehearsed and short.
• Refer to Kalam Cosmological Argument for fuller treatment if the opponent wants to dig in.

P6, The chain of per aliud necessary beings cannot regress infinitely

Affirmative case (second-order arguments)

1. Same per-se-regress logic as the First and Second Ways. A being necessary by another (per aliud) has its necessity derived from a prior necessary being. The chain of derivation is per-se: each member's necessity depends on the prior member's necessity now, not in some past temporal sequence. The chain cannot regress infinitely without removing the source of necessity. (See Per Se vs Per Accidens Causation; First Way P3, Second Way P3.)
2. Necessity-by-another presupposes necessity-by-itself. If every necessary being has its necessity from another, the regress has no terminus, and "necessity" as a property has nowhere to come from. The chain must terminate in a being whose necessity is intrinsic, per se necessary. (Aquinas, ST I.2.3, Tertia Via.)
3. The terminus is ipsum esse subsistens. The being whose necessity is intrinsic has its existence by its own essence, it is the being whose essence is existence. This is Aquinas's Ipsum Esse Subsistens, "subsistent being itself." From this follow the classical divine attributes: simplicity (no real distinction between essence and existence), eternity, infinity, and pure act. (Aquinas, ST I.3.4.)

Anticipated objections

1. "The same regress objections as in the First and Second Ways apply: maybe per-se regress is coherent."
2. "The terminus could be a 'necessary impersonal substrate,' not God."

Rebuttals

1. The per-se / per-accidens distinction grounds the regress-blocking move. See Per Se vs Per Accidens Causation and the parallel rebuttals in First Way P3 and Second Way P3. Per-se chains require non-derivative termination; per-accidens chains do not. Necessity-by-another is per-se: each member's necessity depends on the prior member's necessity here-and-now, not in temporal sequence. Failure mode: conflating per-se with per-accidens regress.
2. A "necessary impersonal substrate" is the broader contingency-argument question. Once granted that a per se Necessary Being exists, the further question is whether it is personal. The convergence of the Five Ways supports identification with God. (See Christian God is the Only True God, Christian God is the Only True God P1.) The Third Way contributes the conclusion that there is a per se Necessary Being; further moves identify it with the personal God of classical theism.

Live-cite kit

• Scripture: Exodus 3.14 ("I AM WHO I AM", the divine self-disclosure of ipsum esse subsistens); Hebrews 1:3 (Christ "upholds all things"); Revelation 1:8 ("the Alpha and the Omega")
• Scholarly: Aquinas, ST I.2.3, I.3.4; Avicenna, Metaphysics IX; Maimonides, Guide for the Perplexed II.1; Feser, Five Proofs (2017); Wippel, The Metaphysical Thought of Thomas Aquinas (2000)
• Aphorism: "Necessary-by-another presupposes necessary-by-itself; the buck stops at I AM."

Tactical notes

• This premise carries little load that isn't already done by the First and Second Ways' P3 treatment.
• Refer to Ipsum Esse Subsistens and Divine Simplicity for the deeper metaphysical treatment of what the Necessary Being turns out to be.

Conclusion

Therefore there exists a being necessary in itself, a Necessary Being whose essence is its existence, which all call God. Through the medieval Aquinas form (with the temporal step) or the Leibnizian reformulation (avoiding the temporal step), the conclusion stands: contingent existence requires an external explanation that terminates in a Necessary Being. The Necessary Being is ipsum esse subsistens, Being itself, and possesses the classical divine attributes (simplicity, eternity, infinity, pure act). The Christian identification of this Necessary Being with God depends on the further-developed cumulative case (Christian God is the Only True God, Cumulative Case for Christian Theism).

Master objections to the argument as a whole

1. "Even granted, this proves at most an abstract metaphysical posit, not the personal God of the Bible." Reply: correct as a standalone, the Third Way's conclusion is the kind of being who could be the Christian God. The convergence of the Five Ways and the further apologetic argumentation get to the personal/Trinitarian/redemptive conception.
2. "The medieval form has the quantifier-shift problem (Mackie); the argument fails." Reply: the medieval form has the problem; the conclusion stands on the Leibnizian path (Contingency Argument). Concede the medieval-form gap, redirect to Leibniz, get the same conclusion. Contemporary Thomists (Feser, Spitzer) routinely make this pivot.
3. "This is god-of-the-gaps." Reply: god-of-the-gaps fills explanatory gaps in physics with God until a naturalistic explanation arrives. The Third Way runs from the structure of contingent existence, not from current ignorance of cosmology. No future physics could fill the explanatory role of a Necessary Being because future-physics would itself be contingent.
4. "Why a necessary being rather than necessary fact / law / structure?" Reply: laws are abstract structures; they need concrete instantiation. The platonic alternative faces its own metaphysical challenges. (See Contingency Argument P4-P5 rebuttal 3.)

Tactical opening / closing

Opening line: "Things come into and go out of existence. That fact alone forces a question: what's the source of existence itself? Want to walk through it?"

Closing landing strip: "A being whose essence is existence, that's what the medieval theologians called ipsum esse subsistens. It's also what God revealed Himself as in Exodus 3:14: 'I AM WHO I AM.' The argument doesn't prove the Trinity. But it gets you to the kind of being who could be the Trinity."

Connection to Scripture

• Exodus 3:14 (source's sed contra), "I AM WHO I AM", the divine self-disclosure of ipsum esse subsistens
• Hebrews 1:3 (source's sed contra), Christ "upholds all things by the word of His power", ongoing per-se causal sustaining
• Genesis 1.1, creation ex nihilo; the Necessary Being is the source of contingent being
• Colossians 1.16-17, "in Him all things hold together"
• Revelation 1:8, "the Alpha and the Omega"

Patristic / scholarly note

Classical / patristic / medieval:

• Augustine, "All being comes from Him who is Being itself"
• Dionysius the Areopagite, "God is the One who is the cause of being for all"
• Avicenna (Metaphysics IX), essence-existence distinction; Aquinas inherits and Christianizes
• Maimonides (Guide for the Perplexed II.1), Jewish parallel
• Aquinas (Summa Theologica I.2.3, Tertia Via; I.3.4 essence-existence), the locus classicus

Modern:

• René Descartes, "The idea of a perfect being must arise from a being whose essence is existence" (cited by source guide)
• Gottfried Leibniz, Monadology §32-39; the canonical reformulation that bypasses the medieval temporal step
• Edward Feser, Five Proofs of the Existence of God (2017), ch. 5
• Robert Spitzer, New Proofs for the Existence of God (2010)
• Eleonore Stump, Aquinas (2003)
• Alvin Plantinga, The Nature of Necessity (1974); Does God Have a Nature? (1980)
• Brian Leftow, God and Necessity (2012)

Critics:

• J. L. Mackie, The Miracle of Theism (1982), quantifier-shift critique of the medieval form
• Bertrand Russell, Why I Am Not a Christian (1927); BBC debate with Copleston (1948)
• Graham Oppy, Arguing about Gods (2006)

Modern scientific parallels (illustrative)

• Cosmology: a finite-age universe (Big Bang) is consistent with contingency
• Thermodynamics: heat death implies non-necessity
• Quantum fields: contingent, not metaphysically necessary

Illustrative; not load-bearing.

See also

• Aquinas Five Ways, parent hub
• First Way - Motion, Second Way - Efficient Causality, Fourth Way - Degrees of Perfection, Fifth Way - Teleology, sister Ways
• Contingency Argument, modern Leibnizian reformulation; the strategically correct version for live debate
• Kalam Cosmological Argument, distinct (temporal beginning, not contingency)
• Ipsum Esse Subsistens, what the Necessary Being is metaphysically
• Necessary vs Contingent Being, the load-bearing distinction
• Per Se vs Per Accidens Causation, grounds P6
• Modal Logic, modern modal-logical reformulations
• Modal Ontological Argument, different form; concept-of-God starting point
• Divine Simplicity, adjacent classical-theist apparatus
• Actus Purus, the further metaphysical deepening
• Christian God is the Only True God, comparative-religion stage
• Cumulative Case for Christian Theism, meta-frame
• Augustine, Dionysius the Areopagite, Rene Descartes, Thomas Aquinas, entity hubs
• Arguments, master index