This paper considers the extent to which the notion of truthmaking can play a substantive role in defining physicalism. While a truthmaking-based approach to physicalism is prima facie attractive, there is some reason to doubt that truthmaking can do much work when it comes to understanding physicalism, and perhaps austere metaphysical frameworks in general. First, despite promising to dispense with higher-level properties and states, truthmaking appears to make little progress on issues concerning higher-level items and how (...) they are related to how things are physically. Second, it seems that truthmaking-based approaches to physicalism will have a difficult time addressing the status of truthmaking itself without, in effect, appealing to the resources of alternative ways of conceptualizing physicalism. (shrink)

This is a reply to the commentaries on my paper 'Truthmaker Semantics for Natural Language: Attitude Verbs, Modals, and Intensional Transitive Verbs'. The paper is a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufman, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, and G. Ramchand.

Truthmakers, truth conditions, and analyses are closely related, but distinct in rather important ways. A failure to properly appreciate their differences has led to some confusion regarding the role that possible worlds ought to play with respect to modality. Those philosophers who initially proposed the existence of possible worlds were understood as providing an analysis of modality. More recently, many have interpreted them as providing modal truthmakers. But, possible worlds are only suited to serve as truth conditions for modal truths. (...) My goals are as follows: First, to dispel this confusion by detailing the differences between these three concepts. Second, to apply the lesson learned to the famous Humphrey objection against possible worlds. While this objection, if successful, does undermine Lewisian modal realism, it only partially undermines ersatzism, and leaves available a route by which ersatzers may avoid the objection altogether. (shrink)

The purpose of this paper is to communicate - as a proposal - a general method of assigning a 'truthmaker' to any 1st order sentence in each of its models. The respective construct is derived from the standard model theoretic (recursive) satisfaction definition for 1st order languages and is a conservative extension thereof. The heuristics of the proposal (which has been somewhat idiosyncratic from the current point of view) and some more technical detail of the construction may be found in (...) my article on part I of Spinoza's 'ethica, ordine geometrico demonstrata', which is the context within which I elaborated the assignment. But this context need not be repeated here, the presentation of the truthmaker assignment will be comprehensible to anybody with solid basic knowledge in 1st order model theory, anything used is standard and no advanced techniques are required. (shrink)

Many philosophers think truthmaker theory offers a correspondence theory of truth. Despite the similarities, however, this identification cannot be correct. Truthmaker theory offers no theory of truth, nor can it be employed to offer an acceptable substantive theory of truth. Instead, truthmaker theory takes truth for granted. Though truthmaker theory is not a correspondence theory, it shares with it the same motivational basis—that truth is worldly—and better accounts for what is pre-theoretically compelling about correspondence theories. As a result, those at (...) all attracted to correspondence theory (including many deflationists) should reject it and accept truthmaker theory instead. (shrink)

Truthmaker theory has become immensely popular in recent years. So, it is not surprising that we are beginning to see it put to work in other areas of philosophy. Recently, several philosophers have proposed that truthmaker theory is the key to solving the Gettier problem. Edmund Gettier demonstrated that the traditional analysis of knowledge (as justified, true belief) was unsatisfactory. The truthmaker solution proposes that knowledge is a justified, true belief, where the source of one's justification is either identical to, (...) or else causally related to, the state of affairs which makes the believed proposition true. This amendment of the traditional analysis of knowledge purportedly escapes the problems identified by Gettier cases. In this paper, I will examine two particular recent endorsements of this solution – those from Sven Bernecker and Adrian Heathcote – and argue that truthmaker theory is not the key to solving the Gettier problem. (shrink)

A truthmaker solution to the Gettier problems is based on the idea that knowledge can be defined as justified true belief provided that the source of one’s justification is suitably connected with what makes the believed proposition true. Different developments of this basic intuition have been recently criticized on the basis of a series of arguments aiming at showing that no truthmaker theory can allow us to solve Gettier problems, since the very idea underlying such solution is ineffective. In this (...) paper, I discuss the criticism to the truthmaker solution I consider most promising and show how it can be successfully addressed. (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)

Beginning with Zagzebski (The Philosophical Quarterly 44:65–73, 1994), some philosophers have argued that there can be no solution to the Gettier counterexamples within the framework of a fallibilist theory of knowledge. If true, this would be devastating, since it is believed on good grounds that infallibilism leads to scepticism. But I argue here that these purported proofs are mistaken and that the truthmaker solution to the Gettier problems is both cogent and fallibilist in nature. To show this I develop the (...) notion of evidence of a state of affairs, a crucial concept in the truthmaker theory. I also argue that a common principle of the transmission of evidence through entailment is false, and the cause of much of the trouble. (shrink)

This paper employs recent developments in the theory of truthmakers to offer a novel solution to the most discussed philosophical challenge presented by the Christian doctrine of the Trinity. According to the view developed, the Father, Son, and Spirit each serve as the only substantial constituent of equally minimal truthmakers for claims about God. Because they do, there is a clear and robust sense in which each is a substance that “is” God as much as anything is, while the three (...) remain distinct from each other. The view is shown to hold certain prima facie advantages over rival extant approaches. (shrink)

Truthmaking is the relationship that holds between truths and the objects in the world in virtue of which those truths are true. Truthmaker theorists deploy the idea of truthmaking in order to advance arguments for the existence of various kinds of ontological posits, critique metaphysical positions, and better articulate accounts of truth, realism and other topics.

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)

It is generally thought that truthmaking has to be an internal relation because if it weren’t, then, as David Armstrong argues, “everything may be a truthmaker for any truth”. Depending on whether we take an internal relation to be one that is necessitated by the mere existence of its terms or one that supervenes on the intrinsic properties of its relata, the truthbearers involved in the truthmaking relation must either have their contents essentially or intrinsically. In this paper, (...) I examine Armstrong’s account, according to which what is made true at the fundamental level are mental state tokens. The conclusion is reached that such tokens have their contents neither essentially nor intrinsically, and so, are simply the wrong kind of entities to be made true internally. (shrink)

Truthmaking without truthmakers (TWT, for short) is the thesis that although every true proposition is made true by reality, there need not be particular entities (like facts, states of affairs, or tropes) that make these propositions true. The first substantial part of this paper (section 2) is devoted to developing a particular version of TWT and at the same time defending TWT in general from arguments against it that have been advanced by orthodox truthmaker theorists. In the second part (...) of the paper (section 3) I argue that talk about truthmakers within the theory can be understood as metaphoric and as conveying valuable information about something other than the supposed truthmakers: about truthmaking. The aim of this paper is therefore twofold. On the one hand, I intend to present the view on truthmaking, a version of TWT, that I find most plausible in the light of the arguments for and against truthmaker theory. On the other hand, I argue that friends of TWT have good reason to adopt a figuralist approach to truthmaker theory, rather than rejecting it outright. (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)

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.

It is argued that the part-whole account of the relation between evidence and the larger state of affairs the evidence is evidence of—an account that was elucidated in the paper ‘Truthmaking, Evidence of, and Impossibility Proofs’ —provides a better basis for epistemology than causal relations between events. I apply this to a well-known phenomenon in physics which suggests that causal connectedness is not necessary for knowledge.

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.

Finding truthmakers for negative truths has been a problem in philosophy for a long time. I will present and discuss the solution to this problem offered by Bertrand Russell, Raphael Demos, D. M. Armstrong, and myself. I will argue that some negative truths do not require truthmakers and that truthmakers for the other negative truths are the entities that these negative truths imply exist. I will also argue that truthmakers for general truths of the form, only X, Y, Z, and (...) etc. are F's, are the sum of each X, Y, Z, and etc.'s being F, and hence that sometimes truthmakers do not necessitate truths. (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)

Realism and anti-realism about a domain of thought are metaphysical theses that involve the natures of the truthmakers in that domain and the truthmaking relation that is operant in the domain. Truthmaker theory is not exclusive territory for realists: anti-realist views are also best understood in terms of how they understand truthmakers and truthmaking. In particular, I explore the possibility of projectivist truthmaking, and show how it makes sense of quasi-realism. In addition to critically examining some extant (...) accounts of the relationship between realism and truthmaking, I offer an account that best captures the nature of the various realism debates. (shrink)

As concerns the explication of the intuitive notion of truthmaking, Barry Smith has an insight that deserves more attention. Basically, in his view, an object x makes a proposition true iff (i) x necessitates and (ii) is representationally closely tied with x. To be more specific, he suggests that (ii) is fulfilled only if x is among ’s ontological commitments. I appreciate his basic insight but reject his specific suggestion. I argue that we can make a more attractive proposal (...) from his basic insight if we take into consideration that the close tie can also be realized by ’s being about x. (shrink)

This paper argues that there is a heretofore unresolved tension between truthmaker-style metaphysics and a plausible version of Naturalism. At the turn of the century, George Molnar proposed four prima facie plausible principles for a realist metaphysics in order to expose truthmaker theory’s incapacity to find truthmakers for negative truths. I marshal the current plethora of attempted solutions to the problem into a crisp trilemma. Those who solve it claim that Molnar’s tetrad is consistent; those who dissolve it do away (...) with the requirement that every truth needs a truthmaker; and those who absolve it embrace a negative ontology. I argue that one is forced to absolve the problem: all other avenues undermine the truthmaker principle itself. Absolving the problem, however, does not sit well with a version of Naturalism that most would accept. We are drawn to a simple dilemma: either embrace a negative ontology, or reject truthmaker-style metaphysics. (shrink)

This paper introduces a new framework, based on the notion of compatibility space, obtained by adding a primitive incompatibility relation to a state space in the sense of Fine. The key idea inspiring the framework is to modify Fine's truthmaker semantics by taking the notion of incompatibility as primitive, and use it to define other notions. We discuss some interesting features of the framework and explore its advantages over the standard framework of state spaces. We review some applications of the (...) framework, including proofs of soundness and completeness theorems for a number of logics, one way to use compatibility states to mirror Kripke frames, and an exploration of a way to use the new framework to provide truthmaking clauses for modal formulas. (shrink)

In this paper we confront a challenge to truthmaker theory that is analogous to the objections raised by deflationists against substantive theories of truth. Several critics of truthmaker theory espouse a ‘deflationary’ attitude about truthmaking, though it has not been clearly presented as such. Our goal is to articulate and then object to the underlying rationale behind deflationary truthmaking. We begin by developing the analogy between deflationary truth and deflationary truthmaking, and then show how the latter can (...) be found in the work of Dodd, Hornsby, Schnieder, Williamson, and others. These philosophers believe that the ambitions of truthmaker theory are easily satisfied, without recourse to ambitious ontological investigation—hence the analogy with deflationary truth. We argue that the deflationists’ agenda fails: there is no coherent deflationary theory of truthmaking. Truthmaking, once deflated, fails to address the questions at the heart of truthmaking investigation. Truthmaking cannot be had on the cheap. (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)

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)

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)

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)

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)

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

This paper is an argument against Truthmaker Necessitarianism—the doctrine that the existence of a truthmaker necessitates the truth of the proposition it makes true. Armstrong’s sufficiency argument for necessitarianism is examined and shown to be question begging. It is then argued in detail that truthmaking is a matter of grounding truth and that grounding is a dependency relation that neither entails nor reduces to necessitation.

Informally speaking, a truthmaker is something in the world in virtue of which the sentences of a language can be made true. This fundamental philosophical notion plays a central role in applied ontology. In particular, a recent nonorthodox formulation of this notion proposed by the philosopher Josh Parsons, which we labelled weak truthamking, has been shown to be extremely useful in addressing a number of classical problems in the area of Conceptual Modeling. In this paper, after revisiting the classical notion (...) of truthmaking, we conduct an in depth analysis of Parsons’ account of weak truthmaking. By doing that, we expose some difficulties in his original formulation. As the main contribution of this paper, we propose solutions to address these issues which are then integrated in a new precise interpretation of truthmaking that is harmonizable with. (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.

This paper advances a criticism of Parsons' notion of truthmaker grounded on the notion of supervenience. I argue that none of the two naturalinterpretations of Parsons' definition succeeds in accomplishing the several tasks intended by Parsons.

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 semantics is a recent development in formal and philosophical semantics, with similar motivation and scope to possible worlds semantics. The technical background is rather different, however, and results in a more fine-grained hyperintensional notion of content, allowing us to distinguish between classically equivalent propositions. After briefly introducing the main ideas, this entry will describe the technical apparatus of state spaces and the central notions of content and partial content. It will then outline applications of truthmaker semantics in language, logic, (...) and other areas of philosophy. (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.

Propositions are often aligned with truth-conditions. The view is mistaken, since propositions discriminate where truth conditions do not. Propositions are hyperintensional: they are sensitive to necessarily equivalent differences. I investigate an alternative view on which propositions are truthmaker conditions, understood as sets of possible truthmakers. This requires making metaphysical sense of merely possible states of affairs. The theory that emerges illuminates the semantic phenomena of samesaying, subject matter, and aboutness.

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)

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)

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)

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. In this book, Jamin Asay shows why that suspicion is unfounded. Challenging the current orthodoxy that truthmaking's fundamental purpose is to be a tool for explaining why truths are true, Asay 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. He goes 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. His book is the most comprehensive exploration to date into what truthmaking is and how it contributes to metaphysical debates across philosophy, and will interest a wide range of readers in metaphysics and beyond. (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)

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

There are two main theories of ontological commitment: the quantifier view, and the truthmaker view. Since there are some truths that apparently commit us to certain entities, but actually do not, any ontological commitment theory must also contain an ontological reduction theory. Advocates of the quantifier view propose the paraphrasing method of reduction, while advocates of the truthmaker view propose the supervenience method. In this paper, after a brief discussion of the quantifier view, I propose a modified version of truthmaker-based (...) ontology, and show that a plausible account of the supervenience method can be deduced from my version. I then show that the supervenience method could explain why the paraphrasing method is successful, albeit that there are some cases in which the supervenience method works but the paraphrasing method does not, or so it seems prime facie. I also argue that according to the truthmaker view we must accept composite objects as something over and above the particles which constitute them. (shrink)

Monism is a metaphysical view according to which there is only one fundamental object. This paper will explore monism within the context of truthmaker theory, or Truthmaker Monism, a view rarely discussed in literature. Although few truthmaker theorists defend monism, at least explicitly, some theories seem to share the spirit of monism to some extent. Interestingly, they are proposed as solutions for the same problem, called the problem of negative truth. A close examination will show that while each of these (...) solutions can account for the problem, they are unsatisfactory for different reasons. This paper will suggest a novel solution to the problem of negative truth which preserves the advantages of existing solutions while avoiding the difficulties with which they are faced. (shrink)