Abstract
This paper is devoted to an axiomatic characterization of an ontological predicate called “actual existence”. We analyze this predicate in the context of some mereological and mereotopological systems. The resulting mereological system is a Boolean algebra with a predicate of actual existence and the resulting system in mereotopology is a Boolean algebra with predicate of actual existence and a binary relation called “actual contact”. For both systems we present standard models and prove the corresponding representation theorems.
The author is sponsored by Contract DN02/15/19.12.2016 with Bulgarian NSF. Project title: “Space, Time and Modality: Relational, Algebraic and Topological Models”. Thanks are due to the anonymous referees for their valuable remarks and suggestions.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Bennett, B., Düntsch, I.: Axioms, algebras and topology. In: Aiello, M., Pratt, I., van Benthem, J. (eds.) Handbook of Spatial Logics, pp. 99–160. Springer, Dordrecht (2007). doi:10.1007/978-1-4020-5587-4_3
Cohn, A., Renz, J.: Qualitative spatial representation and reasoning. In: van Hermelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier, Amsterdam (2008)
Dimov, G., Vakarelov, D.: Contact algebras and region-based theory of space: a proximity approach I. Fundamenta Informaticae 74(2–3), 209–249 (2006)
Düntsch, I., Vakarelov, D.: Region-based theory of discrette spaces: a proximity approach. In: Nadif, M., Napoli, A., SanJuan, E., Sigayret, A. (eds.) Proceedings of Fourth International Conference Journées de l’informatique Messine, Metz, France, pp. 123–129 (2003). Journal version in: Ann. Math. Artif. Intell. 49(1–4), 5–14 (2007)
Engelking, R.: General Topology. PWN, Warsaw (1977)
Hahmann, T., Gröuninger, M.: Region-based theories of space: mereotopology and beyond. In: Hazarika, S. (ed.) Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions, pp. 1–62. IGI Publishing, Hershey (2012)
de Laguna, T.: Point, line and surface as sets of solids. J. Philos. 19, 449–461 (1922)
Rabin, M.O.: Decidability of second-order theories and automata on infinite trees. Trans. AMS 141, 1–35 (1969)
Sikorski, R.: Boolean Algebras. Springer, Berlin (1964)
Simons, P.: PARTS. A Study in Ontology. Clarendon Press, Oxford (1987)
Thron, W.J.: Proximity structures and grills. Math. Ann. 206, 35–62 (1973)
Vakarelov, D.: Region-based theory of space: algebras of regions, representation theory and logics. In: Gabbay, D., et al. (eds.) Mathematical Problems from Applied Logics II. New Logics for the XXIst Century, pp. 267–348. Springer, New York (2007). doi:10.1007/978-0-387-69245-6_6
Vakarelov, D., Mereotopology, D.: Dynamic mereotopology: a point-free theory of changing regions. I. Stable and unstable mereotopological relations. Fundamenta Informaticae 100(1–4), 159–180 (2010)
Vakarelov, D.: Dynamic mereotopology II: axiomatizing some Whiteheadian type space-time logics. In: Bolander, T., Braüner, T., Ghilardi, S., Moss, L. (eds.) Advances in Modal Logic, vol. 9, pp. 538–558. King’s College, London (2012)
Vakarelov, D.: Dynamic mereotopology III. Whiteheadean type of integrated point-free theories of space and time. Part I. Algebra Logic 53(3), 191–205 (2014). Part II. Algebra Logic 55(1), 9–197 (2016). Part III. Algebra Logic 55(3), 181–197 (2016)
Vakarelov, D.: Mereotopologies of predicates of actual existence and actual contact, submitted
Whitehead, A.N.: The Organization of Thought. William and Norgate, London (1917)
Whitehead, A.N.: Science and the Modern World. The MacMillan Company, New York (1925)
Whitehead, A.N.: Process and Reality. MacMillan, New York (1929)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Vakarelov, D. (2017). Actual Existence Predicate in Mereology and Mereotopology (Extended Abstract). In: Polkowski, L., et al. Rough Sets. IJCRS 2017. Lecture Notes in Computer Science(), vol 10314. Springer, Cham. https://doi.org/10.1007/978-3-319-60840-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-60840-2_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-60839-6
Online ISBN: 978-3-319-60840-2
eBook Packages: Computer ScienceComputer Science (R0)