Skip to main content Skip to main navigation menu Skip to site footer
  • Register
  • Login
  • Language
    • English
    • Język Polski
  • Menu
  • Home
  • Current
  • Archives
  • Online First Articles
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Advisory Board
    • Peer Review Process
    • Logic and Logical Philosophy Committee
    • Open Access Policy
    • Privacy Statement
    • Contact
  • Register
  • Login
  • Language:
  • English
  • Język Polski

Logic and Logical Philosophy

Finitely inseparable first-order axiomatized mereotopological theories
  • Home
  • /
  • Finitely inseparable first-order axiomatized mereotopological theories
  1. Home /
  2. Archives /
  3. Vol. 22 No. 3 (2013): September /
  4. Articles

Finitely inseparable first-order axiomatized mereotopological theories

Authors

  • Hsing-chien Tsai National Chung-Cheng University, Taiwan

DOI:

https://doi.org/10.12775/LLP.2013.016

Keywords

mereology, mereotopology, decidability, undecidability, separability, inseparability, finite separability, finite inseparability

Abstract

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.

Author Biography

Hsing-chien Tsai, National Chung-Cheng University, Taiwan

Department of Philosophy

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.

Logic and Logical Philosophy

Downloads

  • PDF

Published

2013-06-11

How to Cite

1.
TSAI, Hsing-chien. Finitely inseparable first-order axiomatized mereotopological theories. Logic and Logical Philosophy. Online. 11 June 2013. Vol. 22, no. 3, p. 347–363. [Accessed 1 July 2025]. DOI 10.12775/LLP.2013.016.
  • ISO 690
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

Vol. 22 No. 3 (2013): September

Section

Articles

Stats

Number of views and downloads: 653
Number of citations: 0

Crossref
Scopus
Google Scholar
Europe PMC

Search

Search

Browse

  • Browse Author Index
  • Issue archive

User

User

Current Issue

  • Atom logo
  • RSS2 logo
  • RSS1 logo

Information

  • For Readers
  • For Authors
  • For Librarians

Newsletter

Subscribe Unsubscribe

Language

  • English
  • Język Polski

Tags

Search using one of provided tags:

mereology, mereotopology, decidability, undecidability, separability, inseparability, finite separability, finite inseparability
Up

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partners

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Instytut Tomistyczny
  • Karmelitański Instytut Duchowości w Krakowie
  • Ministerstwo Kultury i Dziedzictwa Narodowego
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polska Fundacja Przemysłu Kosmicznego
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Komisji Edukacji Narodowej w Krakowie
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Nicolaus Copernicus University Accessibility statement Shop