On Three Axiom Systems for Classical Mereology

Logic and Logical Philosophy 28 (2):203–207 (2019)
  Copy   BIBTEX

Abstract

Paul Hovda’s excellent paper ‘What Is Classical Mereology?' has fruitfully reshaped the debate concerning the axiomatic foundations of classical mereology. Precisely because of the importance of Hovda’s work and its usefulness as a reference tool, we note here that one of the five axiom systems presented therein, corresponding the ‘Third Way’ to classical mereology, is defective and must be amended. In addition, we note that two other axiom systems, corresponding to the ‘First Way’ and to the ‘Fifth Way’, involve redundancies.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

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

Mereology and modality.Gabriel Uzquiano - 2014 - In Shieva Kleinschmidt (ed.), Mereology and Location. Oxford University Press. pp. 33-56.
What Is Classical Mereology?Paul Hovda - 2009 - Journal of Philosophical Logic 38 (1):55 - 82.
Formal Theories of Parthood.Achille C. Varzi - 2014 - In Claudio Calosi & Pierluigi Graziani (eds.), Mereology and the Sciences: Parts and Wholes in the Contemporary Scientific Context. Springer Verlag. pp. 359–370.
A Note on the Transitivity of Parthood.Achille C. Varzi - 2006 - Applied ontology 1 (2):141-146.
Anti‐symmetry and non‐extensional mereology.Aaron Cotnoir - 2010 - Philosophical Quarterly 60 (239):396-405.
Nonclassical Mereology and Its Application to Sets.Peter Forrest - 2002 - Notre Dame Journal of Formal Logic 43 (2):79-94.
On power set in explicit mathematics.Thomas Glass - 1996 - Journal of Symbolic Logic 61 (2):468-489.
Mereology.Paul R. Daniels - 2016 - Oxford Bibliographies in Philosophy.
Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
Mereology.Achille C. Varzi - 2016 - Stanford Encyclopedia of Philosophy.

Analytics

Added to PP
2018-11-03

Downloads
51 (#292,755)

6 months
5 (#441,012)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Achille C. Varzi
Columbia University

References found in this work

The calculus of individuals and its uses.Henry S. Leonard & Nelson Goodman - 1940 - Journal of Symbolic Logic 5 (2):45-55.
What Is Classical Mereology?Paul Hovda - 2009 - Journal of Philosophical Logic 38 (1):55 - 82.
The Calculus of Individuals and Its Uses.Henry S. Leonard & Nelson Goodman - 1940 - Journal of Symbolic Logic 5 (3):113-114.

Add more references