Heyting Mereology as a Framework for Spatial Reasoning

Axiomathes 23 (1):137- 164 (2013)
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.
Keywords Mereology  Heyting algebras  Co-Heyting algebras  Topology  (Non-)Tangential Parts  Contact Relation  Boundary  Representation
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive Thomas Mormann, Heyting Mereology as a Framework for Spatial Reasoning
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Paul Hovda (2009). What Is Classical Mereology? Journal of Philosophical Logic 38 (1):55 - 82.

View all 7 references

Citations of this work BETA

No citations found.

Similar books and articles
Analytics

Monthly downloads

Added to index

2011-09-18

Total downloads

249 ( #1,602 of 1,100,863 )

Recent downloads (6 months)

25 ( #5,119 of 1,100,863 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Start a new thread
Order:
There  are no threads in this forum
Nothing in this forum yet.