## Notes to Mereology

1. The term was coined in
1927 by Leśniewski (see below), probably as a variant of the term
‘merology’ originally used to indicate the field of
anatomy concerned with body fluids and elementary tissues; see Simons
(1997: n. 4). In some literature, ‘mereology’ is also used
with reference to work in General Systems Theory (not covered by this
entry) devoted to the study of system decomposition, as in
Mesarović *et al.* (1970). See also Winther (2011).

2. For detailed treatments of Husserl's formal theory of parts and wholes, see Sokolowski (1968), Smith and Mulligan (1982), Simons (1982), Null (1983), Blecksmith and Null (1991), Fine (1995b), and Casari (2000, 2007). On Brentano's theory, see Baumgartner and Simons (1993) and Baumgartner (2013).

3. A detailed exposition of
Leśniewski's mereology may be found in Simons (1987:
64–81). For comprehensive surveys, see also Luschei (1965), Clay
(1981), Miéville (1984), Gessler (2005), and Urbaniak (2013:
ch. 5), as well as the entry on *Leśniewski*. A simplified version
of Leśniewski's mereology was presented in Tarski (1937).

4. An early version of the Calculus was developed in ch. 4 of Leonard's (1930) dissertation (written under Whitehead's supervision) and was presented under the same title by Leonard and Goodman at the 1936 meeting of the Association for Symbolic Logic in Cambridge, MA. For a comprehensive account, see Eberle (1970) and Breitkopf (1978). For an historical reconstruction, see Cohnitz and Rossberg (2006: ch. 4) and Rossberg (2009). On Whitehead's precursory work, see Simons (1991b).

5. Actually, the original Calculus of Individuals had variables for classes; a class-free, purely nominalistic version of the system appeared later in Goodman (1951). On the link between mereology and nominalism, see Eberle 1970. For a recent characterization, see Meyers (2014).

6. In the literature, the parthood relation is often represented by non-alphabetic symbols supporting infix notation, such as ‘≤’ or ‘<’ (the notation used in Leonard and Goodman 1940 and favored by Simons 1987) and the like. The same applies to the non-primitive mereological relations defined in the remainder of this entry. For instance, proper parthood is sometimes symbolized as ‘≪’ (but also, again, as ‘<’), overlap as ‘○’, disjointness as ‘⥍’, ‘≀’, ‘†’, ‘|’, or ‘)(’, etc. This has resulted in a plethora of different notations that is both overwhelming and confusing, as no canonical choice has been settled upon. Here we stick to the safer practice of sacrificing all infix notation in favor of ordinary, mnemonic upper-case letters (single or compound), with the only exception of the identity predicate.

7. This choice of logic is
not without consequences. Particularly when it comes to the
mereological operators of sum, product, etc. defined in Sections 4.2–4.4,
a free logic would arguably provide a more adequate background (see
Eberle 1970, Simons 1991), as would a logic equipped with the apparatus
of plural quantification (Lewis 1991). However, here we shall go
along with the simplifications afforded by the assumption of a
classic logical background (with descriptive terms treated
*à la* Russell).

8. The labels follow Varzi (1996) and Casati and Varzi (1999, ch. 3).

9. That this is just a matter
of “choosing a suitable primitive” is confirmed by the
fact that in 1920 Leśniewski himself provided an alternative
axiomatization of Mereology based on ‘P’ (see
1927–1931, ch. VII). It should be noted, however, that
throughout his writings Leśniewski used ‘part’
(*część*) in the sense in which we are using
‘proper part’ (PP). His word for our use of
‘part’ (P) was ‘ingredient’
(*ingredyens*), apparently following a suggestion by Lucjan
Zarzecki. See Leśniewski (1916, §2).

10. The version of the
Calculus of Individuals presented in Leonard’s (1930) dissertation
used yet another primitive, corresponding to the sum operator defined
in (40_{i}) below (with *i*=3). The idea of
using ‘D’ as a primitive may also be found in
Leśniewski, who provided an axiomatization of Mereology based on
this predicate—in his terminology: ‘exterior’
(*zewnętrzny*)—already in 1921; see
(1927–1931, ch. X).

11. Up to the Winter 2012 edition. References to this entry in the literature may be affected by the current revision.

12. Thanks to Paolo Maffezioli for helpful comments on this point.

13. In the literature, (P.4) is sometimes called ‘Weak Supplementation’, in contrast to the Strong Supplementation principle (P.5) discussed in Section 3.2. This is also Simons's terminology. (To be precise, Simons's formulation of (P.4) uses ‘PP’ also in the consequent, as in (P.4′) below, but in a standard setting the difference is immaterial owing to the reflexivity and transitivity of P.)

14. Strictly speaking, one may
draw a distinction between the matter of which an object is made
(feline tissue, clay) and the specific portion or lump of matter that
actually constitutes the object; see Chappel (1973), Laycock (1975),
Grandy (1975), Burge (1977), and H. Cartwright (1979) for some classic
works on the distinction and the entry on the *Metaphysics of Mass
Expressions* for a comprehensive survey. We shall ignore the
details here, but see Zimmerman (1995), Koslicki (1999), Barnett
(2004), Kleinschmidt (2007), Donnelly and Bittner (2008), and Laycock (2011) for some
recent discussion relevant to the cases at issue.

15. (P.6) is sometimes called the ‘Remainder Principle’. See e.g. Simons (1987: 88).

16. On this point, I am thankful to Anthony Shiver and Aaron Cotnoir for helpful discussion.

17. In Whitehead (1920: 76) the axiom is initially assumed to hold only for finite events, but the restriction is dropped in “reading over the proofs” (pp. 197–198).

18. Both terms go back to
Leśniewski and are used interchangeably in most current
literature. Some authors, however, use ‘sum’ specifically
for the notion corresponding to (39_{2}) (or its infinitary
extension (52_{2}) discussed below) and ‘fusion’
for the notion corresponding to (39_{3}) (or
(52_{3})). See e.g. Gruszczyński and Pietruszczak (2010)
and Gruszczyński (2013).

19. Given Reflexivity and
Transitivity, the definiens in (39_{1}) is equivalent to

Pxz ∧ Pyz ∧
∀w((Pxw ∧ Pyw) →
Pzw). |

This is how the notion of a sum_{1} is sometimes defined in
the literature, for ease of comparison with sum_{2}.

20. If the condition is not satisfied, the sum may not exist, in which case the standard treatment of descriptive terms that we are assuming implies that the corresponding instances of the principles that follow are false. Strictly speaking, (41)–(47) should therefore be in conditional form. For instance, (41) should read

ξxx → x = x +_{i} x. |

On this understanding, we use the non-conditional form for perspicuity. Ditto for (50)–(51) below.

21. Again, given
Reflexivity and Transitivity, the definiens in (52_{1}) is
equivalent to

∀w(φw → Pwz) ∧ ∀v(∀w(φw → Pwv) → Pzv). |

22. Actually, Tarski's
result refers to a stronger version of **GEM** in which
infinitary sums are characterized using explicit quantification over
sets, rather than schematic formulas. This is of course a relevant
difference, in view of Cantor's (1891) theorem. For set-free
formulations which, like those considered here, strictly adhere to a
standard first-order language with a denumerable supply of open
formulas, the correct way of summarizing the algebraic strength of
**GEM** is this: Any model of this theory is isomorphic
to a Boolean subalgebra of a complete Boolean algebra with the zero
element removed—a subalgebra that is not necessarily complete if
Zermelo-Frankel set theory with Choice is consistent. See
Pontow and Schubert (2006), Theorem 34, for details and proof.

23. Actually, the axioms appear in the the 1956 English translation but not the French 1929 original. For details, see Betti (2013).

24. June 2003 edition. The inaccuracy was corrected in the Spring 2009 edition.

25. Some authors use
‘universalism’ for the narrower thesis that every
collection of distinct material objects compose a further material
object (see e.g. Effingham 2011b). In the general sense represented by
(P.15), universalism is also known as ‘conjunctivism’ (Van
Cleve 1986, Chisholm 1987), ‘collectivism’ (Hoffman and
Rosenkrantz 1999), or ‘maximalism’ (Simons 2006); other
authors speak more generally of ‘unrestricted composition’
(Lewis 1986), or the ‘general fusion principle’ (Casati
and Varzi 1999), or simply the ‘fusion principle’ (Heller
1990). In the presence of *U*, the principle is also closely
related to the ‘doctrine of arbitrary undetached parts’
attacked by van Inwagen (1981), though, again, the latter doctrine is
limited to the *material* content of occupiable regions of
space.

26. Of course, which
mereological principles should hold remains controversial, and may
depend on the specific *de dicto* account one endorses. See
e.g. Donnelly (2014: 56ff) on the status of the Unrestricted
Sum_{2} principle.

27. Strictly speaking,
Parsons relies on the notion of a sum_{1}, hence unrestricted
minimal upper bounds, but the argument applies also under the other
construals of that notion examined in Section 4.2.

28. Strictly speaking, Smith works with a notion of (concrete) part that involves a double world-time index, but for the simple principles under discussion here both indices can be omitted as irrelevant.