Abstract

Some formal ontological relations are identified, in the context of an account of ontological categorization. It is argued that neither formal ontological relations nor ontological categories should themselves be regarded as elements of being, but that this does not undermine the claim of formal ontology to be a purely objective science. It is also argued that some formal ontological relations, like some ontological categories, are more basic than others. A four‐category ontology is proposed, in which two basic categories of universals and two basic categories of particulars are distinguished in terms of certain formal ontological relations characteristically obtaining between entities belonging to the different categories.