When a dictionary tells you that a bachelor is an unmarried man, it fixes the meaning of a word. But when a chemist tells you that water is H₂O, something deeper is happening. The chemist isn't explaining English vocabulary—she's telling you what water really is.

This distinction between nominal definition and real definition is one of the oldest in philosophy, stretching back to Aristotle. Yet it remains one of the most consequential. It separates the project of lexicography from the project of metaphysics—the study of how language works from the study of how reality is structured.

The question at stake is deceptively simple: can a definition do more than clarify a term? Can it reveal the nature of a thing? If so, what exactly does such a definition capture, and how do we discover it? These questions sit at the intersection of metaphysics, philosophy of science, and philosophical logic—and getting them right reshapes how we understand explanation, essence, and the structure of kinds.

The word definition is dangerously ambiguous. In its most familiar sense, a definition is a semantic specification: it tells you what a word means, typically by providing a synonym or an analytic equivalence. To define triangle as a three-sided closed plane figure is to fix a linguistic convention. This is nominal definition—it concerns names and their meanings.

Real definition aims at something entirely different. A real definition of a kind does not explain what the word for that kind means. It states what it is to be a thing of that kind. When we say that water is H₂O, we are not reporting a fact about the English word water. We are reporting a fact about the substance itself—about the metaphysical constitution that makes water the kind of thing it is.

The distinction matters because nominal and real definitions have different truth-makers, different methods of discovery, and different philosophical consequences. A nominal definition is answerable to linguistic usage: it succeeds if it accurately captures how competent speakers deploy the term. A real definition is answerable to the nature of the thing: it succeeds if it correctly identifies the features that constitute the kind. You can get a nominal definition right while knowing almost nothing about metaphysics. Real definition requires investigating reality itself.

One crucial asymmetry emerges here. Nominal definitions are, in a sense, stipulated—they depend on conventions we've adopted. Real definitions are discovered—they depend on structures that obtain independently of how we talk. Only real definitions carry genuine metaphysical import, because only real definitions tell us something about the world's own architecture rather than our linguistic overlay upon it.

Takeaway

When someone offers a definition, ask whether they're explaining a word or explaining a thing. The difference determines whether the definition is a fact about language or a fact about reality.

If real definitions tell us what kinds of things really are, then they must be tracking something metaphysically robust. The classical answer, refined across centuries from Aristotle through contemporary analytic metaphysics, is that real definitions state essences. The essence of a kind is the feature or cluster of features that all members of the kind necessarily share and that makes them the kind of thing they are.

Consider the distinction carefully. A thing can have many necessary properties without all of them being essential. Every triangle necessarily has interior angles summing to 180 degrees, and every triangle necessarily has fewer than a million sides. Both are necessary truths about triangles. But only the first is plausibly part of the essence of triangularity. The essence is what explains the other necessary features—it is metaphysically prior, not merely universally true.

This is where Kit Fine's influential analysis proves illuminating. Fine argued that essence is more fundamental than necessity. Not every necessary truth about a thing reveals its nature. Socrates is necessarily a member of the set {Socrates}, but being a member of that set is not part of Socrates' essence—it tells us something about the set, not about Socrates. Essence involves a tighter, constitutive relation: the essential features of a kind are those that figure in what it is to be that kind.

A real definition, then, is the linguistic expression of an essence. To give the real definition of a natural kind like gold is to state the essential features—those features that constitute gold's nature, that ground its other properties, and that any adequate metaphysical account of gold must invoke. The definition isn't just a helpful label. It is a window into the constitutive structure of reality.

Takeaway

Not every necessary truth about a kind reveals its nature. Essence is what constitutes a kind—what makes it the thing it is—and real definition is the attempt to articulate that constitutive core.

If real definitions state essences, and essences are features of reality rather than language, then we should expect real definitions to be discovered through investigation. This is precisely what happens in mature sciences. When chemistry identifies water as H₂O, or physics identifies gold as the element with atomic number 79, these identifications are not linguistic stipulations. They are hard-won discoveries about the constitutive nature of natural kinds.

Saul Kripke and Hilary Putnam made this point vivid with their analyses of natural kind terms. Water, as used by ordinary speakers, refers to a substance picked out initially by its superficial properties—it's the clear, potable liquid that fills lakes and falls as rain. But the real definition of water—what water fundamentally is—turns out to be something only chemistry can reveal. Before the molecular theory, speakers used the word water competently without knowing its real definition. The nominal grasp was there; the metaphysical grasp was not.

This reveals something philosophically striking: there can be a gap between knowing what a word means and knowing what the thing is. Competent English speakers in 1700 knew the nominal definition of water perfectly well. They did not know its real definition. The real definition waited on empirical investigation—on discovering the hidden structure that explains the observable properties. Science, in this picture, is partly in the business of uncovering real definitions.

But not all kinds yield to scientific investigation in the same way. Biological species, social kinds, and mathematical structures raise distinctive puzzles about whether they have essences at all, and if so, what form those essences take. The framework of real definition doesn't presuppose that every kind has a neat molecular formula. It presupposes only that some kinds have constitutive natures—and that stating those natures is a different enterprise from explaining vocabulary.

Takeaway

Science doesn't just describe regularities—it uncovers what kinds of things really are. The discovery that water is H₂O is not a linguistic finding but a metaphysical one, revealing the constitutive structure that nominal definition alone could never access.

The distinction between nominal and real definition is not a philosophical technicality. It marks the boundary between two fundamentally different activities: explaining how we talk and explaining how things are.

Real definitions, understood as statements of essence, carry the weight of metaphysical inquiry. They tell us what constitutes a kind—what makes it the kind of thing it is, prior to and independent of our names for it. Science discovers such definitions; philosophy clarifies what they achieve.

Next time you encounter a definition, pause and ask: is this about the word or about the world? The answer determines whether you're doing lexicography or metaphysics—and only one of those projects reveals the fundamental structure of reality.