Identity is a modally inflexible relation: two objects are necessarily identical or necessarily distinct. However, identity is not alone in this respect. We will look at the relation that one object bears to some objects if and only if it is one of them. In particular, we will consider the credentials of the thesis that no matter what some objects are, an object is necessarily one of them or necessarily not one of them.

David Lewis’s counterpart-theoretic semantics for quantified modal logic is motivated originally by worries about identifying objects across possible worlds; the counterpart relation is grounded more cautiously on comparative similarity. The possibility of contingent identity is an unsought -- and in some eyes, unwelcome -- consequence of this approach. In this paper I motivate a Kripkean counterpart theory by way of defending the prior, pre-theoretical, coherence of contingent directness. Contingent identity follows for free. The theory is Kripkean in that the counterpart (...) relation is in a sense stipulated rather than grounded on similarity, and is such that no object has more than one counterpart at a world. This avoids a number of objections Fara and Williamson have recently levelled against counterpart theory generally; their other objections are addressed by enriching the theory with special quantifiers and actuality operators. (shrink)

Let an iterated essentialist statement be a statement of the form 'It lies in the nature of x1,x2,... that it lies in the nature of y1,y2,... that φ'. Let Iteration be the thesis that there are true iterated essentialist statements. Iteration has recently been disputed by Dasgupta (2014) and Glazier (2017). Both authors take the falsity of Iteration to be central to the explanatory role of essentialist truths. An important consequence that is not explicitly noted by them is that the (...) falsity of Iteration would entail that metaphysical necessity is not reducible to essence in the manner suggested by Fine (1994). This paper defends Iteration against these challenges, drawing attention to some features of the collective essences of properties, propositions, and logical operations that have been largely neglected in discussions about essence. (shrink)

What is the relation between metaphysical necessity and essence? This paper defends the view that the relation is one of identity: metaphysical necessity is a special case of essence. My argument consists in showing that the best joint theory of essence and metaphysical necessity is one in which metaphysical necessity is just a special case of essence. The argument is made against the backdrop of a novel, higher-order logic of essence, whose core features are introduced in the first part of (...) the paper. The second part investigates the relation between metaphysical necessity and essence in the context of HLE. Reductive hypotheses are among the most natural hypotheses to be explored in the context of HLE. But they also have to be weighed against their non-reductive rivals. I investigate three different reductive hypotheses and argue that two of them fare better than their non-reductive rivals: they are simpler, more natural, and more systematic. Specifically, I argue that one candidate reduction, according to which metaphysical necessity is truth in virtue of the nature of all propositions, is superior to the others, including one proposed by Kit Fine, according to which metaphysical necessity is truth in virtue of the nature of all objects. The paper concludes by offering some reasons to think that the best joint theory of essence and metaphysical necessity is one in which the logic of metaphysical necessity includes S4, but not S5. (shrink)

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according to (...) the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (shrink)

The most common first- and second-order modal logics either have as theorems every instance of the Barcan and Converse Barcan formulae and of their second-order analogues, or else fail to capture the actual truth of every theorem of classical first- and second-order logic. In this paper we characterise and motivate sound and complete first- and second-order modal logics that successfully capture the actual truth of every theorem of classical first- and second-order logic and yet do not possess controversial instances of (...) the Barcan and Converse Barcan formulae as theorems, nor of their second-order analogues. What makes possible these results is an understanding of the individual constants and predicates of the target languages as strongly Millian expressions, where a strongly Millian expression is one that has an actually existing entity as its semantic value. For this reason these logics are called ‘strongly Millian’. It is shown that the strength of the strongly Millian second-order modal logics here characterised afford the means to resist an argument by Timothy Williamson for the truth of the claim that necessarily, every property necessarily exists. (shrink)

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)

It is widely held that if an object a is identical (or non-identical) to an object b, then it is necessary that a is identical (non-identical) to b. This view is supported an argument from Leibniz's Law and a popular conception of de re modality. On the other hand, there are good reasons to allow for contingent identity. Various alternative accounts of de re modality have been developed to achieve this kind of generality, and to explain what is wrong with (...) the argument from Leibniz's Law. (shrink)

David Lewis’s counterpart theory is often seen as involving a radical departure from the standard, Kripke-style semantics for modal logic, suggesting that we are dealing with deeply divergent accounts of our modal talk. However, CT captures but one version of the relevant semantic intuition, and does so on the basis of metaphysical assumptions that are ostensibly discretionary. Just as ML can be translated into a language that quantifies explicitly over worlds, CT may be formulated as a semantic theory in which (...) world quantification is purely metalinguistic. And just as Kripke-style semantics is formally compatible with the doctrine of world-boundedness, a counterpart-based semantics may in principle allow for cases of trans-world identity. In fact, one may welcome a framework that is general enough to include both Lewis’s counterpart-based account and Kripke’s identity-based account as distinguished special cases. There are several ways of doing so. The purpose of this paper is to outline a fully general option and to illustrate its philosophical significance, showing how the large variety of intermediate relations that lie between Lewisian counterparthood and Kripkean identity yield a corresponding variety of modal theories that would otherwise remain uncharted. (shrink)