Are identity criteria grounding principles? A prima facie answer to this question is positive. Specifically, two-level identity criteria can be taken as principles related to issues of identity among objects of a given kind compared with objects of a more basic kind. Moreover, they are grounding metaphysical principles of some objects with regard to others. In the first part of the paper we criticise this prima facie natural reading of identity criteria. This result does not mean that identity criteria could (...) not be taken as grounding principles. In the second part, we propose some basic steps towards a conceptual reading of grounding. Such a way of understanding it goes along with an epistemic reading of identity criteria. (shrink)

This paper provides new arguments for the following claim: either strong composition as identity cannot retain the full strength of both the logical principles of one-one identity and its semantical principles or it only delivers cases of boring composition in that it entails mereological nihilism.

Composition is Identity is the thesis that a whole is, strict and literally, its parts considered collectively. Mereological Nihilism is the thesis that there are no composite objects whatsoever instead. This paper argues that they are equivalent, at least insofar as Composition is Identity is phrased in a particular way. It then addresses some consequences of such equivalence.

A property, F, is maximal iff, roughly, large parts of an F are not themselves Fs.' Maximality makes trouble for a recent analysis of intrinsicality by Rae Langton and David Lewis.

Are there objects that are “thin” in the sense that their existence does not make a substantial demand on the world? Frege famously thought so. He claimed that the equinumerosity of the knives and the forks suffices for there to be objects such as the number of knives and the number of forks, and for these objects to be identical. The idea of thin objects holds great philosophical promise but has proved hard to explicate. This book attempts to develop the (...) needed explanations by drawing on some Fregean ideas. First, to be an object is to be a possible referent of a singular term. Second, singular reference can be achieved by providing a criterion of identity for the would-be referent. The second idea enables a form of easy reference and thus, via the first idea, also a form of easy being. Paradox is avoided by imposing a predicativity restriction on the criteria of identity. But the abstraction based on a criterion of identity may result in an expanded domain. By iterating such expansions, a powerful account of dynamic abstraction is developed. (shrink)

Parthood and composition are everywhere. The leg of a table is part of the table, the word "Christmas" is part of the sentence "I wish you a merry Christmas", the 13th century is part of the Middle Ages. The Netherlands, Belgium, and Luxembourg compose Benelux, the body of a deer is composed of a huge number of cells, the Middle Ages are composed of the Early Middle Ages, High Middle Ages, and Late Middle Ages. Is there really a general theory (...) covering every instance of parthood and composition? Is classical mereology this general theory? Are its seemingly counter-intuitive features serious defects? -/- Mereology: A Philosophical Introduction addresses the multifaceted and lively philosophical debates surrounding these questions, and defends the idea that classical mereology is indeed the general and exhaustive theory of parthood and composition in the domain of concrete entities. -/- Several examples of parthood and composition, involving entities of different kinds, are scrutinised in depth. Incidentally, mereology is shown to interact in a surprising way with metaontology. Presenting a well-organized and comprehensive discussion of parthood and related notions, Mereology: A Philosophical Introduction contributes to a better understanding of a subject central to contemporary metaphysics. (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)

This book present a unified semantic theory of expressions involving the notions of part and whole. It develops a theory of part structures which differs from traditional (extensional) mereological theories in that the notion of an integrated whole plays a central role and in that the part structure of an entity is allowed to vary across different situations, perspectives, and dimensions. The book presents a great range of empirical generalizations involving plurals, mass nouns, adnominal and adverbial modifiers such as 'whole', (...) 'together', and 'alone', nominal and adverbial quanitfiers ranging over parts, and expressions of completion such as 'completely' and 'partly'. (shrink)

Many of us think that ordinary objects – such as tables and chairs – exist. We also think that ordinary objects have parts: my chair has a seat and some legs as parts, for example. But once we are committed to the (seemingly innocuous) thesis that ordinary objects are composed of parts, we then open ourselves up to a whole host of philosophical problems, most of which center on what exactly the composition relation is. Composition as Identity (CI) is the (...) view that the composition relation is the identity relation. While such a view has some advantages, there are many arguments against it. In this essay, I will briefly canvass three different varieties of Composition as Identity, and suggest why one of them should be preferred over the others. Then I will outline several versions of the most common objection against CI. I will suggest how a CI theorist can respond to these charges by maintaining that some of the arguments are invalid. (In part 2, I show how a CI theorist can maintain that the remaining arguments, while valid, are unsound). (shrink)

Many of us think that ordinary objects – such as tables and chairs – exist. We also think that ordinary objects have parts: my chair has a seat and some legs as parts, for example. But once we are committed to the (seemingly innocuous) thesis that ordinary objects are composed of parts, we then open ourselves up to a whole host of philosophical problems, most of which center on what exactly this composition relation is. Composition as Identity (CI) is the (...) view that the composition relation is the identity relation. While such a view has some advantages, there are many arguments against it. In this essay, I discuss several versions of the most common objection against CI, and show how the CI theorist can maintain that these arguments – contrary their initial intuitive appeal – are nonetheless unsound. (shrink)

Strong Composition as Identity is the thesis that necessarily, for any xs and any y, those xs compose y iff those xs are non-distributively identical to y. Some have argued against this view as follows: if some many things are non-distributively identical to one thing, then what’s true of the many must be true of the one. But since the many are many in number whereas the one is not, the many cannot be identical to the one. Hence is mistaken. (...) Although I am sympathetic to this objection, in this paper, I present two responses on behalf of the theorist. I also show that once the defender of accepts one of these two responses, that defender will be able to answer The Special Composition Question. (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)

There will be a few themes. One to get us going: expansion versus contraction. About an object, o, and the region, R, of space(time) in which o is exactly located,1 we may ask: i) must there exist expansions of o: objects in filled superregions2 of R? ii) must there exist contractions of o: objects in filled subregions of..

Terence Parsons presents a lively and controversial study of philosophical questions about identity. Because many puzzles about identity remain unsolved, some people believe that they are questions that have no answers and that there is a problem with the language used to formulate them. Parsons explores a different possibility: that such puzzles lack answers because of the way the world is (or because of the way the world is not). He claims that there is genuine indeterminacy of identity in the (...) world. He articulates such a view in detail and defends it from a host of criticisms. (shrink)

In the last few decades of the twentieth century there was a revolution in metaphysics: the intensional revolution. Many metaphysicians rejected the doctrine, associated with Quine and Davidson, that extensional analyses and theoretical resources were the only acceptable ones. Metaphysicians embraced tools like modal and counterfactual analyses, claims of modal and counterfactual dependence, and entities such as possible worlds and intensionally individuated properties and relations. The twenty-first century is seeing a hypterintensional revolution. Theoretical tools in common use carve more finely (...) than by necessary equivalence: two pieces of language can apply to the same entities across all possible worlds but not be equivalent; thoughts can be necessarily equivalent in truth value but not synonymous. This paper argues that hyperintensional resources are valuable in metaphysics outside theories of representation, and discusses some promising areas of hyperintensional metaphysics. (shrink)

The blurb on the back cover claims that in this book, it is possible to find all the tools needed to ‘theorize about all things mereological’. The book fulfills.

According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a consequence, relative (...) counting requires the relativization either of quantifiers, or of identity, or of the is one of relation. However, some of these relativizations do not deliver the expected results, and others rely on problematic assumptions. In another broad variety of relativization, cardinality ascriptions are about concepts or sets. The most promising development of this approach is prima facie connected with a violation of the so-called Coreferentiality Constraint, according to which an identity statement is true only if its terms have the same referent. Moreover - even provided that the problem with coreferentiality can be fixed - the resulting analysis of cardinality ascriptions meets several difficulties. (shrink)

In §54 of the Grundlagen, Frege advances an interesting proposal on how to distinguish among different sorts of concepts, only some of which he thinks can be associated with number. This paper is devoted to an analysis of the two criteria he offers, isolation and non-arbitrary division. Both criteria say something about the way in which a concept divides its extension; but they emphasize different aspects. Isolation ensures that a concept divides its extension into discrete units. I offer two construals (...) of this: isolation as discreteness, i.e. absence of overlap, between the objects to be counted; and isolation as the drawing of conceptual boundaries. Non-arbitrary division concerns the internal structure of the units we count: it makes sure that we cannot go on dividing them arbitrarily and still find more units of the kind. Non-arbitrary division focuses not only on how long something can be divided into parts of the same kind; it also speaks to the way in which these divisions are made, arbitrarily or non-arbitrarily, as well as to the compositional structure of the objects divided. (shrink)

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.

Identities formed with proper names may be contingent. this claim is made first through an example. the paper then develops a theory of the semantics of concrete things, with contingent identity as a consequence. this general theory lets concrete things be made up canonically from fundamental physical entities. it includes theories of proper names, variables, cross-world identity with respect to a sortal, and modal and dispositional properties. the theory, it is argued, is coherent and superior to its rivals, in that (...) it stems naturally from a systematic picture of the physical world. (shrink)

I propose formulating identity criteria as generic statements of ground, thereby avoiding objections that have been made to the more usual formulations.

Occasions of Identity is an exploration of timeless philosophical issues about persistence, change, time, and sameness. Andre Gallois offers a critical survey of various rival views about the nature of identity and change, and puts forward his own original theory. He supports the idea of occasional identities, arguing that it is coherent and helpful to suppose that things can be identical at one time but distinct at another. Gallois defends this view, demonstrating how it can solve puzzles about persistence dating (...) back to the Ancient Greeks, and investigates the metaphysical consequences of rejecting the necessity and eternity of identities. (shrink)

Some claim that Composition as Identity (CI) entails Mereological Essentialism (ME). If this is right, then we have an effective modus tollens against CI: ME is clearly false, so CI is, too. Rather than deny the conditional, I will argue that a CI theorist should embrace ME. I endorse a theory of modal parts such that ordinary objects are spatially, temporally, and modally extended. Accepting modal parts is certainly beneficial to CI theorists, but it also provides elegant solutions to the (...) traditional puzzles of constitution, making it a competitive move in its own right. (shrink)

Absolute identity seems at first sight to be presupposed in the branch of formal logic called identity theory. Classical identity theory may be obtained by adjoining a single schema to ordinary quantification theory.

"Composition as identity" is the radical claim that the whole is identical to the parts - radical because it implies that a single object can be identical to many objects. Composition as identity, together with auxiliary assumptions, implies the principle of "collapse": an object is one of some things if and only it is part of the fusion of those things. Collapse has important implications: the comprehension principle of plural logic must be restricted, plural definite descriptions such as "the Cheerios (...) in the bowl" are empty, Composition as identity does not preclude emergent properties (contrary to what McDaniel has argued), and drastic simplifications of mereological and logical ideology are extensionally available. (shrink)

Let’s start with compositional pluralism. Elsewhere I’ve defended compositional pluralism, which we can provisionally understand as the doctrine that there is more than one basic parthood relation. (You might wonder what I mean by “basic”. We’ll discuss this in a bit.) On the metaphysics I currently favor, there are regions of spacetime and material objects, each of which enjoy bear a distinct parthood relation to members of their own kind. Perhaps there are other kinds of objects that enjoy a kind (...) of parthood relation other than the ones enjoyed by material objects and regions of spacetime. Perhaps, for example, there are facts; I’ve been wavering over whether to embrace these entities for years now. However, I’m reasonably confident that if there are facts than the kind of parthood relation that facts bear to that which composes them is not the kind of parthood relation enjoyed by material objects or regions of spacetime. More on why I am reasonably confident later. (shrink)

In this work I first develop, motivate, and defend the view that mereological composition, the relation between an object and all its parts collectively, is a relation of identity. I argue that this view implies and hence can explain the logical necessity of classical mereology, the formal study of the part-whole relation. I then critically discuss four contemporary views of the same kind. Finally, I employ my thesis in a recent discussion of whether the world is fundamentally one in number.

There are four broad grounds upon which the intelligibility of quantification over absolutely everything has been questioned—one based upon the existence of semantic indeterminacy, another on the relativity of ontology to a conceptual scheme, a third upon the necessity of sortal restriction, and the last upon the possibility of indefinite extendibility. The argument from semantic indeterminacy derives from general philosophical considerations concerning our understanding of language. For the Skolem–Lowenheim Theorem appears to show that an understanding of quanti- fication over absolutely (...) everything (assuming a suitably infinite domain) is semantically indistinguishable from the understanding of quantification over something less than absolutely everything; the same first-order sentences are true and even the same first-order conditions will be satisfied by objects from the narrower domain. From this it is then argued that the two kinds of understanding are indistinguishable tout court and that nothing could count as having the one kind of understanding as opposed to the other. (shrink)

In this paper I argue that composition as identity entails unrestricted composition. I also briefly consider a new take on the special composition question.