Haecceities are non-qualitative properties for individuation but the current theories about haecceities are still to be much more explored. This paper aims to develop a “haecceity mereology” – that is, an ontological system that understands substances as mereological combinations of haecceities and qualitative properties. In this way, the view developed is an alternative to Paul’s : 578–96; 2006. “Coincidence as Overlap.” Noûs 40 : 623–59) mereological approach. Three rules are proposed: If S is a substance, then there is one and (...) only one haecceity which is S’s qualitative part; For all the fusions with the same haecceity, at most only one of those fusions is a substance; When all the relevant elements are abundant, every element must overlap at least one substance. This is the first ontology of haecceities in the recent literature and would be a model for systematic metaphysics. (shrink)

Contemporary accounts of logic and language cannot give proper treatments of plural constructions of natural languages. They assume that plural constructions are redundant devices used to abbreviate singular constructions. This paper and its sequel, "The logic and meaning of plurals, II", aim to develop an account of logic and language that acknowledges limitations of singular constructions and recognizes plural constructions as their peers. To do so, the papers present natural accounts of the logic and meaning of plural constructions that result (...) from the view that plural constructions are, by and large, devices for talking about many things (as such). The account of logic presented in the papers surpasses contemporary Fregean accounts in its scope. This extension of the scope of logic results from extending the range of languages that logic can directly relate to. Underlying the view of language that makes room for this is a perspective on reality that locates in the world what plural constructions can relate to. The papers suggest that reflections on plural constructions point to a broader framework for understanding logic, language, and reality that can replace the contemporary Fregean framework as this has replaced its Aristotelian ancestor. (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)

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 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 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. (shrink)

In this review essay, I examine the central tenets of sociologist Dave Elder-Vass’s recent contribution to social ontology, as put forth in his book The Causal Power of Social Structures: Emergence, Structure and Agency. Elder-Vass takes issue with ontological individualists and maintains that social structures exist and have causal powers in their own right. I argue that he fails to establish his main theses: he shows neither that social structures have causal powers “in their own right” (in any sense of (...) this expression) nor that they exist. (shrink)

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

How should ‘the physical’ be defined for the purpose of formulating physicalism? In this paper I defend a version of the via negativa according to which a property is physical just in case it is neither fundamentally mental nor possibly realized by a fundamentally mental property. The guiding idea is that physicalism requires functionalism, and thus that being a type identity theorist requires being a realizer-functionalist. In §1 I motivate my approach partly by arguing against Jessica Wilson's no fundamental mentality (...) constraint. In §2 I set out my preferred definition of ‘the physical’ and make my case that physicalism requires functionalism. In §3 I defend my proposal by attacking the leading alternative account of ‘the physical,’ the theory-based conception. Finally, in §4 I draw on my definition, together with Jaegwon Kim's account of intertheoretic reduction, to defend the controversial view that physicalism requires a priori physicalism. (shrink)

The general composition question asks “what are the necessary and jointly sufficient conditions any xs and any y must satisfy in order for it to be true that those xs compose that y?” Although this question has received little attention, there is an interesting and theoretically fruitful answer. Namely, strong composition as identity (SCAI): necessarily, for any xs and any y, those xs compose y iff those xs are identical to y. SCAI is theoretically fruitful because if it is true, (...) then there is an answer to one of the most difficult and intractable questions of mereology (The Simple Question). In this paper, I introduce the identity account of simplicity and argue that if SCAI is true then this identity account of simplicity is as well. I consider an objection to the identity account of simplicity. Ultimately, I find this objection unsuccessful. (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)

Lewis famously argued that mereology is ontologically innocent. Many who have considered this claim believe he was mistaken. Mereology is not innocent, because its acceptance entails the acceptance of sums, new objects that were not previously part of one’s ontology. This argument, the argument from ontological parsimony, has two versions: a qualitative and a quantitative one. I argue that the defender of mereology can neutralize both arguments by holding that, given mereology, a commitment to the parts of an object is (...) not an extra ontological commitment, made in addition to the commitment to the object; and that if the parts of an object are ‘ontologically innocent’, then sums cannot fail to be innocent either. (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..

The existence of mereological sums can be derived from an abstraction principle in a way analogous to numbers. I draw lessons for the thesis that “composition is innocent” from neo-Fregeanism in the philosophy of mathematics.

I claim that a whole is identical to its parts. Many find this claim incredible: it seems that a whole and its parts must be distinct, for the whole is one thing while its parts are many things. Byeong-uk Yi has developed a version of this argument which exploits the resources of plural logic. Yi provides logical analyses of the predicates ‘one’ and ‘many’ which seem to show that nothing can satisfy them both. But there are two senses of the (...) word ‘one’. One of these senses is not captured by Yi’s analysis, and in this sense of the word, it is logically possible for many things to be one. Moreover, we should only believe that a whole is one thing in this sense, not that it is one thing in the sense Yi has analysed. Thus, we can identify wholes with their parts without contradiction. (shrink)

A dilemma put forward by Schein (1993) and Rayo (2002) suggests that, in order to characterize the semantics of plurals, we should not use predicate logic, but plural logic, a formal language whose terms may refer to several things at once. We show that a similar dilemma applies to mass nouns. If we use predicate logic and sets when characterizing their semantics, we arrive at a Russellian paradox. And if we use predicate logic and mereoogical ums, the semantics turns out (...) to be too weak. We then develop an account where mass nouns are treated as non-singular terms. This semantics is faithful to the intuition that, if there are eight pieces of silverware on a table, the speaker refers to eight things at once when he says: "The silverware that is on the table comes from Italy." We show that this account provides a satisfactory semantics for a wide range of sentences. (shrink)

A dilemma put forward by Schein (1993) and Rayo (2002) suggests that, in order to characterize the semantics of plurals, we should not use predicate logic, but non-singular logic, a formal language whose terms may refer to several things at once. We show that a similar dilemma applies to mass nouns. If we use predicate logic and sets, we arrive at a Russellian paradox when characterizing the semantics of mass nouns. Likewise, a semantics of mass nouns based upon predicate logic (...) and mereological sums is too weak, since it cannot characterize the “intermediary” construals that sentences containing mass nouns may receive. We then develop an account where mass nouns are treated as non-singular terms, which may refer to several things at once. This semantics is faithful to the intuition that, if there are eight pieces of silverware on a table, the speaker refers to eight things at once when he says: “The silverware that is on the table comes from Italy”. We show that this account provides a satisfactory semantics for a wide range of sentences, including cases often seen as difficult, like “The gold on the table weighs seven ounces” (Bunt 1985) and “All phosphorus is either red or black” (Roeper 1983). (shrink)

For some time now, Jaegwon Kim has argued that irreducible mental properties face the threat of causal inefficacy. The primary weapon he deploys to sustain this charge is the supervenience/exclusion argument. This argument, in a nutshell, states that any mental property that irreducibly supervenes on a physical property is excluded from causal efficacy because the underlying physical property takes care of all of the causal work itself. Originally intended for mental properties alone, it did not take long for his critics (...) to suggest the argument generalizes across all of the special science properties as well. Kim responds in two different ways to the generalization problem. The first response, which I call the higher-level solution, is ably dismissed by numerous critics. The second response, which I call the identity solution, has not faced comparable scrutiny. In this paper I argue that the identity solution faces numerous problems of its own. (shrink)

In recent years, emergentism has resurfaced as a possible method by which to secure autonomous mental causation from within a physicalistic framework. Critics argue, however, that emergentism fails, since emergentism entails that effects have sufficient physical causes, so they cannot also have distinct mental causes. In this paper I argue that this objection may be effective against supervenient emergentism, but it is not established that it is effective against mereological emergentism. In fact, after demonstrating that two founding emergentists, Samuel Alexander (...) and C. Lloyd Morgan, are mereological emergentists, I show how mereological emergentism provides fresh responses to the causal exclusion problem. (shrink)

While there are reasons to believe that both component forces and a resultant force operate on a body in combined circumstances, the threat of overdetermination largely prevents adoption of this view. Accordingly, a lively debate has arisen over which force actually exists and which force is eliminated in combined circumstances, the components or the resultant. In this article I present a non-reductive model of resultant force which ensures the existence of both the resultant force and the component forces without overdetermination. (...) According to the non-reductive model, the resultant force is the summation of component forces, where summation is interpreted as meaning that the component forces, when temporally and spatially overlapping, form a superposed mixture which is the resultant force, but which is not identical to the conjunction of component forces taken with temporal and spatial independence. (shrink)

The Frege-Russell view is that existence is a second-order property rather than a property of individuals. One of the most compelling arguments for this view is based on the premise that there is an especially close connection between existence and number. The most promising version of this argument is by C.J.F Williams (1981, 1992). In what follows, I argue that this argument fails. I then defend an account according to which both predications of number and existence attribute properties to individuals.

In this paper I address two important objections to the theory called ‘ Composition as Identity’ : the ‘wall-bricks-and-atoms problem’, and the claim that CAI entails mereological nihilism. I aim to argue that the best version of CAI capable of addressing both problems is the theory I will call ‘Atomic Composition as Identity’ which consists in taking the plural quantifier to range only over proper pluralities of mereological atoms and every non-atomic entity to be identical to the plurality of atoms (...) it fuses. I will proceed in three main steps. First, I will defend Sider’s Composition as identity. Oxford University Press, Oxford, pp 211–221, 2014) idea of weakening the comprehension principle for pluralities and I will show that :219–235, 2016a) it can ward off both the WaBrA problem and the threat of mereological nihilism. Second, I will argue that CAI-theorists should uphold an ‘atomic comprehension principle’ which, jointly with CAI, entails that there are only proper pluralities of mereological atoms. Finally, I will present a novel reading of the ‘one of’ relation that not only avoids the problems presented by Yi Composition as identity. Oxford University Press, Oxford, pp 169–191, 2014) and Calosi :429–443, 2016b, Am Philos Q 55:281–292, 2018) but can also help ACAI-theorists to make sense of the idea that a composite entity is both one and many. (shrink)

According to Composition is Identity, a whole is literally identical to the plurality of its parts. According to Mereological Nihilism, nothing has proper parts. In this note, it is argued that Composition is Identity can be shown to entail Mereological Nihilism in a much more simple and direct way than the one recently proposed by Claudio Calosi.

According to the thesis known as ‘Composition as Identity’ (‘CAI’), every entity is identical to the parts it fuses. Many authors in the literature acknowledge that, in spite of its controversial character, one attractive virtue of CAI is its apparent ability to give a straightforward account of the innocence of mereology. In this paper I will present a simple argument according to which CAI entails that no composite entity can be said to be ontologically innocent in the relevant sense. After (...) having shown that said argument is independent from the problems surrounding the infamous ‘Collapse Principle’, I will conclude that CAI-theorists should endorse a suitably ‘restricted’ version of CAI. In the final part of the paper I will then argue that the best restricted version of CAI is the theory according to which every composite entity is identical to the plurality of its atomic parts. (shrink)

According to ‘Strong Composition as Identity’, if an entity is composed of a plurality of entities, it is identical to them. As it has been argued in the literature, SCAI appears to give rise to some serious problems which seem to suggest that SCAI-theorists should take their plural quantifier to be governed by some ‘weak’ plural comprehension principle and, thus, ‘exclude’ some kinds of pluralities from their plural ontology. The aim of this paper is to argue that, contrary to what (...) may appear at first sight, the assumption of a weak plural comprehension principle is perfectly compatible with plural logic and the common uses of plural quantification. As I aim to show, SCAI-theorists can simply claim that their theory must be understood as formulated by means of the most ‘joint-carving’ plural quantifier, thus leaving open the possibility of other, less joint-carving, ‘unrestricted’ plural quantifiers. In the final part of the paper I will also suggest that SCAI-theorists should not only allow for singular quantification over pluralities of entities, but also for plural quantification over ‘super-pluralities’ of entities. (shrink)

Composition as identity is the view that a whole is identical to its parts taken collectively. Such a view raises the question of how the same portion of reality can be both one thing and many things. A primitivist view holds that there is no explanation to be had and that we simply need to accept that being one thing and being many things are compatible. One might think that we can do better by resorting to relativization. A relativist view (...) may seem to explain how the same portion of reality can be both one thing and many things on the basis of the assumption that the portion of reality is these ways relative to different ‘concepts’ or ‘counts’. This paper discusses whether relativization truly leads to a satisfactory explanation of how something can be both one thing and many things. The conclusion will be that, when we consider the current accounts of the involved parameters, these relativizations make no explanatory progress. (shrink)

When the necessity of identity (NI) is combined with composition as identity (CAI), the contingency of composition (CC) is at risk. In the extant literature, either NI is seen as the basis for a refutation of CAI or CAI is associated with a theory of modality, such that: either NI is renounced (if counterpart theory is adopted); or CC is renounced (if the theory of modal parts is adopted). In this paper, we investigate the prospects of a new variety of (...) CAI, which aims to preserve both NI and CC. This new variety of CAI (CCAI, contingent composition as identity) is the quite natural product of the attempt to make sense of CAI on the background of a broadly Kripkean view of modality, such that one and the same entity is allowed to exist at more than one possible world. CCAI introduces a world-relative kind of identity, which is different from standard identity, and claims that composition is this kind of world-relative identity. CCAI manages to preserve NI and CC. We compare CCAI with Gibbard’s and Gallois’ doctrines of contingent identity and we show that CCAI can be sensibly interpreted as a form of Weak CAI, that is of the thesis that composition is not standard identity, yet is significantly similar to it. (shrink)

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)

When some objects are the parts of another object, they compose that object and that object is composite. This article is intended as an introduction to the central questions about composition and a highly selective overview of various answers to those questions. In §1, we review some formal features of parthood that are important for understanding the nature of composition. In §2, we consider some answers to the question: which pluralities of objects together compose something? As we will see, the (...) dominant answers are all of them and none of them. In §§3-4, we examine one of the main arguments that has driven philosophers to these extreme answers: the argument from vagueness. In §5, we turn to the question of whether composition is unique: is it sometimes the case that some things compose more than one thing? Finally, in §6, we turn from the question of which composites exist to the question of which composites exist fundamentally. (shrink)

Logics of part/whole relations frequently take parthood or proper parthood as primitive, defining the remaining mereological properties and relations in terms of them. I argue from considerations involving Weak Supplementation for the conclusion that we should take fusion as our mereological primitive. I point out that the intuitions supporting Weak Supplementation also support a stronger principle, Weak Supplementation of Pluralities, and that the principle can only do the work demanded by our intuitions when formulated in terms of a notion of (...) fusion that cannot be defined merely in terms of mereological properties and relations, logic, and a membership relation. So, insofar as we think any definition of fusion must be so restricted, we have motivation to take fusion as primitive; further, we have greater insight into the motivation for our supplementation principle and which version of that principle we ought to endorse. (shrink)

Byeong-Uk Yi has argued that number words like ‘two’ primarily function as numerical predicates as in ‘Socrates and Hippias are two ’, and other grammatical uses of number words can be paraphrased in terms of the predicative use. This paper critically examines Yi’s paraphrase scheme and also some other alternative schemes, and argues that the adjectival use of number words as in ‘The Scots and the Irish are two peoples’ cannot be paraphrased in terms of the predicative use.

Can institutional objects be identified with physical objects that have been ascribed status functions, as advocated by John Searle in The Construction of Social Reality (1995)? The paper argues that the prospects of this identification hinge on how objects persist – i.e., whether they endure, perdure or exdure through time. This important connection between reductive identification and mode of persistence has been largely ignored in the literature on social ontology thus far.

In this paper, I criticize John Bigelow's account of number and present my own account that results from the criticism. In doing so, I argue that proper understanding of the nature of number requires a radical departure from the standard conception of language and reality and outline the alternative conception that underlies my account of number. I argue that Bigelow's account of number rests on an incorrect analysis of the plural constructions underlying the talk of number and propound an analysis (...) of numerical sentences, such as “Quine and Goodman are two”, that conforms to the natural understanding of the plural constructions. The analysis leads to the account of number according to which natural numbers are properties, i.e., one-place relations: the number two, for example, is the property indicated by “to be two”, which, I argue, is a one-place predicate that can combine with plural terms like “Quine and Goodman”. (shrink)

In Parts of Classes David Lewis argued that mereology is ‘ontologically innocent’, mereological notions not incurring additional ontological commitments. Unfortunately, though, Lewis’s argument for this is not fully spelled out. Here we use some formal results concerning translations between formal languages to argue for the ontological innocence of mereology directly.

Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full‐fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full‐fledged objects. But whatever one takes “full‐fledged object” to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology look counterintuitive (...) to various philosophers.In recent years, a proposal has been advanced to solve the tension between mereology and familiar ways of counting objects, under the label of Minimalist View. The Minimalist View may be summarized in the slogan: “Count x as an object iff it does not overlap with any y you have already counted as an object”. The motto seems prima facie very promising but, we shall argue, when one looks at it more closely, it is not. On the contrary, the Minimalist View involves an ambiguity that can be solved in quite different directions. We argue that one resolution of the ambiguity makes it incompatible with mereology. This way, the Minimalist View can lend no support to mereology at all.We suggest that the Minimalist View can become compatible with mereology once its ambiguity is solved by interpreting it in what we call an epistemic or conceptual fashion: whereas mereology has full metaphysical import, the Minimalist View may account for our ways of selecting “conceptually salient” entities. But even once it is so disambiguated, it is doubtful that the Minimalist View can help to make mereology more palatable, for it cannot make it any more compatible with commonsensical ways of counting objects. (shrink)

Mereology, the theory of parts and wholes, is sometimes used as a framework for categorisation because it is regarded as ontologically innocent in the sense that the mereological fusion of some entities is nothing over and above the entities. In this paper it is argued that an adequate answer to the question of whether the thesis of the ontological innocence of mereology holds relies crucially on the underlying theory of reference. It is then shown that upholding the thesis comes at (...) high costs, viz. at the cost of a quite strong logical background theory or at paradoxical ways of predicating and counting. (shrink)

A great deal has been written over the past decade defending ‘higher-level’ causes by arguing that overdetermination is more complex than many philosophers initially thought. Although two shooters overdetermine the death of a firing squad victim, a baseball and its parts do not overdetermine the breaking of a window. But while these analyses of overdetermination have no doubt been fruitful, the focus on overdetermination—while ignoring other varieties of causal relation—has limited the discussion. Many of the cases of interest resemble joint (...) causes or a cause necessitating a simultaneous epiphenomenon as much as they resemble overdeterminers. If we are to fully understand higher-level causation, we need to distinguish it from these causal relations as well. This paper is dedicated to the task, focusing especially on the ‘threat’ that higher-level causes are epiphenomena necessitated by lower-level causes. (shrink)

Many philosophers accept some version of a principle that says for all x, if x exists, then x plays a unique causal role. After briefly clarifying one version of the principle in Section 1, Section 2 gives reasons to doubt it by showing that there are non-identical “causal indiscernibles”—I call them “married causes.” Section 3 then sketches a few philosophical puzzles for which married causes may be helpful.

Consider the kinds of macroscopic concrete objects that common sense and the sciences allege to exist: tables, raindrops, tectonic plates, galaxies, and the rest. Are there any such things? Opinions differ. Ontological liberals say they do; ontological radicals say they don't. Liberalism seems favored by its plausible acquiescence to the dictates of common sense abetted by science; radicalism by its ontological parsimony. Priority theorists claim we can have the virtues of both views. They hold that tables, raindrops, etc., exist, but (...) they aren't fundamental. The ontological liberal's ontology provides the correct inventory of existent individuals. The ontological radical's more restricted ontology provides the correct inventory of fundamental individuals. The priority theorist claims that the derivative individuals are "no addition in being" to the fundamental ones, so we can have our cake and eat it too. It would be nice if priority theorists were right. In this paper I argue, with regret, that they are not. One upshot is that the sort of explanations which underwrite the priority theorist's distinction between fundamental and derivative individuals do not mitigate our ontological commitments. Another is that we still have to choose between the charms of liberalism and radicalism. (shrink)

According to strong composition as identity, the logical principles of one–one and plural identity can and should be extended to the relation between a whole and its parts. Otherwise, composition would not be legitimately regarded as an identity relation. In particular, several defenders of strong CAI have attempted to extend Leibniz’s Law to composition. However, much less attention has been paid to another, not less important feature of standard identity: a standard identity statement is true iff its terms are coreferential. (...) We contend that, if coreferentiality is dropped, indiscernibility is no help in making composition a genuine identity relation. To this aim, we analyse as a case study Cotnoir’s theory of general identity, in which indiscernibility is obtained thanks to a revisionary semantics and true identity statements are allowed to connect non-coreferential terms. We extend Cotnoir’s strategy for indiscernibility to the relation of comaternity, and we show that, neither in the case of composition nor in that of comaternity, indiscernibility contibutes to show that they are genuine identity relations. Finally, we compare Cotnoir’s approach with other versions of strong CAI endorsed by Wallace, Bøhn, and Hovda, and canvass the extent to which they violate coreferentiality. The comparative analysis shows that, in order to preserve coreferentiality, strong CAI is forced to adopt a non-standard semantic treatment of the singular/plural distinction. (shrink)

There is widespread disagreement as to what the facts are concerning just when a collection of objects composes some further object; but there is widespread agreement that, whatever those facts are, they are necessary. I am unhappy to simply assume this, and in this paper I ask whether there is reason to think that the facts concerning composition hold necessarily. I consider various reasons to think so, but find fault with each of them. I examine the theory of composition as (...) identity, but argue that the version of this doctrine that entails universalism is implausible. I consider the claim that the a priority of such facts leads to their necessity, but give a defence of substantial contingent a priori truths. I ask whether the contingency of such facts would lead to unwelcome possibilities, but argue that the worrying looking possibilities can be blocked if it is desired. Next, I argue against the thought that the Lewis-Sider argument against restricted composition might give us reason to accept the necessity of universalism. Lastly, I respond to two objections from the 2006 BSPC. I conclude in favour of the contingency of the facts concerning when some things compose some thing. (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 as Identity is the thesis that a whole is, strictly and literally, identical to its parts, considered collectively. McDaniel [2008] argues against CAI in that it prohibits emergent properties. Recently Sider [2014] exploited the resources of plural logic and extensional mereology to undermine McDaniel’s argument. He shows that CAI identifies extensionally equivalent pluralities – he calls it the Collapse Principle – and then shows how this identification rescues CAI from the emergentist argument. In this paper I first give a (...) new generalized version of both the arguments. It is more general in that it does not presuppose an atomistic mereology. I then go on to argue that the consequences of CP are rather radical. It entails mereological nihilism, the view that there are only mereological atoms. I finally show that, given a mild assumption about property instantiation, namely that there are no un-instantiated properties, this argument entails that CAI and emergent properties are incompatible after all. (shrink)

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.

Composition as identity, as I understand it, is a theory of the composite structure of reality. The theory’s underlying logic is irreducibly plural; its fundamental primitive is a generalized identity relation that takes either plural or singular arguments. Strong versions of the theory that incorporate a generalized version of the indiscernibility of identicals are incompatible with the framework of plural logic, and should be rejected. Weak versions of the theory that are based on the idea that composition is merely analogous (...) to identity are too weak to be interesting, lacking in metaphysical consequence. I defend a moderate version according to which composition is a kind of identity, and argue that the difference is metaphysically substantial, not merely terminological. I then consider whether the notion of generalized identity, though fundamental, can be elucidated in modal terms by reverse engineering Hume’s Dictum. Unfortunately, for realists about possible worlds, such as myself,... (shrink)

According to Lewis, mereology is the general and exhaustive theory of ontological composition, and every contingent feature of the world supervenes upon some fundamental properties instantiated by minimal entities. A profound analogy can be drawn between these two basic contentions of his metaphysics, namely that both can be intended as a denial of emergentism. In this essay, we study the relationships between Humean supervenience and two philosophical spin-offs of mereological monism: the possibility of gunk and the thesis of composition as (...) identity. In a gunky scenario, there are no atoms and, thus, some criteria alternative to mereological atomicity must be introduced in order to identify the bearers of fundamental properties; this introduction creates a precedent, which renders the restriction of the additional criteria to gunky scenarios arbitrary. On the other hand, composition as identity either extends the principle of indiscernibility of identicals to composition or is forced to replace indiscernibility with a surrogate; both alternatives lead to the postulation of a symmetric kind of supervenience which, in contrast to Humean supervenience, does not countenance a privileged level. Both gunk and composition as identity, thus, display a tension with Humean supervenience. (shrink)

I show that a particular version of Hume's Dictum together with the falsity of Composition as Identity entails an incoherency, so either that version of Hume's Dictum is false or Composition as Identity is true. I conditionally defend the particular version of Hume's Dictum in play, and hence conditionally conclude that Composition as Identity is true. I end by suggesting an alternative way out for a persistent foe of Composition as Identity, namely mereological nihilism.