Truthmaker theory¶

Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists".

Version: v1 · 2026-09-28 · History
Domain-specific #: 12650
Domain group: Humanities
Origin domain: Philosophy
Subdomain: Metaphysics → Philosophy

Core Idea¶

Truthmaker theory is treated here as the recurring cross_domain_models_structures_representations identity summarized by this source-grounded definition: Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists".

Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists". The basic intuition behind truthmaker theory is that truth depends on being. For example, a perceptual experience of a green tree may be said to be true because there actually is a green tree.

But if there were no tree there, it would be false. So the experience by itself does not ensure its truth or falsehood, it depends on something else. Expressed more generally, truthmaker theory is the thesis that "the truth of truthbearers depends on the existence of truthmakers".

For Truthmaker theory, the abstraction is narrower than the article's general subject matter: a positive case must preserve Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists". Retaining only the name, a familiar example, or a downstream effect is insufficient. The specialist roles and tests remain anchored in cross_domain_models_structures_representations, which is why this identity is domain-specific rather than prime.

Structural Signature¶

Sig role-phrases:

Defining carrier — So the experience by itself does not ensure its truth or falsehood, it depends on something else.
Constitutive relation — Truthmaker atomism remains true to the basic intuition that truth depends on being by holding that the truth of molecular sentences depends on the truth of atomic sentences, whose truth in turn depends on being.
Operating condition — In any case, the truthmaker is supposed to be something concrete, and on the first view is that whose existence is reported by the truthbearer and on the second view is that which the truthbearer is about.
Recognition evidence — Truthmaker non-maximalists still count as truthmaker theorists in the sense that they hold onto the core intuition of truthmaker theory that truth depends on being.
Admissible variation — For example, "The sun is shining" is an atomic sentence while "The sun is shining and the wind is blowing" is a non-atomic or molecular sentence since it is made up of two sentences linked by the conjunction "and".
Characteristic consequence — But the fact that the truth values of molecular sentences depends on the truth values of its constituents (if only truth-functional connectives are allowed) ensures that truth still depends on being.
Failure boundary — The correspondence theory of truth states that truth consists in correspondence with reality.

What It Is Not¶

Not the whole field of cross_domain_models_structures_representations. The node requires the specific identity stated by Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists".
Not an over-broad reading. Mulligan et al. explore extensions of this idea to sentences of other sorts, but they do not embrace any position of truthmaker maximalism, according to which every truthbearer has a truthmaker.
Not an over-broad reading. In the example of asking if unicorns exist, proposals include the totality of all things, or some worldly state of affairs such as x1's not being a unicorn, x2's not being a unicorn, ..., and everything's being x1, or x2, or ...
Not an over-broad reading. A sentence is atomic or simple if it does not have other sentences as proper parts.
Not automatically Transcendental idealism. Retrieval proximity does not establish equivalence; the two identities must be compared by carrier, operation, and failure boundary.

Scope of Application¶

Truthmaker theory applies literally inside cross_domain_models_structures_representations wherever the source-defined carrier and relation can be established. Its documented habitats include:

Truthmaker gaps. But the fact that the truth values of molecular sentences depends on the truth values of its constituents (if only truth-functional connectives are allowed) ensures that truth still depends on being.
Applications. Arguments based on truthmaker theory have been used in various fields to criticize so-called "ontological cheaters".
Applications. Defense strategies open to theorists accused of ontological cheating include denying that the proposition in question is true, denying the legitimacy of truthmaker theory as a whole or finding a so-called "proxy" or "trace" within their preferred ontology.
Phenomenalism. This includes for example the belief that valuables locked inside a safe do not cease to exist despite the fact that no one observes them in there, which would, of course, defeat the purpose of locking them inside in the first place.
Truthmaker gaps. In propositional calculus molecular sentences are composed through truth-functional logical connectives.
Overview. In Truth-Makers (1984), Kevin Mulligan, Peter Simons and Barry Smith introduced the truth-maker idea as a contribution to the correspondence theory of truth.

Outside cross_domain_models_structures_representations, the name should be retained only when these same operational conditions survive; otherwise the comparison belongs to the broader parent Theory or should be marked as analogy.

Clarity¶

A clear use of Truthmaker theory names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists". The strongest recognition evidence in the frozen account is: Truthmaker non-maximalists still count as truthmaker theorists in the sense that they hold onto the core intuition of truthmaker theory that truth depends on being. A report should distinguish that evidence from a proxy, consequence, or common implementation. It should also state the qualification Mulligan et al. explore extensions of this idea to sentences of other sorts, but they do not embrace any position of truthmaker maximalism, according to which every truthbearer has a truthmaker. so that a reader can reproduce the classification rather than infer it from topical resemblance.

Manages Complexity¶

Truthmaker theory compresses multiple cross_domain_models_structures_representations details into a stable diagnostic relation. The source shows both the central mechanism—truthmaker atomism remains true to the basic intuition that truth depends on being by holding that the truth of molecular sentences depends on the truth of atomic sentences, whose truth in turn depends on being.—and the practical consequence—but the fact that the truth values of molecular sentences depends on the truth values of its constituents (if only truth-functional connectives are allowed) ensures that truth still depends on being. This compression makes cases comparable while leaving parameters, conventions, exceptions, and evidential quality explicit. It is lossy by design: local history and implementation details may be omitted only when they do not alter the defining relation.

Abstract Reasoning¶

Type the carrier. Identify the cross_domain_models_structures_representations entities to which the claim applies.
State the relation. Use the source-grounded identity: Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists".
Check operation and conditions. In any case, the truthmaker is supposed to be something concrete, and on the first view is that whose existence is reported by the truthbearer and on the second view is that which the truthbearer is about.
Demand recognition evidence. Truthmaker non-maximalists still count as truthmaker theorists in the sense that they hold onto the core intuition of truthmaker theory that truth depends on being.
Test variation. Change an implementation or setting while preserving for example, "The sun is shining" is an atomic sentence while "The sun is shining and the wind is blowing" is a non-atomic or molecular sentence since it is made up of two sentences linked by the conjunction "and".
Run the collapse test. Remove the defining operation; if the label still seems equally apt, only a topic or correlate was retained.
Reduce cautiously. When the specialist conditions cannot be carried, route the residual comparison to Theory.

Knowledge Transfer¶

Within the home domain. Knowledge about Truthmaker theory transfers literally when a new case preserves the same carrier type, relation, and recognition test. But the fact that the truth values of molecular sentences depends on the truth values of its constituents (if only truth-functional connectives are allowed) ensures that truth still depends on being. Arguments based on truthmaker theory have been used in various fields to criticize so-called "ontological cheaters".

Beyond the home domain. No canonical parent is asserted for Truthmaker theory. An outside case receives the specialist name only when the same typed roles and rejection conditions can be filled literally; otherwise the comparison remains an analogy pending later graph densification.

Examples¶

Canonical¶

Logically atomic empirical sentences such as "John kissed Mary" have truthmakers, typically events or tropes corresponding to the main verbs of the sentences in question. This case is canonical because it supplies a concrete carrier and lets the defining relation be checked rather than merely named.

Mapped back: carrier → the entities in the documented case; operation → Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists"; recognition evidence → Truthmaker non-maximalists still count as truthmaker theorists in the sense that they hold onto the core intuition of truthmaker theory that truth depends on being

Applied / In Practice¶

This maximalist position leads to philosophical difficulties, such as the question of what the truthmaker for an ethical, modal or mathematical truthbearer could be. The applied case shows how the identity is used under a second setting or qualification while keeping the same operative relation.

Mapped back: changed setting → Overview; invariant → Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists"; boundary → the case exits the class when mulligan et al. explore extensions of this idea to sentences of other sorts, but they do not embrace any position of truthmaker maximalism, according to which every truthbearer has a truthmaker

Structural Tensions¶

T1 — Stable identity versus admissible variation. Mulligan et al. explore extensions of this idea to sentences of other sorts, but they do not embrace any position of truthmaker maximalism, according to which every truthbearer has a truthmaker. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Which changes preserve the defining relation, and which replace it?

T2 — Recognition versus proxy. In the example of asking if unicorns exist, proposals include the totality of all things, or some worldly state of affairs such as x1's not being a unicorn, x2's not being a unicorn, ..., and everything's being x1, or x2, or ... The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the cited evidence establish the identity or only a correlated sign?

T3 — Definition versus implementation. A sentence is atomic or simple if it does not have other sentences as proper parts. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Is the observed implementation constitutive, optional, or merely common?

T4 — Scope versus overextension. While it seems natural to combine truthmaker theory with a correspondence-conception of truth, this is not necessary. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Can every claimed application fill the same typed roles without metaphor?

T5 — Transfer versus domain accent. So the experience by itself does not ensure its truth or falsehood, it depends on something else. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the receiving case instantiate Truthmaker theory literally, co-instantiate Theory, or only resemble it?

T6 — Autonomy versus reduction. Truthmaker atomism remains true to the basic intuition that truth depends on being by holding that the truth of molecular sentences depends on the truth of atomic sentences, whose truth in turn depends on being. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: What does Truthmaker theory distinguish that the broader parent Theory leaves together?

Structural–Framed Character¶

Truthmaker theory is mixed or framed-leaning. Its structural side is the repeatable organization summarized by Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists". Its framed side is the cross_domain_models_structures_representations vocabulary that fixes the carrier, evidence, exceptions, and admissible transformations.

Evaluative weight: the identity can be stated descriptively even when applications carry practical stakes. Human-practice dependence: the source-grounded carrier determines whether the relation exists independently or is constituted by a practice. Institutional origin: disciplinary conventions stabilize the name and test. Vocabulary portability: In any case, the truthmaker is supposed to be something concrete, and on the first view is that whose existence is reported by the truthbearer and on the second view is that which the truthbearer is about. Import versus recognition: literal transfer requires the same mechanism; shape alone is analogy.

Its portable skeleton is Theory. Its character: a recurring specialist identity whose thin organization can be abstracted, while its operational meaning remains domain-bound.

Structural Core vs. Domain Accent¶

What is skeletal. Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists". The stable skeleton is the typed relation expressed in that definition and the entry's recognition and collapse tests. The source identifies these operative conditions: So the experience by itself does not ensure its truth or falsehood, it depends on something else. Truthmaker atomism remains true to the basic intuition that truth depends on being by holding that the truth of molecular sentences depends on the truth of atomic sentences, whose truth in turn depends on being. It further constrains recognition and variation through: In any case, the truthmaker is supposed to be something concrete, and on the first view is that whose existence is reported by the truthbearer and on the second view is that which the truthbearer is about. Truthmaker non-maximalists still count as truthmaker theorists in the sense that they hold onto the core intuition of truthmaker theory that truth depends on being.

What is domain-bound. cross domain models structures representations supplies the operative entities, technical vocabulary, warrants, and exceptions that make Truthmaker theory literal. Its documented scope includes the condition that But the fact that the truth values of molecular sentences depends on the truth values of its constituents (if only truth-functional connectives are allowed) ensures that truth still depends on being. Another bounded application condition is that Arguments based on truthmaker theory have been used in various fields to criticize so-called "ontological cheaters". These are not decorative examples; they determine which carrier and evidence can fill the abstraction's roles.

Why no parent is asserted. Removing those specialist details does not currently yield one live catalog node that is a necessary genus for every instance. The entry is therefore approved as unparented rather than attached by topical resemblance. Its collapse evidence remains specific—For example, "The sun is shining" is an atomic sentence while "The sun is shining and the wind is blowing" is a non-atomic or molecular sentence since it is made up of two sentences linked by the conjunction "and".—and future graph densification may discover a defensible relation only if it preserves that boundary.

This entry is a kind of Theory.

Approved unparented node. No current live node supplies a defensible necessary genus or structural prerequisite for Truthmaker theory. The reviewed identity is: Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists". The accelerated suggestion was declined because topical or lexical similarity does not establish hierarchy; the node is admitted without a parent pending later graph densification.
Related reasoning operations. Evidence, representation, comparison, classification, transformation, or evaluation may participate in particular cases, but participation does not make any one of them a necessary parent of every instance.

Relationships to Other Abstractions¶

Current abstraction Truthmaker theory Domain-specific

Parents (1) — more general patterns this builds on

Truthmaker theory is a kind of Theory Prime

Truthmaker theory is a strict kind of Theory: its frozen identity entails the parent's defining structure while adding domain-specific restrictions.

Hierarchy paths (2) — routes to 2 parentless roots

Truthmaker theory → Theory → Formalization → Representation → Abstraction

Show alternative path (1)

Neighborhood in Abstraction Space¶

Truthmaker theory sits in a sparse region of the domain-specific corpus (65^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Philosophical Concepts & Thought Experiments (27 abstractions)

Nearest neighbors

Incorrigibility — 0.84
Declarative knowledge — 0.84
Propositional logic — 0.84
Trademark argument — 0.84
Representationalism (Indirect Realism) — 0.84

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Theory. The parent omits the specialist differentia. Tell: Can the case establish Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists"?
Transcendental idealism. Kant’s doctrine that objects of experience appear under a priori forms and categories supplied by cognition, while things in themselves are not thereby known. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Philosophical realism. The stance that entities of a specified kind exist or have facts independently of minds, conceptual schemes, language, or acts of knowing. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Radical constructivism. An epistemology treating knowledge as viable organization of experience rather than verifiable correspondence with a mind-independent world. Tell: Which entry's carrier, operation, and failure condition are satisfied?
A measurement, proxy, or consequence. Those may provide evidence without being the identity. Tell: Would Truthmaker theory remain present if the detector or downstream effect changed?
A metaphorical analogue. A similar shape outside cross_domain_models_structures_representations lacks the specialist mechanism. Tell: Do the native roles transfer literally, or only the parent Theory?

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Truthmaker_theory (revision 1363082604).
Preserved source candidate: https://iep.utm.edu/truth-ma/
Preserved source candidate: https://philpapers.org/rec/MULT
Preserved source candidate: https://philpapers.org/rec/MARSFA-8
Preserved source candidate: https://books.google.com/books?id=QOQttklQo18C
Preserved source candidate: https://philpapers.org/rec/MACEIR
Preserved source candidate: https://philpapers.org/rec/ARMTAT
Preserved source candidate: https://philpapers.org/rec/BERIOA
Preserved source candidate: https://philpapers.org/rec/MAGFXC

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.