Possible worlds, concrete or abstract as you like, are irrelevant to the truthmakers for modality—or so I shall argue in this paper. First, I present the neo-Humean picture of modality, and explain why those who accept it deny a common sense view of modality. Second, I present what I take to be the most pressing objection to the neo-Humean account, one that, I argue, applies equally well to any theory that grounds modality in possible worlds. Third, I present an alternative, (...) properties-based theory of modality and explore several specific ways to flesh the general proposal out, including my favored version, the powers theory. And, fourth, I offer a powers semantics for counterfactuals that each version of the properties-based theory of modality can accept, mutatis mutandis. Together with a definition of possibility and necessity in terms of counterfactuals, the powers semantics of counterfactuals generates a semantics for modality that appeals to causal powers and not possible worlds. (shrink)

Everyone knows what David Lewis' possible worlds are, what role they play in his account of possibility and necessity, and Saul Kripke's criticisms. But what, instead, are Kripke's possible worlds, and what role do they play in his account of possibility and necessity? The answers are not so obvious. Recently, it has even been claimed that, contrary to what is standardly assumed, Kripke's approach to modality has not always been consistently metaphysical. In particular, an interpretation of the famous passage in (...) the preface to Naming and Necessity with Kripke's discussion of the dice example has been put forward, according to which he purports there to clarify the modal notions in terms of that of possible world, model-theoretically construed, in a way which is reminiscent of Carnap's. In this paper, I shall point out some internal difficulties of this interpretation, and offer a different one, according to which in the dice passage Kripke is trying, consistently with his metaphysical approach, to legitimize the technically useful notion of possible world starting from modal notions, to be accounted for in another way (arguably, in an essentialistic framework). My final goal, however, will be philosophical elucidation rather than mere exegesis. Indeed, I am interested in shedding some light on what possible worlds might possibly be, if something like Kripke's metaphysical approach is on the right track. (shrink)