In Nicola Guarino & Roberto Poli (eds.), Proceedings of the International Workshop on Formal Ontology in Conceptual Analysis and Knowledge Representation. Italian National Research Council. pp. 51-68 (1993)
I shall attempt in what follows to show how mereology, taken together with certain topological notions, can yield the basis for future investigations in formal ontology. I shall attempt to show also how the mereological framework here advanced can allow the direct and natural formulation of a series of theses – for example pertaining to the concept of boundary – which can be formulated only indirectly (if at all) in set-theoretic terms.
|Keywords||mereotopology Franz Brentano continuity continuum Patrick Hayes connection|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Husserl's Relevance for the Philosophy and Foundations of Mathematics.E. Rosado Haddock Guillermo - 1997 - Axiomathes 8 (1):125-142.
Applications and Limits of Mereology. From the Theory of Parts to the Theory of Wholes.Massimo Libardi - 1994 - Axiomathes 5 (1):13-54.
Similar books and articles
Mereotopology: A Theory of Parts and Boundaries.Barry Smith - 1996 - Data and Knowledge Engineering 20 (3):287–303.
Mereology on Topological and Convergence Spaces.Daniel R. Patten - 2013 - Notre Dame Journal of Formal Logic 54 (1):21-31.
Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology.Achille C. Varzi - 1996 - Data and Knowledge Engineering 20:259–286.
Parts and Moments: Studies in Logic and Formal Ontology.Barry Smith (ed.) - 1982 - Philosophia Verlag.
Ontology and Geographic Kinds.B. Smith & D. M. Mark - 1998 - In T. Poiker & N. Chrisman (eds.), Proceedings of the 8th International Symposium on Spatial Data Handling, 308–320. International Geographic Union.
On Substances, Accidents and Universals: In Defence of a Constituent Ontology.Barry Smith - 1997 - Philosophical Papers 26 (1):105-127.
Ontology: Towards a New Synthesis.Barry Smith & Chris Welty - 2002 - In Formal Ontology in Information Systems. ACM Press.
SNAP and SPAN: Towards Dynamic Spatial Ontology.Pierre Grenon & Barry Smith - 2004 - Spatial Cognition and Computation 4 (1):69–103.
Layers: A New Approach to Locating Objects in Space.Maureen Donnelly & Barry Smith - 2003 - In W. Kuhn M. F. Worboys & S. Timpf (eds.), Spatial Information Theory: Foundations of Geographic Information Science. Springer.
Heyting Mereology as a Framework for Spatial Reasoning.Thomas Mormann - 2013 - Axiomathes 23 (1):137- 164.
Added to index2012-09-23
Total downloads144 ( #32,566 of 2,164,562 )
Recent downloads (6 months)30 ( #10,590 of 2,164,562 )
How can I increase my downloads?