In On the Plurality of Worlds (Lewis 1986), David Lewis imposes a condition on realist theories of modality which he calls ‘plenitude’. Lewis apparently assigns this condition considerable importance, and uses it to motivate his Humean principle of recombination, but he never says exactly what plenitude amounts to. This chapter first sets aside some obvious ways of reconstructing the plenitude criterion which do not fit with the textual evidence. An objection to modal realism due to John Divers and Joseph Melia (...) (Divers and Melia 2002) is diagnosed as equivocating between an overly-demanding plenitude constraint and a weaker constraint which fails to establish their conclusion. An alternative deflationary interpretation of the plenitude condition has it following from an application of standard theoretical virtues to a modal realist’s total theory; Lewis’ correspondence provides new evidence in support of this interpretation. The deflationary plenitude criterion also has broader application, beyond Lewisian modal realism. (shrink)

Many are reluctant to accept primitive modality into their fundamental picture of the world. The worry often traces to this thought: we shouldn't adopt any more primitive - that is, unexplained - notions than we need in order to explain all the features of the world, and primitive modal notions are not needed. I examine one prominent rival to modal primitivism, combinatorialism, and show that in order to account for all the modal features of the world the combinatorialist must adopt (...) two additional primitive notions. My own modal primitivist view takes as primitive the notion of incompatibility between properties or relations. I show how the non-modal notions that the combinatorialist must adopt as primitive may be analyzed using my notion. The upshot is that with respect to the number of primitive notions, my modal primitivist theory comes out ahead. (shrink)

In this paper, I defend modal dimensionalism against the objection that it is ontologically and ideologically heavy. First, I briefly outline the theory and the objection against it. The objection relies on the widely accepted view that ontological and ideological parsimony are operational criteria when comparing metaphysical theories. Second, I outline the conventional distinction between ontology and ideology in the metaphysical tradition. Third, I challenge a particular kind of parsimony: reduction by identification. Fourth, even if reduction by identification is accepted, (...) I show that theories that pursue this often minimize differences, and that such minimization paves the way to epistemic underdetermination. Finally, I demonstrate that some theories in modal metaphysics also suffer from difference minimization and should thus not be measured on the ontology/ideology scale. (shrink)

This paper proposes a new reductive theory of modality, called the moodless theory of modality. This theory, and not modal realism, is the closest modal analogue of the tenseless theory of time. So, if the tenseless theory is true, and the temporality–modality analogy is good, it is the moodless theory that follows. I also argue that the moodless theory, considered on its own, is better than modal realism: arguments often thought to be decisive against modal realism are weak against it.

This paper develops a moodless theory of modality, intended to be as closely analogous to the tenseless theory of time as possible. It is argued that the new theory is distinct from David Lewis' modal realism and that it solves certain problems better than modal realism does, namely, the problem of advanced modalizing, the problem of necessitism, and the problem of conflict with common opinion.

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in terms of Fine's (...) logic of essence, and in terms of the theory of real definitions. I will conclude that the present evidence favours rejecting the hypothesis that modality is explainable by essence. (shrink)

A basic way of evaluating metaphysical theories is to ask whether they give satisfying answers to the questions they set out to resolve. I propose an account of “third-order” virtue that tells us what it takes for certain kinds of metaphysical theories to do so. We should think of these theories as recipes. I identify three good-making features of recipes and show that they translate to third-order theoretical virtues. I apply the view to two theories—mereological universalism and plenitudinous platonism—and draw (...) out their third-order virtues and vices. One lesson is that there is an important difference between essentially and non-essentially third-order vicious theories. I also argue that if a theory is essentially third-order vicious, it cannot be assessed for more standard “second-order” theoretical virtues and vices, like parsimony. This motivates the idea that third-order virtues are distinct from second-order ones. Finally, I suggest that the relationship between truth, progress, and third-order virtue is more complex than it seems. (shrink)

Modal realism is an ontological position made familiar by David Lewis, according to which there exist possible worlds other than the actual world that we inhabit. It is hard to uphold modal realism, and indeed modal realism has only a few advocates. However, as most contemporary metaphysicians agree, this does not mean that it is easy to refute modal realism. In this paper, I argue against modal realism from a metaontological point of view. First, I provide a precise formulation of (...) modal realism based on Lewis’ discussion of modal realism. Second, I argue that modal realism is undermined unless it incorporates a view of metaontology known as ontological realism. Third, I point out that if modal realism incorporates ontological realism, it comes into conflict with its own formulation. (shrink)

The view that ordinary objects are composites of form and matter ("hylomorphism") can be contrasted with the more common view that ordinary objects are composed of only material parts ("matter only"). On a matter-only view the hard question is modal: which modal profile does that (statue-shaped) object have? Does it have the modal profile of a statue, a lump, a mere aggregate? On a hylomorphic view the hard question is ontological: which objects exist? Does a statue (matter-m + statue-form), a (...) lump (matter-m + lump-form), and/or a mere aggregate (matter-m + mere aggregate-form) exist? I defend a novel answer to the hard question for hylomorphism. In particular, I argue that which ordinary objects exist depends, in part, on how subjects respond to the matter they encounter. I argue that, with regard to grounding the existence and modal properties of ordinary objects, response-dependent hylomorphism is superior to both matter only views and to non-response-dependent versions of hylomorphism. (shrink)

In this paper, I develop a novel account of ideological kinds. I first present some conceptual territory regarding the use of Occam’s Razor in minimizing ontological commitments. I then present the analogous device for minimizing ideological commitments, what I call the Comb. I argue that metaphysicians ought to use both or none at all. This means that those who endorse a principle of ontological parsimony ought to also endorse some principle of ideological parsimony, where we ought to prefer the metaphysical (...) theory that employs less ideology. In support of one such principle, I propose a novel account of ideological kinds. I individuate ideological kinds based on the satisfaction of two conditions: interdefinability and sameness of syntactic category. Ultimately, I think this account is the best available. It does, however, produce surprising results. For instance, my account shows that quantifier pluralism is ideologically parsimonious. I end by replying to some objections. (shrink)

Metaphysicians now typically distinguish between a theory’s ontology and its ideology. But besides a few cursory efforts, no one has explained the role of ideology in theory choice. In this paper I develop a framework for discussing how differing approaches to ideology impact metaphysical disputes. I first provide an initial characterization of ideology and develop two contrasting types of criteria used to evaluate its quality. In using externalist criteria, we judge the quality of a theory’s ideology by its relation to (...) external features of the world. In contrast, in using internalist criteria, we judge the quality of a theory’s ideology by features internal to the theory and the theorizer, e.g. the intelligibility of the terminology employed. I then argue for an unrestricted application of externalist criteria, what I call maximal realism. According to maximal realism, we ought to apply externalist criteria to the entirety of a theory’s ideology—to not only predicates but also to quantifiers and logical operators. I defend maximal realism from what I take to be the best objection to it: that the view leads to bad questions. As part of my defense, I argue that those who would restrict their application of externalist criteria either adopt an unjustified partition of ideology or reject seemingly benign questions. Finally, I apply my discussion of ideology to two extant metaphysical disputes. (shrink)

Many metaphysicians utilize the virtue‐driven methodology. According to this methodology, one theory is more worthy of endorsement than another insofar as it is more virtuous. In this paper, I show how a theory's overall virtue is shaped by its ideological parsimony – parsimony with respect to the terminology employed in stating the theory. I distinguish between a theory's truth and its fidelity (‘joint‐carvingness’) and the corresponding epistemic and fidelic virtues. I argue that ideological parsimony is not an epistemic virtue but (...) is a fidelic virtue. Insofar as metaphysicians value fidelity, then, ideological parsimony has an important role in theory choice. (shrink)

In section 1 I motivate and execute the presentation of a well-defined Lewisian conception of analysis and of what it would be to analyse modality successfully. That conception is then put to two applications. In section 2 various inadequacies are exposed in a (recently popular) separatist approach to the understanding and/or evaluation of Lewis's analysis of modality. Section 3 provides a defence against a resilient argument for the claim that Lewis's analysis of modality cannot be fully reductive while also dealing (...) adequately with alien possibility. (shrink)

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. (shrink)

Mereological nihilism is the thesis that composite objects—objects with proper parts—do not exist. Nihilists generally paraphrase talk of composite objects F into talk of there being “xs arranged F-wise” . Recently several philosophers have argued that nihilism is defective insofar as nihilists are either unable to say what they mean by such phrases as “there are xs arranged F-wise,” or that nihilists are unable to employ such phrases without incurring significant costs, perhaps even undermining one of the chief motivations for (...) nihilism. In this paper I defend nihilism against these objections. A key theme of the paper is this: if nihilists need to employ such phrases as “there are xs arranged F-wise,” non-nihilists will need to do so as well. Accordingly, any costs incurred by the nihilist when she employs such phrases will be shared by everyone else. What’s more, such phrases are intelligible when employed by the nihilist, as well as when they are employed by the non-nihilist, insofar as analyses of such phrases will not essentially involve mereological concepts incompatible with nihilism. (shrink)

Mereological nihilism is the thesis that composition never occurs. Sider has defended nihilism on the basis of its relative ideological simplicity. In this paper I develop the argument from ideological simplicity, and defend it from some recent objections. Along the way I discuss the best way to formulate nihilism, what it means for a theory to exhibit lesser or greater degrees of ideological simplicity, the relationship between the parthood relation and the identity relation, and the notion that we should judge (...) the ideological simplicity of competing theories on the basis of the kinds of ideological commitments required by those theories. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics (...) --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

According to modal realism formulated by David Lewis, there exist concrete possible worlds. As he argues the hypothesis is serviceable and that is a sufficient reason to think it is true. On the other side, Lewis does not consider the pragmatic reasons to be conclusive. He admits that the theoretical benefits of modal realism can be illusory or that the acceptance of controversial ontology for the sake of theoretical benefits might be misguided in the first place. In the first part (...) of the paper, I consider the worry and conclude that although the worry is justified, there can be an epistemological justification for his theory. Next, I outline the so-called indispensability argument for the legitimacy of mathematical Platonism. Finally, I argue that the argument, if accepted, can be applied to metaphysics in general, to the arguing for the existence of concrete (im)possibilia in particular. (shrink)

The paper deals with such a modification of genuine modal realism as to accommodate impossible worlds into its ontology. First of all, the theory of modal realism is presented. Next, several motivations for the acceptance of impossible worlds are adduced. Further, Lewis’s argument against impossible worlds is presented. It is argued that the argument can be weakened by rejection of one of its premises. Finally, two objections against the proposal are countered. Although my strategy accounts for the Opinion concerning the (...) impossible, it allegedly violates another Opinion which conceives the reality classical. It seems, however, that there is no no-question-begging reason to think that reality is classical. How can we know, after all, which logic describes reality? Without a definite answer to the question, the incredibility objection then simply collapses into a statement of a possibilist dogma. (shrink)