NON-WELLFOUNDED MEREOLOGY
A. J. Cotnoir, Andrew Bacon · The Review of Symbolic Logic · 2011
This paper is a systematic exploration of non-wellfounded mereology. Motivations and applications suggested in the literature are considered. Some are exotic like Borges’Aleph, and thetrinity; other examples are less so, liketime traveling bricks, and even Geach’sTibbles the Cat. The authors point out that the transitivity of non-wellfounded parthood is inconsistent with extensionality. A non-wellfounded mereology is developed with careful consideration paid to rival notions of supplementation and fusion. Two equivalent axiomatizations are given, and are compared to classical mereology. We provide a class of models with respect to which the non-wellfounded mereology is sound and complete.