Online research in philosophy

There are many parallels between the role of possible worlds in modal logic and that of times in tense logic. But the similarities only go so far, and it is important to note where the two come apart. This paper argues that even though worlds and times play similar roles in the model theories of modal and tense logic, there is no tense analogue of the possible-worlds analysis of modal operators. An important corollary of this result is that presentism cannot be the tense analogue of actualism.

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.

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.

In his 1988 review of On the Plurality of Worlds (Lycan [1988]), William Lycan argued that what he called Lewis's 'mad-dog modal realism' (also 'rape-and-loot modal realism' and 'nuclear-holocaust modal realism' - I suspect that some reference to the supposed extremity of Lewis's position is intended) rested upon an unanalysed modal notion. Lycan accepted that actualists all seemed to be stuck with such unanalysed notions (adding that his own was the notion of compatibility as applied to pairs of properties), but argued that Lewis's notion of worlds was also a modal primitive: 'World' for him has to mean 'possible world', since the very flesh-and-bloodiness [which relieves him of the sort of abstraction indulged in by actualists] prevents him from admitting impossibilia. (Lycan [1988], p.46) Lycan's main concerns in this review go back to his earlier paper 'The Trouble with Possible Worlds' (Lycan [1979]), and are taken up again in his PAS paper: The ruling out of impossible worlds is a serious liability [...] For semantics needs impossible worlds. Though standard modal logics may trade just in possible states of affairs, the semantics of conditionals must deal with inconsistent beliefs. (Lycan [1991], p.224) He goes on to claim that the actualist has no problem with impossible worlds. An impossible world is just - e.g. - a set of propositions (one of which happens to be inconsistent). (loc.cit.) Whatever the truth of this in principle, most actualists have either explicitly or implicitly excluded possible worlds from their theories.* It is true, nevertheless, that Lewis has a clear problem with the very idea of worlds at which logically incompatible propositions are true. Lycan attempts to exploit this as follows.

You and I can differ in what we say, or believe, even though the things we say, or believe, are logically equivalent. Discussing what is said, or believed, requires notions of content which are finer-grained than sets of (metaphysically or logically) possible worlds. In this paper, I develop the approach to fine-grained content in terms of a space of possible and impossible worlds. I give a method for constructing ersatz worlds based on theory of substantial facts. I show how this theory overcomes an objection to actualist constructions of ersatz worlds and argue that it naturally gives rise to useful notions of fine-grained content.

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents.

Lewisian Genuine Realism (GR) about possible worlds is often deemed unable to accommodate impossible worlds and reap the benefits that these bestow to rival theories. This thesis explores two alternative extensions of GR into the terrain of impossible worlds. It is divided in six chapters. Chapter I outlines Lewis’ theory, the motivations for impossible worlds, and the central problem that such worlds present for GR: How can GR even understand the notion of an impossible world, given Lewis’ reductive theoretical framework? Since the desideratum is to incorporate impossible worlds into GR without compromising Lewis’ reductive analysis of modality, Chapter II defends that analysis against (old and new) objections. The rest of the thesis is devoted to incorporating impossible worlds into GR. Chapter III explores GR-friendly impossible worlds in the form of set-theoretic constructions out of genuine possibilia. Then, Chapters IV-VI venture into concrete impossible worlds. Chapter IV addresses Lewis’ objection against such worlds, to the effect that contradictions true at impossible worlds amount to true contradictions tout court. I argue that even if so, the relevant contradictions are only ever about the non-actual, and that Lewis’ argument relies on a premise that cannot be nonquestion- beggingly upheld in the face of genuine impossible worlds in any case. Chapter V proposes that Lewis’ reductive analysis can be preserved, even in the face of genuine impossibilia, if we differentiate the impossible from the possible by means of accessibility relations, understood non-modally in terms of similarity. Finally, Chapter VI counters objections to the effect that there are certain impossibilities, formulated in Lewis’ theoretical language, which genuine impossibilia should, but cannot, represent. I conclude that Genuine Realism is still very much in the running when the discussion turns to impossible worlds.

Accounts of propositions as sets of possible worlds have been criticized for conflating distinct impossible propositions. In response to this problem, some have proposed to introduce impossible worlds to represent distinct impossibilities, endorsing the thesis that impossible worlds must be of the same kind; this has been called the parity thesis. I show that this thesis faces problems, and propose a hybrid account which rejects it: possible worlds are taken as concrete Lewisian worlds, and impossibilities are represented as set-theoretic constructions out of them. This hybrid account (1) distinguishes many intuitively distinct impossible propositions; (2) identifies impossible propositions with extensional constructions; (3) avoids resorting to primitive modality, at least so far as Lewisian modal realism does.

The intuitive notion behind the usual semantics of most systems of modal logic is that of ?possible worlds?. Loosely speaking, an expression is necessary if and only if it holds in all possible worlds; it is possible if and only if it holds in some possible world. Of course, contradictory expressions turn out to hold in no possible worlds, and logically true expressions turn out to hold in every possible world. A method is presented for transforming standard modal systems into systems of modal logic for impossible worlds. To each possible world there corresponds an impossible world such that an expression holds in the impossible world if and only if it does not hold in the possible world. One can then talk about such worlds quite consistently, and there seems to be no logical reason for excluding them from consideration.

The appeal to possible worlds in the semantics of modal logic and the philosophical defense of possible worlds as an essential element of ontology have led philosophers and logicians to introduce other kinds of `worlds' in order to study various philosophical and logical phenomena. The literature contains discussions of `non-normal worlds', `non-classical worlds', `non-standard worlds', and `impossible worlds'. These atypical worlds have been used in the following ways: (1) to interpret unusual modal logics, (2) to distinguish logically equivalent propositions, (3) to solve the problems associated with propositional attitude contexts, intentional contexts, and counterfactuals with impossible antecedents, and (4) to interpret systems of relevant and paraconsistent logic. However, those who have attempted to develop a genuine metaphysical theory of such atypical worlds tend to move too quickly from philosophical characterizations to formal semantics.