Abstract
Lewis (Parts of classes, Wiley-Blackwell, Oxford, 1991, 84) 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.
Similar content being viewed by others
Notes
I will use the terms ‘sum’, ‘fusion’, and ‘composite object’ interchangeably.
As Cotnoir (2014, 9) points out, the Composition as Identity thesis comes in at least three versions: Strong Composition as Identity (SCI) holds that the parts taken collectively are numerically identical to the whole; Moderate Composition as Identity (MCI) states that the parts taken collectively are non-numerically identical to the whole; Weak Composition as Identity (WCI) is the thesis that the parts taken collectively stand in a relation to the whole that is analogous to identity. SCI is defended in (Bohn 2014a, b; Wallace 2011a, b, 2014); MCI in (Baxter 1988a, b); WCI in (Lewis 1991; Varzi 2000, 2014). Armstrong (1997, 17–18) defends either MCI or WCI.
Tom and Jerry made their first appearance in the Composition as Identity debate in (Yi 1999).
I use the acronym ‘ANE’ for the Argument from quaNtitative Extravagence and ‘ALE’ (below) for the Argument from quaLitative Extravagance.
Forget for a moment that cats and mice both belong to the kingdom Animalia. For the argument we need two objects of two different kinds; we could take whatever objects of whatever ontological kind or category are deemed appropriate, as long as the two are different in kind.
Two other notions of simplicity (which will be ignored here for the sake of simplicity) are syntactical simplicity and ideological parsimony.
Various extensionality principles, such as Unique Composition, Extensionality of Composition, and Extensionality of Parthood, are valid in mereology. For discussion, see (Varzi 2008).
Of course, if Argle’s claim that Tom exists is false, whereas Bargle’s claim that Tom* exists is true, we should take sides with Bargle. However, principles of theory-choice are only relevant if there is no way of telling which of the theories on offer is true (or correct): they all explain the phenomena, and therefore we should look at theoretical virtues like simplicity in order to choose. Hence, I will suppose that we do not know (and cannot know) whether mereology is correct. I am only interested in the question whether we should eschew mereology on the basis of a principle of ontological parsimony.
I say ‘rather similar’, since Varzi seems to hold that counting objects is the same as counting ontological commitments: “[I]f (…) commitment to the fusion is just the same as commitment to each of those things [i.e. its parts], then on the weak reading of Composition as Identity L3 [i.e. mereology is ontologically innocent] would sin against Quine.”(Varzi 2014, 63) Instead, Varzi suggests that truths about fusions make the same commitments as truths about their parts (Ibid.).
EP is crucial here, as it is in Varzi’s M, since without it one cannot hold that the object one is committed to could not exist were it not for the parts it has; and without this latter claim ontological commitment to some composite object O does not entail ontological commitment to its parts.
Actually, given UMC, Bargle has seven objects to which he is ontologically committed: next to the four I mention there is also the sum of x and y, the sum of y and z, and the sum of x and z. This does not matter for my argument.
Cf. footnote 9 above.
Existential Monism should be distinguished from Priority Monism as defended in (Schaffer 2010) which is the view according to which the universe is ontologically prior to its parts.
It may be a problem for such a procedure that the singleton has to be something different from the object that is its single member. Claiming that the singleton should not be counted next to its sole member makes set theory impossible (likewise for the singleton of a given singleton). You have to take the singleton as something else and count it next to its member; but no such demand is made by mereology. In mereology you need not (and cannot) get something new out of only one thing (the sum of Lewis is just Lewis, not singleton-Lewis). You do get something ‘new’ out of the many in mereology, namely the sum of the many. But, as I have said, this should not be counted as a new ontological commitment. Moreover, in set theory the set of two objects is different from the ordered set of those same two objects. Thus, set theory is not as hyper-extensional as mereology—which might make it less obvious that something like ‘Innocence of Membership’ (as analogous to ‘Innocence of Parthood’) can be defended and that such a principle would be sufficient to defend ‘Innocence of Set-Formation’ (as analogous to ‘Innocence of Composition’). (Defending the latter principle might be further hindered by the fact that there cannot be, on pain of paradox, a set of everything in set theory, whereas there is a sum of everything in mereology, viz. the universe).
Thanks to an anonymous reviewer for pressing me on this point.
All this does not mean that we cannot compare the ontological commitments of theories. It does mean that it is possible that for some theory T1 the commitment to x is an additional commitment within T1 whereas in another theory T2, commitment to that same x is not an additional commitment within T2. To compare theories, the distinguishable constraints that a theory puts on the world are what matters. The difficulty with comparison, however, lies in the fact that ‘distinguishable’ here means ‘distinguishable within the own theory’.
Since one can define identity in terms of parthood, the suggestion here is that we should take identity as a (quasi-) mereological relation. This means mereology is seen as a theory of partial-identity, very much in line with (Armstrong 1997, 17–18).
For a defense of the importance of existence questions (contra the neo-Aristotelian account of ontological commitment), see (Daly and Liggins 2014).
For example, Simons (2003).
This expression comes from Armstrong (1997, 12), but note that for Armstrong the ticket to the free-lunch is supervenience: what supervenes is—usually—ontologically innocent. For mereology, no such thing is needed: IP and IC are silent about supervenience.
References
Armstrong, D. M. (1997). A world of states of affairs. Cambridge: Cambridge University Press.
Baker, L. R. (1997). Why constitution is not identity. The Journal of Philosophy, 94(12), 599–621.
Baxter, D. L. M. (1988a). Identity in the loose and popular sense. Mind, 97(388), 575–582.
Baxter, D. L. M. (1988b). Many-one identity. Philosophical Papers, 17(3), 193–216.
Berto, F., & Carrara, M. (2009). To exist and to count: A note on the minimalist view. Dialectica, 63(3), 343–356.
Bohn, E. D. (2014a). Unrestricted composition as identity. In D. L. M. Baxter & A. J. Cotnoir (Eds.), Composition as identity (pp. 143–165). Oxford: Oxford University Press.
Bohn, E. D. (2014b). From Hume’s Dictum via submergence to composition as identity or mereological nihilism. Pacific Philosophical Quarterly, 95(3), 255–336. doi:10.1111/papq.12034.
Cotnoir, A. J. (2014). Composition as identity—Framing the debate. In D. L. M. Baxter & A. J. Cotnoir (Eds.), Composition as identity (pp. 3–23). Oxford: Oxford University Press.
Daly, C., & Liggins, D. (2014). In defence of existence questions. The Monist, 97(4), 460–478.
Fine, K. (2003). The non-identity of a material thing and its matter. Mind, 112(446), 195–234. doi:10.1093/mind/112.446.195.
Hawley, K. (2014). Ontological innocence. In D. L. M. Baxter & A. J. Cotnoir (Eds.), Composition as identity (pp. 70–89). Oxford: Oxford University Press.
Hovda, P. (2009). What is classical mereology? Journal of Philosophical Logic, 38(1), 55–82. doi:10.1007/s10992-008-9092-4.
Johansson, I. (2004). On the transitivity of parthood relations. In H. Hochberg & K. Mulligan (Eds.), Relations and predicates (pp. 161–181). Frankfurt: Ontos.
Johnston, M. (1992). Constitution is not identity. Mind, 101, 89–105.
Koslicki, K. (2004). Constitution and similarity. Philosophical Studies, 117, 327–364.
Lewis, D. (1991). Parts of classes. Oxford: Wiley-Blackwell.
Lowe, E. J. (1995). Coinciding objects: In defense of the ‘standard account’. Analysis, 55, 171–178.
Lowe, E. J. (2006). The four-category ontology: A metaphysical foundation for natural science. Oxford: Oxford University Press.
Markosian, N. (1998). Brutal composition. Philosophical Studies, 98, 211–249.
Markosian, N. (2008). Restricted composition. In T. Sider, J. Hawthorne, & D. Zimmerman (Eds.), Contemporary debates in metaphysics (pp. 341–363). Oxford: Blackwell.
Quine, W. V. O. (1948). On what there is. The Review of Metaphysics, 2(5), 21–38.
Rayo, A. (2007). Ontological commitment. Philosophy Compass, 2(3), 428–444.
Rescher, N. (1955). Axioms for the part relation. Philosophical Studies, 6, 8–11.
Schaffer, J. (2007). From nihilism to monism. Australasian Journal of Philosophy, 85(2), 175–191.
Schaffer, J. (2010). Monism: The priority of the whole. Philosophical Review, 119(1), 31–76.
Simons, P. (1987). Parts: A study in ontology. Oxford: Clarendon.
Simons, P. (2003). The Universe. Ratio, XVI, 236–250.
Thomson, J. J. (1998). The statue and the clay. Nous, 32, 148–173.
Van Inwagen, P. (2002). The number of things. Philosophical Issues, 12, 176–196.
Varzi, A. C. (2000). Mereological commitments. Dialectica, 54(4), 283–305.
Varzi, A. C. (2008). The extensionality of parthood and composition. The Philosophical Quarterly, 58(230), 108–133.
Varzi, A. C. (2014). Counting and countenancing. In D. L. M. Baxter & A. J. Cotnoir (Eds.), Composition as identity (pp. 47–69). Oxford: Oxford University Press.
Varzi, A.C. (2015). Mereology. In E. N. Zalta (Ed.), Stanford encyclopedia of philosophy. http://plato.stanford.edu/archives/spr2015/entries/mereology/.
Wallace, M. (2011a). Composition as identity: Part I. Philosophy Compass, 6(11), 804–816.
Wallace, M. (2011b). Composition as identity: Part II. Philosophy Compass, 6(11), 817–827.
Wallace, M. (2014). Composition as identity, mereological essentialism, and modal parts. In D. L. M. Baxter & A. J. Cotnoir (Eds.), Composition as identity (pp. 111–129). Oxford: Oxford University Press.
Yi, B.-U. (1999). Is mereology ontologically innocent? Philosophical Studies, 93(2), 141–160.
Acknowledgments
Thanks to the participants of the Higher Seminar in Philosophy at Lund University (Autumn 2014) where I presented some of this material. Many thanks also to Erik J. Olsson, Tobias Hansson Wahlberg and an anonymous referee of Philosophical Studies for helpful comments on earlier drafts.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Smid, J. The ontological parsimony of mereology. Philos Stud 172, 3253–3271 (2015). https://doi.org/10.1007/s11098-015-0468-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11098-015-0468-3