Mark Jago argues for truthmaker maximalism in some recent papers based on a key premise: that every truth could have a truthmaker. Jago contends that many would pretheoretically accept this principle and that counterexamples to it would be difficult to find. In this note, I show how truthmaker non-maximalists can use a modified version of Peter Milne's argument against maximalism to provide a counterexample to this key premise.

According to truthmaker maximalism, each truth has a truthmaker. Peter Milne has attempted to refute truthmaker maximalism on mere logical grounds via the construction of a self-referential truthmaker sentence M “saying” of itself that it doesn’t have a truthmaker. Milne argues that M turns out to be a true sentence without a truthmaker and thus provides a counterexample to truthmaker maximalism. In this paper, I show that Milne’s refutation of truthmaker maximalism does not succeed. In particular, I argue that the (...) notion of truthmaker meets two structural principles which, if added to a formal language of a theory, are already sufficient to produce a provable contradiction—a contradiction that gives rise to a socalled “Truthmaker paradox”. I also address the question of how to possibly resolve the Truthmaker paradox. I thereby show that the Truthmaker paradox, just as the strengthened Liar paradox, yields a “revenge problem” for paracomplete theories and might lead to triviality for Priest’s dialetheist account LP if the notion of truthmaker is defined as a certain semantic predicate within LP. But regardless of how one tries to cope with the Truthmaker paradox, this paradox is surely interesting in its own right. However, its significance is completely orthogonal to the question of whether truthmaker maximalism is a philosophically sound view. (shrink)

This article for the Stanford Encyclopedia for Philosophy provides a state of the art survey and assessment of the contemporary debate about truth-makers, covering both the case for and against truth-makers. It explores 4 interrelated questions about truth-makers, (1) What is it to be a truth-maker? (2) Which range, or ranges, of truths are eligible to be made true (if any are)? (3) What kinds of entities are truth-makers? (4) What is the motivation for adopting a theory of truth-makers? And (...) adds that there's another question to often put aside by metaphysicians but has critical consequences for truth-makers: (5) What are the truth-bearers? (shrink)

Milne [2005] argued that a sentence saying of itself that it does not have a truthmaker is true but does not have a truthmaker. López de Sa and Zardini [2006] worried that, by parity of reasoning, one should conclude that a sentence saying of itself that it is not both true and short is true but not short. Recently, Milne [2013] and Gołosz [2015] have replied to López de Sa and Zardini’s worry, arguing in different ways that the worry is (...) illfounded. In this paper, I’ll address these replies and argue that they fail to dispel López de Sa and Zardini’s worry, bringing out in the process some broader points concerning the use of self-referential sentences in arguments in philosophy of logic. (shrink)