Heyting Mereology as a Framework for Spatial Reasoning

Axiomathes 23 (1):137- 164 (2013)
Download Edit this record How to cite View on PhilPapers
Abstract
In this paper it is shown that Heyting and Co-Heyting mereological systems provide a convenient conceptual framework for spatial reasoning, in which spatial concepts such as connectedness, interior parts, (exterior) contact, and boundary can be defined in a natural and intuitively appealing way. This fact refutes the wide-spread contention that mereology cannot deal with the more advanced aspects of spatial reasoning and therefore has to be enhanced by further non-mereological concepts to overcome its congenital limitations. The allegedly unmereological concept of boundary is treated in detail and shown to be essentially affected by mereological considerations. More precisely, the concept of boundary turns out to be realizable in a variety of different mereologically grounded versions. In particular, every part K of a Heyting algebra H gives rise to a well-behaved K-relative boundary operator.
PhilPapers/Archive ID
MORCMA-3
Revision history
First archival date: 2015-11-21
Latest version: 3 (2015-11-21)
View upload history
References found in this work BETA
The Algebra of Topology.Mckinsey, J. C. C. & Tarski, Alfred

View all 11 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2011-09-18

Total views
808 ( #2,243 of 38,850 )

Recent downloads (6 months)
64 ( #6,280 of 38,850 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.