Moderate composition as identity holds that there is a generalized identity relation, “being the same portion of reality,” of which composition and numerical identity are distinct species. Composition is a genuine kind of identity; but unlike numerical identity, it fails to satisfy Leibniz’s Law. A composite whole and its parts differ with respect to their numerical properties: the whole is one; the parts (collectively) are many. Moderate composition as identity faces the challenge: how, in the absence of Leibniz’s Law, can one characterize what counts as a genuine kind of identity? This paper explores a promising answer: a genuine kind of identity must satisfy a version of Leibniz’s Law restricted to properties that ascribe qualitative character. Strong composition as identity holds that there is only one identity relation, that it satisfies Leibniz’s Law, and that the parts are identical with the whole that they compose. Strong composition as identity faces the challenge of showing that numerical properties do not provide counterexamples to Leibniz’s Law, and doing so in a way that is compatible with the framework of plural logic that is needed to formulate the theory. The most promising way to do this is to hold that plural logic is fundamental at the level of our representations, but not fundamental at the level of being. At the level of being, portions of reality cannot be characterized as either singular or plural. It turns out that the proposed moderate theory and the proposed strong theory are one and the same. In spite of its many attractions, I reject it. The main issue has to do with whether slice-sensitive emergent properties are possible. I argue that they are, making use both of specific examples and general principles of modal plenitude. I do not claim that my arguments are irresistible. But they cannot be evaded as easily as a related argument against strong composition as identity given by Kris McDaniel. I critically examine McDaniel’s argument to pave the way for my own.
This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
A similar argument was given in Sider (2007). But Sider (2011: pp. 208–215) now rejects the argument because he no longer takes the framework of plural logic to be fundamental. I claim below that there is a crucial ambiguity in what it means to take the framework of plural logic to be “fundamental.” In any case, however, I do not see how composition as identity can even be formulated properly without the use of plural logic. Using schematic letters in place of plural variables weakens the theory, and introduces an irrelevant dependence on language. Using quantification over sets (or classes) in place of plural quantification, as was done in early presentations of classical mereology (Tarski 1937) also weakens the theory (since not all pluralities form sets), and introduces an irrelevant dependence on sets, something I find especially problematic. For I prefer the reverse reduction of sets to plural logic over the reduction of plural logic to set theory. See Bricker (forthcoming b, chapter 1).
On abundant versus sparse conceptions of properties, see Lewis (1986: pp. 59–63).
Pronounce ‘xx’ as “the x’s” if you like. Although ‘plurality’ is grammatically singular, it is important not to think that, on my usage, a plurality is a single set-like object.
Those who do not accept plurally plural quantification will have to approximate this using quantification over classes (taking properties of pluralities to apply to the corresponding classes): for any classes, there is at least one property had by all and only those classes.
I use ‘slice’ broadly: whenever xx composes y, xx give a way to “slice” y, whether or not xx overlap. I use ‘fusion’ and ‘compose’ to denote the same relation: y is the fusion of xx iff xx compose y.
The expression ‘portion of reality’, as I use it, is a term of art that, although syntactically singular, is semantically neutral with respect to the plural/singular distinction. Talk of “portions of reality” could be regimented within plural logic using the schematic variables introduced above.
But cf. Cotnoir (2013), who can be construed as introducing a general identity relation distinct from numerical identity. It is unclear, however, whether he insists that any identity relation satisfy Leibniz’s Law.
I prefer to understand strong and moderate composition as identity broadly so that they include much more than what is stated here: they encompass a full theory of the composite nature of reality, including classical mereology. But the additional content will not be relevant here. See Bricker (2016) for the details.
For arguments that strong composition as identity leads to Collapse, see Yi (1999) and Sider (2007). For further unacceptable consequences of Collapse, see Sider (2014). Yi (2014) considers a related kind of collapse that results when composition as identity is combined with plural logic: generalized identity collapses into plural identity (if both satisfy substitutivity). It then follows that if xx are the same portion of reality as y, then xx are one. And that trivializes strong composition as identity.
Compare Jenann Ismael (2015) where this distinction is made in connection with Humean accounts of laws and chance.
See Bricker (2006) for how this plays out with respect to general propositions.
Note that this is strong emergence, requiring the failure of logical supervenience. On strong versus weak emergence, see Chalmers (2006).
Sider (2014) has argued, on different grounds, that McDaniel’s argument does not succeed against versions of strong composition as identity that accept Collapse. But Sider’s argument does not apply to a version such as Mods, which rejects Collapse.
Following McDaniel and Lewisian tradition, I use ‘perfectly natural’ in phrasing these definitions, instead of ‘fundamental’. But note that only properties and relations fundamental at the level of being should count as perfectly natural, and factor into the definition of duplicate.
This formulation is from Sider (2014). It is more intuitive than McDaniel’s formulation, and does not differ in any way relevant to the argument.
McDaniel does not explicitly make this “one-relation” assumption. He is content to leave the argument at an informal level, one that does not invoke any specific formulation of Leibniz’s Law.
As McDaniel notes, the mereological atomism presupposed by this argument is not essential. I am happy to go along with it.
Actually, what McDaniel asserts for the first premise is that “any reasonable formulation of [strong] composition as identity” will entail (PDP); but I take it that Mods would count as a “reasonable formulation,” and so McDaniel’s argument should apply to it.
See Bohn (2012) for a similar response to McDaniel’s argument.
The argument for the revised second premise is roughly this. Suppose slice-sensitive emergent properties are possible. Suppose xx and yy are plural duplicates, where xx compose w and yy compose z, with w and z composite. Because xx and yy are plural duplicates, w and z have the same emergent properties on one way of slicing. But on other ways of slicing w and z need not have the same emergent properties. One way of slicing w and z is the trivial one-membered slicing given by w and z themselves. With an appeal to plenitude, we can suppose that w and z do not have the same emergent properties on this trivial slicing. But that is just to say that w and z are not duplicates, contradicting (PDP).
One could question whether the values of C1 and C2 are legitimately “sums” of the infinite series, since these series do not converge; but I don’t think that matters to the force of the example. In any case, one could easily construct fancier examples involving conditional convergence. An infinite series is conditionally convergent iff it converges, but the series of absolute values of the terms diverges. The sum of a conditionally convergent series depends on the ordering of its terms; and different orderings corresponds to different slicings in the world where the infinite series is exemplified. For example, the sequence of atoms <a1, a2, a3, …> corresponds to the slicing given by the plurality: a1, a1 + a2, a1 + a2 + a3, ….
See Bergson (1910). But I use Bergson merely as a foil; he would not accept the assumption that a continuum is composed of dimensionless points.
Spacetime is gunky iff there are no atoms: every part of spacetime has a proper part. Actually, I am doubtful that gunk is possible. But since most philosophers seem to think otherwise, the example has dialectical force.
I am supposing that conjunctive and structural properties are not fundamental. Also, I take determinables rather than determinates to be fundamental; see Bricker (2017). If determinates are fundamental, one would want to add a clause saying that no determinate of the property’s determinable is instantiated at the world.
Baxter, D. (1988a). Identity in the loose and popular sense. Mind, 97, 576–582.
Baxter, D. (1988b). Many-one identity. Philosophical Papers, 17, 193–216.
Bergson, H. (1910). Time and free will: An essay on the immediate data of consciousness (trans.: F. L. Pogson). Whitefish: Kessinger Publishing Company.
Bohn, E. (2011). David Lewis, parts of classes. Humana Mente, 19, 151–158.
Bohn, E. (2012). Monism, emergence, and plural logic. Erkenntnis, 76, 211–223.
Bohn, E. (2014). Unrestricted composition as identity. In A. Cotnoir & D. Baxter (Eds.), Composition as identity. Oxford: Oxford University Press.
Bricker, P. (1991). Plenitude of possible structures. Journal of Philosophy 88, 607–619. Reprinted in Bricker (forthcoming b).
Bricker, P. (1996). Isolation and unification: The realist analysis of possible worlds. Philosophical Studies, 84, 225–238. Reprinted in Bricker (forthcoming b).
Bricker, P. (2006). The relation between general and particular: Supervenience vs. entailment. In D. Zimmerman (Ed.), Oxford papers in metaphysics (Vol. 3, pp. 251–287). Oxford: Oxford University Press. Reprinted in Bricker (forthcoming b).
Bricker, P. (2016). Composition as a kind of identity. Inquiry: An Interdisciplinary Journal of Philosophy, 59, 264–294. Reprinted in Bricker (forthcoming b).
Bricker, P. (2017). Is there a humean account of quantities? In E. Villanueva & E. Sosa (Eds.), Philosophical issues (Supplement to Nous). Reprinted in Bricker (forthcoming b).
Bricker, P. (forthcoming a). Principles of plenitude. Included in Bricker (forthcoming b).
Bricker, P. (forthcoming b). Modal matters: Essays in metaphysics. Oxford: Oxford University Press.
Chalmers, D. (2006). Strong and weak emergence. In P. Davies & P. Clayton (Eds.), The re-emergence of emergence: The emergentist hypothesis from science to religion. Oxford: Oxford University Press.
Cotnoir, A. J. (2013). Composition as general identity. In K. Bennett & D. Zimmerman (Eds.), Oxford studies in metaphysics (pp. 294–322). Oxford: Oxford University Press.
Geach, P. (1967). Identity. Review of Metaphysics, 21, 3–12.
Ismael, J. (2015). How to be humean. In B. Loewer & J. Schaffer (Eds.), The Blackwell companion to David Lewis (pp. 188–205). Hoboken: Wiley Blackwell.
Lewis, D. (1986). On the plurality of worlds. Hoboken: Blackwell.
Lewis, D. (1991). Parts of classes. Hoboken: Blackwell.
McDaniel, K. (2008). Against composition as identity. Analysis, 68, 128–133.
Perry, J. (1970). The same F. Philosophical Review, 79, 181–200.
Sider, T. (2007). Parthood. Philosophical Review, 116, 51–91.
Sider, T. (2011). Writing the book of the world. Oxford: Oxford University Press.
Sider, T. (2014). Consequences of collapse. In A. Cotnoir & D. Baxter (Eds.), Composition as identity. Oxford: Oxford University Press.
Tarski, A. (1937). Appendix E. In J. E. Woodger (Ed.), The axiomatic method in biology (pp. 161–172). Cambridge: Cambridge University Press.
Yi, B.-U. (1999). Is mereology ontologically innocent? Philosophical Studies, 93, 141–160.
Yi, B.-U. (2014). Is there a plural object? In A. Cotnoir & D. Baxter (Eds.), Composition as identity. Oxford: Oxford University Press.
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
About this article
Cite this article
Bricker, P. Composition as identity, Leibniz’s Law, and slice-sensitive emergent properties. Synthese (2019). https://doi.org/10.1007/s11229-019-02106-y
- Composition as identity
- Leibniz’s Law
- Plural logic
- Modal plenitude