Philosophers employ diverse classifications of the cosmological arguments. Swinburne distinguishes inductive from deductive versions. Craig distinguishes three types of deductive cosmological arguments in terms of their approach to an infinite regress of causes. The first, advocated by Aquinas, is based on the impossibility of an essentially ordered infinite regress. The second, which Craig terms the kalām argument, holds that an infinite temporal regress of causes is impossible because an actua