Advertisement

Studia Logica

, Volume 107, Issue 6, pp 1089–1102 | Cite as

On Tarski’s Axiomatization of Mereology

  • Neil TennantEmail author
Article

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.

Keywords

Mereology Part of Reflexivity Tarski Axiomatization Constructivity 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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.Google Scholar
  2. 2.
    Hovda, P., What is Classical Mereology? Journal of Philosophical Logic 38(1):55–82, 2009.CrossRefGoogle Scholar
  3. 3.
    Simons, P., Parts: A Study in Ontology. Oxford University Press, Oxford, 1987.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    Tarski, A., Appendix E. In The Axiomatic Method in Biology, by J. H. Woodger, Cambridge University Press, Cambridge, 1937, pp. 161–172.Google Scholar
  6. 6.
    Tennant, N., Natural Logic. Edinburgh University Press, 1978.Google Scholar
  7. 7.
    Tennant, N., A general theory of abstraction operators. The Philosophical Quarterly 54(214):105–133, 2004.CrossRefGoogle Scholar

Copyright information

© Springer Nature B.V. 2018

Authors and Affiliations

  1. 1.Department of PhilosophyOhio State UniversityColumbusUSA

Personalised recommendations