•  164
    Calculus as Geometry
    In Space, Time and Stuff, Oxford University Press. 2012.
    We attempt to extend the nominalistic project initiated in Hartry Field's Science Without Numbers to modern physical theories based in differential geometry
  •  407
    Even if non-cognitivists about some subject-matter can meet Geach’s challenge to explain how there can be valid implications involving sentences which express non-cognitive attitudes, they face a further problem. I argue that a non-cognitivist cannot explain how, given a valid argument whose conclusion expresses a belief and at least one of whose premises expresses a non-cognitive attitude, it could be reasonable to infer the conclusion from the premises.
  •  419
    De Re A Priori Knowledge
    Mind 120 (480): 939-991. 2011.
    Suppose a sentence of the following form is true in a certain context: ‘Necessarily, whenever one believes that the F is uniquely F if anything is, and x is the F, one believes that x is uniquely F if anything is’. I argue that almost always, in such a case, the sentences that result when both occurrences of ‘believes’ are replaced with ‘has justification to believe’, ‘knows’, or ‘knows a priori’ will also be true in the same context. I also argue that many sentences of the relevant form are tru…Read more
  •  1221
    Reading 'Writing the Book of the World'
    Philosophy and Phenomenological Research 87 (3): 717-724. 2013.
    This paper is a response to Theodore Sider's book, Writing the Book of the World. It raises some puzzles about Sider's favoured methodology for finding out about naturalness (or 'structure').
  •  5205
    To Be F Is To Be G
    Philosophical Perspectives 30 (1): 39-134. 2016.
    This paper is an investigation of the general logic of "identifications", claims such as 'To be a vixen is to be a female fox', 'To be human is to be a rational animal', and 'To be just is to help one's friends and harm one's enemies', many of which are of great importance to philosophers. I advocate understanding such claims as expressing higher-order identity, and discuss a variety of different general laws which they might be thought to obey. [New version: Nov. 4th, 2016]
  •  1332
    How vagueness could cut out at any order
    Review of Symbolic Logic 8 (1): 1-10. 2015.
    Timothy Williamson has shown that the B axiom for 'definitely' (α → Δ¬Δ¬α) guarantees that if a sentence is second-order vague in a Kripke model, it is nth order vague for every n. More recently, Anna Mahtani has argued that Williamson's epistemicist theory of vagueness does not support the B axiom, and conjectured that if we consider models in which the “radius of accessibility” varies between different points, we will be able to find sentences that are nth-order vague but (n+1)th-order precis…Read more
  •  2185
    Against Counterfactual Miracles
    Philosophical Review 125 (2): 241-286. 2016.
    This paper considers how counterfactuals should be evaluated on the assumption that determinism is true. I argue against Lewis's influential view that the actual laws of nature would have been false if something had happened that never actually happened, and in favour of the competing view that history would have been different all the way back. I argue that we can do adequate justice to our ordinary practice of relying on a wide range of historical truths in evaluating counterfactuals by sayi…Read more
  •  484
    What we disagree about when we disagree about ontology
    In Mark Eli Kalderon (ed.), Fictionalism in Metaphysics, Oxford University Press. pp. 234--86. 2005.
    In this paper I attempt two things. First, I argue that one can coherently imagine different communities using languages structurally similar to English, but in which the meanings of the quantifiers vary, so that the answers to ontological questions, such as ‘Under what circumstances do some things compose something?’, are different. Second, I argue that nevertheless, one can make sense of the idea that of the various possible assignments of meanings to the quantifiers, one is especially fundame…Read more
  •  1076
    Contingent Existence and Iterated Modality
    Analysis 77 (1): 155-165. 2017.
    A discussion of a view, defended by Robert Adams and Boris Kment, according to which contingent existence requires rejecting many standard principles of propositional modal logic involving iterated modal operators.
  •  404
    Sleeping beauty: In defence of Elga
    Analysis 62 (4). 2002.
    Argues for the "thirder" solution to the Sleeping Beauty puzzle. The argument turns on an analogy with a variant case, in which a coin-toss on Monday night determines whether one's memories of Monday are permanently erased, or merely suspended in such a way that they will return some time after one wakes up on Tuesday.
  •  838
    Of Numbers and Electrons
    Proceedings of the Aristotelian Society 110 (2pt2): 133-181. 2010.
    According to a tradition stemming from Quine and Putnam, we have the same broadly inductive reason for believing in numbers as we have for believing in electrons: certain theories that entail that there are numbers are better, qua explanations of our evidence, than any theories that do not. This paper investigates how modal theories of the form ‘Possibly, the concrete world is just as it in fact is and T’ and ‘Necessarily, if standard mathematics is true and the concrete world is just as it in f…Read more
  •  2548
    Embedding Epistemic Modals
    Mind 122 (488): 867-914. 2013.
    Seth Yalcin has pointed out some puzzling facts about the behaviour of epistemic modals in certain embedded contexts. For example, conditionals that begin ‘If it is raining and it might not be raining, … ’ sound unacceptable, unlike conditionals that begin ‘If it is raining and I don’t know it, … ’. These facts pose a prima facie problem for an orthodox treatment of epistemic modals as expressing propositions about the knowledge of some contextually specified individual or group. This paper deve…Read more
  •  1071
    Semantic Plasticity and Speech Reports
    Philosophical Review 123 (3): 281-338. 2014.
    Most meanings we express belong to large families of variant meanings, among which it would be implausible to suppose that some are much more apt for being expressed than others. This abundance of candidate meanings creates pressure to think that the proposition attributing any particular meaning to an expression is modally plastic: its truth depends very sensitively on the exact microphysical state of the world. However, such plasticity seems to threaten ordinary counterfactuals whose consequen…Read more
  •  189
    The eternal Coin: A puzzle about self-locating conditional credence
    Philosophical Perspectives 24 (1): 189-205. 2010.
    The Eternal Coin is a fair coin has existed forever, and will exist forever, in a region causally isolated from you. It is tossed every day. How confident should you be that the Coin lands heads today, conditional on (i) the hypothesis that it has landed Heads on every past day, or (ii) the hypothesis that it will land Heads on every future day? I argue for the extremely counterintuitive claim that the correct answer to both questions is 1.