The Kalam Cosmological Argument

Overview

Definitions

$ B(x) = x$ began to exist

$ C(x) = x$ had a cause

$ 𝕌 = $ the Universe (All space, matter, time, and energy)

Structure

$ P1.\enspace B(x) \implies C(x) $

Anything that begins to exist has a cause.

Note

This isn’t claiming that everything has a cause, just all things that begin to exist (i.e. have a beginning).

Objections to P1

$ P2.\enspace B(𝕌) $

The Universe began to exist.

Objections to P2

$ \therefore \enspace C(𝕌) $

Therefore, the Universe had a cause.

Objections?

If both P1 and P2 are valid and the logic connecting them are sound, then the conclusion must be accepted. One cannot object to the conclusion by itself. So in order to object to the conclusion, one must first disprove P1 or P2 or show that the logic connecting them does not follow.

Because the logic conneciting is just a clear rule of modus ponens (P implies Q, P, Therfore Q), one needs to disprove either P1 or P2 in order to deny the conclusion.

Application