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)

Beall and Restall’s Logical Pluralism (2006) characterises pluralism about logical consequence in terms of the different ways cases can be selected in the analysis of logical consequence as preservation of truth over a class of cases. This is not the only way to understand or to motivate pluralism about logical consequence. Here, I will examine pluralism about logical consequence in terms of different standards of proof. We will focus on sequent derivations for classical logic, imposing two different restrictions on classical (...) derivations to produce derivations for intuitionistic logic and for dual intuitionistic logic. The result is another way to understand the manner in which we can have different consequence relations in the same language. Furthermore, the proof-theoretic perspective gives us a different explanation of how the one concept of negation can have three different truth conditions, those in classical, intuitionistic and dual-intuitionistic models. (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)

La teoría de los hacedores de verdad, como la vieja teoría correspondentista, intenta comprender la relación que, ligando proposiciones y hechos, resulta en la verdad (o falsedad) de las primeras. Esta teoría presenta una versión débil, que da cuenta de dicha relación en términos de la noción de implicación, y una fuerte, fundada en la relación de "ser verdadero en virtud de". La diferencia fundamental entre ambas es la adhesión y el rechazo, respectivamente, del Principio de Implicación, según el cual (...) dos proposiciones ligadas por implicación serán hechas verdaderas por el mismo hecho. El presente trabajo muestra cómo esta adhesión conduce a las versiones débiles al colapso, por lo cual sólo las versiones fuertes tienen oportunidades de prosperar. (shrink)

Standard truthmaker theory has generally assumed a realist account of de re modality and essences. But there are reasons to be skeptical about such a view, and for considering antirealist alternatives. Can truthmaker theory survive in the face of such skepticism? I argue that it can, but that only certain antirealist perspectives on de re modality are acceptable for truthmaker theory. In particular, either a quasi-realist or conventionalist account of de re modality is needed to provide the best account of (...) essential and accidental features that can be put to work in truthmaker theory. An important consequence of this approach is that it offers an account of truthmaking that is consistent with a nominalist perspective on properties, and yet fully respects the ontological ambitions driving truthmaker theory. (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 surveys important work done in relevant logic in the past 10 years.

Epistemicism about vagueness is the view that vagueness, or indeterminacy, is an epistemic matter. Truthmaker-gap epistemicism is the view that indeterminate truths are indeterminate because their truth is not grounded by any worldly fact. Both epistemicism in general and truthmaker-gap epistemicism originated in Roy Sorensen's work on vagueness. My aim in this paper is to give a characterization of truthmaker-gap epistemicism and argue that the view is incompatible with higher-order vagueness: vagueness in whether some case of the form ‘it is (...) determinate that A’ or ‘it is indeterminate whether A’ is true. Since it is highly likely that there is higher-order vagueness, truthmaker-gap epistemicism is in an uncomfortable position. (shrink)

This article for the Stanford Encyclopedia for Philosophy provides a state of the art survey and assessment of the contemporary debate about truth-makers, covering both the case for and against truth-makers. It explores 4 interrelated questions about truth-makers, (1) What is it to be a truth-maker? (2) Which range, or ranges, of truths are eligible to be made true (if any are)? (3) What kinds of entities are truth-makers? (4) What is the motivation for adopting a theory of truth-makers? And (...) adds that there's another question to often put aside by metaphysicians but has critical consequences for truth-makers: (5) What are the truth-bearers? (shrink)

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

Recent discussion of the problem of negative existentials for truthmaker theory suggests a modest solution to the problem: fully general negative truths like do not require truthmakers, whereas partially general negative truths like do. This modest solution provides a third alternative to the two standard solutions to the problem of negative existentials: the endorsement of truthmaker gaps, and the appeal to contentious ontological posits. We argue that this modest, middle-ground position is inconsistent with certain plausible general principles for truthmaking. The (...) only stable positions are to treat all negative truths as requiring truthmakers, or admit that no negative truths require truthmakers. Along the way, we explore some previously unaddressed questions for nonmaximalist truthmaker theory. (shrink)

Recent attempts to resolve the truthmaker objection to presentism employ a fundamentally tensed account of the relationship between truth and being. On this view, the truth of a proposition concerning the past supervenes on how things are, in the present, along with how things were, in the past. This tensed approach to truthmaking arises in response to pressure placed on presentists to abandon the standard response to the truthmaker objection, whereby one invokes presently existing entities as the supervenience base for (...) the truth of past-directed propositions. In this paper, I argue that a fundamentally tensed approach to truthmaking is implausible because it requires the existence of cross-temporal supervenience relations, which are anathema to presentism. (shrink)

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)

Recently, nominalists have made a case against the Quine–Putnam indispensability argument for mathematical Platonism by taking issue with Quine’s criterion of ontological commitment. In this paper I propose and defend an indispensability argument founded on an alternative criterion of ontological commitment: that advocated by David Armstrong. By defending such an argument I place the burden back onto the nominalist to defend her favourite criterion of ontological commitment and, furthermore, show that criterion cannot be used to formulate a plausible form of (...) the indispensability argument. (shrink)

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

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

In this paper, I distinguish different kinds of pluralism about logical consequence. In particular, I distinguish the pluralism about logic arising from Carnap’s Principle of Tolerance from a pluralism which maintains that there are different, equally “good” logical consequence relations on the one language. I will argue that this second form of pluralism does more justice to the contemporary state of logical theory and practice than does Carnap’s more moderate pluralism.

According to the doctrine of divine simplicity, God is an absolutely simple being lacking any distinct metaphysical parts, properties, or constituents. Although this doctrine was once an essential part of traditional philosophical theology, it is now widely rejected as incoherent. In this paper, I develop an interpretation of the doctrine designed to resolve contemporary concerns about its coherence, as well as to show precisely what is required to make sense of divine simplicity.

In On the Nature and Existence of God, Richard Gale follows majority opinion in giving very short shrift to the doctrine of divine simplicity: in his view, there is no coherent expressible doctrine of divine simplicity. Rising to the implicit challenge, I argue that---contrary to what is widely believed---there is a coherently expressible doctrine of divine simplicity, though it is rather different from the views that are typically expressed by defenders of this doctrine. At the very least, I think that (...) I manage to show that there are ways of understanding the doctrine of divine simplicity that have not yet been adequately examined. (shrink)

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

This paper discusses the significance of non-causal dependence for truthmaker theory. After introducing truthmaker theory (section 1), I discuss a challenge to it levelled by Benjamin Schnieder. I argue that Schnieder’s challenge can be met once we acknowledge the existence of non-causal dependence and of explanations which rely on it (sections 2 to 5). I then mount my own argument against truthmaker theory, based on the notion of non-causal dependence (sections 6 and 7).

There is no single problem of universals but a family of difficulties that treat of a variety of interwoven metaphysical, epistemological, logical and semantic themes. This makes the problem of universals resistant to canonical reduction (to a ‘once-and-for-all’ concern). In particular, the problem of universals cannot be reduced to the problem of supplying truth-makers for sentences that express sameness of type. This is (in part) because the conceptual distinction between numerical and qualitative identity must first be drawn before a sentence (...) is eligible to be supplied with truth-makers. The case is made through a consideration of a recent argument by Gonzalo Rodriguez-Pereyra. (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)

Although a number of truth theorists have claimed that a deflationary theory of ‘is true’ needs nothing more than the uniform implication of instances of the theorem ‘the proposition that p is true if and only if p ’, reflection shows that this is inadequate. If deflationists can’t support the instances when replacing the biconditional with ‘because’, then their view is in peril. Deflationists sometimes acknowledge this by addressing, occasionally attempting to deflate, ‘because’ and ‘in virtue of’ formulas and their (...) close relatives. I examine what I take to be the most promising deflationist moves in this direction and argue that they fail. (shrink)

Since 1969, when Bas van Fraassen wrote 'Facts and Tautological Entailments', it has been assumed that if facts, or states of affairs, exist at all, they can only play the role of truthmakers for propositions if the truthmaker relation is defined in a relevantist revision of classical logic. Greg Restall revived this notion in 1996, and it has since been discussed positively by Stephen Read. I argue in this paper that this was always a mistake. The truthmaking relation between facts (...) and propositions can indeed be made sense of-but no relevantist revision of classical logic is required. The correspondence theory of truth can thus be shown to have been essentially correct all along. (shrink)

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a (...) position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

The subject matter of this thesis is analytic ontology. Chapters II and III deal with two versions of trope theory, or moderate nominalism; these are defined as ontologies which recognise properties and relations but no (real) universals. The key notion of both theories, trope, is characterised as an abstract particular. What the abstractness amounts to differs between the two. Yet another difference is that simplicity is an essential trait of a trope according to one theory, but not according to the (...) other. Though exact similarity is said to play an important role in both theories, as it turns out, this does not seem to be the case. The ontology dealt with in chapter IV is a mixture of moderate nominalism concerning qualities and realism concerning relations. In it, quality instances (moments) and universal relations are the ultimate constituents of the universe. While relations and moments are considered to be constituents of states of affairs, which are characterised as objects of higher orders, complexes that are objects of the first order are made up of moments on their own. Among these complexes one finds the ordinary objects. Paradoxically, although relations are necessary for the existence of complex first order objects, relations are not thought to be among the contents of these objects. The main subject of chapter V is a particular version of moderate realism; it is an ontology which is realistic in its recognition of universals and moderate in its recognition of instances of these universals. Instances combine to form complex networks. A theoretically motivated claim is that although each instance has a predicational aspect as well as a universal one, it is simple in the sense of lacking internal predicative structure; though, this claim can be called into question. Keywords: analytic ontology, moderate nominalism, moderate realism, particular, universal, abstract, concrete, abstract particular, abstract universal, concrete particular, concrete universal, trope, moment, complex unity, collection, instance, unit attribute, intensional aspect, predicational aspect, continuous composite, articulated composite. (shrink)

A polemical account of Australian philosophy up to 2003, emphasising its unique aspects (such as commitment to realism) and the connections between philosophers' views and their lives. Topics include early idealism, the dominance of John Anderson in Sydney, the Orr case, Catholic scholasticism, Melbourne Wittgensteinianism, philosophy of science, the Sydney disturbances of the 1970s, Francofeminism, environmental philosophy, the philosophy of law and Mabo, ethics and Peter Singer. Realist theories especially praised are David Armstrong's on universals, David Stove's on logical probability (...) and the ethical realism of Rai Gaita and Catholic philosophers. In addition to strict philosophy, the book treats non-religious moral traditions to train virtue, such as Freemasonry, civics education and the Greek and Roman classics. (shrink)

Paraconsistent logics are often semantically motivated by considering "impossible worlds." Lewis, in "Logic for equivocators," has shown how we can understand paraconsistent logics by attributing equivocation of meanings to inconsistent believers. In this paper I show that we can understand paraconsistent logics without attributing such equivocation. Impossible worlds are simply sets of possible worlds, and inconsistent believers (inconsistently) believe that things are like each of the worlds in the set. I show that this account gives a sound and complete semantics (...) for Priest's paraconsistent logic LP, which uses materials any modal logician has at hand. (shrink)

The notion of that information is relative to a context is important in many different ways. The idea that the context is small — that is, not necessarily a consistent and complete possible world — plays a role not only in situation theory, but it is also an enlightening perspective from which to view other areas, such as modal logics, relevant logics, categorial grammar and much more. In this article we will consider these areas, and focus then on one further (...) question: How can we account for information about one thing giving us information about something else? This is a question addressed by channel theory. We will look at channel theory and then see how the issues of information flow and conditionality play a role in each of the different domains we have examined. (shrink)

According to one tradition in realist philosophy, 'truthmaking' amounts to necessitation. That is, an object x is a truthmaker for the claim A if x exists, and the existence of x necessitates the truth of A. I argued in my paper "Truthmakers, Entailment and Necessity" [14], that if we wish to use this account of truthmaking, we ought understand the entailment connective "=>" in such a claim as a relevant entailment, in the tradition of Anderson and Belnap and their co-workers (...) [1, 2, 8, 11]. Furthermore, I proposed a number of theses about truthmaking as necessitation. The most controversial of these is the disjunction thesis: x makes a disjunction A v B true if and only if it makes one of the disjuncts (A or B) true. That paper left one important task unfinished. I did not explain how the theses about truthmaking could be true together. In this paper I give a consistency proof, by providing a model for the theses of truthmaking in my earlier paper. This result does two things. First, it shows that the theses of truthmaking are jointly consistent. Second, it provides an independently philosophically motivated formal model for relevant logics in the 'possible worlds' tradition of Routley and Meyer [8, 16, 17]. (shrink)

For many years there has been a debate in truthmaking theory between proponents of the substantive and deflationary approaches. Substantivists about truthmaking maintain that we need entities called truthmakers, while deflationists of truthmaking argue that the asymmetric form of the T-schema is sufficient. In contrast to incompatibilists, who argue that one should adopt only one of these approaches, I propose a compatibilist theory of truthmaking in which the two approaches complement each other through the distribution of different functions of truthmaking. (...) I find that this helps to solve the problem of truthmaking of certain contentious truths, such as negative truths. (shrink)

Truthmaker theorists claim that for every truth, there is something in virtue of which it is true—or, more cautiously, that for every truth in some specified class of truths, there is something in virtue of which it is true. I argue that it is hard to see how the thought that truth is grounded in reality lends any support to truthmaker theory.

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. (...) In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

Narrowly speaking, the correspondence theory of truth is the view that truth is correspondence to a fact -- a view that was advocated by Russell and Moore early in the 20 th century. But the label is usually applied much more broadly to any view explicitly embracing the idea that truth consists in a relation to reality, i.e., that truth is a relational property involving a characteristic relation (to be specified) to some portion of reality (to be specified). During the (...) last 2300 years this basic idea has been expressed in many ways, resulting in a rather extended family of views, theories, and theory sketches. The members of the family employ various concepts for the relevant relation (correspondence, conformity, congruence, agreement, accordance, copying, picturing, signification, representation, reference, satisfaction) and/or various concepts for the relevant portion of reality (facts, states of affairs, situations, events, objects, sequences of objects, sets, properties, tropes). The resulting multiplicity of versions and reformulations of the theory is due to a blend of substantive and terminological differences. (shrink)

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

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)

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.

Gonzalo Rodriguez-Pereyra (2006) argues against attempts to preserve the entailment principle (or a restriction of it) while avoiding the explosion of truthmakers for necessities and truthmaker triviality. In doing so, he both defends the disjunction thesis--if something makes true a disjunctive truth, then it makes true one of its disjuncts--, and rejects the conjunction thesis--if something makes tue a conjunctive truth, then it makes true each of its conjuncts. In my discussion, I provide plausible counterexamples to the disjunction thesis, and (...) contend that Rodriguez-Pereyra's general defence of it fails. Then I defend the conjunction thesis from Rodriguez-Pereyra's case against it. (shrink)

First paragraph: Truthmaker theory maintains that for every truth there is something, some thing, some entity, that makes it true. Balking at the prospect that logical truths are made true by any particular thing, a consequence that may in fact be hard to avoid (see Restall 1996, Read 2000), this principle of truthmaking is sometimes restricted to (logically) contingent truths. I aim to show that even in its restricted form, the principle is provably false.

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.

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

Truthmaker theory promises to do some useful philosophical work: equipping us to argue against phenomenalism and Rylean behaviourism, for instance, and helping us decide what exists (Lewis 1999, 207; Armstrong 1997, 113-119). But it has proved hard to formulate a truthmaker theory that is both useful and believable. I want to suggest that a neglected approach to truthmakers – that of Ian McFetridge – can surmount some of the problems that make other theories of truthmaking unattractive. To begin with, I’ll (...) outline some of the most prominent accounts of truthmaking in the current literature. Then the second part of the paper will explain McFetridge’s theory and argue for its superiority over these accounts. (shrink)

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (shrink)