A Formal Theory of Substances, Qualities, and Universals

In Achille C. Varzi & Laure Vieu (eds.), ”, Formal Ontology in Information Systems. Proceedings of the Third International Conference. IOS Press (2004)
  Copy   BIBTEX


One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a semantics for the theory and a provably sound axiomatization.



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

Lasst uns den Weg einer neuen Ontologie einschlagen! (Teil 1).Gianluigi Segalerba - 2017 - Analele Universitatii Din Craiova, Seria Filosofie 40 (2):91-183.
Particulars and Their Qualities.Douglas C. Long - 1970 - In Michael J. Loux (ed.), Universals and particulars: readings in ontology. Notre Dame: University of Notre Dame Press. pp. 264-84.
A Spatio-Temporal Ontology for Geographic Information Integration.Thomas Bittner & Barry Smith - 2009 - International Journal for Geographical Information Science 23 (6):765-798.
Universals, Particulars, and Predication.Herbert Hochberg - 1965 - Review of Metaphysics 19 (1):87 - 102.


Added to PP

288 (#74,680)

6 months
83 (#70,574)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Barry Smith
University at Buffalo

References found in this work

.Barry Smith - 2004 - Grupo de Acción Filosófica (Gaf), Buenos Aires.

Add more references