A Formal Theory of Substances, Qualities, and Universals
نویسندگان
چکیده
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.
منابع مشابه
On the Entanglement of Universals-Theory and Christian Faith in the Modern Theological Discourse of Karl Barth
The philosophical investigations into universals was entangled with the combination of a certain Christian faith and Ontology, especially in ancient and medieval times. That is, God’s creative activity provided us with the ontological presumption which enabled universals to be predicated, be perceived and be thought about. Times then have changed, and “the modern turn” in Philosophy tends to re...
متن کاملAn Argument against Armstrong’s Analysis of the Resemblance of Universals
David Armstrong believes in universals. Once universals are accepted, it must also be accepted that they resemble one another to various degrees. Colors, for instance, fall into a complicated multidimensional resemblanceorder. Armstrong claims that all universals are complex universals, and that they resemble one another insofar as they have common universal constituents. Armstrong’s reductive ...
متن کاملFormalised Elementary Formal Ontology
Formal ontology, as the science of the formal relations that structure reality as a whole, aims at a theory of categories corresponding to the most general features of possible objects, whether existing or non-existing. The present paper is an attempt to summarise and extend recent research in analytical metaphysics in a formalised theory of objects. Existence is characterised as a formal prope...
متن کاملThe Fact Semantics for Ramified Type Theory and the Axiom of Reducibility
This paper uses an atomistic ontology of universals, individuals, and facts to provide a semantics for ramified type theory. It is shown that with some natural constraints on the sort of universals and facts admitted into a model, the axiom of reducibility is made valid.
متن کاملFrom Domains Towards a Logic of Universals: A Small Calculus for the Continuous Determination of Worlds (Preprint)
At the end of the 19th century, ’logic’ moved from the discipline of philosophy to that of mathematics. One hundred years later, we have a plethora of formal logics. Looking at the situation form informatics, the mathematical discipline proved only a temporary shelter for ‘logic’. For there is Domain Theory, a constructive mathematical theory which extends the notion of computability into the c...
متن کامل