Truthmakers

The Ontological Question of Truth

A sentence can be correct in virtue of how the world is. An inscription asserting that a particular glass shattered yesterday may be grammatically well formed, believed by an observer, supported by a photograph, or transmitted by a reliable archive; its truth, on the realist picture that animates the truthmaker tradition, still concerns the event or condition of the world that the assertion accurately represents. The philosophical question is whether that commonplace dependence admits an explicit metaphysical analysis. What must there be for the proposition to be true? Does there have to be an entity whose existence suffices for its truth? Must every truth admit that answer? What is gained by postulating such entities, and which ontological categories pay for that gain? These are connected questions, but none is automatically settled by acknowledging objective truth (Mulligan, Simons, & Smith, 1984; Armstrong, 2004; Merricks, 2007).

Truthmaking arises wherever an ontology claims that certain things exist and, simultaneously, seeks to account for propositions attributing features, relations, absences, possibilities, histories, or laws to those things. The mere admission of a glass into one's ontology leaves open its material constitution, the properties it instantiates, and whether it actually shattered. A complete account of the glass's existence is therefore a different explanatory achievement from an account of what makes the glass's shattering true. Truthmaker theorists emphasize this gap to challenge accounts that allow rich ranges of truths while recognizing too sparse a world to sustain them. Their distinctive question asks which real differences answer to differences in truth.

Three standards of success must be kept separate. There is an explanatory standard: a proposed ground makes intelligible why the proposition is true. There is a modal standard: the ground could not exist without the proposition being true. There is an ontological standard: the proposed ground belongs to a defensible inventory of reality. A theory may perform well by one standard and badly by another. A supposed truthmaker might necessitate a truth for irrelevant reasons. A seemingly explanatory absence might require a controversial ontology of negative facts. An all-encompassing world may guarantee every truth without revealing which aspect of it does the explanatory work. The central method of this investigation is to assess these standards together rather than conceal their divergences under the word 'makes.'

The question is principally ontological. Epistemology supplies a neighboring concern: how do we know which truthmakers exist? Logic supplies the formal structure of implication and verification. Philosophy of language studies propositions, predication, and reference. Yet truthmaking places these inquiries in contact with the categories admitted by metaphysics. The relation among them is productive precisely because each contributes a different explanatory task (Cameron, 2018; Asay, 2023).

Truthbearers, Truthmakers, and the Scope of Inquiry

A truthbearer is something capable of being true or false: candidates include propositions, judgments, beliefs, sentences interpreted in contexts, and certain structured contents. A truthmaker is what is posited as rendering a truthbearer true. Truthmaking is the relevant dependence relation or explanatory connection. For investigation, let T(x, p) mean that entity x makes proposition p true. This notation leaves the ontology of x and the nature of p open. It is an expository device, not a substantive definition.

Propositions offer an attractive working framework because the same content can be expressed by distinct sentences in distinct languages. The English statement 'snow is white' and its accurate translation can express the same truth while occupying separate physical media. If truthmaking is supposed to explain the truth of what is asserted, its direct target is more naturally the proposition expressed than the ink or sound that carries it. Nevertheless, proposition realism is itself controversial. A nominalist may choose interpreted sentence tokens or acts of judgment instead, while a theory of structured propositions may require a closer match between propositional constituents and worldly ingredients. Truthmaker theory consequently cannot be fully independent of a theory of representation (MacBride, 2024).

The familiar characterization of a truthmaker as that in virtue of which something is true identifies a philosophical role. It does not uniquely identify which things fill that role. Consider 'the glass is fragile.' Candidates include the glass itself considered under a rigidly essential description, its microstructural arrangement, a dispositional property instance, a state of affairs, a natural-law arrangement, or a larger world-state. Each implies a different understanding of how physical ontology connects with truth. The candidate's admissibility cannot be inferred simply from our ability to name it.

The investigation is bounded accordingly. It analyzes worldly support for true propositions and the ontological commitments of rival truthmaking principles. A general definition of truth, a full theory of proposition identity, and the entire metaphysics of grounding belong to neighboring inquiries. They enter here where the truthmaker relation depends on their answers. In particular, saying 'p is true because p' may be harmless in a truth schema but does not yet supply an inventory of what there is. Equally, discovering that x is a truthmaker for p does not, by itself, explain how speakers acquire knowledge of p. Those further projects need separate arguments (Lewis, 2001; Merricks, 2007).

Historical Foundations before the Modern Debate

The philosophical ambition behind truthmaking predates the contemporary term. In Aristotle's investigations of predication, substance, actuality, and being (Aristotle, Metaphysics, Γ.7, 1011b25–29), the distinction between what is said and how things are supplies an ancient setting for the question. When a proposition attributes a feature to a subject, the truth of the attribution invites examination of its real basis. The metaphysics of substance and actuality connects predication with being, while Aristotle's account of causes seeks the principles by which things and states of affairs are intelligible. These themes anticipate later demands for ontological explanation without furnishing an unambiguous modern doctrine that every truth has a necessitating entity. Historical comparison must preserve that distinction.

Medieval treatments of truth, being, and predication further developed the vocabulary of conformity between understanding and things. Such correspondence formulas invite the question of what reality contributes to a true judgment, but the medieval debate spans different accounts of substances, forms, relations, and divine knowledge. Describing the entire period as an early truthmaker consensus would collapse important differences. The fruitful connection lies in the recurring problem of the worldly conditions under which an affirmation about reality is accurate, rather than in an asserted continuous technical theory.

The early modern tradition intensified these questions through disputes about substances, qualities, relations, modality, and sufficient reason. To assert a necessary truth and to assert a contingent fact is to make claims whose ontological explanations may differ. A Leibnizian explanatory ambition asks why a fact obtains (Leibniz, 1989, Principles of Nature and Grace, §7); a later truthmaker program asks whether an entity exists in virtue of which a proposition is true. The questions can overlap, but principles of sufficient reason need not quantify over truthmaking objects. The transition from broad metaphysical intelligibility to a precise truthmaker principle is a later development.

The more immediate origins lie in nineteenth- and early-twentieth-century realist and phenomenological accounts of states of affairs, dependence, and the structure of propositions. The modern study by Mulligan, Simons, and Smith (1984) explicitly treats the relevant ontological history and positions itself against a view of logical form that would dictate in advance the complexity or uniqueness of a truthmaker. The resulting conceptual genealogy is plural: the contemporary doctrine inherits concerns about predication, realist correspondence, ontological dependence, and logical analysis, while forming a distinctive question about entities that ground truth (Mulligan, Simons, & Smith, 1984; MacBride, 2024).

Russell, Wittgenstein, and the Atomist Inheritance

Bertrand Russell's lectures on logical atomism in 1918 make facts central to the distinction between a proposition and the world it represents. A particular object, considered in isolation, does not disclose whether it exemplifies a contingent property; a fact has a propositional articulation, such as an object's having that property or standing in a relation. Russell distinguishes facts from the propositions that describe them and explores positive, negative, particular, and general facts. His historical significance is more precise than the generalized claim that realism requires facts: he supplies a philosophical analysis in which the world's structure extends beyond the isolated inventory of individuals (Russell, 1918–1919).

This point can be reconstructed. First, distinct propositions about the same individual can differ in truth value. Second, the individual's bare existence does not discriminate their truth values. Third, an adequate inventory for those propositions must include a mode of being or obtaining through which the individual stands as described. The conclusion supports fact-like worldly structures. It does not yet show that every sentence corresponds to exactly one fact, nor that all negative or general statements require proprietary negative or general entities. Russell's hesitation concerning negative facts is evidence that the difficult cases were visible within the atomist project itself.

Wittgenstein's Tractatus Logico-Philosophicus (1921/1922; Wittgenstein, 1922/1961, 1–2.063, 4.06) develops a picture of the world as constituted by obtaining states of affairs and a conception of propositions as pictures whose truth depends on agreement or disagreement with reality. The familiar distinction between objects and configurations is relevant to the difficulty with mere-object truthmaking: the occurrence of a configuration, rather than the existence of an isolated constituent, marks what the proposition depicts. Yet the Tractatus's logical treatment of molecular propositions and its theory of possibility complicate any simplistic identification with later entity-centered maximalism. The conceptual distinction between obtaining and possible states of affairs is essential here.

Logical atomism therefore supplies both a motivation and a limit. It encourages the search for reality-side correlates of atomic claims. Its ambitious logical decomposition raises the further question whether negative, disjunctive, quantified, and modal truths inherit truthmakers from atomic constituents, or require additional structures. The modern debate develops precisely at these fault lines. The historical sequence is not a single uninterrupted consensus, but a recurrent problem sharpened by advances in logic, ontology, and the theory of meaning (Russell, 1918–1919; Mulligan, Simons, & Smith, 1984).

The 1984 Reconstruction: Moments and Dependent Particulars

The paper 'Truth-Makers' by Kevin Mulligan, Peter Simons, and Barry Smith was published in 1984 in Philosophy and Phenomenological Research, 44(3), 287–321. It represents a foundational modern intervention. Its authors begin from the realist question whether truth requires reality-side entities and propose that a substantial range of true statements about the world may be made true by moments: dependent particulars, including particularized features that depend on their bearers (Mulligan, Simons, & Smith, 1984). This is more specific than the vague proposal that facts make truths true.

A moment is not a general property shared across arbitrarily many substances; it is an individual dependent feature. The particular red coloration of a particular surface serves as an illustrative candidate. Such a feature cannot exist independently of the relevant bearer, yet can distinguish the true predication that the surface is red from predications assigning other colors. This ontology offers a way to find truthmakers without assuming that each property attribution corresponds to a self-standing fact object of the same logical form. The ontological dependence of moments is a positive part of the explanatory account.

The authors insist that logical and ontological complexity need not coincide. A seemingly atomic sentence may be supported by a complex ontological situation; a complex expression may be true in virtue of something comparatively simple. Consequently, semantic parsing does not itself reveal the number or arrangement of entities responsible for truth. The argument also rejects an automatic one-sentence/one-truthmaker pairing. A given truth may have several sufficient truthmakers, and a given entity may support more than one true proposition.

The 1984 article proposes formal constraints including factivity, existence-linked truthmaking, and forms of transmission to entailed truths. These yield an agenda rather than a settled reduction of truthmaking to ordinary logical entailment. Their philosophical contribution lies in restoring the question of ontological support while refusing to infer worldly structure mechanically from grammatical structure. Later arguments about maximalism, necessitation, and exactness develop the framework in divergent directions (Mulligan, Simons, & Smith, 1984; MacBride, 2024).

The Truthmaking Relation

The relation T(x, p) requires interpretation. Three families of analysis dominate: truthmaking understood through entailment, truthmaking understood through metaphysical necessitation, and truthmaking understood as a primitive or grounding-like relation of determination. The first attempts to deploy familiar logical relations; the second uses modal stability; the third appeals to explanatory or ontological priority. The disputes concern the adequacy of each relation to express the worldly dependence of truth (Fox, 1987; Armstrong, 2004; Schnieder, 2006).

If a fact entails a proposition, the nature of this entailment must be clarified. Logical entailment ordinarily holds among propositions or representations. An existing state of affairs is not itself a sentence. Fox's formulation and later treatments often pass through the proposition that x exists: from x's existence one derives p. But the derivation is a relation between representations, whereas the metaphysical task is to explain why the first representation is accurate. A bridge between metaphysics and semantics cannot simply consist of a purely semantic relation without additional explanation.

Necessitation supplies the canonical modal condition: if x is a truthmaker for p, then necessarily, if x exists, p is true. In worlds notation, T(x,p) implies that in every relevant metaphysically possible world in which x exists, p holds. Actual truthmaking furthermore requires that x actually exists. This gives a clear test of alleged insufficiency, yet the converse fails as an unrestricted principle: many objects necessitate necessary truths merely because such truths obtain in every possible world.

Grounding approaches interpret truthmaking as a metaphysical dependence: p obtains because a certain thing is the case or because x exists in the appropriate manner. Such an account preserves the explanatory direction missing from mere co-necessitation. It faces its own task: explaining what is gained by introducing entities as truthmakers when an explanatory connective between facts or truths might suffice. It also faces a question of category: if grounding connects facts to facts, does the theory need truthmakers as objects at all?

The issue is best formulated as a problem of explanatory adequacy. An account of T must distinguish genuine reasons why a truth obtains from accidental modal co-occurrences, identify the ontological kind of its first relatum, and explain the relation between truthmaking and representation. No single formal schema accomplishes all three without theoretical commitments (Merricks, 2007; Cameron, 2018).

Necessitation and the Problem of Relevance

Armstrong develops a strong necessitation requirement. If a purported truthmaker could exist while its supposed truth were false, the candidate appears insufficient: something else would have to be added to obtain a condition that guarantees the truth (Armstrong, 1997, 2004). Suppose a glass exists but could have failed to shatter. Its existence alone does not necessitate 'the glass shattered.' A particular event of shattering, if individuated essentially as that shattering, has a much stronger claim.

This reasoning supports a necessary condition for truthmaking, at least under assumptions about cross-world identity, the existence of propositions, and the metaphysical force of the relevant event. It does not by itself show that necessitation is sufficient. A tree and an arithmetic truth can coexist in every accessible possible world in which the tree exists, if the arithmetic truth is necessary. Yet the tree is not thereby the explanation of that theorem. Likewise, a complex entity can entail a truth by containing an unrelated feature. The problem is explanatory irrelevance rather than failure of modal implication.

The first repair adds aboutness: a truthmaker must be relevant to what the proposition is about. This formulation is intuitive for ordinary predications. The state of a particular lamp's being illuminated bears directly on the truth that the lamp is illuminated, whereas a distant planet's existence does not. But aboutness is theoretically difficult. General truths may concern a domain whose totality is not given in a single simple object. Mathematical truths are about mathematical objects only under certain ontologies. Indexicals and negative existentials can shift what counts as their subject matter. Aboutness therefore functions as a condition requiring interpretation rather than as a universal mechanical test (Merricks, 2007).

A second repair invokes grounding: a genuine truthmaker is a necessitating entity upon whose existence the truth metaphysically depends. This adds explanatory direction. Yet strict necessitation can still misrepresent truths about dispositions under changing laws, or truths about objects under different essentialist theories. Furthermore, the candidate's individuation may build p into its essence, securing necessity at the cost of explanatory circularity. If an object is defined as the entity whose existence includes p's truth, the modal condition is automatically satisfied but offers no independent reason to believe such an object exists.

These challenges show why the disagreement between necessitarian and non-necessitarian accounts remains substantive. The metaphysical worth of a truthmaker depends on what the alleged necessity explains and how the candidate is independently identified. Modal rigor matters, but explanatory relevance cannot be eliminated (Restall, 1996; Cameron, 2018; MacBride, 2024).

Truthmaker Maximalism and Restricted Principles

Truthmaker maximalism says that every truth has a truthmaker. Restricted truthmaking says that some class of truths—perhaps positive contingent atomic truths—has truthmakers, while others may not. The choice determines both explanatory ambition and ontological cost. Maximalism offers a uniform response to every true proposition: there is something whose existence makes it true. Restricted theories demand an account of why the relevant class is privileged and how truths outside it depend on reality, if they do (Armstrong, 2004; Asay, 2023).

A maximalist argument starts with the thought that truth must answer to being. The world, rather than our beliefs, settles whether a contingent proposition is true. If every true proposition must answer to being in the same entity-based manner, maximalism follows. The key move, however, is from the intuitive dependence of truth on reality to an unrestricted existential quantification over truthmaking entities. That inference calls for defense. A true negative existential may be fixed by an absence of objects without being grounded by a single absence-entity. A logical truth may be true by its form rather than by a contingent object.

The strongest defense appeals to uniformity: a principle that excludes especially difficult truths risks ad hoc retreat. Rodriguez-Pereyra (2005) argues that classes of true synthetic propositions, including negative existentials, require entities in virtue of which they hold; the requirement should not be relaxed simply because the truthmakers are hard to identify. This makes ontological investigation an obligation rather than an optional convenience. It also forces the theory to disclose its metaphysical price.

The strongest restricted view refuses to infer a universal ontology from a local explanatory success. Positive contingent predications may demand states of affairs or tropes because a bare particular does not entail its properties. Logical tautologies may obtain under any possible arrangement, and negative generalizations may be true through patterns of omission. The restricted theorist must still say why there is a relevant asymmetry and avoid using 'non-maximalism' merely as a license to disregard hard cases.

A better diagnostic than unrestricted allegiance asks which truths create pressure on a theory's admitted ontology, what would count as a satisfactory explanation for each class, and whether the proposed general principle improves that explanation. Maximalism is a substantive research program, not a semantic platitude; restricted theories must be principled, not selective by convenience (Merricks, 2007; Asay, 2020).

Facts, States of Affairs, Tropes, and Particulars

The identity of the truthmaker is an ontological decision. Facts and obtaining states of affairs provide a natural candidate for contingent predication. The state of affairs of a's being F contains or involves both the particular and its instantiated property and thus appears to necessitate that a is F. Armstrong's account locates the world fundamentally in states of affairs, with particulars and universals entering their constitution (Armstrong, 1997, 2004). This gives truthmaking a direct metaphysical application: properties and relations are not merely vocabulary; their instantiation forms part of reality.

Such an ontology faces questions about what distinguishes a fact from a true proposition, what binds its constituents, and how many facts there are. If an obtaining state of affairs is itself individuated by the truth of its corresponding proposition, the account risks explaining truth by redescribing it. If facts are objective worldly structures with independent identity conditions, the account becomes stronger but metaphysically more demanding. The possibility of multiple facts for one truth further undermines any simplistic matching of surface syntax to worldly furniture.

Trope and moment theories take a different path. A particularized property instance, such as this exact coloration, may provide the truthmaker of a contingent predication while depending on its bearer. The theory promises ontological economy where a fact is viewed as an additional combination-entity. But it inherits challenges concerning the identity of tropes, their dependence relations, and the explanation of relational truths. A relational trope may be required for 'a is taller than b,' and the ontology must explain how such a trope involves both relata without reintroducing facts under another name (Mulligan, Simons, & Smith, 1984).

Bare particulars are comparatively economical. Yet the existence of an individual ordinarily does not fix its contingent attributes. Any particular-based account must explain whether the entity is treated essentially as a richly characterized individual, as a stage, as a particular qua possessing a feature, or as standing within a larger configuration. Such a proposal can be viable if its essentialism is argued for independently. It cannot succeed simply by stipulating that the bare individual includes every proposition actually true of it.

What counts as economy consequently depends on the underlying ontological categories. A state-of-affairs theorist counts facts as basic; a trope theorist counts dependent instances; a particularist may locate determination in essence or arrangement. The truthmaker question sharpens these choices without settling them through terminology alone.

Negative Existentials and the Limits of Positive Ontology

A negative existential such as 'there are no unicorns' is a formidable test. Its truth seems secured by the absence of unicorns. Yet an absence is not obviously a positive entity. The maximalist demands an existing truthmaker. The austere realist may insist that the world has no special negative constituents and that the truth simply reflects what is missing. The quarrel is ontological: which entities, if any, must exist to account for the nonexistence of a specified kind? (Molnar, 2000; Armstrong, 2004).

Russell explored negative facts without establishing a final uncontested ontology of them. Molnar's influential 2000 paper puts the difficulty sharply for realism about positive entities: a negative proposition can be true without a positive object corresponding to what it denies. To introduce a dedicated negative fact for every absence may proliferate seemingly peculiar entities. To restrict truthmaking to positive truths, on the other hand, gives up the maximalist requirement (Molnar, 2000).

One solution accepts negative states of affairs or negative facts. These are not simply empty regions; they are obtaining worldly conditions with negative content. Their advantage is explanatory locality. A fact involving the absence of a particular object from a room may differ from the global absence of a species. Their cost is the need to explain the identity, constitution, and ontological status of negative facts. If every negative truth generates a fact, the ontology grows rapidly. Yet complexity alone is not refutation; the deeper question is whether the proposed facts provide explanatory content not already present in the truths they are meant to explain. Jago (2018) argues that negative states of affairs are preferable to Armstrong's totality solution for difficult negative cases.

A second solution recruits a totality fact: a positive-seeming inventory together with an assertion that the inventory is complete. If a bounded container is completely filled by its listed contents, the totality may ensure that a given absent item is not there. But a completeness condition seems to carry a negative or exclusionary element. Armstrong openly acknowledges that the totalizing relation has a limiting function (Armstrong, 2004). The challenge becomes whether this provides genuine ontological economy or concentrates negation in a special higher-level fact.

A third solution appeals to the entire world as truthmaker. If the actual world could not exist as that very world while unicorns existed in it, the world necessitates the negative truth. The worry is that a maximally indiscriminate entity is a weak explanatory discriminator. A fourth approach abandons maximalism and treats absence-truths through supervenience or explanatory conditions rather than an object. Each solution reveals a different interpretation of 'truth depends on reality'; none is forced by grammar alone (Merricks, 2007; Schaffer, 2010).

Generalizations, Totality, and World-Completeness

Universal propositions impose a completeness demand. Suppose every raven in a domain is black. Observation of each listed raven's color may verify many singular propositions, but the universal adds that there are no further ravens in the domain with a different color. Without a guarantee of completeness, an additional raven could make the universal false even while the observed ravens remained as before. This is the classic gap between a conjunction of known instances and a universal statement.

Armstrong's totality states of affairs address the gap by relating a collection to a property under the condition that the collection exhausts all its instances (Armstrong, 2004). This separates the truthmaking of ordinary positive predications from the closure condition needed for generality. A bounded universe may make the strategy more intelligible: a complete inventory of a box's contents can account for both singular presences and certain absences. The universe-wide application introduces further issues about the totality of all states of affairs and whether the relevant totality relation can be understood without embedding the negative claims at issue.

Quantificational logic gives a precise representation of universal generality but does not automatically decide its ontology. The formula that every object satisfying F also satisfies G is evaluated relative to a domain, an interpretation, and the assignments of properties. Whether one domain-wide entity must make it true depends on the adopted metaphysics of domains and their contents. Logical satisfaction conditions are necessary for formal analysis; truthmaker claims add metaphysical commitments.

Some universals are vacuously true. If there are no F-objects, every F is G on classical semantics. Does the resulting truth require the same kind of totality fact as a non-vacuous universal? The truthmaker maximalist must address the apparent gap between empty and populated extension. A restricted theory may treat vacuity as a formal feature of quantification. The choice matters because a formal entailment from an absence to a universal does not settle whether the universal inherits an entity-ground, a world-ground, or no individual truthmaker at all.

The general lesson is that the word 'all' carries a condition about the relevant domain. A purported truthmaker for a generalization must fix not only known positive instances but the appropriate limits of the domain, and the theory must justify its treatment of that limit (Russell, 1918–1919; Armstrong, 2004; MacBride, 2024).

Complex Truths, Entailment, and Logical Form

Truthmaking is often studied under logical operations. If x makes p true, must x make the disjunction 'p or q' true? If x makes the conjunction 'p and q' true, must x make each conjunct true? Can a true disjunction be made true without any specific disjunct being true? These questions connect the ontology of truthmaking with proof theory, logical consequence, and the semantics of connectives. They also expose why unqualified transmission through entailment can be too permissive (Restall, 1996).

Under classical entailment, any proposition entails every necessary truth. If a truthmaker of p automatically makes every consequence of p true, it will make all tautologies true. Combined with further assumptions about disjunction, this threatens to make arbitrary objects truthmakers for irrelevant propositions. Restall's critique analyzes these entailment and necessity principles, motivating either a more discriminating consequence relation or a departure from the idea that every consequence must inherit the same truthmaker (Restall, 1996; MacBride, 2024).

The example of a true disjunction is informative. A particular event that verifies one disjunct can, under many theories, verify the disjunction. But not all semantic accounts treat the verification of disjunction as reducible to a unique choice of disjunct in every modal or temporal setting. The logic of future contingents and incomplete states provides reasons for care. Similarly, a conjunctive proposition may require a fusion of distinct grounds, although one complex state of affairs can sometimes support both conjuncts. Whether the conjunction has a minimal truthmaker depends on what counts as a part of an ontological state and on the adopted verification semantics.

These questions separate at least three mathematical relations: classical truth preservation, relevance-sensitive entailment, and exact or subject-matter-sensitive verification. A classical semantic relation is indifferent to many explanations. Exact verification attends to the conditions corresponding to a proposition's content. Metaphysical truthmaking asks what reality contains. When these are conflated, results that belong to formal consequence are misreported as discoveries about substances or facts.

A mature account therefore provides explicit rules for its connectives and states whether they are metaphysical theses or semantic clauses. No claim that an object necessitates a statement should substitute for the demonstration that it explains the statement in the intended sense.

Necessity, Modality, and Mathematical Truth

Necessary truths sharpen the relevance problem. If '2 + 2 = 4' is necessary, any existing object trivially coexists with it in all relevant possible worlds. An unrestricted necessitation criterion would admit an unlimited set of irrelevant truthmakers. One solution accepts this consequence as harmless; another requires relevance or aboutness; another locates the grounds of mathematical truth in numbers, structures, or essences; still another denies that necessary truths require ordinary entity-truthmakers. Each choice has consequences for the ontology of mathematics.

The same issue arises in modal truth. What makes 'this glass could have shattered' true? An actualist might appeal to the glass's dispositional profile, an actual state of affairs, or the modal nature of its constituents. A possibilist might appeal to nonactual possibilities or possible worlds. Truthmaker methodology offers a diagnostic question to each ontology: which admitted reality establishes the relevant possibility? But the diagnostic has force only if the criteria for modal truthmaking are settled. Appealing to possible worlds while treating them as representational devices rather than robust entities may leave the substantive answer open (Armstrong, 2004; Asay, 2023).

Necessities grounded in essence require further care. If it belongs to a given object's essence to exemplify some property, the existence of the object may secure the property in every relevant world in which it exists. Yet essentialist truthmaking rests on an independently defensible theory of essence. Otherwise contingent features could be made necessary by redescribing the same individual under a richly loaded sortal. The approach clarifies how metaphysical modal commitments enter truthmaking, and where they require separate argument.

Mathematical truths may be classified as abstract-object truths, logical truths, structural necessities, or truths supported by concrete practices depending on the theory. Truthmaker analysis does not dictate one of these options in advance. It does identify what their ontological commitments would have to accomplish. If a theory denies mathematical objects while accepting mathematical truth, it must explain whether mathematical truth has non-objectual grounds, none, or a distinctive form of dependence. The dispute belongs to the intersection of truthmaking and philosophy of mathematics, and demonstrates why maximalism is not neutral regarding ontology.

Time, Past Facts, and Counterfactual Truths

A past-tense truth can outlast the event it describes. 'An eclipse occurred in the past' remains true although the event has ceased to occur. Presentism—the view that only present entities exist—therefore faces a truthmaker challenge if the truthmaking principle demands a presently existing entity that necessitates the past event. Eternalism offers a simpler candidate by admitting past events within a broader temporal ontology. Yet mere simplicity here is purchased by a distinct metaphysics of time (Cameron, 2011; Merricks, 2007).

Presentists have proposed traces, records, present properties of having been thus-and-so, tensed facts, or primitive truths. A physical record may be evidence for a past event without necessitating it: a misleading inscription could have existed without the event. A present property that encodes a historical fact may necessitate the past truth but raise questions about whether its existence is independently explanatory. The argument is significant because truthmaker theory can constrain temporal ontology, while temporal ontology also determines which entities are available to fill the truthmaker role.

Future contingents create parallel difficulties. The proposition that a certain event will occur may have a truth value according to some semantic theories even though no presently obtaining event of that kind exists. A truthmaker theorist must say whether current causes, future events, tenseless temporal structures, or an open-future semantics provide the proper answer. One should resist deriving an entire philosophy of time solely from a favored truthmaking schema; the competing theories of temporal reality and proposition truth are independent premises requiring assessment.

Counterfactuals introduce another challenge. 'If this glass had been struck, it would have shattered' depends on how the glass, its circumstances, and relevant laws would have behaved. Its truth may be grounded in dispositional structure, laws, comparative similarity among possibilities, or primitive counterfactual facts. Merricks (2007) argues that these truths complicate claims that all truth depends substantively on existence. The challenge illustrates how truthmaking crosses from local factual predication into the explanatory infrastructure of causation, laws, and modality.

The appropriate result is conditional. A truthmaker argument against presentism or for an ontology of powers is effective only when the target truth, candidate grounds, and defended truthmaker principle are specified. Without that conditional discipline, metaphysical conclusions are hidden in the premises.

Truth Supervening on Being

John Bigelow's proposal that truth supervenes on being offers an alternative to unrestricted entity-truthmaking. The guiding intuition is that there cannot be a difference in what is true without some corresponding difference in what there is or how what exists is constituted. This states a dependence pattern across possibilities rather than requiring each particular truth to possess its own objectual truthmaker (Bigelow, 1988; MacBride, 2024).

The distinction is logical and metaphysical. Maximalism has a quantificational form: for every true p, there is an x such that x makes p true. A supervenience thesis concerns comparisons: worlds with the same relevant ontological profile cannot disagree about truth. Even when this global correlation holds, no particular entity need be singled out as sufficient to make an individual negative truth true. Thus supervenience can preserve a realism-friendly constraint without identifying dedicated truthmaking objects.

Its weakness is that global supervenience may be too coarse. If a complete world-profile trivially fixes all truth, a supervenience condition could be satisfied while failing to explain any specific truth. Merricks (2007) argues that strengthening such dependence into local explanatory necessitation risks recovering the difficulties of truthmaker theory. The dispute concerns what degree of modal co-variation constitutes substantive explanation.

The phrase 'same ontological profile' also matters. If it includes not merely the identity of objects but every instantiated property and relation, then supervenience becomes powerful. If it covers only which individuals exist, qualitatively different worlds can share an inventory and disagree about many truths. The variables built into a supervenience base can therefore determine the theory's apparent success. A defensible principle must specify the relevant features and give them an independent metaphysical interpretation.

Truth-supervenience is most informative as a constraint on world-comparison supplemented by local accounts of relevant domains. It can expose impossible combinations between a theory's claimed ontology and its truth commitments. It does not, simply by holding, identify the specific entities or facts explaining those truths. Its strength is economy of commitment; its limitation is underdetermination of explanation (Merricks, 2007).

Grounding and Metaphysical Explanation

Contemporary grounding theories study metaphysical priority: which facts obtain in virtue of which more fundamental facts. Truthmaking belongs to the same broad explanatory neighborhood, but the two projects have different relata and purposes. Grounding often relates facts or propositions under a priority structure; truthmaking connects a truthbearer with a worldly entity or state of affairs that accounts for its truth. The relation can be bridged only by clarifying the categories and levels involved (Schaffer, 2009; Schnieder, 2006).

Consider the truth that a particular bronze statue is located on a table. A grounding account may explain that fact through the spatial arrangement of its constituents and the relevant conditions of statue identity. A truthmaker account asks which existing entity or state secures the truthbearer's truth. A complete physical arrangement might supply both answers under a particular metaphysics. Yet grounding is frequently asymmetric and explanatory, whereas truthmaking under an unrestricted entailment criterion may be promiscuous. Identifying the two without qualification would transfer unwanted properties from one relation to the other.

Schnieder (2006) proposes a truthmaking analysis using the explanatory connective 'because,' raising a critical problem for objectual truthmaker theories. If the best explanation takes the form 'p is true because q,' should q be reified as an entity? The insistence on truthmaking objects may add ontology without explanatory gain. The defender replies that a metaphysical account of q's obtaining can require an actual state of affairs or trope, and that truthmaking makes those requirements explicit. The dispute hinges on whether the explanatory demand is propositional or objectual.

Schaffer's grounding-oriented metaphysics places priority rather than existence alone at the center of the discipline (Schaffer, 2009). This perspective may shift the truthmaker question from 'which entities exist?' to 'which among them are fundamental, and how do they ground the derivative?' Truthmaking arguments then need to distinguish an entity's mere existence from its place within a structure of metaphysical dependence.

The synthesis is methodological: grounding analysis can supply relevance and explanatory direction, while truthmaker analysis can force clarity about ontological commitments. Neither discipline automatically subsumes the other. Their relation must be established on a case-by-case account of truthbearers, grounds, and priority.

The Challenge to Truthmaking Entities

The claim that truth depends on reality does not uncontroversially require truthmaking entities. Jennifer Hornsby argues that the explanatory intuitions of truthmaking can be honored without a theory positing objects for every true synthetic proposition. Benjamin Schnieder similarly develops a 'because'-based analysis that challenges the suitability of the entities traditionally called truthmakers (Hornsby, 2005; Schnieder, 2006). These arguments target a central inference: from an explanatory truth-dependence to the existence of an identifiable object in virtue of which each truth is true.

The pressure can be formulated as a dilemma. If 'the glass shattered because it shattered' is merely a repetition, it yields little ontological explanation. If 'the glass shattered because there is a shattering event' introduces a new event entity, the account owes an argument that this event is ontologically distinct from the situation already described. The introduction of a noun does not establish a new referent. Conversely, denying event-objects by fiat does not explain how events and their effects enter a realist ontology. The debate cannot be decided by grammatical reformulation alone.

Merricks (2007) develops a sustained critique of unrestricted truthmaker demands, especially negative existentials and their alleged ability to discredit theories that otherwise explain their subject matter. He argues that some truths lack substantive dependence on being in the maximalist sense. The critique is particularly important because truthmaking has often been deployed as a test of metaphysical respectability. A test cannot be neutral if it already presupposes controversial states of affairs, rich essences, or prohibitions on candidate properties.

Proponents such as Rodriguez-Pereyra (2005) insist that the very need for ontological explanation provides a reason to seek an entity, even where none is yet identified. Their reply distinguishes our inability to name a truthmaker from the absence of a truthmaker. It is a serious challenge to prematurely weakened principles, though it remains possible for the negative argument to prevail if the demand for an object is shown to exceed what explanatory dependence actually requires.

The central philosophical question is consequently sharper than 'are truthmakers real?' It asks when a successful metaphysical explanation legitimately commits us to an entity and when its force is exhausted by the structure of the reality it describes. That question is not resolved by either reification or nominalism as a verbal policy.

The World as Truthmaker and the Problem of Discrimination

Jonathan Schaffer's proposal that the world is the sole fundamental truthmaker presents a striking response to maximalism's ontological burden. On a priority-monist picture, the world is the only fundamental entity; truths derive from its existence and grounding relations. Negative existentials become less troublesome because the complete world fixes what it does and does not contain. The approach joins an unrestricted truthmaker ambition to an austere fundamental ontology (Schaffer, 2010).

Its apparent economy requires qualification. One fundamental object can possess an immensely rich internal structure. The claim that every truth has the same truthmaker does not imply that there are no internal differences needed to explain individual truths. If a world includes a shattered glass and an illuminated lamp, the proposition about the glass should depend on a distinct portion or aspect of the world's structure from the proposition about the lamp. If the theory refuses those differentiations, it loses discriminatory explanatory power. If it admits them, it must explain how the world-level ground relates to local truthmaking.

An advocate may answer that metaphysical grounding supplies the missing discrimination: the world is the ultimate truthmaker while particular derivative facts specify the relevant route. This reveals the dependence of world-monism on a structured theory of priority. It also marks a real difference between seeking a fundamental truthmaker and seeking an informative truthmaker for a particular proposition. A single entity may fill the first role without transparently filling the second.

The proposal therefore tests the purposes of truthmaking. If the goal is to establish a minimal ultimate ontology that suffices for all truths, world-monism has a powerful answer. If the goal is to assign relevant and discriminating grounds to propositions, the additional hierarchy of facts or aspects remains necessary. Calling the world 'the truthmaker' does not settle the independence or identity of those aspects.

Schaffer's argument is an important reminder that maximalism does not entail a count of one truthmaker per truth. It also shows the cost of confusing numerical economy with explanatory specificity (Schaffer, 2010).

Truthmaker Semantics and Exact Verification

Truthmaker semantics develops a distinct but related program. In Kit Fine's framework, contents are analyzed with reference to states that exactly verify or falsify them, rather than solely by their truth values across possible worlds. A coarse possible-worlds semantics groups propositions together whenever they hold in the same possible worlds. Exact semantics aims to preserve distinctions in subject matter and verification that this grouping can erase (Fine, 2017a, 2017b).

Consider 'the lamp is on' and 'the lamp is on or arithmetic is consistent,' where the added disjunct is treated as necessarily true. In ordinary classical semantics, the second statement may be true in more settings, even in all of them under certain assumptions. The precise verification requirements of the two statements need not be the same. Exact verification can distinguish the actual condition of the lamp from a disjunctive content whose truth may be secured independently. This matters to explanation and relevance because logical equivalence alone fails to preserve what a claim is about.

The semantics uses structured states and operations on their verification and falsification conditions to articulate conjunction, disjunction, and negation. In particular, negation cannot simply be handled by adding a single magical negative object to a model. An exact semantic treatment must specify how a state's status as verifier or falsifier of the proposition contributes to the content of its negation. The framework's precision makes it useful in applications to subject matter, logical subtraction, and metaphysical ground (Fine, 2017a, 2017b).

A crucial methodological difference remains. Semantic models of exact verifiers do not automatically establish that their state-objects exist in the actual metaphysical inventory. Formal semantics specifies mathematical structures adequate for interpretation; ontology asks which items of the world occupy those roles. Confusing model-state with concrete fact would import existential claims from a semantic formalism without argument. Conversely, a metaphysical truthmaker theory can benefit from exact semantic techniques when its own relevance conditions are too weak.

Fine's work thereby demonstrates that the conceptual value of truthmaker analysis extends beyond the effort to discover entities. It also concerns how meanings discriminate among possibilities and grounds. Truthmaker semantics is an adjacent technical research program with genuine philosophical bearing on the original ontological question.

Ontological Commitment, Scientific Practice, and Social Facts

Truthmaker arguments are frequently used to test ontological inventories. A nominalist may admit individuals while rejecting universals, yet affirm truths about resemblance and properties. A presentist admits the present while affirming historical truths. An actualist rejects merely possible entities while accepting modal propositions. In each case truthmaking asks which admitted features of reality support the affirmative claims. Its pressure is strongest when a theorist explicitly accepts a substantive dependence constraint and then lacks the resources to meet it (Armstrong, 2004; Cameron, 2018).

This differs from the familiar Quinean question of which entities a theory quantifies over. A theory can quantify over items within its formal interpretation while remaining silent on whether those items provide the explanatory grounds of truth. Conversely, a theory may invoke states of affairs as truthmakers even when its ordinary first-order surface language quantifies only over familiar individuals. Truthmaking is therefore a proposed criterion of metaphysical explanation and commitment, but its adoption cannot bypass the controversy over which properties, facts, and abstracta are legitimate.

Science supplies instructive examples. An observational report that a detector registered an event may be true in virtue of an actual interaction, while a lawlike universal requires a theory of laws, regularities, or powers. Scientific instruments provide evidence and measurement procedures; they are not invariably the ontological grounds of the propositions they support. A calibration record may warrant belief that a particle was detected, but the actual physical interaction remains a candidate for what makes the occurrence claim true. This distinction between evidence and truthmaking is central to responsible interdisciplinary use.

Social truths introduce relations between physical arrangements, collectively recognized practices, and institutional rules. 'This document is a valid contract' can depend on signatures, authorizations, conventions, and legal institutions. A mere collection of ink marks may be insufficient if the practice that confers validity is absent. Yet it would be excessive to declare a wholly separate immaterial contract-fact whenever an ordinary relational and institutional explanation is adequate. The truthmaker problem asks what combination of objects, practices, rules, and recognition supplies the relevant ground (Asay, 2023).

Digital records create an especially transparent example. A repository can hold a sentence declaring that a release occurred, but the inscription itself may be inaccurate. A verified commit, release act, or deployment event can supply evidence and, depending on the proposition, part of the reality making it true. The provenance of a record and the truth of its content are separate issues. This illustrates how a theory of truthmakers can discipline archival claims without conflating semantic correctness, source authenticity, and worldly occurrence.

A Systematic Evaluation of the Competing Programs

The competing programs can be assessed by four criteria: explanatory discrimination, modal adequacy, ontological accountability, and range of application. Explanatory discrimination requires that a truthmaker be relevant to the proposition it supports. Modal adequacy asks whether it is possible for the proposed ground to exist while the proposition is false. Ontological accountability demands an independently intelligible account of the entity. Range of application asks which classes of truths the view can explain without improvised exceptions. A theory succeeds when these criteria support one another, rather than when it optimizes one by sacrificing the others.

Fact-based necessitarianism handles ordinary contingent predications elegantly but faces questions about negative and general facts. Trope-based approaches have a parsimonious strategy for particularized qualities but must explain relations and complex truths. Bare-particular proposals require substantial essentialist supplementation. Maximalism delivers the widest aspiration and the heaviest difficult-case burden. Restricted truthmaking offers economy but owes a principled boundary. Global supervenience avoids local object commitments while tending to underdetermine explanation. Grounding-based proposals secure direction at the risk of replacing an objectual program with a sentential one. World-monism offers a uniquely fundamental truthmaker but relies on supplementary structure to distinguish local grounds (Armstrong, 2004; Merricks, 2007; Schaffer, 2010; Asay, 2020).

The analysis suggests a hierarchy of claims rather than a universal formula. The weakest claim is that truth varies with relevant worldly conditions. A stronger claim is that for some class of truths there are independently characterized ontological explanations. Stronger still is the thesis that each such truth has a specific entity whose existence necessitates it. The strongest claim asserts this for every truth and for a uniform account of truthmaking. Each ascent adds substantive commitments. Defending the earlier claims provides no automatic warrant for the later ones.

One lesson concerns dialectical burden. Critics of an ontology cannot infer a deficiency merely because it declines to admit their preferred truthmaking entities. They must defend the principle that creates the deficiency. Defenders cannot infer success merely by giving a name to a fact; they must show why the fact exists, what its essence is, and how it explains the truth. This is particularly important when the alleged entity has been individuated by the very truth it is summoned to support.

A second lesson concerns philosophical realism. The objectivity of many truths is compatible with disagreement about their truthmakers. Reality can settle that a glass shattered even when metaphysicians differ about whether its truthmaker is an event, a state of affairs, a trope-complex, or a region of the world. Those disputes concern the articulation of reality, not necessarily the initial objectivity of truth. This distinction prevents an ontology of truthmakers from being mistaken for an exhaustive definition of truth.

Open Philosophical Questions

The first unresolved issue is the identity of facts and states of affairs. If such entities exist, what are their criteria of individuation? Must two logically equivalent truths correspond to a single fact or to different facts when their subjects differ? A theory that answers solely from propositional form risks deriving ontology from representation; a theory that insists on independent worldly structure must specify it.

The second issue is the correct force of necessitation. Is strict metaphysical necessitation indispensable, or can explanatory relevance be present without it under alternative theories of essence and modality? The third is the scope of maximalism. The treatment of negative, general, necessary, and temporal truths appears to determine the plausibility of unrestricted truthmaking far more than routine positive predications do (MacBride, 2024; Jago, 2018).

The fourth issue is whether truthmaking requires a unique kind of metaphysical relation. The ordinary use of 'because' sometimes explains truths without reifying distinct objects, while metaphysical explanation sometimes requires explicit states, powers, or events. A complete account must tell us how objectual truthmakers and fact-to-fact grounding relate. The fifth is what constitutes sufficient relevance: aboutness, subject matter, essence, causal structure, exact verification, or some combination (Schnieder, 2006; Fine, 2017b).

The sixth concerns truthbearer ontology. If propositions are abstract objects, the relation between a concrete truthmaker and an abstract truthbearer is cross-categorial. If truthbearers are situated judgments, context and temporal change become central. An adequate theory cannot permanently bracket the problem by using the word 'proposition' without interpretation.

Finally, the epistemology of truthmaker claims remains open. The philosopher's confidence that an entity makes a truth true may depend on scientific theory, metaphysical intuition, logical consistency, or comparative explanatory virtue. These different warrants must be distinguished. The prospect of experimentally informed metaphysics does not erase the metaphysical task of specifying what an observation tells us about ontological dependence.

Philosophical Synthesis

The history of truthmaking reveals a recurring aspiration: to understand truth through the structure of the world that true representations concern. Russell's facts, the dependent moments of Mulligan, Simons, and Smith, Armstrong's obtaining states of affairs, and modern grounding and exact semantic frameworks provide distinct implementations. The variations should be understood as answers to a shared question under different ontological assumptions. They do not amount to a single doctrine merely expressed in changing terminology.

The analysis establishes a disciplined principle of ontological answerability. For any substantive class of contingent claims, a metaphysical theory that accepts their truth must identify the worldly conditions under which they obtain and explain how those conditions are represented. This requirement does not presuppose that every claim has a discrete object-like truthmaker, that each difference in sentence structure reveals a difference in fact structure, or that truthmaking is always necessitating. It states a research obligation that can be discharged by different defensible ontological models.

Three questions then organize each application. First, what is the content and type of the truthbearer? Second, which features of reality provide explanatory support? Third, what dependence relation connects them? These questions should be answered in that order when a philosophical proposal is evaluated. Beginning with an unrestricted formula risks identifying truthmakers solely by stipulation; beginning with a theory's ontology alone risks overlooking the differences its truths demand.

In positive contingent cases, independently characterized states of affairs, events, or tropes provide intelligible candidate answers. In negative and general cases, the burden shifts to completeness and absence, where maximalism and restricted accounts diverge. In modal and mathematical cases, essence, laws, possibility, and abstract ontology become decisive. In temporal and social cases, the ontology of persistence and institutional practices matters. This domain-specific distribution is a consequence of the investigated problems, not an arbitrary classification.

The final conceptual distinction concerns metaphysical truthmaking, semantic exactness, and epistemic evidence. A worldly entity may make a proposition true; a formal state may exactly verify its content; a record may justify belief in it. Those are three different relations, even when they converge in a successful inquiry. Their separation creates a clearer ontology and a more rigorous theory of representation. Truthmaker theory contributes most when it makes these explanatory obligations visible and testable against actual metaphysical commitments.

Conclusion

Truthmakers are proposed worldly grounds of true representations. The modern debate concerns what counts as such a ground, whether its existence must necessitate truth, which truths require truthmakers, and which ontological categories are able to play the role. The central contributions of the literature are the distinction between truth and its bearers, the demand for ontological explanation of contingent predication, and the difficult-case tests furnished by negation, generality, modality, time, and mathematics.

The reconstructed arguments show that necessitation by itself does not establish truthmaking: relevance and explanatory direction must also be supplied. The most successful positive-state accounts require independently motivated categories of states of affairs, tropes, or events. Maximalism is an ambitious and coherent program only where its responses to negative and general truths carry a defensible ontology. Restricted theories and supervenience accounts preserve significant insights while accepting a more modest explanatory scope. Grounding and exact semantics enrich the analysis but should be distinguished from the objectual ontology of truthmakers.

The completed research therefore supports ontological answerability as a method of philosophical evaluation. Truths about the world demand an account of the relevant features of the world; the step from this demand to a uniform existential principle needs further argument. This conclusion preserves the fundamental insight of the truthmaker tradition while identifying the precise premises on which its stronger metaphysical theses depend.