Loading field map
Ontology is the branch of metaphysics that studies what exists: it asks what kinds of things there are, what it means for something to exist, and how the things that exist are structured or related. The term comes from the Greek ontos ("being") and logos ("study" or "account"), and it is sometimes rendered as "the science of being." While metaphysics more broadly investigates the nature of reality—including time, causation, possibility, and mind—ontology narrows its focus to existence and categories of entities. In practice, the boundary is porous: almost any metaphysical question can be reframed as an ontological one, and many ontological arguments depend on broader metaphysical assumptions.
The central questions of ontology can be grouped into a few enduring clusters. One cluster concerns categories: what are the most general kinds of things? Do reality's fundamental building blocks include objects, properties, events, facts, numbers, or possibilities? Are some categories reducible to others, or is there an irreducible plurality of kinds? A second cluster concerns existence itself: is existence a property that things have, or is it simply the condition for anything to be talked about at all? Do some things exist in a stronger sense than others—for example, do abstract objects exist "less" than concrete ones? A third cluster concerns structure: do the things that exist form a hierarchy of dependence, with some entities more fundamental than others? Does a whole depend on its parts, or do parts depend on the wholes they constitute?
These questions carry real stakes. Ontological commitments—what a theory says exists—determine what counts as real in science, mathematics, ethics, and ordinary life. A physicist committed to fields but not to particles, a mathematician who believes numbers exist independently of minds, and a legal theorist who thinks rights are real but not physical are all making ontological claims. Ontology also supplies the vocabulary for evaluating rival theories: if two scientific theories explain the same data equally well, one reason to prefer one may be that it posits fewer or more natural kinds of entities.
The term "ontology" was coined in the early seventeenth century, but the field's questions are much older. Ancient Greek philosophers asked whether reality is ultimately one thing or many, whether change is real, and whether universals—like redness or justice—exist independently of the particular things that instantiate them. Plato argued that Forms, perfect and unchanging entities, are more real than ordinary physical objects, which merely participate in them. Aristotle rejected this: he held that the primary beings are individual substances—particular horses, humans, and stones—and that properties and kinds exist only as features of those substances. He also produced the first systematic list of categories, distinguishing substance from quantity, quality, relation, place, time, and several others. Aristotle's categories remained the default framework for over a millennium, though medieval philosophers disagreed sharply about whether universals are real entities, mere names, or concepts in the mind.
Early modern philosophy reshaped ontology around the mind and the physical world. René Descartes divided reality into two fundamental kinds: thinking substances (minds) and extended substances (bodies). This dualism raised a problem that still animates ontology: how do two radically different kinds of things interact? Baruch Spinoza answered that there is only one substance, which he called God or Nature, with thought and extension as two of its attributes. Gottfried Wilhelm Leibniz defended a pluralism of simple, immaterial substances called monads. These systems were ontological in content even before the label was standard.
The term "ontology" itself entered philosophy through early modern textbooks, and it acquired a stricter meaning in the eighteenth century. Christian Wolff, a systematizer of Leibniz's philosophy, distinguished ontology—the study of being in general—from the special sciences that study particular kinds of beings. Immanuel Kant criticized this project, arguing that we cannot know things as they are in themselves and that "existence" is not a real predicate, meaning it does not add a feature to the concept of a thing. Kant's critique did not end ontology, but it made philosophers self-conscious about whether ontology describes reality or merely reflects the structure of our thought and language.
The twentieth century brought two major transformations. First, the development of formal logic gave philosophers a precise tool for representing existence claims. The quantifier "there exists" could now be studied formally, and ontology became linked to the question of what our best theories are committed to. Second, philosophers increasingly treated ontological questions as inseparable from the language we use to pose them. The result was a field that moves between technical logic, ordinary language, and the sciences, without a single agreed method.
Contemporary ontology is not organized into a small set of rival schools. Instead, it is best understood as a field of overlapping research programmes, each addressing different problems with different tools. Four approaches have been especially influential.
Willard Van Orman Quine proposed that the question "what exists?" is answered by examining our best scientific theories. His method was disarmingly simple: translate a theory into the language of first-order logic, look at what the theory says there is, and read off its ontological commitments from the bound variables it quantifies over. To say "there are electrons" is to commit to electrons; to say "there are no unicorns" is to deny them. Quine called this project "meta-ontology," because it specifies what an ontological question is and how to answer it, rather than answering it directly.
Quine's approach was deliberately naturalistic: philosophy is continuous with science, and ontological questions are settled by deciding which theory best explains experience. He also accepted an ontology of abstract objects, because mathematics quantifies over numbers and sets. His criterion of commitment—"to be is to be the value of a variable"—became a slogan and made ontology respectable again after decades of anti-metaphysical suspicion.
The chief limitation of Quine's method is that it makes ontological questions hostage to translation. Different but equally good ways of formalizing a theory can yield different commitments, and it is not always clear which formalization is "the" correct one. Critics also questioned whether scientific theories alone should settle ontology, since ethical, aesthetic, and mathematical discourse may also carry commitments.
A second programme revives Aristotle's focus on substance and categories, but with modern tools. Neo-Aristotelians hold that reality is not flat—that some entities are more fundamental than others—and that the task of ontology is to identify the fundamental entities and explain how non-fundamental ones depend on them. They typically defend a layered picture of reality: physical particles are fundamental, tables and chairs are dependent on them, and social objects like money may depend on minds as well.
E. J. Lowe developed this approach around a four-category ontology: individual substances (this particular table), kinds (the species "table"), attributes (the property of being brown), and modes (the particular brownness of this table). He argued that all four categories are irreducible and that different sciences study different levels of the hierarchy. Kit Fine introduced a formal notion of grounding—a relation of non-causal explanation—to articulate the dependence claims that neo-Aristotelians make. To say that a table is grounded in its particles is to say that the table's existence is explained by, and obtains in virtue of, the particles' arrangement.
Neo-Aristotelianism offers a robust vocabulary for talking about layers of reality, but it faces a challenge: the relation of grounding is not as well understood as causation, and critics argue that appeals to grounding can obscure rather than explain. Defenders respond that grounding is a primitive notion we all use when we say that one thing is "nothing over and above" another.
A third programme is more radical. Some philosophers argue that ordinary and scientific language systematically mislead us about what exists, and that ontology should revise our picture rather than describe it. Peter van Inwagen's "compositional pluralism" holds that the only material objects that exist are elementary particles and living organisms; tables, chairs, and mountains do not exist, strictly speaking, because there is no principled answer to when a collection of particles composes a further object. His conclusion is not that we should stop talking about tables, but that such talk is useful fiction.
More extreme still, a "nihilist" about composition holds that no complex objects exist at all—only simple particles arranged in patterns. The revisionary impulse also appears in ontology of time, where some philosophers deny the reality of the past and future, holding that only the present exists (presentism). Revisionary ontologies are motivated by the idea that our ordinary concepts are vague or inconsistent, and that a rigorous ontology must clean them up, even at the cost of contradicting common sense. Their weakness is that they must explain why ordinary talk is so successful if its subject matter does not exist.
The approaches above belong to what is called analytic philosophy, which dominates English-speaking departments. But ontology also developed independently in the continental European tradition, where it was less concerned with formal logic and more with the meaning of being for human existence. Martin Heidegger, the most influential figure here, argued that Western philosophy had forgotten the question of Being itself, focusing instead on particular beings. He proposed that the study of what exists must begin with Dasein—the kind of being that we ourselves are—because our understanding of being shapes every other inquiry. For Heidegger, ontology is not a catalogue of categories but a hermeneutic enterprise: interpreting the conditions under which anything can show up as real.
Heidegger's programme diverges sharply from analytic ontology and has generated more secondary literature than direct continuation. Some philosophers, especially in the tradition of "phenomenology," still practice ontology in a Heideggerian spirit, but the dominant contemporary forms of ontology are analytic. The two traditions rarely engage, which is itself a fact about the field's sociology rather than its logic: both ask about what exists, but they disagree about how to ask and what counts as an answer.
Several specific debates structure the present field. Ontology of material objects asks when and how things compose: does a heap of sand have parts, and if so, does removing one grain destroy the heap? Ontology of properties asks whether properties are universals (shared by many things), tropes (particular to each thing), or mere concepts. Ontology of possible worlds asks whether possibilities are real entities, as modal realists like David Lewis claimed, or whether possible-talk can be paraphrased away. Ontology of abstract objects asks whether numbers, sets, and propositions exist independently of minds, and if so, how we can know about them. Ontology of social reality asks whether money, borders, and institutions exist, and how they relate to physical reality.
A methodological divide runs through these debates. Some ontologists, following Quine, think the task is to identify what our best theories commit us to. Others, following Aristotle, think the task is to describe the fundamental structure of reality, even if it conflicts with our theories. Still others, in a deflationary mood, argue that many ontological disputes are verbal—that two philosophers who disagree about whether tables exist may simply be using the word "exist" differently.
The field has also become increasingly pluralist. Formal ontology, a tradition associated with Edmund Husserl and developed by analytic philosophers like Barry Smith, uses tools from logic and mereology (the study of parts and wholes) to build precise taxonomies of entities. Applied ontology extends this work into information science, medicine, and the semantic web, where computer scientists need explicit lists of categories to make data interoperable. The result is an unusual situation: a branch of philosophy with direct practical applications, where an ontology is often understood to be a file or database schema rather than a philosophical theory.
No single school dominates contemporary ontology, and the field is characterized by productive disagreement. The Quinean programme still supplies the default method for many, but neo-Aristotelians have successfully revived systematic category theory, and revisionary proposals keep the field honest by testing the limits of common sense. Continental ontology remains a separate conversation, and its influence on the analytic mainstream is limited. The present landscape is best described as a set of rival research programmes, each with its own tools and standards, occasionally converging on shared problems but rarely reaching shared solutions. This is not a sign of crisis; it reflects the difficulty of the questions and the fact that ontological debates often turn on subtle judgments about what a good explanation requires.