Abstract
It is shown how Tarski’s 1929 axiomatization of mereology secures the reflexivity of the ‘part of’ relation. This is done with a fusion-abstraction principle that is constructively weaker than that of Tarski; and by means of constructive and relevant reasoning throughout. We place a premium on complete formal rigor of proof. Every step of reasoning is an application of a primitive rule; and the natural deductions themselves can be checked effectively for formal correctness.
Similar content being viewed by others
References
Heyting, A., Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Akademie der Wissenschaften. Physikalisch-mathematische Klasse. Deutsche Akademie der Wissenschaften zu Berlin, Mathematisch-Naturwissenschaftliche Klasse, 1930, pp. 42–56; 57–71; 158–169.
Hovda, P., What is Classical Mereology? Journal of Philosophical Logic 38(1):55–82, 2009.
Simons, P., Parts: A Study in Ontology. Oxford University Press, Oxford, 1987.
Tarski, A., Les fondements de la géométrie des corps. Ksiȩga Pamia̧tkowa Pierwszego Polskiego Zjazdu Matematycznego, suppl. to Annales de la Société Polonaise de Mathématique 7:29–33, 1929.
Tarski, A., Appendix E. In The Axiomatic Method in Biology, by J. H. Woodger, Cambridge University Press, Cambridge, 1937, pp. 161–172.
Tennant, N., Natural Logic. Edinburgh University Press, 1978.
Tennant, N., A general theory of abstraction operators. The Philosophical Quarterly 54(214):105–133, 2004.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Heinrich Wansing
Rights and permissions
About this article
Cite this article
Tennant, N. On Tarski’s Axiomatization of Mereology. Stud Logica 107, 1089–1102 (2019). https://doi.org/10.1007/s11225-018-9819-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-018-9819-3