  There is one straightforward difference between truthmaker theory and most correspondence theories. The latter are designed to answer the question “What is truth?”. Simple (unmodified) correspondence theories center on a biconditional, such as “x is true iff x corresponds to a fact”, intended to convey a definition of truth (at least a “real definition” which does not commit them to the claim that the term “true” is synonymous with “corresponds to a fact”—especially nowadays most correspondence theorists would consider such a claim to be implausibly and unnecessarily bold). Modified correspondence theories also aim at providing a definition of truth, though in their case the definition will be considerably more complex, owing to the recursive character of the account. Truthmaker theory, on the other hand, centers on the truthmaker principle: For every truth there is something that makes it true. Though this principle will deliver the biconditional “x is true iff something makes x true” (since “something makes x true” trivially implies “x is true”), this does not yield a promising candidate for a definition of truth: defining truth in terms of truthmaking would appear to be circular. Unlike most correspondence theories, truthmaker theory is not equipped, and usually not designed, to answer the question “What is truth?”—at least not if one expects the answer to take the form of a feasible candidate for a definition of truth.