•  176
    Tense, propositions, and facts
    Synthese 193 (11): 3691-3699. 2016.
    This paper aims to clarify the connection between the logic of temporal distinctions and the temporal features of propositions. Contra Prior, it argues that the adoption of tense operators does not commit one to the view that propositions can change their truth value over time.
  •  1
    Times as Abstractions
    In Adrian Bardon (ed.), The Future of the Philosophy of Time, Routledge. pp. 41--55. 2013.
    Instead of accepting instants of time as metaphysically basic entities, many philosophers regard them as abstractions from something else. There is the Russell-Whitehead view that times are maximal classes of simultaneous events; the linguistic ersatzer's proposal that times are maximally consistent sets of sentences or propositions; and the view that times are made up of temporal parts of material objects. This paper discusses the advantages and disadvantages of these various proposals and c…Read more
  •  192
    How to apply mathematics
    Erkenntnis 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.
  •  1096
    Fatalism as a Metaphysical Thesis
    Manuscrito: Revista Internacional de Filosofía 39 (4). 2016.
    Even though fatalism has been an intermittent topic of philosophy since Greek antiquity, this paper argues that fate ought to be of little concern to metaphysicians. Fatalism is neither an interesting metaphysical thesis in its own right, nor can it be identified with theses that are, such as realism about the future or determinism.
  •  453
    Counterpart Theory and the Actuality Operator
    Mind 122 (485): 27-42. 2013.
    Fara and Williamson (Mind, 2005) argue that counterpart theory is unable to account for modal claims that use an actuality operator. This paper argues otherwise. Rather than provide a different counterpart translation of the actuality operator itself, the solution presented here starts out with a quantified modal logic in which the actuality operator is redundant, and then translates the sentences of this logic into claims of counterpart theory.
  •  59
    Time and Modality
    In Craig Callender (ed.), The Oxford Handbook of Philosophy of Time, Oxford University Press. pp. 91--121. 2011.
    With the rigorous development of modal logic in the first half of the twentieth century, it became custom amongst philosophers to characterize different views about necessity and possibility in terms of rival axiomatic systems for the modal operators ‘ ’ (‘possibly’) and ‘ ’ (‘necessarily’). From the late 1950s onwards, Arthur Prior began to argue that temporal distinctions ought to be given a similar treatment, in terms of axiomatic systems for sentential tense operators, such as ‘P’ (‘it was the…Read more
  •  230
    Is science first-order?
    Analysis 62 (4): 305-308. 2002.
    It is a popular view amongst some philosophers, most notably those with Quinean views about ontological commitment, that scientific theories are first-orderizable; that we can regiment all such theories in an extensional first-order language. I argue that this view is false, and that any acceptable account of science needs to take some modal notion as primitive.