One of the main motivations for compositional nihilism, the view that there are no composite material objects, concerns the many puzzles and problems associated with them. Nihilists claim that eliminating composites provides a unified solution to a slew of varied, difficult problems. However, numerous philosophers have questioned whether this is really so. While nihilists clearly avoid the usual, composite-featuring formulations of the puzzles, the concern is that the commitments that generate the problems are not eliminated along with composites. If this (...) is correct, it severely undercuts the motivation for the view. However, I argue that it is not correct. The aim of this paper is to explain exactly how and why eliminating composites dissolves substantive metaphysical puzzles. More generally, I aim to clarify the nihilist’s ontological commitments and the scope of the paraphrase strategy she employs. (shrink)

In this paper reasons are given for accepting a paradigmatically ‘metaphysical’ thesis called Unrestricted Mereological Composition, or something close to it. These reasons are drawn from thoroughly empirical considerations that played a significant role in the history of physical sciences, particularly in the emergence of the Newtonian laws of motion. Roughly: this metaphysical thesis is supported by a principle of ‘inference to the best explanation’ of observations of the very same kind that paradigmatically furnish evidence supporting or undermining empirical theories (...) in physics. There are methodological morals in metaphilosophy to be drawn from this historical example – blurring the distinction that has been traditionally drawn between ‘metaphysical’ theses and ‘empirical’ hypotheses. (shrink)

John Locke claimed that: ‘We never finding, nor conceiving it possible, that two things of the same kind should exist in the same place at the same time, we rightly conclude that, whatever exists anywhere at any time excludes all of the same kind, and is there itself alone’. He argued that, otherwise, ‘The notions and names of identity and diversity would be in vain, and there could be no such distinctions of substances or anything else one from another’. More (...) recently Professor D. Wiggins has made a similar claim for similar reasons. I shall maintain that, even if we accept the general outline of the essentialist account of identity given by Wiggins in his book, the claim that two things of the same kind cannot be in the same place at the same time should be rejected, until better reasons are forthcoming. (shrink)

Are the sculpture and the mass of gold which permanently makes it up one object or two? In this article, we argue that the monist, who answers ‘one object’, cannot accommodate the asymmetry of material constitution. To say ‘the mass of gold materially constitutes the sculpture, whereas the sculpture does not materially constitute the mass of gold’, the monist must treat ‘materially constitutes’ as an Abelardian predicate, whose denotation is sensitive to the linguistic context in which it appears. We motivate (...) this approach in terms of modal analyses of material constitution, but argue that ultimately it fails. The monist must instead accept a deflationary, symmetrical use of ‘materially constitutes’. We argue that this is a serious cost for her approach. (shrink)

Intuitively, (1)-(3) seem to express genuine claims (true or false) about what the world is like, attempts to correctly describe parts of extra-linguistic reality. By contrast, it is tempting to regard (4)-(6) as merely reflecting decisions (or conventions, or dispositions, or rules) concerning the terms in which that extra-linguistic reality is described, decisions about which things to label with 'vixen', 'bachelor' or 'cup'.

Plenitude, roughly, the thesis that for any non-empty region of spacetime there is a material object that is exactly located at that region, is often thought to be part and parcel of the standard Lewisian package in the metaphysics of persistence. While the wedding of plentitude and Lewisian four-dimensionalism is a natural one indeed, there are a hand-full of dissenters who argue against the notion that Lewisian four-dimensionalism has exclusive rights to plentitude. These ‘promiscuous’ three-dimensionalists argue that a temporalized version (...) of plenitude is entirely compatible with a three-dimensional ontology of enduring entities. While few would deny the coherence of such a position, and much work has been done by its proponents to appease critics, there has been surprisingly little by way of exploring the various forms such an ontology might take as well as the potential advantages of one plenitudinous three-dimensional ontology over another. Here I develop a novel form of plenitudinous three-dimensionalism, what John Hawthorne (Metaphysical essays, 2006a, b) has called “Neo-Aristotelian Plenitude,” and argue that if one is inclined to endorse an abundant three-dimensional ontology, one is wise to opt for a plenitude of accidental unities. (shrink)

Locke thought that it was impossible for there to be two things of the same kind in the same place at the same time. I offer (what looks to me like) a counterexample to that principle, involving two ships in the same place at the same time. I then consider two ways of explaining away, and one way of denying, the apparent counterexample of Locke's principle, and I argue that none is successful. I conclude that, although the case under discussion (...) does not refute Locke's principle, it constitutes a serious challenge to it. (shrink)

Anyone who endorses Universalism and Four Dimensionalism owes us an argument for those controversial mereological theses. One may put forth David Lewis’s and Ted Sider’s arguments from vagueness. However, the success of those arguments depends on the rejection of the epistemic view of vagueness, and thus opens the door to a fatal confrontation with one particularly troubling version of The Problem of the Many. The alternative for friends of Universalism and Four Dimensionalism is to abandon those currently fashionable arguments in (...) favor of others which are consistent with the epistemic view of vagueness and with the elegant solution it furnishes to that problem. (shrink)

Are there any non‐composite objects? Are there any objects every part of which is composite? Are items of either kind even possible? What would they be like? Of what significance would they be? How best can we come to have reasonable beliefs about the answers to these inquiries? Such questions – about the actuality and possibility, the analysis and significance, the methodology and epistemology of simples and pieces of gunk – have been center stage in recent contemporary analytic metaphysics. The (...) following article provides a general overview of some of the current debates on their proper answers as well as a pair of slightly more detailed investigations into two issues of special interest in the recent literature devoted to these topics. (shrink)

Introduction In the first four chapters of this book, I develop and defend a monistic account of human persons according to which human persons are highly ...

Atomism denies that complexes exist. Common-sense metaphysics may posit masses, composite individuals and sets, but atomism says there are only simples. In a singularist logic, it is difficult to make a plausible case for atomism. But we should accept plural logic, and then atomism can paraphrase away apparent reference to complexes. The paraphrases require unfamiliar plural universals, but these are of independent interest; for example, we can identify numbers and sets with plural universals. The atomist paraphrases would fail if plurals (...) presuppose complexes: but an Appendix shows that reference to complexes is not required in the semantics of plurals. (shrink)

In a series of papers, Eli Hirsch develops a deflationary account of certain ontological debates, specifically those regarding the composition and persistence of physical objects. He argues that these debates are merely verbal disputes between philosophers who fail to correctly express themselves in a common language. To establish the truth in plain English about these issues, Hirsch contends, we need only listen to the assertions of ordinary speakers and interpret them charitably. In this paper, I argue that Hirsch's conclusions rest (...) on a deficient understanding of the principle of charity. On a proper understanding of this principle, we can see that philosophical disagreement on these issues is not merely verbal. Further, it is no serious violation of charity to interpret ordinary assertions on these matters as false, for the beliefs they express can be explained as reasonable mistakes. Throughout I focus on the debate on composition; but my arguments should carry over to the debate on persistence. (shrink)

I propose a metaphysical position I call 'limited metaphysical realism', and I link it to a position in the philosophy of language I call 'psychologistic semantics'. Limited metaphysical realism asserts that there is a mind-independent, discourse-independent world, but posits a sparse ontology. Psychologistic semantics construes truth not as direct word/world correspondence, and not as warranted assertibility (or Putnam's "ideal" warranted assertibility), but rather as 'correct assertibility'. I argue that virtues of this package deal over each of the two broad positions (...) that have recently dominated metaphysics and philosophy of language--positions I call package deal metaphysical realism, and package deal anti-realism. (shrink)

The Evans-Salmon position on vague identity has deservedly elicited a large response in the literature. I think it is in fact among the most provocative metaphysical ideas to appear in recent years. I will try to show in this paper, however, that the position is vulnerable to a fundamental criticism that seems to have been virtually ignored in the many discussions of it. I take the Evans-Salmon position to consist of the following two theses: Thesis I. There cannot be objects (...) x and y such that it is indeterminate whether x is (identical with) y. Thesis II. The only way for an identity sentence to be indeterminate in truth-value is if one of the expressions flanking the identity symbol is referentially ambiguous.] The argument for Thesis I is essentially as follows. We are assuming that the sense of identity under discussion satisfies the standard formal logic of identity including Leibniz's Law. Suppose, now, that it is indeterminate whether x is y. Since it is determinate that x is x, x differs from y with respect to the property of being determinately x, from which it follows by Leibniz's Law that x is not y. Since the supposition that it is indeterminate whether x is y leads to the conclusion that x is not y, this supposition is incoherent. (shrink)

In this book, Eli Hirsch focuses on identity through time, first with respect to ordinary bodies, then underlying matter, and eventually persons.

Two main claims are defended in this paper: first, that typical disputes in the literature about the ontology of physical objects are merely verbal; second, that the proper way to resolve these disputes is by appealing to common sense or ordinary language. A verbal dispute is characterized not in terms of private idiolects, but in terms of different linguistic communities representing different positions. If we imagine a community that makes Chisholm's mereological essentialist assertions, and another community that makes Lewis's four-dimensionalist (...) assertions, the members of each community speak the truth in their respective languages. This follows from an application of the principle of interpretive charity to the two communities. (shrink)

The central question in this book is why it seems reasonable for the words of our language to divide up the world in ordinary ways rather than other imaginable ways. Hirsch calls this the division problem. His book aims to bring this problem into sharp focus, to distinguish it from various related problems, and to consider the best prospects for solving it. In exploring various possible responses to the division problem, Hirsch examines series of "division principles" which purport to express (...) rational constraints on how our words ought to classify and individuate. The ensuing discussion deals with a wide range of metaphysical and epistemological topics, including projectibility and similarity, alternative analyses of natural properties and things, the inscrutability of reference, and the relevance of such pragmatic notions as salience and economy. The final chapters of the book develop what Hirsch contends is the most promising response to the division problem: a theory in which constraints on classification and individuation are seen to derive from the necessary structure of "fine-grained" propositions and the necessary dependence of some concepts on others. (shrink)

When is it that two objects compose a whole? Or, put another way, if Z is an object composed of X and Y, then what must be done to bring it about that X and Y both exist and Z does not exist? The author defends an answer to what is now know as the Special Composition Question.

The majority of philosophers believe that the existence of spatially coincident entities is not only a coherent idea but that there are millions of such entities. What such philosophers do not countenance are spatially coincident entities of the same kind. We will call this ‘Locke's Thesis’ since the denial goes back to An Essay Concerning Human Understanding. It is there that Locke wrote, ‘For we never finding, nor conceiving it possible that two things of the same kind should exist in (...) the same place at the same time, we rightly conclude that, whatever exists anywhere at any time, excludes all of the same kind, and is there itself alone.’ It is not clear to me that the believer in spatially coincident entities can draw the ‘ontological line’ where Locke does. Many of the reasons that lead Locke and others to maintain that there exist spatially coincident entities of different kinds would also suggest that there are spatially coincident entities of the same kind. To illustrate this claim, a scenario of spatially coincident roads will be presented. (shrink)

The best reason to believe in temporal parts is to avoid commitment to coincidence—roughly, two objects occupying exactly the same space at exactly the same time. Most anti-coincidence arguments for temporal parts are fission arguments. Gaining some notice, however, are vagueness arguments. One goal of this paper is to clarify the way a temporal-parts ontology avoids coincidence, and another is to clarify the vagueness argument, highlighting the fact that it too is an anti-coincidence argument. The temporal-parts alternative to coincidence has (...) been challenged on the grounds that it leads to a kind of coincidence of its own. When something that is a temporal part of more than one person thinks about its future self, it must be thinking about a multitude of people. Thus, there must be many people thinking many thoughts in that region occupied by the thinking part. The third goal of this paper is debunking this attack on temporal parts. (shrink)

I offer a clear conception of a temporal part that does not make the existence of temporal parts implausible. This can be done if (and only if) we think of physical objects as four dimensional, The fourth dimension being time. Unless we are willing to deny the existence of most spatial parts, Or willing to accept the possibility of coincident entities, Or accept something even more implausible, We should accept the existence of temporal parts.

The Donkey Problem (as I am calling it) concerns the relationship between more and less fundamental ontologies. I will claim that the moral to draw from the Donkey Problem is that the less fundamental objects are merely conventional. This conventionalism has consequences for the 3D/4D debate. Four-dimensionalism is motivated by a desire to avoid coinciding objects, but once we accept that the non-fundamental ontology is conventional there is no longer any reason to reject coincidence. I therefore encourage 4Dists to become (...) even more radical—embrace the Donkey Problem’s conventionalism and deflate the debate between 3Dists and 4Dists. (shrink)

From an Ontological Point of View is a highly original and accessible exploration of fundamental questions about what there is. John Heil discusses such issues as whether the world includes levels of reality; the nature of objects and properties; the demands of realism; what makes things true; qualities, powers, and the relation these bear to one another. He advances an account of the fundamental constituents of the world around us, and applies this account to problems that have plagued recent work (...) in the philosophy of mind and metaphysics (color, intentionality, and the nature of consciousness). (shrink)

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.

I argue that, despite van Inwagen’s pessimism about the task, it is worth looking for answers to his General Composition Question. Such answers or ‘principles of composition’ tell us about the relationship between an object and its parts. I compare principles of composition with criteria of identity, arguing that, just as different sorts of thing satisfy different criteria of identity, they may satisfy different principles of composition. Variety in criteria of identity is not taken to reflect ontological variety in the (...) identity relation; I discuss whether variety in principles of composition should be taken to reflect ontological variety in the composition relation. (shrink)

In his Material Beings, Peter van Inwagen distinguishes two questions about parthood. What are the conditions necessary and sufficient for some things jointly to compose a whole? What are the conditions necessary and sufficient for a thing to have proper parts? The first of these, the Special Composition Question (SCQ), has been widely discussed, and David Lewis has argued that an important constraint on any answer to the SCQ is that it should not permit borderline cases of composition. This is (...) a far-reaching claim, since many plausible-seeming accounts of composition do permit borderline cases. Ned Markosian has recently directed our attention to the second, the neglected Inverse Special Composition Question (ISCQ). I will argue that those who accept Lewis’s constraint on answers to the SCQ should accept an analogous constraint on answers to the ISCQ, and I will discuss the effects of such a constraint. (shrink)

What is the relation between a whole and its parts? The metaphysics of structure and composition is much discussed in modern philosophy; now Verity Harte provides the first sustained examination of Plato's rich but neglected discussion of the topic, and shows how it can illuminate current debates. This book is an invaluable resource both for scholars of Plato and for modern metaphysicians.

There are three families of solutions to the traditional Amputation Paradox: Eliminativism, Contingent Identity Theories, and Theories of Coincident Entities. Theories of Coincident Entities challenge our common understanding of the relation between identity and parthood, since they accept that two things can be mereologically coincident without being identical. The contemporary discussion of the Amputation Paradox tends to mention only one theory of Coincident Entities, namely the Constitution View, which violates the mereological principle of Extensionality. But in fact, there is another (...) theory, namely the Unique Part View, which violates another mereological principle. In this paper, I argue that the contemporary focus on the Constitution View is unmotivated, at least when we are confronted with the Amputation Paradox, and that a balanced comparison of the two views should favour the Unique Part View. (shrink)

Mereological nihilism is the philosophical position that there are no items that have parts. If there are no items with parts then the only items that exist are partless fundamental particles, such as the true atoms (also called philosophical atoms) theorized to exist by some ancient philosophers, some contemporary physicists, and some contemporary philosophers. With several novel arguments I show that mereological nihilism is the correct theory of reality. I will also discuss strong similarities that mereological nihilism has with empirical (...) results in quantum physics. And I will discuss how mereological nihilism vindicates a few other theories, such as a very specific theory of philosophical atomism, which I will call quantum abstract atomism. I will show that mereological nihilism also is an interpretation of quantum mechanics that avoids the problems of other interpretations, such as the widely known, metaphysically generated, quantum paradoxes of quantum physics, which ironically are typically accepted as facts about reality. I will also show why it is very surprising that mereological nihilism is not a widely held theory, and not the premier theory in philosophy. (shrink)

Philosophers have long noticed the similarity of identity over time and identity across worlds. Despite this similarity, analogous views on these matters are not always taken equally seriously. Four-dimensionalism is one of the most well-known accounts of identity over time. There is a clear modal analogue of four-dimensionalism, on which objects are modally extended and their trans-world identity is a matter of having distinct modal parts located in different possible worlds. Yet this view, which we might call ‘five-dimensionalism,’ is rarely (...) discussed or defended, in comparison to its temporal counterpart. I argue that five-dimensionalism is at least as plausible as four-dimensionalism and deserves serious consideration as an account of trans-world identity. The strategy is to show that arguments typically used in defence of four-dimensionalism can be adapted to defend five-dimensionalism as well. A powerful consideration in favour of four-dimensionalism is the fact that it provides an elegant and unified solution to a variety of puzzles concerning material coincidence. I show that such puzzles come in equally troubling modal varieties and that five-dimensionalism provides an equally unified and elegant solution to them. (shrink)