Classical Mereology Is Axiomatizable Using Primitive Fusion in Two-Sorted Logic

Abstract

The use of the primitive notion of mereological fusion (also known as composition and sum) has been considered by various philosophers and logicians, including Aristotle, G. Leibniz, S. Leśniewski, K. Fine, J. Ketland, T. Schindler, and S. Kleishmid. The problem of finding an axiomatization of Classical Mereology with primitive fusion, instead of the primitive notion of being a part, is quite old and was formally considered by C. Lejewski. Lejewski somehow axiomatized classical mereology using primitive fusion (1962, and also later in 1984). However, his mereology is formulated in a very rich nonclassical language of Leśniewski’s ontology with the essential use of quantification over function symbols, including function symbols “part of” and “sum of.” Lejewski’s approach is not expressible in modern mereologies, and we do not use it in any way. We prove that classical mereology is axiomatizable using primitive mereological fusion within the framework of two-sorted logic. The theory presented here is the first contemporary axiomatization of classical mereology with primitive mereological fusion.