# Contingency Argument ## Intro Look around at anything in the room. A chair, a cup, a tree out the window, your own hand. Each of these *could* have not existed. There is nothing built into the nature of *chair* that says it had to be. Its existence depends on something outside of itself: the wood, the carpenter, the tree, the soil, the sun. Things like this, things that could have failed to exist, philosophers call *contingent*. Now stack all the contingent things in the universe together. The universe itself is the same kind of thing. It exists, but it could have not existed. There is nothing in the bare idea of *universe* that demands it be. So the same question applies to the whole stack: why is there a universe at all rather than nothing? You cannot answer that by pointing to more contingent stuff. *"The universe came from a prior universe"* just pushes the question back. *"It came from a quantum vacuum"* names another contingent thing. *"It's been here forever"* still does not explain why an eternal contingent thing should exist rather than not exist. A long chain of borrowers is still all borrowers. Somewhere the chain has to land on something that does not need a loan, something that exists in itself, by the necessity of its own nature. That is a *necessary being*. Not a thing that happens to exist; a thing that *cannot* not exist. There is only one kind of candidate for that role, and it is roughly what every classical tradition has called God. Notice what this argument does *not* need. It does not need a beginning of the universe. Even a universe that has always existed is still a contingent universe. It does not need quantum physics or cosmology. It needs only one principle: things that exist have reasons for existing. That principle is what makes science possible. Deny it, and you are denying that *"why?"* is ever a real question. The quick reply in conversation: *"Anything that could have failed to exist needs a reason for existing. The universe could have failed to exist. So what is the reason? And whatever the reason is, if it could also have failed to exist, it needs a reason too. The chain only ends with something that cannot fail to exist."* ## In full The contingency argument reasons from the existence of contingent beings (things that could have failed to exist) to a Necessary Being whose existence is grounded in its own nature. Distinct from the [Kalam Cosmological Argument](/codex/kalam-cosmological-argument/) in that it does *not* require the universe to have a temporal beginning, even an eternal universe would still be a contingent collection requiring an external explanation. The Leibnizian formulation runs through the Principle of Sufficient Reason; Aquinas's Third Way runs through the impossibility of universal contingency. Both converge on the same conclusion: a Necessary Being identified with God. ## Argument structure | # | Premise | |---|---| | **P1** | Everything that exists has an explanation of its existence, either in the necessity of its own nature or in an external cause. *(Principle of Sufficient Reason)* | | **P2** | The universe (and everything in it) is contingent, it could have failed to exist. | | **P3** | A collection of contingent beings is itself contingent and cannot explain its own existence. | | **P4** | Therefore the universe's existence requires an external cause. | | **P5** | The external cause must itself be non-contingent, a necessary being whose existence is grounded in its own nature. | | **C** | **Therefore a Necessary Being exists, which is the cause of all contingent existence, identified by Christians as God.** | ## Form Deductive, classical metaphysical reasoning. The argument is valid given PSR (P1) and the contingency of the universe (P2-P3). It runs even on a past-eternal universe, making it more robust than Kalam against multiverse and eternal-cosmology defenses. The argument's force is felt at P1 (PSR) and P3 (whole-of-collection contingency); both are well-defended in contemporary analytic literature. --- ## P1, Principle of Sufficient Reason: everything that exists has an explanation ### Affirmative case (second-order arguments) 1. **Presupposed by all rational inquiry.** Science, history, philosophy all presuppose that things are explicable, that "why does X exist?" is always a meaningful question with a real answer. To deny PSR is to abandon the explanatory enterprise. (Pruss, *The Principle of Sufficient Reason*, 2006, ch. 1.) 2. **Weak PSR is sufficient.** The argument needs only the *weak* form: every *contingent* fact has an explanation. The strong form (every fact, including necessary truths, has an explanation) is more disputed and not required. The weak form is far more secure. (Pruss; Koons, *Realism Regained*, 2000.) 3. **The "modal-collapse" objection to PSR is question-begging.** The famous Van Inwagen objection, that PSR entails that contingent facts are necessary, only goes through on certain controversial readings of "explanation." Pruss has demonstrated multiple PSR-formulations that avoid modal collapse (libertarian-free-action explanations, agent-causal explanations, conceptual reanalysis of "explanation"). The objection is not a refutation; it's a constraint on PSR-formulation. 4. **Selective application is special pleading.** The opponent who holds PSR for ordinary explanation but denies it at cosmic scale must justify the carve-out. No principled reason to deny PSR only at the boundary has ever been provided. ### Anticipated objections 1. **"Brute facts exist, some things are simply unexplained."** Russell's "the universe is just there" / Hume's denial of necessary connections / contemporary contingentists. 2. **"PSR entails modal collapse."** Van Inwagen, *An Essay on Free Will* (1983); Bennett. 3. **"Quantum events show PSR is empirically false."** Indeterministic events have no determining cause. 4. **"PSR is unverifiable / metaphysically extravagant."** Logical-positivist line; no empirical content. ### Rebuttals 1. **"Brute fact" is unfalsifiable and ad hoc.** It is not a substantive metaphysical position; it is a refusal to engage the explanatory question. Granting it for the universe but denying it for putative theistic alternatives is special pleading. The opponent should explain *why* the cosmos is the unique exception to a principle that operates universally elsewhere. Failure mode: **special pleading**. 2. **Modal-collapse moves are answerable.** Pruss's defense (*PSR*, ch. 4-7) shows the objection requires a deterministic-explanation reading of PSR that the libertarian-theist can reject. Agent-causal explanations satisfy PSR without entailing necessity (the Necessary Being's free choices have explanations, namely, the agent's reasons, without making the choices themselves necessary). Failure mode: **conflating explanation with entailment**. 3. **Indeterministic causation is still causation.** Quantum events have probabilistic-causal structure; "no deterministic cause" is not "no cause." PSR demands explanation, not determination. (See P1 of [Kalam Cosmological Argument](/codex/kalam-cosmological-argument/) for the parallel response.) Failure mode: **equivocation on "cause"**. 4. **Logical-positivist verification criterion is self-defeating.** The verification principle itself is unverifiable; the school collapsed on this objection (Hempel, Popper, Quine all delivered the death-blows by mid-century). Demanding empirical verification of metaphysical principles assumes a verificationism that no philosopher of science holds today. Failure mode: **self-defeating epistemology**. ### Live-cite kit - **Scripture:** [Romans 11:36](/codex/romans-11-36/) ("from Him and through Him and to Him are all things"); [Colossians 1.16-17](/codex/colossians-1-16-17/) ("in Him all things hold together"); [Acts 17:25](/codex/acts-17-25/), [28](/codex/acts-17-28/) - **Scholarly:** Leibniz, *Monadology* §32; *Principles of Nature and Grace* §7-8; Pruss, *The Principle of Sufficient Reason* (2006); Koons, *Realism Regained* (2000); Pruss & Rasmussen, *Necessary Existence* (2018); Della Rocca, "PSR" (*Philosophers' Imprint*, 2010) - **Aphorism:** "Either everything has an explanation, or science was always making an exception for itself." ### Tactical notes - Defend the *weak* PSR, not the strong. The strong form invites modal-collapse worries that don't help the argument. - Lead with "presupposed by science" if the opponent is naturalist, it makes the asymmetry of denying PSR vivid. - **Do NOT defend determinism.** PSR is compatible with libertarian free will (agent-causation satisfies PSR). - Force-commit move: "Do you grant that 'why does X exist?' is always a meaningful question? If yes, you have PSR. If no, why is the cosmos uniquely exempt?" --- ## P2-P3, The universe (and any collection of contingent beings) is contingent ### Affirmative case (second-order arguments) 1. **Every observed thing is contingent.** Stars, planets, organisms, atoms, fundamental particles, all could have failed to exist; all came into being and will pass out of being on cosmological / thermodynamic timescales. The contingency of every part is well-established empirically. 2. **Cosmological contingency: physical constants could have been otherwise.** The standard model has ~25 free parameters; the cosmological constant could have differed; the laws themselves are not logically necessary. Whatever the universe's specific configuration is, it is one of an enormously larger space of *coherent alternatives* that could have obtained. (See [Fine-Tuning Argument](/codex/fine-tuning-argument/).) This is a strong empirical mark of contingency. 3. **Whole-of-collection contingency follows from part contingency for the right kind of property.** Pruss & Koons: contingency is not an "additive" property like color or weight (Hume's worry); it is a *modal status*, could-fail-to-exist. If every member of the collection could fail, the collection itself could fail (the empty conjunction is logically possible). The whole has no resources outside its members to ground necessity. (Pruss, *PSR*; Koons, *Realism Regained*.) 4. **The universe shows none of the marks of necessity.** Necessary existents have their existence by their nature, their non-existence is logically impossible. No physical theory has ever shown this for the universe; no philosopher has produced a defensible account on which the specific cosmos we inhabit is metaphysically necessary. The "universe is necessary" move is a placeholder, not an argument. ### Anticipated objections 1. **"Hume's compositional fallacy: the universe-as-a-whole need not inherit the contingency of its parts."** A pile of stones can have properties no individual stone has. 2. **"The universe (or some basic substrate, quantum vacuum, multiverse) could be necessary."** Russell-style "brute" or substantive-necessity moves. 3. **"P2 is unverifiable, we can't see the alternatives."** How do we know the universe could have failed to exist? 4. **"Necessity is a confused notion when applied to physical reality."** Quine-style skepticism about modal categories. ### Rebuttals 1. **The composition-fallacy charge is itself fallacious here.** Composition fallacies fail when the property in question is not closed under aggregation (e.g., "every part is small" doesn't entail "the whole is small"). But contingency *is* closed under aggregation: if every part could fail, the whole could fail (by parts simultaneously failing). This is not composition; it is modal logic. The whole-of-contingents is contingent. (Pruss, *PSR*, ch. 16.) Failure mode: **misapplied composition charge**. 2. **"The universe could be necessary" requires positive argument, not just possibility.** No physicist or philosopher has ever derived the universe's specific configuration from its essence; none has shown its non-existence is contradictory. The proposal floats. Even granted, a *necessary* universe would be either (a) so specifically necessary that quantum-mechanical indeterminism is illusory (which contradicts physics) or (b) the multi-verse-of-all-possible-worlds (in which case our specific universe is contingent on which sub-region we're in, multiverse defers the contingency, doesn't dissolve it). Failure mode: **contingency-deferral**. 3. **The verifiability complaint cuts both ways.** The opponent who denies P2 is also making a modal claim (the universe couldn't have been otherwise) without empirical verification. Modal claims are settled by metaphysical analysis, not direct empirical observation. The empirical evidence, laws with free parameters, alternatives describable by physics, points strongly to contingency. 4. **Quine's modal skepticism is a niche position contradicted by mainstream analytic metaphysics.** Modal logic (Kripke, Plantinga, Lewis) is now standard apparatus. Necessity / contingency are well-formed philosophical categories with rich technical literature. The Quinean dismissal is a 1950s position that did not survive the modal turn. ### Live-cite kit - **Scripture:** [Genesis 1.1](/codex/genesis-1-1/) ("In the beginning God created", created things have a beginning; the Creator does not); [Hebrews 1:11](/codex/hebrews-1-11/) (heavens "perish, but You remain"); [Psalm 102:25-27](/codex/psalms-102-25-27/) (created things change; God is the same) - **Scholarly:** Pruss, *PSR* (2006), ch. 16-17; Koons, *Realism Regained* (2000); Pruss & Rasmussen, *Necessary Existence* (2018); Plantinga, *The Nature of Necessity* (1974); Brian Leftow, *God and Necessity* (2012) - **Aphorism:** "A pile of contingencies, however large, is still a contingency." ### Tactical notes - Get the opponent to distinguish *part* contingency from *whole* contingency before they can deploy Hume's composition objection. Once distinguished, the modal point about closure under aggregation lands. - If the opponent goes "necessary universe," ask: "By what argument? What property of the universe is supposed to entail its existence?" Force them to defend. - **Do NOT defend a temporal beginning of the universe.** That's Kalam's terrain. The contingency argument runs even on past-eternal cosmology. Don't carry Kalam's load. - Force-commit move: "Is there a possible world in which the universe does not exist? If yes, P2 is granted. If no, defend that claim." --- ## P4-P5, The cause must itself be a Necessary Being ### Affirmative case (second-order arguments) 1. **Regress termination.** A series of contingent causes, each requiring further explanation, must terminate in something whose explanation is intrinsic, i.e., in a being whose existence is grounded in its own nature. Any other terminus (brute fact, infinite regress) violates PSR. (Aquinas, *ST* I.2.3 ad 7; Leibniz, *Monadology* §37-38.) 2. **A Necessary Being's existence is its essence.** *Ipsum esse subsistens*: the Necessary Being is identified by classical theism as the being in which essence is identical with existence. Aseity, self-existence, is the fundamental divine attribute. (Aquinas, *ST* I.3.4; see [Ipsum Esse Subsistens](/codex/ipsum-esse-subsistens/), [Actus Purus](/codex/actus-purus/), [Divine Simplicity](/codex/divine-simplicity/).) 3. **Conceptual properties of the Necessary Being match classical theism.** Uncaused, immaterial (matter is contingent), eternal (timeless), unique (two Necessary Beings would limit each other and thus not be self-sufficient), and the source of all derivative being. The conceptual cluster is the divine attribute-cluster of classical theism. ### Anticipated objections 1. **"The Necessary Being might not be God, it might be the universe or a brute substrate."** Russell-style; or "necessary impersonal substrate" moves. 2. **"This proves at most a deistic First Cause, not the Christian God."** Standard challenge: bare necessity doesn't get to a personal, moral, redemptive God. 3. **"Why a necessary *being* rather than a necessary *fact* or *law*?"** Process / structuralist alternatives. ### Rebuttals 1. **The Necessary Being cannot be the universe (already shown contingent in P2-P3) and cannot be a brute substrate (because brute substrates are contingent posits, they could have been otherwise).** A genuinely necessary being has its existence by its nature; this rules out anything whose specific configuration could differ. The universe and any contingent substrate fail this test. The Necessary Being must be characterized by aseity, and aseity points toward a being whose nature *is* existence. 2. **The "deistic First Cause" challenge is correct as stated, and not a defeater.** The contingency argument is one stage in a [Cumulative Case for Christian Theism](/codex/cumulative-case-for-christian-theism/). It establishes a Necessary Being with the conceptual properties of classical theism; further argument (moral, historical-Resurrection, comparative-religion) gets to the specifically Christian God. The standalone argument doesn't try to do all the work; it does its piece well. 3. **"Necessary fact" or "necessary law" requires a substrate to instantiate it.** Laws are abstract structures; they need concrete instantiation. The platonic move ("uninstantiated necessary law") faces its own metaphysical challenges (how do abstract objects do causal work?). The classical-theist account, Necessary Being whose nature is the source of all contingent being, is more parsimonious and explanatorily powerful. (Plantinga, *Does God Have a Nature?*; Leftow, *God and Necessity*.) ### Live-cite kit - **Scripture:** [Exodus 3.14](/codex/exodus-3-14/) ("I AM WHO I AM", the divine self-disclosure as Being itself); [Acts 17:24-28](/codex/acts-17-24-28/) (God who made the world doesn't dwell in temples, He's the source); [Revelation 1:8](/codex/revelation-1-8/) ("the Alpha and the Omega") - **Scholarly:** Aquinas, *ST* I.2.3 (Third Way), I.3.4 (essence-existence); Leibniz, *Monadology* §32-39; Plantinga, *Does God Have a Nature?* (1980); Leftow, *God and Necessity* (2012); Feser, *Five Proofs of the Existence of God* (2017); Edward Feser, *Aquinas* (2009) - **Aphorism:** "Nothing contingent grounds itself; the buck has to stop at *I AM*." ### Tactical notes - Lead with regress-termination if the opponent is philosophically sophisticated; lead with "the Necessary Being's properties match the classical-theist God" if the opponent is theologically engaged. - **Do NOT defend specifically Christian (Trinitarian) theism on this premise.** That is downstream work for [Christian God is the Only True God](/codex/christian-god-is-the-only-true-god/). Here, only get to the Necessary Being. - Force-commit move: "Granted a Necessary Being, what positive properties must it have? Walk through them with me." Lead them through aseity → immateriality → eternality → uniqueness. --- ## The modal-class distinctness reductio The sharpest way to see why the explainer of contingency must be *necessary* is a short reductio on the modal class of the explanation itself. Let **C** be the totality (the sum) of all contingent beings. 1. By the Principle of Sufficient Reason, C has an explanation, call it **E**. 2. E is either contingent or necessary; there is no third modal class. 3. Suppose E is contingent. Then E is itself one of the contingent beings, so E is a part of C (C just *is* the sum of all contingent beings). 4. Then E figures in the explanation of a whole that contains E, so E is part of the explanation of its own existence. 5. But no contingent being contains the sufficient reason for its own existence; that is what "contingent" means on the existence question (the aseity clause). 6. Contradiction. So E is not contingent. 7. Therefore **E is necessary.** The payoff is a principle about explanation itself: **the explanans and the explanandum cannot share a modal class.** A contingent explainer of the total contingency collapses into self-explanation, which contingency forbids by definition. The explainer must lie outside the contingent order, and the only thing outside the contingent order is the necessary. This is why the terminus of the regress is not "a further, better-hidden contingent thing" but a being of a different *kind*: one whose existence is grounded in its own nature. Note the escape this closes. An opponent may try: *"then C simply has no explanation, because a necessary explainer is incoherent."* But if a necessary being is not logically impossible (possibly a necessary being exists), a necessary explainer is available and PSR is not forced into failure. There is even a faster route in the neighborhood: in S5 modal logic the mere possibility of a necessary being entails its actuality, which is the terrain of the [Modal Ontological Argument](/codex/modal-ontological-argument/). Keep the two arguments distinct: the reductio here reaches necessity through *explanation*; the modal-ontological route reaches it through *possibility* alone. ### Where an opponent pushes on the reductio 1. **"Redefine C to exclude E, and E can be contingent."** Then C is no longer *the totality* of contingent beings, and you have conceded a contingent being outside your "totality" that still needs explaining. The regress reopens and terminates in the same place. Failure mode: **gerrymandered totality**. 2. **"Self-explanation is fine for a contingent thing."** Then the term "contingent" has been abandoned: a thing that contains the sufficient reason of its own existence is, by that fact, necessary. The move concedes the conclusion under a different name. Failure mode: **redefinition into necessity**. 3. **"C could be explained by its parts explaining each other, with no single self-explainer."** Mutual explanation among contingents is still explanation *from within* C; the conjunction of all those local explanations is itself a contingent fact requiring explanation, and no member supplies it. Failure mode: **circle inside the explanandum**. ## Time and the first cause A common objection reopens the regress in the *temporal* dimension: *"if the necessary being caused everything, what came before it, and what caused it?"* The reply is that time itself is contingent, so time is one of the members of C. The necessary being explains C, therefore it explains time, and nothing can be temporally prior to what grounds time. There is no "before" on the far side of the first cause, because "before" is a relation *internal* to the thing being caused. Asking what happened before the first cause is like asking what lies north of the North Pole; the coordinate runs out before the question can be posed. Augustine put it in the fifth century: the world was made not in time but together with time (*Confessions* XI; *City of God* XI.6). This forces a distinction the objection quietly ignores: - **Temporal priority**, the earlier-than relation among events in time. - **Causal or ontological priority**, the effect depending on the cause for its being, whether or not it comes later. These come apart. A weight resting on a cushion grounds the depression with no moment at which the depression is absent; the depression depends on the weight without following it in time. So the first cause causes without temporally preceding its effect. Its priority to time is the priority of ground to grounded, not of yesterday to today. This is also why the necessary being must be *changeless* and so *timeless*: change is succession, succession is time, time is contingent and caused, so the uncaused ground of time undergoes no succession (the classical [Actus Purus](/codex/actus-purus/) point, reached from the side of time rather than stipulated). There is atheist-internal support for the underlying move. [Michael Huemer](/codex/michael-huemer/) and Ben Kovitz argue in "Causation as Simultaneous and Continuous" (*The Philosophical Quarterly* 53, 2003) that *all* direct causation is simultaneous with its effect: if the effect came strictly after the cause, the cause would be producing it at a time when the cause no longer exists, which is impossible. If even ordinary billiard-ball causation is simultaneous, then demanding that the cause of the universe temporally *precede* the universe is not a special requirement the theist is dodging; it is a demand that is false of causation as such. Huemer draws no theological conclusion (he is not a theist), so the point is on loan from an independent source, not smuggled in. One honest qualification. Huemer's simultaneity has cause and effect *coexisting* at one time, which fits the picture on which the cause is simultaneous with the first state of the world (the necessary being timeless without creation and temporal with creation, in Craig's formulation) more cleanly than the strict Boethian picture of a wholly atemporal cause. A skeptic can press this: if all causation is simultaneous and coexistent, the cause of the first moment exists *at* that moment. The classical-theist answer runs through the temporal-at-creation reading, not the strictly atemporal one. The objection is answerable; it is not pre-empted. --- ## Conclusion **Therefore a Necessary Being exists, which is the cause of all contingent existence.** The conclusion follows by valid deductive inference from PSR + universe-contingency + necessary-being properties. The Christian identification of this Necessary Being with God depends on the further-developed cumulative case (see [Christian God is the Only True God](/codex/christian-god-is-the-only-true-god/), [Cumulative Case for Christian Theism](/codex/cumulative-case-for-christian-theism/)). ## Master objections to the argument as a whole 1. **"This is just god-of-the-gaps in fancy clothing."** Reply: god-of-the-gaps fills explanatory gaps with God *until* a naturalistic explanation arrives. Contingency-argument runs from the structural fact of contingent existence, no future-physics could fill the explanatory role of a Necessary Being, because future-physics would itself be contingent and require explanation. 2. **"Even granted, you've reached only an abstract metaphysical posit, not a worship-worthy God."** Reply: correct as a standalone, the argument is one stage. The Necessary Being's conceptual properties (aseity, immateriality, eternity, uniqueness) constrain candidates; combined with [Moral Argument](/codex/moral-arguments/), [Argument from the Resurrection](/codex/argument-from-the-resurrection/), and [Christian God is the Only True God](/codex/christian-god-is-the-only-true-god/), the cumulative case identifies this Necessary Being with the Christian God. 3. **"The argument is question-begging, assuming there must be an ultimate explanation."** Reply: PSR is the assumption, and PSR is itself widely defended (see P1 affirmative case). Denying PSR has high costs; affirming it commits one to the contingency conclusion. The dialectical landscape is well-mapped. 4. **"Multiverse, every possible universe exists; none requires explanation."** Reply: multiverse is itself either contingent (then what grounds it?) or necessary (then defend that claim, and face the question why *this* multiverse-with-these-laws exists rather than another). Multiverse defers; doesn't dissolve. ## Tactical opening / closing **Opening line:** "Even on a past-eternal universe, contingent things require explanation. Want to walk through what kind of explanation?" **Closing landing strip:** "A Necessary Being whose nature is existence is what 'God' has always meant in classical theism. The argument doesn't get you all the way to the Trinity, but it gets you to the *kind* of being who could be the God of the Trinity. The next question is whether He's revealed Himself. (Resurrection?)" ## Aquinas's Third Way (textual anchor) > We find in nature things that are possible to be and not to be… but it is impossible for these always to exist, for that which is possible not to be at some time is not… If everything is possible not to be, then at one time there could have been nothing in existence… Therefore, not all beings are merely possible, but there must exist something the existence of which is necessary. (*Summa Theologiae* I, q.2, a.3) The full per-premise debate-prep treatment of Aquinas's Third Way (with its distinct premises and per-se-regress logic) is at [Third Way - Contingency](/codex/third-way-contingency/). This page is the broader contingency-argument hub and treats both the Aquinas and Leibnizian forms. ## Connection to Scripture - [Exodus 3.14](/codex/exodus-3-14/), *ehyeh asher ehyeh*, "I AM WHO I AM", biblical self-disclosure of the Necessary Being. See [H1961 - hayah](/codex/h1961-hayah/) and [H3068 - YHWH](/codex/h3068-yhwh/) for linguistic foundation. - [Genesis 1.1](/codex/genesis-1-1/), created things have a beginning; the Creator does not - [Romans 11:36](/codex/romans-11-36/), "from Him and through Him and to Him are all things" - [Colossians 1.16-17](/codex/colossians-1-16-17/), "in Him all things hold together" - [Acts 17:24-28](/codex/acts-17-24-28/), God doesn't dwell in temples; He gives life to all - [Hebrews 1:11-12](/codex/hebrews-1-11-12/), created things "perish, but You remain" - [Revelation 1:8](/codex/revelation-1-8/), "the Alpha and the Omega" ## Patristic / scholarly note **Classical / patristic / medieval:** - Avicenna (*Metaphysics* IX, 11th c.), essence-existence distinction; Aquinas inherits and Christianizes - Maimonides (*Guide for the Perplexed* II.1), Jewish parallel - Aquinas (*Summa Theologiae* I.2.3, Third Way; I.3.4 essence-existence), the locus classicus - Bonaventure, Franciscan parallel formulations **Modern:** - Gottfried Leibniz, *Monadology* §32-39; *Principles of Nature and Grace* §7-8 (the canonical PSR-formulation) - Samuel Clarke, *A Demonstration of the Being and Attributes of God* (1705) - Alvin Plantinga, *The Nature of Necessity* (1974); *Does God Have a Nature?* (1980) - Robert Koons, *Realism Regained* (2000) - Alexander Pruss, *The Principle of Sufficient Reason* (2006); *Necessary Existence* (with Rasmussen, 2018) - Michael Huemer & Ben Kovitz, "Causation as Simultaneous and Continuous," *The Philosophical Quarterly* 53 (2003), atheist-internal support for causal-priority-without-temporal-priority (see [Michael Huemer](/codex/michael-huemer/) and "Time and the first cause" above) - Edward Feser, *Five Proofs of the Existence of God* (2017), ch. 5 - Brian Leftow, *God and Necessity* (2012) - Joshua Rasmussen, *Necessary Existence* (2018); *How Reason Can Lead to God* (2019) **Critics:** - David Hume, *Dialogues Concerning Natural Religion* (1779) - Bertrand Russell, *Why I Am Not a Christian* (1927); BBC debate with F. C. Copleston (1948) - J. L. Mackie, *The Miracle of Theism* (1982) - Peter van Inwagen, *An Essay on Free Will* (1983); modal-collapse objection - Graham Oppy, *Arguing about Gods* (2006) ## See also - [Cosmological Arguments](/codex/cosmological-arguments/), parent concept hub - [Kalam Cosmological Argument](/codex/kalam-cosmological-argument/), the temporal-beginning sister argument - [Aquinas Five Ways](/codex/aquinas-five-ways/), classical natural theology parent - [Third Way - Contingency](/codex/third-way-contingency/), Aquinas's per-premise version with the medieval-temporal step - [First Way - Motion](/codex/first-way-motion/), [Second Way - Efficient Causality](/codex/second-way-efficient-causality/), sister Aquinas Ways - [Modal Ontological Argument](/codex/modal-ontological-argument/), different argument family but parallel necessary-being terminus - [Necessary vs Contingent Being](/codex/necessary-vs-contingent-being/), load-bearing distinction - [Principle of Sufficient Reason](/codex/principle-of-sufficient-reason/), load-bearing P1 - [Michael Huemer](/codex/michael-huemer/), atheist author of the simultaneous-causation thesis cited in "Time and the first cause" - [Ipsum Esse Subsistens](/codex/ipsum-esse-subsistens/), the Necessary Being's metaphysical identity - [Actus Purus](/codex/actus-purus/), [Divine Simplicity](/codex/divine-simplicity/), adjacent classical-theist apparatus - [Modal Logic](/codex/modal-logic/), modern formalization - [Cumulative Case for Christian Theism](/codex/cumulative-case-for-christian-theism/), meta-frame - [Christian God is the Only True God](/codex/christian-god-is-the-only-true-god/), comparative-religion stage - [Modus Ponens](/codex/modus-ponens/) - [Reductio ad Absurdum](/codex/reductio-ad-absurdum/) - [Exodus 3.14](/codex/exodus-3-14/), biblical anchor for divine aseity - [Thomas Aquinas](/codex/thomas-aquinas/), Avicenna, [Gottfried Leibniz](/codex/leibniz/), entity hubs - [Arguments](/codex/arguments/), master index
## Common questions this page answers **Q: What is the contingency argument for God?** It reasons from things that could have failed to exist (contingent beings) to a being that could not have failed to exist (necessary being). Every contingent thing requires an explanation; a chain of contingent things, however long, cannot explain itself; the chain must terminate in a being whose existence is grounded in its own nature, what classical theism calls God. **Q: How is the contingency argument different from the Kalam?** The [Kalam Cosmological Argument](/codex/kalam-cosmological-argument/) requires the universe to have a temporal beginning. The contingency argument does not. Even an eternal universe is still a contingent universe, it could have been otherwise, and so it requires an external explanation. This makes contingency more robust against multiverse and eternal-cosmology rescues. **Q: What is the Principle of Sufficient Reason?** The [Principle of Sufficient Reason](/codex/principle-of-sufficient-reason/) states that everything that exists has an explanation for its existence, either in the necessity of its own nature or in an external cause. Leibniz formalized it in *Monadology* §32. To deny it is to deny that "why?" is ever a real question. **Q: Couldn't the universe itself be the necessary being?** No. A necessary being is one whose non-existence is logically impossible. The universe shows every sign of contingency: its constants could have been different, its laws are not logically necessary, and its specific configuration is one of many possibilities. No physicist or philosopher has ever shown the universe to be necessary. **Q: Who developed the contingency argument?** Avicenna (11th century Islamic philosopher) developed an early version; [Thomas Aquinas](/codex/thomas-aquinas/) systematized it as the [Third Way - Contingency](/codex/third-way-contingency/) in *Summa Theologica* I.2.3; Gottfried Leibniz gave the modern Principle of Sufficient Reason formulation in *Monadology* §32. Contemporary defenders include Robert Koons, Alexander Pruss, and Joshua Rasmussen. **Q: Doesn't this commit the fallacy of composition?** No. The argument is not "every part of the universe is contingent, therefore the universe is contingent" (which would be a composition fallacy). It is that the universe's specific configuration could have been otherwise, which is contingency by definition, and contingency requires explanation regardless of whether it characterizes a part or a whole. **Q: Why must the explanation of contingency be a necessary being rather than another contingent thing?** Because a contingent explainer of the totality of contingent things would itself be one of those contingent things, so it would be part of what it is explaining, which makes it part of the explanation of its own existence. But nothing contingent contains the sufficient reason for its own existence. So the explainer cannot be contingent; it must be of a different modal class, a necessary being. The explanation and the thing explained cannot share a modal class. **Q: What was there before the first cause, or before God?** There was no "before." Time is itself a contingent, created thing, so it is part of what the first cause explains, and nothing can be temporally earlier than what grounds time. "Before the first cause" is not a hard question but a malformed one, like asking what lies north of the North Pole. The first cause is prior to time in the sense of being its ground, not in the sense of coming earlier on a timeline.