Ontologia i analiza logiczna rzeczywistości

Filozofia Nauki 2:5-22 (1994)

Barry Smith
State University of New York, Buffalo
The author attempts to show how mereology, taken together with certain topological notions, can yield the foundations for future investigations in formal ontology. He also attempts to show how the mereological framework allows for the direct and natural formulation of a series of theses - for example pertaining to the concept of a boundary - which can be only indirectly formulated (if at all) in set-theoretic terms. The far-reaching ain of the present framework is to serve as a basis for a formal ontology of the common-sense world. The author is interested in producing formally precise theories of structures of certain sorts in such a way that it is the structures themselves that intrest him and not formal machinery that has been set up to describe them. Hence the axioms are chosen primarily for the sake of the light they throw on the intended subject-matters (and not for their logical independence). The world itself - or its picture given in ordinary experience - is the only model the paper concentrates upon. Thus for example the presented system allows to prove that every boundary is the boundary of something, and that in particular no point exists in isolation from a large extended whole that is its boundary
Keywords mereology  ontology  axiomatic philosophy
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

Our Archive
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

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Mereotopology: A Theory of Parts and Boundaries.Barry Smith - 1996 - Data and Knowledge Engineering 20 (3):287–303.
Formal Ontology, Common Sense, and Cognitive Science.Barry Smith - 1995 - International Journal of Human-Computer Studies 43 (5-6):641–667.
Husserl's Conception of Formal Ontology.Roberto Poli - 1993 - History and Philosophy of Logic 14 (1):1-14.
Boundary.Achille C. Varzi - 2013 - Stanford Encyclopedia of Philosophy.
Toward a Theology of Boundary.Jeremy T. Law - 2010 - Zygon 45 (3):739-761.
The Niche.Barry Smith & Achille C. Varzi - 1999 - Noûs 33 (2):214-238.
Logic After Wittgenstein.Paul Tomassi - 2001 - Nordic Journal of Philosophical Logic 6 (1):43-70.


Added to PP index

Total views
281 ( #21,899 of 2,269,763 )

Recent downloads (6 months)
32 ( #26,366 of 2,269,763 )

How can I increase my downloads?


My notes

Sign in to use this feature