Phillip Bricker

In this chapter, I survey what I call Lewisian approaches to modality: approaches that analyze modality in terms of concrete possible worlds and their parts. I take the following four theses to be characteristic of Lewisian approaches to modality. (1) There is no primitive modality. (2) There exists a plurality of concrete possible worlds. (3) Actuality is an indexical concept. (4) Modality de re is to be analyzed in terms of counterparts, not transworld identity. After an introductory section in which I motivate analyzing modality in terms of possible worlds, I devote one section to each of these four theses. For each thesis, I take Lewis’s interpretation and defense as my starting point. I then consider and endorse alternative ways of accepting the thesis, some of which disagree substantially with Lewis’s interpretation or defense. There is more than one way to be a Lewisian about modality.

Modal sentences of the form "every F might be G" and "some F must be G" have a threefold ambiguity. in addition to the familiar readings "de dicto" and "de re", there is a third reading on which they are examples of the "plural de re": they attribute a modal property to the F's plurally in a way that cannot in general be reduced to an attribution of modal properties to the individual F's. The plural "de re" readings of modal sentences cannot be captured within standard quantified modal logic. I consider various strategies for extending standard quantified modal logic so as to provide analyses of the readings in question. I argue that the ambiguity in question is associated with the scope of the general term 'F'; and that plural quantifiers can be introduced for purposes of representing the scope of a general term. Moreover, plural quantifiers provide the only fully adequate solution that keeps within the framework of quantified modal logic.

If realism about possible worlds is to succeed in eliminating primitive modality, it must provide an 'analysis' of possible world: nonmodal criteria for demarcating one world from another. This David Lewis has done. Lewis holds, roughly, that worlds are maximal unified regions of logical space. So far, so good. But what Lewis means by 'unification' is too narrow, I think, in two different ways. First, for Lewis, all worlds are (almost) 'globally' unified: at any world, (almost) every part is directly linked to (almost) every other part. I hold instead that some worlds are 'locally' unified: at some worlds, parts are directly linked only to "neighboring" parts. Second, for Lewis, each world is (analogically) 'spatio-temporally' unified; every world is 'spatio-temporally' isolated from every other. I hold instead: a world may be unified by nonspatio-temporal relations; every world is 'absolutely' isolated from every other. If I am right, Lewis's conception of logical space is impoverished: perfectly respectable worlds are missing.

Some argue, following Bertrand Russell, that because general truths are not entailed by particular truths, general facts must be posited to exist in addition to particular facts. I argue on the contrary that because general truths (globally) supervene on particular truths, general facts are not needed in addition to particular facts; indeed, if one accepts the Humean denial of necessary connections between distinct existents, one can further conclude that there are no general facts. When entailment and supervenience do not coincide it is only failure of supervenience, not failure of entailment, that carries ontological import.

Which mathematical structures are possible, that is, instantiated by the concrete inhabitants of some possible world? Are there worlds with four-dimensional space? With infinite-dimensional space? Whence comes our knowledge of the possibility of structures? In this paper, I develop and defend a principle of plenitude according to which any mathematically natural generalization of possible structure is itself possible. I motivate the principle pragmatically by way of the role that logical possibility plays in our inquiry into the world.