Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. -/- Seeking to assuage the sceptical worries which underlie modal (...) anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. -/- This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy. (shrink)

The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.

The best arguments for possible worlds as states of affairs furnish us with equally good arguments for impossible worlds of the same sort. I argue for a theory of impossible worlds on which the impossible worlds correspond to maximal inconsistent classes of propositions. Three objections are rejected. In the final part of the paper, I present a menu of impossible worlds and explore some of their interesting formal properties.

The dogma that the propositional logic of metaphysical modality is S5 is rebutted in related installments (previously published and unpublished essays).

Drawing on different suggestions from the literature, we outline a unified metaphysical framework, labeled as Modal Meinongian Metaphysics (MMM), combining Meinongian themes with a non-standard modal ontology. The MMM approach is based on (1) a comprehension principle (CP) for objects in unrestricted, but qualified form, and (2) the employment of an ontology of impossible worlds, besides possible ones. In §§1–2, we introduce the classical Meinongian metaphysics and consider two famous Russellian criticisms, namely (a) the charge of inconsistency and (b) the (...) claim that naïve Meinongianism allows one to prove that anything exists. In §3, we have impossible worlds enter the stage and provide independent justification for their use. In §4, we introduce our revised comprehension principle: our CP has no restriction on the (sets of) properties that can characterize objects, but parameterizes them to worlds, therefore having modality explicitly built into it. In §5, we propose an application of the MMM apparatus to fictional objects and defend the naturalness of our treatment against alternative approaches. Finally, in §6, we consider David Lewis’ notorious objection to impossibilia, and provide a reply to it by resorting to an ersatz account of worlds. (shrink)

In this paper, I argue for a particular conception of impossible worlds. Possible worlds, as traditionally understood, can be used in the analysis of propositions, the content of belief, the truth of counterfactuals, and so on. Yet possible worlds are not capable of differentiating propositions that are necessarily equivalent, making sense of the beliefs of agents who are not ideally rational, or giving truth values to counterfactuals with necessarily false antecedents. The addition of impossible worlds addresses these issues. The kinds (...) of impossible worlds capable of performing this task are not mysterious sui generis entities, but sets of structured propositions that are themselves constructed out of possible worlds and relations. I also respond to a worry that these impossible worlds are unable to represent claims about the shape of modal space itself. (shrink)

Building on the pioneer work of Lycan (1988, 1991a and b, 1994) and Yagisawa (1988), this paper aims to set out in a comprehensive way the case for the view that Lewis' analyses of modality in terms of quantification over worlds and counterparts fail to be genuinely reductive. This involves bringing together elements of the case which have hitherto remained unconnected, motivating some of those elements in new and more decisive ways, and bolstering them by considering a range of objections (...) that have been levelled against them (including recent ones by Stalnaker and Divers). The paper proceeds as follows. Section 1 introduces Lewis' analyses of de dicto and de re modality. Section 2 argues that, as deployed by Lewis, the notion of ‘world’ is modal in nature. This is because the analyses he proposes are extensionally adequate only if he takes ‘world’ to mean possible-as-opposed-to-impossible world. An important response to this charge is simply to deny that there are impossible worlds. Section 3 considers and rejects Lewis' argument for that claim, while section 4 argues that a prima facie case can be made for the claim that Lewis is in fact committed to the existence of impossible worlds. (shrink)

Robert Stalnaker is an actualist who holds that merely possible worlds are uninstantiated properties that might have been instantiated. Stalnaker also holds that there are no metaphysically impossible worlds: uninstantiated properties that couldn't have been instantiated. These views motivate Stalnaker's "two dimensional" account of the necessary a posteriori on which there is no single proposition that is both necessary and a posteriori. For a (metaphysically) necessary proposition is true in all (metaphysically) possible worlds. If there were necessary a posteriori propositions, (...) that would mean that there were propositions true in all possible worlds but which could only be known to be true by acquiring empirical evidence. Consider such a purported proposition P. The role of empirical evidence for establishing P's truth would have to be to rule out worlds in which P is false. If there were no such worlds to be ruled out, we would not require evidence for P. But by hypothesis, P is necessary and so true in all metaphysically possible worlds. And on Stalnaker's view, the metaphysically possible worlds are all the worlds there are. So there can be no proposition that is true in all possible worlds, but that we require evidence to know. In this way, the motivation for Stalnaker's two dimensional account of the necessary a posteriori rests on his denying that there are metaphysically impossible Worlds. I argue that given his view of what possible worlds are, Stalnaker has no principled reason for denying that there are metaphysically impossible worlds. If I am right, this undercuts Stalnaker's motivation for his two dimensional account of the necessary a posteriori. (shrink)

Counterpossibles are counterfactuals with necessarily false antecedents. The problem of counterpossibles is easiest to state within the "nearest possible world" framework for counterfactuals: on this approach, a counterfactual is true (roughly) when the consequent is true in the "nearest" possible world where the antecedent is true. Since counterpossibles have necessarily false antecedents, there is no possible world where the antecedent is true. On the approach favored by Lewis, Stalnaker, Williamson, and others, counterpossibles are all trivially true. I introduce several arguments (...) against the trivial approach. First, it is counter-intuitive to think that all counterpossibles are true. Second, if all counterpossibles were true, then we could not make sense of their use in logical, philosophical, or mathematical arguments. Making sense of the role of sentences like these requires that they not have vacuous truth conditions. The account of counterpossibles I ultimately favor is an extension of the "nearest possible world" semantics discussed above. The Lewis/Stalnaker account is supplemented with the addition of impossible worlds, and the nearness metric is extended to range over these impossible worlds as well as possible worlds. Thus, a counterfactual is true when its consequent is true in the nearest world where the antecedent is true; if the counterfactual's antecedent is impossible, then the nearest world in question will be an impossible world. Once the framework of impossible worlds and similarity is in place, we can put it to use in the analysis of other philosophical phenomena. I examine one proposal that makes use of a theory of counterpossibles to develop an analysis of the notion of metaphysical dependence. (shrink)