Ontology and the logistic analysis of reality

In Nicola Guarino & Roberto Poli, Proceedings of the International Workshop on Formal Ontology in Conceptual Analysis and Knowledge Representation. Italian National Research Council. pp. 51-68 (1993)
  Copy   BIBTEX

Abstract

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.

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Mereotopology: A theory of parts and boundaries.Barry Smith - 1996 - Data and Knowledge Engineering 20 (3):287–303.
A modal approach to dynamic ontology: modal mereotopology.Dimiter Vakarelov - 2008 - Logic and Logical Philosophy 17 (1-2):163-183.
Some Formal Moments of Truth.Barry Smith - 1982 - In Werner Leinfellner, Language and Ontology. Hölder-Pichler-Tempsky / Reidel. pp. 186-90.
Objects and their environments: From Aristotle to ecological ontology.Barry Smith - 2001 - In Andrew U. Frank, Jonathan Raper & Jean-Paul Cheylan, The Life and Motion of Socio-Economic Units. London: Taylor & Francis. pp. 79-97.

Analytics

Added to PP
2012-09-23

Downloads
619 (#46,051)

6 months
92 (#69,445)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Barry Smith
University at Buffalo

Citations of this work

Fiat and Bona Fide Boundaries.Barry Smith & Achille C. Varzi - 2000 - Philosophy and Phenomenological Research 60 (2):401-420.
Fiat objects.Barry Smith - 1994 - In Nicola Guarino, Laure Vieu & Simone Pribbenow, Parts and Wholes: Conceptual Part-Whole Relations and Formal Mereology, 11th European Conference on Artificial Intelligence, Amsterdam, 8 August 1994, Amsterdam:. European Coordinating Committee for Artificial Intelligence. pp. 14-22.
On drawing lines on a map.Barry Smith - 1995 - In Frank A. U., Kuhn W. & Mark D. M., Spatial Information Theory: Proceedings of COSIT '95. Springer. pp. 475-484.
The niche.Barry Smith & Achille C. Varzi - 1999 - Noûs 33 (2):214-238.

View all 25 citations / Add more citations

References found in this work

Process and reality: an essay in cosmology.Alfred North Whitehead - 1929 - New York: Free Press. Edited by David Ray Griffin & Donald W. Sherburne.
Mereotopology: A theory of parts and boundaries.Barry Smith - 1996 - Data and Knowledge Engineering 20 (3):287–303.
A calculus of individuals based on "connection".Bowman L. Clarke - 1981 - Notre Dame Journal of Formal Logic 22 (3):204-218.

View all 12 references / Add more references