Finitely inseparable first-order axiomatized mereotopological theories

Hsing-chien Tsai



This paper will first introduce first-order mereotopological axioms and axiomatized theories which can be found in some recent literature and it will also give a survey of decidability, undecidability as well as other relevant notions. Then the main result to be given in this paper will be the finite inseparability of any mereotopological theory up to atomic general mereotopology (AGEMT) or strong atomic general mereotopology (SAGEMT). Besides, a more comprehensive summary will also be given via making observations about other properties stronger than undecidability.


mereology; mereotopology; decidability; undecidability; separability; inseparability; finite separability; finite inseparability

Full Text:



Casati, R., and A.C. Varzi., Parts and Places, The MIT Press, 1999.

Clarke, B.L., “A calculus of individuals based on ‘connection’ ”, Notre Dame Journal of Formal Logic, 22 (1981): 204–218.

Enderton, H.B., A Mathematical Introduction to Logic, San Diego, Academic Press, 2001.

Hodges, W., Model Theory, Cambridge, Cambridge University Press, 1993.

Monk, J.D., Mathematical Logic, New York, Springer-Verlag, 1976.

Pratt-Hartmann, I., “First-order mereotopology”, in Handbook of Spatial Logics, M. Aiello, I. Pratt-Hartmann and J. van Benthem (ed.), Dordrecht, Springer, 2007, pp. 13–97.

Shoenfield, J.R., Mathematical Logic, London, Addison-Wesley, 1967.

Simons, P., Parts: A Study in Ontology, Oxford, Clarendon Press, 1987.

Soare, R., Recursively Enumerable Sets and Degrees, Perspectives in Mathematical Logic, Springer-Verlag, 1987.

Tarski, A., A. Mostowski, and R.M. Robinson, Undecidable Theories, Amsterdam, North-Holland Publishing Company, 1953.

Tarski, A., “On the foundations of Boolean algebra”, in Logic, Semantics, Metamathematics, Oxford, Oxford University Press, 1956.

Tsai, Hsing-chien, “Decidability of mereological theories”, Logic and Logical Philosophy, 18 (2009): 45–63.

Tsai, Hsing-chien, “More on the decidability of mereological theories”, Logic and Logical Philosophy, 20 (2011): 251–265.

Tsai, Hsing-chien, “Decidability of General Extensional Mereology”, Studia Logica, 101 (2013), 3: 619–636. CrossRef

Tsai, Hsing-chien, “A comprehensive picture of the decidability of mereological theories”, Studia Logica, (2012). CrossRef

Tsai, Hsing-chien, “On the decidability of axiomatized mereotopological theories”, Notre Dame Journal of Formal Logic (forthcoming 2013).

Whitehead, A.N., Process and Reality, The MacMillan Company, New York, 1929.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism