Nominalizations are expressions that are particularly challenging philosophically in that they help form singular terms that seem to refer to abstract or derived objects often considered controversial. The three standard views about the semantics of nominalizations are [1] that they map mere meanings onto objects, [2] that they refer to implicit arguments, and [3] that they introduce new objects, in virtue of their compositional semantics. In the second case, nominalizations do not add anything new but pick up objects that would (...) be present anyway in the semantic structure of a corresponding sentence without a nominalization. In the first and third case, nominalizations in a sense ‘create’ new objects’, enriching the ontology on the basis of the meaning of expressions. I will argue that there is a fourth kind of nominalization which requires a quite different treatment. These are nominalizations that introduce ‘new’ objects, but only partially characterize them. Such nominalizations generally refer to events or tropes. I will explore an account according on which such nominalizations refer to truth makers. (shrink)

We propose a novel ontological analysis of relations and relationships based on a re-visitation of a classic problem in the practice of knowledge repre- sentation and conceptual modeling, namely relationship reification. Our idea is that a relation holds in virtue of a relationship's existence. Relationships are therefore truthmakers of relations. In this paper we present a general theory or reification and truthmaking, and discuss the interplay between events and rela- tionships, suggesting that relationships are the focus of events, which (...) emerge from the context (the scene) they occur in. (shrink)

This book addresses the metaphysics of Armstrongian states of affairs, i.e. instantiations of naturalist universals by particulars. The author argues that states of affairs are the best candidate for truthmakers and, in the spirit of logical atomism, that we need no molecular truthmakers for positive truths. In the book's context, this has the pleasing result that there are no molecular states of affairs. Following this account of truthmaking, the author first shows that the particulars in (first-order) states of affairs (...) are bare particulars. He then argues that the properties in states of affairs are simple, non-relational and concrete universals. Next, he argues that (material) relations in states of affairs are external relations. Lastly, he argues that a state of affairs is unified by a distinctive formal relation without giving rise to Bradley’s regress. (shrink)

Jamin Asay’s A Theory of Truthmaking is one of the most important books on truthmaking, full of important ideas from beginning to end. One of the most interesting parts of the book is Asay's attack on the explanation-first truthmaking. Explanation-first truthmaking is the explanatory project of explaining why truths are true. This is in contrast with ontology-first truthmaking, the project defended by Asay, and which is the project of answering the fundamental ontological question “What is (...) there?”. Asay thinks explanation-first truthmaking should be abandoned because it is problematic and it offers no benefits over those of ontology-first truthmaking. In this brief paper, I argue that he has not established the problematicity of explanation-first truthmaking, and that explanation-first truthmaking offers benefits over ontology-first truthmaking. (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.

In this paper, I first present an overview of Asay’s _A Theory of Truthmaking_, highlighting what I take to be some of its most attractive features, especially his re-invigoration of the ontological understanding of truthmaking and his defence of ontology-first truthmaking over explanation-first truthmaking. Then, I articulate what I take to be a puzzling potential inconsistency: (a) he appeals to considerations to do with aboutness in criticising how well ontological views account for truth while (b) ruling out (...) aboutness from the right account of truthmaking. He argues, instead, that necessitation is both necessary and sufficient for truthmaking (§3.3). I suggest that adding aboutness to one’s account in the right way is not just compatible with but important for ontology-first truthmaking. I do all this to invite Asay to clarify his position on these matters. Overall, Asay’s worldview displays the fruitfulness of an ontologically serious approach to metaphysics that puts truthmaking centre-stage. (shrink)

One of the most characteristic cornerstones of Asay’s book, A Theory of Truthmaking, is the defense of what he calls the ontology-first perspective on what the truthmaker project is all about. He distinguishes it from and defends it over what he calls the explanation-first perspective, and he bases his overall theorizing about truthmaking on it. This critical notice aims to counter Asay’s challenges for the explanation-first perspective and reveal its theoretical advantages over its rival. First, I show how (...) to escape Asay’s presented dilemma for the explanation-first perspective by specifying the nature of the distinctive form of explanation that explanation-first truthmaker theorists should envisage. Second, partly based on my proposal in the preceding discussion, I provide an account of the cases that Asay thinks pose troubling questions concerning whether a certain entity really serves as the explanans of a truthmaking explanation. Third, I establish a way in which the explanation-first perspective can be beneficial to what the ontology-first perspective focuses on, namely, exploring the ontological requirements for truths. The overall discussion warns against the underestimation of the prospects for the explanation-first perspective. (shrink)

Consider a certain red rose. The proposition that the rose is red is true because the rose is red. One might say as well that the proposition that the rose is red is made true by the rose’s being red. This, it has been thought, does not commit one to a truthmaker of the proposition that the rose is red. For there is no entity that makes the proposition true. What makes it true is how the rose is, and how (...) the rose is is not an entity over and above the rose. It is against this view that I shall argue in this paper. I shall argue that a significant class of true propositions, including inessential predications like the proposition that the rose is red, are made true by entities. "No truthmaking without truthmakers" is my slogan. Although I have my view about what kinds of entities are truthmakers, I shall not argue for or presuppose that view here. All I shall argue for here is that if a proposition is made true by something, it is made true by some thing, but my argument will leave it open what kind of thing that thing is: it could be a fact or state of affairs, a trope, or any other sort of entity. (shrink)

In the paper we discuss criticisms against David Armstrong’s general theory of truthmaking by Gonzalo Rodriguez-Pereyra, Peter Schulte and Benjamin Schnieder, and conclude that Armstrong’s theory survives these criticisms. Special attention is given to the problems concerning Entailment Principle, Conjunction Thesis, Disjunction Thesis and to the notion of explanation.

In the present paper we propose a system of propositional logic for reasoning about justification, truthmaking, and the connection between justifiers and truthmakers. The logic of justification and truthmaking is developed according to the fundamental ideas introduced by Artemov. Justifiers and truthmakers are treated in a similar way, exploiting the intuition that justifiers provide epistemic grounds for propositions to be considered true, while truthmakers provide ontological grounds for propositions to be true. This system of logic is then applied (...) both for interpreting the notorious definition of knowledge as justified true belief and for advancing a new solution to Gettier counterexamples to this standard definition. (shrink)

On the truthmaker view of ontological commitment [Heil (From an ontological point of view, 2003); Armstrong (Truth and truthmakers, 2004); Cameron (Philosophical Studies, 2008)], a theory is committed to the entities needed in the world for the theory to be made true. I argue that this view puts truthmaking to the wrong task. None of the leading accounts of truthmaking—via necessitation, supervenience, or grounding—can provide a viable measure of ontological commitment. But the grounding account does provide a needed (...) constraint on what is fundamental. So I conclude that truthmaker commitments are not a rival to quantifier commitments, but a needed complement. The quantifier commitments are what a theory says exists, while the truthmaker commitments are what a theory says is fundamental. (shrink)

In this commentary piece, I argue that Asay’s accounts of truth and truthmaking in A Theory of Truthmaking give no role to the idea that truth depends on being. In fact, some of the positions taken in the book are in tension with this idea that has been central to truthmaker theory. I consider how three aspects of Asay’s account relate to the idea that truth depends on being.

This chapter explains the basic framework of truthmaker or 'exact' semantics, an approach to semantics that has recently received a growing amount of interest, and discusses a number of different applications within philosophy and linguistics. The idea of truthmaking is the idea of something on the side of the world ‐ a fact, perhaps, or a state of affairs ‐ verifying, or making true, something on the side of language or thought ‐ a statement, perhaps, or a proposition. The (...) chapter focuses on the ultimate truthmakers, on what in the world ultimately makes something true, and the question of how the truthmakers make the statements of our language true is of no great concern. It also focuses on the immediate truthmakers, and the question of how they make the statements of the language true will be of greatest concern. (shrink)

Truthmaking is the metaphysical exploration of the idea that what is true depends upon what exists. Truthmaker theorists argue about what the truthmaking relation involves, which truths require truthmakers, and what those truthmakers are. This Element covers the dominant views on these core issues in truthmaking. It also explores some key metaphysical topics and debates that are usefully approached by employing the tools of truthmaker theory: the debate between presentists and eternalists over the existence of entities from (...) the past, and the debate between actualists and possibilists over merely possible states of affairs. In the final section, the Element explores how to think about truthmakers for truths involving social constructions. (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)

Tim Crane's The Objects of Thought is, I think, a much needed corrective to standard ways that analytic philosophers think about nonexistence. It starts from our common sense thought and talk, and tries to carve out a position that can defend this starting point in the face of criticism. It is well-written, a pleasure to read, and largely clear. I would recommend it to anyone interested in the problems of nonexistence. In §1 I sketch Crane's central ideas about the nonexistent, (...) before turning to themes that I would like to have heard more about. In §2, I distinguish two problems of nonexistence, showing that whilst Crane solves one, he does not address the other. Although Crane did not seek to address both problems, I think we should recognize that there is this residual problem of nonexistence remaining. Next (§3), I argue that whilst Crane is correct to think that a negative free logic has to be rejected if we construe it as making a claim about grammatical subject-predicate sentences, we might be able to salvage it if we recognise a class of logical predicates. But whether this is possible or not, depends on the solution to the unaddressed problem of nonexistence. In the final two sections I briefly raise a concern about Crane's view of quantification, before making a suggestion about his view might be employed in addressing Geach's problem of intentional identity. (shrink)

A minimal truthmaker for a given proposition is the smallest portion of reality which makes this proposition true. Minimal truthmakers are frequently mentioned in the literature, but there has been no systematic account of what they are or of their importance. In this article we shall clarify the notion of a minimal truthmaker and argue that there is reason to think that at least some propositions have minimal truthmakers. We shall then argue that the notion can play a useful role (...) in truthmaker theory, by helping to explain the truth of certain propositions as precisely as possible. (shrink)

This chapter argues that the ‘sensible nominalist’ can invoke a nominalist-friendly version of the truthmaker principle in order to overcome a standard objection to nominalism. The nominalist is allegedly unable to account for the truth of ‘there is a colour that objects _a_ and _b_ share’. However, once we abandon Quine's quantificational criterion of ontological commitment in favour of a truthmaker-based criterion of commitment, the problem disappears: the truthmaker for ‘there is a colour that objects _a_ and _b_ share’ might (...) be, for example, simply that _a_ is red and _b_ is red: something that entails no commitment to the existence of colours. Ontological commitment to truthmakers (e.g. _a's being red_) is avoided by treating ‘makes true’ as a sentential operator rather than a relation. The chapter further argues that truthmaking can be used to understand modal truths in a way that does not require appeal to possibilia. (shrink)

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

Truthmaker theorists hold that there is a metaphysically explanatory relation that holds between true claims and what exists. While some critics try to provide counterexamples to truthmaker theory, that response quickly leads to a dialectical standoff. The aim of this paper is to move beyond that standoff by attempting to undermine some standard arguments for truthmaker theory. Using realism about truth and a more pragmatic account of explanation, I show how some of those arguments can be undermined.

In this paper I undermine the Entailment Principle according to which if an entity is a truthmaker for a certain proposition and this proposition entails another, then the entity in question is a truthmaker for the latter proposition. I argue that the two most promising versions of the principle entail the popular but false Conjunction Thesis, namely that a truthmaker for a conjunction is a truthmaker for its conjuncts. One promising version of the principle understands entailment as strict implication but (...) restricts the field of application of the principle to purely contingent truths (i.e. those that contain no necessary proposition at any level of analysis). But a conjunction of purely contingent truths strictly implies its conjuncts. So this version of the principle is committed to the Conjunction Thesis. The same is true of the version of the principle where entailment is understood in the sense of systems T, R, and E of relevant logic, since in these systems conjunctions entail their conjuncts. I argue that the Conjunction Thesis is false because a truthmaker is that in virtue of what a certain proposition is true and it is false that, for example, what the proposition that Peter is a man is true in virtue of is the conjunctive fact that Peter is man and Saturn is a planet (or the facts that Peter is a man and that Saturn is a planet taken together). I also argue against other versions of the principle. (shrink)

This paper is concerned with the relation between two important metaphysical notions, ‘truthmaking’ and ‘grounding’. I begin by considering various ways in which truthmaking could be explicated in terms of grounding, noting both strengths and weaknesses of these analyses. I go on to articulate a problem for any attempt to analyze truthmaking in terms of a generic and primitive notion of grounding based on differences we find among examples of grounding. Finally, I outline a more complex view (...) of how truthmaking and grounding could relate. On the view explored, truthmaking is a species of grounding differentiated from other species of grounding by the unique form of dependence it involves. (shrink)

This paper attempts to locate, within an actualist ontology, truthmakers for modal truths: truths of the form or. In Sect. 1 I motivate the demand for substantial truthmakers for modal truths. In Sect. 21 criticise Armstrong's account of truthmakers for modal truths. In Sect. 31 examine essentialism and defend an account of what makes essentialist attributions true, but I argue that this does not solve the problem of modal truth in general. In Sect. 41 discuss, and dismiss, a theistic account (...) of the source of modal truth proposed by Alexander Pruss. In Sect. 5 I offer a means of (dis)solving the problem. (shrink)

Jago and Loss have recently used variations on Fitch's paradox to argue that every truth has a truthmaker, and that every fact is grounded. In this paper, I show that Fitch's paradox can also be adapted to prove the exact opposite conclusions: no truth has a truthmaker, and no fact is grounded. All of these arguments are as dialectically effective as each other, and so they are all in bad company.

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.

This chapter aims to reconcile presentism with truthmaker theory. It begins by motivating the reconciliation. Section 2 asks what is wrong with the Lucretian strategy of grounding ‘there were dinosaurs’ in the world's instantiating _being such that there were dinosaurs_. The chapter aims 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. Section 3 argues that certain distributional properties do the job. Section 4 (...) deals with some potential objections. Section 5 shows how the presentist who accepts this chapter's 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. Section 7 makes some remarks concerning ontology versus ideology, which leads into a discussion of tense, determinacy, and modality in Section 8. (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)

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)

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)

This paper explores a new account of ontological dependence based on exact truthmaker semantics, which I call the truthmaking account. The account holds that states verifying existential propositions and the parthood relation between states can characterize the relation of ontological dependence. After presenting the truthmaking account, I compare it with the modal and grounding accounts. In particular, I show that the truthmaking account is better than the modal one, and I explore its advantages and disadvantages with respect (...) to the grounding account. (shrink)

The truthmaker literature has recently come to the consensus that the logic of truthmaking is distinct from classical propositional logic. This development has huge implications for the free will literature. Since free will and moral responsibility are primarily ontological concerns (and not semantic concerns) the logic of truthmaking ought to be central to the free will debate. I shall demonstrate that counterexamples to transfer principles employed in the direct argument occur precisely where a plausible logic of truthmaking (...) diverges from classical logic. Further, restricted transfer principles (like the ones employed by McKenna, Stump, and Warfield) are as problematic as the original formulation of the direct argument. (shrink)

This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their semantics. This paper is (...) a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (shrink)

According to the Truthmaker Principle: every truth has a truthmaker. Attempts to come to grips with the Truthmaker Principle played a prominent role in Lewis’s metaphysical writings over the last fifteen years of his career. Although Lewis agreed that the truth of propositions must somehow be ontologically grounded, the Truthmaker Principle was too strong: it conflicted with two of Lewis’s most fundamental metaphysical assumptions, the uniqueness of composition and the Humean denial of necessary connections. Lewis endorsed instead a weaker principle: (...) Truth Supervenes on Being. But towards the end of his career, he changed course, noting that his critique of the Truthmaker Principle rested on essentialist assumptions that he, as a counterpart theorist, does not accept. Once freed from those assumptions, a counterpart theorist can accept the Truthmaker Principle after all without buying into unmereological composition and mysterious necessary connections. (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)

I propose an account truthmaking that provides truthmakers for negative truths. The account replaces Truthmaker Necessitarianism with a "Duplication Principle", according to which a suitable entity T is a truthmaker for a proposition P just in case the existence of an appropriate counterpart of T entails the truth of P, where the counterpart relation is cashed out in terms of qualitative duplication. My account captures an intuitive notion of truthmakers as "things the way they are", validates two appealing principles (...) about entailment and containment proposed by David Armstrong, and invalidates the controversial Disjunction Thesis. (shrink)

The theory of truthmaking has long aroused skepticism from philosophers who believe it to be tangled up in contentious ontological commitments and unnecessary theoretical baggage. I argue in A Theory of Truthmaking that this suspicion is unfounded. Philosophers across the spectrum can take advantage of truthmaking, and use it to better understand the ontological implications of topics that arise all over the philosophical landscape. Challenging the current orthodoxy that truthmaking's fundamental purpose is to be a tool (...) for explaining why truths are true, the book revives the conception of truthmaking as fundamentally an exercise in ontology: a means for coordinating one's beliefs about what is true and one's ontological commitments. I go on to show how truthmaking connects to analyticity, truth, and realism, and how it contributes to debates over nominalism, presentism, mathematical objects, and fictional characters. (shrink)

Consider the idea that some entities are more fundamental than others, some entities ‘ground’ other, less fundamental, entities. What is it for something to be more fundamental than another, or for something to ‘ground’ something else? This paper urges the rejection of conceptions of grounding and fundamentality according to which reality has a hierarchical structure in which higher-level entities are taken to be distinct from but metaphysically dependent on more fundamental lower-level entities. Truthmaking is offered as an apt replacement (...) for at least some of the many applications of grounding. (shrink)

Presentism faces a serious challenge from truthmaker theory. Standard solutions to the truthmaker objection against presentism proceed in one of two ways. Easy road presentists invoke new entities to satisfy the requirements of truthmaker theory. Hard road presentists, by contrast, flatly refuse to give in to truthmaker demands. Recently, a third way has been proposed. This response seeks to address the truthmaking problem by tensing our truthmaker principles. These views, though intuitive, are under-developed. In this paper, I get serious (...) about a fundamentally tensed approach to truthmaking by sketching out the underlying ontological picture needed to make sense of tensed truthmaker theory. (shrink)

The metaphysics of relations is still in its infancy. We use the idea of truthmaking to gain purchase on this metaphysics. Assuming a modest supervenience conception of truthmaking, where true relational predications require multiply dependent truthmakers, these are indispensable relations. Though some such relations are required, none are needed for internal relatedness, nor for several other kinds of relational predication. Discerning the metaphysically basic kinds of relations is fraught with uncertainties, but must be tackled if progress is to (...) be made. (shrink)

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)

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)

A truthmaker for a proposition P is exact if it contains nothing irrelevant to P. What are the exact truthmakers for necessitated propositions? This paper makes progress on this issue by showing how to extend Fine’s truthmaker semantics for intuitionistic logic to an exact truthmaker semantics for intuitionistic modal logic. The project is of interest also to the classical logician: while all distinctively classical theorems may be true, they differ from the intuitionistic ones in how they are made true. This (...) sheds new light on the status of the T and B axioms. (shrink)

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)

This paper investigates the nature of scientific realism. I begin by considering the anomalous fact that Bas van Fraassen’s account of scientific realism is strikingly similar to Arthur Fine’s account of scientific non-realism. To resolve this puzzle, I demonstrate how the two theorists understand the nature of truth and its connection to ontology, and how that informs their conception of the realism debate. I then argue that the debate is much better captured by the theory of truthmaking, and not (...) by any particular theory of truth. To be a scientific realist is to adopt a realism-relevant account of what makes true the scientific theories one accepts. The truthmaking approach restores realism’s metaphysical core—distancing itself from linguistic conceptions of the debate—and thereby offers a better characterization of what is at stake in the question of scientific realism. (shrink)

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

Truthmaker theorists often express their core commitment by saying that truth is grounded in being, and grounding theorists often take truthmaking to be a paradigm case of grounding. But I will argue that truthmaking is not a case of grounding. What is crucial for understanding truthmaking is not grounding but rather meaning (in a broad sense including reference). Truth is still constrained by how things are, so even if (so‐called) truthmakers don't play a role in grounding truths, (...) the methodological program of truthmaker theory survives. Here I lay out my understanding of truth and truthmaking, and distinguish two conceptions of grounding. I argue that truthmaking is not plausibly seen as a case of grounding on either conception. I argue further that treating truthmaking as grounding threatens to violate a plausible irreflexivity principle, and makes trouble for the view that grounding is transitive. I then suggest that there is no genuine relation of truthmaking (which there would have to be if it were a true case of grounding). Finally, I show how the core insights of truthmaker theory are preserved by the understanding of truthmaking that I favor. (shrink)

To what extent do true predications correspond to truthmakers in virtue of which those predications are true? One sort of predicate which is often thought to not be susceptible to an ontological treatment is a predicate for instantiation, or some corresponding predication (trope-similarity or set-membership, for example). This paper discusses this question, and argues that an "ontological" approach is possible here too: where this ontological approach goes beyond merely finding a truthmaker for claims about instantiation. Along the way a version (...) of the problem of the regress of instantiation is posed and solved. (shrink)