The concept of a trope (understood as an individual property and not as a figure of speech) plays an important role in contemporary analytical metaphysics. It is, however, often far from clear what the logic of this concept really is. Indeed, there are two equally important intuitions underlying the concept of trope, two intuitions that generate two quite different conceptual frameworks. According to the first intuition, a trope is a particularised property – a property taken as an individual aspect of (...) a particular object. A trope is thus the colour of this table or the shape of this sculpture. In the light of this conception tropes are, as it were, direct abstractions from concrete individuals. According to the second intuition a trope is still such an individual (and abstract) colour or such an individual (and abstract) shape, but now it is not only abstracted from the concrete individual of which it is a trope but also taken in abstraction from the very fact that it has been abstracted this way. We can imagine that the cognitive access to these tropes is obtained by a kind of a double abstraction. All this can sound puzzling at first blush, but in what follows I hope to make the matter a little clearer. Let us anticipate briefly. On the second view, tropes are construed not so much as abstractions from concrete individuals, but rather as primitive items of which the concrete individuals are composed. Tropes so construed are, as it were, metaphysically prior to concrete individuals. We will call tropes of this kind unstructured tropes, whereas tropes conceived as aspects of individual things will be called propositional tropes. This terminology is justified because tropes understood as aspects of things seem to involve something like propositional structure, a structure that tropes conceived as primitive “building blocks” of reality definitely lack. It is sometimes believed that these two concepts of trope are nearly equivalent, that the difference between them is for the most part verbal. Yet it will turn out that there is an important ontological difference here. Propositional tropes are non-trivially propositional and unstructured tropes are non-trivially deprived of such a structure (althought not necessarily deprived of any dependence-links with respect to other tropes). It will be argued that tropes are metaphysically interesting only on the second conception (i.e., as primitive, unstructured items), whereas only on the first conception (tropes as propositionally structured entities) can they function as semantically efficient truthmakers. The moral of the paper will be that our trust in tropes must be mitigated. A trope ontology could plausibly be viewed as a serious metaphysical alternative, but its semantical possibilities should not be exaggerated. (shrink)

(No abstract is available for this citation).

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

Truths are determined not by what we believe, but by the way the world is. Or so realists about truth believe. Philosophers call such theories correspondence theories of truth. Truthmaking theory, which now has many adherents among contemporary philosophers, is the most recent development of a realist theory of truth, and in this book D. M. Armstrong offers the first full-length study of this theory. He examines its applications to different sorts of truth, including contingent truths, modal truths, truths about (...) the past and the future, and mathematical truths. In a clear, even-handed and non-technical discussion he makes a compelling case for truthmaking and its importance in philosophy. His book marks a significant contribution to the debate and will be of interest to a wide range of readers working in analytical philosophy. (shrink)

Analyzes difficult case in the theory of truthmaking. Account on the notion of a truthmaker by philosopher Bertrand Russell; Context of the correspondence theory of truth; Requisites of a truthmaker; Discussion on negative truths, universally quantified truths and modal truths.

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

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

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)

I argue that there is no metaphysically substantive property of truth. Although many take this thesis to be central to deflationism about truth, it is sometimes left unclear what a metaphysically substantive property of truth is supposed to be. I offer a precise account by relying on the distinction between the property and concept of truth. Metaphysical substantivism is the view that the property of truth is a sparse (non-abundant) property, regardless of how one understands the nature of sparse properties (...) (as universals, tropes, or natural classes). I then offer two new arguments against metaphysical substantivism that employ ideas involving recombination and truthmaking. First, I argue that there are no theoretically compelling reasons to posit the existence of a metaphysically substantive property of truth. Secondly, I argue that if we do posit the existence of such a property, then we end up with a view that is either contradictory or unmotivated. What we’re left with is a metaphysically deflationary account of the property of truth that fully respects the metaphysical ambitions of truthmaker theory, and that is consistent with both the view that truth is a deflated, explanatorily impotent concept and the view that truth is an explanatorily powerful (though primitive) concept. (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)

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)

Truthmaker theory begins with the idea that truth depends upon reality. When a truth-bearer is true, that is because something or other in the world makes it true. My dissertation offers a theory of truthmakers that shows how we should flesh out this thought while avoiding the contentious metaphysical commitments that are built into other truthmaker theories. Because of these commitments, many philosophers have come to view truthmaker theory as being essentially tied to correspondence theories of truth, and to metaphysical (...) realism. I argue that, quite to the contrary, truthmaker theory is distinct from correspondence theory, and that the former actually undermines the motivation for the latter. In fact, truthmaker theory can be used to argue for a particular kind of deflationism about truth. I also argue that debates about realism and anti-realism are best viewed through the lens of truthmaker theory, which is not—contrary to what many have thought—an essentially realist approach to metaphysics. Anti-realists of various stripes can also make use of truthmakers. The anti-realism of such views depends upon either the nature of the truthmakers they use, or the nature of the truthmaking relation itself. (shrink)

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)

This paper aims to describe and defend a Pluralistic Kantian, as opposed to a Tractarian, version of realism vis-à-vis the ontological basis of truthmaking relations. One underlying assumption of my position is that propositional truth is a robust property and, consequently, is normatively distinct from epistemic justification. Still, it does not follow from this realist contention that truth is generated ontologically, viz., independently of cognitive and intensional contributions of human agents. This point brings my view notably close to H. Putnam’s (...) peculiar blend of certain Wittgensteinian and Kantian themes. However, I argue that Putnam’s apparent denial of the in-itself reality with an intrinsic structure gives rise to a rather un-Kantian and problematic metaphysical picture. I suggest that the solution to the puzzle may be found in a synthesis of the best intuitions of Armstrong’s Tractarian realism and Putnam’s quasi-Kantianism. (shrink)

This paper presents a position called Scheme-based Alethic Realism, which reconciles a realist position on the nature of truth with a pluralistic Kantian perspective that allows for multiple environments in which truthmaking relationships are established. We argue that truthmaking functions are constrained by a stable phenomenal world and a stable cognitive architecture. This account takes truth as normatively distinct from epistemic justification while relativizing the truth conditions of our statements to what we call Frameworks. The pluralistic aspect allows that these (...) stable elements, while constraining representational and linguistic schemes, do not define a single framework for truthmaking relations. We strengthen this position by considering themes on situated rational agency from cognitive science and artificial intelligence, arguing that whatever enables or supports rational action within a particular environment must figure into some account of truth and truthmaking, and vice versa. (shrink)

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

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

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)

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)

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

In this paper I consider the aboutness objection against standard truth-preserving presentism (STP). According to STP: (1) past-directed propositions (propositions that seem to be about the past) like , are sometimes true (2) truth supervenes on being and (3) the truth of past-directed propositions does not supervene on how things were, in the past. According to the aboutness objection (3) is implausible, given (1) and (2): for any proposition, P, P ought to be true in virtue of what P is (...) about, and so it is upon the past that the truth of past-directed propositions ought to supervene. Although an objection along these lines has been offered previously, I press the objection in two ways. First, by providing needed support for the view that propositions ought to be true in virtue of what they are about and, second, by arguing that the two responses available to the proponent of STP fail to be compelling. (shrink)

This volume will be the starting point for future discussion and research.

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

A Platonic explanation of non-modal and modal truths is explained and defended using non-spatiotemporal entities as their truthmakers. It is argued, further, that this theory is parsimonious, naturalistic, and ontologically serious. These features should commend the view to a wide swath of philosophers.

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

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

The so–called truthmaker solution to the problem Gettier is thought to have posed for the analysis of knowledge as justified true belief is to add a fourth condition, requiring that one’s evidence for one’s belief be the state of affairs that makes the belief true. Adrian Heathcote argues that the reason why one lacks knowledge in Russell’s case of the stopped clock is that, as in the classic Gettier–style cases, this condition is not satisfied. I argue that the proposed solution (...) fails, as it embodies a misunderstanding of what evidence is. (shrink)

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

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

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

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

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

Some claim that there are no truthmakers for necessary truths. D.H. Mellor says, for example, “Because the identity of a necessary proposition entails its truth, I cannot see why any other entity must exist to make it true.”2 But notice that the reason given here for p’s not needing a truthmaker when p is necessary seems simply to be another way of saying that p is necessary: ‘the identity of p entails the truth of p’ doesn’t seem to say anything (...) more than simply that p is necessary. And so Mellor isn’t really giving us a reason to deny that the necessary truths have truthmakers, he’s merely asserting that this is so. Perhaps he is correct, but one would hope that there is more to say. (shrink)

This paper aims to reconcile presentism with truthmaker theory. I begin by motivating the reconciliation. In section 2 I ask what is wrong with the Lucretian strategy of grounding 'there were dinosaurs' in the world’s instantiating 'being such that there were dinosaurs'. I aim to pinpoint what is peculiar about such properties and hence to say what kind of properties the presentist needs in order to give an acceptable reconciliation; in section 3 I argue that certain distributional properties do the (...) job. In 4 I deal with some potential objections to the presentist appealing to such properties. In 5 I show how the presentist who accepts my view can deal with the open future; this raises questions concerning how to give truthmakers for indeterminate and determinate truths, which are dealt with in section 6. In section 7 I ask whether my solution can be generalised to reconcile actualism and here-now-ism with truthmaker theory and argue that in the former case at least, it can’t. (shrink)

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

Truthmaker theory says that there is an intimate link between truth and ontology: i.e. between what is the case and what there is. According to truthmaker theory, for a proposition to be true requires there to be some thing (or things) that makes it true. The truthmaker is the ontological ground of the truth; its existence explains why the proposition in question is true.

Instead of accepting that truth supervenes on what exist, Tallant seems to accept only that truth supervenes on what there is, was or could be. The principle he appears to admit to endorsing is2.

Truthmaking and ontological commitment How do we determine the ontological commitments of a theory? Quine told us to look to the quantifier.1 What must be in the domain of the quantifiers if the (regimented) sentences of the theory are all to be true? Those are the ontological commitments of the theory.

I argue that the truthmaker theorist should be a priority monist if she wants to avoid commitment to mysterious necessary connections. In section 1 I briefly discuss the ontological options available to the truthmaker theorist. In section 2 I develop the argument against truthmaker theory from the Humean denial of necessary connections. In section 3 I offer an account of when necessary connections are objectionable. In section 4 I use this criterion to narrow down the options from section 1. In (...) section 5 I argue that the account leads us to priority monism. (shrink)

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

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

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

in LePoidevinMcGonigalBeing, pp. (forthcoming).

What are the ontological commitments of a sentence? In this paper I offer an answer from the perspective of the truthmaker theorist that contrasts with the familiar Quinean criterion. I detail some of the benefits of thinking of things this way: they include making the composition debate tractable without appealing to a neo-Carnapian metaontology, making sense of neo-Fregeanism, and dispensing with some otherwise recalcitrant necessary connections.

When there is truth, there must be some thing (or things) to account for that truth: some thing(s) that couldn’t exist and the true proposition fail to be true. That is the truthmaker principle. True propositions are made true by entities in the mind-independently existing external world. The truthmaker principle seems attractive to many metaphysicians, but many have wanted to weaken it and accept not that every true proposition has a truthmaker but only that some important class of propositions require (...) truthmakers.1 Let us, following Armstrong, call the claim that all true propositions, without exception, have a truthmaker, Truthmaker Maximalism. Why might one be tempted to the spirit of truthmaker theory but reject Truthmaker Maximalism? Well, you might deny that necessary truths need truthmakers, for one, and insist that only contingent truths have truthmakers. But I think it’s fair to say that the most common motivation for rejecting maximalism concerns negative truths. The thought that negative truths are exempt from the demand for truthmakers could be justified in one of two ways: there is the claim that we don’t need truthmakers for negative truths, and there is the claim that we can’t have.. (shrink)

In this paper I examine two principles of orthodox truthmaker theory: truthmaker maximalism - the doctrine that every (contingent) truth has a truthmaker, and truthmaker necessitarianism - the doctrine that the existence of a truthmaker necessitates the truth of any proposition which it in fact makes true. I argue that maximalism should be rejected and that once it is we only have reason to hold a restricted form of necessitarianism.

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

In this paper I examine the objection to truthmaker theory, forcibly made by David Lewis and endorsed by many, that it violates the Humean denial of necessary connections between distinct existences. In Sect. 1 I present the argument that acceptance of truthmakers commits us to necessary connections. In Sect. 2 I examine Lewis’ ‘Things-qua-truthmakers’ theory which attempts to give truthmakers without such a commitment, and find it wanting. In Sects. 3–5 I discuss various formulations of the denial of necessary connections (...) and argue that each of them is either false or compatible with truthmaker theory. In Sect. 6 I show how the truthmaker theorist can resist the charge that they are committed to necessary exclusions between possible existents. I conclude that there is no good objection to truthmaker theory on the grounds that it violates the Humean dictum. (shrink)

Three plausible views—Presentism, Truthmaking, and Independence—form an inconsistent triad. By Presentism, all being is present being. By Truthmaking, all truth supervenes on, and is explained in terms of, being. By Independence, some past truths do not supervene on, or are not explained in terms of, present being. We survey and assess some responses to this.

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

Abstract. The aim of this paper is first to defend the intuition that truth is grounded in how things are and, second, to argue that this fact is consistent with Minimalism. After having cashed out that intuition in terms of explanatory claims of the form ‘if it is true that p, it is true that p because p’, I set out an argument against Minimalism which is based on the same intuition, and I argue that a strategy the minimalist could (...) adopt to resist the argument, i.e. to deny the correctness of the intuition, is flawed. Then I explain why the intuition is correct and I make some claims concerning the kind of explanations which are involved in it. Now the stage is set up to present the right way for the minimalist to resist the argument. I finally answer some objections. (shrink)

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

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

In Reinach’s works one finds a very rich ontology of states of affairs. Some of them are positive, some negative. Some of them obtain, some do not. But even the negative and non-obtaining states of affairs are absolutely independent of any mental activity. Now in spite of this claim of the “ontological equality” of positive and negative states of affairs there are, according to Reinach, massive epistemological differences in our cognitive access to them. Positive states of affairs could be directly (...) “extracted” from our experience while to acquire a negative belief we must pass a quite complicated process starting with certain positive beliefs. A possible and reasonable explanation of this discrepancy would be a theory to the effect that these epistemological differences have their basis in the ontology of the entities in question. Our knowledge of the negative states of affairs is essentially dependent on our knowledge of the positive ones precisely because the negative states of affairs are ontologically dependent on the positive ones. Such a theory has been in fact formulated by Roman Ingarden. According to him negative states of affairs supervene on some positive ones and on certain mental acts of the conscious subjects. (shrink)

At least since Hume we have a serious problem with explaining our moral valuations. Most of us – with notable exception of certain (in)famous esoteric thinkers like Nietzsche or De Sade – share a common intuition that our moral claims are in an important sense objective. We believe that they can be right or wrong; and we believe that if they happen to be right, then they are binding for each human being conducting a similar action in similar circumstances. Now (...) Hume drew our attention to the fact that our valuations do not follow from descriptions of the actions in question. There seems to be nothing in the “descriptive content” of the world around us that could make them true or false and in face of that it becomes very puzzling how they ever could be right, objective or committing. As we all know Hume’s solution proclaims emotions as the basis of our moral valuations. Calling something right or wrong should be in the first place understood as an expression of our emotional attitude toward it. This move explains a part of the initial puzzle, but it also leaves us with a certain unpleasant consequence. It seems that in the strict sense emotions could be neither rational nor true, and consequently we can hardly imagine any conclusive moral argument. De gustibus non disputandum est. Our feeling of objectivity vis a vis our moral valuations has to be classified as a kind of illusion and what follows is a kind of moral relativism or scepticism. Some philosophers are happy with this conclusion, but some others find it untenable. Brentano and his followers belonged to the second group. They generally accepted Hume’s claim that emotions constitute the basis of our moral valuations but developed interesting strategies to avoid his relativistic conclusions. (shrink)

Résumé -/- Dans son premier livre (Philosophie de l’arithmétique 1891), Husserl élabore une très intéressante philosophie des mathématiques. Les concepts mathématiques sont interprétés comme des concepts de « deuxième ordre » auxquels on accède par une réflexion sur nos opérations mentales de numération. Il s’ensuit que la vérité de la proposition : « il y a trois pommes sur la table » ne consiste pas dans une relation mythique quelconque avec la réalité extérieure au psychique (où le nombre trois doit (...) être exemplifié de quelque manière), mais bien dans le fait que les pommes sur la table peuvent être dénombrées correctement en tant qu’elles sont au nombre de trois. Nous avons affaire ici à une position « antiréaliste » fondant la vérité mathématique non pas dans un monde platonicien, mais bien sur le concept de rectitude de nos opérations formelles. -/- Abstract -/- In his first book (Philosophy of Arithmetic 1891) Husserl develops a very interesting philosophy of mathematics. Mathematical concepts are interpreted as « second order » concepts gained by reflection on our mental operations of counting. Accordingly the truth of the proposition « There are three apples on the table » consists not in any mythical relation to the extra-mental reality (where the number three should be somehow exemplified), but rather in the fact that the apples on the table can be correctly counted as three. We have here an « anti-realist » position grounding the mathematical truth not in platonic realms, but rather in the concept of correctness of our formal operations. (shrink)

Die offizielle Urteilstheorie Brentanos war eine nicht-propositionale Theorie. Die These, dass man, um die in einem Urteilsakt involvierten intentionalen Beziehungen zu erklären, keine propositionalen Entitäten einführen muss, war in der Tat eine seiner interessantesten Ideen. Brentano hat aber im Laufe seiner Lehrtätigkeit sehr viele neue Wege ausprobiert und so finden wir in seinen Vorlesungen aus den späten achtziger Jahren auch eine Urteilstheorie, die jedem Urteilsakt eine propositionale Entität zuordnet. Gerade diese Lehre war für Brentanos Studenten besonders inspirierend. Vor allem Anton (...) Marty und Carl Stumpf haben sehr interessante Theorien von solchen, wie sie es nannten, Inhalten entwickelt. 1888 hat Stumpf in seinen Vorle¬sun¬gen für der¬ar¬tige Entitäten den Ausdruck „Sachverhalt” ein¬geführt. Da sich vor allem diese Bezeichnung als terminus technicus durchgesetzt hat, werden wir sie in diesem Aufsatz auch in Bezug auf diejenigen Philosophen verwenden, die ihre propo¬sitionalen Entitäte anders nannten. Unter den treuen Brentanisten war es Anton Marty, der am konsequentesten an der Unentbehrlichkeit solcher Sachverhalte als Wahrmacher für richtige Urteile bestand. Seine Theorie hat jedoch einen etwas merkwürdigen Charakter. Die Sachverhalte werden einerseits als unverzichtbare Elemente des ontologischen Mobiliars angesehen, andererseits finden wir aber bei Marty eine deutliche Tendenz, sie als Strukturen zu interpretieren, die auf den Dingen (der nominalen Form), wie man es heutzutage gerne sagt, supervenieren. Der Sinn, in dem sie dann noch als unreduzierbar zu bezeichnen sind, ist nicht einfach zu eruieren. Der Philosoph, der sich von diesem, an sich sehr attraktiven, Supervenienz¬gedanken endgültig verabschiedet hat, war Alexius Meinong. Wir besprechen die Hauptpunkte seiner Kritik, untersuchen mögliche Auswege und versuchen die innere Spannung Martys Sachverhaltsbegriffs zwischen der Supervenienz und Unreduzierbarkeit ein wenig zu klären. (shrink)

Wittgenstein’s Tractatus contains some very striking theses. We read, e.g., that „in a sense” we could not be wrong in logic, and that the whole subject matter of the theory of modalities could be reconstructed on the ground of the insights in the mechanism of the linguistic reference. Yet in the light of the last sentences of Tractatus the whole semantics turns out to be principaly ineffable. In our paper we will try to clarify these matters. We show how these (...) theses could be made plausible in the context of the transcendental method of Wittgenstein’s Tractatus. (shrink)

In this paper, I distinguish between two varieties of actualism—hardcore actualism and softcore actualism—and I critically discuss Ross Cameron’s recent arguments for preferring a softcore actualist account of the truthmakers for modal truths over hardcore actualist ones. In the process, I offer some arguments for preferring the hardcore actualist account of modal truthmakers over the softcore actualist one.

The No-No Paradox consists of a pair of statements, each of which ?says? the other is false. Roy Sorensen claims that the No-No Paradox provides an example of a true statement that has no truthmaker: Given the relevant instances of the T-schema, one of the two statements comprising the ?paradox? must be true (and the other false), but symmetry constraints prevent us from determining which, and thus prevent there being a truthmaker grounding the relevant assignment of truth values. Sorensen's view (...) is mistaken: situated within an appropriate background theory of truth, the statements comprising the No-No Paradox are genuinely paradoxical in the same sense as is the Liar (and thus, on Sorensen's view, must fail to have truth values). This result has consequences beyond Sorensen's semantic framework. In particular, the No-No Paradox, properly understood, is not only a new paradox, but also provides us with a new type of paradox, one which depends upon a general background theory of the truth predicate in a way that the Liar Paradox and similar constructions do not. (shrink)

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

Some of the most eminent and enduring philosophical questions concern matters of priority: what is prior to what? What 'grounds' what? Is, for instance, matter prior to mind? Recently, a vivid debate has arisen about how such questions have to be understood. Can the relevant notion or notions of priority be spelled out? And how do they relate to other metaphysical notions, such as modality, truth-making or essence? This volume of new essays, by leading figures in contemporary metaphysics, is the (...) first to address and investigate the metaphysical idea that certain facts are grounded in other facts. An introduction introduces and surveys the debate, examining its history as well as its central systematic aspects. The volume will be of wide interest to students and scholars of metaphysics. (shrink)

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

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

For almost fifty years, David Armstrong has made major contributions in analytic philosophy. The aim of this volume is to collect papers that situate, discuss and critically assess Armstrong’s contributions. The book is organized in three parts. In Section I: Analytical Metaphysics and Its Methodology, certain basic principles of analytic metaphysics advocated by Armstrong (such as truthmaker maximalism and the Doctrine of Ontological Free Lunch) and their consequences are critically examined. The articles of Section II: Laws of Nature, Dispositions, and (...) Modality, study the constraints Armstrong’s naturalism sets to his ontology of modality, laws and dispositions. Finally, the articles of Section III: Mind and Epistemology, study and critically evaluate Armstrong’s contributions in epistemology, the philosophy of perception and color. The collection is meant for all philosophers and scholars interested in these central topics of analytic philosophy. (shrink)

(No abstract is available for this citation).

This paper argues that a consideration of the problem of providing truthmakers for negative truths undermines truthmaker theory. Truthmaker theorists are presented with an uncomfortable dilemma. Either they must take up the challenge of providing truthmakers for negative truths, or else they must explain why negative truths are exceptions to the principle that every truth must have a truthmaker. The first horn is unattractive since the prospects of providing truthmakers for negative truths do not look good neither absences, nor totality (...) states of affairs, nor Graham Priest and J.C. Beall’s ‘polarities’ (Beall, 2000; Priest, 2000) are up to the job. The second horn, meanwhile, is problematic because restricting the truthmaker principle to atomic truths, or weakening it to the thesis that truth supervenes on being, undercuts truthmaker theory’s original motivation. The paper ends by arguing that truthmaker theory is, in any case, an under-motivated doctrine because the groundedness of truth can be explained without appeal to the truthmaker principle. This leaves us free to give the ommonsensical and deflationary explanation of negative truths that common-sense suggests. (shrink)

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

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

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