Classical Mereology is Axiomatizable Using Primitive Fusion in Two Sorted Logic
Abstract
Mereological fusion, also known as composition and sum, was originally used by me as a primitive notion to axiomatize Extensional Mereology wih atoms in Ly22. Here, I extend this idea to axiomatize General Extensional Mereology, also called Classical Mereology, which is neutral regarding the existence of atoms. I give a proof that classical mereology is axiomatizable using primitive mereological fusion within the framework of two-sorted logic, as I announced in Ly22. The use of the primitive notion of fusion instead of primitive notion of part was considered by G. Leibniz [50]CoVa21, S. Le\'sniewski [CCLXIV, CCLXIV]Le92, K. Fine Fi10, J. Ketland, and T. Schindler KeSh16, and S. Kleishmid Kl17. C. Lejewski formulated mereology using a single axiom with primitive mereological sum [222]Sb84. However, Lejewski's theory is formulated in non-classical language of Le\'sniewski's ontology and contains complicated quantification over function symbols, including quantification on part of and sum of. Lejewski's approach is not expressible in modern mereologies. The presented theory is the first contemporary axiomatization of classical mereology in two-sorted logic with primitive mereological fusion.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.