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)

Jago argues that truthmaker non-maximalism, the view that some but not all truths require truthmakers, is vulnerable to a challenge from truths which ascribe knowledge of propositions about things which don't exist. Such truths, Jago argues, can only be dealt with using maximalist resources. I argue that Jago's point relies on the claim that the relevant truths require truthmakers, a point that non-maximalists can coherently and plausibly deny. Moreover, I argue that by making use of a safety account (...) of knowledge, non-maximalists can fully answer Jago's challenge. (shrink)

Mark Jago has presented a dilemma for truthmaker non-maximalism—the thesis that some but not all truths require truthmakers. The dilemma arises because some truths that do not require truthmakers by the non-maximalist’s lights (e.g., that Santa Claus does not exist) are necessitated by truths that do (e.g., that Barack Obama knows that Santa Claus does not exist). According to Jago, the non-maximalist can supply a truthmaker for such a truth only by conceding the primary motivation for the (...) view: that it allows one to avoid positing strange ‘negative’ entities without adopting a non-standard account of the necessary features of ordinary things. In this paper, I sketch out and defend two plausible non-maximalist proposals that evade Jago’s dilemma. (shrink)

According to the “truthmaker maximalism”, every true contingent proposition is made true by something in the world, called its truthmaker. Although at first sight the maximalism seems to be a natural position, it has serious difficulties, especially concerning negative truths. In view of this, many truthmaker theorists adopt some non-maximalist position. It is not clear, however, whether these non-maximalists are justified, since existing reasons to justify the non-maximalism are not good enough. In this paper, (...) then, I shall propose a new reason for the non-maximalism, which consists in the observation that the maximalism cannot acknowledge the widely accepted view that certain inferences involving logical constants are valid in the properly logical sense. (shrink)

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

This paper introduces a new approach to the theory of truthmaking. According to this approach, there are multiple forms of truthmaking. Here, I characterize and motivate a specific version of this approach, which I call a ‘Pluralist Theory of Truthmaking.’ It is suggested that truthmaking is a plural, variegated phenomenon wherein different kinds of truths, e.g., positive truths, negative truths, counterfactual truths, etc., are made true in different ways. While the paper only aims to lay the groundwork for a Pluralist (...) Theory of Truthmaking, I show how the theory can be applied to positive and negative truths. The upshot of this application is that truthmaking pluralism allows us to provide negative truths with ‘non-suspicious’ truthmakers. Finally, it is argued that Truthmaker Maximalists would do well to endorse truthmaking pluralism, as it offers a new strategy for upholding Maximalism while diminishing controversial ontological commitments. (shrink)

Strong non-maximalism holds that some truths require no ontological ground of any sort. Strong non-maximalism allows one to accept that some propositions are true without being forced to endorse any corresponding ontological commitments. We show that there is a version of truthmaker theory available—anti-aboutness truthmaking—that enjoys the dialectical benefits of the strong non-maximalist’s position. According to anti-aboutness truthmaking, all truths require grounds, but a proposition need not be grounded in the very thing(s) that the proposition is about. (...) We argue that if strong non-maximalism can be defended, then so can anti-aboutness truthmaking on the very same basis; one can enjoy the benefits of strong non-maximalism without giving up on the idea that truth is always grounded in being. (shrink)

This paper defends a new version of truthmaker non-maximalism. The central feature of the view is the notion of a default truth-value. I offer a novel explanation for default truth-values and use it to motivate a general approach to the relation between truth-value and ontology, which I call truth-value-maker theory. According to this view, some propositions are false unless made true, whereas others are true unless made false. A consequence of the theory is that negative existential truths need (...) no truthmakers and that positive existential falsehoods need no falsemakers. (shrink)

We defend two claims: (1) if one is attracted to a strong non-maximalist view about truthmaking, then it is natural to construe this as the view that there exist fundamental truths; (2) despite considerable aversion to fundamental truths, there is as yet no viable independent argument against them. That is, there is no argument against the existence of fundamental truths that is independent of any more specific arguments against the ontology accepted by the strong non-maximalist. Thus there is no argument (...) that the strong non-maximalist herself will find dialectically motivating. (shrink)

Peter Milne has tried to refure Truthmaker Maximalism. the thesis that every truth has a truthmaker, by producing a simple and direct counterexample to it, the sentence M: This sentence has no truthmaker. I argue that, contrary to what Milne argues, on Truthmaker Maximalism M is equivalent to the Liar, which gives the truthmaker maximalist a way to defend his position from Milne's counterexample: to argue that M expresses no proposition.

In this note we shall argue that Milne’s new effort does not refute Truthmaker Maximalism. According to Truthmaker Maximalism, every truth has a truthmaker. Milne has attempted to refute it using the following self-referential sentence M: This sentence has no truthmaker. Essential to his refutation is that M is like the Gödel sentence and unlike the Liar, and one way in which Milne supports this assimilation is through the claim that his proof is essentially (...) object-level and not semantic. In Section 2, we shall argue that Milne is still begging the question against Truthmaker Maximalism. In Section 3, we shall argue that even assimilating M to the Liar does not force the truthmaker maximalist to maintain the ‘dull option’ that M does not express a proposition. There are other options open and, though they imply revising the logic in Milne’s reasoning, this is not one of the possible revisions he considers. In Section 4, we shall suggest that Milne’s proof requires an implicit appeal to semantic principles and notions. In Section 5, we shall point out that there are two important dissimilarities between M and the Gödel sentence. Section 6 is a brief summary and conclusion. (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.

Each truth has a truthmaker: an entity in virtue of whose existence that truth is true. So say truthmaker maximalists. Arguments for maximalism are hard to find, whereas those against are legion. Most accept that maximalism comes at a significant cost, which many judge to be too high. The scales would seem to be balanced against maximalism. Yet, as I show here, maximalism can be derived from an acceptable premise which many will pre-theoretically accept.

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

According to truthmaker theory, particular truths are true in virtue of the existence of particular entities. Truthmaker maximalism holds that this is so for all truths. Negative existential and other ‘negative’ truths threaten the position. Despite this, maximalism is an appealing thesis for truthmaker theorists. This motivates interest in parsimonious maximalist theories, which do not posit extra entities for truthmaker duty. Such theories have been offered by David Lewis and Gideon Rosen, Ross Cameron, and (...) Jonathan Schaffer. But these theories cannot be sustained, I’ll argue, and hence maximalism comes with a serious ontological cost. Neither Armstrong’s invocation of totality facts nor the Martin-Kukso line on absences can meet this cost satisfactorily. I’ll claim that negative facts are the best (and perhaps only) way out of the problem for the truthmaker maximalist. (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)

Derek Parfit defended Non-Realist Cognitivism. It is an open secret that this metaethical theory is often thought at best puzzling and at worst objectionably unclear. Employing truthmaker theory, I provide an account of Non-Realist Cognitivism that dispels charges of objectionable unclarity, clarifies how to assess it, and explains why, if plausible, it would be an attractive theory. I develop concerns that the theory involves cheating into an objection that ultimately reveals Non-Realist Cognitivism faces a dilemma. Whether it can escape (...) demands further attention. In bridging metaethics and the truthmaking literature, I illustrate the importance of greater meta-metaphysical reflection in metaethics. (shrink)

Mark Jago has introduced a short Fitch-style argument for truthmaker maximalism – the thesis that every truth has a truthmaker. In response to Jago, Trueman argues that the Fitch-style reasoning allows us to prove the opposite – no truth has a truthmaker. In the article, we consider the debates between Jago’s truthmaker maximalism and Trueman’s truthmaker nihilism. Also, we introduce a short Grim-style argument against Jago’s truthmaker maximalism.

Truthmaker says that things, broadly construed, are the ontological grounds of truth and, therefore, that things make truths true. Recently, there have been a number of arguments purporting to show that if one embraces Truthmaker, then one ought to embrace Truthmaker Maximalism—the view that all non-analytic propositions have truthmakers. But then if one embraces Truthmaker, one ought to think that negative existentials have truthmakers. I argue that this is false. I begin by arguing that recent (...) attempts by Ross Cameron and Jonathan Schaffer to provide negative existentials with truthmakers fail. I then argue that the conditional—if one embraces Truthmaker, the one ought to embrace Truthmaker Maximalism—is false by considering worlds where very little, if anything at all, exists. The conclusion is that thinking that negative existentials do not have truthmakers, and therefore rejecting Truthmaker Maximalism, need not worry Truthmaker embracers. (shrink)

Advocates of truthmaker theory (like David Armstrong) regularly postulate both maximalism (that every truth has a truthmaker) and expressibility (that any truth can be expressed in a propostion). My aim in this paper is to demonstrate that these two theses are inconsistent, and hence that we must abandon one of them if we are to preserve truthmaker theory.

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)

Recently, philosophers have tried to develop a version of truthmaker theory which ties the truthmaking relation closely to the notion of fundamentality. In fact, some of these truthmaker-fundamentalists, as I call them, assume that the notion of fundamentality is intelligible in part by citing, as central examples of fundamentals, truthmakers, which they understand necessarily as constituents of fundamental reality. The aim of this paper is first to bring some order and clarity to this discussion, sketching how far TF (...) is compatible with orthodox truthmaking, and then critically to evaluate the limits of TF. It will be argued that truthmaker theory cannot directly help with articulating the nature of fundamental reality and that T-REL does not necessarily relate truths with anything more fundamental, unless what is fundamental is what the truthbearers in question are about. I shall argue that TF faces a rather thorny dilemma and some general problems. I shall present two exhaustive types of fundamentalism on which a version of TF can be based: deflationary and inflationary. It will be argued that each version of TF runs into significant troubles accounting for all truth, specifically ordinary truths and metaphysical truths about the relations between ordinary facts and fundamental facts. I shall not attempt to solve these problems, but rather, at the end, diagnose the issues with TF as lying in the difficulties with reconciling the manifest image with the scientific and metaphysical images of reality. (shrink)

The paper analyses the argument proposed by Milne against truthmaker maximalism and shows that the objections raised to this argument by de Sa and Zardini, and Rodriguez-Pereyra are misguided because the first one misuses the vagueness of some terms; and the second one is based on a fallacy of petitio principii.

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)

This book explores some of Kit Fine's outstanding contributions to logic, philosophy of language, philosophy of mathematics, and metaphysics, among others. Contributing authors address in-depth issues about truthmaker semantics, counterfactual conditionals, grounding, vagueness, non-classical consequence relations, and arbitrary objects, offering critical reflections and novel research contributions. Each chapter is accompanied by an extensive commentary, in which Kit Fine offers detailed responses to the ideas and themes raised by the contributors. The book includes a brief autobiography and exhaustive list of (...) his publications to this date. This book is of interest to logicians of all stripes and to analytic philosophers more generally. (shrink)

A seventeenth-century scholastic attempt to restrict the truthmaker principle to positive truths.

Like many contemporary truthmaker theorists, seventeenth-century scholastics were concerned about the problem of finding truthmakers for negative truths such as “Pegasus does not exist.” This paper argues that the early modern scholastic Francisco Peinado’s solution to the problem of negative truths is to claim, roughly, that negative truths do not have truthmakers. The position attributed to Peinado is widely rejected nowadays as ad hoc, but this paper argues that Peinado’s position is independently motivated because he independently endorses the intentional (...) mode view of affirmation and negation, a certain analysis of truth for positive truths, and the aboutness constraint on truthmaking. He endorses the intentional mode view because he thinks it alone can account for the distinction between positive and negative force, and it alone can account for the difference between positive and negative propositions. (shrink)

Let us call non-presentist dynamism any view according to which (a) a single moment of time is objectively present and (b) which time is objectively present changes and (c) objectively non-present times exist, and at least some of these are occupied by objects, events, or properties. Non-presentist dynamism has an advantage over presentist dynamism—the view that only present objects, properties, and events exist, and that which objects, properties and events there are, changes—in the truthmaking arena. Presentists have trouble finding plausible (...) truthmakers for past (and future) tensed propositions, since no past, (or future) objects, properties, or events exist, which could make true said propositions. Hence presentists have to resort to one of two strategies. According to the first, nothing makes past (or future) tensed propositions true, though some are true nonetheless. For some class of propositions, the truth of said propositions does not in any way depend on ontology. This strategy rejects even the fairly weak requirement that for any proposition P, and worlds w and v, if P is true in w but not in v, then either something exists in v but not in w or else some n-tuple of things stands in some fundamental relation in v but not in w . Call this account No Truthmaker: -/- No Truthmaker: There are no truthmakers for past-tensed truths. -/- Embracing No Truthmaker is typically taken to be a cost of presentism. According to the second strategy, some presently existing thing makes true past-tensed truths. Advocates of this strategy embrace anti-aboutness truthmaking, the view that while all truths are grounded in being, the truth of a proposition need not grounded in the thing(s) the proposition is about. Since past things do not exist, past-tensed propositions are made true by something other than what they are about. Such presentists endorse some version of Present Record Truthmaking. (shrink)

K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in the empirical (...) sciences, given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (shrink)

I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us relevant implication. I (...) then investigate ways to add conjunction, disjunction, and negation; and I discuss how to justify contraposition and excluded middle within a truthmaker semantics. (shrink)

ABSTRACT One of the core issues where interpreters of Kant disagree concerns his alleged Noumenalism—the claim that the objects of our experience, which are in space and time, are underpinned by entities that are not spatio-temporal and that non-spatio-temporally cause our representations of empirical objects. Although there is much textual evidence in favour of Noumenalism, non-Noumenalists have also gathered a significant number of philosophical and exegetical challenges to such a reading of Kant. I present a novel way of understanding the (...) Noumenalist view, which characterises the distinction between appearances and things in themselves as the distinction between referents and truthmakers. I show that, on this interpretation of Kant, the most pressing problems for the Noumenalist reading are primarily based on equivocations between features of reference and features of truthmaking. (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)

The author argues for the existence of negative facts. The first section is devoted to an argument, grounded on truthmaker maximalism, that aims at demonstrating that negative facts must exist at least as false propositions’ falsemakers. In the second section, the author analyzes and criticizes several attempts to get rid of negative facts: the ones based on incompatibilities, absences, totality facts and polarities, as well as the ones based on various restrictions on truthmaker maximalism or on (...) the non-acceptance of facts as truthmakers. In particular, it is shown that an ontology that accepts negative facts is simpler than an ontology that denies their existence and that in general, many attempts to get rid of negative facts turn out to recognize the existence of such entities or of entities that are more mysterious than negative facts themselves. (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)

Suppose we believe that a property F is coextensive with moral permissibility. F may be, for example, the property of having the best consequences, if we are Consequentialists, or that of conforming to a universalisable maxim, if we are Kantians, and so on. This may raise the following problem. It is plausible that permissibility is “closed under implication”: any act that is implied by a permissible act must itself be permissible. Yet, in some cases, F might not be closed under (...) implication. If that is so, then F cannot be coextensive with permissibility. Maximalism has been proposed as a solution to this problem. A “maximal” act is one not implied by any other act. Maximalism restricts the claim that F is coextensive with permissibility to maximal acts only. A non-maximal act may be permissible without being F if it is implied by a maximal act that is F. The general aim of this paper is to investigate these issues by considering the formal structure of acts, or the “act-implication” relation. Discussions of Maximalism have tended to assume implicitly that acts have structure of some sort, but there has been little careful attention given to this structure. I aim to show that, by thinking about structure, we can provide a stronger defence of Maximalism. (shrink)

Kit Fine’s contribution to logic is vast and diverse; the chapters in this book deal with a significant part of it. In this introductory chapter, we clarify and contextualize the main themes of Fine’s work that are centre stage in this book, after which we give a summary of each chapter.

We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and (...) present six different ways of extending this semantics with a conditional knowledge operator, drawing on notions of implication and content that are prominent in Fine’s work. We demonstrate that different logics are thereby generated, bearing on the aforementioned epistemic principles. Finally, we offer preliminary observations about the prospects for each logic. (shrink)

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.

My aim is to show that theories which try to construct truthmakers out of objects and properties/relations alone are not tenable: The Frege–Wittgenstein idea of incompleteness does not yield truthmakers. Armstrong’s theory of partial identity and the theory of moments, i.e., of non-transferable properties, yield truthmakers, but these theories have counter-intuitive consequences. I conclude that the notion of a truthmaker makes ontological demands beyond objects and properties/relations and propose that truthmakers are exemplification relations which are necessarily tied to objects (...) and properties/relations. (shrink)

This paper is a fresh attempt to articulate the role of a theory of truthmakers. We argue that truthmaker theory constitutes a cornerstone of good methodology in metaphysics, but that a conflation of truthmaker theory with the theory of truth has been responsible for certain excesses associated with truthmaker-based approaches in the recent literature. If truthmaker theory is not a component of a theory of truth, then truthmaker maximalism – the view that every truth (...) has a truthmaker – loses its primary motivation. More generally, if the task of truthmaker theory is not to provide a definition or account of truth in truthmaker terms, there is no pressing need for hard, a priori principles stating which truths have truthmakers and which do not. (shrink)

The present paper addresses Molnar’s problem :72–86, 2000): that of finding positive truthmakers for negative truths. The proposed solution, called, is to hold truth and falsity to be primitive and positive features of propositions and to take every literal negative truth to be made true by the falsity of the atomic proposition that it embeds. The solution is shown to be compatible with Maximalism, Necessitarianism and with the Entailment Thesis, as well as with most if not all possible variants (...) of truthmaking theory. Other advantages of are noted: it doesn’t require the inclusion of exotic objects in one’s ontology; it doesn’t require any revision of one’s logic or of one’s theory of modality. The solution also allows one to eschew negative facts, tropes and properties while providing a definition of negativity for certain literal propositions. The paper ends by rebutting several objections that may be levelled against. (shrink)

The first way that a discussion of truth gets one going in metaphysics is via its connection to propositions. Philosophers have taken a number of views about the true nature of propositions. The early part of the twentieth century saw a strong reaction against holism, led prominently by Bertrand Russell and Ludwig Wittgenstein. This chapter considers why we should believe in Classical Truthmaker Theory in the first place, as well as a fundamental challenge to the very foundation of (...) class='Hi'>truthmaker theory: the deflationary theory of truth. The simplest, most natural understanding of Truthmaker Theory is the view that every truth has a truthmaker. This is 'Truthmaker Maximalism'. One of the fundamental motivations for truthmaker theory of any form is, as we have seen, the Correspondence Theory of Truth. Importantly, deflationists are anti‐realists only about one thing: the existence of a real property of truth. (shrink)

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: the world is everything that exists; everything that exists is positive; some negative claims about the world are true; and every true claim about the world is made true by something that exists. The conclusion is reached that we can keep in a consistent manner if causal truthmaking is permitted. (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)

In this paper, we first develop truthmaker semantics for four relevance logics defined as the non-transitive relevant cores [as introduced in Verdée et al. (Aust J Log 16:10–40, 2019)] of the well-known propositional logics CL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {CL}}$$\end{document} (classical logic), LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {LP}}$$\end{document} (the logic of paradox), K3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {K3}}$$\end{document} (strong Kleene logic), and FDE\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} (...) \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {FDE}}$$\end{document} (first degree entailment). The semantics is similar to Kit Fine’s truthmaker semantics for classical logic, but we define the notion of exact verification similarly to Fine’s notion of loose verification. Dropping Fine’s principle of Downward Closure of the set of consistent states nevertheless warrants the exactness of our verification notion. The semantics of the four non-transitive relevance logics shows that they are in fact straightforward cut-free substructural logics, despite their definition by means of a filtering criterion. We develop the associated sound and complete sequent calculi for these logics. Finally, we argue that the four presented truthmaker semantics are also interesting alternatives to the standard Kit Fine style truthmaker semantics for the original (irrelevant) consequence relations FDE\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {FDE}}$$\end{document}, LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {LP}}$$\end{document}, K3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {K3}}$$\end{document}, and CL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {CL}}$$\end{document} themselves. The most interesting difference with Fine’s approach is the way in which tautologies are handled: next to their usual verifiers, they are also made true by the empty state. We provide philosophical arguments for the plausibility of such an account. (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 paper presents a novel perspective on the force-content distinction making use of truthmaker semantics and an ontology of attitudinal objects, things that are neither acts (or states) nor propositions. It gives a novel norm-based definition of the notion of direction of fit, strictly linking truth and (non-action-guiding) correctness.

The purpose of this paper is to explore the question of how truthmaker theorists ought to think about their subject in relation to logic. Regarding logic and truthmaking, I defend the view that considerations drawn from advances in modal logic have little bearing on the legitimacy of truthmaker theory. To do so, I respond to objections Timothy Williamson has lodged against truthmaker theory. As for the logic of truthmaking, I show how the project of understanding the logical (...) features of the truthmaking relation has led to an apparent impasse. I offer a new perspective on the logic of truthmaking that both explains the problem and offers a way out. (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 aims to introduce Meinongian Abstractionism (MA), i.e. a view on the metaphysics of truthmaking and modality. This approach is based on the notion of objectives—one of the key elements of Alexius Meinong’s Theory of Objects. In the light of it, worlds are interpreted in terms of sets of subsistent and non-subsistent objectives. This—along with Meinong’s characterization of objectives—provides a ground for possible as well as impossible worlds. One of the consequences of Meinongain Abstractionism is a reformulation of the (...) relation of truthmaking in modal terms. Importantly, this reformulation avoids the problem of too-coarse grained analysis of truthmakers. This makes MA a metaphysically–oriented supporter of the so-called ‘hyperintensional revolution.’. (shrink)