•  75
    Let me regale you with yet another variant of the story of Sleeping Beauty. In this one, the experiment takes place in a room with a skylight, so that Beauty can see what the weather is like outside as soon as she wakes up. The weather can be in any one of n different states on any given day. Beauty regards each of these states as equiprobable; moreover, she takes there to be no correlation between the weather on Monday and the weather on Tuesday, or between the weather on either day and the coi…Read more
  •  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
  •  216
    Vagueness without ignorance
    Philosophical Perspectives 17 (1). 2003.
    I motivate and briefly sketch a linguistic theory of vagueness, on which the notion of indeterminacy is understood in terms of the conventions of language: a sentence is indeterminate iff the conventions of language either forbid asserting it and forbid asserting its negation, under the circumstances, or permit asserting either. I then consider an objection that purports to show that if this theory (or, as far as I can see, any other theory of vagueness that deserved the label "linguistic" were…Read more
  •  418
    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.
  •  421
    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
  •  1266
    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').
  •  5303
    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]
  •  1380
    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
  •  2246
    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
  •  1114
    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.
  •  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
  •  412
    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.
  •  854
    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
  •  2613
    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