The Kalam Cosmological Argument is structured as a simple deductive syllogism: whatever begins to exist has a cause; the universe began to exist; therefore the universe has a cause. The argument is distinctive within the cosmological family because it explicitly turns on the premise that the universe had a temporal beginning, a premise its defenders support by both philosophical and scientific reasoning.
The argument takes its name from kalām, the tradition of speculative theology in Islam, where it was developed by thinkers including al-Kindī, al-Bāqillānī, and most systematically al-Ghazālī in Tahāfut al-Falāsifa. The classical kalām defense relied on philosophical arguments against the possibility of an actually infinite collection of past events and against the possibility of forming an actual infinite by successive addition. In the contemporary period, William Lane Craig has revived and refined the argument across multiple books and articles, supplementing the classical philosophical arguments with appeals to standard Big Bang cosmology and the Borde–Guth–Vilenkin theorem on past-geodesic incompleteness in inflationary cosmologies.
Critics have challenged the argument on every front. On the philosophical premises, Wes Morriston, Graham Oppy, and others have argued that the standard objections to actual infinites do not succeed, or that even if they did, the conclusion would not follow. On the scientific premise, critics including Sean Carroll have argued that contemporary cosmology does not establish an absolute temporal beginning of physical reality — the Borde–Guth–Vilenkin theorem establishes past-geodesic incompleteness of inflationary spacetimes specifically, not the absolute beginning of all physical reality, and various models (eternal inflation, cyclic cosmologies, quantum gravity proposals) remain consistent with a past-eternal universe in some sense. Defenders respond that even these alternatives generally face their own beginning problems.
Among other formulations in the cosmological family, the Kalam argument differs sharply from the First Cause and Thomistic versions by requiring a temporal beginning, where those versions concern causal dependence at any moment. It differs from the Contingency and Leibnizian versions, which can accommodate a past-eternal but contingent universe. It overlaps significantly with the classical dalīl al-ḥudūth of the mutakallimūn, of which it can be considered the contemporary analytic descendant.