Realists about possible worlds typically identify possible worlds with abstract objects, such as propositions or properties. However, they face a significant objection due to Lewis (1986), to the effect that there is no way to explain how possible worlds-as-abstract objects represent possibilities. In this paper, I describe a response to this objection on behalf of realists. The response is to identify possible worlds with propositions, but to deny that propositions are abstract objects, or indeed objects at all. Instead, I argue (...) that realists should follow Prior (1971) and others in treating higher-order quantification (e.g. quantification into predicate or sentence position) as a genuine form of quantification in its own right, and so in particular, not to be analysed in terms of first-order quantification over abstract objects. I argue that from this ‘higher-orderist’ perspective, there is a relatively straightforward answer to the question of how possible worlds-as-propositions succeed in representing possibilities. (shrink)

Since the publication of Kit Fine's “Essence and Modality”, there has been lively debate over how best to think of essence in relation to necessity. The present aim is to draw attention to a definition of essence in terms of modality that has not been given sufficient attention. This neglect is perhaps unsurprising, since it is not a proposal made in response to Fine's 1994 paper and ensuing discussion, but harks back to Ruth Barcan Marcus's earlier work in the 1960s (...) and 1970s on essentialist claims. At the core of Barcan Marcus's account is Minimal Essentialism, of which there are several extensions, in particular, for cases of referential predicates (such as “x is identical to Socrates”), Individuating Essentialism, and Aristotelian Essentialism. I argue that Minimal Essentialism fares favourably against a host of familiar examples. I close with some historical observations, that the distinction between essence and necessity was already commonplace in the early days of quantified modal logic and its philosophy. (shrink)

Conspicuously missing some planks, a latter-day Ship of Theseus catches the eye when one picks up this Book of Three Authors. Teasingly, differentiated preposit.

Propositional contingentism is the view that what propositions there are is a contingent matter—certain propositions ontologically depend on objects which themselves only contingently exist. Possible worlds are, loosely, complete ways the world could have been. That is to say, the ways in which everything in its totality could have been. Propositional contingentists make use of possible worlds frequently. However, a neglected, but important, question concerns whether there are any notions of worlds which are both theoretically adequate and consistent with propositional (...) contingentism. Some notion of a possible world is adequate if the systematic connection between, at least, possibility and truth at some possible world holds. Here, I argue that no adequate notion of a possible world is available to at least those who subscribe to one natural formulation of propositional contingentism. I also show that this result contrasts with a simple and adequate definition of a possible world available to the necessitist—those who hold that necessarily everything necessarily exists. (shrink)

Some views articulate reality's hierarchical structure using relations from the fundamental to representations of reality. Other views instead use relations from the fundamental to constituents of non-representational reality. This paper argues against the first kind of view.