The aim of this chapter is to explore to some extent the relationship between identity and necessity in logic and metaphysics. First, I provide a historically-based summary of proofs of the necessity of identity, highlighting the importance of the role that self-identity plays. Second, I introduce two examples of metaphysical topics where the necessity of identity has played a pivotal role: the necessary a posteriori, and the coincidence of material objects. I argue that important aspects of these debates rest on (...) how we represent identity. Third, I consider some recent work on generalized identity. This opens up new prospects for explaining why identity is necessary. (shrink)

Philosophers distinguish between having a property essentially and having it accidentally. The way the distinction has been drawn suggests that it is modal in character, and so that it can be captured in terms of necessity, or cognate notions. The present chapter takes the suggestion at face value by considering a number of modal characterizations of the essential/accidental distinction that have been articulated and discussed since the early 20th century, as well as some of the challenges that they face.

Are the distinctions between past, present and future, and the apparent ‘passage’ of time, features of the world in itself, or manifestations of the human perspective? Questions of this kind have been at the heart of metaphysics of time since antiquity. The latter view has much in common with pragmatism, though few in these debates are aware of that connection, and few of the view’s proponents think of themselves as pragmatists. For their part, pragmatists are often unaware of this congenial (...) application of their methodology; some associate pragmatism with the other side of the old debate in the metaphysics of time. In my view, this link between time and pragmatism only scratches the surface of the deep two-way dependencies between these two topics. The human temporal perspective turns out to be deeply implicated not merely in our temporal notions themselves, but in many other conceptual categories – arguably, in fact, in all of them, and in the nature of language and thought. In this way, reflection on our own temporal character vindicates James’ famous slogan for global pragmatism: ‘The trail of the human serpent is thus over everything.’. (shrink)

The Lewisian account of modality based on counterpart theory suffers from the problems of advanced modalizing, where claims about spatiotemporally disunified entities are modalized. In this paper, I first discuss a strategy to bypass the problem, one which treats cases of advanced modalizing as cases of equivocation lying outside the scope of the translation. I then argue that the strategy does not satisfactorily generalize to the case of advanced modal claims involving abstract entities. This failure not only reveals the limitations (...) of counterpart theory in handling abstracta, but also weakens the abductive argument for modal realism that posits it as a robust account of nominalism. Furthermore, advanced modalizing is an indispensable part of the Lewisian framework when doing metaphysics, since advanced modal claims made by Lewis himself strengthen his abductive argument for modal realism. Hence advanced modalizing plays a crucial role in the Lewisian project, and an account of advanced modalizing is needed for the Lewisian reduction of modality to succeed. (shrink)

The current conception of the plurality of worlds is founded on a set theoretic understanding of possibilia. This paper provides an alternative category theoretic conception and argues that it is at least as serviceable for our understanding of possibilia. In addition to or instead of the notion of possibilia conceived as possible objects or possible individuals, this alternative to set theoretic modal realism requires the notion of possible morphisms, conceived as possible changes, processes or transformations. To support this alternative conception (...) of the plurality of worlds, I provide two examples where a category theoretic account can do work traditionally done by the set theoretic account: one on modal logic and another on paradoxes of size. I argue that the categorial account works at least as well as the set theoretic account, and moreover suggest that it has something to add in each case: it makes apparent avenues of inquiry that were obscured, if not invisible, on the set theoretic account. I conclude with a plea for epistemological humility about our acceptance of either a category-like or set-like realist ontology of modality. (shrink)

This paper argues for a possible-worlds interpretation of the arguments marshalled by Socrates against Protagoras in Plato’s Theaetetus. Specifically, it reads Protagoras’ position as implying a limited form of modal realism, and evaluates both the self-refutation sequence at 170a–71d and the Future Argument at 177c–9c on the basis of this reading. It emerges that Socrates’ project is only partly successful: while the three main arguments of the self-refutation sequence force Protagoras into ever more awkward and metaphysically top-heavy positions, and the (...) Future Argument is psychologically compelling, these arguments do not force a collapse of the relativist position. Protagoras can still defend himself, though the cost is high. (shrink)