-
80Tense LogicPhilosophy Compass 10 (6): 406-419. 2015.This article surveys some of the key issues that arise when one tries to use tense logic as a metaphysical theory of the nature of time. Topics discussed include basic tense logic, tense logic and verb tense, the structure of the time series, instants of time, quantified tense logic, and the expressive resources of tense logic
-
107How to apply mathematicsErkenntnis 61 (1): 17-28. 2004.This paper presents a novel account of applied mathematics. It shows how we can distinguish the physical content from the mathematical form of a scientific theory even in cases where the mathematics applied is indispensable and cannot be eliminated by paraphrase.
-
143Worlds and TimesNotre Dame Journal of Formal Logic 47 (1): 25--37. 2006.There are many parallels between the role of possible worlds in modal logic and that of times in tense logic. But the similarities only go so far, and it is important to note where the two come apart. This paper argues that even though worlds and times play similar roles in the model theories of modal and tense logic, there is no tense analogue of the possible-worlds analysis of modal operators. An important corollary of this result is that presentism cannot be the tense analogue of actualism