2.1 Identity in Leibniz’s calculus

As a basic logical system we shall assume First-Order Logic (FOL) with identity (=). Identity is regulated by the two following standard axioms:

a) $\forall x(x=x)$

b) $\forall x \forall y (x=y \rightarrow (\alpha \rightarrow \alpha '))$ where $\alpha '$ is like $\alpha $ except that some free occurrences of x have been replaced by y.

The relation of identity plays a pivotal role in Leibniz’s logical calculi. Definition 1 of both Non inelegans specimen demonstrandi in abstractis ([Reference Leibniz30]: A VI 4a, 845-855) and Specimen calculus coincidentium et inexistentium (A VI 4a, 830-845: from now on I shall call them respectively NI and CC) characterize the identity relation by means of a substitution rule: “Identical or coincident are those things of which one can be substituted everywhere for the other preserving truth [salva veritate]”. Let us call this rule SSV (substitution salva veritate). By means of SSV, Leibniz derives symmetry and transitivity of identity. Suppose A=B. Then by SSV we can make a double substitution: we can replace A with B, and B with A, obtaining B=A (identity is symmetric).Footnote ⁸ If we suppose that A=B and B=C, the former allows us to replace in the latter B with A to obtain A=C (identity is transitive). Reflexivity is not proved in these papers by Leibniz, but in the Generales Inquisitiones, paragraph 10, ‘A=A’ is said to be a proposition true in itself (propositio per se vera). Moreover, he even suggests that if for every term A there is a formula such as A=B, then the same formula allows us to substitute B with A in itself to obtain A=A. That for each A there is a formula such as A=B is indeed guaranteed by the Idempotence axiom (see next paragraph).Footnote ⁹

If we now compare Leibniz’s approach to identity with the standard first-order theory of identity, we immediately notice that they are logically equivalent.Footnote ¹⁰ Point a) above amounts to the reflexivity of the identity relation; point b) expresses the indiscernibility of identical things: if a is identical to b, then everything true of a is also true of b, and so they can be substituted for each other salva veritate.Footnote ¹¹ It is the fact that a and b are identical that allows us the substitution while preserving truth.Footnote ¹²

2.2 Real addition and the containment relation

Other than identity, the primitive notion that Leibniz uses is real addition, for which he employs the symbol ‘’ (to keep the notion distinct from the arithmetical addition).Footnote ¹³ The notion of real addition is similar to the notion of mereological sum or fusion of contemporary mereology: the idea is that we can add or fuse different things and so obtain aggregates of those objects. There are two explicit axioms that regulate how real addition works, plus associativity, which is never made explicit, but often used:

1)

2)

3) .

Axiom 1 states the idempotence of real addition (which is of course a property not shared by arithmetical addition); axiom 2 expresses commutativity; axiom 3 associativity. It is important to notice that such properties are—what we might call—‘structure-blind’: idempotence means that the repetition of a certain element does not matter; commutativity means that the order does not matter; associativity means that the order in which we might group the elements does not matter: all these aspects—repetition, order, and grouping—are structural aspects of composite things.Footnote ¹⁴

Postulate 1 of NI and Postulate 2 of CC deal with Real Addition:

Leibniz is here endorsing a principle of finite composition:

Finite Composition Principle (FCP) .

This idea is specified in the following terms:

The passage is important because it stresses that we can sum up together whatever thing we want. From an ontological point of view, however, the aggregate so obtained is not something more than its constituents (i.e., it does not require any further ontological commitment). Leibniz’s conception of aggregates is clearly nominalist: what FCP allows us to do is to introduce a singular term denoting an aggregate, and to use this term in sentences of our theories. However, this is not sufficient to prove that the referent of that term actually exists. As a matter of fact, what really exists for Leibniz are only simple substances, which are not aggregates.Footnote ¹⁵ In other words, the ‘definition’ of aggregates that the Real Addition Calculus delivers is only nominal, not real. Talking of wholes and parts (but the same clearly applies to aggregates), Leibniz writes that “[…] the parts, considered together with their position, differ only in name from the whole, and the name ‘whole’ is used in reasonings [in rationes ponatur], as a shorthand term for the parts themselves” ([Reference Leibniz and Gerhardt27]: GM VII 274).Footnote ¹⁶

It is by means of real addition (and identity) that Leibniz defines the containment relation (in what follows $Cxy$ must be read as x contains y, or y is contained in x). Definition 3 of CC says:

In general, Leibniz is here providing the following definition for the containment relation:

(Definition of Containment)

Before illustrating the properties of such a relation, it is worth taking a look at two theorems (respectively Propositions 13 and 14 of CC) that provide us with a specification of this definition.Footnote ¹⁷

Proposition 13: If , then $Cxy$ .

Proposition 14: If $Cxy$ , then .

The two theorems imply that . This provides us with a more specific definition of the C-relation and allows Leibniz to substitute any occurrence of $Cxy$ with and vice versa.

We can now turn to the properties of the C-relation. These are easily derivable from the properties of real addition:

$$ \begin{align*}\hspace{-14pc}\textbf{Reflexivity: } Cxx \end{align*} $$

Transitivity: If $Cxy$ and $Cyz$ , then $Cxz$

Antisymmetry: If $Cxy$ and $Cyx$ , then $x=y$

To sum up, the containment relation is reflexive, transitive, and anti-symmetric; it is thus a partial order (as stressed by both [Reference Malink, Vasudevan and Risi43] and [Reference Mugnai and Risi44]). Notice that these are exactly the features that the notion of (improper) part has in classical extensional mereology.

Before proceeding there are still two definitions that are worth mentioning here. These are the definitions of communicating things and non-communicating things, which are Leibniz’s way of defining the relations of overlapping and disjointnessFootnote ¹⁹ :

$$ \begin{align*}\hspace{-14pc}\!\textbf{Overlapping } x \circ y \equiv \exists w (Cxw \land Cyw) \end{align*} $$

$$ \begin{align*}\hspace{-14pc}\!\textbf{Disjointness } D(x,y) \equiv \neg (x \circ y) \end{align*} $$

Two things overlap when they have something in common; they are disjoint if there is nothing in common between them.Footnote ²⁰

2.3 The subtraction operation

In the essays Specimen Calculi Coincidentium (A VI 4a, 816-822)Footnote ²¹ and in NI, Leibniz also develops a subtraction operation, clearly presented as the inverse of the operation of Real Addition. In Specimen Calculi Coincidentium, Leibniz writes

There are three conditions that must be met in order for $E-B=A$ to be a well defined operation. First, almost trivially, the result of the operation (i.e., the object A) must be unique; second, must be the case, which means that E contains B; third, A (i.e., $E-B)$ and B must be disjoint (if they were not disjoint, we would not have subtracted the whole of B from E). The principle that emerges is that something is in A (the result of the subtraction $E-B$ ) if and only if it is in D and it is disjoint from B:

$$ \begin{align*}[A=E-B] \equiv C(E,B)\rightarrow \forall w ((C(A,w) \leftrightarrow (C(E,w) \land D(w,B))) \end{align*} $$

The consequent of the conditional captures the uniqueness of A; moreover it implies the disjointness of A and B as well. Finally, the antecedent formalizes the requirement that is the case. We can generalize this as follows:

Subtraction 1: $\forall x \forall y \exists z [(x-y=z) \equiv C(x,y) \rightarrow \forall w (C(z,w) \leftrightarrow (C(x,w) \land D(w,y)))]$

Subtraction 1 works under the condition that $x-y$ is defined only if $Cxy$ is the case. This corresponds to what [Reference Lenzen39] calls the conservative approach.Footnote ²² However, as Lenzen points out, in other passages Leibniz considers a more liberal approach, where subtraction is defined for arbitrary objects.Footnote ²³ It may be useful to give a definition of subtraction by cases:

Subtraction 2:

$$ \begin{align*}\forall x \forall y \exists z [(x-y=z) \equiv\begin{cases} \forall w (C(z,w) \leftrightarrow (C(x,w) \land D(w,y)))], & \neg Cyx\\ z=Nihil], & Cyx \end{cases} \end{align*} $$

Notice that the second case covers the possibility that something is subtracted from itself: an expression as ‘ $x-x$ ’ is well-defined. Leibniz captures this idea by introducing in the calculus the term ‘Nihil’ via the following axiom:

$$ \begin{align*}\hspace{-14pc}\!\textbf{Axiom Nihil: } \forall x (x-x=Nihil) \end{align*} $$

Axiom Nihil is only a special case of Subtraction 2, which covers also the case in which x is completely in y and y is subtracted from x.

2.3.1 The problem of the term ‘Nihil’

The admission of the term ‘Nihil’ is very problematic, because it naturally leads to contradiction. Suppose that the term refers to an empty object, let us say $\emptyset $ . Then in the Real Addition calculus, we have that . By definition of C-relation, this is equivalent to $ \forall x C(x,Nihil)$ , i.e., $\emptyset $ is contained in every object. This means that $\emptyset $ overlaps every object: $\forall x (x \circ Nihil)$ . In other words, given any two arbitrary objects they always have something in common. But this implies that there are no disjoint objects, contradicting Subtraction 2 (indeed, disjoint objects are required if we want a subtraction operation).

There are different ways in which this contradiction can be avoided. A first proposal made by Lenzen in [Reference Lenzen39] consists in restricting the definitions of overlapping and disjointness in order to exclude the term ‘Nihil’. For example, we may define two objects A and B to be disjoint if there is nothing in common between them apart from Nihil. This amounts to substituting the two previous definitions with the following:

$$ \begin{align*}\hspace{-8pc}\!\!\!\textbf{Overlapping } x \circ ^- y \equiv \exists w (Cxw \land Cyw) \land \neg(w=Nihil) \end{align*} $$

$$ \begin{align*}\hspace{-14pc}\!\textbf{Disjointness } D(x,y) \equiv \neg (x \circ^- y) \end{align*} $$

In this way, we may claim that there are disjoint objects even if Nihil is contained in everything. This is a perfectly reasonable move, but there is no sign in Leibniz’s work that he ever envisioned a similar strategy. A second possibility, suggested in [Reference Costantini11], is to interpret the term ‘Nihil’ as an empty term which, despite not having a reference, can be the subject of true propositions. This seems to capture well talk of Nihil or nothingness in a number of different contexts within Leibniz’s production (see [Reference Costantini11, §§7 and 8]). Formally this requires a Positive Free Logic that restricts the quantifier’s rule to terms that denote. In this way, from the claim that Nihil is contained in everything, we cannot derive that there is something ( $\exists x$ ) that is contained in everything, which is enough to block the derivation of the contradiction. One may object that the appeal to a Free Logic is very anachronistic, but the objection would be misplaced. Free logic would only be used as a contemporary tool to exactly describe how empty terms relate to other terms and quantifiers. From an historical point of view, what matters is only the possibility that Leibniz may have conceived of ‘Nihil’ as a non-denoting term. Finally, there is a third way out suggested by Leibniz himself. In A VI 4a 817, points 15 and 16 Leibniz claims that if , then B is contained in A only if B is something, i.e., $\neg (B=Nihil)$ . The contradiction here is avoided because Nihil is contained in no object whatever. While the implicit claim that Nihil is not something may suggest that the term must be taken as non-denoting, the idea expressed by this passage amounts to restricting the definition of containment: . This implies that Nihil is contained neither in other objects nor in itself. This view is probably influenced by the the Scholastic motto ‘nihili nulla esse attributa’ that Leibniz often repeats (e.g., in A VI 4 570). For our purposes here, we will adopt this last proposal. The reason is that not only does it allow us to say that there is no x contained in everything (as happens with the first two proposals), but it also implies that Nihil is never contained in something else. This will be important when moving to the mereological calculus in §3.2.Footnote ²⁴

2.4 Extensionality and the RA system

One important consequence of the axioms stated so far is that the calculus is extensional, in the sense that we are in a position to prove the Extensionality Principle according to which two things are the same if and only if they contain the same ‘ingredients’:

$$ \begin{align*}\hspace{-14pc}\textbf{EXT } \forall z(Cxz \leftrightarrow Cyz) \leftrightarrow x=y \end{align*} $$

To sum up what we have seen until now, Leibniz’s Real Addition calculus is based on the real addition operation (regimented by FCP and axioms 1, 2, and 3), from which we can define the C-relation and prove that C is reflexive, transitive, and antisymmetric. Moreover, Subtraction 2 holds. From this base EXT follows. I refer the reader to [Reference Lenzen39] for a full list of the theorems derivable from this calculus.Footnote ²⁶ As a consequence we have the following axioms (based on FOL plus identity, with as the only primitive term).

1)

2)

3) .

Finite Composition Principle: .

Subtraction 2:

$$ \begin{align*}\forall x \forall y \exists z [(x-y=z) \equiv\begin{cases} \forall w (C(z,w) \leftrightarrow (C(x,w) \land D(w,y)))], & \neg Cyx\\ z=Nihil], & Cyx \end{cases} \end{align*} $$

Clearly, containment is defined by excluding the term Nihil from its range of application:

The RA calculus is thus weaker than Classical Extensional Mereology (CEM) since the composition operation (real addition) does not apply to infinitely many things, contrary to what happens in CEM. However, we will argue that the application of the notion of aggregate and the containment relation to metaphysics require an infinitary composition operation. In the next paragraph we explain how to extend the RA calculus in order to accommodate an infinitary composition operation. We then start defending the idea that this is a legitimate interpretation to take. This defense has two stages: a negative one, where we debunk possible objections against this view, and a positive one (which is postponed to the third part of this paper) where we show that there are plenty of applications of the distinction between containment and parthood that require an infinitary real addition operation.

2.5 Making real addition an infinitary operation

We are now going to extend RA into an infinitary calculus that we shall label $RA^{\infty }$ . Its axioms are exactly those of RA once FCP has been replaced with an unrestricted sum operation that can be applied to any collection or plurality of objects, no matter how many they are (finitely or infinitely many). We shall write $\Sigma _\phi z$ to denote that z is the sum (or aggregate) of everything satisfying the condition $\phi $ .

Definition: $\Sigma _\phi z \equiv \forall x(\phi (x)\rightarrow Czx) \land \forall y(\forall x(\phi (x) \rightarrow Cyx) \rightarrow Cyz)$

The first conjunct guarantees that everything satisfying $\phi $ is contained in the sum (so the sum is an upper bound for the containment relation); the second conjunct guarantees that the sum is a minimal upper bound: if everything satisfying $\phi $ is contained in y, then their sum z is also contained in y. Equipped with this definition, we can state a principle of unrestricted composition (UCP), or unrestricted sum:

$$ \begin{align*}\hspace{-14pc}\textbf{UCP: } \exists x \phi (x)\rightarrow \exists z (\Sigma_\phi z ) \end{align*} $$

The uniqueness of the sum operation follows straightforwardly from the antisymmetry of containment (see [Reference Cotnoir and Varzi17, p. 29]).Footnote ²⁷

This formalization makes real addition an infinitary operation: when there are infinitely many things satisfying $\phi $ , UCP delivers us an infinite aggregate.

We will see the importance of this infinitary interpretation of real addition in §4, dealing with the applications in metaphysics of these notions. For the time being I limit myself to a ‘negative’ defense of the possibility of interpreting real addition as an infinitary operation by replying to three objections.

Objection 1: The infinitary interpretation of real addition presupposes the notion of actual infinite. We can sum together only things that are available; if there are infinitely many things satisfying $\phi $ , then this infinite must be actual, and not merely potential. But Leibniz, along with all (or most) philosophers and mathematicians before Cantor, only admitted the notion of potential infinite, namely the idea of procedures and operations that can be iterated indefinitely.

Reply 1: It is simply false that the only sense of infinity that Leibniz admitted is the potential. Nowadays all Leibnizian scholars agree that Leibniz conceived of matter as being actually divided into infinitely many parts. This is an actual infinite since each part of matter is fully determined. More generally Leibniz holds that what actually exists is completely determined, and since there are infinitely many substances, the created world constitutes an actual infinite.Footnote ²⁸ In addition, recently some scholars have advanced the idea that Leibniz accepted the actual infinity in mathematics as well.Footnote ²⁹ Some texts are very explicit on this point:

In this text, Leibniz considers the integers as constituting an actual infinite.Footnote ³⁰ However, his idea is that they do not form a whole or a collection. In other words, they do not constitute a categorematic infinite, i.e., an infinite object. For this reason, generality over actually infinitely many things must be understood distributively, not collectively. For my present purpose, it is not important to take a stand on whether Leibniz admitted the actual infinite in mathematics or not.Footnote ³¹ What really matters is that Leibniz, at least in some contexts, advocates a notion of actual infinite clearly not reducible to the potential one.

Objection 2: Leibniz famously rejected infinite numbers (see [Reference Costantini10]). This rejection amounts to the rejection of infinite wholes and magnitudes. These cannot exist because their existences contradict the part-whole axiom according to which the whole is always bigger than its parts. There is thus no categorematic infinite for Leibniz; but UCP delivers us exactly categorematic infinites, i.e., aggregates with infinitely many elements. Given Leibniz’s rejection of infinite wholes, he could not have accepted an infinitary composition operation.

Reply 2: Let’s see why this argument fails. The problem is that it exploits the part-whole relation and the part-whole principle, which are not yet available in the RA and the $RA^\infty $ calculi. Parthood is defined via containment, and so it requires real addition. But it also requires the notion of homogeneity (see next section), which is nowhere to be found in these calculi. Within RA (or $RA^\infty $ ) we cannot appeal to properties of the parthood relation, since parthood cannot even be defined. Therefore, we cannot appeal to the fact that an infinite aggregate is not a whole to establish the properties of real addition. Moreover, exactly because infinite aggregates of $RA^{\infty }$ obtained via UCP are not (in general) wholes with parts, they have no magnitude (what has magnitude must be a whole with parts—more on this in §3). Therefore, the rejection of infinite magnitudes is compatible with admitting infinite aggregates.

One may think that allowing only a distributive form of generality with regard to infinitely many things (as Leibniz says in the quotation above) is incompatible with UCP, since the latter, delivering us infinite aggregates, allows for a form of collective generality. But notice that it is Leibniz himself who often speaks collectively of infinitely many things (for example, when he talks of bodies as infinite aggregates). However, this does not have to be interpreted as an incoherence on Leibniz’s part. Rather, the idea mentioned above that aggregates “differ only in name” from their constituents (and are thus only shorthand expressions for them) implies that we can talk collectively of infinitely many things as long as we know that this is only a fiction. As long as we stick to this nominalistic interpretation of aggregates, there is no danger in fictionally talking collectively of what, more rigorously, allows only a distributive form of generality.

Objection 3: Leibniz is very clear that not even God can perform an infinite operation. The complete concept of Julius Caesar contains all the infinitely many attributes of Caesar, including the fact that he crossed the Rubicon. Still this fact is contingent and, as is well-known, Leibniz explained its contingency with the claim that neither us nor God can derive it from the complete concept. A supposed derivation of it would contain infinitely many steps, but neither us nor God can perform an operation of this kind. God knows that Caeser crossed the Rubicon because he immediately sees all of its attributes. This view sheds doubt on the possibility of attributing to Leibniz any infinitary operation. Similar considerations can be raised starting from the infinitesimal calculus, where infinite sums (in convergent series) are interpreted by Leibniz as abbreviations for the fact that the partial finite sums of the series converge to a certain value.

Reply 3: This objection is based on a misunderstanding. The claim that Leibniz may have admitted an infinitary real addition operation does not mean that somebody (us or God) can literally operate with infinitely many terms. For example, it does not imply that someone can derive a contingent truth from a complete concept or that an infinite sum in the calculus is something more than its corresponding partial finite sums. The notion of sum at play here is simply different from the notion of sum in arithmetics or in the calculus. An infinitary real addition operation only allows us to consider infinite aggregates with some of their ingredients, and the only operations that we are allowed to perform are those permitted by the calculus (e.g., if A is in B—with B an infinite aggregate—we may consider the complement of A in B, i.e., $B-A$ ). Given the nominalistic reading of aggregates that I am proposing, this simply means that we are allowed to introduce a single term to refer to infinitely many things at once, as Leibniz often did.

3.1 Homogeneity

Leibniz defines the part-whole relation as a restriction of the containment relation via the relation of homogeneity:

If we use $Pxy$ as denoting that x is part of y and $Hxy$ to formalize the idea that x is homogeneous to y, then we have:

Definition of Parthood $Pxy \equiv Cyx \land Hxy$

to be read as “x is part of y if and only if y contains x and x and y are homogeneous”. To clarify parthood we thus need to clarify the concept of homogeneity.Footnote ³³

3.1.2 Similarity and equality

Similarity is conceived of as the principle of comparability: “similitude is the principle of homogeneity, or of comparability, since comparable are those things that can be made similar” ([Reference Leibniz32, p. 156]). Similars are those things that share all attributes or qualities, and for this reason they can be discerned only through comparison: “similars are those things whose attributes are the same, or which are of the same ultimate species, or which cannot be distinguished one by one” (A VI 4 872). In turn, these definitions rely on the notion of quality which is introduced in contrast to the notion of quantity:

Quantity or magnitude is that in things which can be known only through their simultaneous compresence—or by their simultaneous perception. […] Quality, on the other hand, is what can be known in things when they are observed singly, without requiring any compresence” (GM VII 18–19).

Both the notions of quality and quantity are considered to be primitive notions (by the late Leibniz), and are characterized in phenomenological terms.Footnote ³⁴

Similarity is thus thought of as qualitative identity, and can be formalized as follows (in the following $Ql(x)$ is used as a third-order predicate indicating the property of being a quality, and $S(x,y)$ means that x and y are similar):

$$ \begin{align*}\hspace{-10pc}\!\textbf{Similarity } S(x,y) \equiv \forall P (Ql(P) \rightarrow (P(x) \leftrightarrow P(y))) \end{align*} $$

Similarity indicates qualitative indiscernibility, and it is clearly an equivalence relation (this trivially follows from the fact that the bi-conditional is an equivalence relation). Notice that the only way to distinguish two similar things is by appealing to their quantitative difference or to their position: “Similar are those things that can be discerned only by their magnitude” ([Reference Leibniz and Couturat29, p. 563]/ A VI 4 418). A case in point of similar things are line-segments.

Quantitative comparability of similar things is thus embedded in the same definition of similarity. Since similar things are qualitatively indiscernible, we need to compare them in order to distinguish them, and by this comparison we get to know their quantity or magnitude. For example, if we compare two line-segments by superimposing one over the other, and as a result we cannot discern them anymore, we can conclude that they have the same magnitude, namely they are equal. Here the idea is that we see when two similar things are equal or not (indeed, this is the meaning of the claim that the knowledge of quantity requires co-perception).

Equality is conceived of as a quantitative identity: “Equals have the same quantity” (GM VII 19; in what follows, $Qt(x)$ is used as a third-order predicate for properties, and $E_P(x,y)$ means that x and y are equals with regard to property P):

$$ \begin{align*}\hspace{-10pc}\!\!\textbf{Equality } E_P(x,y) \equiv \exists P (Qt(P) \land (P(x) \leftrightarrow P(y))) \end{align*} $$

Like similarity, equality too is an equivalence relation.

We followed [Reference Cook9] for the formalization of the notion of similarity; however, we modified [Reference Cook9]’s formalization of equality by restricting it to a specific property. The reason is that when two objects have more than one quantitative property (i.e., volume and weight), they may be equal with regard to one, but not the other. Therefore, when working with a specific case, we should always specify which property we are interested in. However, in many cases the context makes it clear which property is at stake and so—following Leibniz’s usage—we may safely talk of equality in general. In the following, I shall use $E(x,y)$ to denote equality. It is, however, understood that the notion is restricted to the pertinent property.

But what about comparability of non-similar things? For example, how can we compare a curve and a line-segment? Here superimposing one over the other is clearly not enough to establish whether they are equal or not. Leibniz thus needs a way of generalizing comparability from similar to non-similar things. He does this via the notion of homogeneity:

Two entities are homogeneous to which two other entities can be assigned which are equal to them and similar to each other. Given A and B; if L is taken equal to A, and M equal to B, and L and M are similar, we call A and B homogeneous. Hence I usually say also that homogeneous entities are those which can be made similar to each other by means of transformation, like curves and straight lines. That is if A is transformed into its equal L, it can be made similar to B, or to its equal M into which B is assumed to have been transformed. (Initia Rerum Mathematicarum Metaphysica, GM VII 19; translation from [Reference Leibniz35, p. 667])

Formally, we have:

$$ \begin{align*}\hspace{-8pc}\textbf{Homogeneity } Hxy \equiv \exists v \exists w(E(x,v) \land E(y,w) \land S(v,w)) \end{align*} $$

This definition is more complex than what may appear at first. Notice that at least one of the two pairs $(x,v)$ and $(y,w)$ is not made up of similar things. Otherwise, due to the similarity of $v$ and $w$ , x and y would be similar and the definition would collapse to the case of comparability of similar things. But then the definition requires that we already know when two non-similar things are equal, and this presupposes that we already have a way to compare non-similar things. In this case, the definition of homogeneity would turn out to be useless, if not circular (recall that we need this notion to generalize comparability beyond the cases of similarity). This problem also emerges in other presentations of homogeneity, where Leibniz makes explicit that the truth of clauses such as $E(x,y)$ when x and y are not similar means that there is a transformation of x into y:

Homogeneous things are those which can be made similar without affecting magnitude [salva magnitudine] (Quoted from [Reference Arthur6, p. 366]).

Homogeneous things are those which are similar or can be transformed into similar things. (A VI 872)

Magnitude is what is preserved in transformation, or the only thing that can be discerned in similar things. (A VI 873)

The idea is that x and y are homogeneous if and only if we can transform them into two other things $v$ and $w$ , which are respectively equal to x and y (i.e., they have the same quantity) and are similar to one another. An arc of curve C is homogeneous to a straight line L (and can thus be compared to L), because we can transform C into a straight line $L'$ (by rectification) and compare L and $L'$ . For the sake of the explanation, let us suppose that L is smaller than $L'$ : $L \leq L'$ . Since $E(C,L')$ , we can substitute $L'$ with C in $L \leq L'$ , salva quantitate. In this way, we conclude that $L \leq C$ . Therefore, the notion of homogeneity allows us to extend a comparison between similar things to a comparison between things which are not similar.

The key property of such a transformation is that it preserves quantity (and thus it must preserve topological dimensionality as well).Footnote ³⁵ However, the problem above remains: how to understand the preservation of quantity in a non-circular way?

Here we may follow Leibniz’s suggestion of thinking about the quantity-preserving transformation in the following terms: if two objects are such that there is a decomposition of them into disjoint parts (namely parts that have nothing in common) which are congruent one by one (each part of one object is congruent with one part of the other, and no part remains outside this relation), then we can say that they are equal. But this proposal is circular, because this characterization uses the notion of part, which is defined via the same notion of homogeneity! Another proposal that can be found in GM VII 273Footnote ³⁶ consists in exploiting the resources of the infinitesimal calculus. According to this proposal, the transformation/rectification of a curve C into a straight line $L'$ requires us to consider the curve C as if it were composed of infinitesimal straight lines. These infinitesimal straight lines work as if they were a common measure between C and $L'$ ; in fact, they are parts of C congruent with parts of $L'$ . That we can feign the existence of a common measure depends on the possibility of taking them as small as we please, i.e., in making the error between the curve and its approximations smaller than any given, and thus null. In this way, we obtain an explanation of the quantity-preserving feature of a transformation that is based on the notion of congruence between fictional parts of the transformed object. However, the circularity expounded above is still present. Indeed, the text clearly treats these infinitesimal lines as parts of C (“a line is not composed of points […]; rather, a line is composed of indefinitely small linelets”—where the difference is that a point is not a part of the line, while a small linelet is) which requires again homogeneity.

Despite the difficulties in providing a non-circular definition of homogeneity, it is quite clear which things are homogeneous with each other and which are not. For example, the following are homogeneous objects: two circles with the same radius (they are equals and similar); two circles with different radii (they are similar, but not equals); a curve and a straight line have the same dimensions (they are homogeneous, but not similar); a curve and its rectification are equals (but not similar). On the contrary, a 2-dimensional circle and a 2-dimensional infinite plane, despite having the same dimensions, are neither similar, nor homogeneousFootnote ³⁷ . As a consequence, while homogeneous things have the same dimensions, objects with the same dimensions may not be homogeneous.

3.2 Restricting containment through homogeneity

The notion of part is defined via containment and homogeneity: $Pxy \equiv Cyx \land Hxy$ . As mentioned before, Leibniz never presented a formal theory of parthood; he limited himself to saying that the theorems of the RA calculus remain valid when we restrict containment via homogeneity. To capture Leibniz’s mereological system, I propose to extend the RA system with the following axiom:

$$ \begin{align*}\hspace{-13pc}\!\textbf{Homogeneity Axiom: } \forall x \forall y (Cxy \rightarrow Hxy) \end{align*} $$

This has the effect of imposing that the containment relation that we are interested in while doing mereology is only that among homogeneous things.Footnote ⁴⁰

Definition of the system M: RA + Homogeneity Axiom.

Since M extends RA, it straightforwardly follows that all theorems of RA are also theorems of M. Leibniz clearly envisaged this fact:

Homogeneity is an equivalence relation, since it has been defined through similarity and equality, which are equivalence relations.Footnote ⁴¹ The notion of part that we obtain in this way is the so-called notion of improper part: since both containment and homogeneity are reflexive, it follows that for all x we have both $Cxx$ and $Hxx$ , which means that $Pxx$ is valid as well: everything is part of itself. Reasoning in a similar way it is straightforward to show that the parthood relation is transitive and antisymmetric (since the C-relation is transitive and antisymmetric); as such it is a partial order.Footnote ⁴²

Even though it is Leibniz himself who introduces the relation of ‘part’ in this precise way, when he speaks of ‘part’ he usually has in mind the notion of proper part, i.e., a notion that does not contemplate the case in which something is part of itself:

$PPxy \equiv Pxy \land \neg (x=y)$ Footnote ⁴³

If $PPxy$ is the case, by Subtraction 2, we have that $\exists z (PPzy \wedge \neg (z \circ x))$ . This is simply the result of subtracting x from y, and substituting the containment relation with parthood in Subtraction 2, since we are working within M. If I subtract a proper part of something A, I always get a remainder different from A. This is the feature that allows Leibniz to define the ‘smaller than’ ( $<$ ) relation via (proper) parthood:Footnote ⁴⁴

Definition of ‘smaller than’: $a<b \equiv \exists xE(a,x) \land PP(x,b)$

From this it immediately follows that each (proper) part is less than the whole in which it is contained.

Part-Whole Principle: The whole is always bigger than each of its proper parts.

Since it extends RA (and not $RA^\infty $ ) M is weaker than CEM. The system M has only a finite composition principle to the effect that any pair of objects can be summed together to form a whole. This is in line with Leibniz’s rejection of infinite wholes. Leibniz’s commitment to the idea that the whole is always bigger than each of its (proper) parts led him to reject infinite wholes on pain of contradiction. Moreover, notice that the possibility of defining the ‘smaller than’-relation via parthood rests on the idea that all quantities have a mereological structure, i.e., all quantities are wholes with parts. This is in fact an explicit assumption made by Leibniz (that we shall call Part-Quantity axiom in the next section).

A couple of things should be noted here. First, FCP is compatible with a finite whole being decomposed into infinitely many parts. What we need to guarantee is that there is at least one finite decomposition of the whole. In this case the whole can be obtained by applying FCP. But this feature is guaranteed by homogeneity. In fact, a decomposition into parts of a finite whole requires that the parts are homogeneous to the whole, and so each part will be finite (i.e., it will have a finite magnitude). Second, it has been noted that a principle like FCP may clash with the Subtraction 2, since the remainder z is the fusion of all parts of x disjoint from y, and there is nothing that guarantees that there are only finitely many of these parts (see [Reference Cotnoir16, p. 164]). However, again, homogeneity rules out this possibility, because the remainder z is always a part of x, and since x is finite, by homogeneity, z must be finite too.

3.3 Leibniz’s mereology: the system LM

The Part-Whole Principle is a straightforward consequence of the definition of the $<$ -relation via the notion of parthood. The latter is based on homogeneity, which indicates quantitative comparability: there is always a ratio among homogeneous things. Mereology is from the very beginning a theory that constitutes the bones of Leibniz’s theory of measurement (of quantities). Indeed, it is straightforward to show that, from the definition of parthood, it follows that if x is a whole with proper parts, then x has quantity. In other words, ‘being a whole (with proper parts)’ implies ‘having quantity’. This is the case because (proper) parts are homogeneous to their wholes, which means that a (proper) part is always quantitatively comparable with the whole in which it inheres (i.e., there is always a ratio between a part and the whole in which it inheres). As a consequence, they both have quantity. If we denote the property ‘having quantity’ as $\lambda x.Qt(x)$ , we may express it as follows:

$$ \begin{align*}\exists w PP(w,a) \rightarrow [\lambda x.Qt(x)](a)\end{align*} $$

Notice that we have formulated this claim with reference to proper parthood, and not simply to parthood. The reason is that since everything contains itself and is homogeneous to itself, everything is a part of itself. This implies that everything has quantity, a claim that Leibniz cannot accept. In addition, since Leibniz usually has in mind the proper parthood relation, it is therefore natural to restrict the claim to the proper parthood relation.

What about the converse? Does ‘having quantity’ imply ‘being a whole with parts’? Leibniz has a positive answer to this:

The claim that only wholes have quantity is equivalent to the claim that ‘having quantity’ implies ‘being a whole with parts’. This is presented as an axiomatic principle, which allows Leibniz to apply mereology in the measurement of any kind of quantities. Notice that this principle—that I shall call Part-Quantity—cannot be literally interpreted as a definition of quantity, without incurring a vicious circularity. In fact, the notion of part and whole is defined via homogeneity, which requires the notion of equality, and so of quantity. Therefore, the notion of part and whole presupposes the notion of quantity, and cannot be exploited to define it. If we denote the property ‘having quantity’ as $\lambda x.Qt(x)$ , we may express it as follows:

$$ \begin{align*} \hspace{-10pc}\textbf{Part-Quantity Axiom: } [\lambda x.Qt(x)](a) \rightarrow \exists w PP(w,a) \end{align*} $$

This says that if a has quantity, then it has (proper) parts, namely it is a whole with parts. Clearly, we can strengthen the claim into an equivalence, since we have seen that the right-to-left direction follows from the definition of parthood. By adding Part-Quantity Axiom to the system M we get Leibniz’s Mereology LM:

Definition of the system LM: M + Part-Quantity Axiom.

This is the final system that translates in a formal language Leibniz’s own mereology.

There are two things to notice here. First, this conception of quantity presupposes that a quantity is something positive, different from zero. Since quantity is a property of a whole, if something has quantity zero, then—properly speaking—it has no quantity at all, which implies that it is not a whole with parts. For example, a point does not have quantity, and in fact it does not have parts;Footnote ⁴⁷ or a simple substance does not have parts, and so it does not have a correspondent quantity. Second, one may question the presence of Part-Quantity among the axioms of Leibniz’s mereology. Such an axiom seems extraneous to a proper mereological theory, at least as it is conceived today, since it seems to establish a connection between mereology (the M system) and something external to it, i.e., the theory of quantity. However, this objection fails to appreciate the deep connection between mereology and quantity in Leibniz. Mereology works as a background theory for the theory of measurement. This is already clear from the same definition of parthood via homogeneity. By claiming that ‘having quantity’ implies ‘being a whole with parts’, Part-Quantity guarantees that any kind of quantity can be treated mereologically, assuring that there is a unique theory that can then be applied to different fields. Finally, as we will see, Part-Quantity plays a important role in the justification of some formal features of the parthood relation.Footnote ⁴⁸

3.4 A Gunky notion of part

Within the LM the following theorem is derivable:

Part-Hereditary: $\forall x \forall y \exists w \exists z (H(x,y) \land PPwx \rightarrow PPzy)$ .

In words: if x and y are homogeneous, and x has proper parts, so does y. Why is this principle true? Let us start by considering the special case in which two homogeneous objects—say a and b—are homogeneous in virtue of being similar. Having (proper) parts is a quality, not a quantitative property (compare ‘having parts’ with ‘having n-parts’, i.e., a determined number of parts, which is a quantitative property). Then it directly follows that if one between a and b has parts, so the other. This is because similar things share all qualitative properties, and having parts is a qualitative property. Therefore, if a and b are similar, and one has parts, so the other.Footnote ⁴⁹

Let us now consider the most general case, where a and b are homogeneous (but not similar), a is transformed into $v$ , b is transformed into $w$ , and $v$ and $w$ are similar. We want to show that if a has parts, so does b. To do that we need to appeal to Part-Quantity (and its converse). Suppose that a has parts. Since a is transformed into $v$ , a and $v$ are equals, i.e., they have the same quantity. In particular, $v$ has a quantity, and so, by Part-Quantity, it is a whole with parts. $v$ is similar to $w$ , which implies that also $w$ is a whole with parts. But $w$ is equal to b, so they have the same quantity, which implies that b has a quantity, and so, by Part-Quantity, it is a whole with parts. Therefore, if a and b are homogeneous, and one has parts, so the other.

The fact that the notion of part is defined by means of homogeneity implies that a part is always homogeneous to the whole of which it is a part. If the whole is a 1-dimensional object (a line with a length), then each of its proper parts will be 1-dimensional lines; if the whole is a material extended body, then each of its parts will be material extended bodies. Once Part-Hereditary has been established, it is easy to derive another interesting consequence that we shall label PP-Non-Well-Foundedness, namely the claim that everything which is a part is composed of further parts. Clearly this implies that the parts of the parts will be composed of further parts, and so on without an end. The upshot is that, with regard to the part-whole relation, we never reach a point where we find things without proper parts. In other words, within LM parthood is gunky:

$$ \begin{align*}\hspace{-9pc}\textbf{PP-Non-Well-Foundedness } \forall x \forall y \exists z (PPyx \rightarrow PPzy) \end{align*} $$

This principle amounts to saying that the PP-relation is not well-founded: given a part we can always find an infinitely descending chain of parts. One has to notice that we have formulated the principle with regard to $PP$ and not to P: since the latter is reflexive, the existence of an infinitely descending chain is trivial (just consider the chain starting from a whose links are always a: a is a part of a, which is a part of a, and so on).Footnote ⁵⁰

It is important to stress that Leibniz explicitly recognizes this feature of the notion of part. In particular focusing on the case of similar objects, he writes that “because in the line [recta] the part is similar to the whole, it is evident that in each part there will again be another part, and so given any line we can take a smaller line, since the part is smaller and it is still a line” (GM V 206, my translation). In fact, from PP-Non-Well-Foundedness, the converse of Part-Quantity and the definition of the $<$ -relation it immediately follows that given any quantity there is always a smaller quantity.

3.5 What about atoms?

Within the LM calculus, we may define an atom as an object without proper parts:

$$ \begin{align*}\hspace{-14pc}\!\textbf{Definition of Atom: } Ax \equiv \neg \exists z PPzx \end{align*} $$

This corresponds to Leibniz’s notion of simplicity, which is the key feature of monads. Therefore, the question of atoms within Leibniz’s mereology is the question of the relationship between monads and compounds that have (proper) parts.

First, it is straightforward to see that a universe that contains only one object (which will thus be an atom) is a model for the LM calculus. Indeed, PP-Non-Well-Foundedness is a conditional statement to the effect that if something has proper parts, then its proper parts have proper parts too. As such it does not exclude the existence of atoms. FCP is satisfied (in virtue of the idempotence property), Part-Quantity and its converse are trivially satisfied since there is no quantity and nothing has proper parts; finally Subtraction 2 is satisfied since we can subtract the atom from itself and obtain Nihil. But Nihil is not, properly speaking, an object, but rather an empty term (this is the rationale behind the claim that Nihil is not contained in anything: you must be something to be contained in something else). Therefore, the LM calculus does not—by itself—exclude atoms. Moreover, notice that in virtue of Part-Quantity, it follows that an atom has no quantity, which is exactly what Leibniz claims about monads: “where there are no parts, there is no extension, nor figure nor divisibility” (Monadology §3, GP VI 607).

However, if we assume that there are at least two distinct objects, then no atom can exist within the LM calculus. In other words, the following holds:

$$ \begin{align*}\hspace{-13pc}\textbf{Week Atomless: } \exists x \exists y \neg(x=y) \rightarrow \neg \exists w Aw \end{align*} $$

This latter result depends on PP-Non-Well-Foundedness. It is this principle that does not allow atoms to be (proper) parts of other objects. The principle is a direct consequence of PP-Hereditary, which in turn depends on the notion of homogeneity. As such, an atom cannot be a proper part of a composite object, because it is not homogeneous to it. As a consequence, mereology does not apply to them, in the precise sense that any model of the LM calculus with at least two distinct objects will not have any atom.

However, what about atoms in the wider context of the RA (or $RA^{\infty })$ calculus? Here there is no problem for mereological atoms (as defined above) to be contained in aggregates or compounds (without being a part of these compounds). Indeed, this captures well Leibniz’s often repeated claim that monads are in bodies, but not parts of bodies, as we will see in the next paragraph.

The notion of atom that we have worked with so far has been defined with regard to the parthood relation, but nothing prevents us from defining a different notion of atom with regard to containment. Indeed, we find a definition of ‘atom’ that we may formalize as follows: $A_cx\equiv \neg \exists z Cxz \land \neg (x=z)$ (where $A_c(x)$ indicates the property of being an atom with regard to the containment, and not the parthood relation). Examples of atoms with regard to the containment relation are points in space and instants in time.Footnote ⁵² Clearly, $A_cx$ implies $Ax$ (if nothing distinct from a is contained in a, then a fortiori nothing is a (proper) part of a), but the inverse is not true: something might be simple with regard to the parthood relation (so it won’t have proper parts) but there might be something contained in it.Footnote ⁵³

4.1 Monads are in bodies, but not parts of bodies

We have shown that, provided there are at least two objects, there can be no atom according to the LM calculus. Since an atom is defined as something with no proper part, their metaphysical counterparts are monads. In this paragraph, with $Ax$ we shall indicate that x is a monad (or simple substance). The conclusion is that monads are not parts of any compound: in particular, monads are not parts of bodies. Indeed, monads are not homogeneous to bodies, since the former are immaterial and not extended, the latter material and extended. However, monads “enter into compounds”, i.e., they are (contained) in bodies. In the Monadology we read:

In the Principles of Nature and Grace it is clarified that these compounds are bodies:

This latter thought was echoed in the 1690s as follows:

A body is an aggregate or a compound of simple substances. Notice that Leibniz does not say that a body is a whole whose parts are the monads; indeed, he is very clear that this is not the case:

That bodies are aggregates of substances means that substances are (contained) in bodies. Here Leibniz is simply applying the definition of containment of the RA calculus: if x is in y, then x plus something else is identical to y, which means that y is an aggregate (a container) of which x is one of the ingredients.

Remarkably, in order for this distinction to work, real addition must be an infinitary operation along that of $RA^\infty $ : each body is constituted by infinitely many substances, i.e., each is an infinite aggregate of monads. If we admitted only a finitary operation (like that of RA), then we could not interpret the relationship between monads and bodies via the containment relation, and so it would become totally mysterious which relations are here in play.Footnote ⁵⁴

Working within $RA^{\infty }$ , we can be more specific on the relationship among bodies and monads. The gist of Leibniz’s theory can be summed up in 6 propositions:

1. 1. There are monads, i.e., substances with no proper parts: in formulas, $\exists x Ax $ ;

2. 2. There are bodies, i.e., concrete objects with proper parts: $\exists x Bx$ , where $Bx \equiv Conc(x) \land \exists w PPwx$ ( $Conc(x)$ means the x is concrete, i.e., not ideal or abstract);

3. 3. What exists is either a monad or a body;

4. 4. Each part of a body is a body as well, and so it has its own proper parts: $\forall x(Bx \rightarrow \forall y (PPyx \rightarrow \neg Ay))$ ;

5. 5. There are monads in bodies: $\forall x(Bx \rightarrow \exists y (Ay \land Cxy))$ ;

6. 6. Bodies are aggregate of monads (only), i.e., bodies results from monads only: $\forall x (Bx \rightarrow \Sigma _\phi x)$ , where $\phi $ is the condition $Ay \land Cxy$ .

Propositions 1 and 2 simply state the existence of, respectively, bodies and monads. Proposition 3 states that if something exists, either it is a monad or a body. Together with Proposition 6, this entails that what exists is either a monad or an aggregate of monads. Proposition 4 follows from PP-Non-Well-Foundedness applied to bodies: since bodies have parts, by PP-Non-Well-Foundedness, these parts have further parts and so on. So no atom (i.e., no monad) is a part of a body. Proposition 5 states that monads are contained in bodies. Notice that it does not explicitly say that all that there is to bodies are monads. This latter claim is in fact Proposition 6, which says that bodies are aggregates of monads. In other words, bodies are the sum (real addition) of all and only the monads they contain. So, if b is a body, then b is the sum of all monads y ( $Ay$ ) contained in it ( $Cby$ ). By applying UCP (where $\phi $ is the condition $Ax \land Cbx$ ) we obtain: $B(b)\rightarrow \Sigma _\phi b$ . 6 is the generalization of this. Given Leibniz’s nominalistic attitude toward aggregates (and sums) this amounts to the idea that the reality of bodies just is the reality of the monads in them.

At this point one might worry about the mutual consistency of propositions 4 and 6. The latter claims that bodies are aggregates of monads only: the idea is that we do not need anything else apart from monads to obtain bodies; when God creates a body he simply created the correspondent monads. But Proposition 4 says that there are parts in bodies, and we know that these parts are not monads.

To meet this concern the first thing to notice is that, given the $RA^\infty $ calculus, Propositions 5 and 6 are equivalent.

Theorem: 5 $\leftrightarrow $ 6

Proof: From right to left. That 6 implies 5 is straightforward: if $B(b)$ is the case for an arbitrary b, then $\Sigma _\phi b$ is the sum of all monads in b. In order for the sum to exist, $\phi $ must be satisfied, i.e., there must be a y such a that $Ay$ and $Cby$ . Therefore, we have $B(b)\rightarrow \exists y(Ay \land Cby)$ . Generalizing we obtain 5.

From left to right. The other direction is more complex, and here we adopt (a slightly modified version of) a proof from [Reference Cotnoir and Varzi17, p. 146]. First, notice that in virtue of the definition of $\Sigma _\phi x$ proposition 6 amounts to the conjunction of the following two propositions:

6A) $\forall x(Bx \rightarrow (\forall z(Az \land Cxz) \rightarrow Cxz))$ ,

6B) $\forall x(Bx \rightarrow \forall y (\forall z(Az \land Cxz) \rightarrow Cyz) \rightarrow Cyx) $ .

Since 6A is a logical truth, it is enough to show that 5 implies 6B. To do that we shall use our Subtraction 2 axiom, according to which, given any x and y, $x-y$ is always defined as the only object z such that $Cxz$ and $Dzy$ (when $Cyx$ or $x=y$ , the result is $Nihil$ ). The proof goes as follows.

Suppose that $B(a)$ . Moreover, suppose that $\neg C(b,a)$ . By Subtraction 2, there is a z such that $\forall w (C(z,w) \leftrightarrow (C(a,w) \land D(w,b)))$ . Thus $z=a-b$ . In particular, we have that there is a $w$ such that $C(a,w) \land D(w,b)$ . By Proposition 3, $w$ is a monad or a body. If it is a body, by Proposition 5, it contains a monad d (and so $Ad$ ). If it is a monad, then $Aw$ . In this case we can put $w=d$ . In each case, we have that there is a d such that $Ad$ and $C(w,d)$ . By transitivity of containment, we obtain $C(a,d)$ . We thus have $Ad \land C(a,d)$ .

From $D(w,b)$ and $C(w,d)$ , we get $\neg C(b,d)$ . Therefore, we have $Ad \land C(a,d) \land \neg C(b,d)$ . By existential generalization, we obtain $\exists z (Az \land C(a,z) \land \neg C(b,z))$ . Since this depends on having assumed $\neg C(b,a)$ , we can introduce the implication: $\neg C(b,a) \rightarrow \exists z (Az \land C(a,z) \land \neg C(b,z))$ . Contraposing and by propositional equivalences, this amounts to $\forall z (Az \land C(a,z) \rightarrow C(b,z)) \rightarrow C(b,a)$ . By introducing the implication and generalization, we obtain $\forall x (Bx \rightarrow \forall y (\forall z (Az \land C(x,z) \rightarrow C(y,z)) \rightarrow C(y,x)))$ , i.e., 6B.

The equivalence of Propositions 5 and 6 means that we just need to assume that there are monads in bodies to derive that bodies are nothing else than (non-mereological) aggregates of monads. We are now in a position to see why Propositions 4 and 6 are consistent. The following model clearly validates Propositions 4 and 5, but since 5 is equivalent to 6, it validates 6 as well.

In the picture, the lines represent the containment relation. So, $m1$ is contained in $B1$ , $m2$ is contained in $B2$ , and $B2$ is contained in $B1$ , etc. $m1, m2$ , etc. represent monads, while $B1, B2$ , etc. represent bodies. The lines connecting the B-terms with the m-terms indicate that the containment relation holds among non-homogeneous things, while the lines connecting the B-terms with other B-terms are for containment between homogeneous things, i.e., parthood. Proposition 4 holds, because all (proper) parts of a body ( $B1, B2$ , etc.) are not atoms, namely they have further (proper) parts. At the same time Proposition 5 holds, since each body has at least one monad contained in it. But then also Proposition 6 holds, and indeed every object in the model is ultimately decomposable into monads. In particular, the sum of all monads is identical to $B1$ .Footnote ⁵⁵

It can be easily seen that the present model is not a model of LM or $RA^{\infty }$ . For example, there is no sum of $m1$ and $m2$ , which implies that there is no remainder of $B1-B3$ . And this may be seen as problematic, since the existence of remainders is guaranteed by Subtraction 2, which we have used in the proof of the equivalence of 5 and 6. But a closer look at the proof will reveal that we have not used all the strength of Subtraction 2. In fact the proof only relies on a weaker principle, i.e., $\neg C(y,x) \rightarrow (\exists z C(x,z) \land D(z, y))$ . And this principle is valid in the model above. The point of the model is to show that the two claims at the heart of Leibniz’s theory of substances (bodies are aggregates of substances and at the same time they are divisible without end into further composite bodies) are consistent with each other. The model can thus be seen as an oversimplified picture of the structure of a Leibnizian corporeal substance. Clearly the distinction containment-parthood is essential to it.

4.2 Multiplicity in the simple

In the Monadology, Leibniz famously claimed that there is a multiplicity (of states) in each simple substance:

Leibniz here introduces a multiplicity of different states within each monad; multiplicity which is required for the explanation of change. This is Leibniz’s reinterpretation of the traditional claim that substances have a plurality of accidents. But how is it possible that what is simple, i.e., what has no parts, hosts a multiplicity in itself? Clearly, these states cannot be parts of the substance, otherwise we would have a contradiction with the attribute of simplicity. Here, again, the distinction between containment and parthood solves the problem. States are (contained) in the substance, but are not part of it. Substances are simple with regard to the parthood relation: on the contrary, with regard to the containment relation, the substance is something complex, exactly in the sense that there is a multiplicity of states in it. Each state is in the substance, which means that in the substance there is an aggregate of states.

It goes without saying that this multiplicity of states is infinite. Here again we find an example of an (implicit) use of an infinitary Real Addition operation. But there is more: each state represents the entire world, which—as we are going to see—is an infinite aggregate of substances. Therefore, not only is there an infinite aggregate of states in each substance, but each one of these states is an infinite aggregate of representations (of everything that exists). Again, with only a finitary Real Addition, we could not apply the containment relation, and the relation in play here would be mysterious. These applications both require the $RA^{\infty }$ calculus.

4.3 The world

The last application of the containment-parthood distinction that I want to scrutinize is Leibniz’s conception of the created world. Here again we find what appear to be incompatible statements about it. On the one hand, Leibniz is clear that the world constitutes an actual infinite:

Since there is an actual infinity of bodies within each body, the world, i.e., the aggregate of every created thing, is an actual infinite as well. The world is sometimes described as the aggregate of all bodies (“The aggregate of all bodies is called the world”—A VI 4, 1509), other times it is described as the aggregate of all (created) substances (since what really exists are substances). In both cases, the infinite in play is actual, showing once again that Leibniz was using an infinitary real addition operation (indeed, from the claim that the world is the aggregate of all bodies or all substances, by the definition of inesse we can infer that each body and each substance is (contained) in the world).

However, there are other passages that suggest what may appear as a rather different view:

One may be tempted to interpret these claims as suggesting the view that the world constitutes a potential infinite (given finitely many bodies, always more can be founded). But this would immediately give us a contradiction with the claim that the world is an actually infinite aggregate. Something cannot be at the same time and under the same respect potential and actual.

Again, the contradiction can be solved by appealing to the distinction between containment and parthood. When we look at the world with the “glasses” of the containment relation, the world is an infinite aggregate, but it is not an infinite whole (“infinity itself is nothing, i.e., that it is not one and not a whole”—A VI 3, 168/[Reference Leibniz25, p. 9]). Recall the nominalistic reading of aggregates: to say that the world is an infinite aggregate of substances/bodies simply means that there are actually infinitely many substances/bodies. However, when we look at it with the “glasses” of the parthood relation, what we see are finite wholes (here finite means that they have a finite magnitude), and given a whole a more comprehensive whole can always be found. Notice that the actual infinity of the universe is what guarantees that “there are always wholes greater than other ad infinitum”. The idea is that FCP allows us to add together more and more things into bigger and bigger wholes. Suppose that A and B are two different things, possibly overlapping, but such that one is not contained in the other. Let us compose them via FCP into a whole C. Then A and B will both be proper parts of C: in virtue of the definition of the $<$ -relation, since each of them are proper parts of C, they both are smaller than C. If we now compose C with a further thing D, we will obtain a bigger whole E. It seems that in this way, by applying FCP repeatedly, we can get bigger and bigger wholes. This only holds if one of the two things that we sum is not contained in the other. But what guarantees that, for any thing a, we can find a b, not contained in a? It is the fact that the universe is infinite that guarantees that the application of FCP can always result in bigger and bigger wholes. Because if we have infinitely many disjoint things at disposal, then given a certain thing a, there is always a distinct thing b (not contained in a) such that their composition results in a whole bigger than each of them. The picture is thus as follows: the universe is an actual infinity of substances, but not a whole.Footnote ⁵⁶ There are only finite wholes, and given an arbitrary whole, there is always a bigger whole that can be obtained via FCP. This implies that Leibniz’s mereology is not only gunky, but junky as well, meaning that each whole is a proper part of another whole.