The Argument from Possibility and Necessity is Aquinas’s modal cosmological argument claiming that because contingent beings exist and not all beings can be contingent, there must exist at least one necessary being, which he identifies with God. It infers a metaphysically necessary, uncaused being from the existence and temporality of contingent beings and the impossibility of an infinite regress of necessary beings requiring causes.
At a Glance
- Type
- formal argument
- Attributed To
- Thomas Aquinas
- Period
- c. 1265–1274 CE (High Middle Ages, Latin Scholasticism)
- Validity
- controversial
1. Introduction
The Argument from Possibility and Necessity—often called Aquinas’s Third Way—is a form of cosmological argument that reasons from the existence of contingent beings to the existence of at least one necessary being. It is framed in terms of what could have been otherwise (possibility) and what could not have been otherwise (necessity), rather than in terms of temporal beginnings alone.
In outline, the argument starts from the observation that many things in the world are contingent: they come into existence and pass away, and it seems they might not have existed at all. It then contends that if everything were contingent in this way, there could have been a state in which nothing existed. From there, it claims that if there were ever absolutely nothing, nothing would exist now. Since things do exist, not everything can be contingent; therefore at least one necessary being must exist, whose non‑existence is impossible and which ultimately explains the existence of contingent beings. Aquinas identifies this being with God.
Philosophically, the argument occupies the intersection of metaphysics, modal logic, and the philosophy of religion. It presupposes some notion of metaphysical necessity, a background view about causal explanation or dependence, and a stance on the acceptability of infinite regresses of explanation. It has been interpreted both as a medieval metaphysical proof grounded in Aristotelian–Thomistic concepts such as act and potency, and as a precursor to modern modal cosmological arguments formulated in possible‑worlds terms.
The Third Way has played a significant role in natural theology and in the development of classical theism, where God is conceived as a necessary, self‑existent, and ultimate explanatory ground of reality. At the same time, it has attracted sustained criticism from empiricist, analytic, and naturalistic philosophers, who question its assumptions about contingency, necessity, explanation, and the need for a terminating necessary being.
Subsequent sections examine the historical origins of the argument, its textual formulation, its logical and modal structure, key concepts, major objections, and its later reconstructions and influence.
2. Origin and Attribution
The Argument from Possibility and Necessity is most closely associated with Thomas Aquinas (1224/5–1274), who presents it as the Third Way in Summa Theologiae I, q.2, a.3. It appears as one of his five short “ways” to show that God exists, each appealing to different features of the world. The Third Way is distinctive in focusing on possibility and necessity rather than on motion, efficient causation, or degrees of perfection.
Aquinas’s Role
Aquinas is generally regarded as the originator of this specific formulation. While he draws heavily on earlier philosophical traditions, the precise structure in terms of “possible to be and not to be” and “necessary through another vs. through itself” is characteristic of his own metaphysical framework. As such, the argument is typically labeled Thomistic and distinguished from later Leibnizian or Kalam cosmological arguments.
Pre‑Aquinian Influences and Related Attributions
Historians usually emphasize that Aquinas adapts themes from earlier Aristotelian, Neoplatonic, Islamic, and Jewish thinkers rather than inventing the broader idea of an argument from contingency. Key figures include:
| Thinker | Relevant Idea | Typical Relation to Aquinas |
|---|---|---|
| Aristotle | Unmoved mover, necessary being in Metaphysics Λ | Conceptual source for necessity and first cause |
| Avicenna (Ibn Sīnā) | Distinction between necessary in itself and possible in itself | Major structural precursor to the Third Way |
| Maimonides | Arguments from the dependence and mutability of the world | Background for medieval Jewish and Christian natural theology |
Some scholars therefore describe Aquinas’s Third Way as a Christian Scholastic development of Avicennian metaphysics, set within an Aristotelian framework.
Later Receptions and Misattributions
In early modern and contemporary discussions, the Third Way is sometimes grouped under the generic label “argument from contingency”, occasionally leading to its conflation with Leibniz’s argument or other modern modal arguments. Specialists typically distinguish “Aquinas’s Third Way” from these, attributing to Aquinas a distinct set of metaphysical assumptions.
Overall, the consensus view attributes the canonical form of the Argument from Possibility and Necessity to Aquinas, while recognizing its deep dependence on and transformation of earlier metaphysical doctrines.
3. Historical Context and Precursors
The Third Way arises within the High Middle Ages, during the period of Latin Scholasticism when newly translated works of Aristotle and major Islamic and Jewish philosophers were being systematically integrated into Christian theology.
Scholastic and Intellectual Context
Aquinas composed the Summa Theologiae (c. 1265–1274) in an academic milieu dominated by:
- The institutional life of medieval universities (Paris, Naples), where theology and philosophy were taught in an integrated curriculum.
- A methodological emphasis on disputed questions, rigorous logical analysis, and synthesis of authorities (Scripture, Church Fathers, Aristotle, and others).
- Ongoing debates about the compatibility of Aristotelian philosophy with Christian doctrine, especially concerning eternity of the world, causation, and God’s nature.
Within this context, the Third Way functions as one of several concise “ways” intended to show that belief in God can be supported by philosophical reasoning using commonly accessible premises.
Major Precursors
Several earlier traditions anticipate core elements of the Argument from Possibility and Necessity:
| Tradition / Thinker | Key Contribution to the Third Way Theme |
|---|---|
| Aristotle (Metaphysics Λ) | Conception of a necessary, unmoved mover whose existence is required to explain motion and change; discussion of eternal substances vs. corruptible beings. |
| Neoplatonism (Plotinus, Proclus) | Idea of a first principle or One from which all contingent reality emanates; emphasis on ontological dependence. |
| Avicenna (Ibn Sīnā) | Systematic distinction between necessary in itself and possible (contingent) in itself but necessary through another; an explicit argument that the existence of contingent beings requires an absolutely necessary being. |
| Maimonides (Guide of the Perplexed) | Arguments from the dependence and mutability of the world to a necessary, non‑contingent deity. |
| Augustine | Emphasis on immutable, necessary truths and their dependence on God, providing a theological backdrop for attributing necessity to God. |
Aquinas’s Adaptation
Aquinas integrates these strands into a distinctively Thomistic synthesis:
- From Aristotle, he adopts a framework of act and potency, substance, and causation.
- From Avicenna, he takes the terminology and structure of necessary vs. possible beings and the idea of a being necessary through itself.
- From Christian theology, he incorporates the notion of creation ex nihilo and a robust concept of divine aseity (self‑existence).
The Third Way can thus be situated as a medieval Christian reinterpretation of broader contingency arguments developed across Greek, Islamic, and Jewish philosophy.
4. Textual Basis in the Summa Theologiae
The primary textual source for the Argument from Possibility and Necessity is Thomas Aquinas, Summa Theologiae, Prima Pars, q.2, a.3, where he presents the Five Ways. The Third Way appears as a brief, highly compressed argument.
Core Latin Passage
A central portion of the text reads:
“Tertia via sumitur ex possibili et necessario. Invenimus enim in rebus quaedam quae sunt possibilia esse et non esse… Non ergo omnia entia sunt possibilia, sed oportet aliquid esse necessarium in rebus. Omne autem necessarium aut habet causam suae necessitatis aliunde, aut non… Ergo oportet ponere aliquid quod sit per se necessarium, non habens causam suae necessitatis aliunde, sed est causa necessitatis aliis; quod omnes dicunt Deum.”
— Thomas Aquinas, Summa Theologiae I, q.2, a.3
This passage introduces the key ideas: beings “possible to be and not to be,” the impossibility that all beings are of this sort, the distinction between necessary beings whose necessity is caused and one that is per se necessarium (necessary through itself), and the identification of the latter with God.
Typical English Renderings
Standard translations express the opening and key transitions as:
“The third way is taken from possibility and necessity. We find in nature things that are possible to be and not to be, since they are found to be generated, and to corrupt; and consequently, they are possible to be and not to be… Therefore, not all beings are merely possible, but there must exist something the existence of which is necessary… Therefore we cannot but postulate the existence of some being having of itself its own necessity, and not receiving it from another, but rather causing in others their necessity. This all men speak of as God.”
— trans. Fathers of the English Dominican Province
Different translations vary in how they render “possibilia esse et non esse”, “necessarium per se”, and the temporal or modal nuances of “at some time is not.” These textual choices influence later interpretations of whether Aquinas is making primarily a temporal or a modal claim.
Placement within the Five Ways
Textually, the Third Way:
- Follows the First Way (from motion) and Second Way (from efficient causation), which emphasize causal series.
- Precedes the Fourth Way (from gradation of perfections) and Fifth Way (from teleology).
Many commentators note that the Third Way is very compressed, requiring reconstruction from Aquinas’s wider metaphysical writings (e.g., De Ente et Essentia, Summa contra Gentiles), where he elaborates on necessity, contingency, and causality. The Summa text thus serves as a concise pointer to a larger Thomistic system rather than a fully explicit stand‑alone proof.
5. The Argument Stated in Ordinary Language
In everyday terms, Aquinas’s Argument from Possibility and Necessity can be paraphrased as a sequence of claims about the kinds of things that exist and their dependence.
- Many things we encounter—such as plants, animals, people, and physical objects—come into existence and pass away. They could have failed to exist entirely. These are contingent things.
- If something is of a kind that can fail to exist, then, given enough opportunity, it will at some time not exist.
- Suppose that everything were like this—so that every existing thing were contingent. Then there would be a possibility that, at some time, nothing at all exists.
- But if there were ever a state of affairs in which nothing existed, then nothing could start existing, because nothing comes from nothing.
- Yet there are things that exist now. So it cannot be true that there was once absolutely nothing.
- Therefore, not everything can be contingent. There must be at least one thing that cannot fail to exist—a necessary being.
- Some necessary beings, if they exist, might still depend on something else to be necessary (for example, if their necessity derives from another cause).
- However, there cannot be an infinite chain of necessary beings each depending on a further necessary being to account for its necessity, because then there would be no ultimate source that explains why any of them exist necessarily.
- Hence, there must be at least one self‑existent necessary being whose existence does not depend on anything else and which is the source of necessity for all other necessary beings.
Aquinas finally claims that this being is what people call God, but the everyday‑language presentation above focuses on the main argumentative move: from the existence of contingent beings to the postulation of a necessary, self‑existent reality that ultimately explains them.
6. Formal Logical Structure and Modal Formulation
The Third Way is typically read as a deductive argument whose premises involve modal notions of possibility and necessity, along with assumptions about causal explanation and infinite regress.
Basic Deductive Structure
A common formal reconstruction (already given in the overview) can be streamlined as:
- Some beings are contingent: they exist but possibly might not have existed.
- If every being were contingent, it would be possible that nothing exists.
- If it were (or ever had been) the case that nothing exists, then nothing would exist now (since nothing comes from nothing).
- But something does exist now.
- Therefore, not every being is contingent; at least one necessary being exists.
- Every necessary being is either necessary through another or necessary through itself.
- There cannot be an infinite regress of beings necessary through another.
- Therefore, there exists a being necessary through itself, which is the ultimate source of necessity for others.
This is intended to be logically valid given Aquinas’s metaphysical assumptions; disagreements typically concern the truth or interpretation of key premises.
Modal Formulations
In contemporary possible‑worlds notation, reconstructions often distinguish:
- Contingent being: exists in the actual world but not in all possible worlds.
- Necessary being: exists in every possible world.
One modernized scheme is:
- Let C(x) = “x is contingent,” N(x) = “x is necessary.”
- Let E!x = “x exists in the actual world.”
- Use □ (“necessarily”) and ◇ (“possibly”) operators.
A possible reconstruction:
- ∃x (E!x ∧ C(x)).
- C(x) → ◇¬E!x (for any x): if x is contingent, then it is possible that x not exist.
- Assume for reductio: ∀x (E!x → C(x)).
- From (2) and (3), ◇¬∃x E!x (it is possible that nothing exists).
- Principle: □¬¬∃x E!x (it is impossible that there be no beings at all, given that something exists now and ex nihilo nihil fit).
- Therefore, ¬∀x (E!x → C(x)): some existent is not contingent, i.e. ∃x (E!x ∧ N(x)).
Further premises are then added about derived vs. underived necessity and no infinite regress to infer a being that is necessary “through itself.”
Different philosophers refine this modal formulation by:
- Clarifying what kind of necessity is at issue (metaphysical, not merely logical or physical).
- Making explicit any Principle of Sufficient Reason presupposed.
- Distinguishing temporal from non‑temporal readings of “at some time is not.”
These reconstructions aim to render Aquinas’s medieval reasoning in a form evaluable by modern modal logic while preserving as much of his original intent as possible.
7. Key Concepts: Contingency, Necessity, and Existence
The Third Way hinges on a set of core metaphysical and modal concepts. Interpretations of the argument often turn on how these are understood.
Contingent Being
A contingent being is one that can exist or not exist. In Aquinas’s formulation, such beings:
- Come into being and pass away (they are generated and corrupted).
- Have essences that do not entail their existence; their existence is received from causes.
- Are sometimes glossed as “possible to be and not to be.”
In modern terms, a contingent being is present in the actual world but not in all possible worlds.
Necessary Being
A necessary being is one that cannot fail to exist. Aquinas further distinguishes:
- Necessary per se (through itself): a being whose essence involves existence, not deriving its necessity from anything else.
- Necessary per aliud (through another): a being that exists necessarily given some other cause or condition.
In contemporary modal semantics, a necessary being is typically defined as one that exists in every possible world, though Thomists sometimes caution that Aquinas’s notion is rooted in a broader metaphysics of act and potency rather than formal possible‑worlds analysis.
Metaphysical vs Other Kinds of Necessity
Commentators emphasize that Aquinas’s necessity is primarily metaphysical:
- Logical necessity: true in virtue of logic or meaning alone (e.g., “All bachelors are unmarried”).
- Physical necessity: determined by the laws of nature (e.g., objects with mass attract each other gravitationally).
- Metaphysical necessity: concerns what could not have been otherwise given the natures of things and the overall structure of reality.
Aquinas’s necessary being is claimed to be metaphysically necessary: its non‑existence is said to be impossible given the most fundamental nature of reality.
Existence over Time
The argument also relies on assumptions about existence through time:
- Contingent beings sometimes exist and sometimes do not.
- Aquinas’s phrase “what is possible not to be, at some time is not” is debated: some read it as a claim about temporal inevitability, others as a claim about modal possibility abstracted from time.
How one interprets this step affects whether the Third Way is seen as a temporal argument (about past states of the world) or a more purely modal argument (about possible states of affairs).
These conceptual distinctions form the basis for understanding the later discussion of causal series, the Principle of Sufficient Reason, and the inference to a self‑existent necessary being.
8. Per Se vs Per Accidens Causal Series
Although the Third Way is framed in terms of possibility and necessity, many Thomistic commentators interpret it against Aquinas’s broader distinction between per se and per accidens ordered series of causes. This distinction shapes how the argument addresses infinite regress and the dependence of contingent beings.
Definitions
| Type of Series | Characterization | Example (Thomistic) |
|---|---|---|
| Per accidens (accidental) | Temporally ordered; earlier members can cease to exist while later ones continue; the series’s explanatory power does not depend on the continuing existence of the first cause. | Successive generations in a family: grandparents → parents → children. |
| Per se (essential) | Ordered such that each member’s causal efficacy here and now depends on the prior member; the series as such cannot function without a first member that acts independently. | A hand moving a stick moving a stone; each intermediate cause acts only because it is being moved by the first. |
Relevance to the Third Way
Proponents argue that when Aquinas speaks of necessary beings whose necessity is caused by another, he has in mind an essential (per se) order of dependence:
- A being necessary through another depends here‑and‑now on something else for its necessity.
- A series of such beings, each deriving necessity from a prior, is thought to be analogous to a per se causal chain.
On this reading, the claim that there cannot be an infinite regress of such beings is not a claim about temporal sequences reaching back into the past, but about the impossibility of an endlessly deferred current source of necessity. The series would lack any member with non‑derivative necessity from which others could derive theirs.
Alternative Interpretations
Some scholars question whether the per se/per accidens distinction is explicitly operative in the text of the Third Way, suggesting instead that:
- Aquinas may be relying on a more general intuition that explanations cannot regress infinitely when each step depends on a prior.
- The detailed per se/per accidens framework becomes more explicit in other works and is imported interpretively into the Third Way.
Others maintain that, given Aquinas’s systematic metaphysics, it is reasonable to read his brief remarks about necessary beings and regress in light of this broader distinction, even if it is not fully spelled out in the Summa Theologiae passage itself.
In any case, the notion of a hierarchically ordered dependence—where some members are derivative and one is underived—plays an important role in many contemporary Thomistic defenses of the Third Way.
9. Role of the Principle of Sufficient Reason
The Principle of Sufficient Reason (PSR) states, in broad terms, that for anything that exists or any fact that obtains, there is an adequate reason or explanation why it is so and not otherwise. The extent to which Aquinas’s Third Way presupposes some form of PSR is a central interpretive issue.
Implicit Use of PSR‑Like Ideas
Although Aquinas does not explicitly formulate the PSR in modern terms, several steps in the Third Way are commonly read as relying on related intuitions:
- The move from the existence of contingent beings to the claim that they require something else to account for their existence (“possible to be and not to be” suggests they do not explain their own being).
- The rejection of a state of absolute nothingness giving rise to something (“from nothing, nothing comes”) reflects a demand for an adequate cause or ground of being.
- The denial of an infinite regress of beings necessary through another suggests that explanatory chains cannot be endlessly deferred without a terminating ground.
On this reading, the argument assumes that the totality of contingent beings must have an explanation that cannot itself be contingent in the same way.
Strong vs Weak PSR
Commentators distinguish between stronger and weaker forms of the PSR:
| Version of PSR | Characterization | Alleged Relation to Third Way |
|---|---|---|
| Strong PSR | Every fact, including the existence of the totality of contingent beings, has a complete and non‑contingent explanation. | Some see the Third Way as presupposing this to justify a necessary being explaining the whole. |
| Weaker PSR | At least some types of facts (e.g., existence of contingent beings) require explanation; brute contingency at the most fundamental level is not acceptable. | Others attribute only this weaker principle to Aquinas. |
Those who see Aquinas as compatible with strong PSR often connect his thought to later rationalists like Leibniz, while others stress differences in metaphysical framework.
Debates About PSR in This Context
Critics argue that if one rejects the PSR—especially in its stronger forms—then the motivation for positing a necessary being diminishes, since:
- One might accept the existence of a brute contingent universe or multiverse without further explanation.
- An infinite regress of dependent beings might be regarded as an acceptable explanatory terminus.
Defenders respond that Aquinas’s broader metaphysics treats being as intelligible, and that denying some version of PSR undermines not only theism but also the general project of rational inquiry into why things are the way they are.
In discussions of the Third Way, therefore, clarifying exactly which form of PSR is operative—if any—is crucial for evaluating the argument’s force and presuppositions.
10. From a Necessary Being to the God of Classical Theism
Within the Third Way itself, Aquinas moves from the existence of a necessary being through itself to the claim that this is “what everyone calls God.” Many later discussions question or elaborate this identification.
The Minimal Conclusion of the Third Way
On a narrow reading, the argument establishes only that:
- There exists at least one self‑existent necessary being.
- This being is the ultimate source of necessity for all other necessary beings and of existence for contingent beings.
At this stage, no detailed attributes such as omnipotence, omniscience, goodness, or personal agency have been demonstrated.
Classical Theistic Elaboration
Within Aquinas’s broader system, this minimal necessary being is connected to the God of classical theism through additional arguments and identifications, often found elsewhere in the Summa Theologiae and Summa contra Gentiles. Aquinas argues that the self‑necessary being must:
- Be pure act without potency (to avoid composition and dependence).
- Be simple, not composed of parts (since composition would require a cause).
- Be eternal and immutable (change would imply potentiality and dependence).
- Be unique (two such beings would differ by some feature, implying limitation).
- Possess maximal perfection and attributes like knowledge and will.
These steps use further metaphysical premises about act and potency, simplicity, and perfection, and do not belong strictly to the Third Way itself, but to Aquinas’s larger project.
Alternative Interpretations of the Necessary Being
Some philosophers influenced by the Third Way accept a necessary being but remain neutral or non‑committal about its theological characterization. They may treat the necessary being as:
- A necessary ground of being or “metaphysical substrate” of all reality.
- A necessary set of laws, structure, or principle underlying the universe.
- A necessary multiverse generator or foundational physical reality.
Others adopt a panentheistic or deistic interpretation, seeing the necessary being as related to, but not identical with, the God of traditional theism.
Critical Perspectives
Critics argue that the move from “some necessary being exists” to “the God of classical theism exists” requires many additional premises that are not established by the Third Way alone. They question:
- Whether the necessary being must be personal or conscious.
- Whether it must be morally perfect.
- Whether it must be unique, rather than a plurality of necessary beings.
Defenders typically reply that, for Aquinas, the Third Way is just one step in a more extensive metaphysical ascent from observed features of the world to a richly characterized, classical theistic conception of God.
11. Standard Objections and Critical Responses
The Argument from Possibility and Necessity has been widely discussed and criticized. Several objections have become standard in the literature, often paired with corresponding responses by Thomists and other defenders.
Temporal and Modal Objection
Critics such as J. L. Mackie and Graham Oppy contend that Aquinas illicitly moves from:
- “Each contingent being exists at some times and not at others”
to
- “There is (or was) a time at which nothing exists.”
They argue that, in modern modal logic, from “every being is such that it might not have existed” it does not follow that “there is a possible situation where nothing exists.” A world with an endless succession of overlapping contingent beings could lack any time of total non‑existence.
Responses: Defenders propose that Aquinas’s claim is modal, not strictly temporal: if all beings are contingent, then there is a possible state of affairs with no beings at all, and this is incompatible with the principle that “from nothing, nothing comes.” They reinterpret the argument as concerning possible worlds rather than an actual past time.
Infinite Regress Objection
Influenced by Hume and later philosophers, some critics question Aquinas’s assertion that there cannot be an infinite regress of necessary beings dependent on others. They suggest:
- An infinite series of dependent beings might itself be self‑sufficient.
- Demanding a first necessary being may be unnecessary if each member has its own explanation within the series.
Responses: Thomists often invoke the per se/per accidens distinction, arguing that an infinite regress of essentially ordered, here‑and‑now dependent beings is impossible, because the series as a whole lacks any non‑derivative source of actuality or necessity.
Necessity and Modal Logic Objection
Modern philosophers such as Anthony Kenny and William Rowe question the coherence of Aquinas’s notion of a necessary being in light of contemporary modal semantics. They argue that:
- It is unclear whether Aquinas’s necessity is logical, metaphysical, or something else.
- The connection between “exists necessarily” and divine attributes is under‑argued.
- Aquinas’s framework does not map neatly onto possible‑worlds logic.
Responses: Some defenders reinterpret Aquinas’s necessary being as one that exists in all possible worlds, while stressing that his notion is embedded in a richer account of essence, existence, and act–potency not reducible to modal operators.
Brute Fact and Explanatory Stop Objection
Following Bertrand Russell and others, some philosophers propose that the universe, or a multiverse, may be a brute fact with no further explanation. On this view:
- Demanding an explanation in a necessary being simply shifts the question: why does that being exist?
- Stopping with a necessary being is argued to be no more satisfying than stopping with a contingent whole.
Responses: Supporters of the Third Way appeal to the intelligibility of being and versions of the Principle of Sufficient Reason, maintaining that treating the most fundamental features of reality as brute undermines the project of metaphysical explanation more broadly.
These standard objections and responses set the stage for more recent modal reconstructions and alternative versions of contingency arguments.
12. Modern Modal Reconstructions
In contemporary philosophy, the Third Way has often been reformulated using the tools of modal logic and possible‑worlds semantics. These reconstructions aim to clarify the argument’s structure, address classical objections, and sometimes modify its premises.
Possible‑Worlds Versions
A common strategy is to restate the core intuition:
- Contingent beings exist in the actual world but not in all possible worlds.
- Their existence is taken to require explanation in terms of a necessary being that exists in every possible world.
One influential schema (inspired by, though not identical to, Aquinas) is:
- Every contingent truth has an explanation.
- The fact that there are contingent beings is itself contingent.
- Therefore, there is an explanation of this fact.
- This explanation cannot be contingent (on pain of regress) and must therefore involve a necessary being.
- Hence, a necessary being exists.
This shares affinities with Leibnizian contingency arguments but is often presented as a modernization of the Third Way’s basic insight.
Thomistic Modal Reformulations
Some Thomists, such as Brian Davies and Edward Feser, re‑present the Third Way in explicitly modal yet Aristotelian‑Thomistic terms:
- They interpret “possible to be and not to be” as metaphysical contingency, grounded in essence–existence composition.
- They stress that the argument is not primarily about a temporal beginning but about the impossibility of an absolutely empty possible world if any contingent beings exist.
- They connect the non‑emptiness of every possible world (given some version of PSR) with the existence of at least one necessary, self‑existent reality.
Alternative Modal Approaches
Other philosophers propose variants that:
- Use S5 or related modal systems to argue that if a maximally great or necessary being is possible, then it exists in all possible worlds (more akin to modal ontological arguments, but sometimes combined with contingency reasoning).
- Treat the necessary being more abstractly as a necessary foundation or ground of all contingent facts, without immediate theological commitments.
Critical Assessments
Modern modal reconstructions are subject to their own criticisms:
- Some doubt the applicability of possible‑worlds talk to metaphysical necessity in Aquinas’s sense.
- Others challenge the relevant forms of the Principle of Sufficient Reason or deny that contingent totalities require a non‑contingent explanation.
- There is debate about whether these reconstructions are faithful to Aquinas or represent new arguments inspired by, but distinct from, the Third Way.
Nonetheless, modal reformulations have kept the core idea—linking contingency to a necessary being—active in analytic philosophy of religion.
13. Comparisons with Other Cosmological Arguments
The Argument from Possibility and Necessity belongs to the broader family of cosmological arguments, but it differs in structure, assumptions, and emphasis from other prominent versions.
Comparison with the Kalam Cosmological Argument
The Kalam argument, popular in contemporary apologetics, typically runs:
- Whatever begins to exist has a cause.
- The universe began to exist.
- Therefore, the universe has a cause.
Key differences:
| Feature | Third Way (Aquinas) | Kalam Cosmological Argument |
|---|---|---|
| Focus | Contingency vs necessity of beings | Temporal beginning of the universe |
| Use of time | Often read as non‑essentially temporal or modal | Explicitly about a first temporal moment |
| Role of infinity | Rejects infinite regress of derived necessity (often per se) | Argues against actual infinities in time |
| Source | Medieval Scholastic, Aristotelian–Thomistic | Islamic kalām, modernized with set theory and physics |
Many scholars thus classify the Third Way as a modal cosmological argument, as opposed to the temporal orientation of the Kalam.
Comparison with Leibniz’s Contingency Argument
Leibniz formulates an argument from contingency:
- Every contingent fact has a reason.
- The totality of contingent facts has a reason.
- This reason cannot itself be contingent and must therefore be a necessary being.
Comparisons:
| Aspect | Aquinas’s Third Way | Leibniz’s Argument |
|---|---|---|
| Framework | Aristotelian–Thomistic metaphysics (act/potency, essence/existence) | Rationalist metaphysics, explicit PSR |
| Emphasis | Distinction between possible and necessary beings; regress among necessary through another | Explanatory demand for a sufficient reason of the totality of contingent truths |
| Modality | Medieval notions of metaphysical possibility/necessity, later given modal‑logic reconstructions | More explicit use of possible worlds (esp. in later interpretations) |
Some see the Third Way as a historical precursor to Leibniz’s approach; others stress their differing metaphysical underpinnings.
Comparison with Aquinas’s Other Ways
Within Aquinas’s own Five Ways:
- The First and Second Ways focus on change and efficient causation, often interpreted as concerning per se causal series here‑and‑now.
- The Third Way pivots to modal categories of possibility and necessity.
- The Fourth and Fifth Ways invoke gradation of perfections and teleology.
While the First and Second Ways argue from the actuality of motion and causation to a first unmoved mover or first efficient cause, the Third Way centers on the existence of contingent beings and their alleged need for a necessary being as ultimate ground.
These comparisons highlight that the Third Way is one distinctive strategy among several cosmological arguments, each resting on different empirical starting points and metaphysical commitments.
14. The Argument in Contemporary Philosophy of Religion
In contemporary philosophy of religion, the Argument from Possibility and Necessity is discussed both as a historical artifact of Scholastic thought and as a live option within ongoing debates about cosmological arguments.
Areas of Active Discussion
-
Historical Exegesis
Specialists in medieval philosophy analyze Aquinas’s Latin text, his broader metaphysics, and his Islamic and Aristotelian sources. They debate:- Whether the Third Way is primarily temporal or modal.
- How it fits with Aquinas’s doctrines of act and potency, essence and existence, and creation.
-
Analytic Reconstruction and Assessment
Analytic philosophers often:- Formalize the argument using modal logic and possible‑worlds semantics.
- Evaluate its validity and the plausibility of its premises (e.g., PSR, anti‑regress principles).
- Compare it with other arguments from contingency (e.g., Leibnizian versions).
-
Debates on Necessity and Explanation
The Third Way intersects with broader questions about:- The existence of metaphysically necessary beings.
- Whether the universe (or multiverse) could be a brute fact.
- The legitimacy and scope of the Principle of Sufficient Reason.
Representative Figures and Positions
| Orientation | Representative Figures | General Stance on Third Way |
|---|---|---|
| Thomistic / classical theist | Brian Davies, Edward Feser | Defend updated versions, emphasizing per se causal series and metaphysical necessity. |
| Critical analytic | J. L. Mackie, William Rowe, Graham Oppy | Raise objections about modal inferences, regress, and explanatory assumptions. |
| Sympathetic but revisionary | Richard Swinburne, some “neo‑classical” theists | Accept contingency reasoning but revise or supplement Aquinas’s framework. |
Interdisciplinary Interactions
The argument also features in conversations involving:
- Metaphysicians, who explore necessity, grounding, and dependence.
- Philosophers of science, who consider whether cosmology or quantum physics affects the plausibility of premises about “nothingness” and causation.
- Theologians, who use or modify the Third Way in systematic accounts of natural theology.
Overall, within contemporary philosophy of religion the Third Way is neither universally accepted nor dismissed; it functions as a focal point for discussions about metaphysical explanation, modal reality, and the rational defensibility of belief in a necessary, self‑existent foundation of all that exists.
15. Legacy and Historical Significance
The Argument from Possibility and Necessity has had a substantial impact on the history of philosophy, theology, and metaphysics, shaping later debates about contingency and necessary being.
Influence on Later Thought
- Scholastic and Post‑Scholastic Theology: The Third Way became a standard component of Catholic natural theology, influencing later Thomists and commentators. It contributed to the enduring portrayal of God as a necessary, self‑existent being.
- Early Modern Philosophy: Although rationalists like Leibniz developed their own versions of the argument from contingency, many historians see thematic continuities with Aquinas’s focus on contingent beings requiring a necessary ground.
- Neo‑Thomism: In the 19th and 20th centuries, movements to revive Thomistic philosophy (e.g., under Leo XIII’s encyclical Aeterni Patris) frequently highlighted the Five Ways, including the Third Way, as exemplars of rational theology.
Shaping of Cosmological Argument Taxonomy
The Third Way has helped define the category of modal cosmological arguments, in contrast to:
- Temporal cosmological arguments (e.g., Kalam), centered on beginnings in time.
- Ontological arguments, based on a priori reasoning from the concept of God.
Textbooks and scholarly surveys often treat Aquinas’s Third Way as a canonical example of an argument from contingency.
Role in Debates on Necessity and Contingency
Historical and contemporary discussions of metaphysical necessity, contingency, and existential dependence frequently reference the Third Way as:
- An early, sophisticated attempt to articulate how contingent reality might demand a necessary foundation.
- A touchstone for evaluating the legitimacy of invoking necessary beings in metaphysical explanation.
Ongoing Scholarly Engagement
The argument continues to attract:
- Historically oriented studies, examining its sources in Aristotle, Avicenna, and medieval theology.
- Systematic philosophical analyses, using it to probe questions about the intelligibility of the universe, the acceptability of brute facts, and the nature of causal regress.
Because it sits at the crossroads of metaphysics and theology, the Third Way remains a central case study in how philosophical reasoning has been marshaled to support the existence of a necessary, ultimate ground of reality, and in how such reasoning has been critically appraised across different philosophical traditions.
Study Guide
Contingent being
A being that can exist or not exist, whose existence is not necessary and depends on other factors or causes; in modern terms, it exists in the actual world but not in all possible worlds.
Necessary being
A being that cannot fail to exist, whose non‑existence is impossible and whose existence is not derived from anything else; often characterized as existing in all possible worlds.
Metaphysical necessity
A strong form of necessity concerning what could not have been otherwise given the nature and structure of reality, as distinct from mere logical or physical necessity.
Per se vs per accidens causal series
Per se (essential) causal series are hierarchically ordered so that each member’s present causal power depends here‑and‑now on a prior member; per accidens (accidental) series are temporally ordered where earlier causes can cease while later ones continue.
Principle of Sufficient Reason (PSR)
The principle that for every fact or existent there is an adequate explanation or reason why it is so and not otherwise, in stronger or weaker forms.
Infinite regress
A sequence of entities or explanations without a first member, extending without end in a backward or foundational direction.
Possible world
In modal logic, a complete way reality might have been, used to analyze necessity and possibility by asking whether a given being or proposition holds in all, some, or no possible worlds.
Act and potency
An Aristotelian–Thomistic distinction between actuality (what is fully realized) and potentiality (what could be realized), used to analyze change, causation, and the metaphysical structure of beings.
In the Third Way, how exactly does Aquinas move from the existence of contingent beings to the claim that there must be at least one necessary being? Restate this reasoning in your own words and identify which steps depend on controversial assumptions.
Is the Third Way best interpreted as a temporal argument about a past moment when nothing existed, or as a modal argument about possible states of affairs? Which interpretation fits the text and Aquinas’s wider metaphysics better, and why?
Can an infinite regress of beings ‘necessary through another’ be explanatory, or must there be a being ‘necessary through itself’ at the base? Evaluate Aquinas’s and Hume’s competing intuitions about such regresses.
What role does some version of the Principle of Sufficient Reason play in the Third Way, and how would rejecting PSR (in strong or weak form) affect the argument’s force?
To what extent can Aquinas’s medieval notion of a ‘necessary being’ be captured by modern possible‑worlds semantics (e.g., ‘exists in all possible worlds’)? What might be lost or gained in this translation?
Even if the Third Way succeeds in establishing a necessary being, does it provide any reason to think this being is personal, intelligent, or morally good, as classical theism claims?
Compare Aquinas’s Third Way with Leibniz’s argument from contingency. How do their respective metaphysical frameworks (Thomistic vs. rationalist) shape what they mean by ‘necessary being’ and ‘sufficient reason’?
How to Cite This Entry
Use these citation formats to reference this argument entry in your academic work. Click the copy button to copy the citation to your clipboard.
Philopedia. (2025). Argument from Possibility and Necessity. Philopedia. https://philopedia.com/arguments/argument-from-possibility-and-necessity/
"Argument from Possibility and Necessity." Philopedia, 2025, https://philopedia.com/arguments/argument-from-possibility-and-necessity/.
Philopedia. "Argument from Possibility and Necessity." Philopedia. Accessed December 11, 2025. https://philopedia.com/arguments/argument-from-possibility-and-necessity/.
@online{philopedia_argument_from_possibility_and_necessity,
title = {Argument from Possibility and Necessity},
author = {Philopedia},
year = {2025},
url = {https://philopedia.com/arguments/argument-from-possibility-and-necessity/},
urldate = {December 11, 2025}
}