What Is Ontology? The Study of What Exists

Direct Answer

Ontology is the study of what exists — the inventory of reality. Where metaphysics studies reality's most general features (being, change, time, causation), ontology focuses on existence and its kinds: what things there are, how they are grouped into categories, and what it takes for something to count as real. Ontologists ask whether numbers exist, whether properties are real, whether there are possible worlds, and whether the objects of everyday life are the true furniture of the universe or mere appearances.

The discipline has a double life. In philosophy, it is the inquiry into being that began with Aristotle. In computer science, "ontology" has become a technical term for the formal specification of concepts and relations — the machine-readable taxonomies of knowledge. The connection is not accidental: both projects try to say what kinds of things there are and how they fit together.

Historical Context

Aristotle founded ontology as "first philosophy": the science of being as being. His Categories is the first systematic ontology — an inventory of the highest kinds of predicate (substance, quantity, quality, relation, place, time, and so on) that tell us in how many ways things can be. Medieval philosophy refined the discipline around the distinction between essence and existence and the reality of universals — whether "humanity" exists apart from individual humans.

Modern philosophy both continued and challenged the project. Descartes's ontology had two fundamental kinds — mind and body; Leibniz's had monads; Kant's critical philosophy denied that we can know things in themselves, turning ontology into an analysis of the categories of experience. The twentieth century saw two great renewals: Husserl's phenomenology, which described the structures of experience as a "material ontology," and Heidegger's Being and Time, which argued that ontology had forgotten the question of being itself and must begin from the analysis of human existence — Dasein.

Key Concepts

Categories. The highest kinds of being; Aristotle's list of the ways things can be said to be.

Ontology vs. metaphysics. Ontology asks what exists; metaphysics asks about the most general structure and principles of reality. In practice they overlap, and many use the terms interchangeably.

Universals and particulars. The problem of whether general properties (redness, humanity) exist independently of the particular things that have them — the medieval debate over universals.

Existence. The basic predicate or fact that ontology is about; whether existence is a property is itself a question in ontology.

Material vs. formal ontology (Husserl). Formal ontology studies the structures common to all domains; material ontologies study the essential structures of specific domains, such as consciousness, nature, or society.

Philosophical Perspectives

The great divides in ontology are perennial. Realists about universals hold that properties like redness exist independently of their instances; nominalists hold that only particular things exist and "redness" is a name we give to similarities. Platonists hold that abstract objects — numbers, propositions, sets — exist; nominalists deny it. Modal realists like David Lewis hold that possible worlds exist as concretely as the actual one; modal anti-realists treat "possible" as a feature of language or representation.

Phenomenological ontology, following Husserl, changes the method: instead of theorizing about what exists, bracket the question of existence and describe what is given in experience. The result is a "material ontology" of consciousness — its acts, their structures, and the world as it appears. Heidegger radicalized this: the fundamental ontology is the analysis of Dasein, because the question of being can only be raised by a being for whom being is an issue.

Formal ontology now thrives in logic and computer science: knowledge representation, semantic networks, and the ontologies of the web specify categories and relations so that machines can reason about domains. The philosophical questions return even here: are the categories we encode real divisions of nature, or artifacts of our purposes?

Modern Reflection

Ontology is undergoing a revival. Analytic philosophers build formal ontologies of time, causation, and social reality; the "ontology of groups" asks whether institutions exist; the metaphysics of science asks what the entities of physics — fields, particles, spacetime — commit us to. Meanwhile, the new field of "applied ontology" designs the category systems used in medicine, finance, and artificial intelligence, where the practical stakes of "what exists" are measured in interoperability and correctness.

The deepest lesson of the discipline is that "what exists" is not a simple question. Every science and every practice commits itself to entities — genes, quarks, debts, rights — and ontology is the discipline that asks whether those commitments are justified and how they fit together. In that sense, ontology is not a museum of medieval puzzles but the most fundamental critical science we have: the systematic audit of what we take to be real.

Related Thinkers

• Aristotle — categories and first philosophy
• Edmund Husserl — phenomenology and material ontology
• Martin Heidegger — the question of being
• Bertrand Russell — logic and the analysis of existence

Related Quotes

• "There is a science which investigates being as being, and the attributes which belong to it in virtue of its own nature." — Aristotle, Metaphysics
• "Ontology is the science of the essential structures of being, discovered through the things themselves." — paraphrase of Edmund Husserl
• "Every philosophy is ontology in disguise: it commits you to what there is." — paraphrase of Martin Heidegger

Sources

• Logic and Ontology — Stanford Encyclopedia of Philosophy
• Metaphysics — Stanford Encyclopedia of Philosophy
• Existence — Stanford Encyclopedia of Philosophy
• Edmund Husserl — Stanford Encyclopedia of Philosophy

Further Learning

• Continue with What Is Metaphysics? and What Is Being?
• Read Being and Time in the book library
• Explore the Understanding Reality collection