In Writing the Book of the World, Ted Sider argues that David Lewis’s distinction between those predicates which are ‘perfectly natural’ and those which are not can be extended so that it applies to words of all semantic types. Just as there are perfectly natural predicates, there may be perfectly natural connectives, operators, singular terms and so on. According to Sider, one of our goals as metaphysicians should be to identify the perfectly natural words. Sider claims that there is a (...) perfectly natural first-order quantifier. I argue that this claim is not justified. Quine has shown that we can dispense with first-order quantifiers, by using a family of ‘predicate functors’ instead. I argue that we have no reason to think that it is the first-order quantifiers, rather than Quine’s predicate functors, which are perfectly natural. The discussion of quantification is used to provide some motivation for a general scepticism about Sider’s project. Shamik Dasgupta’s ‘generalism’ and Jason Turner’s critique of ‘ontological nihilism’ are also discussed. (shrink)

In a recent paper (Okasha, Mind 120:83–115, 2011), Samir Okasha uses Arrow’s theorem to raise a challenge for the rationality of theory choice. He argues that, as soon as one accepts the plausibility of the assumptions leading to Arrow’s theorem, one is compelled to conclude that there are no adequate theory choice algorithms. Okasha offers a partial way out of this predicament by diagnosing the source of Arrow’s theorem and using his diagnosis to deploy an approach that circumvents it. In (...) this paper I explain why, although Okasha is right to emphasise that Arrow’s result is the effect of an informational problem, he is not right to locate this problem at the level of the informational input of a theory choice rule. Once the informational problem is correctly located, Arrow’s theorem may be dismissed as a problem. (shrink)

A platitude that took hold with Kuhn is that there can be several equally good ways of balancing theoretical virtues for theory choice. Okasha recently modelled theory choice using technical apparatus from the domain of social choice: famously, Arrow showed that no method of social choice can jointly satisfy four desiderata, and each of the desiderata in social choice has an analogue in theory choice. Okasha suggested that one can avoid the Arrow analogue for theory choice by employing a strategy (...) used by Sen in social choice, namely, to enhance the information made available to the choice algorithms. I argue here that, despite Okasha’s claims to the contrary, the information-enhancing strategy is not compelling in the domain of theory choice. (shrink)

The theoretical virtue of parsimony values the minimizing of theoretical commitments, but theoretical commitments come in two kinds : ontological and ideological. While the ontological commitments of a theory are the entities it posits, a theory’s ideological commitments are the primitive concepts it employs. Here, I show how we can extend the distinction between quantitative and qualitative parsimony, commonly drawn regarding ontological commitments, to the domain of ideological commitments. I then argue that qualitative ideological parsimony is a theoretical virtue. My (...) defense proceeds by demonstrating the merits of qualitative ideological parsimony and by showing how the qualitative conception of ideological parsimony undermines two notable arguments from ideological parsimony: David Lewis’ defense of modal realism and Ted Sider’s defense of mereological nihilism. (shrink)

Precis of my book by this title, for a symposium.

Kuhn’s famous thesis that there is ‘no unique algorithm’ for choosing between rival scientific theories is analysed using the machinery of social choice theory. It is shown that the problem of theory choice as posed by Kuhn is formally identical to a standard social choice problem. This suggests that analogues of well-known results from the social choice literature, such as Arrow’s impossibility theorem, may apply to theory choice. If an analogue of Arrow’s theorem does hold for theory choice this would (...) refute Kuhn’s thesis, but it would also pose a threat to the rationality of science, a threat that is if anything more worrying than that posed by Kuhn. Various possible ‘escape routes’ from Arrow’s impossibility result are examined, in particular Amartya Sen’s idea of ‘enriching the informational basis’. It is shown that Sen’s idea can be applied to the problem of theory choice in science. This in turn sheds light on two well-known approaches to inductive inference in philosophy of science: Bayesianism and statistical model selection. (shrink)

In this paper I develop a framework for understanding ontic vagueness. The project of the paper is two-fold. I first outline a definitional account of ontic vagueness – one that I think is an improvement on previous attempts because it remains neutral on other, independent metaphysical issues. I then develop one potential manifestation of that basic definitional structure. This is a more robust (and much less neutral) account which gives a fully classical explication of ontic vagueness via modal concepts. The (...) overarching aim is to systematically investigate the puzzling question of what exactly it could be for the world itself to be vague. (shrink)

A recent theory of metaphysical indeterminacy says that metaphysical indeterminacy is multiple actuality: there is metaphysical indeterminacy when there are many 'complete precisifications of reality'. But it is possible for there to be metaphysical indeterminacy even when it is impossible to precisify reality completely. The orthodox interpretation of quantum mechanics illustrates this possibility. So this theory of metaphysical indeterminacy is not adequate.

Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for postulating (...) this distinctive sort of indefiniteness? Conversely, are there reasons for denying that there is indefiniteness of this sort? (shrink)

∗ Apologies to Mark Hinchliff for stealing the title of his dissertation. (See Hinchliff, A Defense of Presentism. As it turns out, however, the version of Presentism defended here is different from the version defended by Hinchliff. See Section 3.1 below.).

This paper deals with the truth-Conditions and the logic for vague languages. The use of supervaluations and of classical logic is defended; and other approaches are criticized. The truth-Conditions are extended to a language that contains a definitely-Operator and that is subject to higher order vagueness.

A proof is given that there does not exist an event, that is not already in the past for some possible distant observer at the (our) moment that the latter is "now" for us. Such event is as "legally" past for that distant observer as is the moment five minutes ago on the sun for us (irrespective of the circumstance that the light of the sun cannot reach us in a period of five minutes). Only an extreme positivism: "that which (...) cannot yet be observed does not yet exist", can possibly withstand the conclusion concerned. Therefore, there is determinism, also in micro-physics. (shrink)

Although the Evans argument against vague identity has been much discussed, proposah for blocking it have not so far satisfied general conditions which any solution ought to meet. Moreover, the relation between ontically vague identity and ontic vagueness more generally has not yet been satisfactorily addressed. I advocate a way of resisting the Evans argument which satisfies the conditions. To show how this approach can vindicate particular cases of ontically vague identity, I develop a framework for describing ontic vagueness in (...) general in terms of multiple actualities. This provides aprìncipled approach to ontically vague identity which is unaffected by the Evans argument. (shrink)

An influential theory has it that metaphysical indeterminacy occurs just when reality can be made completely precise in multiple ways. That characterization is formulated by employing the modal apparatus of ersatz possible worlds. As quantum physics taught us, reality cannot be made completely precise. I meet the challenge by providing an alternative theory which preserves the use of ersatz worlds but rejects the precisificational view of metaphysical indeterminacy. The upshot of the proposed theory is that it is metaphysically indeterminate whether (...) p just in case it is neither true nor false that p, and no terms in ‘p’ are semantically defective. In other words, metaphysical indeterminacy arises when the world cannot be adequately described by a complete set of sentences defined in a semantically nondefective language. Moreover, the present theory provides a reductive analysis of metaphysical indeterminacy, unlike its influential predecessor. Finally, I argue that any adequate logic of a language with an indeterminate subject matter is neither compositional nor bivalent. (shrink)

Metaphysicians now typically distinguish between a theory’s ontology and its ideology. But besides a few cursory efforts, no one has explained the role of ideology in theory choice. In this paper I develop a framework for discussing how differing approaches to ideology impact metaphysical disputes. I first provide an initial characterization of ideology and develop two contrasting types of criteria used to evaluate its quality. In using externalist criteria, we judge the quality of a theory’s ideology by its relation to (...) external features of the world. In contrast, in using internalist criteria, we judge the quality of a theory’s ideology by features internal to the theory and the theorizer, e.g. the intelligibility of the terminology employed. I then argue for an unrestricted application of externalist criteria, what I call maximal realism. According to maximal realism, we ought to apply externalist criteria to the entirety of a theory’s ideology—to not only predicates but also to quantifiers and logical operators. I defend maximal realism from what I take to be the best objection to it: that the view leads to bad questions. As part of my defense, I argue that those who would restrict their application of externalist criteria either adopt an unjustified partition of ideology or reject seemingly benign questions. Finally, I apply my discussion of ideology to two extant metaphysical disputes. (shrink)

Kuhn claimed that several algorithms can be defended to select the best theory based on epistemic values such as simplicity, accuracy, and fruitfulness. In a recent paper, Okasha :83–115, 2011) argued that no theory choice algorithm exists which satisfies a set of intuitively compelling conditions that Arrow had proposed for a consistent aggregation of individual preference orderings. In this paper, we put forward a solution to avoid this impossibility result. Based on previous work by Gaertner and Xu, we suggest to (...) view the theory choice problem in a cardinal context and to use a general scoring function defined over a set of qualitative verdicts for every epistemic value. This aggregation method yields a complete and transitive ranking and the rule satisfies all Arrovian conditions appropriately reformulated within a cardinal setting. We also propose methods that capture the aggregation across different scientists. (shrink)

This is a symposium on my book, Writing the Book of the World, containing a precis from me, criticisms from Dorr, Fine, and Hirsch, and replies by me.

In my book Four-dimensionalism (chapter 4, section 9), I argued that fourdimensionalism – the doctrine of temporal parts – follows from several other premises, chief among which is the premise that existence is never vague. Kathrin Koslicki (preceding article) claims that the argument fails since its crucial premise is unsupported, and is dialectically inappropriate to assume in the context of arguing for four-dimensionalism. Since the relationship between four-dimensionalism and the non-vagueness of existence is not perfectly transparent, I think the argument (...) would retain some interest even if the premise were wholly unsupported; it would show that anyone who accepts that premise (which seems reasonable enough to me though perhaps not to others) must accept four-dimensionalism. Still, Koslicki is right that my defense of the premise was thin. So I will now try to do better. The new defense will have further premises, which could ultimately be rejected by opponents of four-dimensionalism, and so the argument retains the form: anyone who thinks certain things (which seem reasonable enough to me though perhaps not to others) must believe four-dimensionalism. But that’s metaphysics for you. I should also say that, in addition to the material on vague existence, there is more in Koslicki’s excellent paper which I cannot discuss here. I agree with much of it;1 and where we disagree there are formidable challenges, some of which I hope to address in the future. (shrink)

Logical realism is the view that there is logical structure in the world. I argue that, if logical realism is true, then we are deeply ignorant of that logical structure: either we can’t know which of our logical concepts accurately capture it, or none of our logical concepts accurately capture it at all. I don’t suggest abandoning logical realism, but instead discuss how realists should adjust their methodology in the face of this ignorance.

On one influential view, metaphysical fundamentality can be understood in terms of joint‐carving. Ted Sider has recently argued that (i) some first order quantifier is joint‐carving, and (ii) modal notions are not joint‐carving. After vindicating the theoretical indispensability of quantification against recent criticism, I will defend a logical result due to Arnold Koslow which implies that (i) and (ii) are incompatible. I will therefore consider an alternative understanding of Sider's metaphysics to the effect that (i) some first order quantifier is (...) joint‐carving, and (iii) intensional notions are not joint‐carving. Another result due to Koslow entails that (i) and (iii) are also incompatible. I will argue that this second result is inconclusive. Nevertheless, (iii) is incompatible with another tenet of Sider's metaphysics, namely that (iv) ‘being joint‐carving’ is itself joint‐carving. In order to resolve the inconsistency, I will tentatively argue that condition (iv) should be renounced. (shrink)

I argue that two competing accounts of persistence, three and four dimensionalism, are in fact metaphysically equivalent. I begin by clearly defining three and four dimensionalism, and then I show that the two theories are intertranslatable and equally simple. Through consideration of a number of different cases where intuitions about persistence are contradictory, I then go on to show that both theories describe these cases in the same manner. Further consideration of some empirical issues arising from the theory of special (...) relativity lead me to conclude that the two theories are equally explanatory, and thus finally that they are metaphysically equivalent. (shrink)

Tarski and Mautner proposed to characterize the "logical" operations on a given domain as those invariant under arbitrary permutations. These operations are the ones that can be obtained as combinations of the operations on the following list: identity; substitution of variables; negation; finite or infinite disjunction; and existential quantification with respect to a finite or infinite block of variables. Inasmuch as every operation on this list is intuitively "logical", this lends support to the Tarski-Mautner proposal.