A Formal Theory of Substances, Qualities, and Universals

In Achille Varzi & Laure Vieu (eds.), Formal Ontology in Information Systems. Proceedings of the Third International Conference. IOS Press (2004)
Download Edit this record How to cite View on PhilPapers
Abstract
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.
Keywords
No keywords specified (fix it)
PhilPapers/Archive ID
NEUAFT
Upload history
Archival date: 2019-07-22
View other versions
Added to PP index
2012-11-25

Total views
66 ( #39,462 of 51,341 )

Recent downloads (6 months)
5 ( #48,172 of 51,341 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.