Abstract

Approximately 1,500 years ago John Philoponus proposed a simple argument for the existence of God. The argument runs thus: Whatever comes to be has a cause of its coming to be. The universe came to be. Therefore, the universe has a cause of its coming to be. ;Due to the influence of William Lane Craig, this argument and the family of arguments that support it have come to be known as the "kalam" cosmological argument . Craig's account of the KCA incorporates features that serve to distinguish his version as a significant advance. First, conceptual advances in mathematics now permit a clearer presentation of the argument than was previously possible. Second, contemporary Big Bang cosmology confirms the central contention of the KCA, namely, that the past existence of the universe is finite. Reflection upon the implications of using Cantorian transfinite mathematics to model physical processes allowed Craig to develop a distinctively philosophical version of the KCA which is relatively independent of changes in contemporary scientific cosmology. This dissertation is intended as a critical investigation and development of this philosophical strand of the KCA. The literature relating to the KCA has grown however to a significant bulk, and there is now danger of duplication and misassessment due to the plurality of interpretations that the argument has received. Part I of the dissertation addresses this need by laying bare the underlying logical structure of the KCA and by providing a comprehensive "state of the question" . Part II of the dissertation, comprising chapters 3 through 6, focuses upon an important species of objection made to the KCA. This species of objection relies upon thought-experiments designed to show that an actual infinity is possible. I reply: this objection is effectively answered by introducing a metaphysics of substances. In the course of presenting a systematic response I develop an interpretation of the notion of substance that is useful for analytic philosophy, present a general account of the logical requirements of KCA thought-experiments, and outline a theory of logical modality suited to the metaphysical requirements of the KCA