-
119Prior and the platonistAnalysis 62 (3). 2002.The aim of this paper is to draw attention to a conflict between two popular views about time: Arthur Prior’s proposal for treating tense on the model of modal logic, and the ‘Platonic’ thesis that some objects (God, forms, universals, or numbers) exist eternally.1 I will argue that anyone who accepts the former ought to reject the latter.
-
287Counterpart Theory and the Actuality OperatorMind 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.
-
111Tense, propositions, and factsSynthese 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.
-
1Times as AbstractionsIn Adrian Bardon (ed.), The Future of the Philosophy of Time, Routledge. pp. 41--55. 2011.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
-
159Is 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.