Logic and Logical Philosophy 18 (1):45-63 (2009)

Hsing-Chien Tsai
National Chung Cheng University
Mereological theories are theories based on a binary predicate ‘being a part of’. It is believed that such a predicate must at least define a partial ordering. A mereological theory can be obtained by adding on top of the basic axioms of partial orderings some of the other axioms posited based on pertinent philosophical insights. Though mereological theories have aroused quite a few philosophers’ interest recently, not much has been said about their meta-logical properties. In this paper, I will look into whether those theories are decidable or not. Besides, since theories of Boolean algebras are in some sense upper bounds of mereological theories which can be found in the literature, I shall also make some observations about the possibility of getting mereological theories beyond Boolean algebras
Keywords undecidability  mereological theories  decidability  part-whole relation  mereology
Categories (categorize this paper)
DOI 10.12775/LLP.2009.004
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: 64,209
Through your library

References found in this work BETA

Material Beings.Peter Van Inwagen - 1990 - Ithaca: Cornell University Press.
Pieces of Mereology.Andrzej Pietruszczak - 2005 - Logic and Logical Philosophy 14 (2):211-234.
Relation of Leśniewski's Mereology to Boolean Algebra.Robert E. Clay - 1984 - In Jan T. J. Srzednicki, V. F. Rickey & J. Czelakowski (eds.), Journal of Symbolic Logic. Distributors for the United States and Canada, Kluwer Boston. pp. 241--252.

View all 9 references / Add more references

Citations of this work BETA

Mereology.Achille C. Varzi - 2016 - Stanford Encyclopedia of Philosophy.
Mereology Then and Now.Rafał Gruszczyński & Achille C. Varzi - 2015 - Logic and Logical Philosophy 24 (4):409–427.
On the Decidability of Axiomatized Mereotopological Theories.Hsing-Chien Tsai - 2015 - Notre Dame Journal of Formal Logic 56 (2):287-306.

View all 7 citations / Add more citations

Similar books and articles

More on The Decidability of Mereological Theories.Hsing-Chien Tsai - 2011 - Logic and Logical Philosophy 20 (3):251-265.
Pieces of Mereology.Andrzej Pietruszczak - 2005 - Logic and Logical Philosophy 14 (2):211-234.
What Is Classical Mereology?Paul Hovda - 2009 - Journal of Philosophical Logic 38 (1):55 - 82.
No Simples, No Gunk, No Nothing.Sam Cowling - 2014 - Pacific Philosophical Quarterly 95 (1):246-260.
Mereology and Modality.Gabriel Uzquiano - 2014 - In Shieva Kleinschmidt (ed.), Mereology and Location. Oxford University Press. pp. 33-56.
Mereology and Location.Shieva Kleinschmidt (ed.) - 2014 - Oxford University Press.
Using Mereological Principles to Support Metaphysics.Maureen Donnelly - 2011 - Philosophical Quarterly 61 (243):225-246.
Mereological Sets of Distributive Classes.Andrzej Pietruszczak - 1996 - Logic and Logical Philosophy 4:105-122.


Added to PP index

Total views
295 ( #32,327 of 2,455,349 )

Recent downloads (6 months)
2 ( #303,290 of 2,455,349 )

How can I increase my downloads?


My notes