Abstract
We show that a standard axiomatization of mereology is equivalent to the condition that a topological space is discrete, and consequently, any model of general extensional mereology is indistinguishable from a model of set theory. We generalize these results to the Cartesian closed category of convergence spaces
Keywords mereology   topology   mereotopology   convergence space   general extensional mereology   set theory
Categories (categorize this paper)
DOI 10.1215/00294527-1731362
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,231
Through your library

References found in this work BETA

A Calculus of Individuals Based on "Connection".Bowman L. Clarke - 1981 - Notre Dame Journal of Formal Logic 22 (3):204-218.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Non-Wellfounded Mereology.Aaron J. Cotnoir & Andrew Bacon - 2012 - Review of Symbolic Logic 5 (2):187-204.
What Is Classical Mereology?Paul Hovda - 2009 - Journal of Philosophical Logic 38 (1):55 - 82.
Mereology and Modality.Gabriel Uzquiano - 2014 - In Shieva Kleinschmidt (ed.), Mereology and Location. Oxford University Press. pp. 33-56.
Multilocation and Mereology.Shieva Kleinschmidt - 2011 - Philosophical Perspectives 25 (1):253-276.

Analytics

Added to PP index
2012-12-15

Total views
43 ( #265,198 of 2,518,147 )

Recent downloads (6 months)
1 ( #408,577 of 2,518,147 )

How can I increase my downloads?

Downloads

My notes