Mereotopology without mereology

Journal of Philosophical Logic 39 (3):229 - 254 (2010)
Abstract
Mereotopology is that branch of the theory of regions concerned with topological properties such as connectedness. It is usually developed by considering the parthood relation that characterizes the, perhaps non-classical, mereology of Space (or Spacetime, or a substance filling Space or Spacetime) and then considering an extra primitive relation. My preferred choice of mereotopological primitive is interior parthood . This choice will have the advantage that filters may be defined with respect to it, constructing “points”, as Peter Roeper has done (“Region-based topology”, Journal of Philosophical Logic , 26 (1997), 25–309). This paper generalizes Roeper’s result, relying only on mereotopological axioms, not requiring an underlying classical mereology, and not assuming the Axiom of Choice. I call the resulting mathematical system an approximate lattice , because although meets and joins are not assumed they are approximated. Theorems are proven establishing the existence and uniqueness of representations of approximate lattices, in which their members, the regions, are represented by sets of “points” in a topological “space”.
Keywords Approximate lattice  Filter  Mereology  Mereotopology  Spacetime  Ultrafilter
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 Translate to english
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 10,337
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
Bowman L. Clark (1985). Individuals and Points. Notre Dame Journal of Formal Logic 26 (1):61-75.
Bowman L. Clarke (1981). A Calculus of Individuals Based on ``Connection''. Notre Dame Journal of Formal Logic 22 (3):204-218.

View all 12 references

Citations of this work BETA

No citations found.

Similar books and articles
Analytics

Monthly downloads

Added to index

2010-04-03

Total downloads

82 ( #14,783 of 1,096,595 )

Recent downloads (6 months)

3 ( #99,452 of 1,096,595 )

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.