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

Authors
Paul Hovda
Reed College
Abstract
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
Keywords Classical mereology  Part-whole relation  Mereological fusion  Boolean algebra  Mereological sum  Part  Mereology  Fusion
Categories (categorize this paper)
Reprint years 2009
DOI 10.1007/s10992-008-9092-4
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,548
Through your library

References found in this work BETA

Parts: A Study in Ontology.Peter Simons - 1987 - Oxford University Press.
Mereology.Achille C. Varzi - 2016 - Stanford Encyclopedia of Philosophy.
Parts : a Study in Ontology.Peter Simons - 1987 - Revue de Métaphysique et de Morale 2:277-279.

View all 15 references / Add more references

Citations of this work BETA

Mereology.Achille C. Varzi - 2016 - Stanford Encyclopedia of Philosophy.
The Metaphysics of Propositional Constituency.Lorraine Keller - 2013 - Canadian Journal of Philosophy 43 (5-6):655-678.
Non-Wellfounded Mereology.Aaron J. Cotnoir & Andrew Bacon - 2012 - Review of Symbolic Logic 5 (2):187-204.

View all 53 citations / Add more citations

Similar books and articles

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.

Analytics

Added to PP index
2009-01-28

Total views
324 ( #22,436 of 2,348,322 )

Recent downloads (6 months)
9 ( #72,070 of 2,348,322 )

How can I increase my downloads?

Downloads

My notes