Truthmakers and Grounding

College Depth 63 in the knowledge graph I know this Set as goal
Unlocks 3 downstream topics
truthmakers grounding truth metaphysical-fundamentals

Core Idea

Truthmaker theory connects metaphysics and semantics by asking: what entities in the world make our statements true? Grounding specifies the metaphysical relation that holds between what grounds truth and the truths themselves. Together they structure our understanding of what must exist for reality as we know it.

Explainer

You come to this topic having studied both facts-and-truthmakers and grounding-and-fundamentality. Now the task is to see how these two frameworks relate and what they accomplish together. The central thought is that truth is not free-floating: if a proposition is true, something in the world *makes it true*. That something is its truthmaker. This is not a trivial claim — it has real ontological bite.

A truthmaker for a proposition P is an entity whose very existence necessitates P's truth. If Socrates exists, the proposition "Socrates exists" is thereby made true — there is no possible world in which Socrates exists and the proposition is false. Notice that the relation runs from the world to the truth: reality determines truth, not the other way around. Truthmaker theory is a commitment to a correspondence-based picture of truth — the world has to be there, in a specific way, for our statements to be true. The hard questions arise for negative truths ("there are no unicorns"), modal truths ("it is possible that it rains"), and truths about the past. What is the truthmaker for "there are no unicorns"? The totality of what exists? Some special negative fact? These puzzles reveal how much metaphysical work the concept is doing.

Grounding is a broader relation. Where truthmaking asks what in the world makes propositions true, grounding asks what in the world makes other things in the world the way they are — a dependence relation that can hold between entities, facts, or properties, not only between world and proposition. The existence of a molecule of water is grounded in the existence and configuration of hydrogen and oxygen atoms. The moral wrongness of an action may be grounded in its natural properties (pain, deception, violation of rights). Grounding is irreflexive, asymmetric, and often taken to be the relation that connects levels of reality — it is what "because" means when we give metaphysical rather than causal explanations.

The two frameworks converge on a shared project: identifying what is fundamental. If every truth has a truthmaker and every grounded fact has a ground, then there must be some bedrock — ungrounded truths, or fundamental entities whose existence is not explained by anything else, that anchor the whole structure. Combining truthmaker theory with grounding gives you a picture of reality as layered: at the base, fundamental entities and their configurations; above them, grounded facts at various levels of abstraction; and threading through, truthmaking relations that connect all of this to the propositions we assert. This picture is contested — some philosophers deny that grounding is a genuine relation, others deny the need for fundamental facts — but understanding it equips you to engage the deepest debates about what reality must contain for thought and talk to connect with it.

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

Counting to 10Counting to 20Understanding ZeroThe Number ZeroCounting to FiveOne-to-One CorrespondenceCombining Small Groups Within 5Addition Within 10Addition Within 20Two-Digit Addition Without RegroupingTwo-Digit Addition with RegroupingAddition Within 100Repeated Addition as MultiplicationMultiplication 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 100Two-Digit by One-Digit DivisionDivision with RemaindersRemainders and Quotients in DivisionDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueReading and Writing DecimalsComparing and Ordering DecimalsAdding and Subtracting DecimalsMultiplying DecimalsDividing DecimalsDividing FractionsMixed Number ArithmeticOrder of OperationsInteger Order of OperationsVariable ExpressionsThe Distributive PropertyVariables and Expressions ReviewIntroduction to PolynomialsAdding and Subtracting PolynomialsMultiplying PolynomialsFactorialPermutationsCombinationsCounting Principles: Addition and Multiplication RulesDefining Finite Sets RigorouslyRecursive Definitions on Finite SetsWell-Founded Relations and Transfinite RecursionThe Axiom of Choice and Equivalent FormulationsAxiom of ChoiceWell-Ordering TheoremInfinite Cardinal NumbersCantor's TheoremSet-Theoretic CardinalityUniversals and ParticularsFacts and TruthmakersGrounding and FundamentalityTruthmakers and Grounding

Longest path: 64 steps · 369 total prerequisite topics

Prerequisites (2)

Leads To (2)