A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

Grounding and the Hierarchy of Fundamental Facts

College Depth 91 in the knowledge graph I know this Set as goal
11topics build on this
514prerequisites beneath it
See this on the map →
Grounding and FundamentalityFacts and Truthmakers+1 moreFundamental and Derivative Properties: Sparse and Abundant OntologiesMetaphysical Structure and Architectural Form+1 more
grounding fundamentality hierarchy structure metaphysics

Core Idea

Grounding is the 'in-virtue-of' relation: fact B holds in virtue of fact A grounding B. A full metaphysical picture specifies which facts are fundamental (ungrounded) and how all other facts are grounded in these fundamentals, forming a hierarchy that reveals what reality is fundamentally like.

Explainer

From your study of grounding and fundamentality you already know the basic idea: some facts depend on — hold *in virtue of* — other facts. The fact that the table is red holds in virtue of facts about how its surface reflects light; the fact that a symphony is beautiful holds in virtue of facts about its structure and our responses to it. Grounding is the formal name for this dependence relation. It is not the same as causation (which relates events over time) and not the same as logical entailment (which is a relation between propositions, not facts). Grounding is meant to capture the distinctively *metaphysical* sense in which some facts make other facts obtain.

The concept of a hierarchy adds structure to this picture. Imagine a vast directed graph where each node is a fact and each arrow points from a grounding fact to a grounded fact. At the bottom of the graph sit the fundamental facts — those that are not themselves grounded in anything. These are the bedrock: they explain without being explained (in the metaphysical sense). Everything above them is grounded, directly or indirectly, in the fundamental level. A complete metaphysical theory would describe what sits at the bottom and trace the grounding chains upward through chemistry, biology, psychology, and social facts, showing how each level is grounded in the levels beneath it.

Fundamentality is a comparative and absolute concept. Two things can be compared: fundamental particles are more fundamental than molecules; molecules are more fundamental than organisms. But there is also the limiting case: the absolutely fundamental, which is grounded in nothing further. Most metaphysicians assume there is a bedrock — that the grounding hierarchy does not go on forever — because an infinite regress of "what grounds what?" would leave everything unexplained. This assumption (that grounding is well-founded) is itself contested, but it structures most discussions of what the fundamental level contains.

One useful example is the physical/mental case you may have encountered through truthmakers. The fact that you are in pain seems to hold in virtue of facts about your neural states. The fact that neural states obtain may hold in virtue of facts about molecular chemistry, which hold in virtue of atomic physics, which holds in virtue of quantum field facts. Each level is grounded in the one below. The philosophical question is not just whether this chain exists (most agree it does) but what the relationship at each step looks like — is it full reduction, constitution, realization, or something else? Grounding theory is designed to remain neutral between those options while still capturing the asymmetric, explanatory dependence involved.

The hierarchy picture has significant implications. It tells us that not all facts are equally real or equally basic — there is a genuine structure to reality, and philosophy's job is to map it. It also raises the question of priority monism versus priority pluralism: does a single ultimate entity (the cosmos as a whole, perhaps) ground everything else? Or are there many fundamental items? And it raises questions about the relationship between grounding and ontology: does everything that is grounded still *exist*, or does being grounded mean being merely derivative — perhaps less than fully real? These questions, which you will pursue further in the metaphysics of structure and architecture, all flow from taking seriously the idea that "in virtue of" relations carve reality at its joints.

What did you take from this?

Topics in reflective domains aren't scored by quiz answers. Read, reflect, and mark when you've thought it through.

Quiz me anyway →

Prerequisite Chain

Understanding ZeroThe Number ZeroCounting to FiveCounting to 10Counting to 20Counting a Set of Objects Up to 20Cardinality: The Last Number CountedMatching Numerals to QuantitiesSubitizing Small QuantitiesAddition Within 10Number Bonds to 10Addition Within 20Doubles and Near DoublesDoubles Facts Within 10Near Doubles Facts Within 20Mental Math Strategies for AdditionMental Math: Adding and Subtracting TensAddition Within 100Repeated Addition as MultiplicationMultiplication as Equal GroupsMultiplication: ArraysBasic Multiplication Facts (0s, 1s, 2s, 5s, 10s)Multiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Multiplication and Division Fact FamiliesRelationship Between Multiplication and DivisionDivision Facts as Inverse of MultiplicationRemainders and Quotients in DivisionDivision Word ProblemsMulti-Step Word ProblemsSolving Multi-Step Word ProblemsMultiplication Word ProblemsDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueIntegers and the Number LineComparing and Ordering IntegersAbsolute ValueAdding IntegersSubtracting IntegersMultiplying IntegersIntroduction to ExponentsOrder of OperationsInteger Order of OperationsVariable ExpressionsThe Distributive PropertyVariables and Expressions ReviewIntroduction to PolynomialsAdding and Subtracting PolynomialsMultiplying PolynomialsFactorialPermutationsCombinationsCounting Principles: Addition and Multiplication RulesIntroduction to Graph TheoryPropositional Logic FoundationsLogical EquivalencesBoolean AlgebraIntroduction to Propositional LogicIntroduction to Predicate Logic (First-Order Logic)First-Order Logic SyntaxTerms and Atomic Formulas in FOLVariable Binding and ScopeOpen and Closed Formulas in First-Order LogicVariable Substitution and Capture-Avoidance in First-Order LogicQuantifier Instantiation Rules in First-Order Proof SystemsUniversal Quantification: Meaning and ScopeFree Variables and Bound VariablesSubstitution and Instantiation in Predicate LogicTerms and Atomic FormulasFormulas and Well-Formed ExpressionsStructures and InterpretationsModel Interpretation and SatisfactionInterpretation, Truth, and Satisfaction of FormulasLogical Consequence and EntailmentSyntactic Consequence (⊢) Versus Semantic Consequence (⊨)Logical Consequence and ValidityGrounding and FundamentalityTruthmakers and GroundingTruthmaker Fundamentalism and Truth-Making RelationsGrounding and the Hierarchy of Fundamental Facts

Longest path: 92 steps · 514 total prerequisite topics

Prerequisites (3)

Leads To (3)