Discussions of higher-order vagueness rarely define what it is for a term to have nth-order vagueness for n>2. This paper provides a rigorous definition in a framework analogous to possible worlds semantics; it is neutral between epistemic and supervaluationist accounts of vagueness. The definition is shown to have various desirable properties. But under natural assumptions it is also shown that 2nd-order vagueness implies vagueness of all orders, and that a conjunction can have 2nd-order vagueness even if its conjuncts do not. (...) Relations between the definition and other proposals are explored; reasons are given for preferring the present proposal. (shrink)

On reading the last sentence, did you interpret me as saying falsely that everything — everything in the entire universe — was packed into my carry-on baggage? Probably not. In ordinary language, ‘everything’ and other quantifiers (‘something’, ‘nothing’, ‘every dog’, ...) often carry a tacit restriction to a domain of contextually relevant objects, such as the things that I need to take with me on my journey. Thus a sentence of the form ‘Everything Fs’ is true as uttered in a (...) context C if and only if everything that is relevant in C satisfies the predicate ‘F’; ‘everything’ ranges just over the contextually relevant things. Such generality is restricted in a context-relative way. (shrink)

The so-called "argument from vagueness", the clearest formulation of which is to be found in Ted Sider’s book Four-dimensionalism, is arguably the most powerful and innovative argument recently offered in support of the view that objects are four-dimensional perdurants. The argument is defective--I submit--and in a number of ways that is worth looking into. But each "defect" corresponds to a model of change that is independently problematic and that can hardly be built into the common-sense picture of the world. So (...) once all the gaps of the argument are filled in, the three-dimensionalist is left with the burden of a response that cannot rely on a passive plea for common sense. The argument is not a threat to common sense as such; it is a threat to the three-dimensionalist faithfulness to common sense. (shrink)

I thank my commentators for their kind words, and for their close reading and challenging criticisms of my book. I have chosen selective and substantive replies. Those criticisms I ignore, I ignore because I have little more to say, not because they are unworthy of discussion.

I argue that metaphysical views of material objects should be understood as 'packages', rather than individual claims, where the other parts of the package include how the theory addresses 'recalcitant data', and that when the packages meet certain general desiderata - which all of the currently competing views *can* meet - there is nothing in the world that could make one of the theories true as opposed to any of the others.

Persistence through time is like extension through space. A road has spatial parts in the subregions of the region of space it occupies; likewise, an object that exists in time has temporal parts in the various subregions of the total region of time it occupies. This view — known variously as four dimensionalism, the doctrine of temporal parts, and the theory that objects “perdure” — is opposed to “three dimensionalism”, the doctrine that things “endure”, or are “wholly present”.1 I will (...) attempt to resolve this dispute in favor of four dimensionalism by means of a novel argument based on considerations of vagueness. But before argument in this area can be productive, I believe we must become much clearer than is customary about exactly what the dispute is, for the usual ways of formulating the dispute are flawed, especially where three dimensionalism is concerned. (shrink)

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)

There’s an argument around from so-called “linguistic theories of vagueness”, plus some relatively uncontroversial considerations, to powerful metaphysical conclusions. David Lewis employs this argument to support the mereological principle of unrestricted composition, and Theodore Sider employs a similar argument not just for unrestricted composition but also for the doctrine of temporal parts. This sort of argument could be generalised, to produce a lot of other less palatable metaphysical conclusions. However, arguments to Lewis’s and Sider’s conclusions on the basis of considerations (...) about vagueness are uncompelling, even if we accept the crucial premises about vagueness. And a good thing too, since the generalised form of the argument would prove far too much. (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)

There is a general form of an argument which I call the ‘argument from vagueness’ which attempts to show that objects persist by perduring, via the claim that vagueness is never ontological in nature and thus that composition is unrestricted. I argue that even if we grant that vagueness is always the result of semantic indeterminacy rather than ontological vagueness, and thus also grant that composition is unrestricted, it does not follow that objects persist by perduring. Unrestricted mereological composition lacks (...) the power to ensure that there exist instantaneous objects that wholly overlap persisting objects at times, and thus lacks the power to ensure that there exists anything that could be called a temporal part. Even if we grant that such instantaneous objects exist, however, I argue that it does not follow that objects perdure. To show this I briefly outline a coherent version of three dimensionalism that grants just such an assumption. Thus considerations pertaining to the nature of vagueness need not lead us inevitably to accept perdurantism. (shrink)

‘Restricted composition’ says that there are some composite objects. And it says that some objects jointly compose nothing at all. The main threat to restricted composition is the influential and widely defended Vagueness Argument. We shall see that the Vagueness Argument fails. In seeing how this argument fails, we shall discover a new focus for the debate over composition's extent.

The thesis of 3D/4D equivalence states that every three-dimensional description of the world is translatable without remainder into a four-dimensional description, and vice versa. In representing an object in 3D or in 4D terms we are giving alternative descriptions of one and the same thing, and debates over whether the ontology of the physical world is "really" 3D or 4D are pointless. The twins paradox is shown to rest, in relativistic 4D geometry, on a reversed law of triangle inequality. But (...) considering the twins as 3D beings who age through time, the paradox implies that time passes at different rates in different reference frames, and therefore that the concept of a single global or Absolute time is unsustainable. (shrink)

Theodore Sider’s Four-Dimensionalism is a well-organized and clearly written book that is chock-full of important arguments. Both friends and foes of the views defended by Sider will benefit enormously from careful study of the book. I am going to focus on just two of Sider’s many arguments for Four-Dimensionalism: his argument from vagueness, which I take to be the most important and powerful argument in the book, and his argument from time travel, which I find to be the funnest to (...) think about. (shrink)

In this essay for a PPR book symposium on Theodore Sider's _Four-Dimensionalism<D>, I focus on two of Sider's arguments for four-dimensionalism: (i) his argument from vagueness, and (ii) his argument from time travel. Concerning (i), I first show that Sider's argument commits him to certain strange consequences that many four-dimensionalists may not endorse, and then I discuss an objection that involves appealing to 'brutal composition', the view that there is no informative answer to Peter van Inwagen's 'special composition question'. Concerning (...) (ii), I argue that the three-dimensionalist can account for time travel scenarios in a way that is analogous to Sider's four-dimensionalist account of such scenarios. (shrink)

In his excellent book, Four-Dimensionalism: An Ontology of Persistence and Time (Sider, 2001), Theodore Sider defends a version of four-dimensionalism which he calls the ‘stage-theory’. This paper focuses on Sider's argument from vagueness and argues that, due to the problematic nature of the argument from vagueness, Sider’s case in favor of four-dimensionalism is in the end not successful.

Theodore Sider has given us a terrific book, bursting at the seams with new arguments and new takes on old arguments. Whether or not one is convinced by his conclusions, the thoroughness, lucidity, fair-mindedness—and the sheer exuberance—of his discussions make Four Dimensionalism a major contribution to contemporary metaphysics.

Vague existence can seem like the worst kind of vagueness in the world, or seem to be an entirely unintelligible notion. This bad reputation is based upon the rumour that if there is vague existence then there are non-existent objects. But the rumour is false: the modest brand of vague existence entailed by certain metaphysical theories of composition does not deserve its bad reputation.

This paper argues for the thesis that, roughly put, it is impossible to talk about absolutely everything. To put the thesis more precisely, there is a particular sense in which, as a matter of semantics, quantifiers always range over domains that are in principle extensible, and so cannot count as really being ‘absolutely everything’. The paper presents an argument for this thesis, and considers some important objections to the argument and to the formulation of the thesis. The paper also offers (...) an assessment of just how implausible the thesis really is. It argues that the intuitions against the thesis come down to a few special cases, which can be given special treatment. Finally, the paper considers some metaphysical ideas that might surround the thesis. Particularly, it might be maintained that an important variety of realism is incompatible with the thesis. The paper argues that this is not the case. (shrink)

This paper argues for the thesis that, roughly put, it is impossible to talk about absolutely everything. To put the thesis more precisely, there is a particular sense in which, as a matter of semantics, quantifiers always range over domains that are in principle extensible, and so cannot count as really being ‘absolutely everything’. The paper presents an argument for this thesis, and considers some important objections to the argument and to the formulation of the thesis. The paper also offers (...) an assessment of just how implausible the thesis really is. It argues that the intuitions against the thesis come down to a few special cases, which can be given special treatment. Finally, the paper considers some metaphysical ideas that might surround the thesis. Particularly, it might be maintained that an important variety of realism is incompatible with the thesis. The paper argues that this is not the case. (shrink)

Ted Sider’s book makes a beautifully presented and compellingly argued case for four dimensionalism. Most of the arguments for four dimensionalism to be found in the literature seem to me to be uncompelling. Ted’s argument from vagueness, given in the last section of chapter 4, is a notable exception. After discussing that argument I will respond to his objections in section 5 chapter 5 to my own temporary identity view.

I offer a new criticism of the argument from vagueness to four-dimensionalism [Sider 2001. The argument is modelled after an older argument for mereological universalism [Lewis 1986 and may be looked upon as a tightened-up and extended version of the latter. While I agree with other critics [Koslicki 2003; Markosian 2004 that the argument from vagueness fails precisely because of this affinity, my recipe for dealing with it is different. I reject the assumption, shared by Sider with his opponents, that (...) synchronic composition and ‘minimal diachronic fusion’ are sufficiently similar to use considerations inspired by the analysis of the former to bear on the latter. My objection to a crucial premise of the argument from vagueness turns on the relevant aspect of dissimilarity between these two cases. (shrink)

Four- Dimensionalism defends the thesis that the material world is composed of temporal as well as spatial parts. This defense includes a novel account of persistence over time, new arguments in favour of the four-dimensional ontology, and responses to the challenges four- dimensionalism faces." "Theodore Sider pays particular attention to the philosophy of time, including a strong series of arguments against presentism, the thesis that only the present is real. Arguments offered in favour of four- dimensionalism include novel arguments based (...) on time travel, the debate between spacetime substantivalists and relationalists, and vagueness. Also included is a comprehensive discussion of the paradoxes of coinciding material objects, and a novel resolution of those paradoxes based on temporal counterpart theory. In conclusion Sider replies to prominent objections to four- dimensionalism, including discussion of the problem of the rotating homogenous disk. (shrink)

In conversations between native speakers, words such as ‘same’ and ‘identical’ do not usually cause much difficulty. We take it for granted that others use them with the same sense as we do. If it is unclear whether numerical or qualitative identity is intended, a brief gloss such as ‘one thing not two’ for the former or ‘exactly alike’ for the latter removes the unclarity. In this paper, numerical identity is intended. A particularly conscientious and logically aware speaker might explain (...) what ‘identical’ means in her. (shrink)