This is a defense of endurantism against an alleged paradox.

The idea that there could be spatially extended mereological simples has recently been defended by a number of metaphysicians (Markosian 1998, 2004; Simons 2004; Parsons (2000) also takes the idea seriously). Peter Simons (2004) goes further, arguing not only that spatially extended mereological simples (henceforth just extended simples) are possible, but that it is more plausible that our world is composed of such simples, than that it is composed of either point-sized simples, or of atomless gunk. The difficulty for these (...) views lies in explaining why it is that the various sub-volumes of space occupied by such simples, are not occupied by proper parts of those simples. Intuitively at least, many of us find compelling the idea that spatially extended objects have proper parts at every sub-volume of the region they occupy. It seems that the defender of extended simples must reject a seemingly plausible claim, what Simons calls the geometric correspondence principle (GCP): that any (spatially) extended object has parts that correspond to the parts of the region that it occupies (Simons 2004: 371). We disagree. We think that GCP is a plausible principle. We also think it is plausible that our world is composed of extended simples. We reconcile these two notions by two means. On the one hand we pay closer attention to the physics of our world. On the other hand, we consider what happens when our concept of something—in this case space—contains elements not all of which are realized in anything, but instead key components are realized in different features of the world. (shrink)

This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

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)

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

Here is a question about mereological simples that I raised in a recent paper.

Think of “locations” very abstractly, as positions in a space, any space. Temporal locations are positions in time; spatial locations are positions in (physical) space; particulars are locations in quality space. Should we reify locations? Are locations entities? Spatiotemporal relation- alists say there are no such things as spatiotemporal locations; the fundamental spatial and temporal facts involve no locations as objects, only the instantiation of spatial and temporal relations. The denial of locations in quality space is the bundle theory, according (...) to which particulars do not exist; facts apparently about particulars really concern relations between universals. A “space”, in our abstract sense, consists of a set of objects, together with properties and relations defined on those objects. The objects are the locations of the space, and the distribution of the properties and relations over the locations defines the space’s structure. All spaces are thus quality spaces; when the relations are thought of as spatiotemporal then the space is also a spatiotemporal space. By not reifying locations one denies that these abstract spaces isomorphically represent the real world. The real world does in some sense have a structure that can be non-isomorphically represented by a space (or, more likely, a class of spaces), but the locations in those spaces do not correspond to anything real. We will examine modal considerations on reifying locations. Denying the existence of spatiotemporal locations excludes certain possibilities for spatiotemporal reality. Denying the existence of qualitative locations excludes certain possibilities for qualitative space. In each case the excluded possibilities are pre-analytically possible. Some of the possibilities can be reinstated by modifying the locationless theories, but at the cost of an unattractive holism. Do these modal considerations mandate postulating locations? That depends on whether modal intuition can teach us about the actual world.. (shrink)

Consider a circle and a pair of its semicircles. Which is prior, the whole or its parts? Are the semicircles dependent abstractions from their whole, or is the circle a derivative construction from its parts? Now in place of the circle consider the entire cosmos (the ultimate concrete whole), and in place of the pair of semicircles consider the myriad particles (the ultimate concrete parts). Which if either is ultimately prior, the one ultimate whole or its many ultimate parts?

In this book, Lawrence Sklar demonstrates the interdependence of science and philosophy by examining a number of crucial problems on the nature of space and ...

Thinking about space is thinking about spatial things. The table is on the carpet; hence the carpet is under the table. The vase is in the box; hence the box is not in the vase. But what does it mean for an object to be somewhere? How are objects tied to the space they occupy? This book is concerned with these and other fundamental issues in the philosophy of spatial representation. Our starting point is an analysis of the interplay between (...) mereology (the study of part/whole relations), topology (the study of spatial continuity and compactness), and the theory of spatial location proper. This leads to a unified framework for spatial representation understood quite broadly as a theory of the representation of spatial entities. The framework is then tested against some classical metaphysical questions such as: Are parts essential to their wholes? Is spatial colocation a sufficient criterion of identity? What (if anything) distinguishes material objects from events and other spatial entities? The concluding chapters deal with applications to topics as diverse as the logical analysis of movement and the semantics of maps. (shrink)

Normally this is not how we think material objects work. I, for example, am a material object that is located in multiple places: this place to my left where my left arm is, and this, distinct, place to my right, where my right arm is. But I am only partially located in each place. My left arm is a part of me that fills exactly the place to my left, and my right arm is a distinct part of me that (...) fills exactly the place to my right. I am located in multiple places by virtue of having distinct parts in those places. So entension is not happening to me — I do not entend. (shrink)

Properties come in clusters. It seems impossible, for instance, that a mass could float free, unattached to any other property. David Armstrong takes this as a reductio of the bundle theory and an argument for substrata, while Peter Simons and Arda Denkel reply by supplementing the bundle theory with accounts of property interdependencies. I argue against both views. Virtually all plausible ontologies turn out to be committed to the existence of free masses.

‘‘Thus I believe that there is no part of matter which is not—I do not say divisible—but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different creatures.’’ (Leibniz, letter to Foucher).

Let us say that an extended object is “composed wholly of simples” just in case it is an aggregate of absolutely unextended parts spread throughout an extended region—that is, just in case there is a set S such that: every member is a point-sized part of the object, and for every x, x is part of the object if and only if it has a part in common with some member of S. Could a truly extended substance be composed entirely (...) of unextended parts? Reflection upon the fact that it must be at least possible for extended objects to touch one another suggests that the answer to this question is: No. (shrink)

Paper begins: I have two gloves, a left glove and a right glove. I can fit the left glove onto my left hand, but not the right glove. Why? Because the right glove is the wrong shape to go on my left hand. So the two gloves are different shapes….

What are the necessary and jointly sufficient conditions for an object's being a simple (an object without proper parts)? According to one prominent view, The Pointy View of Simples, an object is a simple if and only if the region occupied by that object contains exactly one point in space. According to another prominent view, MaxCon, an object is a simple if and only if it is maximally continuous. In this paper, I argue that both of these views are inconsistent (...) with the possibility of discrete space. I then go on to formulate analogues to these two views that are consistent with this possibility, and argue that if we are willing to grant the possibility of discrete space, we should endorse the analogue to The Pointy View of Simples over the analogue to MaxCon. (shrink)

I argue that from a very weak recombination principle and plausible assumptions about the nature of parthood and location it follows that it's possible that the mereological structure of the material world and that of spacetime fail to correspond to one another in very radical ways. I defend, moreover, that rejecting the possibility of such failures of correspondence leaves us with a choice of equally radical alternatives. I also discuss a few ways in which their possibility is relevant to various (...) debates in metaphysics. (shrink)

Since the publication of Peter van Inwagen's book, Material Beings,1 there has been a growing body of philosophical literature on the topic of composition. The main question addressed in both van Inwagen's book and subsequent discussions of the topic is a question that van Inwagen calls "the Special Composition Question." The Special Composition Question is, roughly, the question Under what circumstances do several things compose, or add up to, or form, a single object? For the purposes of formulating a more (...) precise version of the Special Composition Question, we can adopt the following technical terms. (shrink)

I raised the following question in a recent paper: What are the necessary and jointly sufficient conditions for an object's being a simple? And I proposed and defended this answer (which I called 'MaxCon'): Necessarily, x is a simple iff x is a maximally continuous object. In a more recent paper, Kris McDaniel raises several objections to MaxCon, including, in particular, two objections based on a principle about the supervenience of constitution that he calls 'SoC'. The purpose of the present (...) paper is to address the main objections raised by McDaniel, and to show that none of them poses a serious threat to MaxCon. (shrink)

This chapter argues that from a particularly weak recombination principle and plausible assumptions about the nature of parthood and location, it follows that it is possible that the mereological structure of the material world and that of space-time fail to correspond to one another in very radical ways. The chapter suggests, moreover, that rejecting the possibility of such failures of correspondence leaves us with a choice of no less unappealing alternatives. It also discusses a few ways in which their possibility (...) is relevant to various important debates in metaphysics. (shrink)

Which mathematical structures are possible, that is, instantiated by the concrete inhabitants of some possible world? Are there worlds with four-dimensional space? With infinite-dimensional space? Whence comes our knowledge of the possibility of structures? In this paper, I develop and defend a principle of plenitude according to which any mathematically natural generalization of possible structure is itself possible. I motivate the principle pragmatically by way of the role that logical possibility plays in our inquiry into the world.

Jonathan Schaffer distinguishes two sorts of monism. Existence monists say that only one object exists: The World. Priority monists admit the existence of The World’s parts, but say that their features are derivative from the properties of The World. Both have trouble explaining the features of statespace, the set of possibilities available to The World.

This entry focuses on two of the more historically important monisms: existence monism and priority monism . Existence monism targets concrete objects and counts by tokens. This is the doctrine that exactly one concrete object exists. Priority monism also targets concrete objects, but counts by basic tokens. This is the doctrine that exactly one concrete object is basic, which will turn out to be the classical doctrine that the whole is prior to its parts.

What is the relation between material objects and spacetime regions? Supposing that spacetime regions are one sort of substance, there remains the question of whether or not material objects are a second sort of substance. This is the question of dualistic versus monistic substantivalism. I will defend the monistic view. In particular, I will maintain that material objects should be identified with spacetime regions. There is the spacetime manifold, and the fundamental properties are pinned directly to it.

In this chapter, I evaluate various conceptions of distance. Of the two most prominent, one takes distance relations to be intrinsic, the other extrinsic. I recommend pluralism: different conceptions can peacefully coexist as long as each holds sway over a distinct region of logical space. But when one asks which conception holds sway at the actual world, one conception stands out. It is the conception of distance embodied in differential geometry, what I call the Gaussian conception. On this conception, all (...) fundamental facts about distance are “local” facts.” But there is a problem: the Gaussian conception, notwithstanding its mathematical and physical credentials, appears metaphysically suspicious on Humean grounds. In the final section, I suggest that the Gaussian conception can be given a sound metaphysical footing in terms of non-standard analysis. (shrink)

I argue that extended simples are possible. The argument given here parallels an argument given elsewhere for the claim that the shape properties of material objects are extrinsic, not intrinsic as is commonly supposed. In the final section of the paper, I show that if the shape properties of material objects are extrinsic, the most popular argument against extended simples fails.

The following quotation, from Frank Jackson, is the beginning of a typical exposition of the debate between those metaphysicians who believe in temporal parts, and those who do not: The dispute between three-dimensionalism and four-dimensionalism, or more precisely, that part of the dispute we will be concerned with, concerns what persistence, and correllatively, what change, comes to. Three-dimensionalism holds that an object exists at a time by being wholly present at that time, and, accordingly, that it persists if it is (...) wholly present at more than one time. For short, it persists by enduring. Four-dimensionalism holds that an object exists at a time by having a temporal part at that time, and it persists if it has distinct temporal parts at more than one time. For short, it persists by perduring. In the light of these comments, some readers will perhaps find the question that forms the title of this paper a little puzzling. They may have learned to use the terms ‘fourdimensionalism’ ‘perdurantism’ and ‘belief in temporal parts’ interchangeably; or perhaps even to define one in terms of the other. Such a usage, however, is inapposite. We might imagine a Flatland-like world of two spatial dimensions and one temporal, whose philosophers are divided between a theory of persistence on which they persist by having temporal parts, and a theory on which they persist by being wholly located in each of several times. This is just the same issue we face, but at least the label ‘four-dimensionalism’ seems inapposite: the four-dimensionalist Flatlanders believe in only three dimensions! (shrink)

In a recent paper titled ' Simples ', Ned Markosian asks and answers the Simple Question, which is, 'under what circumstances is it true of some object that it has no proper parts?' Markosian 's answer to the simple question is MaxCon, which states that an object is a simple if and only if it is a maximally continuous object. I present several arguments against MaxCon.

I give reasons to suggest that the various ‘homogeneous substance’ objections to perdurance theory should not be regarded as raising serious difficulties. The main strategy is to show that there are equally exotic possibilities involving extended mereological simples that may turn the tables on the endurance theorist, insofar as she will have difficulties with these cases analogous to those she raises for the perdurantist. I conclude that such exotic cases are less useful that we might suppose in adjudicating between these (...) competing doctrines of persistence. (shrink)

I argue that there are is no informative statement of necessary and sufficient conditions for being a mereological simple.

Hud Hudson offers a fascinating examination of philosophical reasons to believe in hyperspace. He explores non-theistic reasons in the first chapter and theistic ones towards the end; in the intervening sections he inquires into a variety of puzzles in the metaphysics of material objects that are either generated by the hypothesis of hyperspace or else informed by it, with discussions of receptacles, boundaries, contact, occupation, and superluminal motion. Anyone engaged with contemporary metaphysics, and many philosophers of religion, will find much (...) to stimulate them here. (shrink)

Paper begins: Chapter 4 of Hud Hudson’s stimulating book The metaphysics of hyperspace contains an discussion of the notion of location in a container spacetime. Hudson uses this idea to define a number of what we might call modes of extension or ways of being extended. A pertended object is what most people think of as a typical extended object — it is made up of spatial parts, one part for each region the object pervades. An entended object is an (...) extended simple (or a complex object made up of extended simples). Elsewhere, I’ve argued that entended objects are conceptually possible; that nothing about the concept of “extended” rules out entention. (More about how this argument works below). Hudson thinks that I did not go far enough. Besides pertended and entended objects, he also sees conceptual room for what he calls spanners and multiply located objects. These last two ways of being extended are even more exotic than extended simples. …. (shrink)