A major criticism of David Lewis’ counterfactual theory of causation is that it allows too many things to count as causes, especially since Lewis allows, in addition to events, absences to be causes as well. Peter Menzies has advanced this concern under the title “the problem of profligate causation.” In this paper, I argue that the problem of profligate causation provides resources for exposing a tension between Lewis’ acceptance of absence causation and his modal realism. The result is a different (...) problem of profligate causation—one that attacks the internal consistency of Lewisian metaphysics rather than employing common sense judgments or intuitions that conflict with Lewis’ extensive list of causes. (shrink)

In his "Two Concepts of Possible Worlds" (1986), Peter Van Inwagen explores two kinds of views about the nature of possible worlds: abstractionism and concretism. The latter is the view defended by David Lewis, who claims that possible worlds are concrete spatio-temporal universes, very much like our own, causally and spatio-temporally disconnected from each other. The former is the view of the majority, who claim that possible worlds are some kind of abstract objects – such as propositions, properties, states of (...) affairs or sets of numbers. In this paper, I will develop this view in an "extreme abstractionist" way, appealing to a "modal bundle theory", and I will try to show that it is preferable to the standard abstractionist views. Finally, I will compare this kind of abstractionism to concretism, only to find that the difference between the two is minimal. (shrink)

I start by reconsidering two familiar arguments against modal realism. The argument from epistemology relates to the issue whether we can infer the existence of concrete objects by a priori means. The argument from pragmatics purports to refute the analogy between the indispensability of possible worlds and the indispensability of unobserved entities in physical science and of numbers in mathematics. Then I present two novel objections. One focusses on the obscurity of the notion of isolation required by modal realism. The (...) other stresses the arbitrary nature of the rules governing the behaviour of Lewisean universes. All four objections attack the reductive analysis of modality that is supposed to be the chief merit of modal realism. (shrink)

Is physical reality a single, unified whole – say, a spacetime of four, or ten, or twenty-six dimensions? Or does physical reality divide into parts that are causally and spatiotemporally isolated from one another, so-called “island universes”?1 I doubt we could ever have good reason to answer this question one way or the other. In this paper, I focus instead on a prior question, one more amenable to philosophical analysis: Is the supposition that island universes exist even coherent? Is it (...) metaphysically or logically possible? I will argue that island universes are metaphysically possible, and then consider the substantial impact this has upon realist theories of possible worlds and the realist analysis of modality. (shrink)

The notion of a possible world is familiar from Leibniz’s philosophy, especially the idea – parodied by Voltaire in Candide – that the world we inhabit, the actual world, is the best of all possible worlds. But it was primarily in the latter half of the twentieth century that possible worlds became a mainstay of philosophical theorizing. In areas as diverse as philosophy of language, philosophy of science, epistemology, logic, ethics, and, of course, metaphysics itself, philosophers helped themselves to possible (...) worlds in order to provide analyses of key concepts from their respective domains. David Lewis contributed analyses in all of these fields, most famously, perhaps, his possible worlds analysis of counterfactual conditionals (Lewis 1973). But these analyses invoking possible worlds cry out for a foundation: how is all this talk about possible worlds to be construed? Do possible worlds exist? If so, what is their nature? (shrink)

Open a book or article of contemporary analytic philosophy, and you are likely to find talk of possible worlds therein. This applies not only to analytic metaphysics, but to areas as diverse as philosophy of language, philosophy of science, epistemology, and ethics. Philosophers agree, for the most part, that possible worlds talk is extremely useful for explicating concepts and formulating theories. They disagree, however, over its proper interpretation. In this article, I discuss the view, championed by David Lewis, that philosophers’ (...) talk of possible worlds is the literal truth.1 There exists a plurality of worlds. One of these is our world, the actual world, the physical universe that contains us and all our surroundings. The others are merely possible worlds containing merely possible beings, such as flying pigs and talking donkeys. But the other worlds are no less real or concrete for being merely possible. Fantastic? Yes! What could motivate a philosopher to believe such a tale? (shrink)

Let’s fix some terminology at the start. A world (or possible world – for me, the ‘possible’ is redundant) is, first, an individual, not a set or class; second, a particular, not a property or universal; third, concrete in this sense: it is fully determinate in all qualitative respects; and, fourth, a maximal interrelated whole: each world is internally unified, and isolated from every other world.1 There is at least one world, the world we are part of. It is an (...) actual world, the actual world if there are no “island universes.”2 Worlds that are not actual (if any) are merely possible. A realist about possible worlds believes that there is a plenitudinous plurality of worlds: whenever something is possible – for example, that donkeys talk, or that pigs fly – there is a world in which it is true. (shrink)

According to the modal realist, possible worlds exist, and in terms of them, it’s possibl e to articulate a systematic approach to the theory of mo dality (Lewis 1986). Given, however, that we have..

Some truths are necessary, others could have been false. Why? What is the source of the distinction between the necessary and the contingent? What's so special about the necessary truths that account for their necessity? In this article, we look at some of the most promising accounts of the grounds of necessity: David Lewis' reduction of necessity to truth at all possible worlds; Kit Fine's reduction of necessity to essence; and accounts of necessity that take the distinction between the necessary (...) and the contingent to be a matter of convention. (shrink)

A powerful challenge to some highly influential theories, this book offers a thorough critical exposition of modal realism, the philosophical doctrine that many possible worlds exist of which our own universe is just one. Chihara challenges this claim and offers a new argument for modality without worlds.

I discuss a modification of Lewisian modal realism called ‘inclusionism’. Inclusionism is the thesis that some worlds contain other worlds as proper parts. Inclusionism has some attractive consequences for theories of modality. Josh Parsons, however, has raised a problem for inclusionism: the problem of unmarried husbands. In this paper I reply to this problem. My strategy is twofold: first I claim, pace Parsons, that it is not clear why the inclusionist cannot avail herself of an obvious solution to the problem; (...) and second, I argue that even if there is no available solution, the same problem also afflicts Lewis’ original theory. Therefore, even if the problem remains unsolved, we have not been given any reason to think that an inclusionist version of Lewisian realism is worse than the original. (shrink)

Jim Stone has argued that a multiversal version of Modal Realism together with Counterpart Theory cannot account for a certain intuitive possibility. Roughly, it is the possibility that all free moral choices of a certain sort are the right choices in all cases in the multiverse. The present work offers an explanation of how the metaphysics in question can account for the intuitive possibility in question.

David Lewis’s genuine modal realism is a controversial thesis in modal metaphysics. Charles Chihara and Ross Cameron have each argued that Lewis’s defence of his thesis involves his committing serious methodological errors; in particular, that his replies to two well-known and important objections are question-begging. Scott Shalkowski has further argued that Lewis’s attempt to analyse modal talk in non-modal terms is viciously circular. This paper considers the methodology which Lewis uses to argue for his thesis, and the paper tries to (...) show that it is guilty of no methodological errors. (shrink)

This paper considers two aspects of Lewis's metaphysics to which spatiotemporal relations appear central, with the aim of showing them to be less so. First, Lewis reluctantly characterises what it is for two things to be part of the same possible world in terms of an analogically spatiotemporal category of relations, rather than a wider natural external category. But Lewis's reason for restricting himself to the narrower category is unpersuasive. Second, Humean supervenience is formulated with spatiotemporal relations (...) at its core. But that seems negotiable. A reason for caring about this is that quantum mechanics is supposed to threaten Lewis's metaphysics by introducing natural external relations that are not (even analogically) spatiotemporal, hence the interest in how central spatiotemporal relations really are. (shrink)

According to Lewis's modal realism, all ways the world could be are represented by possible worlds, and all possible worlds represent some way the world could be. That there are just the right possible worlds to represent all and only the ways the world could be is to be guaranteed by the principle of recombination. Lewis sketches the principle (put roughly: anything can co-exist with anything else), but does not spell out a precise version that generates just the right possibilities. (...) David Efird and Tom Stoneham have offered a principle that aims to do just that.In this paper, we argue that Efird's and Stoneham's principle of recombination is not successful – it fails to generate the right possibilities – but we also suggest ways that their account might be improved to solve the problem we raise. We also argue against Efird's and Stoneham's claim that the correct principle of recombination demonstrates the possibility of nothing concrete – it is true that their principle of recombination has models consistent with the existence of an empty world, but we only get the possibility of nothing if mereologically null individuals are possible. The Lewisian should only think mereologically null individuals are possible if he or she has some independent reason for believing in the possibility of an empty world, so the principle of recombination provides no new evidence for that possibility. We draw some morals from this for the correct way to formulate the principle of recombination. (shrink)

It is difficult to wander far in contemporary metaphysics without bumping into talk of possible worlds. And reference to possible worlds is not confined to metaphysics. It can be found in contemporary epistemology and ethics, and has even made its way into linguistics and decision theory. What are those possible worlds, the entities to which theorists in these disciplines all appeal? This paper sets out and evaluates a leading contemporary theory of possible worlds, David Lewis's Modal Realism. I note two (...) competing ambitions for a theory of possible worlds: that it be reductive and user-friendly. I then outline Modal Realism and consider objections to the effect that it cannot satisfy these ambitions. I conclude that there is some reason to believe that Modal Realism is not reductive and overwhelming reason to believe that it is not user-friendly. (shrink)

If a possible-worlds semantic theory for modal logics is pure, then the assertion of the theory, taken at face-value, can bring no commitment to the existence of a plurality of possible worlds (genuine or ersatz). But if we consider an applied theory (an application of the pure theory) in which the elements of the models are required to be possible worlds, then assertion of such a theory, taken at face-value, does appear to bring commitment to the existence of a plurality (...) of possible worlds. Or at least that is so if the applied theory is adequate. For an applied possible-worlds semantic theory that is constrained to contain only one-world models is bound to deliver results on validity, soundness and completeness that are apt to seem disastrous. I attempt to steer a course between commitment to the existence of a plurality of possible worlds and commitment to such a disastrous applied possible-worlds semantics by noting, and developing, the position of one who asserts such a theory at face-value but who remains agnostic about the existence of other (non-actualized) possible worlds. Thus, a novel interpretation of applied possible-worlds semantics is offered on which we may lay claim to whatever benefits such a theory offers while avoiding realism about (other) possible worlds. Thereby, the contention that applied possible-worlds semantics gives us reason to be realists about possible worlds is (further) undermined. (shrink)

The principle of modal ubiquity - that every truth is necessary or contingent - and the validity of possibility introduction, are principles that any modal theory suffers for failing to accommodate. Advanced modal claims are modal claims about entities other than spatiotemporally unified individuals (perhaps, then, spatiotemporally disunified individuals, sets, numbers, properties, propositions and events). I show that genuine modal realism, as it has thus far been explicitly developed, and in so far as it deals with advanced modal claims, cannot (...) accommodate the principles in question. On behalf of the genuine modal realist I motivate and propose a redundancy interpretation of advanced possibility claims and extend that interpretation to the cognate cases of necessity, impossibility and contingency. I then show that the problematic principles as they apply to advanced modal claims can be derived from these interpretations. I show further how the proposed interpretation enables the genuine modal realist to deal with a number of objections that centre on the alleged inadequacy of the genuine modal realist's expressive resources. I conclude that genuine modal realism emerges the stronger for having been shown capable of dealing with advanced modal claims on the basis of no conceptual and ontological resources beyond those it requires to deal with ordinary modal claims. (shrink)

In this reply, we defend our argument for the incompleteness of Genuine Modal Realism against Paseau's criticisms. Paseau claims that isomorphic set of worlds represent the same possibilities, but not only is this implausible, it is inimical to the target of our paper: Lewis's theory of possible worlds. We argue that neither Paseau's model-theoretic results nor his comparison to arithmetic carry over to GMR. We end by distinguishing two notions of incompleteness and urge that, for all that Paseau has said, (...) GMR remains incomplete in the relevant sense. (shrink)

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

This paper investigates the form a modal realist analysis of possibility and necessity should take. It concludes that according to the best version of modal realism, the notion of a world plays no role in the analysis of modal claims. All contingent claims contain some de re element; the effect of modal operators on these elements is described by a counterpart theory which takes the same form whether the de re reference is to a world or to something else. This (...) fully general counterpart theory can validate orthodox modal logic, including the logic of 'actually'. (shrink)

We argue that genuine modal realism can be extended, rather than modified, so as to allow for the possibility of nothing concrete, a possibility we term ‘metaphysical nihilism’. The issue should be important to the genuine modal realist because, not only is metaphysical nihilism itself intuitively plausible, but also it is supported by an argument with pre-theoretically credible premises, namely, the subtraction argument. Given the soundness of the subtraction argument, we show that there are two ways that the genuine modal (...) realist can accommodate metaphysical nihilism: (i) by allowing for worlds containing only spatiotemporal points and (ii) by allowing for a world containing nothing but the null individual. Oon methodological grounds, we argue that the genuine modal realist should reject the former way but embrace the latter way. (shrink)

The gist of these objections to the possible world account of necessity is that, for it to be true, ‘possible’ would have to be a name for an attribute. But to say that something is possible is not to describe it, but to say that there could be such a thing. And possibilities are not classes of entities. Possible worlds have been described as ways, but a way of getting to London from Cambridge is not an entity, and that there (...) is a way is entailed by facts such as that if you travel south along the M3, you will get there. (shrink)

I consider an objection to Lewisian modal realism: the view entails that there are a great many real evils that we ought to care about, but in fact we shouldn’t care about these evils. I reply on behalf of the modal realist – we should and do care about possible evils, and this is shown in our reactions to fictions about evils, which (plausibly, for the modal realist) are understood as making certain possible evils salient.

Against the forces of modal ersatzism Lewis launches a variety of attacks, some of which are clearly compelling, others of which are less so. I argue that pictorial ersatzism cannot clearly be distinguished from magical ersatzism, and--more interestingly--that 'genuine' modal realism is subject to precisely the criticisms so fatal for the magical ersatzers.

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)

If we agree with Michael Jubien that propositions do not exist, while accepting the existence of abstract sets in a realist mathematical ontology, then the combined effect of these ontological commitments has surprising implications for the metaphysics of modal logic, the ontology of logically possible worlds, and the controversy over modal realism versus actualism. Logically possible worlds as maximally consistent proposition sets exist if sets generally exist, but are equivalently expressed as maximally consistent conjunctions of the same propositions in corresponding (...) sets. A conjunction of propositions, even if infinite in extent, is nevertheless itself a proposition. If sets and hence proposition sets exist but propositions do not exist, then whether or not modal realism is true depends on which of two apparently equivalent methods of identifying, representing, or characterizing logically possible worlds we choose to adopt. I consider a number of reactions to the problem, concluding that the best solution may be to reject the conventional model set theoretical concept of logically possible worlds as maximally consistent proposition sets, and distinguishing between the actual world alone as maximally consistent and interpreting all nonactual merely logically possible worlds as submaximal. (shrink)

In this paper, I examine Takashi Yagisawa’s response to van Inwagen’s ontic objection against David Lewis. Van Inwagen criticizes Lewis’s commitment to the absolutely unrestricted sense of ‘there is,’ and Yagisawa claims that by adopting modal tenses he avoids commitment to absolutely unrestricted quantification. I argue that Yagisawa faces a problem parallel to the one Lewis faces. Although Yagisawa officially rejects the absolutely unrestricted sense of a quantifying expression, he is still committed to the absolutely unrestricted sense of ‘is a (...) real.’. (shrink)

When I profess realism about possible worlds, I mean to be taken literally. Possible worlds are what they are, and not some other thing. If asked what sort of thing they are, I cannot give the kind of reply my questioner probably expects: that is, a proposal to reduce possible worlds to something else. I can only ask him to admit that he knows what sort of thing our actual world is, and then explain that possible worlds are more things (...) of that sort, differing not in kind but only in what goes on at them. (shrink)

This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only ...

The views of David Lewis and the Meinongians are both often met with an incredulous stare. This is not by accident. The stunned disbelief that usually accompanies the stare is a natural first reaction to a large ontology. Indeed, Lewis has been explicitly linked with Meinong, a charge that he has taken great pains to deny. However, the issue is not a simple one. "Meinongianism" is a complex set of distinctions and doctrines about existence and predication, in addition to the (...) famously large ontology. While there are clearly non-Meinongian features of Lewis' views, it is our thesis that many of the characteristic elements of Meinongian metaphysics appear in Lewis' theory. Moreover, though Lewis rejects incomplete and inconsistent Meinongian objects, his ontology may exceed that of a Meinongian who doesn't accept his possibilia. Thus, Lewis explains the truth of "there might have been talking donkeys" by appealing to possibilia which are talking donkeys. But the Meinongian need not accept that there exist things which are talking donkeys. Indeed, we show that a Meinongian even need not accept that there are nonexistent things which are talking donkeys! (shrink)

Possibilism—the view that there are non-actual, merely possible entities—is a surprisingly resilient doctrine.1 One particularly hardy strand of possibilism—the modal realism championed by David Lewis—continues to attract both foes who seek to demonstrate its falsity (or at least stare its advocates into apostasy) and friends who hope to defend modal realism (or, when necessary, modify modal realism so as to avoid problematic objections).2 Although I am neither a foe nor friend of modal realism (but some of my best friends are!), (...) like many I continue to be fascinated by the doctrine. (shrink)

In this paper, I formulate, elucidate, and defend a version of modal realism with overlap , the view that objects are literally present at more than one possible world. The version that I defend has several interesting features: (i) it is committed to an ontological distinction between regions of spacetime and material objects; (ii) it is committed to compositional pluralism , which is the doctrine that there is more than one fundamental part-whole relation; and (iii) it is the modal analogue (...) of endurantism , which is the doctrine that objects persist through time by being wholly present at each moment they are located. (shrink)

In this paper, I formulate, elucidate, and defend a version of modal realism with overlap , the view that objects are literally present at more than one possible world. The version that I defend has several interesting features: (i) it is committed to an ontological distinction between regions of spacetime and material objects; (ii) it is committed to compositional pluralism , which is the doctrine that there is more than one fundamental part-whole relation; and (iii) it is the modal analogue (...) of endurantism , which is the doctrine that objects persist through time by being wholly present at each moment they are located. (shrink)

(DRAFT) It is commonplace that belief in possible worlds not only burdens one with a large ontology, but with metaphysical problems about their existence and identity conditions and epistemological problems about justifying belief in them. In this paper, we challenge these commonplaces, and show that belief in possible worlds doesn’t burden necessarily one with large ontology, nor with the mentioned metaphysical and epistemological problems. We argue specifically for the claim that the most fundamental existence principle of world theory is not (...) only true in small models, but is derivable from analytically true principles. If this is true, it puts the lie to the commonplace view that a commitment to possible worlds entails a commitment to a large ontology. Moreover, the particular theory we use to support our claims precisely addresses the metaphysical problems about the existence and identity of worlds and offers a solution of the epistemological problem of justifying our belief in worlds. (shrink)

This paper discusses the principle of recombination for possible worlds. It argues that arguments against unrestricted recombination offered by Forrest and Armstrong and by David Lewis fail, but a related argument is a challenge, and recommends that we accept an unrestricted principle of recombination and the conclusion that possible worlds form a proper class.

Here I first raise an argument purporting to show that Lewis’ Modal Realism ends up being completely trivial. But although I reject this line, the argument reveals how difficult it is to interpret Lewis’ thesis that possibilia “exist.” Four natural interpretations are considered, yet upon reflection, none appear entirely adequate. In particular, under the three different “concretist” interpretations of ‘exist’, Modal Realism looks insufficient for genuine ontological commitment. Whereas under the “multiverse” interpretation, Modal Realism ends up being incompatible with each (...) of axioms S5 and B. I close by entertaining a more general problem from which the present interpretive issues seem to arise. -/- . (shrink)

I discuss a problem for modal realism raised by John Divers and others. I argue that the problem is real enough but that Divers’ “advanced modalising” solution is inadquate. The problem can only be solved by 1) holding that modal realism is only contingently true, 2) embracing a kind of Meinongianism about ontological commitment, or 3) abandoning the project of “analysing modality”.

This paper discusses “inclusionism” in the context of David Lewis’s modal realism (and in the context of parasitic accounts of modality such as John Divers’s agnosticism about possible worlds). This is the doctrine that everything is a world. I argue that this doctrine would be beneficial to Divers-style agnosticism; that it suggests a reconfiguration of the concept of actuality in modal realism; and finally that it suffers from an as-yet unsolved difficulty, the problem of the unmarried husbands. This problem also (...) shows that Stephen Yablo’s analysis of “intrinsic” is inadequate. (shrink)

John Divers and Joseph Melia have argued that Lewis's modal realism is extensionally inadequate. This paper explains why their argument does not succeed.

This thesis examines the alethic modal concepts of possibility and necessity. It is argued that one cannot do justice to all our modal talk without possible worlds, i.e., complete ways that a cosmos might have been. I argue that not all of the proposed applications of possible worlds succeed but enough remain to give one good theoretical reason to posit them. The two central problems now are: (1) What feature of reality makes correct alethic modal claims true and (2) What (...) are possible worlds? (shrink)

According to David Lewis's extreme modal realism, every waythat a world could be is a way that some concretely existingphysical world really is. But if the worlds are physicalentities, then there should be a set of all worlds, whereasI show that in fact the collection of all possible worlds is nota set. The latter conclusion remains true even outside of theLewisian framework.

In this paper I argue that Modal Realism, the thesis that there exist non-actual possible individuals and worlds, can be made compatible with Metaphysical Nihilism, the thesis that it is possible that nothing concrete exists. Modal Realism as developed by Lewis rules out the possibility of a world where nothing concrete exists and so conflicts with Metaphysical Nihilism. In the paper I argue that Modal Realism can be modified so as to be compatible with Metaphysical Nihilism. Such a modification makes (...) Modal Realism neither incur further theoretical costs nor lose its theoretical benefits. Thus such a modification constitutes an improvement of Modal Realism. (shrink)

The possibility of Junk is the possibility that something exists and everything is a proper part. Just as we might imagine that there are no simples—that everything has a proper part, all the way down—we might imagine that there are no caps—that everything is a proper part, all the way up. It is not obvious that this apparent possibility can be accommodated within a Lewisian modal framework. For Lewis, every possibility involves the existence of a possible world, and a possible (...) world is just is a maximal sum, and so a cap. But the Lewisian can accommodate Junk, if she wishes, by allowing parts of possible worlds to represent complete possibilities. (shrink)

Following Lewis, it is widely held that branching worlds differ in important ways from diverging worlds. There is, however, a simple and natural semantics under which ordinary sentences uttered in branching worlds have much the same truth values as they conventionally have in diverging worlds. Under this semantics, whether branching or diverging, speakers cannot say in advance which branch or world is theirs. They are uncertain as to the outcome. This same semantics ensures the truth of utterances typically made about (...) quantum mechanical contingencies, including statements of uncertainty, if the Everett interpretation of quantum mechanics is true. The 'incoherence problem' of the Everett interpretation, that it can give no meaning to the notion of uncertainty, is thereby solved. (shrink)

A reply to a comment by Paul Tappenden (BJPS 59 (2008) pp. 307-314) on S. Saunders and D. Wallace, "Branching and Uncertainty" (BJPS 59 (2008) pp. 298-306).

This paper examines the relationship between the classical theistic conception of God and modal realism. I suggest that realism about possible worlds has unwelcome consequences for that conception. First, that modal realism entails the necessity of divine existence eludes explanation in a way congenial to a commitment to both modal realism and classical theism. Second, divine knowledge is dependent on worlds independent of the creative role and action of God, thereby suggesting a limitation on the nature of divine knowledge and (...) on the nature of God's creative role. Third, modal realism indicates the existence of real, albeit non-actual, worlds of appalling evil threatening the classical conception of divine omnipotence and benevolence. (Published Online July 10 2006). (shrink)

Possible worlds present a formidable challenge for the lover of desert landscapes. One cannot ignore their usefulness; they provide, as David Lewis puts it, “a philosophers’ paradise”.1 But to enter paradise possibilia must be fit into a believable ontology. Some follow Lewis and accept worlds at face value, but most prefer some other choice from the current menu. Part of Chihara’s book is a critical discussion of some of these menu options: Lewis’s modal realism, Alvin Plantinga’s abstract modal realism, (...) Graeme Forbes’s anti-realism and Gideon Rosen’s modal fictionalism. These discussions are very detailed and conversant with the literature. The discussions of Forbes (pp. 142-167) and of paradox within Plantinga’s system (pp. 120-141) are particularly enlightening. The rest of the book is devoted to Chihara’s positive project: developing an account of the status of model theory for non-modal logic, and then applying it to the modal case. The prize is an understanding of possible worlds semantics that requires no commitment to possible worlds at all (beyond the purely formal “possible worlds” of the standard Kripke-models.) What does the relativized notion of truth in an interpretation studied in (non-modal) model theory have to do with plain old truth? Chihara’s answer involves “connecting theorems” that relate truth-in to truth (chapter 5). A “natural-language proto-interpretation of the sentential calculus” (NLPI of SC) is a function that assigns meanings of declarative sentences of English to sentence letters. Where I is an NLPI of SC and φ is a sentence letter, Chihara uses ‘[φ/I ]’ to refer to “φ with the meaning it has been assigned by I ” (p. 191); where φ is not atomic, he says (p. 192). (shrink)

I argue that if David Lewis’ modal realism is true, modal realists from different possible worlds can fall in love with each other. I offer a method for uniquely picking out possible people who are in love with us and not with our counterparts. Impossible lovers and trans-world love letters are considered. Anticipating objections, I argue that we can stand in the right kinds of relations to merely possible people to be in love with them and that ending a trans-world (...) relationship to start a relationship with an actual person isn't cruel to one's otherworldly lover. (shrink)

(No abstract is available for this citation).

Gideon Rosen proposes a view called "modal fictionalism" which Rosen thinks has all the benefits of modal realism without its ontological costs. Whereas modal realists have a paraphrase r(0) of a modal claim "0", modal fictionalists claim that the correct translation of "0" is rather the result of prefixing "according to the hypothesis of a plurality of worlds" to r(0). Rosen takes the prefix to be primitive and defines other modal notions in terms of it. Bob Hale, however, thinks the (...) fictionalist's project suffers from a "simple" dilemma. The purpose of this paper is to show that Rosen is right in taking the prefix as primitive and Hale is wrong in thinking fictionalism as being threatened by the dilemma. (shrink)

(No abstract is available for this citation).

Deep theorizing about possibility requires theorizing about possible objects. One popular approach regards the notion of a possible object as intertwined with the notion of a possible world. There are two widely discussed types of theory concerning the nature of possible worlds: actualist representationism and possibilist realism. They support two opposing views about possible objects. Examination of the ways in which they do so reveals difficulties on both sides. There is another popular approach, which has been influenced by the philosophy (...) of Alexius Meinong. The Meinongian approach is relevant to theorizing about possible objects because it attempts to construct a general theory of objects other than ordinary concrete existing objects. Independently of the debate about the nature of possible worlds or about Meinongianism, it is not always as straightforward as it may at first appear to determine whether putative possible objects are indeed possible. Another category of object similar to that of a possible object is the category of a fictional object. Although initially attractive, the idea that fictional objects are possible objects should not be accepted blindly. An important instance of theoretical usefulness of possible objects is their central role in the validation of two controversial theorems of a simple quantified modal logic. (shrink)

Modal realism -- Time, space, world -- Existence -- Actuality -- Modal realism and modal tense -- Transworld individuals and their identity -- Existensionalism -- Impossibility -- Proposition and relief -- Fictional worlds -- Epistemology.

Modal realists should fashion their theory by postulating and taking seriously the modal equivalent of tense, or modal tense. This will give them a uniform way to respond to five different objections, one each by Skyrms, Quine, and Peacocke, and two by van Inwagen, and suggest a non-Lewisian path to modal realism.

Modal Dimensionalism is a metaphysical theory about possible worlds that is naturally suggested by the often-noted parallelism between modal logic and tense logic. It says that the universe spreads out not only in spatiotemporal dimensions but also in a modal dimension. It regards worlds as nothing more or less than indices in the modal dimension in the way analogous to the way in which Temporal Dimensionalism regards temporal points and intervals as indices in the temporal dimension. Despite its naturalness and (...) intuitive appeal. Modal Dimensionalism has been largely ignored while the debates between David Lewis and his critics have dominated the discourse on the nature of possible worlds. It is high time that we took Modal Dimensionalism seriously as a viable alternative. (shrink)

Those who object to David Lewis' modal realism express qualms about philosophical respectability of the Lewisian notion of a possible world and its correlate notion of an inhabitant of a possible world. The resulting impression is that these two notions either stand together or fall together. I argue that the Lewisian notion of a possible world is otiose even for a good Lewisian modal realist, and that one can carry out a good Lewisian semantics for modal discourse without Lewisian possible (...) worls. I do so by generalizing Lewis' own idea that restrictions on quantification come and go with the pragmatic wind and relativizing possible worlds as shifting domains of discourse. I then suggest a way to soften the infamous incredulous stare. (shrink)