What Is Classical Mereology?

Journal of Philosophical Logic 38 (1):55 - 82 (2009)
  Copy   BIBTEX


Classical mereology is a formal theory of the part-whole relation, essentially involving a notion of mereological fusion, or sum. There are various different definitions of fusion in the literature, and various axiomatizations for classical mereology. Though the equivalence of the definitions of fusion is provable from axiom sets, the definitions are not logically equivalent, and, hence, are not inter-changeable when laying down the axioms. We examine the relations between the main definitions of fusion and correct some technical errors in prominent discussions of the axiomatization of mereology. We show the equivalence of four different ways to axiomatize classical mereology, using three different notions of fusion. We also clarify the connection between classical mereology and complete Boolean algebra by giving two "neutral" axiom sets which can be supplemented by one or the other of two simple axioms to yield the full theories; one of these uses a notion of "strong complement" that helps explicate the connections between the theories



    Upload a copy of this work     Papers currently archived: 84,292

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Medieval mereology.Desmond Paul Henry - 1991 - Philadelphia: B.R. Grüner.
Tensed Mereology.Paul Hovda - 2013 - Journal of Philosophical Logic 42 (2):241-283.
Non-wellfounded Mereology.Aaron J. Cotnoir & Andrew Bacon - 2012 - Review of Symbolic Logic 5 (2):187-204.
Mereology and modality.Gabriel Uzquiano - 2014 - In Shieva Kleinschmidt (ed.), Mereology and Location. Oxford University Press. pp. 33-56.


Added to PP

370 (#38,879)

6 months
10 (#106,122)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Paul Hovda
Reed College

References found in this work

Parts: a study in ontology.Peter M. Simons - 1987 - New York: Oxford University Press.
Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
Parts of Classes.David K. Lewis - 1991 - Mind 100 (3):394-397.
Mereology.Achille C. Varzi - 2016 - Stanford Encyclopedia of Philosophy.

View all 19 references / Add more references