Cosmological arguments

Cosmological arguments are a family of arguments for the existence of God that reason from general features of the world — its existence, its beginning in time, or its contingent nature — to the existence of a cause or explanation beyond the natural order. Unlike ontological arguments, which proceed from the concept of God alone, and unlike teleological arguments, which appeal to specific features of the natural world such as order and complexity, cosmological arguments start from the bare fact that anything exists at all and ask why.⁵ The question they pose is elemental: why is there something rather than nothing, and what accounts for the existence of the universe?

The cosmological argument has been formulated and reformulated across more than two millennia of philosophical thought, from Plato and Aristotle in ancient Greece, through Islamic and Christian medieval philosophy, to Leibniz in the early modern period and analytic philosophers in the present day.¹ Despite their diversity of formulation, all cosmological arguments share a common logical structure: they identify some feature of the world that requires explanation (existence, change, beginning, contingency), invoke a general explanatory principle (every effect has a cause, every contingent thing has an explanation, an actual infinite cannot exist), and conclude that the explanatory chain must terminate in something that possesses the relevant feature in a fundamentally different way — an uncaused cause, a necessary being, or a first cause of temporal becoming.^{5, 1}

Historical development

The earliest recognizable cosmological argument appears in Plato's Laws (Book X), where the Athenian Stranger argues that the ordered motion of the cosmos requires an ultimate source of motion that is self-moving. Plato distinguishes between things that are moved by other things and things that move themselves, arguing that if all motion were transmitted motion, the chain of movers would require a beginning — a soul or self-moving principle that initiates the entire causal series. Because soul is the source of motion for everything else, it must be prior to all bodily existence.^{14, 1}

Aristotle refined this reasoning substantially in Metaphysics XII and Physics VIII. Where Plato posited a self-moving soul, Aristotle argued for an unmoved mover — a being that causes motion not by being moved itself but by being the object of desire and thought. Everything in nature that is in motion, Aristotle argued, is moved by something else; but an infinite regress of movers, each moved by a prior mover, cannot explain why there is motion at all. There must therefore exist a first mover that is itself unmoved, purely actual with no potentiality, and eternally engaged in the activity of self-contemplation.^{12, 1} Aristotle's unmoved mover is not a creator in the sense of producing the world ex nihilo — he held the cosmos to be eternal — but rather a sustaining cause whose ongoing causal influence keeps the celestial spheres in motion.

The cosmological argument underwent a transformation in medieval Islamic philosophy. Thinkers in the kalam tradition of Islamic theology, particularly al-Kindī in the ninth century and al-Ghazālī in the eleventh, rejected the Aristotelian doctrine of an eternal cosmos and argued instead that the universe had a temporal beginning. Al-Ghazālī's formulation in The Incoherence of the Philosophers (1095 CE) argued that an actually infinite series of past events is impossible, that the temporal series of past events is therefore finite, and that a finite temporal series requires a cause that brought it into being.^{13, 2} This kalam argument — from the Arabic word for "speech" or "discourse" — shifted the focus from motion and sustaining causation to temporal origination, a shift whose consequences are still debated in contemporary philosophy of religion.

Thomas Aquinas presented five arguments for God's existence in the Summa Theologiae (I, q. 2, a. 3), three of which are cosmological in character. The First Way argues from the existence of motion to an unmoved mover. The Second Way argues from efficient causation to a first cause. The Third Way argues from the existence of contingent beings — things that come into and go out of existence — to a necessary being whose existence is not derived from anything else.³ Aquinas was careful to distinguish his arguments from the kalam tradition: he held that reason alone cannot demonstrate that the world had a temporal beginning (though he accepted it on the authority of revelation) and constructed his arguments to work even on the assumption of an eternal universe. For Aquinas, the causal series in question is not a temporal sequence stretching backward in time but a hierarchical series of simultaneous dependence — a chain of beings that exist right now only because they are being sustained in existence by a prior cause at this very moment.^{3, 1}

Gottfried Wilhelm Leibniz, writing in the late seventeenth and early eighteenth centuries, advanced the cosmological argument in a new direction by grounding it in the Principle of Sufficient Reason (PSR): for every fact, there must be a sufficient reason why it is so and not otherwise. In his 1697 essay On the Ultimate Origination of Things, Leibniz argued that the existence of the contingent world — a world that exists but need not have existed — requires a sufficient reason that lies outside the series of contingent things. Even if the series of contingent things were infinite, stretching backward without beginning, the entire series as a whole would still require an external explanation. That explanation must be a necessary being whose existence is its own sufficient reason.^{4, 1}

The cosmological argument faced rigorous criticism from David Hume and Immanuel Kant in the eighteenth century. Hume challenged the assumption that every existent thing requires a cause, arguing that the causal principle is a habit of thought rather than a demonstrable truth, and objected that the argument commits a composition fallacy: even if every member of a series has a cause, it does not follow that the series as a whole has a cause.¹¹ Kant argued that all cosmological arguments covertly depend on the ontological argument, because they must establish that the necessary being arrived at is the supremely perfect being of classical theism. These critiques shaped the subsequent history of the debate and remain standard points of reference for contemporary discussions.^{7, 5}

Common logical structure

Despite their differences in formulation, cosmological arguments share a common logical skeleton that can be expressed in three steps: identify a feature of the world that calls for explanation, invoke a principle that demands such explanation, and argue that the explanatory chain must terminate in something fundamentally different from the items in the chain.⁵

The feature in question varies by variant: for kalam arguments, it is the temporal beginning of the universe; for Thomistic arguments, it is the ongoing existence of contingent, dependent beings; for Leibnizian arguments, it is the contingent nature of the entire cosmos. The explanatory principle also varies: the kalam argument appeals to the causal principle that everything which begins to exist has a cause; Thomistic arguments appeal to the impossibility of an infinite regress of essentially ordered (simultaneous, hierarchical) causes; Leibnizian arguments appeal to the Principle of Sufficient Reason.^{1, 5}

The terminus of the explanatory chain is described differently as well. Kalam arguments conclude to a cause of the universe's beginning, which is then argued to be timeless, spaceless, immaterial, and enormously powerful. Thomistic arguments conclude to a being whose existence is not received from anything else — a being that exists by its own nature (a se being). Leibnizian arguments conclude to a necessary being whose non-existence is impossible and whose existence explains why there is something rather than nothing.^{5, 9} Whether and how these termini can be identified with the God of classical theism is a further question addressed within each variant tradition.

The kalam cosmological argument

The kalam cosmological argument, revived and defended in its contemporary form by William Lane Craig, argues from the temporal beginning of the universe to the existence of a transcendent cause.² Its formal structure is as follows:

P1. Everything that begins to exist has a cause.

P2. The universe began to exist.

C. Therefore, the universe has a cause.

The argument is deductively valid: if both premises are true, the conclusion follows necessarily. The philosophical work lies in defending each premise.

Premise 1 is supported by appeal to the metaphysical intuition that something cannot come from nothing without a cause. Craig argues that the denial of P1 leads to the absurd consequence that things could pop into existence uncaused at any time and any place: if there is no causal constraint on the origination of beings, there is no reason why anything and everything does not appear spontaneously from nothing.^{2, 9} Critics have responded that P1 may be true of objects within the universe but inapplicable to the universe itself, since the universe is not an ordinary object and the causal principle may be a feature of the universe's internal structure rather than a law governing the universe's origination.^{7, 8}

Premise 2 is defended on both philosophical and scientific grounds. Philosophically, Craig deploys arguments originating in the medieval kalam tradition: an actually infinite number of things cannot exist in reality (as distinct from mathematics), and a collection formed by successive addition cannot be actually infinite. Since the series of past events is a collection formed by successive addition, the past must be finite, and the universe must have had a beginning.² Scientifically, Craig appeals to Big Bang cosmology and the Borde-Guth-Vilenkin theorem, which establishes that any universe that has on average been expanding throughout its history cannot be past-eternal and must have a past space-time boundary.⁹ Critics of P2 have questioned whether the philosophical arguments against actual infinities are sound, pointing to the mathematical coherence of infinite sets in Cantorian set theory, and have noted that the physical evidence is compatible with models in which the universe has no absolute temporal beginning even if the Big Bang represents a boundary of the current expansion phase.^{8, 7}

If the argument is sound, the cause of the universe must be outside space and time (since space and time are features of the universe that began to exist), immaterial, and of extraordinary power. Craig further argues that the cause must be a personal agent, since only a personal being with free will could produce a temporally finite effect from an eternally existing cause — an impersonal, mechanistically operating cause, if it existed timelessly, would produce its effect from eternity, resulting in an eternal universe rather than one with a beginning.^{2, 9}

The Thomistic cosmological argument

Aquinas's cosmological arguments in the Summa Theologiae differ from the kalam argument in a fundamental respect: they do not depend on the universe having a temporal beginning. Aquinas explicitly held that the eternity of the world cannot be disproved by reason alone, and he constructed arguments that function even if the universe has existed forever.³ The causal series he considers is not a temporal chain of events stretching backward in time but an essentially ordered (or hierarchical) causal series in which causes operate simultaneously. In such a series, each intermediate member possesses its causal power only derivatively, receiving it from a prior member, which in turn receives it from a still prior member.

Aquinas's Second Way, from efficient causation, provides the clearest illustration of this reasoning:

P1. There exist things that are caused (produced or sustained) by other things.

P2. Nothing can be the efficient cause of itself.

P3. An infinite regress of essentially ordered efficient causes is impossible.

C. Therefore, there exists a first efficient cause, which all call God.

The critical premise is P3. Aquinas argues that in an essentially ordered series, every intermediate cause is instrumental — it exercises causal power only insofar as it is being actualized by a prior cause. If the series were infinite, with no first member, there would be no source of the causal power that the intermediate members are transmitting. An infinite chain of instrumentally dependent causes, each borrowing its power from the next, would possess no power to transmit, just as an infinitely long chain of gears, none of which has its own motive force, would never turn.^{3, 1}

Aquinas's Third Way proceeds from the observation that contingent things — things that are generated and corrupted, that come into and go out of existence — populate the natural world. If everything were merely contingent, Aquinas reasons, then it would be possible for everything to fail to exist. Given infinite past time, whatever can fail to exist will at some point fail to exist. If at some point nothing existed, then nothing could ever have come into existence (since nothing comes from nothing), and nothing would exist now. Since things do exist now, there must be something that is not contingent but necessary — something whose existence is not received from another but belongs to it by its own nature.^{3, 15}

William Rowe has offered an influential analysis of the Third Way, arguing that Aquinas's reasoning from "each contingent thing at some time fails to exist" to "there is a time at which all contingent things fail to exist" involves a quantifier shift that is logically invalid: the fact that each individual contingent thing ceases to exist at some time does not entail that there is a single time at which all contingent things cease to exist simultaneously.¹⁵ Defenders of the argument have responded by reformulating the Third Way to avoid the quantifier shift, arguing that the argument's core insight — that a world composed entirely of contingent beings requires a ground of existence that is itself non-contingent — can be preserved without the disputed inference.⁵

The Leibnizian cosmological argument

The Leibnizian cosmological argument, sometimes called the argument from contingency, is grounded in the Principle of Sufficient Reason (PSR): for every fact, and for every entity that exists, there must be a sufficient reason why it exists and why it is as it is rather than otherwise.⁴ The argument proceeds as follows:

P1. Every contingent fact has an explanation (Principle of Sufficient Reason).

P2. There is a contingent fact that includes all other contingent facts (the existence of the contingent universe as a whole).

P3. The explanation of this totality cannot itself be contingent (on pain of circularity or incompleteness).

C. Therefore, there exists a necessary being that explains the existence of the contingent universe.

Leibniz emphasized that even if the series of contingent things extended infinitely into the past, the question of why this particular series exists rather than some other series, or rather than nothing at all, would remain unanswered. Imagine, he proposed, an infinite series of geometry books, each copied from the one before it. The fact that each copy was produced from a prior copy explains its content but not why geometry books exist at all. Similarly, an infinite causal chain of contingent events would explain each event by reference to its predecessor but would leave unexplained why the entire chain exists.^{4, 10}

The strength of the Leibnizian argument depends heavily on the status of the PSR. Alexander Pruss has offered a sustained defense of the principle, arguing that denying the PSR has counterintuitive consequences: if some facts simply have no explanation, then it becomes impossible to distinguish in principle between an unexplained fact and a fact whose explanation is merely unknown. The practice of scientific and philosophical inquiry, Pruss argues, presupposes that the facts we encounter are in principle explicable, and abandoning the PSR would undermine this presupposition.¹⁰

Critics have challenged the PSR on several grounds. One objection holds that the PSR, if applied without restriction, leads to a necessitarian view of reality in which everything that exists must exist exactly as it does — a consequence that eliminates contingency and free will. If the necessary being explains the contingent world, and if the necessary being could not have been otherwise, then the world it produces could not have been otherwise either, and the distinction between necessary and contingent breaks down.⁸ Defenders respond that the necessary being may have libertarian free will, choosing among possible worlds without being determined to create any particular one, thereby preserving the contingency of the created order while grounding its existence in a necessary explanation.^{10, 6}

Another line of criticism, traceable to Hume, denies that the universe as a whole requires an explanation even if each of its parts does. This is the composition objection: the demand for an explanation of the totality, critics argue, illicitly treats the universe as though it were an additional entity requiring its own cause, when in fact explaining every member of the series is sufficient to explain the series.¹¹ Leibnizian defenders respond that explaining every part of a series individually does not explain why this particular series exists rather than some other, and that the totality of contingent facts is itself a contingent fact that falls under the scope of the PSR.^{4, 10}

Comparison of the three variants

The three principal cosmological arguments differ in their starting points, their key principles, and the nature of the conclusion they reach. The following table summarizes these differences.

Comparison of the three principal cosmological argument variants^{1, 5}

The three variants are logically independent: the failure of one does not entail the failure of the others. If arguments against the possibility of actual infinities prove unsuccessful, the kalam argument is weakened, but the Thomistic and Leibnizian arguments remain unaffected, since they do not depend on the finitude of the past. Conversely, if the Principle of Sufficient Reason is rejected, the Leibnizian argument loses its foundation, but the kalam and Thomistic arguments can proceed on the basis of different principles. This independence means that a critic of cosmological arguments must address each variant on its own terms rather than offering a single objection that disposes of the entire family.^{5, 1}

Common objections

Despite their differences, the three variants face a common set of objections that recur across the literature. These objections target either the explanatory principles on which the arguments rest or the nature of the conclusion they reach.

The infinite regress objection asks why the explanatory chain cannot simply extend infinitely without a first member. If an infinite series of causes, each explained by its predecessor, constitutes a complete causal history, then no first cause is needed. Hume advanced this objection in the Dialogues Concerning Natural Religion, arguing that in an infinite causal chain "every particular effect is determined to exist by the power and efficacy of that cause which immediately preceded" and that demanding a cause of the whole chain is unnecessary once every member has been explained.¹¹ Defenders of cosmological arguments respond differently depending on the variant: kalam defenders argue that an actually infinite temporal series is impossible; Thomistic defenders distinguish between accidentally ordered series (which may be infinite) and essentially ordered series (which cannot be); Leibnizian defenders argue that an infinite series of contingent explanations, even if internally complete, does not explain why the series itself exists rather than some other or none at all.^{2, 3, 10}

The brute fact objection holds that the existence of the universe may simply be an unexplained brute fact — a state of affairs that has no explanation and requires none. On this view, the demand for a sufficient reason or a cause of the universe's existence is misguided: the universe exists, and there is no deeper fact that accounts for its existence. Bertrand Russell famously expressed this position in a 1948 BBC debate with Frederick Copleston, stating that "the universe is just there, and that's all."⁷ Defenders of the cosmological argument respond that accepting brute facts is intellectually costly: it introduces an arbitrary stopping point in the chain of explanation and undermines the rational expectation that things are in principle intelligible. If the universe can exist as a brute fact, critics of the brute-fact position argue, then in principle anything can exist as a brute fact, and the enterprise of explanation itself becomes optional.^{10, 6}

The "who caused God?" objection asks why the first cause or necessary being does not itself require a cause or explanation. If everything requires a cause, then God requires a cause, leading to an infinite regress; if God does not require a cause, then not everything requires a cause, and the causal principle invoked by the argument is false. This objection has been pressed by critics from Hume onward and has become one of the most commonly raised popular challenges to cosmological arguments.^{11, 7} Defenders respond that the objection mischaracterizes the causal principles at work in the arguments. The kalam argument does not claim that everything has a cause but that everything which begins to exist has a cause; God, as an eternal being, does not begin to exist and therefore does not fall under the scope of the principle. Thomistic and Leibnizian arguments conclude to a being whose existence is necessary — a being that exists by its own nature and whose non-existence is impossible. A necessary being does not require an external cause or explanation because its existence is self-explanatory: to ask what caused a necessary being is to misunderstand the concept of necessity.^{2, 9, 10}

The gap problem addresses the distance between the conclusion of a cosmological argument and the God of classical theism. Even if a cosmological argument succeeds in establishing the existence of a first cause, necessary being, or originator of the universe, critics argue that this entity need not possess the attributes traditionally ascribed to God — omniscience, omnipotence, perfect goodness, and personhood. The necessary being might be an impersonal force, an abstract principle, or something entirely unlike the God of any religious tradition.^{7, 8} Defenders address this gap in different ways. Craig argues that the cause of the universe must be personal (as argued above in the kalam section). Aquinas argues in subsequent questions of the Summa that the attributes of the first cause can be derived through further philosophical reasoning — pure actuality entails simplicity, immateriality, uniqueness, omnipotence, and omniscience.³ Swinburne treats the cosmological argument as one component of a cumulative case, arguing that it establishes a prior probability for theism that is then increased by additional arguments from design, consciousness, and religious experience.⁶

Contemporary developments

The late twentieth and early twenty-first centuries saw a renewal of interest in cosmological arguments within analytic philosophy of religion. Craig's revival of the kalam argument, beginning with his 1979 monograph The Kalam Cosmological Argument and continuing through decades of publication and debate, brought the argument to renewed prominence and generated an extensive body of literature addressing its premises from the perspectives of philosophy of mathematics, philosophy of time, and theoretical physics.^{2, 9}

Alexander Pruss and Richard Gale have developed new versions of the Leibnizian argument that attempt to weaken the PSR to avoid the charge of necessitarianism. Pruss defends a restricted version of the PSR that applies to contingent truths while allowing that necessary truths are self-explanatory, arguing that this formulation avoids the implication that the contingent world could not have been otherwise.¹⁰ Other contemporary developments include modal cosmological arguments that deploy the apparatus of possible-worlds semantics to formalize the notion of contingency and necessity, and arguments that draw on the metaphysics of grounding — the relation of one fact's holding in virtue of another — as an alternative to efficient causation.⁹

On the critical side, Graham Oppy has offered detailed analyses of all major variants of the cosmological argument, arguing that each one either employs a premise that a reasonable person can reject without irrationality or trades on an ambiguity in key concepts such as "cause," "explanation," or "contingency." Oppy does not claim that cosmological arguments are unsound; rather, he argues that they fail as pieces of natural theology because they cannot rationally compel assent from someone who does not already accept their premises. On his view, a theist and a naturalist can each maintain their respective positions in the face of the cosmological argument without either being irrational.⁸

J. L. Mackie's treatment in The Miracle of Theism remains an influential critical assessment. Mackie argued that the cosmological argument's central difficulty is the tension between the explanatory principle it invokes and the terminus it posits: if we accept that everything requires an explanation, we cannot exempt the first cause from that requirement; but if we permit self-explanatory or unexplained entities, then the universe itself might be such an entity, rendering the argument unnecessary.⁷ This dilemma — sometimes called the "taxicab problem" (the explanatory principle is dismissed, like a taxicab, once it has served its purpose of arriving at God) — has generated extensive discussion. Defenders respond that the distinction between contingent and necessary existence resolves the dilemma: the explanatory principle applies to contingent beings, and the first cause is posited as a necessary being to which the principle does not apply, not because the principle is arbitrarily discarded but because a necessary being genuinely does not require external explanation.^{9, 10}

Relationship to scientific cosmology

The relationship between cosmological arguments and physical cosmology is complex and contested. The kalam argument engages most directly with empirical science, since its second premise — that the universe began to exist — can be supported or undermined by developments in physical cosmology. The standard Big Bang model, which posits an initial singularity approximately 13.8 billion years ago from which all space, time, matter, and energy originated, is frequently cited as empirical support for the kalam argument's second premise.^{2, 9}

The relationship is not straightforward, however. The initial singularity of the standard model is a point at which the equations of general relativity break down, and its physical interpretation remains a matter of debate among cosmologists. Various models have been proposed that avoid an initial singularity: eternal inflation models, cyclic or ekpyrotic models, loop quantum gravity models, and the Hartle-Hawking no-boundary proposal all describe universes that lack an absolute temporal beginning in one sense or another.^{8, 9} Craig has argued that the Borde-Guth-Vilenkin theorem establishes that any universe satisfying certain broad conditions must be past-incomplete, regardless of the specific model, and that this result provides strong scientific grounds for a temporal beginning. Critics respond that past-incompleteness is not identical to an absolute beginning and that the theorem does not apply to all conceivable cosmological models.⁹

The Thomistic and Leibnizian arguments are less directly connected to empirical cosmology, since they do not depend on whether the universe had a temporal beginning. Aquinas's argument from contingency asks why anything exists at all, a question that remains whether the universe is 13.8 billion years old or infinitely old. Similarly, Leibniz's question of why there is something rather than nothing is not answered by any physical theory, since any physical theory presupposes the existence of the physical reality it describes. As Leibniz observed, even a complete physical explanation of the universe's internal workings would not explain why this physical universe, with these particular laws, exists rather than some other or none at all.^{4, 6}

Philosophical assessment

The cosmological argument, in its various forms, occupies a central place in the philosophy of religion and in the broader history of metaphysics. Each variant presents a logically valid deductive argument whose soundness depends on the truth of its premises, and the philosophical debate over those premises engages fundamental questions about the nature of causation, explanation, infinity, necessity, and contingency.⁵

The kalam argument's strength lies in its simplicity and in the empirical support available for its second premise from Big Bang cosmology. Its vulnerability lies in the contestability of its philosophical arguments against actual infinities and in the dependence of its second premise on the interpretation of physical cosmological models that remain subjects of active scientific investigation.^{2, 9} The Thomistic argument's strength lies in its independence from the question of whether the universe had a temporal beginning: it asks not whether the causal series had a first moment but whether the present existence of dependent beings can be accounted for without an independently existing first cause. Its vulnerability lies in the difficulty of establishing that an infinite essentially ordered series is impossible — a claim that, while intuitively plausible to many, has been challenged by those who argue that the concept of an essentially ordered series with no first member is coherent.^{3, 15} The Leibnizian argument's strength lies in the power and generality of the Principle of Sufficient Reason, which captures a deep intuition about the intelligibility of reality. Its vulnerability lies in the difficulty of defending the PSR against charges of necessitarianism and against the possibility that some facts simply lack explanations.^{10, 8}

The question of whether cosmological arguments succeed in establishing the existence of God depends not on a single determining consideration but on a network of judgments about the plausibility of their key principles, the cogency of the objections raised against them, and the strength of the responses offered to those objections. A logically valid argument is sound if and only if its premises are true; an inductively strong argument is cogent if and only if it is strong and its premises are true. The premises of the various cosmological arguments are not self-evident, and reasonable thinkers have disagreed about them for centuries.^{5, 7} What remains beyond dispute is that cosmological arguments raise questions — about the origin and existence of the universe, the nature of causation and explanation, and the ultimate structure of reality — that stand among the deepest and most enduring in the history of philosophy.¹