Abstract
Composition as Identity (CAI) is, roughly, the thesis that the parts of a whole, taken collectively, are in some sense identical with the whole. Einar Duenger Bohn argues for Universalism from CAI. Universalism says that composition is totally unrestricted: wherever two or more objects occur, an instance of composition occurs, however unnatural or gerrymandered. Bohn’s argument relies on inferences with generic quantifiers, but he does not provide a clear account of generic quantification. My argument is that on the most plausible approach to thinking about such inferences, the argument fails.
Similar content being viewed by others
Notes
Megan Wallace gives variants of this style of argument (Wallace 2011a). It seems likely that discussions of this kind belong on the Index with what Don Ross, James Ladyman, and David Spurrett dub “pseudo-scientific metaphysics” (cf. Ladyman et al. 2007: 17–27). If Ross, Ladyman and Spurrett are right, then one of the few reasonable ways of proceeding with any such discussion of questions about composition (or constitution) is by means of a kind of critical via negativa, explaining why this or that putative constructive metaphysical claim does not hold. I put this advice into practice with the current paper.
Some philosophers defend weak versions of CAI, where the claim is not that composition is literally identity, or concomitant with one-many identity, but rather composition is merely analogous to ordinary one–one identity. Donald Baxter is one of the primary early proponents of strong CAI (cf. Baxter 1988a, b, 1999). Weak CAI was pioneered by David Lewis, as well as by David Armstrong, and has, more recently, been developed by Theodore Sider. Cf. Lewis (1991), Armstrong (1978), and Sider (2007). Others propose stronger formulations of CAI but employ the material biconditional which, as Bohn observes (2014: 145), affirms only that composition is concomitant with one-many identity (some modalize this, arguing that they are necessarily concomitant).
By the standard definition in classical extensional mereology: x is a proper part of y iff x is a part of y and x is not identical with y.
The notation is Bohn’s.
In referring to these as “Leibniz’s Law” arguments, I merely conform to a façon de parler. No historical claim is intended.
One style of argument, in particular, which has gained notoriety in the literature is due to Yi and Sider. It is another Leibniz’s Law argument, but it is unusual in that it does not purport to derive an outright contradiction from CAI. The reasoning revolves around some potentially anomalous behavior by the plural logical predicate among (or “is one of”). The objection goes that this problematic behavior by among stems from CAI, and, since plural logic provides an indispensable background for CAI (without plural logic, it is difficult even to imagine how to articulate many forms of CAI), this is a serious problem for CAI theorists. Bohn’s strategy for defending CAI against Leibniz’s Law arguments is developed specifically in response to the Yi-Sider argument. Cf. Yi (1999: 151 ff), Sider (2007: 57–58), Sider (2014: 221), and Bohn (2014: 146–147).
I do not offer this as an objection specifically to Bohn’s argument, but anyone who wants to take seriously the notion of our “dividing reality into objects” by means of conceptualizing reality in different ways should be put on notice: Tyler Burge has provided vigorous argumentation against such a hyper-intellectualized conception of objectual reference and individuation. He has shown that such views about individuation and reference are quite simply unrealistic, ignoring well-established facts from the psychology of perception (cf. Burge 2010, esp. relevant here are pp. 238–250 and 483–492).
The disparity is explained thus: an expression that refers to something cannot refer to something else unless it is used in a different context or in a different sense, whereas an expression that is true of something can be true of something else as well. Cf. Yi 2006: 248.
References
Armstrong, D. (1978). A theory of universals and scientific realism. Cambridge: Cambridge University Press.
Barwise, J., & Cooper, R. (1981). Generalized quantifiers and natural language. Linguistics and Philosophy, 4(2), 159–219.
Baxter, D. L. M. (1988a). Identity in the loose and popular sense. Mind, 97, 576–582.
Baxter, D. L. M. (1988b). Many-one identity. Philosophical Papers, 17, 193–216.
Baxter, D. L. M. (1999). The discernibility of identicals. Journal of Philosophical Research, 24, 37–55.
Bohn, E. D. (2011). The logic of the trinity. SOPHIA, 50, 363–374.
Bohn, E. D. (2014). Unrestricted composition as identity. In A. Cotnoir & D. Baxter (Eds.), Composition as identity. Oxford: Oxford University Press.
Burge, T. (2010). Origins of objectivity. Oxford: Clarendon Press.
Cameron, R. (2012). Composition as identity doesn’t settle the special composition question. Philosophy and Phenomenological Research, 84(3), 531–554.
Cotnoir, A. J. (2014). Composition as identity: Framing the debate. In A. J. Cotnoir & D. L. M. Baxter (Eds.), Composition as identity. Oxford: Oxford University Press.
Frege, G. (1950). The foundations of arithmetic. Trans. J. L. Austin, 2nd revised ed. Evanston: Northwestern University Press.
Harte, V. (2002). Plato on parts and wholes: The metaphysics of structure. Oxford: Oxford University Press.
Ladyman, J., Ross, D., Spurrett, D., & Collier, J. (2007). Every thing must go: Metaphysics naturalized. Oxford: Oxford University Press.
Lewis, D. (1991). Parts of classes. Cambridge: Basil Blackwell.
McDaniel, K. (2008). Composition as identity does not entail universalism. Erkenntnis, 73(1), 97–100.
McKay, T. J. (2006). Plural predication. Oxford: Clarendon Press.
Merricks, T. (2005). Composition and vagueness. Mind, 114(455), 615–637.
Normore, C. G., & Brown, D. J. (2014). On bits and pieces in the history of philosophy. In A. J. Cotnoir & D. L. M. Baxter (Eds.), Composition as identity. Oxford: Oxford University Press.
Rea, M. (Ed.). (1997). Material constitution: A reader. Oxford and Lanham, MD: Rowman & Littlefield Publishers, Inc.
Sidelle, A. (1998). A sweater unravelled: Following one thread of thought for avoiding coincident entities. Noûs, 32(4), 423–448.
Sider, T. (2007). Parthood. Philosophical Review, 116, 51–91.
Sider, T. (2014). Consequences of collapse. In A. J. Cotnoir & D. L. M. Baxter (Eds.), Composition as identity. Oxford: Oxford University Press.
Spencer, J. (2012). All things must pass away. In K. Bennett & D. W. Zimmerman (Eds.), Oxford studies in metaphysics (Vol. 7). Oxford: Oxford University Press.
Tillemans, T. J. F. (1983). The ‘Neither One nor Many’ Argument for Śūnyatā and its Tibetan Interpretations. In E. Steinkellner & H. Tauscher (Eds.), Contributions on Tibetan and Buddhist religion and philosophy, Proceedings of the Csoma de Körös Symposium. Vienna.
van Inwagen, P. (1994). Composition as identity. Philosophical Perspectives, 8, 207–220.
Wallace, M. (2011a). Composition as identity: Part 1. Philosophy Compass, 6(11), 804–816.
Wallace, M. (2011b). Composition as identity: Part 2. Philosophy Compass, 6(11), 817–827.
Yi, B.-U. (1999). Is mereology ontologically innocent? Philosophical Studies, 93, 141–160.
Yi, B.-U. (2005). The logic and meaning of plurals: Part I. Journal of Philosophical Logic, 34, 459–506.
Yi, B.-U. (2006). The logic and meaning of plurals: Part II. Journal of Philosophical Logic, 35, 239–288.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Falls, E. Composition as Identity, Universalism, and Generic Quantifiers. Erkenn 86, 1277–1291 (2021). https://doi.org/10.1007/s10670-019-00153-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10670-019-00153-y