Abstract
Mereology is the theory of the relation “being a part of”. The first exact formulation of mereology is due to the Polish logician Stanisław Leśniewski. But Leśniewski’s mereology is not first-order axiomatizable, for it requires every subset of the domain to have a fusion. In recent literature, a first-order theory named General Extensional Mereology (GEM) can be thought of as a first-order approximation of Leśniewski’s theory, in the sense that GEM guarantees that every definable subset of the domain has a fusion, and this has been achieved by positing an axiom schema which in effect defines infinitely many axioms. Intuitively, in order to range over every definable subset, such an axiom schema seems unavoidable. But this paper will show that GEM is finitely axiomatizable and that all we need are just finitely many instances of the said axiom schema.
Similar content being viewed by others
References
Casati, R., and A. Varzi, Parts and Places, MIT Press, Cambridge, 1999.
Hendry, H.E., Complete Extensions of the Calculus of Individuals, Noûs 16:453–460, 1982.
Hodges, W., Model Theory, Cambridge University Press, Cambridge, 1993.
Niebergall, K.G., Mereology, in L. Horsten, and R. Pettigrew (eds.), The Bloomsbury Companion to Philosophical Logic, Bloomsbury Academic, London, 2014, pp. 271–298.
Pietruszczak, A., Classical Mereology Is Not Elementarily Axiomatizable, Logic and Logical Philosophy 24:485–498, 2015.
Simons, P., Parts: A Study in Ontology, Clarendon Press, Oxford, 1987.
Tsai, H., Decidability of Mereological Thoeries, Logic and Logical Philosophy 18:45–63, 2009.
Tsai, H., Decidability of General Extensional Mereology, Studia Logica 101:619–636, 2013.
Tsai, H., Notes on Models of First-Order Mereological Theories, Logic and Logical Philosophy 24:469–482, 2015.
Tsai, H., and A.C. Varzi, Atoms, Gunk and the Limits of ‘Composition’, Erkenntnis 81:231–235, 2016.
Acknowledgements
This work is a product of a research project (104-2410-H-194 -098 -MY3) funded by Ministry of Science and Technology, Taiwan.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Richmond Thomason
Rights and permissions
About this article
Cite this article
Tsai, Hc. General Extensional Mereology is Finitely Axiomatizable. Stud Logica 106, 809–826 (2018). https://doi.org/10.1007/s11225-017-9768-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-017-9768-2