Truthmaker Fundamentalism and Truth-Making Relations

Core Idea

Truthmaker fundamentalism is the view that every true proposition has a truthmaker—an entity or state of affairs whose existence is metaphysically sufficient for the truth of that proposition. This imposes structure on metaphysics by requiring an ontology rich enough to make all truths and elevating truthmaking to a central organizing principle.

Explainer

From your study of facts and truthmakers, you know the basic setup: truths are made true by something in the world, not by themselves. "The cat is on the mat" is true because of how things actually are—because of the cat, the mat, and the spatial relation between them. The truthmaker for this proposition is the state of affairs consisting of the cat's being on the mat. Truthmaker fundamentalism extends this into a systematic metaphysical program: it holds that every truth, without exception, must have such a worldly correspondent, and that identifying these correspondents is a primary task of ontology. From your study of grounding and fundamentality, you also know that the metaphysical world is structured: some things exist derivatively, grounded in other things that are more fundamental. Truthmaker fundamentalism combines these insights into a demanding constraint on ontological theory-building.

The truthmaker principle—every truth has a truthmaker—is deceptively simple to state but hard to satisfy comprehensively. Some truths are easy: "The rose is red" is made true by the rose and its property of redness, or perhaps by the state of affairs of the rose's being red. But negative existential truths cause trouble: what makes "there are no dragons" true? There is nothing here—the absence of dragons—to serve as a worldly correspondent. Some philosophers posit totality facts or negative facts (facts about absences, limits, or totalities) to handle these cases. Others try to reduce negative existentials to positive facts via the totality of what exists: the world being the totality it is makes it true that nothing beyond that totality exists. Either way, the pressure to account for every kind of truth forces ontological decisions.

Truthmaker maximalism—the strict version—requires that every true proposition has a truthmaker. A weaker selective truthmaker theory holds that only certain truths, perhaps contingent positive existential truths, require truthmakers. Maximalism is more metaphysically demanding but more systematically satisfying; it cannot ignore uncomfortable cases. The fundamentalist dimension comes from connecting truthmaking to grounding: the truthmaker for a derived truth should ultimately trace back to fundamental truthmakers—entities or states of affairs that are not themselves grounded in anything further. This links truthmaker theory to neo-Aristotelian debates about what is fundamental: the program is to identify which entities do the ultimate truth-making work and which truths are true in virtue of those fundamental truths.

The practical upshot of truthmaker fundamentalism is that it functions as a discipline on ontological theorizing. If you posit that propositions about mathematical objects are true, you must have an account of what makes them true—which may force you to posit abstract objects, or to give a reductive account in terms of physical or mental reality, or to deny those propositions are genuinely true. If you posit that modal statements ("it is possible that P") are true, you need truthmakers for possibility claims—which Lewisian modal realism provides by positing concrete possible worlds. Truthmaker fundamentalism thus creates pressure across the entire ontological domain: you cannot freely assert truths without standing ready to identify what in your fundamental ontology makes them so. This is what makes it a "fundamentalism"—it insists on tracing every truth back to a bedrock of genuinely existent, metaphysically non-derivative reality.