Actual Existence Predicate in Mereology and Mereotopology (Extended 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.