Hostname: page-component-8448b6f56d-qsmjn Total loading time: 0 Render date: 2024-04-19T19:46:13.969Z Has data issue: false hasContentIssue false
  • English
  • Français

NATURAL AXIOMS FOR CLASSICAL MEREOLOGY

Published online by Cambridge University Press:  27 December 2018

A. J. COTNOIR  and
ACHILLE C. VARZI
A. J. COTNOIR*
Affiliation:
Department of Logic and Metaphysics, University of St Andrews
ACHILLE C. VARZI*
Affiliation:
Department of Philosophy, Columbia University
*
*DEPARTMENT OF LOGIC AND METAPHYSICS UNIVERSITY OF ST ANDREWS EDGECLIFFE, THE SCORES ST ANDREWS, FIFE KY16 9AR, UK E-mail: ac117@st-andrews.ac.uk
†DEPARTMENT OF PHILOSOPHY COLUMBIA UNIVERSITY NEW YORK, NY 10027, USA E-mail: av72@columbia.edu
Get access Rights & Permissions [Opens in a new window]

Abstract

We present a new axiomatization of classical mereology in which the three components of the theory—ordering, composition, and decomposition principles—are neatly separated. The equivalence of our axiom system with other, more familiar systems is established by purely deductive methods, along with additional results on the relative strengths of the composition and decomposition axioms of each system.

Keywords

03A05mereologyBoolean algebrasaxiomatics
Type
Research Article
Information
The Review of Symbolic Logic , Volume 12 , Issue 1 , March 2019 , pp. 201 - 208
Copyright
Copyright © Association for Symbolic Logic 2018 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Hovda, P. (2009). What is classical mereology? Journal of Philosophical Logic, 38, 55–82.CrossRefGoogle Scholar
Leonard, H. S. & Goodman, N. (1940). The calculus of individuals and its uses. Journal of Symbolic Logic, 5, 45–55.CrossRefGoogle Scholar
Leśniewski, S. (1916). Podstawy ogólnej teoryi mnogości. I, Moskow, Prace Polskiego Koła Naukowego w Moskwie, Sekcya matematyczno-przyrodnicza; Eng. trans. by Barnett, D. I. (1991). Foundations of the general theory of sets. I. In Surma, S. J., Srzednicki, J. T., Barnett, D. I., and Rickey, F. V., editors. Stanislaw Lesniewski: Collected Works, Vol. 1. Dordrecht: Kluwer Academic Publishers, pp. 129–173.Google Scholar
Simons, P. M. (1987). Parts. A Study in Ontology. Oxford: Clarendon Press.Google Scholar
Varzi, A. C. (2016). Mereology. In Zalta, E. N., editor. The Standford Encyclopedia of Philsophy (Spring 2016 edition). Available at http://plato.stanford.edu/archives/spr2016/entries/mereology.Google Scholar
Varzi, A. C. On three axiom systems for classical mereology. Logic and Logical Philosophy, in press.Google Scholar