More on The Decidability of Mereological Theories

Logic and Logical Philosophy 20 (3):251-265 (2011)
  Copy   BIBTEX

Abstract

Quite a few results concerning the decidability of mereological theories have been given in my previous paper. But many mereological theories are still left unaccounted for. In this paper I will refine a general method for proving the undecidability of a theory and then by making use of it, I will show that most mereological theories that are strictly weaker than CEM are finitely inseparable and hence undecidable. The same results might be carried over to some extensions of those weak theories by adding the fusion axiom schema. Most of the proofs to be presented in this paper take finite lattices as the base models when applying the refined method. However, I shall also point out the limitation of this kind of reduction and make some observations and conjectures concerning the decidability of stronger mereological theories

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

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

Decidability of mereological theories.Hsing-Chien Tsai - 2009 - Logic and Logical Philosophy 18 (1):45-63.
What Is Classical Mereology?Paul Hovda - 2009 - Journal of Philosophical Logic 38 (1):55 - 82.
Pieces of mereology.Andrzej Pietruszczak - 2005 - Logic and Logical Philosophy 14 (2):211-234.
Mereology and modality.Gabriel Uzquiano - 2014 - In Shieva Kleinschmidt (ed.), Mereology and Location. Oxford University Press. pp. 33-56.
No Simples, No Gunk, No Nothing.Sam Cowling - 2014 - Pacific Philosophical Quarterly 95 (1):246-260.
Using mereological principles to support metaphysics.Maureen Donnelly - 2011 - Philosophical Quarterly 61 (243):225-246.
Mereology and Location.Shieva Kleinschmidt (ed.) - 2014 - Oxford: Oxford University Press.
Tensed Mereology.Paul Hovda - 2013 - Journal of Philosophical Logic 42 (2):241-283.

Analytics

Added to PP
2013-11-24

Downloads
477 (#36,083)

6 months
19 (#103,566)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Hsing-Chien Tsai
National Chung Cheng University

Citations of this work

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.

Add more citations

References found in this work

No references found.

Add more references