•  17
    Definition of the problem: Recent progress in the pharmacological sciences provides a first glimpse of the development of an individual, genotype-based drug therapy in order to improve the efficiency of drug utilization. Genotyping of genetic polymorphisms in genes involved in drug response promises to optimize drug therapy fundamentally by identifying patients for whom a pharmaceutical agent may be effective and safe or contraindicated because of expected adverse drug reactions. Arguments: The …Read more
  •  13
    Fatalism as a Metaphysical Thesis
    Manuscrito 39 (4): 203-223. 2016.
    ABSTRACT 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.
  •  70
    The metaphysics of velocity
    Philosophical Studies 112 (1). 2003.
    Some authors have recently arguedthat an objects velocity is logicallyindependent of its locations throughout time.Their aim is to deny the Russellianview that motion is merely a change oflocation, and to promote a rival account onwhich the connection between velocities andtrajectories is provided by the laws ofnature. I defend the Russellian view of motionagainst these attacks.
  •  117
    Worlds and Times
    Notre 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
  •  96
    Prior and the platonist
    Analysis 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.
  •  206
    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.
  •  73
    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. 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
  •  145
    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.
  •  255
    Fatalism as a Metaphysical Thesis
    Manuscrito: Revista Internacional de Filosofía 39 (4). forthcoming.
    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.
  •  70
    Dummett on the Time-Continuum
    Philosophy 80 (311). 2005.
    Michael Dummett claims that the classical model of time as a continuum of instants has to be rejected. In his view, “it allows as possibilities what reason rules out, and leaves it to the contingent laws of physics to rule out what a good model of physical reality would not even be able to describe.” This paper argues otherwise
  •  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
  •  54
    Modal Property Comprehension
    Synthese 190 (4): 693-707. 2013.
    To define new property terms, we combine already familiar ones by means of certain logical operations. Given suitable constraints, these operations may presumably include the resources of first-order logic: truth-functional sentence connectives and quantification over objects. What is far less clear is whether we can also use modal operators for this purpose. This paper clarifies what is involved in this question, and argues in favor of modal property definitions.
  •  7
    Prior and the Platonist
    Analysis 62 (3): 211-216. 2002.
  •  211
    Explaining causal loops
    Analysis 72 (2): 259-264. 2012.
    This article argues that the causal loops that occur in some time-travel scenarios and in certain solutions of the theory of relativity are no more mysterious than the infinitely descending causal chains familiar from Newtonian mechanics
  •  44
    Times in Tense Logic
    Notre Dame Journal of Formal Logic 50 (2): 201--19. 2009.
    This paper explains how to obtain quantification over times in a tense logic in which all temporal distinctions are ultimately spelled out in terms of the two simple tense operators “it was the case that” and “it will be the case that.” The account of times defended here is similar to what is known as “linguistic ersatzism” about possible worlds, but there are noteworthy differences between these two cases. For example, while linguistic ersatzism would support actualism, the view of times defend…Read more
  •  150
    ‘Now’ and ‘Then’ in Tense Logic
    Journal of Philosophical Logic 38 (2): 229-247. 2009.
    According to Hans Kamp and Frank Vlach, the two-dimensional tense operators “now” and “then” are ineliminable in quantified tense logic. This is often adduced as an argument against tense logic, and in favor of an extensional account that makes use of explicit quantification over times. The aim of this paper is to defend tense logic against this attack. It shows that “now” and “then” are eliminable in quantified tense logic, provided we endow it with enough quantificational structure. The operat…Read more
  •  56
    Tense Logic
    Philosophy 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
  •  89
    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.