The relationship of part to whole is one of the most fundamental there is; this is the first and only full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. 'Parts could easily be the standard book on mereology for the next twenty (...) or thirty years.' Timothy Williamson, Grazer Philosophische Studien. (shrink)

The objects we encounter in ordinary life and scientific practice - cars, trees, people, houses, molecules, galaxies, and the like - have long been a fruitful source of perplexity for metaphysicians. The Structure of Objects gives an original analysis of those material objects to which we take ourselves to be committed in our ordinary, scientifically informed discourse. Koslicki focuses on material objects in particular, or, as metaphysicians like to call them "concrete particulars", i.e., objects which occupy a single region of (...) space-time at each time at which they exist and which have a certain range of properties that go along with space-occupancy, such as weight, shape, color, texture, and temperature. The Structure of Objects focuses in particular on the question of how the parts of such objects, assuming that they have parts, are related to the wholes which they compose. (shrink)

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

With this third edition of Nelson Goodman's The Structure of Appear ance, we are pleased to make available once more one of the most in fluential and important works in the philosophy of our times. Professor Geoffrey Hellman's introduction gives a sustained analysis and appreciation of the major themes and the thrust of the book, as well as an account of the ways in which many of Goodman's problems and projects have been picked up and developed by others. Hellman also (...) suggests how The Structure of Appearance introduces issues which Goodman later continues in his essays and in the Languages of Art. There remains the task of understanding Good man's project as a whole; to see the deep continuities of his thought, as it ranges from logic to epistemology, to science and art; to see it therefore as a complex yet coherent theory of human cognition and practice. What we can only hope to suggest, in this note, is the b. road Significance of Goodman's apparently technical work for philosophers, scientists and humanists. One may say of Nelson Goodman that his bite is worse than his bark. Behind what appears as a cool and methodical analysis of the conditions of the construction of systems, there lurks a radical and disturbing thesis: that the world is, in itself, no more one way than another, nor are we. It depends on the ways in which we take it, and on what we do. (shrink)

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)

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)

Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from antiquity, the Paradox of the Liar. Treating truth as a property of propositions, not sentences, the authors model two distinct conceptions of propositions: one based on the standard notion used by Bertrand Russell, among others, and the other based on J.L. Austin's work on truth. Comparing these two accounts, the authors show that while the (...) Russellian conception of the relation between sentences, propositions, and truth is crucially flawed in limiting cases, the Austinian perspective has fruitful applications to the analysis of semantic paradox. In the course of their study of a language admitting circular reference and containing its own truth predicate, Barwise and Etchemendy also develop a wide range of model-theoretic techniques--based on a new set-theoretic tool, Peter Aczel's theory of hypersets--that open up new avenues in logical and formal semantics. (shrink)

John Hawthorne is widely regarded as one of the finest philosophers working today. He is perhaps best known for his contributions to metaphysics, and this volume collects his most notable papers in this field. Hawthorne offers original treatments of fundamental topics in philosophy, including identity, ontology, vagueness, and causation. Six of the essays appear here for the first time, and there is a valuable introduction to guide the reader through the selection.

There is a well-known argument from Leibniz's Law for the view that coincident material things may be distinct. For given that they differ in their properties, then how can they be the same? However, many philosophers have suggested that this apparent difference in properties is the product of a linguistic illusion; there is just one thing out there, but different sorts or guises under which it may be described. I attempt to show that this ‘opacity’ defence has intolerable consequences for (...) the functioning of our language and that the original argument should therefore be allowed to stand. (shrink)

Department of History and Philosophy of Science. University of Cambridge, Free School Lane, Cambridge CB2 3RH This paper is concerned with the question of whether atomic particles of the same species, i. e. with the same intrinsic state-independent properties of mass, spin, electric charge, etc, violate the Leibnizian Principle of the Identity of Indiscernibles, in the sense that, while there is more than one of them, their state-dependent properties may also all be the same. The answer depends on what exactly (...) the state-dependent properties of atomic particles are taken to be. On the plausible interpretation that these should comprise all monadic and relational properties that can be expressed in terms of physical magnitudes associated with self-adjoint operators that can be defined for the individual particles, then the weakest form of the Principle is shown to be violated for bosons, fermions and higher-order paraparticles, treated in first quantization *Some of the arguments inn this paper appeared in a thesis submited by one of us (S.F.) In partial fulfilment of the requirements for the PhD degree of the University of London, in 1984. entitled 'Identity and ‘Individuality in Classical and Quantum Physics’. (shrink)

As is well known, Aristotelian natural philosophy, and many other systems of natural philosophy since, have relied heavily on teleology and teleological causation. Somehow, the purpose or end of an obj ect can be used to predict and explain what that object does: once you know that the end of an acorn is to become an oak, and a few things about what sorts of circumstances are conducive to the attainment of this end, you can predict a lot about the (...) sprouting of the acorn and the subsequent behaviour of the piece of vegetation that results. Once you know that a rock seeks to move towards the centre of the Earth, you gain some insight into why it falls when released, and why it deforms the carpet or foot that it lands on. Once you know that the rabbit seeks to preserve itself, you can predict it will run from the fox. And so on. There are at least three features of Aristotle’s teleology, and more generally of an Aristotelian frame of mind about teleology, that may induce suspicion. One is that an end can serve as a "cause": as well as the sort of causation we all recognize, efficient causation, there are other forms, one of which is teleological causation. However, this can look less odd if we think of causes as things that figure in "because" answers to "why" questions. Whether or not self-preservation, or the rabbit’s continued existence, or something similar, causes the rabbit to run, the reply "because it seeks to continue in existence" certainly makes sense as an answer, or part of an answer, to a question about why it ran from the fox. (At present we are only. (shrink)

Putative counterexamples to the Principle of Identity of Indiscernibles (PII) are notoriously inconclusive. I establish ground rules for debate in this area, offer a new response to such counterexamples for friends of the PII, but then argue that no response is entirely satisfactory. Finally, I undermine some positive arguments for PII.

Classical mereology is a formal theory of the part-whole relation, essentially involving a notion of mereological fusion, or sum. There are various different definitions of fusion in the literature, and various axiomatizations for classical mereology. Though the equivalence of the definitions of fusion is provable from axiom sets, the definitions are not logically equivalent, and, hence, are not inter-changeable when laying down the axioms. We examine the relations between the main definitions of fusion and correct some technical errors in prominent (...) discussions of the axiomatization of mereology. We show the equivalence of four different ways to axiomatize classical mereology, using three different notions of fusion. We also clarify the connection between classical mereology and complete Boolean algebra by giving two "neutral" axiom sets which can be supplemented by one or the other of two simple axioms to yield the full theories; one of these uses a notion of "strong complement" that helps explicate the connections between the theories. (shrink)

I focus on three mereological principles: the Extensionality of Parthood (EP), the Uniqueness of Composition (UC), and the Extensionality of Composition (EC). These principles are not equivalent. Nonetheless, they are closely related (and often equated) as they all reflect the basic nominalistic dictum, No difference without a difference maker. And each one of them—individually or collectively—has been challenged on philosophical grounds. In the first part I argue that such challenges do not quite threaten EP insofar as they are either self-defeating (...) or unsupported. In the second part I argue that they hardly undermine the tenability of EC and UC as well. (shrink)

I examine the link between extensionality principles of classical mereology and the anti‐symmetry of parthood. Varzi's most recent defence of extensionality depends crucially on assuming anti‐symmetry. I examine the notions of proper parthood, weak supplementation and non‐well‐foundedness. By rejecting anti‐symmetry, the anti‐extensionalist has a unified, independently grounded response to Varzi's arguments. I give a formal construction of a non‐extensional mereology in which anti‐symmetry fails. If the notion of ‘mereological equivalence’ is made explicit, this non‐anti‐symmetric mereology recaptures all of the structure (...) of classical mereology. (shrink)

I argue that it is intuitive and useful to think about composition in the light of the familiar functionalist distinction between role and occupant. This involves factoring the standard notion of parthood into two related notions: being a parthood slot and occupying a parthood slot. One thing is part of another just in case it fills one of that thing's parthood slots. This move opens room to rethink mereology in various ways, and, in particular, to see the mereological structure of (...) a composite as potentially outreaching the individual entities that are its parts. I sketch one formal system that allows things to have individual entities as parts multiple times over. This is particularly useful to David Armstrong, given Lewis's charge that his structural universals must do exactly that. I close by reflecting upon the nature and point of formal mereology. (shrink)

I discuss puzzles involving coinciding material objects (such as statues and their constitutive lumps of clay) and propose solutions.

Multilocation and Minimal Mereology do not mix well. It has been pointed out that Three-Dimensionalism, which can be construed as multilocation-friendly, runs into trouble with Weak Supplementation. But in fact, regardless of one’s theory of persistence, if someone posits the possibility of any one of several kinds of multilocation, he or she will not be able to maintain the necessity of any of the three axioms of Minimal Mereology: the Transitivity of Proper Parthood, the Asymmetry of Proper Parthood, and Weak (...) Supplementation. In fact, positing even the mere conceivability of cases involving multilocation will require the denial of the analyticity of Minimal Mereology. In response to this, some have claimed that we ought to relativise parthood, either to one region or to two. Unfortunately, if we replace the axioms of Minimal Mereology with region-relativised counterparts, we will not be able to capture the intuitions that supported the original axioms. The only adequate solution, I maintain, is to restrict multilocation to a domain outside the scope of the rules we intuitively take to govern the parthood relation. For those who take Minimal Mereology to be necessary and universal, that will mean relinquishing the possibility of multilocation. (shrink)

This paper is a systematic exploration of non-wellfounded mereology. Motivations and applications suggested in the literature are considered. Some are exotic like Borges’ Aleph, and the Trinity; other examples are less so, like time traveling bricks, and even Geach’s Tibbles the Cat. The authors point out that the transitivity of non-wellfounded parthood is inconsistent with extensionality. A non-wellfounded mereology is developed with careful consideration paid to rival notions of supplementation and fusion. Two equivalent axiomatizations are given, and are compared to (...) classical mereology. We provide a class of models with respect to which the non-wellfounded mereology is sound and complete. (shrink)

Many metaphysicians accept the view that, necessarily, any collection of things composes some further thing. Necessarily, my arms, legs, head, and torso compose my body; necessarily, my arms, my heart, and the table compose something y; necessarily, my heart and the sun compose something z; and so on. 1 Though there have been a few recent attempts to argue against the necessity of this principle of unrestricted composition the consensus is that if it is true, it is necessarily true. 2In (...) what follows I will join the few dissenters and argue that this principle of unrestricted composition is not necessarily true. If I am right, it follows that either some principle of restricted composition is necessarily true or the existence of composite objects is a contingent matter. I will end by indicating why the latter option seems the most plausible. 3I proceed by reductio. Assume the following: Unrestricted composition is necessarily true.That is, assume that necessarily, any collection of things composes something. Then, necessarily, the collection of everything composes something. That is, necessarily, there exists a universal object U having all things as parts, not itself being a proper part of anything. Hence, by our assumption, we get: There must be a universal object U.It is important to note that this is so whether the world is finite or infinite. Holding that in worlds of finite cardinality there is a universal object U while in worlds of infinite cardinality there is no universal object U amounts to accepting a restricted form of composition. 4Now consider the following scenario. Everything in this world is spatially extended and just one half of something else that is also spatially extended. That is, for any thing in this world, there is something else of which …. (shrink)

In this paper, we argue that time travel is problematic for the endurantist. For it appears to be possible, given time travel, to construct a wall out of a single time travelling brick. This commits the endurantist to one of the following: (a) the wall is composed of the time travelling brick many times over; (b) the wall does not in fact exist at all; (c) the wall is identical to the brick. We argue that each of these options is (...) unsatisfactory. (shrink)

Naive mereology studies ordinary, common-sense beliefs about part and whole. Some of the speculations in this article on naive mereology do not bear directly on Peter van Inwagen's "Material Beings". The other topics, (1) and (2), both do. (1) Here is an example of Peter Unger's "Problem of the Many". How can a table be a collection of atoms when many collections of atoms have equally strong claims to be that table? Van Inwagen invokes fuzzy sets to solve this problem. (...) I claim that an alternative treatment of vagueness, supervaluations over many-value valuations, provides a better solution. (2) The Special Composition Question asks how parts compose a whole. One who rejects van Inwagen's answer in terms of constituting a life need not provide some alternative answer. Even if all answers to the Special Question fail, there are a multitude of less general composition questions that are not so difficult. (shrink)

I argue that Universalism (the thesis that mereological composition is unrestricted) entails Extensionalism (the thesis that sameness of composition is sufficient for identity) as long as the parthood relation is transitive and satisfies the Weak Supplementation principle (to the effect that whenever a thing has a proper part, it has another part disjoint from the first).

Friends of states of affairs and structural universals appeal to a relation, structure-making, that is allegedly a kind of composition relation: structure-making ?builds? facts out of particulars and universals, and ?builds? structural universals out of unstructured universals. D. M. Armstrong, an eminent champion of structures, endorses two interesting theses concerning composition. First, that structure-making is a composition relation. Second, that it is not the only (fundamental) composition relation: Armstrong also believes in a mode of composition that he calls mereological, and (...) which he takes to be the only kind of composition recognized by his philosophical adversaries, such as David Lewis. Armstrong, accordingly, is a kind of pluralist about compositional relations: there is more than one way to make wholes from parts. In this paper, I critically evaluate Armstrong's compositional pluralism. (shrink)

According to the Weak Supplementation Principle (WSP)—a widely received principle of mereology—an object with a proper part, p , has another distinct proper part that doesn't overlap p . In a recent article in this journal, Nikk Effingham and Jon Robson employ WSP in an objection to endurantism. I defend endurantism in a way that bears on mereology in general. First, I argue that denying WSP can be motivated apart from the truth of endurantism. I then go on to offer (...) an explanation of WSP's initial appeal, argue that denying WSP fails to have untoward consequences for the rest of mereology, and show that the falsity of WSP is consistent with a primary guiding thought behind it. (shrink)

1. 1. PROGRAM It will be our aim to reconstruct, with precision, certain views which have been traditionally associated with nominalism and to investigate problems arising from these views in the construction of interpreted formal systems. Several such systems are developed in accordance with the demand that the sentences of a system which is acceptable to a nominalist must not imply the existence of any entities other than individuals. Emphasis will be placed on the constructionist method of philosophical analysis. To (...) follow this method is to introduce the central notions of the subject-matter to be investigated into a system governed by exact rules. For example, the constructionist method of investigating the properties of geometric figures may consist in formulating a system of postulates and definitions which, together with the apparatus of formal logic, generates all necessary truths concerning geometric figures. Similarly, a constructionist analysis of the notion of an individual may take the form of an axiomatic theory whose provable assertions are just those which seem essential to the role played by the concept of an individual in system atic contexts. Such axiomatic theories gain in interest if they are supple mented by precise semantical rules specifying the denotation of all terms and the truth conditions of all sentences of the theory. (shrink)

Mereological principles are sometimes used to support general claims about the structure and arrangement of objects in the world. I focus initially on one such mereological principle, the weak supplementation principle (WSP). It is not obvious that (WSP) is prescribed by ordinary thinking about parthood. Further, (WSP) is not needed for a fairly strong formal characterization of the part–whole relation. For these reasons, some arguments relying on (WSP) might be countered by simply denying (WSP). I argue more generally that there (...) is no reason to assume that one core mereology functions as a common basis for all plausible metaphysical theories. (shrink)

This paper takes a close look at the thought that mereological relations on material objects mirror, and are mirrored by, parallel mereological relations on their exact locations. This hypothesis is made more precise by means of a battery of principles from which more substantive consequences are derived. Mereological harmony turns out to entail, for example, that atomistic space is an inhospitable environment for material gunk or that Whiteheadian space is not a hospitable environment for unextended material atoms.

It is plausible that the universe exists: a thing such that absolutely everything is a part of it. It is also plausible that singular, structured propositions exist: propositions that literally have individuals as parts. Furthermore, it is plausible that for each thing, there is a singular, structured proposition that has it as a part. Finally, it is plausible that parthood is a partial ordering: reflexive, transitive, and anti-symmetric. These plausible claims cannot all be correct. We canvass some costs of denying (...) each claim and conclude that parthood is not a partial ordering. Provided that the relevant entities exist, parthood is not anti-symmetric and proper parthood is neither asymmetric nor transitive. (shrink)

Monists about material constitution typically argue that when Statue is materially constituted by Clay, Statue is just Clay. Pluralists about material constitution deny that constitution is identity: Statue is not just Clay. When Clay materially constitutes Statue, Clay is not identical to Statue. I discuss three familiar puzzles involving grounding, overdetermination and conceptual issues, and develop three new puzzles stemming from the connection between mereological composition and material constitution: a mereological puzzle, an asymmetry puzzle, and a structural puzzle.

That parthood is a transitive relation is among the most basic principles of classical mereology. Alas, it is also very controversial. In a recent paper, Ingvar Johansson has put forward a novel diagnosis of the problem, along with a corresponding solution. The diagnosis is on the right track, I argue, but the solution is misleading. And once the pieces are properly put together, we end up with a reinforcement of the standard defense of transitivity on behalf of classical mereology.

If the property _being a methane molecule_ is a universal, then it is a structural universal: objects instantiate _being a methane molecule_ just in case they have the right sorts of proper parts arranged in the right sort of way. Lewis argued that there can be no satisfactory account of structural universals; in this paper I provide a satisfactory account.

Orthodoxy has it that mereological composition can never be a vague matter, for if it were, then existence would sometimes be a vague matter too, and that's impossible. I accept that vague composition implies vague existence, but deny that either is impossible. In this paper I develop degree-theoretic versions of quantified modal logic and of mereology, and combine them in a framework that allows us to make clear sense of vague composition and vague existence, and the relationships between them.

I have previously argued in a paper with Robson that a particular time travel scenario favours perdurantism over endurantism on the grounds that endurantists must give up on the Weak Supplementation Principle. Smith has responded, arguing that the reasons we provided are insufficient to warrant this conclusion. This paper agrees with that conclusion (for slightly different reasons: that even the perdurantist has to give up on the Weak Supplementation Principle) but argues that the old argument can be supplanted with a (...) new one. (shrink)

In Parts of Classes and "Mathematics is Megethology" David Lewis shows how the ideology of set membership can be dispensed with in favor of parthood and plural quantification. Lewis's theory has it that singletons are mereologically simple and leaves the relationship between a thing and its singleton unexplained. We show how, by exploiting Kit Fine's mereology, we can resolve Lewis's mysteries about the singleton relation and vindicate the claim that a thing is a part of its singleton.