  We present a formal analysis of the Cosmological Argument in its two main
forms: that due to Aquinas, and the revised version of the Kalam Cosmological
Argument more recently advocated by William Lane Craig. We formulate these two
arguments in such a way that each conclusion follows in first-order logic from
the corresponding assumptions. Our analysis shows that the conclusion which
follows for Aquinas is considerably weaker than what his aims demand. With
formalizations that are logically valid in hand, we reinterpret the natural
language versions of the premises and conclusions in terms of concepts of
causality consistent with (and used in) recent work in cosmology done by
physicists. In brief: the Kalam argument commits the fallacy of equivocation in
a way that seems beyond repair; two of the premises adopted by Aquinas seem
dubious when the terms `cause' and `causality' are interpreted in the context
of contemporary empirical science. Thus, while there are no problems with
whether the conclusions follow logically from their assumptions, the Kalam
argument is not viable, and the Aquinas argument does not imply a caused
origination of the universe. The assumptions of the latter are at best less
than obvious relative to recent work in the sciences. We conclude with mention
of a new argument that makes some positive modifications to an alternative
variation on Aquinas by Le Poidevin, which nonetheless seems rather weak.
