Amongst those who feel the pull of the truthmaker principle (that truths require for their truth a truthmaker to exist), there is disagreement as to whether it applies to all truths or merely to some distinguished subset. Those in the latter camp, the non-maximalists, argue that there are no ducks in my bath is true not because of something’s existence, but because of the lack of ducks in my bath. Maximalists, by contrast, insist that truths are made true (...) by something’s existence, and so appear to be committed to strange ‘negative’ entities in their ontology. As a consequence, non-maximalists appear to have a more common-sense ontology than maximalists. But things are not so straightforward. I will argue that if maximalism is committed to strange entities then so is non-maximalism; and if non-maximalism can do without strange entities, then so can maximalism. Either way, the non-maximalist has no ontological advantage over the maximalist. (shrink)
Epistemicism about vagueness is the view that vagueness, or indeterminacy, is an epistemic matter. Truthmaker-gap epistemicism is the view that indeterminate truths are indeterminate because their truth is not grounded by any worldly fact. Both epistemicism in general and truthmaker-gap epistemicism originated in Roy Sorensen's work on vagueness. My aim in this paper is to give a characterization of truthmaker-gap epistemicism and argue that the view is incompatible with higher-order vagueness: vagueness in whether some case of the (...) form ‘it is determinate that A’ or ‘it is indeterminate whether A’ is true. Since it is highly likely that there is higher-order vagueness (and indeed, Sorensen is adamant that there is higher-order vagueness), truthmaker-gap epistemicism is in an uncomfortable position. (shrink)
I argue that the truthmaker theorist should be a priority monist if she wants to avoid commitment to mysterious necessary connections. In section 1 I briefly discuss the ontological options available to the truthmaker theorist. In section 2 I develop the argument against truthmaker theory from the Humean denial of necessary connections. In section 3 I offer an account of when necessary connections are objectionable. In section 4 I use this criterion to narrow down the options from (...) section 1. In section 5 I argue that the account leads us to priority monism. (shrink)
I argue that the one and only truthmaker is the world. This view can be seen as arising from (i) the view that truthmaking is a relation of grounding holding between true propositions and fundamental entities, together with (ii) the view that the world is the one and only fundamental entity. I argue that this view provides an elegant and economical account of the truthmakers, while solving the problem of negative existentials, in a way that proves ontologically revealing.
On the truthmaker view of ontological commitment [Heil (From an ontological point of view, 2003); Armstrong (Truth and truthmakers, 2004); Cameron (Philosophical Studies, 2008)], a theory is committed to the entities needed in the world for the theory to be made true. I argue that this view puts truthmaking to the wrong task. None of the leading accounts of truthmaking—via necessitation, supervenience, or grounding—can provide a viable measure of ontological commitment. But the grounding account does provide a needed constraint (...) on what is fundamental. So I conclude that truthmaker commitments are not a rival to quantifier commitments, but a needed complement. The quantifier commitments are what a theory says exists, while the truthmaker commitments are what a theory says is fundamental. (shrink)
When there is truth, there must be some thing (or things) to account for that truth: some thing(s) that couldn’t exist and the true proposition fail to be true. That is the truthmaker principle. True propositions are made true by entities in the mind-independently existing external world. The truthmaker principle seems attractive to many metaphysicians, but many have wanted to weaken it and accept not that every true proposition has a truthmaker but only that some important class (...) of propositions require truthmakers.1 Let us, following Armstrong, call the claim that all true propositions, without exception, have a truthmaker, Truthmaker Maximalism. Why might one be tempted to the spirit of truthmaker theory but reject Truthmaker Maximalism? Well, you might deny that necessary truths need truthmakers, for one, and insist that only contingent truths have truthmakers. But I think it’s fair to say that the most common motivation for rejecting maximalism concerns negative truths. The thought that negative truths are exempt from the demand for truthmakers could be justified in one of two ways: there is the claim that we don’t need truthmakers for negative truths, and there is the claim that we can’t have.. (shrink)
This paper argues that a consideration of the problem of providing truthmakers for negative truths undermines truthmaker theory. Truthmaker theorists are presented with an uncomfortable dilemma. Either they must take up the challenge of providing truthmakers for negative truths, or else they must explain why negative truths are exceptions to the principle that every truth must have a truthmaker. The first horn is unattractive since the prospects of providing truthmakers for negative truths do not look good neither (...) absences, nor totality states of affairs, nor Graham Priest and J.C. Beall’s ‘polarities’ (Beall, 2000; Priest, 2000) are up to the job. The second horn, meanwhile, is problematic because restricting the truthmaker principle to atomic truths, or weakening it to the thesis that truth supervenes on being, undercuts truthmaker theory’s original motivation. The paper ends by arguing that truthmaker theory is, in any case, an under-motivated doctrine because the groundedness of truth can be explained without appeal to the truthmaker principle. This leaves us free to give the ommonsensical and deflationary explanation of negative truths that common-sense suggests. (shrink)
In this paper I examine two principles of orthodox truthmaker theory: truthmaker maximalism - the doctrine that every (contingent) truth has a truthmaker, and truthmaker necessitarianism - the doctrine that the existence of a truthmaker necessitates the truth of any proposition which it in fact makes true. I argue that maximalism should be rejected and that once it is we only have reason to hold a restricted form of necessitarianism.
Recent discussion of the problem of negative existentials for truthmaker theory suggests a modest solution to the problem: fully general negative truths like do not require truthmakers, whereas partially general negative truths like do. This modest solution provides a third alternative to the two standard solutions to the problem of negative existentials: the endorsement of truthmaker gaps, and the appeal to contentious ontological posits. We argue that this modest, middle-ground position is inconsistent with certain plausible general principles for (...) truthmaking. The only stable positions are to treat all negative truths as requiring truthmakers, or admit that no negative truths require truthmakers. Along the way, we explore some previously unaddressed questions for nonmaximalist truthmaker theory. (shrink)
Consider the following sentences: The neighbouring sentence is not true. The neighbouring sentence is not true. Call these the no-no sentences. Symmetry considerations dictate that the no-no sentences must both possess the same truth-value. Suppose they are both true. Given Tarski’s truth-schema—if a sentence S says that p then S is true iff p—and given what they say, they are both not true. Contradiction! Conclude: they are not both true. Suppose they are both false. Given Tarski’s falsity-schema—if a sentence S (...) says that p then S is false iff not-p—and given what they say, they are both true, and so not false. Contradiction! Conclude: they are not both false. Thus, despite their symmetry, the no-no sentences must differ in truth-value. Such is the no-no paradox.[1] Sorensen (2001, 2005a, 2005b) has argued that: (1) The no-no paradox is not a version of the liar but rather a cousin of the truth-teller paradox. (2) Even so, the no-no paradox is more paradoxical than the truth-teller. (3) The no-no and truth-teller sentences have groundless truthvalues—they are bivalent but give rise to “truthmaker gaps”. (4) It is metaphysically impossible to know these truth-values. (5) A truthmaker gap response to the no-no paradox provides reason to accept a version of epistemicism. In this paper it is shown that a truthmaker gap solution to the no-no and truth-teller paradoxes runs afoul of the dunno-dunno paradox, the strengthened no-no paradox, and the strengthened truth-teller paradox. In consequence, the no-no paradox is best seen as a form of the liar paradox. As such, it cannot provide a case for epistemicism. (shrink)
In his two recent books on ontology, Universals: an Opinionated Introduction, and A World of States of Affairs, David Armstrong gives a new argument against nominalism. That argument seems, on the face of it, to be similar to another argument that he used much earlier against Rylean behaviourism: the Truthmaker Argument, stemming from a certain plausible premise, the Truthmaker Principle. Other authors have traced the history of the truthmaker principle, its appearance in the work of Aristotle [10], (...) Bradley [16], and even Husserl [15]. But that is not my task — in this paper I argue that Armstrong’s new argument is not logically analogous to the old, and, in particular, that it is quite possible to be a thoroughgoing nominalist, and hold a truthmaker principle. (shrink)
We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion (...) of projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (shrink)
I argue that Traditional Christian Theism is inconsistent with Truthmaker Maximalism, the thesis that all truths have truthmakers. Though this original formulation requires extensive revision, the gist of the argument is as follows. Suppose for reductio Traditional Christian Theism and the sort of Truthmaker Theory that embraces Truthmaker Maximalism are both true. By Traditional Christian Theism, there is a world in which God, and only God, exists. There are no animals in such a world. Thus, it is (...) true in such a world that there are no zebras. That there are no zebras must have a truthmaker, given Truthmaker Maximalism. God is the only existing object in such a world, and so God must be the truthmaker for this truth, given that it has a truthmaker. But truthmakers necessitate the truths they make true. So, for any world, at any time at which God exists, God makes that there are no zebras true. According to Traditional Christian Theism, God exists in our world. In our world, then, it is true: there are no zebras. But there are zebras. Contradiction! Thus, the conjunction of Traditional Christian Theism with Truthmaker Necessitation and Truthmaker Maximalism is inconsistent. (shrink)
Truthmaker theorists hold that propositions about higher-level entities (e.g. the proposition that there is a heap of sand) are often made true by lower-level entities (e.g. by facts about the configuration of fundamental particles). This generates a problem: what should we say about these higher-level entities? On the one hand, they must exist (since there are true propositions about them), on the other hand, it seems that they are completely superfluous and should be banished for reasons of ontological parsimony. (...) Some truthmaker theorists—most prominently David Armstrong—have tried to solve this puzzle by arguing that these entities are ‘an ontological free lunch’, i.e. real existents that are still ‘no addition of being’. This answer is prima facie attractive, but I argue in this paper that the standard approaches to truthmaking—modal theories and grounding theories—are unable to vindicate the doctrine of the ontological free lunch, and thus fail to solve the problem of higher-level entities. Fortunately, there is a non-standard account of truthmaking available, the reductive explanation account, which succeeds where the standard approaches fail. (shrink)
We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion (...) of projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (shrink)
A line of argument, presented by David Lewis, to show that the correspondence theory of truth is not a real alternative to deflationism is developed. It is shown that truthmakers, construed as concrete events or states of affairs, are unsatisfactory entities, since we do not know how to individuate them or how to identify their essential qualities. Furthermore, the real work is usually done by supervenience relations, which have little to do with truth. It is argued that the Equivalence Schema (...) is quite sufficient to yield a unitary property of being true, and that this generates a weak, but non-trivial, version of the correspondence theory of truth. (shrink)
I will present and criticise the two theories of truthmaking David Armstrong offers us in Truth and Truthmakers (Armstrong 2004), show to what extent they are incompatible and identify troublemakers for both of them, a notorious – Factualism, the view that the world is a world of states of affairs – and a more recent one – the view that every predication is necessary. Factualism, combined with truthmaker necessitarianism – ‘truthmaking is necessitation’ – leads Armstrong to an all-embracing totality (...) state of affairs that necessitates not only everything that is the case but also everything else – that which is not the case, that which is merely possible or even impossible. All the things so dear to realists – rocks, natural properties, real persons – become mere abstractions from this ontological monster. The view that every predication is necessary does in some sense the opposite: it does away with totality states of affairs and, arguably, also with states of affairs. We have particulars and universals, partially identical and necessarily connected to everything else. Just by the existence of anything, everything is necessitated – the whole world mirrored in every monad. Faced with the choice between these two equally unappealing alternatives, I suggest returning to Armstrong’s more empiricist past: the world is not an all-inclusive One, nor necessitated by every single particular and every single universal, but a plurality of particulars and universals, interconnected by a contingent and internal relation of exemplification. While a close variant, truthmaker essentialism, can perhaps be saved, this means giving up on truthmaker necessitarianism. This, I think, what it takes to steer a clear empiricist course between the Scylla of Spinozist general factness and the Charybdis of a Leibnizian overdose of brute necessities. (shrink)
Recently, nominalists have made a case against the Quine–Putnam indispensability argument for mathematical Platonism by taking issue with Quine’s criterion of ontological commitment. In this paper I propose and defend an indispensability argument founded on an alternative criterion of ontological commitment: that advocated by David Armstrong. By defending such an argument I place the burden back onto the nominalist to defend her favourite criterion of ontological commitment and, furthermore, show that criterion cannot be used to formulate a plausible form of (...) the indispensability argument. (shrink)
This paper is about The Truthmaker Problem for Presentism. I spell out a solution to the problem that involves appealing to indeterministic laws of nature and branching semantics for past- and future-tensed sentences. Then I discuss a potential glitch for this solution, and propose a way to get around that glitch. Finally, I consider some likely objections to the view offered here, as well as replies to those objections.
In this paper I undermine the Entailment Principle according to which if an entity is a truthmaker for a certain proposition and this proposition entails another, then the entity in question is a truthmaker for the latter proposition. I argue that the two most promising versions of the principle entail the popular but false Conjunction Thesis, namely that a truthmaker for a conjunction is a truthmaker for its conjuncts. One promising version of the principle understands entailment (...) as strict implication but restricts the field of application of the principle to purely contingent truths (i.e. those that contain no necessary proposition at any level of analysis). But a conjunction of purely contingent truths strictly implies its conjuncts. So this version of the principle is committed to the Conjunction Thesis. The same is true of the version of the principle where entailment is understood in the sense of systems T, R, and E of relevant logic, since in these systems conjunctions entail their conjuncts. I argue that the Conjunction Thesis is false because a truthmaker is that in virtue of what a certain proposition is true and it is false that, for example, what the proposition that Peter is a man is true in virtue of is the conjunctive fact that Peter is man and Saturn is a planet (or the facts that Peter is a man and that Saturn is a planet taken together). I also argue against other versions of the principle. (shrink)
Gonzalo Rodriguez-Pereyra (2006) argues against attempts to preserve the entailment principle (or a restriction of it) while avoiding the explosion of truthmakers for necessities and truthmaker triviality. In doing so, he both defends the disjunction thesis--if something makes true a disjunctive truth, then it makes true one of its disjuncts--, and rejects the conjunction thesis--if something makes tue a conjunctive truth, then it makes true each of its conjuncts. In my discussion, I provide plausible counterexamples to the disjunction thesis, (...) and contend that Rodriguez-Pereyra's general defence of it fails. Then I defend the conjunction thesis from Rodriguez-Pereyra's case against it. (shrink)
Analyzes difficult case in the theory of truthmaking. Account on the notion of a truthmaker by philosopher Bertrand Russell; Context of the correspondence theory of truth; Requisites of a truthmaker; Discussion on negative truths, universally quantified truths and modal truths.
Standard truthmaker theory is committed to the existence of de re modal properties. But there are reasons to be skeptical about a fully realist account of de re modality. Can truthmaker theory survive in the face of such skepticism? In this paper, I argue that it can, but that only certain anti-realist perspectives on de re modality are acceptable for truthmaker theory. In particular, either a quasi-realist or conventionalist account of de re modality is needed to provide (...) the best account of essential and accidental properties that can be put to work in truthmaker theory. An added bonus of this approach is that it offers a powerful account of truthmaker theory that is consistent with robust nominalism about properties. (shrink)
After sketching some aspects of truthmaker doctrines and "truthmaker projects", and canvassing some prima facie objections to the latter, I turn to an issue which might seem to involve confusion about the nature of character of truthmakers if such there be, viz for statements of identity and (specially) distinctness. The real issue here is versions of the Identity of Indiscernibles. I discuss ways of discriminating versions, which are almost certainly true but trivial, which almost certainly substantive but false, (...) and explore an interesting intermediate possibility which might if developed yield a plausibly true yet not-entirely-trivial version of the doctrine: it is equivalent to what I call "the Denial of Bare Distinctness". (shrink)
The purpose of this paper is to propose and defend an absolute principle of truthmaking, a maximalist one according to which every truth is made true by something in the world beyond itself. I maintain that an absolute principle must be true, that any weakened version is straightforwardly contradictory or incoherent. I criticize one principle of truthmaking (in terms of bald necessity) and articulate one in terms of the relation in virtue of. I then criticize other principles of truthmaking in (...) light of the latter, for I contend that in virtue of has a role in the theory of truthmaking that is essential and ineluctable. That all true representations have a truthmaker as defined by the principle I articulate is the absolute principle of truthmaking I defend. The crux of the paper is the arguments I present in defense of this absolute principle. In defending it against familiar objections to maximalism, an account of the truthmakers that seem to ground all true representations emerges. I maintain that such truthmakers are simple facts. With the absolute principle and its corollary account of truthmakers, this paper contains the core of a comprehensive theory of truthmaking. (shrink)
Truthmaker theory promises to do some useful philosophical work: equipping us to argue against phenomenalism and Rylean behaviourism, for instance, and helping us decide what exists (Lewis 1999, 207; Armstrong 1997, 113-119). But it has proved hard to formulate a truthmaker theory that is both useful and believable. I want to suggest that a neglected approach to truthmakers – that of Ian McFetridge – can surmount some of the problems that make other theories of truthmaking unattractive. To begin (...) with, I’ll outline some of the most prominent accounts of truthmaking in the current literature. Then the second part of the paper will explain McFetridge’s theory and argue for its superiority over these accounts. (shrink)
Consider a certain red rose. The proposition that the rose is red is true because the rose is red. One might say as well that the proposition that the rose is red is made true by the rose’s being red. This, it has been thought, does not commit one to a truthmaker of the proposition that the rose is red. For there is no entity that makes the proposition true. What makes it true is how the rose is, and (...) how the rose is is not an entity over and above the rose. It is against this view that I shall argue in this paper. I shall argue that a significant class of true propositions, including inessential predications like the proposition that the rose is red, are made true by entities. "No truthmaking without truthmakers" is my slogan. Although I have my view about what kinds of entities are truthmakers, I shall not argue for or presuppose that view here. All I shall argue for here is that if a proposition is made true by something, it is made true by some thing, but my argument will leave it open what kind of thing that thing is: it could be a fact or state of affairs, a trope, or any other sort of entity. (shrink)
This paper aims to reconcile presentism with truthmaker theory. I begin by motivating the reconciliation. In section 2 I ask what is wrong with the Lucretian strategy of grounding 'there were dinosaurs' in the world’s instantiating 'being such that there were dinosaurs'. I aim to pinpoint what is peculiar about such properties and hence to say what kind of properties the presentist needs in order to give an acceptable reconciliation; in section 3 I argue that certain distributional properties do (...) the job. In 4 I deal with some potential objections to the presentist appealing to such properties. In 5 I show how the presentist who accepts my view can deal with the open future; this raises questions concerning how to give truthmakers for indeterminate and determinate truths, which are dealt with in section 6. In section 7 I ask whether my solution can be generalised to reconcile actualism and here-now-ism with truthmaker theory and argue that in the former case at least, it can’t. (shrink)
Truthmaker theory says that there is an intimate link between truth and ontology: i.e. between what is the case and what there is. According to truthmaker theory, for a proposition to be true requires there to be some thing (or things) that makes it true. The truthmaker is the ontological ground of the truth; its existence explains why the proposition in question is true.
Truthmaker theory begins with the idea that truth depends upon reality. When a truth-bearer is true, that is because something or other in the world makes it true. My dissertation offers a theory of truthmakers that shows how we should flesh out this thought while avoiding the contentious metaphysical commitments that are built into other truthmaker theories. Because of these commitments, many philosophers have come to view truthmaker theory as being essentially tied to correspondence theories of truth, (...) and to metaphysical realism. I argue that, quite to the contrary, truthmaker theory is distinct from correspondence theory, and that the former actually undermines the motivation for the latter. In fact, truthmaker theory can be used to argue for a particular kind of deflationism about truth. I also argue that debates about realism and anti-realism are best viewed through the lens of truthmaker theory, which is not—contrary to what many have thought—an essentially realist approach to metaphysics. Anti-realists of various stripes can also make use of truthmakers. The anti-realism of such views depends upon either the nature of the truthmakers they use, or the nature of the truthmaking relation itself. (shrink)
What are the ontological commitments of a sentence? In this paper I offer an answer from the perspective of the truthmaker theorist that contrasts with the familiar Quinean criterion. I detail some of the benefits of thinking of things this way: they include making the composition debate tractable without appealing to a neo-Carnapian metaontology, making sense of neo-Fregeanism, and dispensing with some otherwise recalcitrant necessary connections.
This bulletin contains a summary of the main topics of discussion in truthmaker theory, namely: the definition of truthmakers, problems with Truthmaker Necessitarianism and Truthmaker Maximalism, the ontological burden of truthmakers and the recalcitrant topic of truthmakers for negative truths.
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.
David Liggins (2012). Truthmakers and Dependence. In Fabrice Correia & Benjamin Schnieder (eds.), Metaphysical Grounding: Understanding the Structure of Reality. Cambridge University Press.score: 6.0
This paper discusses the significance of non-causal dependence for truthmaker theory. After introducing truthmaker theory (section 1), I discuss a challenge to it levelled by Benjamin Schnieder. I argue that Schnieder’s challenge can be met once we acknowledge the existence of non-causal dependence and of explanations which rely on it (sections 2 to 5). I then mount my own argument against truthmaker theory, based on the notion of non-causal dependence (sections 6 and 7).
Truthmaker theorists claim that for every truth, there is something in virtue of which it is true—or, more cautiously, that for every truth in some specified class of truths, there is something in virtue of which it is true. I argue that it is hard to see how the thought that truth is grounded in reality lends any support to truthmaker theory.
Creeping minimalism threatens to cloud the distinction between realist and anti-realist metaethical views. When anti-realist views equip themselves with minimalist theories of truth and other semantic notions, they are able to take on more and more of the doctrines of realism (such as the existence of moral truths, facts, and beliefs). But then they start to look suspiciously like realist views. I suggest that creeping minimalism is a problem only if moral realism is understood primarily as a semantic doctrine. I (...) argue that moral realism is better understood instead as a metaphysical doctrine. As a result, we can usefully regiment the metaethical debate into one about moral truthmakers: in virtue of what are moral judgments true? I show how the notion of truthmaking has been simmering just below the surface of the metaethical debate, and how it reveals one metaethical view (quasi-realism) to be a stronger contender than the others. (shrink)
What is true and what is not depends upon how the world is: that there are no white ravens is true because there are no white ravens. That much, Trenton Merricks accepts. But he denies that principles about truthmaking can do any heavy lifting in metaphysics, and he provides powerful, sophisticated arguments for this denial. The hunt for individual truthmakers for specific truths is doomed once we consider negative existentials, and, on the other side of that coin, universal claims. But (...) the weaker claim that truth supervenes upon being either collapses into the platitudes about dependence that even Merricks accepts, or else collapses into the fruitless search for individual truthmakers. The reasoning is complex, yet elegant and clear, and from now on anyone wishing to use truthmaker principles to establish substantive positions in metaphysics will need to grapple with this critique. (shrink)
This paper investigates the nature of scientific realism. I begin by considering the anomalous fact that Bas van Fraassen’s account of scientific realism is strikingly similar to Arthur Fine’s account of scientific non-realism. To resolve this puzzle, I demonstrate how the two theorists understand the nature of truth and its connection to ontology, and how that informs their conception of the realism debate. I then argue that the debate is much better captured by the theory of truthmaking, and not by (...) any particular theory of truth. To be a scientific realist is to adopt a realism-relevant account of what makes true the scientific theories one accepts. The truthmaking approach restores realism’s metaphysical core—distancing itself from linguistic conceptions of the debate—and thereby offers a better characterization of what is at stake in the question of scientific realism. (shrink)
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. (shrink)
In the present paper we propose a system of propositional logic for reasoning about justification, truthmaking, and the connection between justifiers and truthmakers. The logic of justification and truthmaking is developed according to the fundamental ideas introduced by Artemov. Justifiers and truthmakers are treated in a similar way, exploiting the intuition that justifiers provide epistemic grounds for propositions to be considered true, while truthmakers provide ontological grounds for propositions to be true. This system of logic is then applied both for (...) interpreting the notorious definition of knowledge as justified true belief and for advancing a new solution to Gettier counterexamples to this standard definition. (shrink)
To what extent do true predications correspond to truthmakers in virtue of which those predications are true? One sort of predicate which is often thought to not be susceptible to an ontological treatment is a predicate for instantiation, or some corresponding predication (trope-similarity or set-membership, for example). This paper discusses this question, and argues that an "ontological" approach is possible here too: where this ontological approach goes beyond merely finding a truthmaker for claims about instantiation. Along the way a (...) version of the problem of the regress of instantiation is posed and solved. (shrink)
Realism and anti-realism about a domain of thought are metaphysical theses that involve the natures of the truthmakers in that domain and the truthmaking relation that is operant in the domain. Truthmaker theory is not exclusive territory for realists: anti-realist views are also best understood in terms of how they understand truthmakers and truthmaking. In particular, I explore the possibility of projectivist truthmaking, and show how it makes sense of quasi-realism. In addition to critically examining some extant accounts of (...) the relationship between realism and truthmaking, I offer an account that best captures the nature of the various realism debates. (shrink)
In this paper I examine the objection to truthmaker theory, forcibly made by David Lewis and endorsed by many, that it violates the Humean denial of necessary connections between distinct existences. In Sect. 1 I present the argument that acceptance of truthmakers commits us to necessary connections. In Sect. 2 I examine Lewis’ ‘Things-qua-truthmakers’ theory which attempts to give truthmakers without such a commitment, and find it wanting. In Sects. 3–5 I discuss various formulations of the denial of necessary (...) connections and argue that each of them is either false or compatible with truthmaker theory. In Sect. 6 I show how the truthmaker theorist can resist the charge that they are committed to necessary exclusions between possible existents. I conclude that there is no good objection to truthmaker theory on the grounds that it violates the Humean dictum. (shrink)
Those who endorse correspondence theories of truth or truthmaker maximalism accept that corresponding to the world (or having a truthmaker) is a necessary condition for being true. This condition has been criticized recently, but the arguments of these objections are unsound. Instead, I argue that by reflecting on the truthmakers for sentences containing ‘true’, we see that ‘every truth has a truthmaker’ has several unacceptable consequences, the most serious of which is that it is self-refuting. It follows (...) that correspondence theories of truth and truthmaker maximalism are unacceptable. (shrink)
In this chapter I shall reply to a pair of articles in which the main contention of my “Why truthmakers” – namely, that an important class of synthetic true propositions have entities as truth-makers – is rejected. In §§1–5 I reply to Jennifer Hornsby’s “Truth without Truthmaking Entities” (2005) and in §§6–7 I reply to Julian Dodd’s “Negative Truths and Truthmaker Principles” (2007).
A necessary part of David Armstrong's account of truthmakers for modal truths is his Possibility principle: any truthmaker for a contingent truth is also a truthmaker for the possibility of the complement of that contingent truth (if T makes _p_ true and _p_ is contingent, then T makes ⋄∼_p_ true). I criticize Armstrong's Possibility principle for two reasons. First, his argument for the Possibility principle both relies on an unwarranted generalization and vitiates his desire for relevant truthmakers. His (...) argument undercuts relevant truthmakers by entailing that each contingent being is a truthmaker for all modal truths. Second, even if the argument seems successful, the Possibility principle is subject to counterexamples. Armstrong's being composed of more than fifty atoms makes it true _that something composed of more than fifty atoms exists_ and that truth is contingent, but his being composed of more than fifty atoms does not make it true _that it is possible that it is not the case that something composed of more than fifty atoms exists_. (shrink)
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.. (shrink)
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. (shrink)
The truthmaker objection to presentism (the view that only what exists now exists simpliciter) is that it lacks sufficient metaphysical resources to ground truths about the past. In this paper I identify five constraints that an adequate presentist response must satisfy. In light of these constraints, I examine and reject responses by Bigelow, Keller, Crisp, and Bourne. Consideration of how these responses fail, however, points toward a proposal that works; one that posits God’s memories as truthmakers for truths about (...) the past. I conclude that presentists have, in the truthmaker objection, considerable incentive to endorse theism. (shrink)
The idea of truthmakers is important for doing serious metaphysics, since a truthmaker principle can give us important guidance in finding out what we would like to include into our ontology. Recently, David Lewis has argued against Armstrong’s argument that a plausible truthmaker principle requires us to accept facts. I would like to take a close look at the argument. I will argue in detail that the Humean principle of recombination on which Lewis relies is not plausible (independently (...) of the issue of facts). Then I will show that the right truthmaker principle that vindicates facts is superior to the modified truthmaker principle that Lewis has proposed. This will lead into the topic of being and existence. It turns out that truthmaking and facts are plausible, well suited for one another, and very coherent with a plausible conception of being. (shrink)
I propose a new semantics for intuitionistic logic, which is a cross between the construction-oriented semantics of Brouwer-Heyting-Kolmogorov and the condition-oriented semantics of Kripke. The new semantics shows how there might be a common semantical underpinning for intuitionistic and classical logic and how intuitionistic logic might thereby be tied to a realist conception of the relationship between language and the world.
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. (shrink)
Abstract. This article addresses a difficult case at the intersection of philosophical theology and truthmaker theory. I show that three views, together, lead to difficulties in providing truthmakers for truths of contingent predication, such as that the bread is white. These three views are: the Catholic dogma of transubstantiation, a standard truthmaker theory, and a trope (or accident) view of properties. I present and explain each of these three views, at each step noting their connections to the thought (...) of St. Thomas Aquinas. After presenting the three views, I show why they entail a difficulty for providing truthmakers for truths of contingent predication, drawing on two cases that are not impossible, for all we know. I then present four ways that one can respond to this difficulty, afterward noting some shortcomings of those responses. (shrink)
A Platonic explanation of non-modal and modal truths is explained and defended using non-spatiotemporal entities as their truthmakers. It is argued, further, that this theory is parsimonious, naturalistic, and ontologically serious. These features should commend the view to a wide swath of philosophers.
This article considers three recent attempts by David Armstrong, Ross Cameron, and Jonathan Schaffer to provide truthmakers for negative existential truths. It is argued that none of the proposed truthmakers are up to the task of making any negative existential truth true and, it will turn out, for the same reason.
In his criticism of Armstrong’s argument against nominalism, Parsons (1999) makes a crucial use of a notion of truthmaking in terms of weak supervenience which assumedly: (i) does not entail truthmaker es-sentialism, (ii) is neutral as to the issue of nominalism, and (iii) is useful in Armstrong’s argument against Ryle. I will try to show that Parsons’ notion is defective because it does not preserve the explanatory char-acter of truthmakers. Besides, I argue that the natural reformulation of the notion (...) in terms of strong super-venience fails in two respects: (i) it is not neutral as to the issue of nominalism and (ii) it does not preserve the explanatory character of truthmakers if it succeeds in avoiding truthmaker essentialism. As a corollary, Armstrong’s truthmaker argument against nominalism is vindicated. (shrink)
Some claim that there are no truthmakers for necessary truths. D.H. Mellor says, for example, “Because the identity of a necessary proposition entails its truth, I cannot see why any other entity must exist to make it true.”2 But notice that the reason given here for p’s not needing a truthmaker when p is necessary seems simply to be another way of saying that p is necessary: ‘the identity of p entails the truth of p’ doesn’t seem to say (...) anything more than simply that p is necessary. And so Mellor isn’t really giving us a reason to deny that the necessary truths have truthmakers, he’s merely asserting that this is so. Perhaps he is correct, but one would hope that there is more to say. (shrink)
Since 1969, when Bas van Fraassen wrote 'Facts and Tautological Entailments', it has been assumed that if facts, or states of affairs, exist at all, they can only play the role of truthmakers for propositions if the truthmaker relation is defined in a relevantist revision of classical logic. Greg Restall revived this notion in 1996, and it has since been discussed positively by Stephen Read. I argue in this paper that this was always a mistake. The truthmaking relation between (...) facts and propositions can indeed be made sense of-but no relevantist revision of classical logic is required. The correspondence theory of truth can thus be shown to have been essentially correct all along. (shrink)
I argue that there is no metaphysically substantive property of truth. Although many take this thesis to be central to deflationism about truth, it is sometimes left unclear what a metaphysically substantive property of truth is supposed to be. I offer a precise account by relying on the distinction between the property and concept of truth. Metaphysical substantivism is the view that the property of truth is a sparse (non-abundant) property, regardless of how one understands the nature of sparse properties (...) (as universals, tropes, or natural classes). I then offer two new arguments against metaphysical substantivism that employ ideas involving recombination and truthmaking. First, I argue that there are no theoretically compelling reasons to posit the existence of a metaphysically substantive property of truth. Secondly, I argue that if we do posit the existence of such a property, then we end up with a view that is either contradictory or unmotivated. What we’re left with is a metaphysically deflationary account of the property of truth that fully respects the metaphysical ambitions of truthmaker theory, and that is consistent with both the view that truth is a deflated, explanatorily impotent concept and the view that truth is an explanatorily powerful (though primitive) concept. (shrink)
Recent attempts to resolve the truthmaker objection to presentism employ a fundamentally tensed account of the relationship between truth and being. On this view, the truth of a proposition concerning the past supervenes on how things are, in the present, along with how things were, in the past. This tensed approach to truthmaking arises in response to pressure placed on presentists to abandon the standard response to the truthmaker objection, whereby one invokes presently existing entities as the supervenience (...) base for the truth of past-directed propositions. In this paper, I argue that a fundamentally tensed approach to truthmaking is implausible because it requires the existence of cross-temporal supervenience relations, which are anathema to presentism. (shrink)
This paper is a response to replies by Dan López de Sa and Mark Jago to my ‘Truthmaking, Entailment, and the Conjuction Thesis’. In that paper, my main aim was to argue against the Entailment Principle by arguing against the Conjunction Thesis, which is entailed by the Entailment Principle. In the course of so doing, although not essential for my project in that paper, I defended the Disjunction Thesis. López de Sa has objected both to my defence of the Disjunction (...) Thesis and my case against the Conjunction Thesis. I shall show that his objections are unfounded and based on serious misunderstandings of my position, what the relevant debate is, and some fundamental notions of Truthmaker Theory. Jago argues that accepting the Disjunction Thesis and rejecting the Conjunction Thesis is hard to maintain. But I show that Jago has not shown that accepting the Disjunction Thesis while rejecting the Conjunction Thesis is impossible or even hard to maintain. Jago believes that, to accept the Disjunction Thesis while rejecting the Conjunction Thesis, one needs to reject his axiom (T3), which says that all the truthmakers for <P&P> are truthmakers for <P>. I argue that there are reasons to reject such a principle, and the version of it that says that what makes <P&P> true makes <P> true. (shrink)
It is a common criticism of presentism – the view according to which only the present exists – that it errs against truthmaker theory. Recent attempts to resolve the truthmaker objection against presentism proceed by restricting truthmaker maximalism (the view that all truths have truthmakers), maintaining that propositions concerning the past are not made true by anything, but are true nonetheless. Support for this view is typically garnered from the case for negative existential propositions, which some philosophers (...) contend are exceptions to truthmaker maximalism. In this paper, we argue that a ‘no truthmakers’ approach to the truthmaker objection is critically flawed. (shrink)
Robin Le Poidevin (2007) claims that we do form perceptual beliefs regarding order and duration based on our perception of events, but neither order nor duration are by themselves objects of perception. Temporal properties are discernible only when one first perceives their bearers, and temporal relations are discernible only when one first perceives their relata. The epistemic issue remains as to whether or not our perceptual beliefs about order and duration are formed on the causal basis of an event’s objective (...) order and duration. Le Poidevin raises this issue in the form of an epistemological puzzle of time perception, from which he derives the claim that the order and duration of events do not causally contribute to our perceptual beliefs about them. Since his view is motivated by a causal truthmaker principle for grounding knowledge, it also holds that perceptual beliefs about temporal features must be caused by the features themselves in order to count as knowledge. Given these theoretical commitments, there is a puzzle concerning how such perceptual beliefs could constitute knowledge of temporal properties. In response to Le Poidevin, I argue for an account according to which order and duration are objects of perception, causally contribute to our perceptual beliefs about them, and such beliefs are capable of counting as knowledge. I conclude by showing that, on my alternative account, the epistemological puzzle dissolves and his own solution to it fails. (shrink)
In this paper, I distinguish between two varieties of actualism—hardcore actualism and softcore actualism—and I critically discuss Ross Cameron’s recent arguments for preferring a softcore actualist account of the truthmakers for modal truths over hardcore actualist ones. In the process, I offer some arguments for preferring the hardcore actualist account of modal truthmakers over the softcore actualist one.
The metaphysics of relations (unlike their logic) is still in its infancy. We use the idea of truthmaking to gain purchase on this metaphysics. Assuming a modest supervenience conception of truthmaking, where true relational predications require multiply dependent truthmakers, these are indispensable relations (relational tropes). Though some such relations are required, none are needed for internal relatedness, nor for several other kinds of relational predication. Discerning the metaphysically basic kinds of relations is fraught with uncertainties, but must be tackled if (...) progress is to be made. (shrink)
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. (shrink)
This paper attempts to locate, within an actualist ontology, truthmakers for modal truths: truths of the form or . In Sect. 1 I motivate the demand for substantial truthmakers for modal truths. In Sect. 21 criticise Armstrong's account of truthmakers for modal truths. In Sect. 31 examine essentialism and defend an account of what makes essentialist attributions true, but I argue that this does not solve the problem of modal truth in general. In Sect. 41 discuss, and dismiss, a theistic (...) account of the source of modal truth proposed by Alexander Pruss. In Sect. 5 I offer a means of (dis)solving the problem. (shrink)
Can Bradley's Regress be solved by positing relational tropes as truth-makers? No, no more than Russell's paradox can be solved by positing Fregean extensions. To call a trope relational is to pack into its essence the relating function it is supposed to perform but without explaining what Bradley's Regress calls into question, viz. the capacity of relations to relate. This problem has been masked from view by the (questionable) assumption that the only genuine ontological problems that can be intelligibly raised (...) are those that can be answered by providing a schedule of truthmakers. (shrink)
I want to join Dummett in saying that the reality of the past (and, by analogy, the reality of the future) is an issue of realism versus anti-realism: (Dummett 1969) If you affirm the reality of the past, you are a realist about the past. If you deny the reality of the past, you are an anti-realist about the past. (And likewise, in each case, for the future). It makes sense to think of these issues by analogy with realism about (...) the external world, unobservable objects, mathematical objects, universals, and so on. These are all properly described as ontological issues. (shrink)
This paper aims to describe and defend a Pluralistic Kantian, as opposed to a Tractarian, version of realism vis-à-vis the ontological basis of truthmaking relations. One underlying assumption of my position is that propositional truth is a robust property and, consequently, is normatively distinct from epistemic justification. Still, it does not follow from this realist contention that truth is generated ontologically, viz., independently of cognitive and intensional contributions of human agents. This point brings my view notably close to H. Putnam’s (...) peculiar blend of certain Wittgensteinian and Kantian themes. However, I argue that Putnam’s apparent denial of the in-itself reality with an intrinsic structure gives rise to a rather un-Kantian and problematic metaphysical picture. I suggest that the solution to the puzzle may be found in a synthesis of the best intuitions of Armstrong’s Tractarian realism and Putnam’s quasi-Kantianism. (shrink)
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. (shrink)
This paper presents a position called Scheme-based Alethic Realism, which reconciles a realist position on the nature of truth with a pluralistic Kantian perspective that allows for multiple environments in which truthmaking relationships are established. We argue that truthmaking functions are constrained by a stable phenomenal world and a stable cognitive architecture. This account takes truth as normatively distinct from epistemic justification while relativizing the truth conditions of our statements to what we call Frameworks. The pluralistic aspect allows that these (...) stable elements, while constraining representational and linguistic schemes, do not define a single framework for truthmaking relations. We strengthen this position by considering themes on situated rational agency from cognitive science and artificial intelligence, arguing that whatever enables or supports rational action within a particular environment must figure into some account of truth and truthmaking, and vice versa. (shrink)
In this paper I argue against Armstrong’s recent truthmaking account of possibility. I show that the truthmaking account presupposes modality in a number of different ways, and consequently that it is incapable of underwriting a genuine reduction of modality. I also argue that Armstrong’s account faces serious difficulties irrespective of the question of reduction; in particular, I argue that his Entailment and Possibility Principles are both false.
In this paper I will first present and defend Molnar's way of setting out the problem of finding truthmakers for negative propositions. Secondly, I will reply to two objections to what in my view is the most promising general approach to the problem of negatives. Finally, I will present and defend Cheyne and Pidgen's specific proposal that falls under that general promising approach.
In the paper we discuss criticisms against David Armstrong’s general theory of truthmaking by Gonzalo Rodriguez-Pereyra, Peter Schulte and Benjamin Schnieder, and conclude that Armstrong’s theory survives these criticisms. Special attention is given to the problems concerning Entailment Principle, Conjunction Thesis, Disjunction Thesis and to the notion of explanation.
Truthmaking and ontological commitment How do we determine the ontological commitments of a theory? Quine told us to look to the quantifier.1 What must be in the domain of the quantifiers if the (regimented) sentences of the theory are all to be true? Those are the ontological commitments of the theory.
Bradley's Regress-a problem about what grounds or 'accounts for' the ability of two or more things to stand in a relation-is often presented as a problem about truthmakers: what entity 'makes it true' that two objects a and b are related? I criticize this account of the regress on the grounds that it is dialectically weak and trivially solvable. I then propose an alternative interpretation, according to which the regress challenges our ability to use relational entities to give an account (...) of the underlying metaphysical situation in cases of relatedness. Although I concede that this regress is fatal for some realist and trope-theoretic accounts of relatedness, and does not permit of a trivial solution, I suggest a way we can avoid it without giving up an ontology of relational universals or relational tropes. Bradley's Regress-correctly understood-sets limits on our theory of relations; it does not force us to abandon relations altogether. (shrink)
David Lewis (2003). Things Qua Truthmakers. In Hallvard Lillehammer & Gonzalo Rodriguez-Pereyra (eds.), Real Metaphysics: Essays in honor of D. H. Mellor. Routledge.score: 3.0
A realist theory of truth for a class of sentence holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. The authors uphold the mutual independence of logical and ontological complexity. The theory is compared with that of Wittgenstein’s Tractatus, and the authors outline formal principles of truthmaking taking account of both kinds of complexity and suggesting how to overcome Wittgenstein’s problem of negation. (shrink)
