“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

A singular thought can be characterized as a thought which is directed at just one object. The term ‘thought’ can apply to episodes of thinking, or to the content of the episode (what is thought). This paper argues that episodes of thinking can be just as singular, in the above sense, when they are directed at things that do not exist as when they are directed at things that do exist. In this sense, then, singular thoughts are not object-dependent.

The Epistemic Objection says that certain theories of time imply that it is impossible to know which time is absolutely present. Standard presentations of the Epistemic Objection are elliptical—and some of the most natural premises one might fill in to complete the argument end up leading to radical skepticism. But there is a way of filling in the details which avoids this problem, using epistemic safety. The new version has two interesting upshots. First, while Ross Cameron alleges that the Epistemic (...) Objection applies to presentism as much as to theories like the growing block, the safety version does not overgeneralize this way. Second, the Epistemic Objection does generalize in a different, overlooked way. The safety objection is a serious problem for a widely held combination of views: “propositional temporalism” together with “metaphysical eternalism”. (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)

Names are rigid designators, but what kind of rigidity do they exhibit? Both “obstinately” and “persistently” rigid designators pick out O at every world at which they pick out anything at all. They differ in that obstinately rigid designators also pick out O at worlds at which O fails to exist; persistently rigid designators have no extension whatsoever at worlds at which O fails to exist. The question whether names are obstinate or persistent arises in two contexts: in arguments against (...) rigidified descriptivism (on the grounds that names and rigidified descriptions exhibit different kinds of rigidity) and in considerations about what it means for an expression to be “directly referential.” This paper contends that names are persistent, not obstinate. The position thus clarifies the relationship between Millian theories of names and rigid designation, in addition to undermining attempts to rehabilitate the modal argument against rigidified descriptivism. (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)

This paper addresses the most fundamental question in metaphysics, Why is there something rather than nothing? The question is framed as a question about concrete entities, Why does a possible world containing concrete entities obtain rather than one containing no concrete entities? Traditional answers are in terms of there necessarily being some concrete entities, and include the possibility of a necessary being. But such answers are threatened by metaphysical nihilism, the thesis that there being nothing concrete is possible, and the (...) subtraction argument for this thesis, an argument that is the subject of considerable recent debate. I summarize and extend the debate about the argument, and answer the threat it poses, turning the tables on it to show how the subtraction argument supports a cosmological argument for a necessary being. (shrink)

We want to say both that Sherlock Holmes does not exist, and that he is a fictional character. But how can we say these things without committing ourselves to the existence of Sherlock Holmes? Here I develop and defend a non-commital paraphrase of quantification over fictional characters, modeled on the non-commital paraphrase Kit Fine provides for quantification over possibilia. I also develop and defend the view that names for fictional characters are weakly non-referring, in Nathan Salmon’s sense, and so provide (...) us with a non-commital means to express singular propositions. The resulting position allows us to reap the benefits of Fictional Realism without paying the associated ontological cost. (shrink)

This paper maintains (following Yougrau 1987; 2000 and Hinchliff 1996) that the dead and other former existents count as examples of non-existent objects. If the dead number among the things there are, a further question arises: what is it to be dead—how should the state of being dead be characterised? It is argued that this state should be characterised negatively: the dead are not persons, philosophers etc. They lack any of the (intrinsic) qualities they had while they lived. The only (...) facts involving the dead are facts about the relations they stand in—including the relations they bear to the qualities they formerly instantiated, and the intentional relations they stand in to us. Given an appropriate conception of qualities the dead can be said to be quality-less objects: bare particulars. The ‘Bare Particular Theory’ of individuals, it is argued, is coherent if and only if it concedes that the bare particulars it allows for don’t exist. The account of the dead and other former existents as bare particulars does justice to the misfortune of death, and points the way to a general theory of nonexistent objects. (shrink)

In this paper, we propose a new actualist and contingentist modal metaphysics – fundamental essentialism – according to which individuals just are realized essences. Orthodox possible worlds semantics is incompatible with actualism and contingentism since Kripke models in which paradigmatic contingentists propositions are true require possible worlds whose domain contain merely possible individuals. In light of this problem, Plantinga has developed modal metaphysics based on essences, but it has been claimed by Fine, Williamson, and others, that it cannot be upheld (...) because of the problem of unexemplified essences. We answer the latter problem by claiming that individuals just are realized essences. Then, justifying our theory further we refute Williamson’s deductive argument for necessitism. Afterward, we show in what sense fundamental essentialism is contingentist metaphysics. (shrink)

Many Russellians endorse the theses that propositions (i) are structured, (ii) have logical forms, (iii) have objects they are directly about as constituents, (iv) cannot exist without their constituents and (v) exist contingently. In his Propositions, Merricks argues against (i)-(v). I respond to his arguments.

Dispositional essentialism, a plausible view about the natures of (sparse or natural) properties, yields a satisfying explanation of the nature of laws also. The resulting necessitarian conception of laws comes in a weaker version, which allows differences between possible worlds as regards which laws hold in those worlds and a stronger version that does not. The main aim of this paper is to articulate what is involved in accepting the stronger version, most especially the consequence that all possible properties exist (...) in all worlds. I also suggest that there is no particularly strong reason for preferring the weaker to the stronger version. For example, Armstrong's instantiation condition on universals entails that according to strong necessitarianism every property is instantiated in all possible worlds. But first we do not need to accept Armstrong's instantiation condition, in part because his arguments for it are forceful only for a contingentist about laws and properties. Secondly, even if we do accept the condition, the consequence that all properties are instantiated is not itself contradictory, so long as any form of necessitarianism holds. Strong necessitarianism is prima facie counter-intuitive. But for that matter so is weak necessitarianism. Accepting either weak or strong necessitarianism requires denying the force of intuition in this area. And indeed we have every reason to deny the force of intuition and its primary source, imagination, concerning modal facts. (shrink)

In this paper I aim to defend a version of the view that ‘exist’ expresses primarily a property of individual objects, a property that each of them has. In the first section, I will distinguish the three main types of rival conceptions concerning the semantic status of ‘exist’ that will define the subsequent discussion. In the second section it will be shown that the best explanation of our overall use of ‘exist’ in natural language requires the treatment of ‘exist’ as (...) a predicate that can be applied to individual objects. The third section will be concerned with the problem of the semantic analysis of negative singular existential sentences that contain proper names. I will briefly defend a specific solution to this problem that makes use of a single-domain free logic. In the following sections, I will try to defend this view of existence in more detail. That is, I will deal with three different specific challenges that prima facie seem to speak against the proposed view and for some rival alternatives; and I will show how these challenges can be met. (shrink)