Finitely inseparable first-order axiomatized mereotopological theories
DOI:
https://doi.org/10.12775/LLP.2013.016Keywords
mereology, mereotopology, decidability, undecidability, separability, inseparability, finite separability, finite inseparabilityAbstract
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.
References
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.
Downloads
Published
How to Cite
Issue
Section
Stats
Number of views and downloads: 620
Number of citations: 0
