Fundamentality and Grounding

The Question of What Is Basic

The question of fundamentality arises whenever an account of reality acknowledges differences in explanatory priority among what it recognizes as existing. A stone may exist because its constituent matter is organized in a particular way; a legal office may exist because institutions, rules, and practices confer its status; a mathematical disjunction may be true because one of its disjuncts is true. Such explanations appear to direct understanding from a derivative condition toward a basis upon which it depends. Metaphysical grounding seeks to articulate the kind of “in virtue of” connection at work in these cases. Fundamentality asks how far such connections extend and what occupies, if anything, their ultimate position.

Two questions must be distinguished at the outset. The inventory question asks what there is: numbers, mountains, properties, institutions, organisms, thoughts, and laws. The priority question asks what explains what within that inventory. One can acknowledge the existence of a derivative object while holding that its being and nature depend upon conditions more basic than itself. Schaffer’s influential proposal to revive the question of what grounds what insists upon this distinction (Schaffer, 2009). It promises to free metaphysics from the crude choice between ontological admission and exclusion, since a thing may be acknowledged without being treated as fundamental. Yet the promise is substantive only when the alleged dependence can be explained and justified.

This distinction also prevents a pervasive confusion between the basic and the small. A physicist might regard an elementary particle as more basic than a molecule for some explanatory purposes; a metaphysician might propose that a whole cosmos grounds its proper parts; a philosopher of mind might emphasize the organized system in which a mental capacity is realized. Scale, material simplicity, spatial minuteness, and causal precedence are each possible considerations, but none is by itself a definition of metaphysical fundamentality. Likewise, simplicity of vocabulary does not prove simplicity of being: a short description can pick out a highly derivative entity, while a complex description can represent a fundamental relation.

The explanatory ambitions of fundamentality are considerable. If reality can be understood as an ordered structure of dependence, then questions about reduction, essence, explanation, nature, necessity, and the unity of science may be reformulated as questions about which truths or entities hold in virtue of others. The same framework generates a danger: an intelligible local explanation might be mistaken for evidence that the whole universe possesses an accessible, unique, terminating hierarchy. The distinction between these two claims organizes the investigation.

A grounding claim is always answerable to a determinate philosophical question. Asking whether the existence of a table is grounded in an arrangement of physical constituents differs from asking whether the fact that a statement is true is grounded in a fact, or whether moral obligations are grounded in facts about human flourishing. To transfer an analysis from one case to another without examining the relevant relation, relata, and conditions would replace argument with an analogy. This monograph therefore proceeds from historical questions about principles through the conceptual and logical features of grounding to disputes over whether any ultimate ground exists and what, if anything, could justify knowledge of it.

The historical trajectory needs care. Aristotle, Aquinas, Spinoza, Leibniz, and Hegel did not formulate the contemporary grounding connective or endorse the current analytic theory of ground. They investigated real priority, explanation, causes, substance, and sufficient reason in philosophical systems whose vocabulary and commitments remain distinct. The history here is a reconstruction of conceptual antecedents and transformations, not a retrospective attribution of one modern theory to every earlier philosopher.

Definitions and Boundaries of the Inquiry

A preliminary working definition is useful: metaphysical grounding is a directed relation, operation, or explanatory connection whereby some obtaining facts are understood as holding in virtue of other obtaining facts or conditions. The word “or” reflects a constitutive dispute within the literature. A determination theorist takes grounding to be an objective connection in reality that may support an explanation; an explanation theorist identifies grounding with a distinctive form of explanation. The working definition fixes the problem without deciding that dispute in advance (Fine, 2012; Rosen, 2010; Audi, 2012; Schaffer, 2009).

Relative fundamentality orders two items under a particular conception of priority: A is more fundamental than B when, in a suitable sense, B depends upon A and the converse dependence fails. Absolute fundamentality is commonly characterized as the absence of grounds or ontological dependence: a fact is fundamental if nothing grounds it. This definition requires care because an ungrounded fact might fail to explain anything else, while a fact that provides many explanations may itself depend upon something further. A complete basis, by contrast, is a collection sufficient in the appropriate metaphysical sense for accounting for everything in a specified domain. Independence and completeness are separate properties of an alleged foundation (Tahko, 2018/2023).

The inquiry accordingly distinguishes four analytically different claims. A local grounding claim specifies that particular facts obtain in virtue of others. A domain-grounding thesis maintains that all relevant facts of one category have grounds in another category. A global completeness thesis claims that some base accounts for every fact in reality. A foundationalist thesis adds that the appropriate explanatory ordering ultimately reaches facts that are themselves ungrounded. Neither the first nor the second implies the fourth without bridging premises. These claims can be expressed in a common philosophical vocabulary while retaining their different burdens of justification.

Consider a proposition P and its conjunction with Q. In a commonly used model, the truth of P and the truth of Q together ground the truth of P ∧ Q. The resulting conjunction need not be additional fundamental information even though it is a true fact. This model illustrates the intuitive role of grounding but also raises a question concerning the ontology of facts: if conjunctions are merely linguistic complexes, the apparent dependence may be a semantic connection among representations rather than a relation among worldly objects. The philosophical work begins when the ontological interpretation of the example is specified.

The relationship between grounding and existence is also delicate. A grounded fact may be as real as the fact that grounds it under an inclusive conception of existence. Alternatively, theorists distinguish what exists from what is real in an elevated or fundamental sense. Fine’s inquiry into realism develops the possibility that facts can be acknowledged while distinctions are made about their reality in a metaphysical sense (Fine, 2001). The present inquiry does not treat “derivative” as synonymous with imaginary, dispensable, causally inert, or cognitively insignificant. A constitutionally dependent social institution can exercise genuine powers; a derivative truth can be indispensable for knowledge; an emergent phenomenon can be scientifically explanatory.

A further boundary concerns modality. Logical entailment from A to B does not establish that A grounds B. An arbitrary necessary truth follows from many sets of propositions without thereby being metaphysically grounded in them. Similarly, modal supervenience states a pattern of covariance between facts across possibilities, whereas a grounding claim proposes a direction of constitutive or explanatory priority. Ontological dependence can also be narrower or wider than grounding depending upon whether dependence is analyzed in modal, essentialist, existential, or explanatory terms (Correia & Schnieder, 2012; Bennett, 2017).

Fundamentality and grounding belong principally to metaphysics and ontology. Their methodological significance for philosophy of science is substantive but secondary: scientific theories can provide evidence concerning candidate dependence relations, yet an inference to absolute metaphysical priority does not follow automatically from a successful physical model. The present research takes no stand on the unique existence of a single foundation prior to examining the available arguments.

Ancient Origins: Principles, Causes, and Substance

The Greek philosophical concern with first principles begins from the search for what makes the multiplicity of changing things intelligible. Early natural philosophers proposed different explanatory bases for the apparent diversity of the world, while ancient atomists supplied a particularly important precursor to later intuitions about mereological and physical fundamentality. The relevant lesson is the explanatory orientation: a theory should show why the visible multiplicity has the order it does. The historical details of each ancient school require their own investigation; here the issue is the transformation of explanation into a theory of priority.

Aristotle renders this issue systematic. His doctrine of the four causes distinguishes material, formal, efficient, and final explanatory factors, and his investigations of substance develop the thought that certain categories of being are primary relative to others. In Metaphysics Z, the question of what being is is reformulated through an inquiry into substance (1028b2–4). In Metaphysics Λ, substance is likewise presented as prior to categories such as quality and quantity (1069a18–26). The priority here concerns what has independent standing and what belongs to, characterizes, or depends on a substance; it cannot be collapsed into the proposition that everything is materially made of particles (Aristotle, Metaphysics, Z.1; Λ.1; Ross translation).

Aristotle distinguishes priority in different respects, including priority in account, knowledge, and substance (Metaphysics Δ.11, 1018b9–19). These distinctions are indispensable to modern discussions. Something may be explanatorily prior because it makes another intelligible, definitionally prior because it figures in the other's account, or ontologically prior because the dependent item could not be what it is without it. That these priorities often coincide in Aristotle's examples does not establish their conceptual identity. A contemporary grounding theory that aims to subsume all of them must argue for their unification.

The inquiry into form and matter makes this problem particularly vivid. An ordinary composite has material constituents; yet the matter's organization or form may be central to explaining what the composite is. If a bronze sphere exists, the bronze provides matter while the spherical shape contributes an essential aspect of what is being explained. A theory that regards the matter alone as the unique foundation has not thereby explained why that matter constitutes this particular composite. The explanandum determines which basis is relevant. Aristotle’s analysis of matter, form, and actualization thereby resists an identification of grounding with the simple aggregation of parts.

In Metaphysics Z.17 (1041a6–b33), Aristotle investigates why matter constitutes a given thing of a certain kind. His inquiry is explicitly explanatory: knowing the constituents can leave open the cause of their forming a unity. This move anticipates one of the persistent challenges for contemporary grounding: listing necessary ingredients is not yet giving a complete constitutive explanation. An arrangement may need a principle of unity, a structure, or an additional condition to explain why the relevant item exists as one. The interpretation of Aristotle's final position remains contested; the conceptual distinction between listing and explaining is secure.

Aristotle also provides a warning against treating a first principle as a convenient stopping point. An explanatory candidate must be appropriately related to the question asked. A reason for change differs from a reason for what an object essentially is. Nor is every explanatory priority a temporal antecedence. A substance's categorical priority over qualities is not an event that happened before those qualities; it is a proposed ordering of being.

The famous discussion of the unmoved mover in Metaphysics Λ belongs to Aristotle's cosmological and theological explanatory scheme. Its role should be distinguished from the contemporary thesis that grounding is well-founded. A first source of motion is not straightforwardly identical to an ungrounded fact in a formal system of metaphysical explanation. The historical comparison concerns the demand for explanatory primacy and the arguments supporting it, rather than identity of conceptual apparatus.

The historical inheritance is therefore twofold. Philosophy acquires the demand to investigate causes and principles and, just as importantly, the necessity of distinguishing the different forms of priority through which an explanatory principle may be primary. Grounding becomes a distinctive modern project precisely because the relations among these kinds of priority remain unsettled.

First Causes and Sufficient Reasons

Medieval metaphysics transformed ancient questions of priority through elaborate accounts of causation, participation, essence, existence, and divine explanation. Thomas Aquinas's Second Way, in Summa theologiae I, q. 2, a. 3, argues from an order of efficient causes to a first efficient cause. Its focus is a structure of causal dependence in which intermediaries exercise derivative efficacy. The argument must be read with Aquinas's own distinction between derivative and first causality and within the larger metaphysical and theological context of the Summa. It does not license the simple inference that every modern grounding chain must terminate. One would need a separate premise showing that grounding has the relevant causal structure.

Aquinas is philosophically significant here because his argument illustrates an ambitious explanatory inference: if each intermediary possesses its explanatory power only by receiving or depending upon prior efficacy, a complete account is said to require a first source. Contemporary grounding foundationalists sometimes appeal to analogous considerations. But whether their explanatory relation truly transmits efficacy or being in the required sense is precisely the issue that needs analysis, not a conclusion inherited without demonstration.

Spinoza's Ethics offers another form of systematic ambition. In Part I, the definitions of substance and mode are integrated with demonstrations concerning what exists in itself, what is conceived through itself, and what exists in another. Proposition 11 connects the necessary existence of God or substance with a demand for reason; its alternative demonstration asserts that a cause or reason is required both for existence and for nonexistence. This broad conception of explanation connects metaphysical necessity, conceptual intelligibility, and the existence of determinate beings. Yet Spinoza's distinctive monism is underwritten by his account of substance and attributes, and it should not be redescribed without qualification as a fact-grounding theory (Spinoza, Ethics, I, definitions 3 and 5; propositions 7, 11, and 15).

Leibniz articulates the principle of sufficient reason as a core principle of reasoning alongside the principle of contradiction. In the Monadology, sections 31–32 distinguish those principles, and sections 33–38 explore necessary and contingent truths and a final reason for the series of contingent things. The principle of sufficient reason, broadly construed, requires a reason why a fact obtains rather than otherwise. The philosophical force of this principle derives partly from its breadth: it makes the brute fact a candidate for rational criticism. But a reason can be conceptual, explanatory, theological, or causal, and the term does not automatically impose the modern technical grounding relation on every instance.

A crucial distinction emerges between two applications of sufficient reason. A local requirement asks whether a determinate contingent fact possesses an adequate explanation. A global requirement demands an explanation of the totality of contingent facts or of reality itself. It is tempting to move from the former to the latter by treating the whole as another member of the same class of explananda. Such a move requires defense. The totality may have explanatory characteristics different from those of its members, and the explanation of each member might not jointly constitute an explanation of why there are members at all.

The notion of a necessary being is often presented as an answer to the global question. Even if an account succeeds in showing that a necessary being exists, further questions remain: why should this being ground the particular contingent structure that obtains? Does necessity entail explanatory sufficiency? Can an ultimate explanation account for contingency without eliminating it? These questions expose a gap between establishing metaphysical independence and establishing completeness of explanation. A fundamental ground need not be a complete explanation of every derivative fact merely because it is itself ungrounded.

In the early modern tradition, metaphysical ground and sufficient reason retain a wide range of meanings. They bind ontology to intelligibility but do not ensure that reality has the structure of a strict acyclic graph. Leibniz's final sufficient reason, Spinoza's immanent conception of substance, and Aquinas's first efficient cause reach their conclusions through importantly different metaphysical premises. The modern discussion becomes clearer when their different claims are preserved.

The Logic of Ground in German Idealism

The German expression Grund is especially important because it carries the meanings of ground, reason, and basis into a philosophical account of conditions and intelligibility. Hegel's Science of Logic, in the Doctrine of Essence, examines ground as a determination of reflection rather than as a simple underlying item. His treatment of ground is situated within a dialectical development in which the relation of essence, ground, condition, and existence is transformed through the movement of concepts.

In the section entitled “Ground,” Hegel distinguishes absolute ground, determinate ground, and the relation of ground to condition. The argument challenges the idea that an explanatory foundation can be named without examining how it acquires determinate content. The formula that everything has a sufficient ground appears in his discussion, but he criticizes the emptiness of explanations that simply repeat the phenomenon in the guise of an underlying reason. Calling a plant's explanation a plant-producing force, without articulating what makes this force explanatory, preserves an appearance of explanation while changing little in the understanding of its object (Hegel, Science of Logic, Doctrine of Essence, “Ground,” especially the discussions of formal ground and explanatory tautology).

This criticism remains powerful in contemporary metaphysics. The statement that a social fact is grounded by its metaphysical basis adds little if that basis is defined only as whatever makes the social fact exist. A successful grounding claim must describe conditions independently enough to reveal a determinate explanatory connection. It must make clear why the alleged basis is suitable for this explanandum and what relation connects them. A label for dependence does not replace an account of dependence.

Hegel's treatment also foregrounds the relation between ground and condition. An apparently self-contained explanation can presuppose conditions excluded from its explicit statement. A physical property may be explained by a microstructure only within a background of laws and circumstances; an institutional fact may follow from individual acts only given enabling conventions; a metaphysical proposition may follow from a principle only given rules governing its application. The analysis of adequate grounds must therefore include the background structure upon which their explanatory force depends.

Hegel's dialectical understanding of grounding differs fundamentally from contemporary accounts that axiomatize a strict partial order among facts. His exposition considers how the opposed roles of ground and grounded arise through reflection and how apparently immediate principles reveal their dependence upon mediating determinations. A modern theory that assumes a primitive directed relation with fixed relata cannot simply cite Hegel as a supporter. The legitimate historical inheritance is the demand to scrutinize the structure of explanation itself.

The route from Aristotle through early-modern rationalism to Hegel reveals an enduring philosophical problem: we want both an ultimate account of why reality is as it is and determinate explanations whose adequacy can be tested. The first ambition concerns totality, the second concerning intelligible connections. A fundamental monograph must ask whether both ambitions can be fulfilled by one theory of grounding or require different explanatory frameworks.

The Contemporary Return to Metaphysical Priority

The modern debate about metaphysical grounding is often associated with an expansion of the questions asked by analytic metaphysicians after the late twentieth century. Earlier analytic projects had frequently concentrated on quantification, ontological commitment, reduction, modality, and supervenience. Each remains relevant. Yet describing all things that exist does not say which are derivative; possible-world covariance does not specify which fact explains another; an inventory of basic physics need not yield an account of the reality of institutions or mathematical objects. An explicitly explanatory or priority-theoretic vocabulary therefore offered an alternative program.

Fine’s “The Question of Realism” (2001) argues that questions concerning what is real in a metaphysically significant sense require more than the familiar assertions of existence. Ground plays a role in articulating this richer inquiry. Schaffer's “On What Grounds What” (2009) develops a related but distinct change of emphasis by making relations of priority central to metaphysics, while Rosen’s “Metaphysical Dependence: Grounding and Reduction” (2010) defends the legitimacy and philosophical utility of ordinary idioms of metaphysical dependence. Fine’s “Guide to Ground” (2012) subsequently gives an extensive technical examination of grounding and associated logical distinctions. These works are founding contributions to an identifiable contemporary research movement, although none is the unambiguous first appearance of the concept in the history of philosophy.

The significance of the new vocabulary lies in its capacity to formulate theses that remain underdetermined by mere existence claims. Physicalism, for example, can admit the existence of mental facts while asserting that these facts obtain in virtue of physical facts. The resulting claim is more informative than the assertion that psychological and physical truths necessarily covary, since the relation now carries a proposed direction of metaphysical dependence. A comparable strategy arises in discussions of mathematical truths, social institutions, dispositional properties, and value. In each domain, the formulation is only as successful as the account of the dependence itself.

The movement also rediscovered problems previously dispersed across metaphysics and the philosophy of explanation. How can we know which facts are basic? Can the relationship of grounding be analyzed in other terms? Must all dependence be irreflexive and transitive? Do truths about grounding themselves need grounds? Is there a final foundation? Are purported layers of reality objective features or useful representations? The debate is therefore simultaneously ontological, logical, semantic, and epistemological. Its vitality comes from the unsettled relationship among those dimensions.

Correia and Schnieder’s edited collection Metaphysical Grounding (2012), Bennett’s Making Things Up (2017), and Raven’s Routledge Handbook of Metaphysical Grounding (2020) represent the growing technical range of the field. The increasing volume of work should not be mistaken for agreement on a single formal theory. Disagreement concerns both the status of the relation and the appropriate evidence for particular grounding claims, as emphasized by Wilson (2014) and, more recently, Thomasson (2025). The philosophical challenge is to explain what the framework achieves beyond relabeling dependence.

The Grammar and Relata of Grounding

A grounding claim must identify what is grounded, by what, and in what explanatory respect. In the most influential fact-centered framework, the relata are facts, often represented in square brackets: [P] signifies the fact that P. A grounding claim can be expressed informally as “[P] grounds [Q].” But the framework immediately invites two questions. What makes a fact an appropriate metaphysical relatum, and what properties must the grounds possess for the claim to hold?

Some accounts regiment grounding with a relational predicate. On this predicational model, there is a relation G between facts or other items, and one asserts G([P], [Q]). Other accounts introduce an explanatory connective between sentences, such as P because Q in an explicitly metaphysical rather than causal sense. In Fine’s approach, a connective provides the language of grounding without presupposing a particular domain of fact-objects as the relata. The choice is consequential if one disputes whether disjunctive, negative, or higher-order facts exist. A linguistic connective and a relation among facts can agree on cases while differing in metaphysical commitment.

This difference matters in the apparently elementary example of disjunction. The truth that the apple is red or green might be explained by the apple's being red. If the true disjunction is considered an obtaining fact, a predicational theorist may describe one fact as grounding another. A connectivist can directly express the explanatory connection between statements. Neither formulation by itself decides whether truth is constituted by a worldly fact, whether facts are independently identifiable, or whether the explanation is exclusively logical. Such matters must be treated through the theory's wider commitments.

Grounding may be singular or collective. When an object’s institutional standing is constituted by multiple practices and rules, no single condition may be sufficient. In a collective treatment, a plurality of facts jointly grounds a further fact. This is particularly relevant to social ontology and to the explanation of complex entities. A theory that exclusively speaks of one fact grounding one other fact can misrepresent cases where several conditions are essentially co-explanatory.

There is also a difference between facts and entities. The claim that a particular organism depends upon its cells is not syntactically identical to the claim that the organism's existence is grounded in facts about cellular organization. The former suggests a relation among entities; the latter asserts a relation among existential or structural facts. Movement from one form to the other can introduce additional assumptions about truth, existence, and constitution. A responsible theory states whether the target of analysis is the object, the fact of its existence, its essence, or some feature of its behavior.

The concept of grounding has an evidential as well as a grammatical aspect. A statement can use the right connective and still be false. If the existence of a mathematical set is claimed to depend upon its member, the claim must rely upon the adopted set theory and metaphysical account of set formation. If a scientific property is claimed to be grounded in an underlying disposition, the relation requires a theory of its realization or constitution. The slogan “in virtue of” introduces the question; it cannot answer it.

Grounding, Explanation, and Determination

One of the deepest disputes concerns whether grounding is metaphysical explanation itself or an objective relation that backs explanation. The explanation-oriented position, often called unionism, understands grounding as a mode of explanation: one fact obtains because certain others obtain, where this “because” expresses constitutive rather than efficient-causal explanation. The determination-oriented position, sometimes called separatism, treats grounding as worldly metaphysical determination and explanations as representations of that determination (Raven, 2015; Audi, 2012; Fine, 2012).

The distinction is not merely verbal. An explanation is an intentional and epistemic achievement: someone explains an explanandum by making a connection intelligible in a particular context. A worldly determination relation, if it exists, may obtain whether or not any thinker formulates or understands it. A separatist may claim that an ideal explanatory statement tracks a mind-independent relation, just as a causal explanation tracks causal patterns without being identical to the causation it describes. A unionist may reply that grounding is a specifically metaphysical kind of explanation whose objectivity comes from the explanatory connections themselves.

Both positions face a challenge. The determination theorist must specify what makes the proposed determination relation distinctive rather than an empty metaphysical placeholder. The explanation theorist must distinguish grounding explanations from other explanatory acts and account for their apparent direction, truth conditions, and necessary connections. Neither receives the objectivity of grounding for free. The objective adequacy of an explanation cannot be inferred merely from its psychological satisfaction, while an unobservable primitive relation cannot be justified merely by asserting that reality contains it.

The literature sometimes locates these differences in the alleged “worldly backing” of explanations. A physicalist says that a mental fact is explained by a realized physical structure; one can ask whether a relation of realization does the metaphysical work and “grounding” provides a general name for its explanatory role. Bennett's account of building relations develops a family approach to such phenomena, including composition, constitution, realization, and grounding, without assuming that every case is best represented by a single undifferentiated tie (Bennett, 2017). A family resemblance among instances of building may be theoretically useful while their specific conditions remain different.

A further difference arises between a general explanation of a kind and a complete explanation of an instance. A theory of oxygen combustion might explain why burning occurs under suitable conditions; the occurrence of a particular fire also depends upon fuel, ignition, and the relevant circumstances. Analogously, a general account of why institutions require recognition may leave open why one particular institution presently exists. The grounded fact may require token-specific grounds that are absent from a generic explanation. This difference matters whenever claims of full grounding are derived from general theoretical principles.

Grounding is frequently characterized as noncausal. The term is useful when the question is constitutive: what makes a given fact obtain rather than what event produced it earlier? A legal title, for instance, may be constituted by a valid rule and corresponding facts even if the historical process of its creation is itself causal. Yet categories should not be separated mechanically. Some authors hold that causal connections belong to a larger family of dependence or building relations; others maintain that causation and grounding differ fundamentally in their relata, direction, and modal structure. The question is whether the explanatory purposes justify one generic relation or a plurality of relations.

The best theoretical use of grounding, at this point, is to state the exact claim of priority and to demand reasons for it. When grounding provides only a new word for an unspecified relation, its contribution is weak. When it clarifies the structure of a contested thesis and identifies conditions that a purported basis must satisfy, it has genuine explanatory utility.

Logical Structure: Full and Partial Ground

Grounding theories commonly distinguish full from partial grounds. A set of facts fully grounds a fact when it provides everything required, within the chosen theory of ground, for that fact to obtain. A fact or set partially grounds another when it contributes to the complete grounding basis. The distinction is essential because ordinary explanations often present only some of the conditions. An adequate grounding account of a building's existence may include materials, organization, and further conditions; mentioning its materials alone supplies only part of the story.

A familiar logical case is the conjunctive fact [P ∧ Q]. On many accounts, the pair [P] and [Q] together fully ground [P ∧ Q]. Neither conjunct alone need fully ground the conjunction. Treating each as a partial ground therefore allows the model to represent collective sufficiency. This case helps make formal work tractable, but philosophical limitations remain: the existence of conjunction facts is disputable, and necessary truths sometimes behave differently from contingent cases.

Most grounding theories assume that grounds and grounded facts obtain, a feature called factivity. If [P] fully grounds [Q], then P and Q are true. This does not reduce grounding to ordinary implication: implication or necessary co-truth can lack the direction, relevance, and explanatory content required for ground. Factivity thus constrains the relation's application, while hyperintensionality and explanatory relevance are expected to constrain its identity.

Irreflexivity says that no fact grounds itself. The appeal of this thesis is clear: telling us that P obtains in virtue of P ordinarily leaves the explanatory question where it began. Asymmetry strengthens the restriction by denying that two facts ground one another in both directions. Transitivity would allow an explanation to pass through intermediary grounds: if A grounds B and B grounds C, then A grounds C. Together, these principles support an ordered picture of metaphysical priority.

Yet the properties are not all analytically guaranteed. A proposed case of symmetric constitution challenges asymmetry if the relation is characterized too broadly; examples involving explanatory relevance can challenge transitivity if an intermediate account introduces or removes conditions; theories of mutual structural dependence suggest that some dependence phenomena may be reciprocal even if strict grounding remains asymmetric. The logical properties must be defended against the intended application of the relation. One cannot derive metaphysical foundationalism by silently incorporating well-foundedness into the definition of grounding.

For a binary strict grounding relation G, irreflexivity takes the form ∀x ¬G(x,x), and asymmetry ∀x∀y(G(x,y) → ¬G(y,x)). Transitivity takes the form ∀x∀y∀z((G(x,y) ∧ G(y,z)) → G(x,z)). These formulas are schematic: their adequacy depends upon whether G relates single facts, pluralities of facts, or structured explanations. A relation involving plural grounds cannot simply inherit every property of binary relations without a specified semantics. A full grounding account may need a hypergraph-like structure rather than a linearly ordered sequence.

Non-monotonicity is another important topic. If A and B together fully ground C, adding an extraneous fact D need not preserve a properly explanatory full grounding relation. Logical entailment is monotonic in familiar systems: adding premises does not destroy entailment. Grounding, by contrast, is expected to preserve relevance; surplus ingredients may make the putative ground defective as a complete explanation. The comparison strengthens the case that grounding cannot be analyzed as necessary implication alone.

Grounding fact statements themselves raise a reflexive difficulty. If [P] grounds [Q], there is apparently a fact that this grounding relation obtains. What grounds that fact? The options include an ungrounded grounding fact, a further fact about the nature of grounding, a ground involving P itself, or a more general account of the principles of metaphysical explanation. DeRosset's discussion of the “collapse” problem analyzes the risk that attempts to ground facts about grounding defeat the proposed hierarchy (deRosset, 2013). This is a question about the internal coherence of grounding metaphysics, not an incidental technicality.

An explanatory theory should therefore specify whether grounding principles are themselves fundamental, derivative, or outside the target domain. A theory that proclaims all facts grounded while exempting facts about grounding without explanation implicitly changes its quantifier domain. A theory that demands grounds for every grounding fact may face further regress. Clarity about the scope of the doctrine is as important as the formal properties of its central connective.

Grounding and Neighboring Relations

The temptation to identify grounding with causation is understandable because both explain a fact by reference to another. Yet causal explanation commonly concerns processes, powers, interventions, and temporal or nomological production. Grounding usually concerns constitution, metaphysical determination, or an “in virtue of” connection that is not temporally ordered. The material composition of an object and the earlier factory process that assembled it answer different questions. The constituents might be candidates for grounds of its material being while the assembly process answers how that configuration came to exist.

The distinction between grounding and essence is subtler. Essence concerns what something is or what belongs to its nature. Grounding concerns why a fact obtains. An essential truth can provide a metaphysical explanation, yet necessary truths do not all arise from the same essential basis. Fine’s work on essence challenges the idea that essence can simply be identified with de re modal necessity, and grounding theorists investigate whether essential facts establish or constrain the explanatory links between other facts. For instance, the nature of set membership might explain why certain set-theoretic facts obtain; specifying a set's nature is related to but distinct from showing that a particular membership fact is true.

Reduction is another neighbor. A successful reductive explanation may show that a higher-level phenomenon can be analyzed or identified in lower-level terms. Grounding claims often allow the derivative fact or entity to remain distinct from its basis. This difference has ontological consequences: an identity thesis denies that two distinct items need be related by a dependence relation, while an irreducible but grounded entity may be distinct from what grounds it. Consequently, “A is nothing over and above B” is not a uniform metaphysical formula until the intended relation is specified.

Supervenience is commonly described through modal covariation. If mental facts supervene on physical facts, no relevant mental difference is possible without a physical difference, under a specified modal domain. This condition does not alone tell us which facts are more basic. One could imagine a metaphysical framework in which co-varying facts are jointly based on a third condition or in which supervenience does not identify explanatory direction. Grounding makes a stronger directional claim. Nevertheless, whether the relevant supervenience thesis is necessary or sufficient for grounding depends upon further metaphysical principles.

Truthmaking concerns a different but overlapping question: what in the world makes a proposition true? A truthmaker might be an entity, state of affairs, or fact whose existence necessitates the truth. A grounding theorist might instead claim that a true fact is grounded in other facts. Truthmaking theories are not automatically grounding theories because truthmaking often relates objects or states to representations, while grounding may relate facts to facts. A complete comparison requires specifying the relata and whether the dependence is semantic, metaphysical, or both.

Composition and constitution are equally important. If atoms compose a molecule, the compositional relation is mereological or physically structured. Whether the molecule's existence is grounded by its constituents and bonds is a further philosophical thesis. Constitution may be asymmetric in ordinary cases without entailing a global hierarchy of metaphysical priority. Similarly, functional realization can be multiply realizable: a function may be realized by different material systems, and its grounding conditions may vary across cases. The explanatory relation is domain-sensitive.

The differences between these neighboring relations suggest a useful methodological order. First identify the specific explanatory problem; then specify the relevant relation and its direction; next test whether modal entailment, essence, reduction, constitution, realization, and causation suffice for the intended result; finally determine whether an additional primitive grounding relation is justified. This order treats grounding as a serious theoretical proposal, measured by the understanding it adds, rather than a requirement to be imposed on all metaphysical discussion.

Essence, Reality, and Metaphysical Structure

The appeal to essence deepens the metaphysical reach of grounding. If a thing has a determinate nature, facts about that nature may explain the obtaining of other facts. An essence-based account promises to explain why some connections are metaphysically necessary and why some forms of priority hold independently of empirical discovery. For example, if what it is to be a triangle entails having three sides, the relevant connection is explanatory rather than a merely accidental co-occurrence of predicates. A theory of grounding can express that explanation while recognizing the special status of definitions and essence.

The major difficulty is determining which essential truths are available and how they are known. One might agree that an entity has essential properties while disputing whether these properties are discoverable a priori, whether they are fixed by language, whether scientific theories revise them, or whether a grounding explanation must first establish the identity conditions of its relata. An essence-first program thus transfers part of the burden of metaphysical knowledge to a theory of real definition. Unless the latter is independently defensible, the appearance of explanatory depth can conceal an unexamined assumption.

Fine (2001) investigates metaphysical reality in terms of an explanatory order that may distinguish what exists from what is real in the strongest sense. Schaffer's program likewise emphasizes relative priority rather than mere ontological admission. Sider's Writing the Book of the World (2011) develops a connected but different conception: reality possesses structure, and some concepts or expressions are more apt to capture that structure than others. The question of what is fundamental can therefore concern both the basic facts and the conceptual apparatus through which those facts are represented.

This distinction between ontic and ideological fundamentality has important consequences. Suppose that a theory uses a concept of charge or causation that corresponds to a privileged structure of reality. The concept might be fundamental in an ideological sense even if many particular truths expressed using it are derivative. Conversely, a proposition about a simple object might be expressed with needlessly complex concepts. A complete account of metaphysical structure must decide whether the primary candidates for fundamentality are entities, facts, properties, relations, concepts, or a combination.

Sider’s account makes the issue explicit by placing special emphasis on structure and terms that carve reality at its joints. The explanatory basis is not simply a minimal inventory of objects. Even a complete list of objects might fail to describe the relations that give those objects their organization. If a metaphysics of grounding is to serve as a theory of reality's structure, it needs to articulate the fundamental vocabulary and the relations by which facts are generated or explained, not merely the number of allegedly primitive things.

This possibility introduces a risk of circularity in the methodology of metaphysics. To establish which relations correspond to reality's privileged structure, one may appeal to the theory's overall explanatory success; but the meaning of explanatory success may already presuppose a preferred view of structure. A robust metaphysics must provide independent or mutually constraining criteria of theoretical choice, including logical coherence, explanatory differentiation, scientific continuity where relevant, and sensitivity to alternative conceptions. The point is not that metaphysical structure is a meaningless question; it is that structure cannot be read off from vocabulary alone.

Absoluteness, Relativity, and Complete Bases

Fundamentality can be defined negatively as the absence of dependence or positively through an explanatory role. These approaches overlap but are not equivalent. If a fact is ungrounded, it is fundamental in the independence-based sense. If it grounds a broad class of facts, it is fundamental relative to those facts. If a family of facts is sufficient to account for all facts in a domain, it constitutes a complete base. A metaphysical theory can consistently accept one of these features while denying another. This difference is central to the analysis of any proposed ultimate foundation.

Relative fundamentality is naturally represented by a direction of explanatory dependence. Suppose structural facts about a molecule are grounded in its physical arrangement, and facts about a biological process are partly grounded in molecular facts. Given suitable assumptions concerning the transitivity of ground, the physical arrangement may be more fundamental relative to the biological process. This conditional judgment does not establish that any physical fact is absolutely fundamental. The physical arrangement might itself be explained by more general structural or dynamical facts, or its characterization might depend upon environmental and relational conditions.

Absolute fundamentality can instead be identified with being ungrounded. But the definition faces difficulties if a fact is self-dependent under an alternative account, if the grounding relation is plural, or if the notion of ground varies across domains. If there are different types of dependence, an entity may be fundamental under one relation and derivative under another. A basic element in one scientific model may require a metaphysical account in terms of a wider system. Calling it “fundamental” without naming the respect in which it is basic makes the claim underdetermined.

A complete basis introduces another requirement. Let F be a proposed domain of fundamental facts and D a domain of derivative facts. The completeness thesis says that every fact in D is appropriately grounded in some collection of facts in F, possibly by a chain of grounding relations. The condition is global relative to D. It requires showing that the base is adequate for all the derivative explananda, including structural, relational, and higher-order facts if those lie within D. It is stronger than the statement that each commonly considered example has some convincing lower-level explanation.

Completeness may also require totality information. Suppose a complete physical description includes a list of all particles and their states but does not state that nothing else exists. An ontological picture that permits additional facts while holding the same listed physical facts fixed lacks a full explanatory basis for the complete state of reality. One can try to remedy this by adding a totality fact, a closure principle, or a relevant metaphysical necessity. Each proposal introduces further questions: Is the closure principle itself fundamental? Does the totality fact depend on the members of the totality? What grounds the absence of additional facts?

Minimality presents a distinct requirement. A complete base might contain derivative facts alongside fundamental ones. If the aim is to identify a minimal complete base, redundant elements must be excluded. Yet minimality is not merely a mathematical economy of description. Removing an apparently redundant fact may destroy the explanation of a specific relation, even if other truths remain entailed. The appropriate criterion must preserve explanatory adequacy rather than only logical derivability.

The Stanford treatment of fundamentality distinguishes absolute independence, restricted independence, complete minimal bases, and primitivist conceptions of the fundamental (Tahko, 2018/2023). This diversity confirms that the word denotes a family of theoretical tasks whose success conditions differ. A primitive understanding of fundamentality may be coherent, but it bears the burden of specifying what is meant by its basicness and how competing judgments of fundamental status can be adjudicated.

The strongest coherent formulation of the foundational ambition therefore requires at least three propositions: a domain of explananda has been precisely specified; an appropriate base of grounds is complete for that domain; and the members of the base possess the independence relevant to the theory. A fourth proposition may claim that the base is unique. Nothing in the preceding three guarantees uniqueness. Different bases may sustain different adequate descriptions, and a metaphysical theory must explain why one of them is privileged.

Foundationalism and the Termination of Dependence

Metaphysical foundationalism is often presented as the doctrine that grounding is well-founded. In familiar imagery, everything derivative ultimately rests upon something ungrounded. Yet there are several possible readings. One says that no infinite descending chains of grounds exist. Another says that every grounded fact ultimately depends upon ungrounded facts. A third requires a complete foundation sufficient for every fact. These theses differ once collective grounding, infinite structures, or nonstandard orderings are admitted. Dixon (2016) argues that well-foundedness requires more exact formulation and develops the idea of full foundations.

The appeal of foundationalism comes partly from an explanatory intuition. If each link in a dependence chain depends upon a prior link, one may wonder whether anything has ultimately been explained. The chain seems to postpone rather than complete explanation. A foundationalist responds by positing something that explains without itself requiring an explanation of the same kind. The proposed stopping point is an ungrounded fact or ultimate basis. This is a powerful model where the explanatory relation is genuinely transmissive and its derivative terms lack independent standing.

The model can be set out as an argument. Suppose every derivative fact must draw its status or obtaining from some other fact; suppose further that an infinite series of such derivative transfers could never supply the required basis; therefore a complete explanation must terminate in facts that obtain independently of that type of grounding. The second premise carries much of the controversy. It is compelling for some causal or sustaining structures, but whether grounding has the character of a transfer is disputed. A purely constitutive dependence may be static: a series of mathematical definitions can extend indefinitely without an earlier event initiating it.

There is also a gap between a prohibition on infinite descending chains and the existence of a complete foundation. In ordinary order theory, a well-founded relation ensures that relevant nonempty subsets have minimal elements under appropriate definitions; a metaphysical account involving collective grounds may require more. Even if every finite chain terminates, complex branching and plural grounding can alter what counts as a common ultimate basis. Conversely, the existence of some ungrounded facts does not show that all grounded facts eventually depend upon them.

An explanatory endpoint can also be brute in a philosophically significant sense. To say that a fact is ungrounded identifies its place in a dependence structure; it does not explain why it obtains. If a theory begins with the principle that every fact has a sufficient reason, the assertion of ungrounded primitive facts apparently violates the principle unless the facts receive an alternative explanation, perhaps through their essence or necessity. Thus foundationalism and the unrestricted principle of sufficient reason are not straightforwardly identical doctrines. Their reconciliation requires an account of how an ultimate fact is intelligible.

A foundationalist could answer that the ultimate fact is self-explanatory, necessary, or simply the terminal condition of all explanation. The first answer risks reintroducing reflexive explanation; the second requires an account of how necessity yields sufficiency as a reason; the third accepts a legitimate limit to one kind of inquiry. These responses are different. None should be smuggled into the idea of an ungrounded fact without analysis.

The metaphysical picture of layered reality often accompanies foundationalism. Physics supplies a tempting analogy: larger composite systems are described by constituents and interactions, suggesting a sequence of deeper levels. Yet contemporary physics uses fields, symmetries, effective theories, and relational structure in ways that complicate the simple image of ever-smaller particles. Even if a fundamental physical theory exists, whether its facts are metaphysically fundamental remains a philosophical question. The conceptual distinction between physical explanation and metaphysical ground prevents the appeal to science from carrying a conclusion stronger than the science establishes.

A more defensible foundationalism is domain-relative. Within a particular account, some principles or facts may be treated as a base for a specified range of other facts. The theory can then show that its proposed grounds are adequate, identify exceptions, and state why certain conditions are primitive for its purpose. Domain-relative foundations can support genuine explanations even when global metaphysical foundationalism remains unresolved. This approach preserves the explanatory achievements of foundational models while treating ultimate completeness as a separate thesis.

Bevan (2025) offers a contemporary abductive defense of metaphysical foundationalism, examining its theoretical virtues and the need for a more systematic approach to grounding. The importance of such work is methodological: foundationalism requires comparative philosophical support rather than being inferred from the familiar imagery of a staircase or pyramid. A successful defense must demonstrate why terminating models better satisfy the appropriate explanatory constraints than the alternatives.

Infinitism, Circularity, and Nonlinear Structure

Metaphysical infinitism denies that grounding must terminate in ungrounded facts. On one version, every fact has a further ground and dependence descends indefinitely. This view distinguishes the existence of an explanation at each stage from the existence of an ultimate explanation for the complete series. Its central challenge is to explain why successive local explanations remain legitimate when no first or final basis exists.

Bohn (2018) argues for the possibility of indefinitely descending grounding and raises objections to the transmission model that underlies some foundationalist intuitions. The view deserves an independent reconstruction. An infinite sequence ... G3, G2, G1 might have the property that each fact in the sequence obtains in virtue of a further fact. If grounding is a static constitutive relation, the demand for a first generating event may be misplaced. Mathematical structures provide cases in which an infinite order can be fully specified without a first member in the relevant direction, though whether metaphysical ground can mirror such structures remains disputed.

The foundationalist objection has two forms. An explanatory objection says that the whole infinite chain still lacks an ultimate answer. A metaphysical objection says that derivative being cannot be supported exclusively by further derivative being. The first may be accepted as a consequence rather than a contradiction: an infinitist can deny that all questions require ultimate answers. The second depends upon the transmission conception of dependence. If the obtaining of each fact is constituted by others without any transfer of an independent stock of being, infinite descent may be formally coherent. Whether it is metaphysically possible remains open.

Mereological examples are frequently discussed. In “gunk,” every material item has proper parts; there are no mereological atoms. In “junk,” every item is itself a proper part of something larger; in “hunk,” both properties hold. The metaphysical possibility of these structures has been invoked in discussions of fundamentality (Tahko, 2018/2023; Bohn, 2018). Their significance is illustrative, not decisive. A universe with no smallest parts may still have fundamental physical or structural facts, and a universe with smallest parts may exhibit indefinite descent in some other metaphysical relation. Part-whole structure and grounding order are not logically identical.

Coherentism introduces a different challenge: explanatory dependence might involve circles or mutually supporting structures. A strict asymmetric grounding relation rules out two-way grounding by definition, but other dependence notions permit feedback, mutual constitution, or holistic interdependence. The presence of reciprocity in ecological, biological, linguistic, or social systems shows that many explanations are structurally non-linear. It does not by itself prove reflexive metaphysical grounding. A coherentist about grounding must distinguish a genuine metaphysical grounding circle from reciprocal causation, functional interaction, or reciprocal conditions of intelligibility.

The possibility of grounding circles raises a serious explanatory problem. If A is grounded in B and B in A, an explanation of either may become circular. But such circularity has different degrees. A merely verbal circle supplies no independent information. A system of simultaneous constraints can sometimes specify the values or identities of its elements as a whole without assigning an initial element as independently prior. To establish the metaphysical legitimacy of the latter, a theory would need a clear semantics for collective or structural dependence and criteria for non-vicious circular explanation.

There are therefore more than two options. A theory might permit infinite descent in some domains while grounding other domains in primitives. It might admit multiple disjoint foundations. It might use structural explanations in which priority is relative to aspects of the system rather than a single global linear hierarchy. It might maintain that dependence chains terminate but refuse to regard the terminating terms as a unique metaphysical bedrock. Such hybrid positions show why the question “Does reality have a bottom?” is too compressed for rigorous research.

Infinitism's strongest contribution is to separate the demand for explanations from the demand for a terminal explanation. Foundationalism's strongest contribution is to insist that explanatory dependence needs adequate structure, not merely a sequence of answers. A successful theory must specify whether the explanatory task in view is local, domain-wide, or global before assessing whether a chain of grounds is sufficient.

Monism, Pluralism, and the Direction of Priority

A hierarchy of grounding does not automatically indicate whether the fundamental is one or many. Priority monism, as developed by Schaffer (2010), takes the whole cosmos as fundamental and its proper parts as derivative. Priority pluralism regards some plurality of parts or constituents as fundamental. Both can be formulated against a background of ontological admission: the monist need not deny that parts exist, and the pluralist need not deny that wholes exist. The disagreement concerns the direction of metaphysical priority.

The standard bottom-up picture begins from constituents and their organization and derives wholes. Its appeal is familiar from compositional explanation. But it faces questions concerning holistic structure and whether the identity of constituent parts presupposes an encompassing order. The top-down alternative maintains that the whole can determine or ground its parts. It gains plausibility when parts are individuated through positions in a system, but it must explain how the whole's fundamental status avoids becoming an opaque explanatory posit.

Neither account is established solely by citing physics. Holism in quantum theory, for example, concerns the formal structure and correlations of physical states, which are interpreted differently in different accounts. Whether such features entail priority monism depends upon philosophical assumptions about composition and ontological independence. Similarly, the success of reduction in some scientific domains does not establish a globally atomistic metaphysical architecture.

Grounding pluralism can concern the number of fundamental facts or the plurality of grounding relations. The latter thesis is especially significant. It asks whether moral facts, logical conjunctions, physical constitution, institutional facts, and mathematical structures all instantiate one metaphysically deep relation or instead exhibit different explanatory connections. A general grounding framework may capture shared directional features while domain-specific relations provide substantive accounts of what is grounded in what.

The relation between these two forms of pluralism is subtle. One might affirm a single grounding relation and many ultimate foundations, or many grounding relations and a unified foundation. One might also doubt that all possible explanations form a globally comparable ordering. If two facts belong to independent domains, it may be meaningless or false to call one more fundamental than the other. A partial ordering is therefore a more plausible default mathematical representation than a total ranking of every fact.

Theories of relative fundamentality face the problem of comparability. Suppose biological organization and mathematical structure each enter explanations of a computational process. Is one metaphysically prior to the other? A ranking requires identifying what kind of explanation is being compared, whether abstract and concrete facts occupy the same domain of grounding, and whether one explanation can be reduced to the other. Without such conditions, apparent priority may reflect an illicit comparison between different explanatory roles.

The dispute between monism and pluralism thus reaches beyond the count of ultimate items. It concerns the shape of explanatory order and the legitimate direction of constitutive explanation. This monograph treats the unity of grounding as a substantive hypothesis, the multiplicity of local dependence relations as an empirical and conceptual phenomenon requiring analysis, and claims of a unique cosmic foundation as conclusions demanding more than an analogy with whole-part composition.

The Skeptical Challenge and the Epistemology of Ground

The epistemology of grounding is a challenge to every ambitious metaphysics of fundamentality. Even if some facts objectively ground others, how could we establish which ones do? Ordinary observation may reveal temporal succession, structural composition, or patterns of covariation, but it does not directly label a relation as metaphysically prior. Conceptual analysis may disclose identities and definitions, but the passage from semantic or conceptual connections to worldly grounding claims requires argument.

Wilson’s “No Work for a Theory of Grounding” (2014) develops a powerful skeptical challenge. Grounding considered as an undifferentiated primitive, she argues, leaves open essential questions about whether grounded phenomena exist, whether they are distinct from the grounds, whether they have causal efficacy, and what kind of dependence is actually asserted. The argument need not be read as a denial of all metaphysical explanation. It attacks the expectation that invoking a general relation named Grounding settles the work ordinarily performed by more specific metaphysical relations.

This challenge can be represented as a demand for explanatory discrimination. Suppose a metaphysician says that mental facts are grounded in physical facts. A critic asks whether the relation implies identity, constitution, realization, emergence, reductive dependence, or something else. If no answer is provided, the grounding statement may be consistent with mutually incompatible pictures of the mind. Its generality then comes at the cost of its explanatory power. A theory of grounding must specify what differences it enables us to understand.

The same question applies to apparently self-evident grounding cases. Many philosophers find the grounding of a conjunction in its conjuncts intuitive. But intuitions about logical cases cannot automatically establish the structure of dependence in social institutions, consciousness, or fundamental physics. The inference requires a bridge principle between domains, and the bridge itself needs justification. A collection of clear toy cases may establish a useful formal language while leaving the central metaphysical applications underdetermined.

Thomasson’s Rethinking Metaphysics (2025), especially its chapter “Fundamentality and Grounding Projects,” extends the epistemological challenge. The project of constructing a complete layered hierarchy of reality needs an account of how its alleged grounding facts could be known; it must also avoid assuming that every legitimate use of language asks for an underlying ground. Thomasson allows the possibility of local dependence investigations while criticizing unsupported transitions to a universal metaphysical hierarchy. Her subsequent 2026 response to critics develops the broader methodological alternative of attending to the functions of philosophical and ordinary discourse.

A realistic response to skepticism should acknowledge that different sources of evidence support different claims. Scientific investigation can support compositional, dynamical, and functional explanations. Mathematical proof can establish formal dependence within specified theories. Historical and institutional evidence can identify constitutive conditions of social facts. Conceptual inquiry can clarify essence and criteria of application. None of these forms of evidence alone yields a universal metaphysical ordering. Their interaction may justify particular grounding interpretations when they are accompanied by explicit bridge principles and competing explanations are evaluated.

Grounding thus confronts two complementary obligations: to give reasons for its own theoretical usefulness and to warrant substantive claims in which it is employed. A theory may pass the first test by unifying otherwise scattered explanatory patterns while still fail the second for a disputed metaphysical application. Conversely, a successful domain-specific explanation may remain informative even if the general grounding relation proves dispensable. Keeping these achievements distinct protects inquiry from both uncritical enthusiasm and sweeping dismissal.

The epistemological question also affects the alleged ultimate grounds. If an entity is defined as the point at which explanation ends, the definition does not reveal which entity occupies that point, nor does it guarantee that there is such an entity. To establish a foundation, one needs positive reasons that a proposed base is independent, complete, and appropriately related to every derivative phenomenon in its domain. Absent those reasons, “the fundamental” remains a theoretical role in search of justified occupancy.

Grounding Across Philosophical Domains

The usefulness of grounding is ultimately tested in applications where philosophers already possess substantive accounts of dependence. The abstract vocabulary of metaphysical priority has to explain what changes when a claim is recast in terms of grounds. Three requirements recur: the target fact must be specified without ambiguity, the candidate basis must be appropriately complete, and the explanatory connection must respect the subject matter rather than merely imitate examples from formal logic.

Mind, physical realization, and irreducibility

The relation between physical processes and mental phenomena provides a paradigmatic case. A physicalist might hold that mental facts are grounded in physical facts while admitting mental facts as genuine constituents of reality. This formulation captures the ambition of defending both physical priority and ontological inclusion. It also leaves unresolved whether the grounds operate through identity, functional realization, constitution, or a relation sui generis. A theory of mind needs to supply that missing content before the grounding vocabulary can carry the argument.

Multiple realizability complicates claims that one kind of physical state grounds every instance of a psychological state. A function may be performed in different physical ways. The metaphysical basis of a particular performance could accordingly be token-relative, while the general explanation of the kind appeals to a functional organization. A physicalist thesis can remain coherent if it distinguishes a general dependence claim from an inventory of particular physical realizers. Grounding alone does not determine which levels of organization are explanatorily indispensable.

Emergence poses a related challenge. The existence of complex patterns within a system can support causal or functional explanations at a scale that differs from their constitutive base. If such patterns are grounded, their scientific explanatory importance is not thereby erased. It would be fallacious to infer from dependence that a higher-level description adds no genuine understanding. The distinction between metaphysical priority and explanatory autonomy matters especially when emergent patterns are stable across variable implementations.

Mathematics, logic, and structured truth

Mathematical and logical examples motivate theories of ground because one proposition can seem to hold in virtue of others with exceptional transparency. For example, a conjunction is true in virtue of the truth of its conjuncts under familiar semantics, while a disjunction is true if one or more disjuncts are true. These cases illuminate the ideas of complete and partial explanation. Yet the ontology of truth-bearers is unsettled, as is the relation between derivability in a formal calculus and metaphysical determination.

A proof that a theorem follows from axioms establishes a deductive relationship; whether the axioms metaphysically ground the theorem depends upon the philosophical interpretation of mathematical explanation and the status of the axioms. A theorem may have different proofs and thus multiple routes of derivation. One must decide whether the grounding relation tracks all mathematically correct explanations, a preferred explanation, or a unique structure of the facts themselves. Distinct proof pathways show that epistemic accessibility and metaphysical grounding cannot be identified without argument.

Set theory supplies examples of ontological dependence: a set may be said to depend upon its members, while a member is not generally thought to depend in the same way upon every set containing it. A formal treatment must state whether the dependence is existential, essential, or constitutive. Set membership and set existence are not interchangeable claims. Different foundational systems and metaphysical approaches to abstract objects support different analyses, so an inference from the standard membership relation to a unique metaphysical ordering requires additional premises.

Social facts, institutions, and historical change

Social ontology offers cases in which explanatory grounds are clearly multidimensional. The existence of a valid institutional office depends on rules, recognition, practices, and historical procedures. Some of these conditions are causal origins; others constitute the current conditions under which the office exists. A grounding account can distinguish an institution's constitutive basis from the events that led to it, but the distinction must be drawn with attention to time and institutional change.

The law provides especially instructive cases. A legal fact can be grounded, under a proposed jurisprudential theory, in authoritative texts, social practices, or normative principles. Competing theories disagree over which of these elements have the relevant priority. The grounding framework clarifies the disagreement if it exposes competing claims about the basis of legal validity. It does not determine the right jurisprudential answer from the concept of grounding alone.

Social phenomena also demonstrate that collective grounds may matter more than isolated elements. No single person's intention may suffice to constitute a social institution, and no list of individual attitudes may be complete without the relational practices organizing them. This observation is relevant to disputes over whether social facts are grounded exclusively in individual psychological facts or require irreducibly relational conditions. In either case, the investigator needs a substantive theory of institutions, a specification of the facts to be explained, and an account of the dependence relation.

Normativity, value, and moral explanation

The question of what makes actions right, valuable, or obligatory is historically expressed through “in virtue of” questions. A moral realist might ground particular moral truths in natural or nonnatural normative facts; a constructivist might invoke practical procedures, reasons, or constitutive requirements. The grounding approach can represent differences in explanatory direction, but the existence and nature of normative reasons remain contested independently of the framework.

An argument that moral truths are grounded in facts about well-being must show why the selected facts constitute or explain normative status. Merely noting that flourishing correlates with desirable conduct supplies insufficient grounding. Conversely, an argument for the fundamentality of some moral truth must account for its status as a primitive, necessary, or otherwise basic proposition. The abstract language of foundation cannot substitute for moral argument.

Science, levels, and explanatory pluralism

Philosophy of science investigates whether explanations across disciplines form a hierarchy of metaphysical dependence or a network of scale-sensitive relations. Fundamental physical theory, when available, may offer constraints on what exists and how systems behave. Yet the relationship among physical theories, models, and actual phenomena is often approximate, idealized, or regime-dependent. Claims of derivability within a model should therefore be distinguished from claims about metaphysical grounding in reality.

Effective theories explain phenomena within domains using variables and laws that can differ from those of underlying theories. Their success need not challenge physical dependence; it does challenge the thought that metaphysical priority coincides with explanatory usefulness or the preferred scale of description. A complete grounding theory for science needs to account for limiting relations, bridge principles, structure, and the idealizations required by derivation.

Scientific practice also supplies a caution against interpreting explanatory layers as an immutable ranking. New theories sometimes revise which entities, structures, or properties are considered primitive. An alleged ground can become a derivative feature under a revised theory. That epistemic revisability does not prove that metaphysical ground is relative to theory; it shows that claims of access to objective fundamentality require an epistemology sensitive to scientific change.

Across these domains, the same result recurs: grounding gains philosophical substance by disclosing exact dependence claims, but the truth of those claims is evaluated through the primary theories of the domain. A general metaphysical account is most productive when it helps coordinate this work rather than displacing it.

Contemporary Revisions and Research Frontiers

Recent work has refined the conceptual and methodological choices available in grounding research. McKenzie's Fundamentality and Grounding (2022) gives this inquiry an especially important philosophy-of-science orientation: the possibility of a fundamental level, the unity or plurality of grounding, and the epistemic relevance of contemporary physics are treated together. The distinction matters because a naturalistic approach to metaphysical priority should be informed by physics without treating every formal feature of an effective theory as a direct statement about ultimate metaphysical grounding. Bliss’s Grounding, Fundamentality and Ultimate Explanations (2024) places explanatory ultimate structure at the center of the discussion and explores the limitations of straightforward foundational assumptions. Bevan (2025) revisits metaphysical foundationalism as a thesis needing positive comparative justification. Thomasson (2025) offers a direct challenge to the epistemic legitimacy of global grounding projects, while her 2026 reply develops the case against attempting an unrestricted metaphysical theory of everything. These contributions demonstrate that the question of fundamentality remains active at the level of methods and theoretical ambitions, as well as within the technical logic of grounding.

The renewed emphasis on ultimate explanation intersects with an older difficulty: if the foundational facts are ungrounded, can the resulting system still satisfy the demand for complete intelligibility? A metaphysical model may answer by restricting the demand for explanation to derivative facts. Another may allow an essentialist explanation for the foundations while denying that they have grounds. A further approach may reject the expectation that every well-formed explanatory demand has an answer. The correct choice requires distinguishing a limit internal to an explanatory system from the claim that nothing further could be known.

There is also growing attention to the plurality of constitutive dependence relations. Bennett (2017) groups multiple building relations within a connected framework, while skeptical approaches insist on examining composition, realization, identity, and essence on their own terms. The methodological question becomes whether a general relation of grounding unifies these processes with explanatory power or whether it conceals differences that matter to individual investigations. A defensible pluralism can still recognize shared structural features while declining to impose a single universal ground.

The distinction between strict and weak forms of dependence remains unsettled. Irreflexivity, asymmetry, and transitivity are persuasive features of an idealized strict order, but substantive relations of realization and structural constraint may have different formal profiles. The mathematical elegance of a strict partial ordering does not demonstrate that every kind of metaphysical dependence exhibits it. Conversely, the existence of reciprocal causal relations does not refute the possibility of a strict grounding order. Careful conceptual typing remains indispensable.

The most serious contemporary challenge is epistemic. Thomasson’s discussion of fundamentality projects argues that the search for absolute metaphysical layers requires a credible account of how such a structure is known. This challenge should be answered through explicit evidential and methodological principles rather than a declaration that philosophical intuition reveals ultimate reality. Metaphysical theorists can appeal to explanatory integration, theoretical economy, coherence with science, semantic analysis, and metaphysical argument. None is a mechanical decision procedure; together, they can constrain responsible judgments.

The dispute has implications for the relation between metaphysics and conceptual engineering. Clarifying the functions and consequences of grounding vocabulary may itself be a worthwhile philosophical achievement. Yet conceptual clarification does not exhaust the investigation into whether social, physical, or normative relations genuinely determine what obtains. A fruitful research program treats the design of explanatory concepts and the assessment of candidate worldly dependencies as connected tasks whose success is measured differently.

The continuing research frontier is therefore a question of disciplined ambition. The grounding framework offers a powerful way to articulate relative priority in specific cases. Its transformation into a complete metaphysical map of every fact is a major additional project. A coherent theory states when and why that additional project is warranted.

Criteria for Responsible Metaphysical Explanation

The historical and analytical investigation supports a set of standards for the assessment of grounding claims. These standards are methodological conclusions drawn from the study of the literature and argumentative problems; they are not presented as a newly canonical philosophical theory.

The first standard is explanatory specificity. A grounding claim must identify what is allegedly grounded and what constitutes its proposed basis. A vague assertion that “everything is grounded in reality” is too indeterminate to support philosophical evaluation. The relata must be stated at a level of detail appropriate to the research problem.

The second standard is differentiation of priority. The inquiry must distinguish metaphysical grounding from causal explanation, definitional dependence, modal entailment, logical derivation, composition, and functional realization. Some of these relations may overlap with grounding; the claim that one entails another requires argument. Without these distinctions the statement of priority risks changing its meaning during the argument.

The third standard is adequacy of the basis. A candidate full ground must include the conditions necessary to account for its explanandum under the adopted explanatory theory. Conjunctive, institutional, biological, and structural examples all illustrate the dangers of incomplete grounds. When an explanation depends upon enabling conditions or totality facts, those conditions must be made explicit or a reason must be supplied for excluding them.

The fourth standard is a clear account of explanatory direction. Even when two sets of facts necessarily covary, it does not follow that one grounds the other. Direction requires substantive evidence from the nature of the facts, their constitution, essence, or another defensible explanatory principle. Mere covariance and entailment do not establish priority.

The fifth standard is domain specification. Local claims, claims about particular types of facts, and global claims about the entirety of reality have different scopes. A theory that is successful in one domain does not automatically extend to all others. An extrapolation requires additional bridge principles and evidence that the explanatory relation is stable under the extension.

The sixth standard is structural transparency. A theory should state whether its grounding relation is factive, irreflexive, asymmetric, transitive, well-founded, or collective, and which of these features are axioms rather than established consequences. This makes disagreement tractable and prevents proof by definitional concealment.

The seventh standard is epistemic accountability. The investigator must state how the proposed grounding relation is known and what would count against it. Intuitions and conceptual analysis can motivate hypotheses, but they should be integrated with relevant mathematical, empirical, historical, or explanatory evidence when applicable. Claims about ultimate reality carry especially demanding burdens.

The eighth standard is competitive evaluation. A grounding account should be compared with viable alternatives, including domain-specific dependence relations and skeptical or pluralist views. The measure of success is increased explanatory understanding and argumentative coherence, not the prestige of a global metaphysical vocabulary.

Together these criteria preserve two productive aims. They permit metaphysics to articulate and investigate substantive claims of priority. They also establish a means to criticize proposals that move too quickly from local explanatory achievements to unsupported claims of complete fundamentality.

Open Philosophical Questions

Several questions remain open in contemporary research. First, does a unified metaphysical grounding relation exist, or is its apparent unity derived from similarities among distinct relations of constitution, realization, essence, and explanation? The answer changes the kind of theory metaphysics should seek.

Second, is grounding fundamentally a relation between worldly facts, an explanatory connective, a higher-order relation of determination, or a family of related structures? A satisfactory account must explain the truth conditions of grounding claims and the source of their explanatory force.

Third, is full grounding transitive, and if so under what conditions? Plural grounds, relevant background facts, and non-monotonicity complicate straightforward formal analogies with entailment and partial orders.

Fourth, must grounding be well-founded? Models of infinite descent, systemic interdependence, and multiple foundations challenge the inference from local dependence to a single explanatory terminus. An adequate answer needs a precise conception of explanation and a clear argument for the structural properties claimed.

Fifth, what grounds facts about grounding? This reflexive issue is central because a theory must explain whether its own governing relations are primitive, essential, derivative, or of a different logical type.

Sixth, what counts as a complete basis of reality? A list of basic entities may omit relations, laws, negative facts, totality conditions, or normative structures. Determining the base's adequacy may require the very metaphysical theory the base is intended to establish.

Seventh, how should metaphysical inquiry relate to scientific explanation? It remains open whether success in discovering physically fundamental principles entails metaphysical fundamentality and how explanatory autonomy across scales fits within a grounding hierarchy.

Eighth, can epistemic access to absolute fundamentality be justified? The more universal the thesis, the more difficult it becomes to identify independent tests and to exclude alternative structures compatible with the available evidence.

Ninth, can an ungrounded fact have a sufficient explanation? Answers may depend upon whether essentialist explanation, necessity, and metaphysical grounding are treated as distinct. This question connects metaphysical foundationalism to older rationalist accounts of sufficient reason.

These problems require sustained inquiry because they concern different aspects of the overall project. The correct answer to one does not automatically settle the others.

Philosophical Synthesis

The historical record shows that the search for grounds has always involved questions of explanatory priority, but the philosophical form of the inquiry changes substantially from one tradition to another. Aristotle distinguishes kinds of cause and priority while investigating substance and unity. Aquinas develops an order of efficient causality connected to theological explanation. Spinoza gives necessity and the intelligibility of substance systematic roles; Leibniz brings the demand for sufficient reason into a general principle of inquiry. Hegel investigates ground and condition as interrelated categories of thought and explanation. Contemporary grounding theory formulates specific logical and metaphysical questions about facts obtaining in virtue of other facts. These traditions can be compared through their common concern with priority while remaining distinct in their doctrines.

The central conceptual result is that fundamentality contains at least three questions: whether a given fact has grounds, whether a collection of facts provides a complete basis for an explanatory domain, and whether reality as a whole possesses an ultimate and uniquely identifiable basis. Their answers need not coincide. A fact may be locally fundamental without providing a complete explanation; a complete explanatory base may be nonminimal; a relation of relative priority may be intelligible without a demonstrated global terminus.

The central argument concerning grounding is similarly conditional. A successful grounding claim establishes a directed dependence only to the extent that its relata, background assumptions, and explanatory connection are specified and justified. Logical entailment, modal co-variation, compositional structure, and conceptual definitions each supply potentially relevant evidence. Their contribution is determined by additional premises, rather than by the linguistic appearance of a phrase such as “because” or “in virtue of.”

The opposition between metaphysical foundationalism and infinitism is most productive when converted into exact claims about the ordering under examination. Foundationalism asks for a terminal explanation or a sufficient independent base; infinitism challenges the necessity of termination; more complex structural approaches question whether a single hierarchy is adequate. The decisive issue is whether the kinds of dependence at work require a terminal bearer of explanation. That issue cannot be resolved by a metaphor of stacked layers.

The epistemological result is that metaphysical claims must be scaled to their evidence. Theoretical frameworks can illuminate the conditions under which facts are constitutively related. Their success does not automatically justify the stronger assertion that the entire world has a uniquely knowable bedrock. This is a principle of argumentative proportionality: the reach of the conclusion must be supported by the reach of the premises.

The outcome is a constructive philosophical position on research method. Metaphysical grounding remains valuable as a disciplined framework for investigating priority, provided it is connected to determinate cases, explanatory alternatives, and a declared theory of dependence. Fundamentality remains a substantive question concerning the organization of reality, whose absolute version is an open and exceptionally demanding philosophical problem. The point of convergence is a rigorous practice of metaphysical explanation that differentiates what exists, what depends, what explains, and what may be ultimate.

Conclusion

Fundamentality and grounding investigate the explanatory organization of reality. The first concept concerns the status and role of the metaphysically basic; the second concerns the relations through which facts or entities obtain in virtue of other facts or conditions. Their philosophical significance lies in the ability to distinguish ontological admission from explanatory priority and to reconstruct the structure of dependence across different domains.

The development of the problem extends from ancient principles of substance and cause to medieval first-cause arguments, rationalist principles of sufficient reason, German Idealist accounts of ground, and contemporary analyses of metaphysical dependence. Historical continuity consists in a recurring question about priority and explanation. The primary philosophical texts show that the meaning of this question varies with theories of substance, causality, necessity, essence, and conceptual determination.

The contemporary discussion establishes several irreducible distinctions: local grounding versus global completeness, partial versus full grounds, independence versus explanatory sufficiency, grounding versus causal and modal dependence, and formal properties of an explanatory relation versus philosophical arguments for those properties. These distinctions determine the strength of both foundationalist and antifoundationalist positions.

No local grounding claim, by itself, establishes a unique ultimate foundation. A theory of global fundamentality requires an account of its complete domain, evidence for the alleged bases, an appropriate theory of grounding, and arguments concerning termination and explanatory completeness. Equally, the failure to establish a universal foundation leaves particular constitutive explanations available for evaluation.

The final result is a methodologically exact conception of metaphysical inquiry: a grounding explanation succeeds by disclosing a justified relation of priority; a claim to fundamentality succeeds by demonstrating the independence and explanatory role of its proposed basics; and a claim to an ultimate basis bears the further responsibility of explaining why the entire domain of reality is adequately accounted for. The open status of the last question is itself a major finding of the research. It marks the horizon within which further work on grounding, essence, ontology, and scientific explanation must proceed.