Jun 2, 2024
Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
Posted by Dan Breeden in category: futurism
It sure looks like other philosophers are using the Stone duality in ways that are a lot more sophisticated than my own way!
Abstract In this paper we present a point-free theory of Whiteheadean style of space and time.
In this paper we present a point-free theory of Whiteheadean style of space and time. Its algebraic formulation, called dynamic contact algebra (DCA), is a Boolean algebra whose elements symbolized dynamic regions changing in time, with two spatio-temporal mereotopological relations between them: stable and unstable contact. We prove several representation theorems for DCAs, representing them in structures arising from products of contact algebras or from products of topological spaces. We also present a decidable quantifier-free constraint logic for reasoning about stable and unstable mereotopological relations between dynamic regions. We consider the paper as a first step in point-free dynamic mereotopology.