The Contingency Argument reasons from the modal status of contingent beings — entities that exist but might not have existed — to the existence of a necessary being whose nonexistence is impossible. The core claim is that no aggregation of contingent things can constitute an ultimate explanation, since the aggregate itself remains contingent and requires a ground outside the contingent order. Only a being that exists by the necessity of its own nature can terminate the chain of explanation.
The argument draws on a long tradition. Its medieval roots lie in Ibn Sīnā's modal metaphysics, which influenced Aquinas's Third Way and was systematized further by John Duns Scotus. Leibniz transformed it into the form most familiar today through his Principle of Sufficient Reason. In contemporary analytic philosophy, Alexander Pruss has produced the most rigorous defenses, often in collaboration with Joshua Rasmussen, deploying the resources of modal logic and possible worlds semantics. Robert Koons has developed a closely related version emphasizing the explanation of the totality of contingent facts. Their work has shifted the argument from informal metaphysical reasoning toward formal modal demonstration.
Critics have pressed the argument at multiple points. David Hume's classical objection — that the demand for explanation of the totality may be a category mistake — has been refined by contemporary philosophers including Graham Oppy and Paul Edwards, who argue that explaining each contingent fact individually may exhaust the explanatory project, leaving no further totality to explain. Others, including Peter van Inwagen, have argued that strong versions of the Principle of Sufficient Reason on which the argument depends generate modal collapse, eliminating contingency altogether. Defenders respond with weaker, more carefully restricted versions of the underlying principle.
Among other formulations in the cosmological family, the Contingency Argument operates with modal categories rather than causal or temporal ones. It differs from the First Cause and Thomistic versions in not relying on the impossibility of infinite causal regress — a past-eternal contingent universe would still need a necessary ground. It differs from the Kalam version in not requiring a temporal beginning. It overlaps significantly with the Leibnizian Cosmological Argument, of which it can be considered the contemporary analytic descendant, and with Ibn Sīnā's burhān al-imkān wa-l-wujūb, of which it is in some respects a Western reformulation.