Truthmakers and Grounding

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.