Ontology investigates what exists and the fundamental categories of being. It asks not just what things exist, but what it means for something to exist and what basic categories we use to classify existing things. This is the most fundamental inquiry into reality's nature and structure.
From your study of metaphysics, you know that metaphysics investigates the most general features of reality—what there is, what it is like, and why it is the way it is rather than some other way. Ontology is the branch of metaphysics that takes up the most foundational question: what exists? But even this question has layers. There is a first-order question: do numbers exist? Do properties exist? Do fictional characters exist? Do the past and future exist? And there is a second-order question that is philosophically prior: what does it even mean for something to exist? What are we asking when we ask "does X exist?" These two levels of inquiry—the categorical and the methodological—together constitute ontology.
The ancient formulation of the problem comes from Parmenides and his paradox: to speak of what does not exist, you must speak of something, but then it exists. This puzzle drove much subsequent work. Aristotle organized it by distinguishing substance (the primary category of what exists independently) from the many other categories that depend on substance—qualities, quantities, relations, times, places. A horse exists as a substance; its color exists as a quality of the horse; its being-to-the-left-of-the-barn exists as a relation. The categories carve up the space of being, giving us tools for classifying what there is. Medieval philosophers debated the problem of universals: do properties like "redness" or "humanness" exist as real entities over and above particular red things and particular humans? Realists said yes; nominalists said no, only individuals exist and universals are names or concepts.
W.V.O. Quine gave the modern discussion its sharpest formulation. His criterion of ontological commitment: to be is to be the value of a bound variable. What exists, according to Quine, is whatever your best theory of the world must quantify over—whatever must be in the domain of your existential quantifier (∃) for your theory to be true. If your best scientific theory says "there exists an x such that x is an electron," then electrons exist. If it also says "there exists an x such that x is the number two," you are committed to numbers existing. This approach makes ontology continuous with science rather than a separate speculative inquiry—but it also raises deep questions about which theory is "best" and how to interpret the theory's quantifiers.
Contemporary ontology grapples with disputes about which entities deserve a place in our fundamental inventory: abstract objects (numbers, propositions, universals), possible worlds, fictional characters, tropes (particular property instances rather than shared universals), mereological sums (any collection of things as a single entity), and more. The methodology matters as much as the conclusions: quantifier variance theorists argue that "exists" can mean different things in different contexts, making many ontological debates merely verbal. Neo-Aristotelian metaphysics argues that the real question is not what exists but what is fundamental—some things exist but are derived from or grounded in other things. Ontology done well requires distinguishing what our language seems to commit us to, what our best theories actually require, and which of those requirements reflect genuine features of reality.
Topics in reflective domains aren't scored by quiz answers. Read, reflect, and mark when you've thought it through.