Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, propositions, and identity, (...) as well as on the metaphysics of modality. (shrink)

In Modal Logic as Metaphysics, Timothy Williamson claims that the possibilism-actualism (P-A) distinction is badly muddled. In its place, he introduces a necessitism-contingentism (N-C) distinction that he claims is free of the confusions that purportedly plague the P-A distinction. In this paper I argue first that the P-A distinction, properly understood, is historically well-grounded and entirely coherent. I then look at the two arguments Williamson levels at the P-A distinction and find them wanting and show, moreover, that, when the N-C (...) distinction is broadened (as per Williamson himself) so as to enable necessitists to fend off contingentist objections, the P-A distinction can be faithfully reconstructed in terms of the N-C distinction. However, Williamson’s critique does point to a genuine shortcoming in the common formulation of the P-A distinction. I propose a new definition of the distinction in terms of essential properties that avoids this shortcoming. (shrink)

This paper first argues that we can bring out a tension between the following three popular doctrines: (i) the canonical reduction of metaphysical modality to essence, due to Fine, (ii) contingentism, which says that possibly something could have failed to be something, and (iii) the doctrine that metaphysical modality obeys the modal logic S5. After presenting two such arguments (one from the theorems of S4 and another from the theorems of B), I turn to exploring various conclusions we might draw (...) in light of these results, and argue that none comes cost free. In the course of laying out possible responses to my arguments, we'll have a chance to evaluate various doctrines about the interplay between contingency and essence, as well as develop some alternative reductions of metaphysical modality to essence. I don't decisively come down in favor of one response over the others, though I say some things that point towards the conclusion that essence has no role to play in reducing metaphysical modality. (shrink)

According to Timothy Williamson, we should accept the simplest and most powerful second-order modal logic, and as a result accept an ontology of "bare possibilia". This general method for extracting ontology from logic is salutary, but its application in this case depends on a questionable assumption: that modality is a fundamental feature of the world.

Bob Hale’s distinguished record of research places him among the most important and influential contemporary analytic metaphysicians. In his deep, wide ranging, yet highly readable book Necessary Beings, Hale draws upon, but substantially integrates and extends, a good deal his past research to produce a sustained and richly textured essay on — as promised in the subtitle — ontology, modality, and the relations between them. I’ve set myself two tasks in this review: first, to provide a reasonably thorough (if not (...) exactly comprehensive) overview of the structure and content of Hale’s book and, second, to a limited extent, to engage Hale’s book philosophically. I approach these tasks more or less sequentially: Parts I and 2 of the review are primarily expository; in Part 3 I adopt a somewhat more critical stance and raise several issues concerning one of the central elements of Hale’s account, his essentialist theory of modality. (shrink)

We argue that presentism, understood as a view about time and existence, can perspicuously be defined in opposition to all other familiar contenders without appeal to any notion of presentness or cognate notions such as concreteness. Given recent worries about the suitability of such notions to cut much metaphysical ice, this should be welcomed by presentism's defenders. We also show that, irrespective of its sparse ideology, the proposed formulation forestalls any deviant interpretation at odds with the view it aims to (...) capture. (shrink)

According to the traditional bundle theory, particulars are bundles of compresent universals. I think we should reject the bundle theory for a variety of reasons. But I will argue for the thesis at the core of the bundle theory: that all the facts about particulars are grounded in facts about universals. I begin by showing how to meet the main objection to this thesis (which is also the main objection to the bundle theory): that it is inconsistent with the possibility (...) of distinct qualitative indiscernibles. Here, the key idea appeals to a non-standard theory of haecceities as non-well-founded properties of a certain sort. I will then defend this theory from a number of objections, and finally argue that we should accept it on the basis of considerations of parsimony about the fundamental. (shrink)

Timothy Williamson has argued for the radical conclusion that everything necessarily exists. In this paper, I assume that the conclusion of Williamson’s argument is more incredible than the denial of his premises. Under the assumption that Williamson is mistaken, I argue for the claim that there are some structured propositions which have constituents that might not have existed. If those constituents had not existed, then the propositions would have had an unfilled role; they would have been gappy. This gappy propositions (...) view allows for a plausible response to Williamson’s argument. Additionally, a slight variant of the gappy propositions view allows for plausible defense of Linguistic Ersatzism from the problem of contingent non-existents (also known as the problem of aliens). (shrink)

The counterpart theorist has a problem: there is no obvious way to understand talk about actuality in terms of counterparts. Fara and Williamson have charged that this obstacle cannot be overcome. Here I defend the counterpart theorist by offering systematic interpretations of a quantified modal language that includes an actuality operator. Centrally, I disentangle the counterpart relation from a related notion, a ‘representation relation’. The relation of possible things to the actual things they represent is variable, and an adequate account (...) of modal language must keep track of the way it is systematically shifted by modal operators. I apply my account to resolve several puzzles about counterparts and actuality. In technical appendices, I prove some important logical results about this ‘representational’ counterpart system and its relationship to other modal systems. (shrink)

Existentialism concerning singular propositions is the thesis that singular propositions ontologically depend on the individuals they are directly about in such a way that necessarily, those propositions exist only if the individuals they are directly about exist. Haecceitism is the thesis that what non-qualitative facts there are fails to supervene on what purely qualitative facts there are. I argue that existentialism concerning singular propositions entails the denial of haecceitism and that this entailment has interesting implications for debates concerning the philosophy (...) of language, the nature of propositions, and the metaphysics of modality. (shrink)

A singular thought about an object o is one that is directly about o in a characteristic way—grasp of that thought requires having some special epistemic relation to the object o, and the thought is ontologically dependent on o. One account of the nature of singular thought exploits a Russellian Structured Account of Propositions, according to which contents are represented by means of structured n-tuples of objects, properties, and functions. A proposition is singular, according to this framework, if and only (...) if it contains an object as a constituent. One advantage of the framework of Russellian Structured propositions is that it promises to provide a metaphysical basis for the notion of a singular thought about an object, grounding it in terms of constituency. In this paper, we argue that the attempt to ground the peculiar features of singular thoughts in terms of metaphysical constituency fails, and draw some consequences of our discussion for other debates. (shrink)

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)

Trevor Teitel (2017) has recently argued that combining the assumption that modality reduces to essence with the assumption that possibly some objects contingently exist leads to problems if one wishes to uphold that the logic of metaphysical modality is S5. In this paper I will argue that there is a way for the essentialist to evade the problem described by Teitel. The proposed solution crucially involves the assumption that some propositions possibly fail to exist. I will show how this assumption (...) affords a motivated contingentist response to Teitel’s argument. (shrink)

In this paper, I criticize Structured Propositionalism, the most widely held theory of the nature of propositions according to which they are structured entities with constituents. I argue that the proponents of Structured Propositionalism have paid insufficient attention to the metaphysical presuppositions of the view – most egregiously, to the notion of propositional constituency. This is somewhat ironic, since the friends of structured propositions tend to argue as if the appeal to constituency gives their view a dialectical advantage. I criticize (...) four different approaches to providing a metaphysics of propositional constituency: set-theoretic, mereological, hylomorphic, and structure-making. Finally, I consider the option of taking constituency in a deflationary, metaphysically ‘lightweight’ sense. I argue that, though invoking constituency in a lightweight sense may be useful for avoiding the ontological problems that plague the ‘heavyweight’ conception, it no longer proffers a dialectical advantage to Structured Propositionalism. (shrink)

In “Naming with Necessity”, it is argued that Kripke’s thesis that proper names are rigid designators is best seen as being motivated by an individual-driven picture of modality, which has two parts. First, inherent in proper-name usage is the expectation that names refer to modally robust individuals: individuals that can sustain modal predications like ‘is necessarily human’. Second, these modally robust individuals are the fundamental building blocks on the basis of which possible worlds should be conceived in a modal semantics (...) intended to mirror the conceptual apparatus behind ordinary modal talk. The individual-driven picture is distinct from two views inspired by Kripke, direct reference theory and Millianism. The former covers only the first half of the picture, while the latter explicitly gives up on that half even, opting to remain neutral about what expectation expressions impose on the nature of their referents. (shrink)

The aim of this paper is to make the case for the obstinacy thesis. This is the thesis that proper names like ‘Hitler’, demonstratives like ‘this’, pure indexicals like ‘I’, and natural kind terms like ‘water’ and ‘gold’, are obstinately rigid terms. An obstinately rigid term is one that refers to the object that is its actual referent with respect to every possible world (hence, a fortiori, even with respect to worlds where that object does not exist). This form of (...) rigidity is stronger than the usual Kripkean one and has been notoriously explored by David Kaplan (Kaplan 1989a: 492-3; Kaplan 1989b: 569-71). Yet, the obstinacy thesis seems implausible to many philosophers and is worth substantive argument. For convenience, we focus our attention on proper names; but most of our remarks could be easily generalized to other unstructured singular terms. We shall take for granted Saul Kripke’s semantical doctrine that proper names are rigid in the general sense of the term and argue that their rigidity should take the specific form of obstinacy rather than persistence. (shrink)

Alvin Plantinga gave a reductio of the conjunction of the following three theses: Existentialism (the view that, e.g., the proposition that Socrates exists can't exist unless Socrates does), Serious Actualism (the view that nothing can have a property at a world without existing at that world) and Contingency (the view that some objects, like Socrates, exist only contingently). I sketch a view of truth at a world which enables the Existentialist to resist Plantinga's argument without giving up either Serious Actualism (...) or Contingency. (shrink)