Abstract
The paper deals with Leibniz’s ontology and the metaphysics of the aggregate. Concerning the ontology of aggregates, the main aim is to provide _a new argument_ in favor of the claim that an aggregate and its constituents have the same ontological import. This argument takes the form of a weakening of a principle known in the contemporary literature of mereology as ‘composition as identity’ (CAI). The paper shows that Leibniz’s nominalism toward aggregates is a direct consequence of two elements: the way in which he considers the relationship between aggregates and their constituents in his logical calculus; and his theory of identity (and more generally, equivalence relations) as providing us with the ground for substitution _salva veritate_. It is concluded that Leibniz is committed to a principle that the author dubs Ontological-CAI: the aggregate/whole is _ontologically identical_ (i.e. it has the same ontological import) as its constituents/parts. Concerning the metaphysics of aggregates, the paper outlines in what sense aggregates are grounded on their constituents: arguing that Leibniz is committed to a further principle that the author calls Metaphysical-CAI: the aggregate/whole is _metaphysically grounded_ on its constituents/parts. From this it can be understood in which sense Leibniz could be considered a mereological nihilist, and in which sense not. The paper also sets out two different and competing readings of Metaphysical-CAI, and argues that Leibniz accepted both of them by interpreting them as different levels of explanation of the nature of aggregates.