existed in a timeless state causally prior to creation, but has existed in a temporal state beginning with creation, by virtue of his knowledge of tensed facts and his interactions with events. He gives two arguments in support of that view. First, he says that, given his tensed view of time, God cannot be timeless once he has created a temporal universe, since, after that point, he is related to time through his interactions and through causing events in time. Second, Craig says that as a feature of his omniscience, God must know the truth related to tensed facts about the world, such as whether the statement "Today is January 15th" is true or not or what is happening right now. Divine aseity Craig has published on the challenge posed by platonism to divine aseity or self-existence. Craig rejects both the view that God creates abstract objects and that they exist independently of God. Rather, he defends a nominalistic perspective that abstract objects are not ontologically real objects. Stating that the Quine–Putnam indispensability argument is the chief support of platonism, Craig criticizes the neo-Quinean criterion of ontological commitment, according to which the existential quantifier of first order logic and singular terms are devices of ontological commitment. Craig favors a neutral interpretation of the quantifiers of first-order logic, so that a statement can be true, even if there isn't an object being quantified over. Moreover, he defends a deflationary theory of reference based on the intentionality of agents, so that a person can successfully refer to something even in the absence of some extra-mental thing. Craig gives the example of the statement “the price of the ticket is ten dollars” which he argues can still be a true statement even if there isn't an actual object called a “price.” He defines these references as a speech act rather than a word-world relation, so that singular terms may be used in true sentences without commitment to corresponding objects in the world. Craig has additionally argued that even if one were to grant that these references were being used as in a word-world relation, that fictionalism is a viable explanation of their use; in particular pretense theory, according to which statements about abstract objects are expressions of make-believe, imagined to be true, even if literally false. Atonement In preparation for writing a systematic philosophical theology, Craig undertook a study of the doctrine of