The role of possible worlds in philosophy is hard to overestimate. Nevertheless, their nature and existence is very controversial. This is particularly serious, since their standard applications depend on there being sufficiently many of them. The paper develops an account of possible worlds on which it is particularly easy to believe in their existence: an account of possible worlds as pleonastic entities. Pleonastic entities are entities whose existence can be validly inferred from statements that neither refer to nor quantify over (...) them as a matter of conceptual necessity. Definitions are proposed that ensure that this is the case for possible worlds. (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)

This paper is a critical evaluation of Kuenne's attempt to define truth via quantification into the position of a sentence.

ABSTRACT According to a prominent objection, deflationist theories of truth can’t account for the explanatory connection between true belief and successful action [Putnam 1978]. Canonical responses to the objection show how to reformulate truth-involving explanations of particular successful actions, so as to omit any mention of truth [Horwich 1998]. According to recent critics, though, the canonical strategy misses the point. The deflated paraphrases lack the generality or explanatory robustness of the original explanatory appeals to truth [Kitcher 2002; Lynch 2009; Gamester (...) 2018]. This article diagnoses the canonical response’s failure and shows how deflationists can make sense of appeals to truth in explaining practical success, in all of their generality and robustness, without construing truth as a substantial property. (shrink)

I discuss Stalnaker’s views on modality. In particular, his views on actualism, anti-essentialism, counterpart theory, and the Barcan formulas.

The article is primarily concerned with the notion of a truth-maker. An explication for this notion is offered, which relates it to other notions of making something such-and-such. In particular, it is shown that the notion of a truth-maker is a close relative of a concept employed by van Inwagen in the formulation of his Consequence Argument. This circumstance helps understanding the general mechanisms of the concepts involved. Thus, a schematic explication of a whole battery of related notions is offered. (...) It is based on an explanatory notion, introduced by the sentential connector “because”, whose function is examined in some detail. Finally, on the basis of the explication proposed, an argument is developed to the effect that the objects usually regarded as truth-makers are not apt to play this role. (shrink)

The main question of this paper is how to understand the notion of a truth-maker. In section 1, I show that the identification of truth-making with necessitation cannot capture the pretheoretic understanding of notions such as ‘x makes something true’. In section 2, I examine Barry Smith’s reaction to this problem: he defines truth-making as the combination of necessitation and projection. I focus on the formal part of Smith’s account, which is shown to yield undesired results. However, in section 3, (...) I present an alternative account of projection, which fares better and can fruitfully be employed to circumvent the problems raised in section 1. Unfortunately, the account still has to face some troublemakers, as I show in the final section. I conclude, therefore, with a pessimistic view on the project of defining truth-making via necessitation and projection. (shrink)

In this paper I try to explicate the idiom '(An agent) x is able to render (the proposition) p false', which plays a crucial role in van Inwagen's Consequence Argument and which has been extensively discussed in the literature on it. However, the explications offered so far fail to meet some intuitive desiderata which an analysis of the notion should fulfil, as for example the desiderata that (i) nobody can render necessary falsehoods false and that (ii) nobody can render historical (...) falsities false. I propose a novel analysis which deviates from the foregoing in employing an explanatory notion, the connector 'because'. (shrink)

The paper deals with the notions of grounding and of existential dependence. It is shown that cases of existential dependence seem to be systematically correlated to cases of grounding and hence the question is raised what sort of tie might hold the two notions together so as to account for the observed correlation. The paper focusses on three possible ties between grounding and existential dependence: identity, definition, and grounding. A case for the definitional tie is made.

In my paper I am concerned with Peter van Inwagen's Consequence Argument. I focus on its probably best known version. In this form it crucially employs the notion of rendering a proposition false, anotion that has never been made sufficiently clear. The main aim of my paper is to shed light on thisnotion. The explications offered so far in thedebate all are based on modal concepts. Iargue that for sufficient results a ``stronger'', hyper-intensional concept is needed, namely the concept expressed (...) by the word ``because''. I show that my analysis is superior to the prior ones. On the basis of this analysis I further explain why van Inwagen''s argument fails. (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 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.

For various reasons several authors have enriched classical first order syntax by adding a predicate abstraction operator. “Conservatives” have done so without disturbing the syntax of the formal quantifiers but “revisionists” have argued that predicate abstraction motivates the universal quantifier’s re-classification from an expression that combines with a variable to yield a sentence from a sentence, to an expression that combines with a one-place predicate to yield a sentence. My main aim is to advance the cause of predicate abstraction while (...) cautioning against revisionism. In so doing, however, I shall pursue a secondary aim by conveying mixed blessings to those who hold the view that in the logical sense of “existence” some existing object is such as to exist contingently. Advocates of this view must concede Williamson’s recent contention that the domain of unrestricted objectual quantification could not have been narrower than it is actually, but predicate abstraction affords them some hope of accommodating this concession. (shrink)

Yagisawa (2005) considers two old arguments against the existence requirement. Both arguments are significantly less appealing than Yagisawa suggests. In particular, the second argument, first given by Kaplan (1989: 498), simply assumes that existence is contingent (§1). Yagisawa’s ‘new’ argument shares this weakness. It also faces a dilemma. Yagisawa must either treat ‘at @’ as a sentential operator occupying the same grammatical position as ‘∼’ or as supplying an extra argument place. In the former case, Yagisawa’s argument faces precisely the (...) problems he concedes that Kaplan’s argument does (§2). In the latter case, though the argument does not face these problems, it renders the sense in which things exist contingently no threat to (E) properly understood (§3). (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.

In this paper I take second order-quantification to be a sui generis form of quantification, irreducible to first-order quantification, and I examine the implications of doing so for the debate over the existence of properties. Nicholas K. Jones has argued that adding sui generis second-order quantification to our ideology is enough to establish that properties exist. I argue that Jones does not settle the question of whether there are properties because—like other ontological questions—it is first-order. Then I examine three of (...) the main arguments for the existence of properties. I conclude that sui generis second-order quantification defeats the “one over many” argument and that, coupled with second-order predication, it also defeats the reference and quantification arguments. (shrink)

There has been much discussion of the indispensability argument for the existence of mathematical objects. In this paper I reconsider the debate by using the notion of grounding, or non-causal dependence. First of all, I investigate what proponents of the indispensability argument should say about the grounding of relations between physical objects and mathematical ones. This reveals some resources which nominalists are entitled to use. Making use of these resources, I present a neglected but promising response to the indispensability argument—a (...) liberalized version of Field’s response—and I discuss its significance. I argue that if it succeeds, it provides a new refutation of the indispensability argument; and that, even if it fails, its failure may bolster some of the fictionalist responses to the indispensability argument already under discussion. In addition, I use grounding to reply to a recent challenge to these responses. (shrink)

The idea of “material plenitude” has been gaining traction in recent discussions of the metaphysics of material objects. My main goal here is to show that this idea may have important dialectical implications for the metaphysics of properties – more specifically, that it provides nominalists with new resources in their attempt to reject an ontology of universals. I will recapitulate one of the main arguments against nominalism – due to David Armstrong – and show how plenitude helps the nominalist overcome (...) the argument. (shrink)

A response to critics, Douglas Patterson and Mark Textor, on Künne's modest theory of truth in *Conceptions of Truth*.

Hardcore actualism (HA) grounds all modal truths in the concrete constituents of the actual world (see, e.g., Borghini and Williams (2008), Jacobs (2010), Vetter (2015)). I bolster HA, and elucidate the very nature of possibility (and necessity) according to HA, by considering if it can validate S5 modal logic. Interestingly, different considerations pull in different directions on this issue. To resolve the tension, we are forced to think hard about the nature of the hardcore actualist's modal reality and how radically (...) this departs from possible worlds orthodoxy. Once we achieve this departure, the prospects of a hardcore actualist validation of S5 look considerably brighter. This paper thus strengthens hardcore actualism by arguing that it can indeed validate S5–arguably the most popular logic of metaphysical modality–and, in the process, it elucidates the very nature of modality according to this revisionary, but very attractive, modal metaphysics. (shrink)

Modal potentialism as proposed by Barbara Vetter (2015) is the view that every possibility is grounded in something having a potentiality. Drawing from work by Jessica Leech (2017), Samuel Kimpton-Nye (2021) argues that potentialists can have an S5 modal logic. I present a novel argument to the conclusion that the most straightforward way of spelling out modal potentialism cannot validate an S5 modal logic. Then I will propose a slightly tweaked version of modal potentialism that can validate an S5 modal (...) logic and still does justice to the core claim of potentialism. (shrink)

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

Williamson’s Knowledge and its Limits is the most important philosophical discussion of knowledge in many years. It sets the agenda for epistemology for the next decade and beyond.

Williamson’s Knowledge and its Limits is the most important philosophical discussion of knowledge in many years. It sets the agenda for epistemology for the next decade and beyond.

Theories of propositions as sets of truth-supporting circumstances are committed to the thesis that sentences or other representations true in all and only the same circumstances express the same proposition. Theories of propositions as complex, structured entities are not committed to this thesis. As a result, structured propositions can play a role in our theories of language and thought that sets of truth-supporting circumstances cannot play. To illustrate this difference, I sketch a theory of transparent, non-deflationary truth consistent with some (...) theories of structured propositions, but inconsistent with any theory of propositions as sets of truth-supporting circumstances. (shrink)

This paper aims to support the claim that analytic metaphysics should be more cautious regarding the constraints that truthmaking considerations impose on metaphysical theories. To this end, I reply to Briggs and Forbes (2017), whoargue that certain truthmaking commitments are incurred by a Humean metaphysics and by the Growing-Block theory. First, I argue that Humean Supervenience does not need to endorse a standard version of truthmaker maximalism. This undermines Briggs and Forbes’s conclusion that Humean Supervenience and the Growing-Block theory are (...) incompatible. Second, I argue that the Growing-Block theory does not commit us to any weaker version of truthmaker maximalism, which also undermines Briggs and Forbes’s conclusion. Finally, I point out other reasons to think that any version of truthmaker maximalism is disputable, undermining a fortiori Briggs and Forbes’s conclusion and supporting the moral that metaphysical theories—or at least Humean Supervenience, the Growing-Block theory, and presentism—are little constrained by truthmaking commitments. (shrink)

I here argue for a particular formulation of truth-deflationism, namely, the propositionally quantified formula, (Q) “For all p, <p> is true iff p”. The main argument consists of an enumeration of the other (five) possible formulations and criticisms thereof. Notably, Horwich’s Minimal Theory is found objectionable in that it cannot be accepted by finite beings. Other formulations err in not providing non-questionbegging, sufficiently direct derivations of the T-schema instances. I end by defending (Q) against various objections. In particular, I argue (...) that certain circularity charges rest on mistaken assumptions about logic that lead to Carroll’s regress. I show how the propositional quantifier can be seen as on a par with first-order quantifiers and so equally acceptable to use. While the proposed parallelism between these quantifiers is controversial in general, deflationists have special reasons to affirm it. I further argue that the main three types of approach the truth-paradoxes are open to an adherent of (Q), and that the derivation of general facts about truth can be explained on its basis. (shrink)

Let us call a property that is essentially dispositional a potency.1 David Armstrong thinks that potencies do not exist. All sparse properties are essentially categorical, where sparse properties are the explanatory properties of the type science seeks to discover. An alternative view, but not the only one, is that all sparse properties are potencies or supervene upon them. In this paper I shall consider the differences between these views, in particular the objections Armstrong raises against potencies.

Actualists routinely characterize their view by means of the slogan, “Everything is actual.” They say that there aren’t any things that exist but do not actually exist—there aren’t any “mere possibilia.” If there are any things that deserve the label ‘possible world’, they are just actually existing entities of some kind—maximally consistent sets of sentences, or maximal uninstantiated properties, or maximal possible states of affairs, or something along those lines. Possibilists, in contrast, do think that there are mere possibilia, that (...) there are things that are not actual. They think that more exists than what actually exists. All I have done so far, though, is rephrase the slogan in various ways. To say that everything is actual is precisely to say that there are no things that do not actually exist, which is precisely to say that there are no mere possibilia, and which is also precisely to say that we cannot sep- arately quantify over what exists and what is actual. These claims all amount to the same thing. But what is that, exactly? What on earth does it mean to say that everything is actual, that there are no mere possibilia, and so on? What does the actualist slogan really come to? I think the literature is far from clear on this point, and that people work themselves into unnecessary muddles because of it. Indeed, certain confusions that I shall discuss in the first half of this article seem to be on the rise. It is high time to lay out the issues and the choice points as clearly as possible. There are two primary choices to be made; there are two axes along which versions of actualism can vary. One choice has to do with how to treat claims about things that merely could exist. The other choice has to do with the modal status of the view and of how we should think about the “actual” in actualism. I make no claim that the positions I will eventually endorse are star- tlingly new. I think that most people will agree with the decisions I make at both choice points and will in fact find some bits of this essay obvious. But not everyone agrees with my decisions, and it has been my experience that people differ remarkably about which bits they find obvious—a fact I find rather telling. My goal, then, is to show that the two axes are there and to clarify the consequences of the choices. (shrink)

Bernard Linsky and Edward Zalta have recently proposed a new form of actualism. I characterize the general form of their view and the motivations behind it. I argue that it is not quite new – it bears interesting similarities to Alvin Plantinga’s view – and that it definitely isn’t actualist.

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)

Ordinary Language Philosophy has largely fallen out of favour, and with it the belief in the primary importance of analyses of ordinary language for philosophical purposes. Still, in their various endeavours, philosophers not only from analytic but also from other backgrounds refer to the use and meaning of terms of interest in ordinary parlance. In doing so, they most commonly appeal to their own linguistic intuitions. Often, the appeal to individual intuitions is supplemented by reference to dictionaries. In recent times, (...) Internet search engine queries for expressions of interest have become quite popular. Apparently, philosophers attempt to surpass the limits of their own linguistic intuitions by appealing to experts or to factual uses of language. I argue that this attempt is commendable but that its execution is wanting. Instead of appealing to dictionaries or Internet queries, philosophers should employ computer-based linguistic corpora in order to confirm or falsify hypotheses about the factual use of language. This approach also has some advantages over methods employed by experimental philosophers. If the importance of ordinary language is stressed, the use of linguistic corpora is hardly avoidable. (shrink)

Distributive egalitarians believe that distributive justice is to be explained by the idea of distributive equality (DE) and that DE is of intrinsic value. The socio-relational critique argues that distributive egalitarianism does not account for the “true” value of equality, which rather lies in the idea of “equality as a substantive social value” (ESV). This paper examines the socio-relational critique and argues that it fails because – contrary to what the critique presupposes –, first, ESV is not conceptually distinct from (...) DE, and second, the idea of ESV cannot serve as a “foundation” or “root” of distributive egalitarianism. (shrink)

G. F. Stout is famous as an early twentieth century proselyte for abstract particulars, or tropes as they are now often called. He advanced his version of trope theory to avoid the excesses of nominalism on the one hand and realism on the other. But his arguments for tropes have been widely misconceived as metaphysical, e.g. by Armstrong. In this paper, I argue that Stout’s fundamental arguments for tropes were ideological and epistemological rather than metaphysical. He moulded his scheme to (...) fit what is actually given to us in perception, arguing that our epistemic practices would break down in an environment where only universals were given to us. (shrink)