A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.
Ontological categories are the highest-level kinds into which all existing things fall — traditional candidates include substances, properties, relations, events, facts, and numbers. The project of categorization asks which distinctions are fundamental versus merely conventional, and whether the category scheme is jointly exhaustive and mutually exclusive. Aristotle proposed ten categories; contemporary ontologists debate whether events, tropes, or facts deserve irreducible status alongside objects. Getting the categories right matters because it shapes every downstream metaphysical question.
Work through Aristotle's Categories alongside a commentary, then compare with a modern treatment such as Lowe's The Four-Category Ontology. Practice by trying to classify edge cases: Is a musical performance a substance, an event, or both?
If you've worked through what metaphysics is, you know that metaphysics asks about the fundamental structure of reality. Ontological categories are the answer to the most foundational version of that question: *What are the highest-level kinds of things that exist?* Just as biology has a kingdom-phylum-class hierarchy for living things, ontology attempts a similar hierarchy for *everything* — and the top level of that hierarchy is what we mean by ontological categories.
Aristotle gave the first systematic answer: substances (individual things like Socrates or this rock), quantities, qualities, relations, places, times, positions, states, actions, and affections — ten categories in all. The core intuition behind his list was that these represent genuinely different ways of *being*. Socrates exists differently than the whiteness of Socrates' robe, which exists differently than the relation of being-taller-than. Modern ontologists have trimmed and revised this list considerably, but the underlying question remains the same.
The main philosophical work in this area is determining *criteria* for a genuine ontological category. The key criterion is irreducibility: a category earns its place if the things in it cannot be fully analyzed in terms of things in the other categories. Events are the clearest contemporary example of the debate. When a collision occurs, is that just two substances interacting, or is the collision itself a genuine entity with its own causal powers and identity conditions? If you can say everything true about the collision just by describing the substances and their properties, events are not a separate category. If something is left out, they are.
Notice that ontological categories are *not* linguistic or grammatical categories. English treats "redness," "running," and "resemblance" all as nouns, but they are candidates for three different ontological categories (property, event, relation). Ontology tries to cut more deeply than grammar. This is why philosophers test category claims with puzzle cases — things that strain the boundaries of a scheme reveal where the scheme succeeds or fails. A musical performance, for instance, is an individual, but it is also in some sense a type (Beethoven's Fifth), and also an event. Forcing it into a single category exposes the joints and tensions in any proposed system.
Finally, keep in mind that theoretical virtues constrain the answer. More categories give you more expressive power but at a cost in simplicity and parsimony. Fewer categories give you elegance but may require awkward reductions. The best ontological scheme is the one that best balances adequacy to the facts about what exists with theoretical economy — and figuring out what that balance looks like is a central project of contemporary analytic metaphysics.
Topics in reflective domains aren't scored by quiz answers. Read, reflect, and mark when you've thought it through.