Ontology

Ontology is the branch of Philosophy concerned with the most general features of what exists — with being, becoming, existence, and the categories into which things fall. It asks: what kinds of things are there? What does it mean for something to exist? Are the divisions we draw between things in the world real divisions, or are they artifacts of how we observe and describe?

The word comes from the Greek ontos (being) and logos (study). It is sometimes distinguished from metaphysics, which is broader — but the distinction is contested, and in practice ontology and metaphysics are treated as coextensive by most contemporary philosophers.

The Classical Oppositions

Ontology has been organized, throughout its history, around a series of apparent binary oppositions. Each opposition seemed fundamental until it was examined closely enough:

Substance and Process

The oldest ontological debate is whether reality is fundamentally composed of substances — enduring things with properties — or processes — events and changes that things are abstractions from. Aristotle argued for substances: a tree is a thing that persists through change, and its changes are accidental rather than essential. Heraclitus argued for process: you cannot step into the same river twice, because the river is the flowing, not the water.

The twentieth century substantially complicated this picture. Quantum Mechanics describes the fundamental constituents of matter not as enduring particles with definite positions and momenta, but as probability distributions that only resolve into definite values upon measurement. The particle — the archetypal substance — turns out to be a pattern of potential interactions. Alfred North Whitehead built an entire ontology (process philosophy) on this insight: what we call things are stable patterns in a underlying flux of processes, not the other way around.

The substance-process opposition now looks less like a fundamental dichotomy and more like a question about which level of description is the most useful for a given purpose. At everyday timescales and energies, substance-talk is indispensable. At quantum timescales, process-talk is more accurate. The opposition is not between two irreconcilable pictures of reality; it is between two useful idealizations valid at different scales.

Particular and Universal

Does the redness of a red apple exist independently of particular red things, or only in them? Plato argued that universals — forms like Redness, Justice, Beauty — exist in a realm separate from particular instances. Aristotle argued that universals exist only in particulars; Redness is real, but it is not a thing alongside red things, it is a feature of them.

Nominalism goes further: universals are just names. What we call Redness is a label we apply to experiences that resemble each other; the resemblance is real, but Redness as a third entity, over and above the red things, is a grammatical illusion.

Contemporary Cognitive science and philosophy of language have made this debate harder by showing that the categories we use are not sharp. Prototype theory (Eleanor Rosch, 1970s) found that category membership is graded rather than all-or-nothing: a robin is a better bird than a penguin, but both are birds. If categories have fuzzy boundaries and graded membership, the question does Redness exist? is less well-posed than it appears.

Being and Becoming

Parmenides argued that change is impossible: to become something, you must currently not-be it, but non-being cannot be. Reality is a static, undivided whole; change is an illusion of perception. Heraclitus argued the opposite: only change is real; stability is the illusion.

Contemporary dynamical systems theory offers a way to dissolve this opposition rather than adjudicate it. A phase transition — water freezing to ice — involves genuine change in state while conserving the underlying substance. The laws governing the system remain constant (becoming is lawful); the states the system occupies change (there is genuine becoming); and certain properties of the system remain stable across the transition (there is genuine being). Being and becoming are not opposites; they are different aspects of the same dynamical picture.

Formal Ontology and Knowledge Representation

In computer science and artificial intelligence, ontology has acquired a second, more technical meaning: a formal specification of the entities, relations, and constraints in a domain. An ontology in this sense is a structured vocabulary — a set of classes (is-a hierarchies), properties, and axioms — that allows machines to reason about a domain without ambiguity.

Formal ontologies (ontology engineering) are foundational to the Semantic Web, to medical knowledge bases (the Gene Ontology, SNOMED CT), and to question-answering systems. They are also sites of genuine philosophical difficulty: every formal ontology encodes substantive choices about what kinds of things exist in the domain, and those choices are rarely made explicit or justified.

The gene ontology, for example, treats genes as discrete objects with functions. This was a workable representation for classical genetics. As molecular biology has revealed the complexity of gene regulation — alternative splicing, epigenetic modification, non-coding RNA involvement, context-dependence of expression — the discrete-object representation has become a source of systematic misrepresentation. The formal ontology froze a provisional understanding of what genes are; the understanding moved on; the ontology resists revision because too many databases depend on it.

This is the practical face of the ancient ontological problem: our representations of what exists have consequences, and getting them wrong has costs we inherit.

Ontological Commitment

The philosopher W.V.O. Quine introduced the concept of ontological commitment: to assert a sentence is to commit yourself to the existence of whatever entities are required to make the sentence true. If you say there are numbers, you are committed to the existence of numbers. If you say there is a perfect solution to this problem, you are committed to the existence of solutions as abstract objects.

This apparently technical point has practical implications. Every theory — every formal model, every scientific framework — carries ontological commitments that may not be made explicit. Network theory is committed to the existence of nodes and edges as the fundamental constituents of relational systems. Classical economics is committed to the existence of utility functions and rational agents. These commitments can be invisible because they are encoded in the mathematics, not stated in the prose.

Making ontological commitments explicit is valuable because it allows them to be challenged — and challenged not just empirically but conceptually. The question is not only does the data fit the model? but does the model carve reality at its joints? These are different questions with different methods.

The Ontology of Identity

The deepest challenge for any ontology is the question of identity over time. If a thing changes its parts (the Ship of Theseus), is it the same thing? If a person's body is replaced atom by atom over decades, and their beliefs and memories change substantially, are they the same person?

These puzzles are not merely philosophical diversions. They have practical stakes in personal identity across time (for questions of moral responsibility and legal continuity), in the individuation of species and populations (for evolutionary biology and conservation law), and in the identity of institutions (for legal personhood and accountability).

The patterns that emerge from these puzzles suggest a consistent answer: strict identity over time is not the right concept. What we care about, in practice, is not sameness but various forms of continuity — continuity of information, of function, of relation, of legal status — and these continuities can come apart. A person who is legally continuous with someone who committed a crime twenty years ago may have no psychological continuity with them. Resolving such cases requires deciding which continuity matters for the purpose at hand.

The dichotomy same or different is almost always a false one. What is always at stake is: same for what purpose?