Individuals, Universals, Collections: On the Foundational Relations of Ontology
نویسندگان
چکیده
This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for formal ontology. We provide examples to support this thesis from the domain of biomedicine.
منابع مشابه
A spatio-temporal ontology for geographic information integration
This paper presents an axiomatic formalisation of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation an...
متن کاملFriederike Moltmann Two Kinds of Universals and Two Kinds of Collections
Natural language, as is well known, seems to involve a rather rich ontology. It easily allows for reference to universals (with nominalizations such as honesty) und thus seems to involve a realist ontology, with properties acting as objects. It also allows reference to collections of any sort (with plurals and conjunctive NPs) und thus seems to involve unrestricted composition. In this paper, I...
متن کامل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...
متن کاملAnatomical Information Science
The Foundational Model of Anatomy (FMA) is a map of the human body. Like maps of other sorts – including the map-like representations we find in familiar anatomical atlases – it is a representation of a certain portion of spatial reality as it exists at a certain (idealized) instant of time. But unlike other maps, the FMA comes in the form of a sophisticated ontology of its objectdomain, compri...
متن کاملTowards a First-Order Modal Formalisation of the Unified Foundational Ontology
In this paper, we present a succinct formalisation of the main categories of the Unified Foundational Ontology (UFO) by summarising and simplifying a fragment of the version of [Gui05]. In this version, we show that the use first-order modal logic with no higher-order constructs suffices for many modelling tasks. We focus here on the case of universals. We slightly modify the original version o...
متن کامل