Graduate studies at Western
Journal of Philosophical Logic 38 (1):55 - 82 (2009)
|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||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Desmond Paul Henry (1991). Medieval Mereology. B.R. Grüner.
Rom HarrÃ© & Jean-Pierre Llored (2011). Mereologies as the Grammars of Chemical Discourses. Foundations of Chemistry 13 (1):63-76.
Rom Harré & Jean-Pierre Llored (2011). Mereologies as the Grammars of Chemical Discourses. Foundations of Chemistry 13 (1):63-76.
John Bigelow (2010). Quine, Mereology, and Inference to the Best Explanation. Logique Et Analyse 53 (212).
Aaron J. Cotnoir (2010). Anti-Symmetry and Non-Extensional Mereology. Philosophical Quarterly 60 (239):396-405.
Gabriel Uzquiano (forthcoming). Mereology and Modality. In Shieva Kleinschmidt (ed.), Mereology and Location. Oxford University Press.
Aaron J. Cotnoir & Andrew Bacon (2012). Non-Wellfounded Mereology. Review of Symbolic Logic 5 (2):187-204.
Paul Hovda (2013). Tensed Mereology. Journal of Philosophical Logic 42 (2):241-283.
Henry Laycock (2011). Every Sum or Parts Which Are Water is Water. Humana Mente 19 (1):41-55.
Added to index2009-01-28
Total downloads115 ( #5,917 of 739,319 )
Recent downloads (6 months)6 ( #14,902 of 739,319 )
How can I increase my downloads?