This paper offers a critical reconstruction of the motivations that led to the development of mereology as we know it today, along with a brief description of some questions that define current research in the field.
In classical extensional mereology, composition is idempotent: if x is part of y, then the sum of x and y is identical to y. In this paper, I provide a systematic and coherent formal mereology for which idempotence fails. I first discuss a number of purported counterexamples to idempotence that have been put forward in the literature. I then discuss two recent attempts at sketching non-idempotent formal mereology due to Karen Bennett and Kit Fine. I argue that these attempts are incomplete, however, and there are many open issues left unresolved. I then construct a class of models of a non-idempotent mereology using multiset theory, consider their algebraic structure, and show how these models can shed light on the open issues left from the previous approaches.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.