Online research in philosophy

The correspondence theory of truth is often thought to be supported by the intuition that if a proposition (sentence, belief) is true, then something makes it true. I argue that this appearance is illusory and is sustained only by a conflation of two distinct notions of truthmaking, existential and non-existential. Once the conflation is exposed, I maintain, deflationism is seen to be adequate for accommodating truthmaking intuitions.

This paper provides an outline of a theory of causal truthmaking according to which contingent truths are made true by causal facts and dispositional mechanisms. These facts and mechanisms serve to account for the truth of propositions by explaining in a non-epistemic fashion why they have come about as truths. Given that negative causation is allowed for, we are able to provide truthmakers for negative truths without making appeal to negative facts, lacks or absences. The paper takes its starting point in the following claims by George Molnar: (1) the world is everything that exists; (2) everything that exists is positive; (3) some negative claims about the world are true; and (4) every true claim about the world is made true by something that exists. The conclusion is reached that we can keep (1–4) in a consistent manner if causal truthmaking is permitted.

The correspondence theory of truth has experienced something of a revival recently in the form of the Truthmaker Axiom: whatever is true, something makes it true. We consider various postulates which have been proposed to characterize truthmaking, in particular, the Disjunction Thesis (DT), that whatever makes a disjunction true must make one or other disjunct true. In conjunction with certain other assumptions, DT leads to triviality. We show that there are elaborations of truthmaking on which DT holds (which must therefore take steps to avoid the triviality); but that there are more plausible accounts of truthmaking on which DT fails.

In §2-4, I survey three extant ways of making sense of indeterminate truth and find each of them wanting. All the later sections of the paper are concerned with showing that the most promising way of making sense of indeterminate truth is via either a theory of truthmaker gaps or via a theory of truthmaking gaps. The first intimations of a truthmaker–truthmaking gap theory of indeterminacy are to be found in Quine (1981). In §5, we see how Quine proposes to solve Unger’s problem of the many via positing the possibility of groundless truth. In §6, I elaborate the truthmaker gap model of indeterminacy first sketched by Sorensen (2001, ch.11) and use it to give a reductive analysis of indeterminate truth. In §7, I briefly assess what kind of formal framework can best express the possibility of truthmaker gaps. In §8, I contrast what I dub ‘the ordinary conception of worldly indeterminacy’ with Williamson’s conception of worldly indeterminacy. In §9, I show how one can distinguish linguistic from worldly indeterminacy on a truthmaker gap conception. In §10, I briefly sketch the relationship between truthmaker gaps and ignorance. In §11, I assess whether a truthmaker gap conception of vagueness is really just a form of epistemicism. In §12, I propose that truthmaker gaps can yield a plausible model of (semantic) presupposition failure. In §13, in response to the worry that a truthmaker gap conception of indeterminacy is both parochial and controversial—since it commits us to an implausibly strong theory of truthmaking—I set forth a truthmaking gap conception of indeterminacy. In §14, I answer the worry that groundless truths, of whatever species, are just unacceptably queer. A key part of this answer is that a truthmaker–truthmaking gap model of indeterminacy turns out to be considerably less queer than any model of indeterminacy which gives up on Tarski’s T-schema for truth (and cognate schemas).

According to one tradition in realist philosophy, ‘truthmaking’ amounts to necessitation. That is, an object x is a truthmaker for the claim A if x exists, and the existence of x necessitates the truth of A. In symbols: E!x ∧ (E!x ⇒ A). I argued in my paper “Truthmakers, Entailment and Necessity” [14], that if we wish to use this account of truthmaking, we ought understand the entailment connective “⇒” in such a claim as a relevant entailment, in the tradition..

For many assertions, the correspondence theory of truth seems intuitively to give the best account of the difference between truth and falsity, but one of its problems is how to explicate the notions of “correspondence” and “truthmaking”. In conformity with the view of David Armstrong, it is claimed that truthmaking is an internal relation between a truthmaker and a truth(-value-)bearer. The truthbearer (a token proposition) can exist without the truthmaker (an object or a state of affairs), and vice versa, but when both exist the truthmaker necessarily makes the truthbearer true and correspondence obtains. Contrary to Armstrong’s reductionist analyses of internal relations and propositions, however, it is argued that internal relations can have a mind-independent existence and “add to being”, that truthbearers and truthmakers are categorially different, and that the correspondence theory of truth requires a distinction between internal relations with heterogeneous and homogeneous relata, respectively.

Truthmakers are supposed to explain the truth of propositions, but it is unclear what kind of explanation truthmakers can provide. In this paper, I argue that ‘truthmaker explanations’ conflate two different explanatory projects. The first project is essentially concerned with truth, while the second project is concerned with reductive explanation. It is the latter project, I maintain, which is really central to truthmaking theory. On this basis, a general account of truthmaking can be formulated, which, when combined with a specific theory of reduction (the ‘conceptual entailment approach’), yields a new analysis of truthmaking. This analysis is intuitively appealing and avoids the problem of necessary truths, which poses a serious obstacle for standard accounts.

Three plausible views—Presentism, Truthmaking, and Independence—form an inconsistent triad. By Presentism, all being is present being. By Truthmaking, all truth supervenes on, and is explained in terms of, being. By Independence, some past truths do not supervene on, or are not explained in terms of, present being. We survey and assess some responses to this.

In recent work on truth and truthmaking, D. M. Armstrong has defended a version of 'truthmaker necessitarianism', the doctrine that truths necessitate truthmakers. Truthmaker necessitarianism, he contends, requires the postulation of 'totality facts', which serve as ingredients of truthmakers for general truths and negative truths, and propositions, which function as the fundamental truth bearers. I argue that neither totality facts nor propositions need figure in an account of truthmaking, and suggest that both are artifacts stemming, albeit in different ways, from an ontologically shady 'linguisticizing' tendency to conflate features of descriptions and features of what is described.

Truths are determined not by what we believe, but by the way the world is. Or so realists about truth believe. Philosophers call such theories correspondence theories of truth. Truthmaking theory, which now has many adherents among contemporary philosophers, is the most recent development of a realist theory of truth, and in this book D. M. Armstrong offers the first full-length study of this theory. He examines its applications to different sorts of truth, including contingent truths, modal truths, truths about the past and the future, and mathematical truths. In a clear, even-handed and non-technical discussion he makes a compelling case for truthmaking and its importance in philosophy. His book marks a significant contribution to the debate and will be of interest to a wide range of readers working in analytical philosophy.