What does it mean for something to be essentially what it is? For much of the twentieth century, philosophers answered this question through the lens of modal logic: an essential property is one a thing must have in every possible world where it exists. Essence, on this view, was simply a species of necessity—convenient shorthand for de re modal claims.

Then, in 1994, Kit Fine published a deceptively simple paper that overturned this orthodoxy. Essence and Modality argued that the modalist reduction had the order of explanation precisely backwards. Essence, Fine contended, is not a kind of necessity; rather, necessity flows from essence.

This reversal is not merely terminological. It transforms how we understand what objects are, restructures the relationship between metaphysics and modal logic, and offers a more discriminating instrument for analyzing the nature of things. To see why, we must follow Fine's argument carefully—beginning with a curious case involving Socrates and a set.

The standard modalist account holds that F is essential to x just in case, necessarily, if x exists, then x is F. This biconditional was treated as a definition: essence reduces to de re necessity, and the metaphysical work is done by possible-worlds semantics.

Fine's counterexample is elegant. Consider Socrates and his singleton set, {Socrates}. By the standard set-theoretic principles, necessarily, if Socrates exists, then {Socrates} exists, and necessarily Socrates is a member of {Socrates}. So by the modal criterion, being a member of {Socrates} is essential to Socrates.

But this conclusion is intuitively absurd. Socrates is a philosopher, a teacher, an embodied human being. Whatever Socrates essentially is, it has nothing to do with an abstract set-theoretic construction that depends on him. The dependence runs from set to philosopher, not the reverse.

The modalist account cannot capture this asymmetry because necessity is symmetric in a way essence is not. Whenever x necessarily exists alongside y, modal facts treat them on a par. Essence, by contrast, distinguishes what is constitutive of a thing from what is merely necessarily true of it.

Takeaway

Necessity is too coarse-grained to capture what a thing is. Two truths can be equally necessary while being radically unequal in their relevance to an object's nature.

If essence is not modal, what is it? Fine's positive proposal draws on a tradition stretching back to Aristotle: essence is what belongs to the definition or real nature of a thing. To say F is essential to x is to say that F figures in the answer to the question, what is x?

This conception is finer-grained than the modal one. The definition of Socrates—whatever it includes—says nothing about singletons or sets. It concerns what kind of being he is, what makes him the entity he is rather than something else. Sets enter the picture only because of facts about Socrates, not facts constitutive of him.

Fine introduces a sentential operator, written ☐_xφ, read as it is true in virtue of the nature of x that φ. This operator is hyperintensional: it discriminates between necessarily co-extensive properties when those properties differ in their definitional relevance to x.

The shift to definitional essence recovers the asymmetries the modal account flattens. {Socrates} is essentially such that it contains Socrates—membership of Socrates belongs to its definition. But Socrates is not essentially a member of {Socrates}, because nothing about sets enters into what Socrates is.

Takeaway

Essence answers the question what is it?, not what could not fail to be true of it? The first cuts to the constitutive core; the second merely tracks modal shadows.

Once essence is taken as primitive, we can reverse the explanatory direction and define necessity in terms of essential truths. A proposition is metaphysically necessary, on Fine's account, just in case it is true in virtue of the nature of some entity or collection of entities.

This generates a richer modal landscape. Logical necessity flows from the nature of logical objects; mathematical necessity from the nature of mathematical structures; conceptual necessity from the nature of concepts; metaphysical necessity from the natures of entities generally. Each species of necessity has its grounding in some domain of essences.

The hyperintensionality of essence brings additional structure that pure modal logic lacks. We can now formulate questions that the modal framework could not even pose: which necessities are explanatorily basic? Which propositions are necessitated by an essence without being part of that essence?

This framework has reshaped contemporary metaphysics. Debates about grounding, ontological dependence, and fundamentality increasingly deploy essentialist rather than purely modal vocabulary. Where modalism offered a flat plane of possible worlds, the essentialist picture reveals a structured architecture of natures, dependencies, and definitional relationships.

Takeaway

Modality is not the bedrock of metaphysics—it is downstream of essence. The deepest modal facts are echoes of what things definitionally are.

Fine's reversal is more than a technical maneuver. It restores to metaphysics a vocabulary—definition, nature, real essence—that modal reductionism had rendered superfluous. In doing so, it reconnects contemporary analytic philosophy with questions that animated Aristotle, Aquinas, and Locke.

The methodological payoff is substantial. Hyperintensional tools allow us to articulate distinctions the modal framework collapses: between what something is and what merely follows from it, between constitutive and consequential properties, between grounding and necessitation.

What emerges is a metaphysics with genuine architecture. Reality, on this view, is not a uniform space of necessities but a structured domain in which natures explain modal facts—where the question what is this? retains its ancient priority over the question what could not fail to be true of it?