Journal of Philosophical Logic 38 (1):55 - 82 (2008)
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)|
References found in this work BETA
Parts and Places. The Structures of Spatial Representation.Roberto Casati & Achille C. Varzi - 1999 - MIT Press.
Citations of this work BETA
The Metaphysics of Propositional Constituency.Lorraine Juliano Keller - 2013 - Canadian Journal of Philosophy 43 (5-6):655-678.
Strange Parts: The Metaphysics of Non‐Classical Mereologies.A. J. Cotnoir - 2013 - Philosophy Compass 8 (9):834-845.
Heyting Mereology as a Framework for Spatial Reasoning.Thomas Mormann - 2013 - Axiomathes 23 (1):137- 164.
Similar books and articles
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.
Anti-Symmetry and Non-Extensional Mereology.Aaron J. Cotnoir - 2010 - Philosophical Quarterly 60 (239):396-405.
Quine, Mereology, and Inference to the Best Explanation.John Bigelow - 2010 - Logique Et Analyse 53 (212):465.
Mereologies as the Grammars of Chemical Discourses.Rom Harré & Jean-Pierre Llored - 2011 - Foundations of Chemistry 13 (1):63-76.
Structural Mereology: A Formal Elucidation and Some Metaphysical Applications.Thomas Mormann - manuscript
Added to index2009-01-28
Total downloads231 ( #16,181 of 2,178,221 )
Recent downloads (6 months)15 ( #20,219 of 2,178,221 )
How can I increase my downloads?