Ontological Dependence

The Philosophical Problem of Dependence

The existence of an entity and the conditions upon which that existence rests are separate questions. A color is instantiated by something colored; a particular event belongs to a history involving participants; a set is identified through its members; a social institution persists through coordinated practices and rules. Each example invites the judgment that a purported entity is intelligible only by reference to further entities. Yet the reference has different force in each case. Some relations concern what must coexist with the dependent entity, others concern what it owes its identity to, and still others concern the explanatory basis of its obtaining. The philosophical task is to determine what each dependence claim commits us to, and why.

Ontological dependence investigates these commitments at the level of being. It asks whether the absence of a purported basis makes existence impossible, whether a dependent thing's identity is fixed through another, whether one entity figures in the real definition of another, and whether any dependence can survive a change in the bearer or realization of the relevant property. It also asks whether the connections are objective features of reality or features of the theories by which a domain is represented. The answer may vary among kinds of dependence without reducing the inquiry to an exchange of ambiguous phrases.

A useful test case is a singleton set. Under standard assumptions of set theory, {Socrates} is determined by its unique member. If Socrates exists in a possible situation in which the singleton exists, modal equivalence can run in both directions. That equivalence is poor evidence that Socrates owes his nature to the singleton. An adequate theory must preserve what the example discloses: necessary coexistence may coexist with a direction of ontological determination that modal vocabulary alone cannot describe (Fine, 1994, 1995; Tahko, 2025).

A second test case is an organism. The organism requires appropriately organized living material, yet may replace individual cells through its life. Its dependence seems generic relative to a shifting class of constituents, while its identity across time is governed by biological organization and continuity rather than by the numerical identity of each cell. A third test is a novel's fictional character, whose introduction requires an authorial act but whose continued presence in cultural circulation need not require its author's continued existence (Thomasson, 1998). These cases direct us to a theory with multiple dependence predicates and explicit conditions of application.

Definition, Relata, and Scope

Ontological dependence is the family of metaphysical relations by which the existence, identity, nature, or categorical status of one entity requires, is constituted with reference to, or is fixed through other entities, kinds, or structures. This working definition identifies a research program rather than a single reductive formula. To call an entity dependent is to specify a respect in which it depends. A bare statement that x depends on y lacks a determinate metaphysical proposition until the intended respect and modality are supplied.

The relata may be individual objects, kinds, pluralities, properties, states of affairs, structures, events, or facts. Their types matter. A singular particular can depend upon another singular particular; a token may require the presence of some instance of a type; an institution may require a network of human roles and public rules; a proposition may obtain because certain facts obtain. These statements have different logical forms. Confusing them makes the alleged theory of dependence alternately too permissive and too restrictive.

The principal distinctions are between existence and identity, rigid and generic bases, intrinsic essence and relational determination, synchronic dependence and historical origin, and dependence as a worldly relation versus dependence as a condition of intelligibility. A theoretical description may refer to entities upon which the described object does not ontologically depend. Conversely, an entity may depend on something of which ordinary descriptions never speak. Dependence thus requires metaphysical argument, not an inventory of grammatical possessives or scientific vocabulary.

A statement of independence is likewise relative to a specified relation. A substance might be independent of particular accidents while remaining dependent upon God in a theological ontology, or upon constituents in a physical ontology. Absolute independence is a far stronger thesis: no relevant external basis is required in any respect. Distinguishing these theses prevents the term fundamental from being silently substituted for the more modest independent in respect R. The question of ultimate fundamentality belongs in the separate research on Fundamentality and Grounding.

Aristotle: Substances, Subjects, and Priority

Aristotle's Categories gives a classic schema for relations of ontological priority. Its distinction between what is said of a subject and what is in a subject organizes kinds, individuals, and attributes. Primary substances such as an individual human or horse are neither said of nor in a subject (Categories 2, 1a20–2a18). The classification confers a distinctive status upon concrete individuals: other predications and inherences depend in important ways on the subjects to which they belong. A quality such as a particular learned skill or color is understood as existing in some bearer. Aristotle thereby approaches dependence through a structured ontology rather than through a merely universal implication between propositions (Aristotle, Categories, 2 and 5; Corkum, 2008).

The Aristotelian distinction also warns against identifying predication and inherence. To say that a human being is an animal locates an individual within a kind; to say that an individual is pale attributes a quality. Both judgments have subjects, but the mode of ontological attachment is different. Treating all predicative relations as one dependence relation would obscure the difference between the nature of a substance and its accidental condition.

In the Metaphysics, the account becomes more complicated. Aristotle's treatment of substance, form, actuality, and priority examines what makes a being the sort of thing it is, and whether a form can be prior to matter or to a composite in definition, knowledge, or being. Priority can therefore be explanatory, definitional, or existential in ways that must be argued separately. The later vocabulary of generic existential dependence is a reconstruction of aspects of these problems, not a term Aristotle himself employed (Aristotle, Metaphysics, Δ.11, Ζ, Η, and Θ; Peramatzis, 2011).

The significance of Aristotle for the present study lies in the problem of a bearer that can support dependent determinations while remaining one particular. The independence of substances is neither an unrestricted exemption from every relation nor a claim that an organism or person lacks parts. It concerns an order of predication and being in which substances are primary relative to specified kinds of dependent determination. Later metaphysics reformulates this ancient insight through essence, modal possibility, and identity conditions.

Medieval and Early-Modern Orders of Dependence

Medieval debates preserved Aristotelian questions while elaborating the distinction between a substance and its accidents, created being and divine sustaining activity, and essence and existence. In Thomas Aquinas's metaphysics, finite creatures possess existence as received rather than identical with their essences. Within that framework, an account of the dependence of created being reaches beyond the inherence of an accident in a substance. It concerns participation in actuality and the explanatory status of a first cause. The historical lesson is that an object can be comparatively independent relative to its accidents and dependent in a broader metaphysical order (Aquinas, De ente et essentia, chs. 4–6; Summa theologiae, I, q. 44).

Descartes makes the relativity of substance explicit. In Principles of Philosophy I.51, he reserves unrestricted self-sufficiency to God and extends the term substance to created minds and bodies only in a qualified sense. The latter need divine concurrence to exist; they are nevertheless substances relative to their attributes and modes. His account shows that a working theory of dependence must specify its domain of comparison. If one calls a created mind independent and another philosopher calls it dependent, the apparent contradiction may arise from distinct dependence bases rather than from contradictory facts (Descartes, 1644/1985, I.51–52).

Spinoza sharpens the distinction between what exists in itself and what exists in another. His Ethics I, definitions 3 and 5, defines substance through existing and being conceived through itself and modes through existing in and being conceived through another. Proposition I.1 establishes the priority of substance over its affections within the system; proposition I.15 states that everything is in God. Spinoza's conceptual dependence of modes on substance forms an integral part of his monism. His in se and in alio are ontological classifications, while per se concipitur and per aliud concipitur concern the conceptual order. Their close connection does not warrant identifying every conceptual dependency with a dependence in being (Spinoza, 1677/1883, Ethics, I, defs. 3–5; props. 1, 15).

The contrast among these authors reveals a historical transformation. Dependence can relate an accident to a subject, a creature to divine concurrence, or a mode to a single substance. Each interpretation combines an account of categories with an account of what gives an entity its specific nature. Contemporary discussions retain this categorical background while seeking formal distinctions precise enough to distinguish one commitment from another.

Husserl and the Formal Ontology of Parts

Edmund Husserl's Third Logical Investigation investigates the distinction between independent and non-independent parts of a whole. The German pair selbständig and unselbständig concerns whether a part can exist independently or belongs by its nature to a wider unity. Husserl's discussion of Stücke and Momente provides an important precedent for modern dependence and mereology. A detachable physical piece appears to have a different ontological standing from an abstractly isolated moment, such as a particular aspect of a concrete experience. The latter may be separately considered in thought without being separable in reality (Husserl, 1901/2001, Investigation III).

The distinction between abstraction and separability carries philosophical weight. One can attend to a color while suppressing attention to its bearer; the ability to direct attention in this manner does not establish that an isolated instance of that color can exist. Likewise, the possibility of defining a phenomenon analytically is not the same as the possibility of its independent realization. Formal ontology therefore studies laws of dependence among kinds of parts without treating psychological acts of attention as constitutive of the relations themselves.

Husserl's influence on later formal ontology appears in the development of a precise theory of wholes, moments, and dependence, including the work of Peter Simons. Husserl's argument also situates analytic mereology in a longer history of descriptive ontology and phenomenology. The internal relation between a dependent moment and its whole is neither identical to a causal interaction nor exhausted by the spatial fact of being located within something. It is a proposed law of the kind of entity the moment is.

Roman Ingarden later examined multiple senses of existential and formal dependence in The Controversy over the Existence of the World, including questions of autonomy, heteronomy, originality, and derivativeness. These distinctions are historically significant in phenomenological ontology, although Ingarden's system should be reconstructed from its own terminology rather than retrofitted as if it already contained contemporary grounding theory (Ingarden, 1947–1948; De Rizzo, 2022). The phenomenological heritage clarifies why dependence needs a rich vocabulary: a thing's mode of being and the necessity of its belonging to a whole are distinct philosophical concerns.

From Mereology to Contemporary Dependence Theory

Twentieth-century analytic metaphysics reopened the problem of dependence through formal theories of parts and wholes, modality, and substance. Peter Simons's Parts: A Study in Ontology, originally published in 1987, systematically connects mereology with questions of existence, identity, unity, and independence. The idea that a particular non-independent moment requires a bearer can be expressed with modal tools, but the formal expression must distinguish a necessary particular basis from a generic one. The analysis helps reveal where a simple whole–part equation is inadequate: an organism may retain identity through the replacement of particular cells, while a set is conventionally individuated by exactly its members (Simons, 1987).

E. J. Lowe's The Possibility of Metaphysics (1998) treats ontological categories and dependence relations as central to a substantive metaphysical inquiry. His conception of substance develops the idea that a particular's identity can be independent of another particular even when various ontological relationships connect them. This gives metaphysical priority to criteria of identity as well as to conditions of persistence. The emphasis on identity makes room for a thing's dependence on a bearer without requiring that every necessary coexistent be accepted as its basis (Lowe, 1998).

Kit Fine's papers of 1994 and 1995 mark a decisive development. In "Essence and Modality" he argues that an entity's essential properties cannot be adequately identified with all properties necessarily belonging to it. In "Ontological Dependence" he proposes an essentialist analysis more discriminating than bare modal necessity. The work forms part of a broader shift toward hyperintensional metaphysics: two conditions may coincide in every possible world while remaining different in what they tell us about the nature of their subjects (Fine, 1994, 1995).

This history has not produced a single universally accepted reduction of dependence. Modal, essentialist, identity-based, primitive, and grounding-based approaches remain under discussion. Their disagreement is productive because each isolates a different possible explanatory role for the dependence concept. An analysis should establish the relation it needs before asking whether it can be reduced to a more general one.

Rigid and Generic Existential Dependence

Rigid existential dependence connects an individual dependent entity with a particular basis. Its basic modal schema is:

\Dᵣ(x,y) iff □(E(x) → E(y))\.

Here \E(x)\ means that x exists in the relevant circumstance and \□\ represents metaphysical necessity. On this schema, in every possible world in which x exists, y exists. The logical formula identifies a necessary condition. It does not automatically establish the metaphysical direction of dependence. It is therefore best called the modal candidate for rigid dependence rather than an unqualified definition of the complete ontological relation.

A singleton illustrates why the schema is attractive. Given assumptions about the existence of sets, a singleton requires its particular member. A particular event, such as the assassination of a named person, also appears to require that person. In such cases one can identify a particular y rather than a shifting instance of a kind. Yet even these examples need an account of the identity conditions of the alleged dependent entity. A philosopher who denies that events or sets exist as objects will interpret the same statement differently.

Generic existential dependence replaces the required individual with an existentially quantified kind. A schematic version is:

\Dɢ(x,F) iff □(E(x) → ∃y(F(y) ∧ E(y)))\.

The relation says that x cannot exist unless some F exists. A living organism may require cells while surviving the destruction and replacement of many particular cells. A university may require appropriately constituted officeholders without requiring any single present officeholder to remain. The general form captures a dependence on occupying a structural role rather than on the numerical identity of one occupant.

A stronger form might require a plurality of suitably organized instances, not merely the existence of one F. Dependence on several mutually structured kinds cannot generally be represented by a single unrestricted existential quantifier. Formalizing an institution's dependence on members, practices, powers, and rules may demand a conjunction of role conditions and persistence parameters. Generic dependence is therefore a family of schemata, and each application must articulate the relevant kind, plurality, and organization (Simons, 1987; Correia, 2008; Tahko, 2025).

Temporal, Historical, and Sustaining Dependence

Dependence is frequently discussed without an explicit time index, although the omission can obscure the phenomenon. A person depends historically on particular parents for coming into being, yet can continue living after those parents die. A particular work of fiction may depend for its origin on authorial acts, then persist in copies, institutions, or memory. A flame requires continuing fuel and an oxidizing process in a different way from the way a book requires the historical event of composition. All three claims are dependence claims, but their temporal structure diverges.

We can distinguish origin-dependence from persistence-dependence. Origin-dependence asks which prior acts or entities were required for this entity to come into existence. Persistence-dependence asks what must be maintained while this entity exists. A further distinction concerns contemporaneous co-dependence: two elements of one integrated complex may be mutually required within a given interval. These distinctions do not settle the metaphysical nature of time or the modal identity of originating acts; they mark the questions which must be answered before asserting a dependency.

Historical dependence is not always causal dependence under a new name. The act of creating a novel causes various marks to be made, but the identity of the fictional character can be constituted through the place it occupies in a created narrative. The claim that its origin is historical tells us when a dependency occurs; the identity claim tells us why this entity is the particular fictional character in question. Thomasson's account of abstract artifacts draws precisely on different dependence requirements for the creation and persistence of cultural entities (Thomasson, 1998, chs. 2–3).

The temporal index also qualifies modal formulae. The proposition that x existed only if y existed may be true over a life history without requiring that x and y coexist at every moment. Ontological analysis must therefore say whether its necessity concerns co-presence, succession, an originating condition, or an uninterrupted sustaining basis.

The Modal Account and Its Counterexamples

The first objection to an unrestricted modal definition is the problem of necessary existents. Suppose an entity n exists necessarily. Then \□E(n)\ holds. For every x it follows that \□(E(x) → E(n))\. The modal account would consequently make all entities rigidly dependent upon n, including entities whose identity, kind, or nature contains no connection to n. If mathematical objects are necessary, this result becomes conspicuous. The inference is logically valid under the assumed modal semantics, but the metaphysical verdict is implausibly indiscriminate (Fine, 1994; Tahko, 2025).

A second objection comes from necessary coexistence. Suppose x and y exist in exactly the same possible worlds. Then the implication from the existence of x to the existence of y and its converse are both necessary. The modal account makes each dependent upon the other. Yet it may still be intuitively and theoretically correct that x is defined through y, whereas y's definition makes no reference to x. The singleton and member example exposes the difference between necessary equivalence and dependence direction.

A third objection involves necessarily connected but constitutively distinct truths. The mathematical fact that two plus two equals four necessarily obtains in the classical setting, but cannot plausibly be recruited as the ontological basis of an unrelated social institution merely because the institution exists only where that mathematical truth is true. Necessity is too cheap a test to generate the specificity that dependence requires.

One response is to append an asymmetry condition: x depends upon y only if x requires y and y does not require x. This may help with certain examples, but it excludes genuinely mutual existential requirements and cannot resolve cases in which two entities necessarily coexist but have different relations of identity or essence. Adding the desired direction to a modal account does not explain its metaphysical source.

A more defensible conclusion is limited rather than eliminative. Modal necessity often expresses a consequence of a dependence relation. The relation itself needs an additional account of what underwrites that consequence. Essentialism, category laws, and identity criteria are candidates for supplying that account. Where dependence has a modal consequence, modal testing remains important; it simply cannot constitute the whole theory.

Essence as a Basis of Dependence

The essentialist proposal starts from the question of what belongs to a thing's nature. Its central thought is that a thing can be essentially characterized by reference to another even when necessary coexistence alone cannot establish which reference matters. Let \Essₓ(φ)\ mean that φ belongs to the constitutive essence of x. Then a simplified essential-existential dependence schema is:

\Dₑ(x,y) iff Essₓ(E(x) → E(y))\.

The formula is an analytic shorthand, not the agreed formal syntax of essence logic. It records the thesis that a requirement of y is grounded in what x is. A singleton's relation to its member may figure in the nature of that singleton. The member's existence need not in turn be specified through the singleton's identity. Essentialist dependence thus offers a source for the direction that the modal definition lacked (Fine, 1994, 1995).

The essentialist account must distinguish a constitutive essence from an indefinitely large set of consequences of that essence. It can be necessary that an entity satisfy some trivial property without that property contributing to what makes it the entity it is. Unless the account makes this distinction, it inherits modalism's overgeneration. Fine's claim that essence cannot simply be reduced to necessity helps explain why this distinction is philosophically central.

There are several possible variants. One emphasizes a real definition of the dependent entity; another emphasizes the inclusion of a particular constituent in the entity's essence. Koslicki's treatment of varieties of ontological dependence examines such constituent-based approaches (Koslicki, 2012). Their strength lies in specificity. Their difficulty lies in explaining how knowledge of essences is obtained and how real definitions are distinguished from theoretical stipulations.

Essence may also require kind-relative articulation. The general essence of a chemical type or institutional role differs from the individual essence of a particular entity. A condition shared by all members of a kind need not individuate any one member. The essentialist theory is therefore strongest when it identifies exactly whose essence, which level of generality, and which constitutive requirement are in question.

Identity-Dependence and Individuation

Identity-dependence concerns the determination of which entity a given object is. A dependence claim of this kind means that the criteria that individuate x require reference to y, or to an entity standing in a specified relation to y. A singleton is individuated by its member: to determine which singleton it is, one must determine which member it contains. The member does not thereby acquire a reciprocal identity condition involving the singleton. This asymmetric structure makes identity-dependence attractive as an account of some ontological distinctions (Lowe, 1998; Fine, 1995).

The argument can be reconstructed in five steps. First, some entities have identity conditions referencing further entities. Second, the reference is constitutive of their individuation, rather than an accidental description by an observer. Third, if the referenced entities were different under the relevant identity conditions, the dependent entity would be different. Fourth, reversing the reference need not preserve the constitutive condition. Therefore, identity-dependence can supply a directed ontological relationship without relying solely upon necessary coexistence.

The crucial step is the second. A person may be identified in a database by a number assigned by an institution. The use of the number to find the person does not make the number part of the person's real identity. An individual event may, by contrast, be individuated partly through its participants. The difference between epistemic criteria for recognition and metaphysical criteria for individuation must be argued, not assumed.

Identity-dependence can be described relationally through an identity-conferring relation R. But not every true relation R qualifies. If a book is related to a chair by being near it, nothing follows about the book's identity. The relevant relation must figure in the account of what makes the dependent entity this entity. The relation's authority derives from a justified theory of its nature, and theories of artifact identity, event individuation, and set identity can disagree about it.

An apparent risk arises when a theory defines identity-dependence using another identity-dependence relation. Unless criteria are anchored in independent conditions or are defended holistically, the theory can enter a circle of individuation. This is a problem of explanation and specification, not proof that every mutual relation in nature is incoherent.

Asymmetry, Mutual Dependence, and Ontological Circularity

A strict relation R is asymmetric when xRy entails that yRx does not hold. It is antisymmetric when xRy and yRx jointly entail x=y. Irreflexivity prohibits xRx. These properties are often grouped together in informal metaphysical discussion, but they are logically different. A dependency theory must determine which, if any, belongs to each dependence predicate. It cannot freely move from a claim about identity to a claim about existence by retaining the same algebraic conditions.

Existential dependence can be reciprocal. Under some accounts, the existence of a geometrically defined upper half of a sphere requires the corresponding lower half, and vice versa, because each half is defined through a whole's division. One may instead take both halves to depend on the sphere while rejecting direct dependence on one another. Either analysis requires an explicit choice of relata and identity conditions. Reciprocity in a modal requirement alone establishes neither grounding circularity nor philosophical absurdity (Tahko, 2025).

Identity-dependence has stronger reasons to resist vicious circularity. If the only account of what makes a distinct x the particular x is that it is related to the particular y, and the only account of y invokes the particular x in the same way, neither may be adequately individuated. Some structuralist theories respond that the identities are jointly fixed by a complete structure. The evaluation then depends on whether the structure has its own adequate identity conditions.

Explanatory dependence presents a further issue. If each fact is completely explained by the other in the same respect, the alleged explanation may contain no advance in understanding. But a mutual requirement among states of a system can coexist with a deeper explanation of their joint possibility. To infer vicious circularity one must show that the circular relations are supposed to discharge exactly the explanatory task that they leave unresolved.

The analytical result is a disciplined pluralism: symmetry questions must be answered separately for necessary existence, essential constitution, identity, and grounding. The demand that the entire family share one algebraic profile is an additional metaphysical hypothesis that needs defense.

Substances, Properties, Modes, and Tropes

The concept of substance historically names what has a certain kind of ontological independence. That independence may be expressed as the capacity to serve as a bearer of accidents, the possession of autonomous criteria of identity, or the ability to persist through changes of particular properties. Each characterization licenses a different test. A chair might lose its red paint without ceasing to exist, yet a particular redness instantiated on the chair cannot simply move from that chair to a different bearer while remaining the numerically same trope under some trope theories.

Trope theory treats a quality instance as a particular entity. If the particular redness of an apple is distinct from the apple, its existence may depend rigidly on the apple's existence, and its identity may be fixed partly by its bearer. In a universal-based ontology, one and the same universal may be instantiated in several distinct objects; the existence conditions of the universal need not match those of any particular instantiation. Ontological dependence thus becomes a diagnostic for the status of properties, rather than a conclusion derivable from the word property (Simons, 1987; Lowe, 1998).

Modes present a related issue. In the Spinozistic framework, they are understood through substance. In an Aristotelian framework, accidents inhere in substances. Neither tradition is captured completely by a contemporary formalization of \`□(E(x) → E(y))\). Their claims combine nature, inherence, conceptual priority, and metaphysical organization.

One proposal identifies substances as entities independent in identity from every other distinct particular. The advantage is that necessary coexistence with certain constituents does not automatically disqualify a composite substance. Its difficulty is deciding which criteria constitute the identity of an ordinary object. If a person can survive the replacement of cells, personal or organismal identity is not straightforwardly tied to the numerical identity of each current constituent. But if an artifact is determined by a unique founding act, that act may figure in its individual identity. The substance account must consequently address the ontology of each kind rather than stipulate universal immunity from dependence.

Wholes, Parts, and Material Constitution

Mereology studies the relations of parts and wholes. Dependence theory asks what the existence and identity of a whole require from its parts and what its parts require from the whole. The questions intersect but are not identical. A whole may require some suitable constituents while permitting extensive replacement. A part may derive its functional identity from its place within a particular whole. A geometrical region may exist under a theory of space independently of the material objects occupying it.

Consider a statue and the lump of material constituting it. If they are treated as distinct coincident entities, their conditions of persistence may differ. The statue may cease to exist when melted while the lump survives; the lump might be reconfigured while remaining the same mass of matter under a stipulated criterion. Dependence claims about the statue will consequently depend on which conception of constitution and identity is defended. Merely repeating that the statue is made of the lump does not resolve whether the statue depends rigidly on that particular lump or generically on some suitable material.

The Ship of Theseus and the persistence of organisms reveal the same issue across time. If every component can be replaced gradually, the claim of rigid dependence on every original part fails. If the whole requires organization and a class of parts, generic dependence may survive. However, a wholly generic formula can be too weak: the existence of arbitrary planks somewhere does not sustain a ship. The relevant conditions must include relational and functional arrangement.

The converse question is equally important. A part such as a functional organ may depend upon the organized organism for its status as that organ, while a lump of matter constituting the organ may retain existence outside it. Dependence can therefore differ according to whether the dependent is a material segment, a functioning organ, or a role within a system. Adequate analysis identifies the entity before describing its dependency (Simons, 1987; Koslicki, 2012).

Grounding, Explanation, and Determination

Metaphysical grounding is frequently used to articulate why a fact obtains in virtue of other facts. It is often treated as a constitutive or metaphysical explanation and sometimes as a worldly determination underlying such explanations. Grounding intersects with ontological dependence whenever the existence or nature of one entity is said to obtain in virtue of another. Nevertheless, the full family of ontological dependence includes historical, identity, and generic relations for which a specific grounding analysis may require further argument (Correia & Schnieder, 2012; Schaffer, 2009).

The distinction can be established through the type of question each relation answers. Ontological dependence asks what a thing requires to exist or to be the thing it is. Grounding characteristically asks why something obtains in virtue of something else. If a singleton's identity is fixed through its member, this may support a grounding account of facts about the singleton, but the latter requires specifying which facts, which grounds, and what kind of explanatory necessitation is involved. A theory of dependence alone does not determine the metaphysical truth conditions of every grounding statement.

The literature distinguishes grounding as explanation from grounding as a noncausal worldly relation that backs explanation. These alternatives have different commitments. A relational grounding theory may postulate a primitive determination among facts; an explanatory theory may analyze the metaphysical force of an appropriate answer to a why-question. The disagreements concern more than terminology because they affect whether explanatory relevance is evidence of an underlying entity-level relation (Rosen, 2010; Fine, 2012; Bennett, 2017).

There is a temptation to make dependence and grounding coextensive. It gains a unified ontology but risks erasing the heterogeneity of the original cases. A relation of historical origination does not transparently have the same logical form as an essential condition of identity. Conversely, denying any relation between them would discard legitimate metaphysical explanations. A plural account treats grounding as a closely related explanatory tool while retaining the burden of specifying which dependence relation a particular explanation concerns.

Supervenience, Truthmaking, and Realization

Supervenience states, in a common formulation, that differences in one domain require differences in another. If mental properties supervene on physical properties, then no difference in mental properties occurs without some physical difference under the chosen modal scope. The dependence question asks more: why this covariance obtains and whether the physical domain is prior in the relevant respect. Supervenience by itself is generally compatible with symmetric covariance and lacks a built-in direction of ontological priority.

Truthmaking connects truths with entities or states of affairs that make those truths true. A truthmaker theory may require an entity whose existence necessitates a truth under suitable assumptions; it does not follow that every entity necessitating a truth is its truthmaker. If the existence of an irrelevant necessary being is included in the background, modal necessity may still hold. A substantive theory identifies which entity bears the relevant relation to the proposition and why its being makes the proposition true (Armstrong, 2004).

Realization and constitution raise similar problems. A functional property can be realized by different physical structures, making dependence generic rather than rigid. But that classification depends on the identity criteria for the higher-level property and on what counts as an admissible realizer. A computational role may be implemented in distinct materials while preserving a specified organization. This suggests dependence on organized implementing resources, without deciding whether the realized role is identical to, constituted by, or grounded in its implementation.

The lesson is methodological. A modal regularity, a truthmaker principle, a constitution relation, and a metaphysical grounding relation can each provide evidence relevant to dependence. None licenses a global substitution without further analysis of its relata, modality, direction, and explanatory force.

Abstract Objects and Mathematical Dependence

Mathematical and abstract objects pose a distinctive challenge because their alleged necessity makes simple existential implications especially uninformative. If numbers necessarily exist, every contingent entity satisfies the condition of existing only if numbers exist. A theory equating this implication with dependence would assign mathematical foundations to phenomena for which no relevant essential connection has been demonstrated. Essentialist and identity-based analyses help distinguish a set's relation to its members from an arbitrary individual's relation to the number two (Fine, 1994, 1995).

Sets illustrate one relatively clear structure, although its interpretation depends on one's philosophy of mathematics. Extensional set identity is fixed by membership, and the singleton is individuated through its member. The dependence claim concerns the identity condition of this specific set, not the metaphysical priority of all mathematical entities. It does not settle whether sets are abstract objects, logical constructions, or entities admitted through a particular foundational theory.

The dependence of mathematical structures upon their elements is more contentious. Structuralist approaches may regard positions within a structure as primary for mathematical identity. Others may maintain that structures themselves depend on their instantiations, or that abstract structures exist independently of physical realizations. These are disagreements about which identities are primitive and which are constituted by relations. They require a theory of mathematical ontology, not an automatic transfer of empirical composition principles.

The example establishes a general point about abstraction. A philosopher can be a realist about mathematical objects while disputing whether those objects are ontologically independent in every sense. Conversely, a nominalist may reject the relevant abstract relata altogether. Ontological dependence classifies relations among admitted entities and cannot by itself settle the existential inventory.

Artifacts, Institutions, and Cultural Entities

Artifacts introduce origin, function, material realization, and social recognition into the structure of dependence. A manufactured tool depends for its production on a historical process, and may depend for its present material existence on some arranged matter. Its identity as a tool of a certain kind may involve function and design. These are distinct claims. The replacement of a tool's parts can preserve its recognized identity under some practices, whereas the destruction of every continuing substrate may defeat a different conception of artifact persistence.

Fictional characters provide a clear case of historically anchored abstract artifacts in Amie Thomasson's account. The character originates in intentional creative acts, and the work in which the character figures helps sustain its identity as a literary entity. Yet continued existence does not require the author's ongoing life. Dependence on an originating person, persistence of a work, and public recognition are distinguishable dimensions (Thomasson, 1998).

Social institutions such as universities, courts, and currencies depend on coordinated practices, rules, and publicly maintained statuses. Their existence cannot be understood by an inventory of isolated physical objects alone if the institution's identity includes normative organization. Yet ordinary physical and communicative resources remain essential for sustaining their operations. Philosophical accounts disagree about whether institutional facts are reducible to individual attitudes, grounded in collective intentionality, or constituted by systems of rules. Dependence theory exposes those disagreements by asking exactly what can be removed while the entity remains.

Digital artifacts extend the same inquiry. A particular document may survive replacement of storage devices through copying and migration, while its historical provenance can remain fixed to a creation event. A running computational process requires an implementation; an archived record requires a suitable material or informational bearer; an institutionally recognized digital identity may require public rules of attribution. From these facts alone no conclusion follows about consciousness, personal identity, or the ontological standing of artificial minds. Those questions require their own arguments and their own categories of evidence.

Dependence in the Philosophy of Science

Scientific explanations often reveal relations that are relevant to metaphysics without directly determining an ontological dependence theory. Chemistry describes molecular structures in terms of constituents and bonds; biology describes organisms through cells, regulatory networks, and developmental histories; physics describes fields, particles, and symmetries under competing theoretical representations. The metaphysical step is to determine which of these scientific relations should be treated as existential, essential, identity-fixing, constitutive, or grounding relations.

The familiar claim that a molecule depends on atoms can be unpacked. A chemical kind may require a particular structural organization of elemental constituents. A particular molecule may require particular constituent atoms under one identity theory, while a process-like conception of molecular persistence may allow an exchange of constituents. Chemical theories constrain these possibilities, but the metaphysics of identity remains an additional interpretive question. The word depends should not disguise the bridge principle required to move from chemical description to ontological necessity.

Scientific structural realism offers another issue. If an entity is specified by relations in a theory's structure, is its identity exhausted by its place within that structure? Are relations prior to their relata, or are structures dependent upon the objects that instantiate them? Proposals about mutual dependence can be illuminating here, but the alleged priority cannot be settled merely by representing the theory as a graph. The graph provides the syntax of relations; the ontology must justify their interpretation (French, 2010).

Science also uses intervention and counterfactual dependence. If manipulating A changes B, this may establish a causal relationship under a model. Ontological dependence often concerns what B is or what must exist for B to be instantiated. Causal evidence can inform the metaphysics, especially where a particular kind exists through sustained processes, but causal counterfactuals and modal or essential claims operate under different counterfactual ranges. They must be related through explicit auxiliary premises.

Formal Representation and Its Limits

A typed representation can prevent common fallacies. Let \Dᴱᵣ(x,y)\ denote rigid existential dependence, \Dᴱɢ(x,F)\ generic existential dependence, \Dᴵ(x,y)\ identity-dependence, and \Dᴴ(x,e)\ historical-origin dependence upon an event. Let \G(p,q)\ describe a grounding relation between facts if the chosen theory accepts fact-level grounding. Distinct predicates prevent the mistaken inference that all dependence has the same formal properties. They also preserve the difference between entity-level and fact-level relata.

These symbols represent analytical distinctions rather than a complete axiomatization. Their use becomes informative only when the admissible domains and metaphysical semantics are specified. For example, \Dᴱᵣ(x,y)\ might entail \□(E(x)→E(y))\ under an essentialist theory. The converse is resisted by the necessary-existence and necessary-coexistence objections. Similarly, \Dᴵ(x,y)\ may entail a necessary relation under certain identity principles, but whether identity-dependence has an unconditional existential consequence depends on what qualifies as a genuine identity-constituting relation.

The empirical-looking statement "all A's require B's" may express a law of a kind rather than a metaphysical necessity. The difference requires attention to the modal basis of the law. A local population of organisms can all happen to require a nutrient under actual environmental conditions while some merely possible organisms of the relevant kind could survive without it. Substituting empirical regularity for metaphysical necessity changes the claim.

Formalization improves philosophical clarity by exposing the premises upon which inferences rest. It does not replace the analysis of kinds, real definitions, identity, and the nature of explanation. A formally valid result obtained from an unmotivated dependence predicate has precisely the metaphysical strength of the predicate's interpretation.

Objections and Critical Assessment

A unification objection maintains that the family approach is theoretically unsatisfactory because all relations called ontological dependence should reduce to one fundamental relation. The unifier may choose essence, necessity, grounding, or a primitive relation of building. The proposal has an explanatory ambition: if a common relation can underwrite each case, metaphysics gains a simplified structure. Yet simplification is successful only where it preserves the relevant differences. Historical origination, identity-fixing, and co-present constitution require distinct temporal and modal analyses. An adequate reduction must demonstrate how the distinctions are recovered rather than stipulate that they disappear (Bennett, 2017; Casey, 2022).

A skeptic may argue that dependence relations are projected by our explanatory interests. An object can be described at microphysical, biological, social, or intentional levels, and the chosen description affects which relations seem salient. The objection challenges whether dependence is an objective metaphysical structure. The reply is not that every explanatory perspective reveals its own objective dependence fact. Rather, metaphysical inquiry must seek invariance under appropriate redescription, use independent identity criteria, and distinguish a difference in explanatory usefulness from a difference in what the entity is.

An epistemic objection challenges access to real essences. If we cannot recognize the constitutive essence of an entity, an essentialist account threatens to become a collection of untestable intuitions. The problem is substantial. Some cases, such as set identity under a stipulated theory, permit comparatively precise conditions; artifact and social-object identity is more contested. The answer is a graduated methodology: analyze dependence under explicit ontological assumptions, contrast rival accounts, and identify what evidence could discriminate among them. The strength of the conclusion should track the strength of those assumptions.

A circularity objection targets mutual dependence. If dependence is always supposed to explain why something exists, a closed circle might seem explanatory failure. Yet not every family member has the full explanatory force of grounding. Mutual existential requirements can be coherent even if neither side constitutes an ultimate ground. When grounding is claimed, stronger constraints may apply. Restricting those constraints to the relation that needs them is preferable to inferring an unrestricted ban on relational reciprocity.

Finally, an ontological-parsimony objection notes that distinct dependence predicates can multiply theoretical commitments. This is a genuine cost. The answer is not a proliferation of names without criteria; it is careful discrimination among relations that do different philosophical work. A theory should unify cases where it can demonstrate common structure and retain distinctions where collapsing them generates demonstrably wrong consequences.

Open Philosophical Questions

The first open question concerns the primacy of essence. Can the truth about what a thing essentially is be established independently of modal facts and judgments of metaphysical explanation? Fine's criticisms of modal reduction show a problem for one direction of analysis, but a positive epistemology of essence remains contested. An answer would clarify whether essential dependence is an explanatory basis or one element in an interdependent conceptual framework.

The second concerns identity under transformation. How much alteration can an individual undergo while retaining its numerical identity, and what relation between its current constituents and historical origin sustains that identity? Living organisms, distributed artifacts, and evolving institutions provide materially different tests. A general account must explain how kind-level identity conditions accommodate change.

The third concerns dependence across categories. Do objects depend on facts, facts on objects, structures on their relata, and properties on their instantiations under a single architecture? Some theories insist on a hierarchy with a privileged type of relata, while others accept heterogeneous categories and cross-level relations. The challenge is to preserve coherence without introducing unexplained priority at each step.

The fourth concerns symmetries and infinite structures. Is mutual dependence always compatible with intelligible identity, and must chains of non-fundamental relations terminate? These questions are especially sharp where a theory takes structure to be basic or permits infinitely descending division. Their answers may differ for existential dependence and grounding.

The fifth concerns the metaphysics of cultural and artificial entities. Can a digital object preserve identity across copies without one enduring material bearer? How do provenance, public attribution, implementation, and institutional recognition contribute to its identity? The answer depends on clarifying the exact object—an inscription, token, work, process, or recognized status—and applying the corresponding dependence criteria. The appearance of new artifacts multiplies the importance of these established philosophical distinctions.

Philosophical Synthesis

The investigation yields a structured account of ontological dependence as a family of relations determined by the philosophical respect in which something depends. Its members are related through a common question—what conditions are constitutive of an entity's existence, nature, or identity—but have different logical properties. The family is unified by the need for metaphysical specification, not by a previously assumed universal relation. Each claim must identify its relata, its relevant respect, the role of modality, and the justificatory basis of its directional attribution.

The historical record explains why such specification matters. Aristotle's categories assign kinds of priority to subjects and their dependent determinations. Early-modern systems distinguish absolute from qualified independence and modes from substances. Husserl's formal ontology clarifies non-independent moments and wholes. Simons's mereology develops rigid and generic distinctions. Fine's essentialism diagnoses the explanatory inadequacy of modal co-presence. Lowe's emphasis on identity shows why a substance may be independent in individuation while dependent in various other respects. These positions are not interchangeable, but they form an intelligible sequence of increasing precision concerning what is being required of what.

A dependency assertion is philosophically strongest when it can survive four tests. Its identity test determines that its relata have identifiable and non-question-begging criteria of individuation. Its modal test states what can vary while the asserted relation remains. Its essential or constitutive test identifies why the basis belongs to the nature or existence conditions of the dependent. Its directional test states whether the relation is reciprocal and whether reciprocal dependence is compatible with the intended claim. Historical cases require an additional temporal test; scientific claims require a justified bridge from theoretical description to metaphysical commitment.

This method delivers an important constraint on philosophical inference: the move from necessity to dependence, from composition to identity, from causation to grounding, and from description to ontology each requires a separate argument. Conversely, the existence of several descriptions need not undermine objective dependence. The right question is what makes a proposed description of a dependence relation metaphysically true.

Ontological independence emerges as a relative and analyzable condition. A being can be independent of any particular present constituent while dependent on the continued existence of suitably organized constituents; independent in identity from its accidents while requiring a bearer for its instantiations; or independent of a creator's continuing existence while historically dependent upon creative activity. The more exact the dependence relation, the less tempting it becomes to overstate an entity's independence or to deny its individuality merely because it has conditions.

Conclusion

Ontological dependence names a central family of relations by which metaphysics articulates the structure of beings. Existence, identity, essence, historical origin, and structural realization require different analyses; their distinction is sustained by the classical sources and by contemporary arguments concerning modal insufficiency, individuation, and explanatory direction. Rigid and generic existential relations describe necessary conditions under different quantifications; essential and identity-dependence attempt to explain why certain conditions belong to a thing's nature. Historical dependence adds the structure of creation and persistence. Grounding, supervenience, mereology, truthmaking, and causal explanation intersect with these relations while making additional theoretical commitments.

The central philosophical conclusion is a standard of typed and justified dependence. Every claim that one being depends upon another must identify the entities at issue, the precise respect of dependence, the modality and temporality of its application, and the argument that fixes its direction. Applied consistently, this standard allows apparently rival ontologies to be compared with greater precision. It preserves the individuality of dependent beings while clarifying the conditions that make their existence and identity possible. Ontological dependence thus supplies a disciplined vocabulary for understanding the relational organization of reality.