(No abstract is available for this citation).

David Armstrong sets out his metaphysical system in a set of concise and lively chapters each dealing with one aspect of the world.

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)

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.

Armstrong's analysis, which acknowledges the "logical atomism" of Russell and Wittgenstein, makes facts (or states of affairs, as the author calls them) the ...

Revenant sur la question des vérifacteurs, D. Armstrong demande ici d'abord comment concilier le maximalisme (toute vérité a un vérifacteur) et la relation de nécessitation (toute vérité contingente peut servir de vérifacteur pour une vérité nécessaire quelconque). L'A. examine quel sens métaphysique donner à la notion d'implication, et s'il y a un sens à admettre une contingence de re. Il traite à ce niveau des possibilités pures, examine le cas des aliens chez David Lewis, puis pose la question de (...) savoir s'il est contingent de dire qu'il y a de l'être plutôt que rien. L'exposé le conduit à traiter du cas des vérifacteurs pour les vérités nécessaires, mais adopte une thèse possibiliste pour les sujets de la science démonstrative. Il se clôt par un examen du genre de nécessité transcatégorielle (et métaphysique) qui est implicite à la généralisation des vérifacteurs. The A. wants to reconcile maximalisme about truthmakers (every truth has a truthmaker) and the relation of necessitation (every contingent truth can be used in a truthmaker for a necessary truth). He investigates the metaphysical sense of the implication and whether one can admit de re contingency. He examines the pure possibilities and the case of alien properties according with David Lewis and studies whether it is contingent that there is something rather than nothing. He analyses the truthmakers of necessary truths and adopts a possibilist thesis for matters of demonstrative science. He concludes with the transcategorial (and metaphysical) necessity which is implicit in the generalization of truthmakers. (shrink)

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)

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)

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)

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)

Many philosophers believe that truth is grounded: True propositions depend for their truth on the world. Some philosophers believe that truth’s grounding has implications for our ontology of time. If truth is grounded, then truth supervenes on being. But if truth supervenes on being, then presentism is false since, on presentism, e.g., that there were dinosaurs fails to supervene on the whole of being plus the instantiation pattern of properties and relations. Call this the grounding argument against presentism. Many presentists (...) claim that the grounding argument fails because, despite appearances, supervenience is compatible with presentism. In this paper, I claim that the grounding argument fails because, despite appearances, truth’s grounding gives the presentist no compelling reason to adopt the sort of supervenience principle at work in the grounding argument. I begin by giving two precisifications of the grounding principle: truthmaking and supervenience. In Sect. 2, I give the grounding argument against presentism. In Sect. 3, I argue that we should distinguish between eternalist and presentist notions of grounding; once this distinction is in hand, the grounding argument is undercut. In Sect. 4, I show how the presentist’s notion of grounding leads to presentist-friendly truthmaking and supervenience principles. In Sect. 5, I address some potential objections. (shrink)

My goal is to illuminate truth-making by way of illuminating the relation of making. My strategy is not to ask what making is, in the hope of a metaphysical theory about is nature. It's rather to look first to the language of making. The metaphor behind making refers to agency. It would be absurd to suggest that claims about making are claims about agency. It is not absurd, however, to propose that the concept of making somehow emerges from some feature (...) to do with agency. That's the contention to be explore in this paper. The way to do this is through expressivism,. Truth-making claims, and making-claims generfally, are claims in which we express mental states linked to our maipulation of concepts, like truth. In particular, they express disposition to undertake derivations using inference rules, in which introduction rules have a specific role. I then show how this theory explains our intuitions about truth's asymmetric dependence on being. (shrink)

Truthmaker theory is commonly thought to pose a challenge for presentism. Presentism seems to lack the ontological and ideological resources required to adequately underwrite the truth of propositions concerning the past. That is because if presentism is true, then the past does not exist. According to the standard response to this challenge, the truth of propositions concerning the past supervenes on surrogate entities that ‘stand proxy’ for past things. I argue that in order for the standard response to the truthmaker (...) challenge to succeed these surrogate entities must stand in necessary connections to the past. I go on to argue that because the standard response is already committed to denying the existence of cross-temporal modal connections of this kind, by its own lights that response is in error.1. (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 volume will be the starting point for future discussion and research.

Predication is an indisputable part of our linguistic behavior. By contrast, the metaphysics of predication has been a matter of dispute ever since antiquity. According to Plato—or at least Platonism, the view that goes by Plato’s name in contemporary philosophy—the truths expressed by predications such as “Socrates is wise” are true because there is a subject of predication (e.g., Socrates), there is an abstract property or universal (e.g., wisdom), and the subject exemplifies the property.1 This view is supposed to be (...) general, applying to all predications, whether the subject of predication is a person, a planet, or a property.2 Despite the controversy surrounding the metaphysics of predication, many theistic philosophers—including the majority of contemporary analytic theists—regard Platonism as extremely attractive. At the same time, however, such philosophers are also commonly attracted to a form of traditional theism that has at its core the thesis that God is an absolutely independent.. (shrink)

This paper argues that for someone to know proposition p inferentially it is not enough that his belief in p and his justification for believing p covary with the truth of p through a sphere of possibilities. A further condition on inferential knowledge is that p's truth-maker is identical with, or causally related to, the state of affairs the justification is grounded in. This position is dubbed ‘identificationism.’.

Challenging the myth that mathematical objects can be defined into existence, Bigelow here employs Armstrong's metaphysical materialism to cast new light on mathematics. He identifies natural, real, and imaginary numbers and sets with specified physical properties and relations and, by so doing, draws mathematics back from its sterile, abstract exile into the midst of the physical world.

Substantial metaphysical theory has long struggled with the question of negative facts, facts capable of making it true that Valerie isn’t vigorous. This paper argues that there is an elegant solution to these problems available to anyone who thinks that there are positive facts. Bradley’s regress and considerations of ontological parsimony show that an object’s having a property is an affair internal to the object and the property, just as numerical identity and distinctness are internal to the entities that are (...) numerically identical or distinct. For the same reasons, an object’s lacking a property must be an affair internal to the object and the property. Negative facts will thus be part of any ontology of positive facts. (shrink)

Most of us would want to say that it is true that Socrates taught Plato. According to realists about past facts,1 this is made true by the fact that there is, located in the past, i.e., earlier than now, at least one real event that is the teaching of Plato by Socrates. Presentists, however, in denying that past events and facts exist2 cannot appeal to such facts to make their past-tensed statements true. So what is a presentist to do?

There is a traditional theistic doctrine, known as the doctrine of divine simplicity, according to which God is an absolutely simple being, completely devoid of any metaphysical complexity. On the standard understanding of this doctrine—as epitomized in the work of philosophers such as Augustine, Anselm, and Aquinas—there are no distinctions to be drawn between God and his nature, goodness, power, or wisdom. On the contrary, God is identical with each of these things, along with anything else that can be predicated (...) of him intrinsically. (shrink)

Brian Leftow sets out to provide us with an account of Aquinas’s metaphysics of modality.1 Drawing on some important recent work, which is surely close to the spirit (if not quite the letter) of Aquinas’s thought, he frames his discussion in terms of “truthmakers”: what is it that makes true claims about possibility and necessity—that is to say, what serves as their ontological ground or ultimate metaphysical explanation?2 Leftow’s main thesis is that, for Aquinas, all true modal claims are made (...) true by one and the same thing—namely, God. Along the way, however, he also attempts to show that Aquinas’s endorsement of this thesis commits him to an objectionable form of Platonism about possible worlds. (shrink)

Due to the influence of Bertrand Russell (1872–1970) and Gottlob Frege (1848–1925), twentieth-century philosophers have devoted a great deal of attention to questions concerning the logic and metaphysics of relations. But systematic philosophical interest in relations does not originate in the twentieth century. On the contrary, it originates in antiquity, dating back at least to Aristotle’s short treatise, the Categories.1 In the Categories, Aristotle attempts to provide a philosophical account of relations (or relatives, ta pros ti) as part of an (...) overall inventory of the basic kinds of things there are (onta). He identifies relations as one of the ten irreducible kinds of being, and devotes an entire chapter—the seventh chapter of the treatise—to analyzing their nature and ontological status. Aristotle’s discussion in Categories 7 provides the starting point for a long and rich tradition of thinking about relations, one which stems from antiquity, runs through the Middle Ages, and eventually makes its way into the early modern period. Despite the prominence of.. (shrink)

Because it seems contrary to the faith to hold, as the Platonists did, that the Forms of things exist in themselves ... Augustine substituted concepts of all creatures existing in the divine mind for the Ideas of things defended by Plato.

In chapter 9 of De Interpretatione, Aristotle offers a defense of free will against the threat of fatalism. According to the traditional interpretation, Aristotle concedes the validity of the fatalist's arguments and then proceeds to reject the Principle of Bivalence in order to avoid the fatalist's conclusion. Assuming that the traditional interpretation is right on this point, it remains to be seen why Aristotle felt compelled to reject such an intuitive semantic principle rather than challenge the fatalist's inference from truth (...) to necessity. The answer, I contend, lies in Aristotle's theory of truth and truthmakers. (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)

In this paper I examine whether the Humean denial of necessary connections between wholly distinct contingent existents poses problems for a theory of tropes. In section one I consider the substance-attribute theory of tropes. I distinguish first between three versions of the non-transferability of a trope from the substratum in which it inheres and then between two versions of the denial of necessary connections. I show that the most plausible combination of these views is consistent. In section two I consider (...) an objection to the bundle theory using the Humean doctrine that is advanced by Armstrong, and argue that it is unconvincing. In section three I return to the version of non-transferability that would cause obvious trouble for a substance-attribute theory, and less obvious trouble for a bundle theory. I argue that there is independent reason to reject this principle since, given a perdurantist metaphysic, it does not in fact secure what appeared to be its only benefit: namely that it allows tropes to act as truthmakers. I conclude that there is no objection to trope theory per se on the grounds that it brings commitment to necessary connections. (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.

I am attracted to a radically minimal ontology. Many of the entities we quantify over in everyday speech do not, I hold, really exist. Complex objects are one such case: there is no mereology in reality – our ontology is one of entities lacking proper parts. However, I do not want to embrace an error-theory of talk about tables, chairs, etc: it is, even speaking strictly and literally, true to say such things exist. Rather, I suggest, we should view the (...) (strict and literal) truth of such claims as not bringing an ontological commitment to tables, chairs, etc. It is true to say that there are such things; but that it is true does not commit us to admitting such things into our ontology. The purpose of this paper is to further elucidate this metaontological view and to defend it from some recent objections. (shrink)

In this paper I argue that there are some sentences whose truth makes no demands on the world, being trivially true in that their truth-conditions are trivially met. I argue that this does not amount to their truth-conditions being met necessarily: we need a non-modal understanding of the notion of the demands the truth of a sentence makes, lest we be blinded to certain conceptual possibilities. I defend the claim that the truths of pure mathematics and set theory are trivially (...) true, and hence accepting their truth brings no ontological commitment; I further defend the claim that the truths of applied mathematics and set theory do not demand the existence of numbers or sets. While the notion of a demand must not be reduced to anything modal, I nonetheless argue that sentences that are trivially true must also be necessary, lest we violate a very weak version of the principle that truth depends on the world. I further argue that all necessary truths are trivially true, lest we admit unexplained necessities. I end by showing one important consequence of this: I argue that if there are truthmakers for intrinsic predications, they must be states of affairs rather than tropes. (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)

in LePoidevinMcGonigalBeing, pp. (forthcoming).

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)

In his Truth and Ontology,1 Trenton Merricks argues against the truthmaker principle: Truthmaker: ∀p( p → ∃xxᮀ(Exx → p)). Truthmaker says that for any true proposition, there are some things whose existence guarantees the truth of that proposition: that is, some things which couldn’t all exist and the proposition fail to be true. His main arguments against Truthmaker are that there cannot be satisfactory truthmakers for (i) negative existentials, (ii) modal truths, (iii) truths about the past (given that presentism is (...) true) and (iv) certain subjunctive conditionals, in particular so-called ‘counterfactuals of freedom’ and dispositional conditionals. I’m going to concentrate on the first three of these. But first I’ll say a bit about why we should care about Truthmaker. Merricks says that “No one gives much of an argument for Truthmaker. Instead, Truthmaker’s main support comes from something like the brute intuition that what is true depends in a non-trivial way on what there is” ( p. 2). He is, unfortunately, correct that truthmaker theorists have in general not been very good at motivating their theory. Too often is Truthmaker taken to be obvious, or an obvious consequence of realism, when really it is neither. But I think we can do better. (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.

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.

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)

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)

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.

Presentists say that only the present is real.1 Saying that might seem like a pretty good way of accounting for what is special about the present, but it might also seem like a pretty bad way of accounting for anything about the past. To begin with, presentists face an ontological challenge. To say that only the present is real is, in part, to say that only presently existing things exist, that existence is present existence. The ontological challenge is to account (...) for merely past things like Socrates or Hunter S. Thompson, things that were but are no more. This challenge has been widely discussed in the recent literature, where many of the stock characters of late twentieth-century analytic metaphysics—noncommittal paraphrase, property bundles, uninstantiated haecceities, quasi-truth, and so on—have been called upon to play their stock roles in various.. (shrink)

Walter Burley (1275-c.1344) and John Wyclif (1328-1384) follow two clearly stated doctrinal options: on the one hand, they are realists and, on the other, they defend a correspondence theory of truth that involves specific correlates for true propositions, in short: truth-makers. Both characteristics are interdependent: such a conception of truth requires a certain kind of ontology. This study shows that a) in their explanation of what it means for a proposition to be true, Burley and Wyclif both develop what we (...) could call a theory of intentionality in order to explain the relation that must obtain between the human mind and the truth-makers, and b) that their explanations reach back to Augustine, more precisely to his theory of ocular vision as exposed in the De trinitate IX as well as to his conception of ideas found in the Quaestio de ideis. (shrink)

According to the truthmaker theory that we favour, all contingent truths are made true by existing facts or states of affairs. But if that is so, then it appears that we must accept the existence of the negative facts that are required to make negative truths (such as 'There is no hippopotamus in the room.') true. We deny the existence of negative facts, show how negative truths are made true by positive facts, point out where the (reluctant) advocates of negative (...) facts (Russell, Armstrong, et al.) went wrong, and demonstrate the superiority of our solution to the alternatives. (shrink)

In the paper it is argued that there are two intuitions underlying the concept of trope. According to the first, a trope is a particularised property - a property taken as an individual aspect of a particular object. In the light of this conception tropes are, as it were, direct abstractions from concrete individuals. On the second view, tropes are construed not so much as abstractions from concrete individuals, but rather as primitive items of which the concrete individuals are composed. (...) Tropes so construed are, as it were, metaphysically prior to concrete individuals. We can imagine that the cognitive access to these tropes is obtained by a kind of a double abstraction. The trope in question is not only abstracted from the concrete individual of which it is a trope but also taken in abstraction from the very fact that it has been abstracted this way. Only the second conception is really metaphysically interesting, while only on the first conception can tropes function as semantically efficient truthmakers. (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 No-No Paradox consists of a pair of statements, each of which ?says? the other is false. Roy Sorensen claims that the No-No Paradox provides an example of a true statement that has no truthmaker: Given the relevant instances of the T-schema, one of the two statements comprising the ?paradox? must be true (and the other false), but symmetry constraints prevent us from determining which, and thus prevent there being a truthmaker grounding the relevant assignment of truth values. Sorensen's view (...) is mistaken: situated within an appropriate background theory of truth, the statements comprising the No-No Paradox are genuinely paradoxical in the same sense as is the Liar (and thus, on Sorensen's view, must fail to have truth values). This result has consequences beyond Sorensen's semantic framework. In particular, the No-No Paradox, properly understood, is not only a new paradox, but also provides us with a new type of paradox, one which depends upon a general background theory of the truth predicate in a way that the Liar Paradox and similar constructions do not. (shrink)

Presentists face a challenge from truthmaker theory: if you hold both that the only existing objects are presently existing and that truth supervenes on being, then you will be hard pressed to identify some existent on which a given true but traceless claim about the past supervenes. One reconciliation strategy, advocated by Cameron (2011), is to appeal to distributional properties so to serve as presently existing truthmakers for past truths. I argue that a presentist ought to deny that distributional properties (...) can serve as truthmakers. (shrink)

The review focuses on Kuenne's account of truthmaking and on his minimalist approach to truth.

I set out and evaluate several solutions to the grounding problem for presentism.

(No abstract is available for this citation).

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)

This paper asks whether we should accept a weakened version of the truthmaker principle: namely, the claim that truth supervenes on being, in which 'being' is understood as whether things are. I consider a number of positive answers to this question, including the following: that the truthmaker principle is a requirement of any plausible explanation of truth; that the principle must be accepted, if we are to do justice to the Wittgensteinian insight that the world is the totality of facts, (...) not of things; and that the correctness of the principle is a necessary condition of a realist metaphysics. In my view, none of these attempts to motivate the truthmaker principle is satisfactory. (shrink)

There is a common approach to metaphysical disputes, which takes language as its starting point, and leads to a view about the range of acceptable metaphysical positions in any such dispute. I argue that this approach rests on accepting what I call the Strong Linguistic Thesis (SLT). In the metaphysical debate about time I argue that the new B-theory has rejected SLT, and for good reasons. The metaphysical debate about modality parallels the early metaphysical debate about time. I argue that (...) a position analogous to the new B-theory of time is available in the modal debate, and has some advantages over its rivals. (shrink)

Crispin Wright offers superassertibility as an anti-realist explication of truth. A statement is superassertible, roughly, if there is a state of information available which warrants it and it is warranted by all achievable enlargements of that state of information. However, it is argued, Wright fails to take account of the fact that many of our test procedures are not sure fire, even when applied under ideal conditions. An alternative conception of superassertibility is constructed to take this feature into account. However, (...) it is then argued that when this revised concept of superassertibility is taken as the truth predicate of probability statements, statements whose test procedures are paradigmatically not sure fire, then any anti-realist theory of the sense of such probability statements cannot be compositional, in Dummett's sense of compositional. (shrink)

Suppose nothing exists. Then it is true that nothing exists. What makes that true? Nothing! So it seems that if nothing existed, then the principle that every truth is made true by something (the truthmaker principle) would be false. So if it is possible that nothing exists, a claim often called 'metaphysical nihilism', then the truthmaker principle is not necessary. This paper explores various ways to resolve this conflict without restricting metaphysical nihilism in such a way that it would become (...) trivial and uninteresting. (shrink)

We argue that Armstrong's Combinatorialism allows for the possibility of nothing by giving a Combinatorial account of the empty world and show that such an account is consistent with the ontological and conceptual aims of the theory. We then suggest that the Combinatorialist should allow for this possibility given some methodological considerations. Consequently, rather than being 'spoils for the victor', as Armstrong maintains, deciding whether there might have been nothing helps to determine which metaphysics of modality is to be preferred.

Here is a view at least much like Lewis’s “Humean supervenience,” and in any case highly influential—in that some endorse it, and many more worry that it is true. All truths about the world are fixed by the pattern of instantiation, by individual points in space-time, of the “perfectly natural properties” posited by end-of-inquiry physics. In part, this view denies independent variability: the world could not have been different from how it actually is, in the ways depicted by common sense (...) and the special sciences, without differing in the punctiform instantiation of fundamental physical properties. In part, it makes an ontological claim: what it is for one of the objects recognized by common sense or special sciences to be there in the world, bearing the properties attributed by a true description, is “nothing over and above” the obtaining of fundamental physical properties at points, and fundamental physical relations among points. I argue that this view is untenable. I concede that for every true claim in familiar discourses, there is a state of affairs at the level of fundamental microphysics that is the truth-maker—some state of affairs sufficient for truth in the familiar claim. The problem is that the view needs to posit not just truth-makers at the level of microphysics, but truth-conditions—states of affairs the obtaining of which is required for truth in any familiar claim, and the failure of which renders the familiar claim false. That is, the view must posit necessary conditions, at the level of microparticles, for truth in familiar claims. This it cannot plausibly do. (shrink)

This essay argues that propositions are made true by facts. A proposition is the sense expressed by a statement (sentence token used to make a truth claim). Facts are positive or negative constitutive properties of the domain of discourse (usually the actual world). The presence of horses is a positive constitutive property of the world; the absence of unicorns is a negative one. This notion of constitutive properties accords well with the Hume-Kant claim that existence is not a property of (...) any individual said to exist. While Frege held existence to be a property of concepts and Russell held it to be a property of propositional functions, our view sees existence as a property of a domain of discourse. To say that Native Dancer exists is simply to say that the world is characterized by the presence of Native Dancer; to say that Pegasus does not exist is to say the world is characterized by the absence of Pegasus. Such properties of presence and absence are facts. Facts make true propositions true; nothing makes false propositions false (they simply fail to be made true). Facts are not items in the world; they are (constitutive) properties of the world. (shrink)

After arguing that truth-making is properly construed as a partnership between truth bearers and truth-makers, I focus on two prominent arguments against the category of fact as one of the key relata in the truth-making relation. After rejecting those arguments, I go on to examine a more difficult issue, one that might force us to appreciate more fully the robust role that thought has in “creating” truth.

Opponents of presentism have often argued that the presentist has difficulty in accounting for what makes (presently) true past-tensed propositions (TptP) true in a way that is compatible with her metaphysical view of time and reality. The problem is quite general and concerns not only strong truth-maker principles, but also the requirement that truth be grounded in reality. In order to meet the challenge, presentists have proposed many peculiar present aspects of the world as grounds for truths concerning the past, (...) such as uninstantiated haecceities, Meinongian non-existents, ersatz times, and dispositional and distributional properties. The main problem with all such solutions is that any explanation of what grounds a TptP that involves the past is eo ipso a better explanation than any that involves only the present. Thus, the quest for an account of grounding for TptP that is compatible with the presentist ontology and ideology is doomed to be explanatorily deficient with respect to eternalism. In a recent article, Ben Caplan and David Sanson have claimed that presentists should change their strategy and, rather than seeking for exotic grounds for TptP, should adopt a more liberal view of explanation. That is, they should allow themselves to resort to “past directed” explanations, even if they do not accept the past in their ontology and ideology. I argue that such a proposal is not compatible with the tenet that there is a substantial distinction between the ideology of such a version of presentism and that of eternalism. Therefore, the presentist cannot endorse such “deflationist” explanations as an easy way out to the problem of the grounding of TptP. (shrink)

Early analytic philosophers like Carnap, Wittgenstein and Ryle regarded ontology as a branch of metaphysics that is either trivial or meaningless. But at present it is generally assumed that philosophy can make substantial discoveries about what kinds of things exist and about the essence of these kinds. My paper challenges this ontological turn. The currently predominant conceptions of the subject, at any rate, do not license the idea that ontology can provide distinctively philosophical insights into the constituents of reality. I (...) distinguish four main sources of analytic ontology—Strawson's descriptive metaphysics, Kripke's realist semantics, the Austro-Australian truth-maker principle, Quine's naturalistic conception of ontology—and indicate briefly why the first three do not rehabilitate ontology. In the remainder, I concentrate on the most influential and promising position. Quinean ontology seeks to bring out and reduce the ontological commitments of our best scientific theories through logical paraphrase. Against this programme, I argue that Quine's conception of ontological commitment is inadequate, and that his logical paraphrase cannot contribute to the exploration of reality, but at most to the clarification of our conceptual framework. (shrink)

(No abstract is available for this citation).

It is argued that, if Armstrong is correct and truthmakers necessitate the truths they make true, then the truthmakers must include facts about the meanings of the words used to express those truths, and nominalism apparently results. This conclusion, no doubt unpalatable to Armstrong, is, it is claimed, the result of his having failed to distinguish sufficiently the meanings of words and the properties of things.

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 §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). (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)

Jonathan Westphal's recent paper attempts to reconcile the view that propositions about the future can be true or false now with the idea that the future cannot now be real. I attempt to show that Westphal's proposal is either unoriginal or unsatisfying. It is unoriginal if it is just the well-known eternalist solution. It is unsatisfying if it is instead making use of a peculiar, tensed truthmaking principle.

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. (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)

According to the so-called metaphysical conception of analyticity, analytic truths are true in virtue of meaning (or content) alone and independently of (extralinguistic) facts. Quine and Boghossian have tried to present a conclusive argument against the metaphysical conception of analyticity. In effect, they tried to show that the metaphysical conception inevitably leads into a highly implausible view about the truthmakers of analytic truths. We would like to show that their argument fails, since it relies on an ambiguity of the notion (...) of 'independence of (extralinguistic) facts'. If one distinguishes between variation independence and existence independence, the unwelcome view about the truthmakers of analytic truths no longer follows. Thus, there is at best a challenge, but no conclusive argument. The door to the metaphysical conception of analyticity is still open. (shrink)

David Lewis has complained about the truthmaker theory as a version of the correspondence theory of truth (Lewis 2001a; Lewis 2001b). His main criticism is that the truthmaker theory, if combined with the redundancy theory, is not a theory about truth, but only »about the existential grounding of all manner of other things: the flying of pigs, or what-have-you« (Lewis 2001a: 279; Lewis 2001b: 603-4). In his view, to call such a truthmaker theory a theory of truth is a »misnomer« (...) (Lewis 2001a: 279). Lewis does not claim that the truthmaker theory is false, nor does he reject it. Indeed, he expresses agreement with its spirit. But of course it would be an embarrassment to any defender of the truthmaker theory to find out that it is not about truth at all. Indeed, if it were not about truth we should »forget about the ´correspondence theory of truth´«, as the title of Lewis´ paper suggests. Therefore, it is highly desirable for any adherent of the truthmaker theory to look for an understanding of the truthmaker theory which will let it be about truth, and to see whether anything of what Lewis has said provides an argument against it. We will argue that there is such an understanding and that Lewis has not provided any material for an argument against it. (shrink)

I explore two accounts of properties within a dispositional essentialist (or causal powers) framework, the pure powers view and the powerful qualities view. I first attempt to clarify precisely what the pure powers view is, and then raise objections to it. I then present the powerful qualities view and, in order to avoid a common misconception, offer a restatement of it that I shall call the truthmaker view. I end by briefly defending the truthmaker view against objections.

Possible worlds, concrete or abstract as you like, are irrelevant to the truthmakers for modality—or so I shall argue in this paper. First, I present the Neo-Humean picture of modality, and explain why those who accept it deny a common sense view of modality. Second, I present what I take to be the most pressing objection to the Neo-Humean account, one that, I argue, applies equally well to any theory that grounds modality in possible worlds. Third, I present an alternative, (...) properties-based theory of modality and explore several specific ways to flesh the general proposal out, including my favored version, the Powers Theory. And, fourth, I offer a powers semantics for counterfactuals that each version of the properties-based theory of modality can accept, mutatis mutandis. Together with a definition of possibility and necessity in terms of counterfactuals, the powers semantics of counterfactuals generates a semantics for modality that appeals to causal powers and not possible worlds. (shrink)