Logics of part/whole relations frequently take parthood or proper parthood as primitive, defining the remaining mereological properties and relations in terms of them. I argue from considerations involving Weak Supplementation for the conclusion that we should take fusion as our mereological primitive. I point out that the intuitions supporting Weak Supplementation also support a stronger principle, Weak Supplementation of Pluralities, and that the principle can only do the work demanded by our intuitions when formulated in terms of a notion of (...) fusion that cannot be defined merely in terms of mereological properties and relations, logic, and a membership relation. So, insofar as we think any definition of fusion must be so restricted, we have motivation to take fusion as primitive; further, we have greater insight into the motivation for our supplementation principle and which version of that principle we ought to endorse. (shrink)

The dominant theory of parts and wholes – classical extensional mereology – has faced a number of challenges in the recent literature. This article gives a sampling of some of the alleged counterexamples to some of the more controversial principles involving the connections between parthood and identity. Along the way, some of the main revisionary approaches are reviewed. First, counterexamples to extensionality are reviewed. The ‘supplementation’ axioms that generate extensionality are examined more carefully, and a suggested revision is considered. Second, (...) the paper considers an alternative approach that focuses the blame on antisymmetry but allows us to keep natural supplementation axioms. Third, we look at counterexamples to the idempotency of composition and the associated ‘parts just once’ principle. We explore options for developing weaker mereologies that avoid such commitments. (shrink)