Consider a smile and the face that wears it. The smile cannot drift free of its bearer, hovering independently in the air. It exists, but only derivatively—only in virtue of something more basic. This asymmetry, captured in the phrase 'in virtue of,' marks one of metaphysics' most generative concepts: dependence.

Dependence relations do more than describe correlations between entities. They impose structure on reality itself, sorting the derivative from the basic, the grounded from the grounding. A set depends on its members in a way its members do not depend on it. A hole depends on its host. A trope depends on its bearer. These are not symmetric relations—they carve reality at its joints.

Yet the notion of dependence is not univocal. It fragments into distinct varieties—existential, essential, identity-based—each tracking a different metaphysical asymmetry. Mapping these varieties reveals the architecture of ontological priority and clarifies what it might mean for something to exist fundamentally.

The most familiar form of dependence concerns existence: x existentially depends on y just in case x cannot exist without y. But this initial gloss conceals a critical distinction. We must separate rigid from generic dependence, since these track quite different metaphysical structures.

A singleton set {Socrates} rigidly depends on Socrates himself. Necessarily, if {Socrates} exists, Socrates exists. No surrogate will do—not Plato, not a duplicate, not a counterpart. The dependence locks onto that specific individual. Mathematically, sets are paradigm cases: the identity of a set is fixed by its members, so removing or substituting them annihilates the set.

Generic dependence operates differently. An organism depends on having some cells, but not on any particular cell. A symphony performance depends on there being instruments, but not on these instruments. The dependent entity requires something satisfying a kind, without requiring any specific instance. Many functional entities—heaps, crowds, ecosystems—exhibit this looser, more permissive structure.

The distinction matters because it generates different modal profiles. Rigid dependents inherit the modal fates of their dependees: {Socrates} exists in exactly those worlds where Socrates does. Generic dependents enjoy more modal flexibility, existing across worlds where their kind-requirements are differently satisfied.

Takeaway

Dependence is not one relation but many. The difference between needing this thing and needing something of this kind reshapes what's possible for the dependent entity.

Existential dependence, even in its rigid form, may be too weak to capture what we want. Consider that Socrates necessarily coexists with the singleton {Socrates}—wherever one is, so is the other. By purely modal criteria, each existentially depends on the other. But intuitively, Socrates does not depend on {Socrates}; rather, the set depends on the man.

This asymmetry, invisible to modal logic alone, suggests a stronger notion: essential dependence. Here x depends on y just in case y figures in x's essence—in what it is to be x. The essence of {Socrates} involves Socrates; Socrates' essence involves no sets at all. Kit Fine's restoration of essence as a primitive, distinct from de re modality, makes this distinction available.

Essential dependence is hyperintensional. Two entities can be modally inseparable yet stand in radically asymmetric essential relations. The notion captures the directional, explanatory character of dependence that mere coexistence cannot. It tells us not just what must accompany what, but what is metaphysically prior in the order of being.

This stronger notion does substantive philosophical work. It explains why we feel the singleton depends on its member rather than vice versa, why a trope depends on its bearer, why facts depend on their constituents. Essence-talk reintroduces a directionality that purely modal vocabulary cannot articulate.

Takeaway

Two things may necessarily coexist while one is metaphysically prior to the other. Modal entanglement is not the same as ontological priority.

Dependence relations, taken together, induce a partial ordering on reality. Some entities depend on others; those others may depend on still further entities. The relation is asymmetric and transitive, generating chains of priority that descend through layers of derived being.

A natural question arises: do these chains terminate? Are there fundamental entities—items that depend on nothing further, that exist absolutely in their own right? Foundationalist metaphysics answers yes. Reality has a basement floor of independent entities, and everything else is built up from there via various dependence relations.

Alternatives exist. Coherentists envision dependence cycles, where entities mutually support one another without any ultimate ground. Infinitists allow descending chains without end, an infinite hierarchy of derivative beings. Each option carries distinctive costs: foundationalism owes us an account of the fundamental; coherentism strains intuitions about asymmetry; infinitism risks making everything derivative of nothing.

Whichever picture we accept, dependence functions as the structural backbone. It is what makes ontological hierarchy a substantive notion rather than mere taxonomy. To ask what is fundamental is to ask where dependence chains terminate—or whether they terminate at all.

Takeaway

Fundamentality is not a property a thing has on its own; it is a position in a structure. To be fundamental is to be a terminus of dependence.

Dependence is not a single relation but a family of structural relations that organize what exists. Rigid and generic existential dependence carve the modal landscape; essential dependence introduces the hyperintensional asymmetries that modality alone misses.

Together, these relations make ontological hierarchy intelligible. They explain why some entities seem derivative, why others seem basic, and why metaphysics has long sought a fundamental level beneath the appearances.

Whether reality bottoms out, loops back, or descends forever, the vocabulary of dependence is what lets us pose the question precisely. The architecture of being is built from these silent, asymmetric ligatures.