John Divers

We propose a novel interpretation of Lewis on the analysis of modality that is constructed from primary sources, comprehensive and unprecedented. Our guiding precepts are to distinguish semantics from metaphysics, while respecting the inter-relations between them, and to discern whatever may be special, semantically or metaphysically, about the modal case. Following detailed presentation, we amplify and advocate our interpretation by providing a conforming genealogy of Lewis’s theory of modality and applying it to construct a detailed and newly illuminating version of the Lewisian theory of modality de re.

McFetridge (in Logical necessity and other essays . London: Blackwell, 1990 ) suggests that to treat a proposition as logically necessary—to believe a proposition logically necessary, and to manifest that belief—is a matter of preparedness to deploy that proposition as a premise in reasoning from any supposition. We consider whether a suggestion in that spirit can be generalized to cover all cases of absolute necessity, both logical and non-logical, and we conclude that it can. In Sect. 2, we explain the significance that such an account of manifestation of belief in absolute necessity has for the prospects of a non-realist theory of modality. In Sect. 3, we offer a sympathetic articulation of the detail that underlies the McFetridge conception of belief in logical necessity. In Sects. 4 and 5, we show that the conception so articulated will not generalize to encompass all cases of belief in absolute necessity and proceed to offer a remedy. Our proposal is based upon a distinction between two kinds of suppositional act: A-supposing and C-supposing (Sect. 6). In Sect. 7, we then explain and defend our central thesis: (roughly) that (manifestation of) belief in absolute necessity is a matter of preparedness to deploy as a premise in reasoning under any C-supposition. Finally, we indicate that there is some promise in the parallel thesis that manifestation of the treatment of a proposition as a priori is a matter of preparedness to deploy as a premise in reasoning under any A-supposition (Sect. 8)

At the core of the concept of supervenience are certain general maxims— notably, that there can be no A-differences without B-differences and that Bindiscernibility must bring A-discernibility. Supervenience is thus conceived as a matter of modal covariance between two sets of things in a given category, usually properties. The perennial issues surrounding supervenience concern: (a) the variety of specifically formulated theses that serve the core maxims and the patterns of entailment that obtain among these theses, and (b) the relations that obtain between supervenience theses and such salient concepts of metaphysics as reduction, dependence and determination. The regions of philosophical inquiry that gave rise to contemporary analytic philosophical interest in supervenience, and in which the notion is still most prominently applied are, famously, meta-ethics and the philosophy of mind. In the former case the history of supervenience can be traced back through Hare to Moore; in the latter case the line can be traced back from the pathfinding work of Kim through the famous resurrection of the notion of supervenience in Davidson’s work to the emergentist theorists of mind in the early part of this century.1 Publication on the topic of supervenience has exploded so that a brief treatment of recent work could provide an even remotely comprehensive survey only by degenerating into a list.2 So I shall settle for concentrating on the two groups of issues that were identified above, that is those concerning the logical character and metaphysical significance of supervenience theses, interposing some comments on the specific topic of supervenience in the philosophy of mind. I will emphasise and sympathise with that deflationary strand of recent work that invites soberand cautious re-appraisal of the role of supervenience theses in philosophical enquiry

Lewis’ analysis of modality faces a problem in that it appears to confer unintended truth values to certain modal claims about the pluriverse: e.g. ‘It is possible that there are many worlds’ is false when we expect truth. This is the problem of advanced modalizing. Divers presents a principled solution to this problem by treating modal modifiers as semantically redundant in some such cases. However, this semantic move does not deal adequately with advanced de re modal claims. Here, we motivate and detail a comprehensive semantics for advanced modalizing de dicto and de re. The generalized semantic feature of the initial solution is not redundancy but absence from counterpart-theoretic translations of world-constrictions.

According to the Genuine Modal Realist, there is a plurality of possible worlds, each world nothing more than a maximally inter-related spatiotemporal sum. One advantage claimed for this position is that it offers us the resources to analyse, in a noncircular manner, the modal operators. In this paper, we argue that the prospects for such an analysis are poor. For the analysis of necessity as truth in all worlds to succeed it is not enough that no modal concepts be used in the realist's account of a possible world (a fact we grant); rather, such an analysis will succeed only if the set of worlds that is postulated is complete. By appealing to plausible truths about the number of possible alien natural properties, we show that there are serious difficulties in guaranteeing that such a set exists without taking some modal concept as primitive. Accordingly, at least in its current form, Genuine Modal Realism must curtail its analytic ambitions.