The role of possible worlds in philosophy is hard to overestimate. Nevertheless, their nature and existence is very controversial. This is particularly serious, since their standard applications depend on there being sufficiently many of them. The paper develops an account of possible worlds on which it is particularly easy to believe in their existence: an account of possible worlds as pleonastic entities. Pleonastic entities are entities whose existence can be validly inferred from statements that neither refer to (...) nor quantify over them as a matter of conceptual necessity. Definitions are proposed that ensure that this is the case for possible worlds. (shrink)

This article includes a basic overview of possible world semantics and a relatively comprehensive overview of three central philosophical conceptions of possible worlds: Concretism (represented chiefly by Lewis), Abstractionism (represented chiefly by Plantinga), and Combinatorialism (represented chiefly by Armstrong).

David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of (...) metaphysical anti-haecceitism: it says there aren't any genuine facts about individuals over and above their qualitative roles. (shrink)

_Possible Worlds_ presents the first up-to-date and comprehensive examination of one of the most important topics in metaphysics. John Divers considers the prevalent philosophical positions, including realism, antirealism and the work of important writers on possible worlds such as David Lewis, evaluating them in detail.

In this chapter, I survey what I call Lewisian approaches to modality: approaches that analyze modality in terms of concrete possible worlds and their parts. I take the following four theses to be characteristic of Lewisian approaches to modality. (1) There is no primitive modality. (2) There exists a plurality of concrete possible worlds. (3) Actuality is an indexical concept. (4) Modality de re is to be analyzed in terms of counterparts, not transworld identity. After an introductory section (...) in which I motivate analyzing modality in terms of possible worlds, I devote one section to each of these four theses. For each thesis, I take Lewis’s interpretation and defense as my starting point. I then consider and endorse alternative ways of accepting the thesis, some of which disagree substantially with Lewis’s interpretation or defense. There is more than one way to be a Lewisian about modality. (shrink)

Most compatibilists have sought to defend their view by means of an analysis of the concept of ‘can’ in terms of subjunctive conditionals. Keith Lehrer opposes this analysis; he nevertheless embraces compatibilism. In a recent paper he has proposed a novel analysis of the concept of ‘can’ within the framework of possible-world semantics. The paper has provoked considerable discussion. In it Lehrer claims that he demonstrates the truth of compatibilism. Others have claimed that this is not so, but (...) at least one commentator has asserted that Lehrer's analysis strongly supports compatibilism. In this section I shall give a brief exposition of relevant portions of Lehrer's account of ‘can’ and then in the next section I shall seek to show that it fails to render compatibilism any more plausible than incompatibilism. Indeed, I shall seek to show that, if one of Lehrer's primitive concepts is understood as it seems it should be understood, then there would seem to be good reason to believe that his analysis supports not compatibilism but incompatibilism. (shrink)

The most commonly heard proposals for reducing possible worlds to language succumb to a simple cardinality argument: it can be shown that there are more possible worlds than there are linguistic entities provided by the proposal. In this paper, I show how the standard proposals can be generalized in a natural way so as to make better use of the resources available to them, and thereby circumvent the cardinality argument. Once it is seen just what the limitations are (...) on these more general proposals, it can be clearly seen where the real difficulty lies with any attempt to reduce possible worlds to language. Roughly, the difficulty is this: no actual language could have the descriptive resources needed to represent all the ways things might have been. I conclude by arguing that this same difficulty spells doom for any nominalist or conceptualist proposal for reducing possible worlds. (shrink)

The canonical version of possible worlds semantics for story prefixes is due to David Lewis. This paper reassesses Lewis's theory and draws attention to some novel problems for his account.

The main objective of the paper is to give initial answers to three important questions. Why did Leibniz visit Spinoza? Why did his preparation for this meeting include a modification of the ontological proof of God? What is the philosophical result of the meeting and what do possible worlds have to do with it? In order to provide answers, three closely related manuscripts by Leibniz from November 1676 have been compared and the slow conceptual change of his philosophical apparatus (...) has been analyzed. The last of these manuscripts was presented and read in front of Spinoza. Around that time Leibniz abandoned the idea of plurality of worlds (cf. Tschirnhaus) and instead proposed the idea of possible worlds, thus introducing possibility into the (onto/theo)logical structure itself in order to avoid the “precipice” of Spinoza’s necessity. What is interesting, however, is how exactly this conceptual change occurred at the end of 1676 and what its philosophical and methodological implications are. (shrink)

The issue of reduction of propositions to sets of possible worlds is addressed. It is shown that, under some natural assumptions, there always exist recursive propositions, i.e. decidable sets of possible worlds, which are not assigned to any sentence of a language. Some consequences of this result are discussed.

The paper is a brief survey of the most important semantic constructions founded on the concept of possible world. It is impossible to capture in one short paper the whole variety of the problems connected with manifold applications of possible worlds. Hence, after a brief explanation of some philosophical matters I take a look at possible worlds from rather technical standpoint of logic and focus on the applications in formal semantics. In particular, I would like to (...) focus on the fruitful marriage of possible world semantics and algebra and its evolution leading to very general construction of Wójcicki called referential semantics and some of its refinements. The presentation is informal and sketchy; the main purpose is to put in one place a short, and readable I hope, description of the most important constructions and to point out the main sources of these solutions. (shrink)

This chapter provides an introduction to possible worlds semantics in both logic and the philosophy of language, including a discussion of some of the advantages and challenges for possible worlds semantics.

Among the most remarkable developments in metaphysics since the 1950’s is the explosion of philosophical interest in possible worlds. This paper proposes an explanation of what possible worlds are, and argues that this proposal, the interpreted models conception, should be attractive to anyone who thinks that modal facts are primitive, and so not to be explained in terms of some non-modal notion of “possible world.” I articulate three constraints on any acceptable primitivist explanation of the nature (...) of possible worlds, and show that the interpreted models conception meets the three constraints. (shrink)

If □ is conceived as an operator, i.e., an expression that gives applied to a formula another formula, the expressive power of the language is severely restricted when compared to a language where □ is conceived as a predicate, i.e., an expression that yields a formula if it is applied to a term. This consideration favours the predicate approach. The predicate view, however, is threatened mainly by two problems: Some obvious predicate systems are inconsistent, and possible-worlds semantics for predicates (...) of sentences has not been developed very far. By introducing possible-worlds semantics for the language of arithmetic plus the unary predicate □, we tackle both problems. Given a frame (W, R) consisting of a set W of worlds and a binary relation R on W, we investigate whether we can interpret □ at every world in such a way that □ $\ulcorner A \ulcorner$ holds at a world ᵆ ∊ W if and only if A holds at every world $\upsilon$ ∊ W such that ᵆR $\upsilon$ . The arithmetical vocabulary is interpreted by the standard model at every world. Several 'paradoxes' (like Montague's Theorem, Gödel's Second Incompleteness Theorem, McGee's Theorem on the ω-inconsistency of certain truth theories, etc.) show that many frames, e.g., reflexive frames, do not allow for such an interpretation. We present sufficient and necessary conditions for the existence of a suitable interpretation of □ at any world. Sound and complete semi-formal systems, corresponding to the modal systems K and K4, for the class of all possible-worlds models for predicates and all transitive possible-worlds models are presented. We apply our account also to nonstandard models of arithmetic and other languages than the language of arithmetic. (shrink)

Providing a possible worlds semantics for a logic involves choosing a class of possible worlds models, and setting up a truth definition connecting formulas of the logic with statements about these models. This scheme is so flexible that a danger arises: perhaps, any logic whatsoever can be modelled in this way. Thus, the enterprise would lose its essential 'tension'. Fortunately, it may be shown that the so-called 'incompleteness-examples' from modal logic resist possible worlds modelling, even in the (...) above wider sense. More systematically, we investigate the interplay of truth definitions and model conditions, proving a preservation theorem characterizing those types of truth definition which generate the minimal modal logic. (shrink)

In this paper, a novel experimental task is developed for testing the highly influential, but experimentally underexplored, possible worlds account of conditionals (Stalnaker, 1968; Lewis, 1973). In Experiment 1, this new task is used to test both indicative and subjunctive conditionals. For indicative conditionals, five competing truth tables are compared, including the previously untested, multi-dimensional possible worlds semantics of Bradley (2012). In Experiment 2, these results are replicated and it is shown that they cannot be accounted for by (...) an alternative hypothesis proposed by our reviewers. In Experiment 3, individual variation in truth assignments of indicative conditionals is investigated via Bayesian mixture models that classify participants as following one of several competing models. As a novelty of this study, it is found that a possible worlds semantics of Lewis and Stalnaker is capable of accounting for participants’ aggregate truth value assignments in this task. Applied to indicative conditionals, we show across three experiments, that the theory both captures participants’ truth values at the aggregate level (Experiments 1 and 2) and that it makes up the largest subgroup in the analysis of individual variation in our experimental paradigm (Experiment 3). (shrink)

When we watch movies, or are tricked by a trompe-l'oeil painting, we seem to be visually representing possible worlds; often non-actual possible worlds. This suggests that we really can visually represent possible worlds. The suggested claim is refined and developed here into a theory of visual experience that holds that all visual experiences, both veridical and non-veridical, represent possible worlds, many of which are non-actual.

In this paper I explore the relationship between the idea of possible worlds and the notion of the beauty of God. I argue that there is a clear contradiction between the idea that God is utterly and completely beautiful on the one hand and the notion that He contains within himself all possible worlds on the other. Since some of the possible worlds residing in the mind of the deity are ugly, their presence seems to compromise God's (...) complete and utter beauty. (shrink)

Possible world semantics considers not only what an expression actually refers to but also what it might have referred to in counterfactual circumstances. This has proven exceptionally useful both inside and outside philosophy. The way this is achieved is by using intensions. An intension of an expression is a function that assigns to each possible world the reference of the expression in that world. However, the specific intension of terms has been subject to frequent disputes. (...) How is one to determine the intension of a term? Carnap has shown how the intension of a term depends on the type of that term. Two-dimensional semantics has shown how intensions also depend on the actual state of affairs. I will show how, in addition, intensions are no less dependent on metaphysical criteria of identity. Furthermore, I will reveal how these three factors interact to fix the exact intension of a term. In other words, I propose an outline of the overall mechanism by which intensions are being fixed. (shrink)

Well‐known arguments for atheism have been grounded on the alleged lack of morally justifying reasons to permit particular moral and natural evils and on the thesis that God would have to create the best possible world. After discussing obstacles to the suggestion that there is a best of all possible worlds, I examine the prospects for responding to these atheistic arguments by exploring the case for our own world's being the best of all possible worlds (...) against the backdrop of the multiverse hypothesis – an intriguing claim about the partitioned structure of reality that has been receiving serious and recent attention in philosophy and physics. (shrink)

Saul Kripke did more than anyone else to bring possible worlds into the contemporary philosophical discourse, first with his more formal work on the model theory for modal logic in the 1960s, and then with his more philosophical lectures on reference and modality, delivered in January 1970, that used the possible worlds apparatus informally to clarify the relations between semantic issues about names and metaphysical issues about individuals and kinds. Possible worlds semantics have been widely applied since (...) then, both in philosophy and in other fields such as linguistic semantics and pragmatics, theoretical computer science, and game theory. Kripke’s work, along with that of David Lewis, stimulated an ongoing debate about the nature and metaphysical status of possible worlds. Kripke himself has had little to say about the issues raised in this debate, in print, beyond what he said in Naming and Necessity and in brief remarks in a preface to a later edition of the lectures, published in 1980. But there is a clear view of the nature of possible worlds, and of the status of an explanation of modality in terms of possible worlds, implicit in the lectures and the preface. -/- The central focus of the post–Naming and Necessity debate about possible worlds has been a contrast between David Lewis’s modal realism and various versions of actualism. On this general issue, it is clear enough where Kripke stands: His criticisms of what he describes as the “other countries” picture of possible worlds are an explicit rejection of Lewis’s realism about possible worlds. But the rejection of modal realism raises a range of further questions: What exactly are possible worlds (or possible states of the world, which Kripke suggests would be less misleading terminology)? What contribution do they make to the explanation of modal discourse, and of the distinctive facts that modal discourse is used to state? Does the slogan “necessity is truth in all possible worlds” provide, or point to, a reductive analysis of necessity? Are possible worlds, in some sense, prior to modal operators and modal auxiliaries? If not, in what sense are they explanatory? How are possible worlds, or counterfactual situations, specified? How do they contribute to our understanding of specific meta- physical questions about the relations between particular individuals and their qualitative characteristics, the kinds to which they belong, and the matter of which they are constituted? How are we to understand the possible existence of individuals that do not actually exist? What is the status of the domains of individuals in merely possible worlds? -/- My aim in this chapter is to spell out the views about some of these foundational questions that are expressed or at least implicit in Kripke’s lectures. In Section 2, I discuss the general contrast between modal realism and actualism and questions about the kind of explanation that possible worlds provide for modal discourse and modal facts. In Section 3, I look at Kripke’s views about how possible worlds are specified, in particular at the role of individuals in specifying possible worlds. In Section 4, I consider the problems about merely possible individuals. (shrink)

The role of possible worlds in philosophy is hard to overestimate. Nevertheless, their nature and existence is very controversial. This is particularly serious, since their standard applications depend on there being sufficiently many of them. The paper develops an account of possible worlds on which it is particularly easy to believe in their existence: an account of possible worlds as pleonastic entities. Pleonastic entities are entities whose existence can be validly inferred from statements that neither refer to (...) nor quantify over them as a matter of conceptual necessity. Definitions are proposed that ensure that this is the case for possible worlds. (shrink)

In the logic of theory change, the standard model is AGM, proposed by Alchourrón et al. (J Symb Log 50:510–530, 1985 ). This paper focuses on the extension of AGM that accounts for contractions of a theory by a set of sentences instead of only by a single sentence. Hansson (Theoria 55:114–132, 1989 ), Fuhrmann and Hansson (J Logic Lang Inf 3:39–74, 1994 ) generalized Partial Meet Contraction to the case of contractions by (possibly non-singleton) sets of sentences. In this (...) paper we present the possible worlds semantics for partial meet multiple contractions. (shrink)

Possible world semantics has been gradually fine-grained over the years. First, simple extensional semantics was fine-grained by relativizing it to worlds considered as counterfactual, thus generating standard possible-world semantics, which was later further fine-grained by relativizing it to worlds considered as actual, thus generating two-dimensional semantics. However, worlds considered as actual were only considered with respect to the empirical facts obtaining in such worlds. This paper shows that no less of an important role is played by (...) another feature of actual worlds, namely, the criteria of identity that obtain in such worlds. (shrink)

Adams’s Thesis, the claim that the probabilities of indicative conditionals equal the conditional probabilities of their consequents given their antecedents, has proven impossible to accommodate within orthodox possible-world semantics. This essay proposes a modification to the orthodoxy that removes this impossibility. The starting point is a proposal by Jeffrey and Stalnaker that conditionals take semantic values in the unit interval, interpreting these (à la McGee) as their expected truth-values at a world. Their theories imply a false principle, (...) namely, that the probability of a conditional is independent of any proposition inconsistent with its antecedent. But they also point to something important, namely, that our uncertainty about conditionals is not confined to uncertainty about the facts (what the actual world is like) but also expresses uncertainty about the counterfacts (what the world would be like if one or another supposition were true). To capture this observation, this essay proposes that the semantic contents of conditionals be treated as sets of vectors of possible worlds, not singleton worlds, with the coordinates of each specifying the world that is or would be true under the supposition that it represents. The probabilities of truth for conditionals will then depend on the joint probabilities of the facts and counterfacts, the latter in turn depending on the mode of supposition. The implication of this treatment is that the probabilities of conditionals are conditional probabilities whenever the mode of supposition is evidential. (shrink)

The article investigates the sceptical challenge from an informationtheoretic perspective. Its main goal is to articulate and defend the view that either informational scepticism is radical, but then it is epistemologically innocuous because redundant; or it is moderate, but then epistemologically beneficial because useful. In order to pursue this cooptation strategy, the article is divided into seven sections. Section 1 sets up the problem. Section 2 introduces Borei numbers as a convenient way to refer uniformly to (the data that individuate) (...) different possible worlds. Section 3 adopts the Hamming distance between Borei numbers as a metric to calculate the distance between possible worlds. In Sects. 4 and 5, radical and moderate informational scepticism are analysed using Borei numbers and Hamming distances, and shown to be either harmless (extreme form) or actually fruitful (moderate form). Section 6 further clarifies the approach by replying to some potential objections. In the conclusion, the Peircean nature of the overall approach is briefly discussed. (shrink)

I outline a neo-Fregean strategy in the debate on the existence of possible worlds. The criterion of identity and the criterion of application are formulated. Special attention is paid to the fact that speakers do not possess proper names for worlds. A broadly Quinean solution is proposed in response to this difficulty.

In the paper we will study the notions of possible-worlds semantics, fiction, and creativity. The intention is to show how the notion of possible-worlds semantics allows us to generate a fresh interpretation of the notions of fiction and creativity. To do this, we have to consider the philosophy of logic. Possible-worlds semantics can be used in interpreting modal notions. The intention is to interpret the notions of fiction and creativity as modal notions. However, the analysis shows that (...) the notions of fiction and creativity are multimodal notions. (shrink)

This paper is about possible worlds semantics for propositional attitude sentences. In particular I shall focus on belief reports in English such as "Lusina believes that tofu is nutritious." It is well-known that possible worlds semantics for such reports suffers from the so-called _problem of equivalence_ . In this paper I shall examine some attempts to deal with this problem and argue that they are unsatisfactory.

When we watch movies, or are tricked by a trompe-l'oeil painting, we seem to be visually representing possible worlds; often non-actual possible worlds. This suggests that we really can visually represent possible worlds. The suggested claim is refined and developed here into a theory of visual experience that holds that all visual experiences, both veridical and non-veridical, represent possible worlds, many of which are non-actual.

In lieu of an abstract, here is a brief excerpt of the content:Possible Worlds in the Tahâfut al-tahâfut:Averroes on Plenitude and PossibilityTaneli Kukkonen1.It has become customary to credit John Duns Scotus with having first systematically laid out the basis for treating the modal terms as referring to synchronic alternative states of affairs. This has been viewed as constituting a genuine shift in modal paradigms, as no former model had included the idea of genuine synchronic alternative possibilities. Historians of modal (...) logic and contemporary logicians alike have found it interesting that certain key features of Duns Scotus's theory and subsequent late medieval work markedly resemble the so-called possible worlds semantics approach of modern modal theory.1Duns Scotus' innovations were not completely without precedent. Several key elements in Scotus' theory were foreshadowed by twelfth-century developments. Perhaps somewhat amusingly, one of the most important forerunners to the Latin discussion was one in whose context the expression "possible worlds" would have made sense in a very special way.2 This is the medieval Arabic debate on the eternity of the world and its modal status. In this paper I propose to take stock of the positions the Arabs reached, and to do so by way of [End Page 329] consulting one of the documents central to the debate, the Tahâfut al-tahâfut or the "Incoherence of the Incoherence," by Abû al-Walîd Ibn Rushd (the Latin "Averroes," 1126-1198). In the first part I examine Averroes' exposition of the received Aristotelian tradition; in the second I assess the revisions to modal theory suggested by al-Ghazâlî (1058-1111), in the latter's comprehensive critique of philosophical doctrine. Though the two inquiries are obviously complementary, they can be accomplished independently of each other.It will be seen that Averroes' and his formidable adversary's views on the interpretation of the modal concepts differ quite fundamentally. What makes the ensuing debate, often fraught with misunderstandings and misrepresentation, so engaging is that both parties, in spite of their differences, refer to a common Aristotelian backdrop in questions of terminology and mode of argumentation. Both Averroes and al-Ghazâlî are well-placed to present a considered and balanced account of what they take to be crucial in the issues involved. It is on account of this that the complex interplay between the old and the new comes to the fore with exceptional force and clarity in the Tahâfut debates.2.The Tahâfut al-tahâfut, first published in 1180, is a philosophical rejoinder to an attack on philosophy, Abû Hâmid al-Ghazâlî's Tahâfut al-falâsifa or "The Incoherence of the Philosophers" (1095). In that celebrated work al-Ghazâlî had claimed to expose certain philosophical doctrines as not only contrary to orthodox Muslim belief, but also internally incoherent.3 Averroes' reply in turn was written in order "to show the different degrees of assent and conviction attained by the assertions in The Incoherence of the Philosophers, and to prove that the greater part has not reached the degree of evidence and of truth."4 The work is thus of a doubly dialectical nature. Whereas al-Ghazâlî tries to show the philosophers' reasoning to be defective, Averroes has to show both that al-Ghazâlî is likewise lacking in intellectual rigor and that philosophy, properly understood, is innocent of the charges leveled at it. If the Islamic philosophers (al-Fârâbî and, above all, Avicenna) have in fact erred, this is only to the extent that they have misrepresented correct Aristotelian doctrine. [End Page 330]Averroes' presentation is appropriately delicate considering the complexity of the task at hand. Averroes quotes al-Ghazâlî exclusively in full, lengthy passages, with the result of incorporating almost all of the Tahâfut al-falâsifa in his own work. In so doing he gives us an adequate and comparably fair representation of al-Ghazâlî's views. Averroes then goes on to discuss what al-Ghazâlî says both in the philosophers' name and in his own, and points out their respective deviations from Aristotelian doctrine. The text thus comes laid out in three successive layers, with Averroes' own... (shrink)

... 112 ROBERT STALNAKER example Alvin Plantinga and Robert Adams) define possible worlds in terms of states of affairs or propositions ; others (for example Max Cresswell) use a strategy quite similar to that of situation semantics, defining possible worlds as constructs out of ..

Metaphysically possible worlds have many uses. Epistemically possible worlds promise to be similarly useful, especially in connection with propositions and propositional attitudes. However, I argue that there is a serious threat to the natural accounts of epistemically possible worlds, from a version of Russell’s paradox. I contrast this threat with David Kaplan’s problem for metaphysical possible world semantics: Kaplan’s problem can be straightforwardly rebutted, the problems I raise cannot. I argue that although there may be (...) coherent accounts of epistemically possible worlds with fruitful applications, any such an account must fundamentally compromise the basic idea behind epistemic possibility. (shrink)

Realists about possible worlds typically identify possible worlds with abstract objects, such as propositions or properties. However, they face a significant objection due to Lewis (1986), to the effect that there is no way to explain how possible worlds-as-abstract objects represent possibilities. In this paper, I describe a response to this objection on behalf of realists. The response is to identify possible worlds with propositions, but to deny that propositions are abstract objects, or indeed objects at (...) all. Instead, I argue that realists should follow Prior (1971) and others in treating higher-order quantification (e.g. quantification into predicate or sentence position) as a genuine form of quantification in its own right, and so in particular, not to be analysed in terms of first-order quantification over abstract objects. I argue that from this ‘higher-orderist’ perspective, there is a relatively straightforward answer to the question of how possible worlds-as-propositions succeed in representing possibilities. (shrink)

God is traditionally taken to be a perfect being, and the creator and sustainer of all that is. So, if theism is true, what sort of world should we expect? To answer this question, we need an account of the array of possible worlds from which God is said to choose. It seems that either there is (a) exactly one best possible world; or (b) more than one unsurpassable world; or (c) an infinite hierarchy of (...) increasingly better worlds. Influential arguments for atheism have been advanced on each hierarchy, and these jointly comprise a daunting trilemma for theism. In this paper, I argue that if theism is true, we should expect the actual world to be a multiverse comprised of all and only those universes which are worthy of creation and sustenance. I further argue that this multiverse is the unique best of all possible worlds. Finally, I explain how his unconventional view bears on the trilemma for theism. (shrink)

The standard semantics for counterfactuals ensures that any counterfactual with a true antecedent and true consequent is itself true. There have been many recent attempts to amend the standard semantics to avoid this result. I show that these proposals invalidate a number of further principles of the standard logic of counterfactuals. The case against the automatic truth of counterfactuals with true components does not extend to these further principles, however, so it is not clear that rejecting the latter should be (...) a consequence of rejecting the former. Instead I consider how one might defuse putative counterexamples to the truth of true-true counterfactuals. (shrink)

Ever since Saul Kripke and others developed a semantic interpretation for modal logic, 'possible worlds' has been a much debated issue in contemporary metaphysics. To propose the idea of a possible world that differs in some way from our actual world - for example a world where the grass is red or where no people exist - can help us to analyse and understand a wide range of philosophical concepts, such as counterfactuals, properties, modality, and (...) of course, the notions of possibility and necessity. This book examines the ways in which possible worlds have been used as a framework for considering problems in logic and argument analysis. The book begins with a non-technical introduction to the basic ideas of modal logic in terms of Kripke's possible worlds and then moves on to a discussion of 'possible for' and 'possible that'. The central chapters examine questions of meaning, epistemic possibility, temporal logic, metaphysics, and impossibility. Girle also investigates how the idea of a possible world can be put to use in different areas of philosophy, the problems it may raise, and the benefits that can be gained. (shrink)

Ever since Saul Kripke and others developed a semantic interpretation for modal logic, 'possible worlds' has been a much debated issue in contemporary metaphysics. To propose the idea of a possible world that differs in some way from our actual world - for example a world where the grass is red or where no people exist - can help us to analyse and understand a wide range of philosophical concepts, such as counterfactuals, properties, modality, and (...) of course, the notions of possibility and necessity. This book examines the ways in which possible worlds have been used as a framework for considering problems in logic and argument analysis. The book begins with a non-technical introduction to the basic ideas of modal logic in terms of Kripke's possible worlds and then moves on to a discussion of 'possible for' and 'possible that'. The central chapters examine questions of meaning, epistemic possibility, temporal logic, metaphysics, and impossibility. Girle also investigates how the idea of a possible world can be put to use in different areas of philosophy, the problems it may raise, and the benefits that can be gained. (shrink)

As part of an ongoing study of causal models in the history of science, a counterfactual scenario in the history of modern astronomy is explored with the aid of computer simulations. After the definition of “linking advance”, a possible world involving technological antecedence is described, branching out in 1510, in which the telescope is invented 70 years before its actual construction, at the time in which Fracastoro actually built the first prototelescope. By using the principle of the closest (...) possible world, we estimate that in this scenario the discovery of the elliptical orbit of Mars would by anticipated by only 28 years. The second part of the paper involves an estimate of the probability of the previous scenario, guided by the principle that the actual world is the mean and using computer simulations to create possible worlds in which the time spans between advances is varied according to a gamma distribution function. Taking into account the importance of the use of the diaphragm for the invention of the telescope, the probability that the telescope were built by 1538 for a branching time at 1510 is found to be smaller than 1%. The work shows that one of the important features of computational simulations in philosophy of science is to serve as a consistency check for the intuitions and speculations of the philosopher. (shrink)

An outline for a modal interpretation in terms of possible worlds is presented. The so-called Schmidt histories are taken to correspond to the physically possible worlds. The decoherence function defined in the histories formulation of quantum theory is taken to prescribe a non-classical probability measure over the set of the possible worlds. This is shown to yield dynamics in the form of transition probabilities for occurrent events in each world. The role of the consistency condition is (...) discussed. (shrink)

Actualism is the doctrine that the only things there are, that have being in any sense, are the things that actually exist. In particular, actualism eschews possibilism, the doctrine that there are merely possible objects. It is widely held that one cannot both be an actualist and at the same time take possible world semantics seriously — that is, take it as the basis for a genuine theory of truth for modal languages, or look to it for (...) insight into the modal structure of reality. For possible world semantics, it is supposed, commits one to possibilism. In this paper I take issue with this view. To the contrary, I argue that one can take possible world semantics seriously without any commitment to possible worlds or possibilism and hence remain in full compliance with actualist scruples. Moreover, one can do so without without invoking either "ersatz" worlds or haecceities. (shrink)

_ Source: _Page Count 19 The theory of possible worlds has been minimally employed in the field of theory and philosophy of history, even though it has found a place as a tool in other areas of philosophy. Discussion has mostly focused on arguments concerning counterfactual history’s status as either useful or harmful. The theory of possible worlds can, however be used also to analyze historical writing. The concept of textual possible worlds offers an interesting framework to (...) work with for analyzing a historical text’s characteristics and features. However, one of the challenges is that the literary theory’s notion of possible worlds is that they are metaphorical in nature. This in itself is not problematic but while discussing about history, which arguably deals with the real world, the terminology can become muddled. The latest attempt to combine the literary and philosophical notions of possible worlds and apply it to historiography came from Lubomír Doležel in his _Possible Worlds of Fiction and History: The Postmodern Stage_. I offer some criticism to his usage of possible worlds to separate history and fiction, and argue that when historiography is under discussion a more philosophical notion of possible worlds should be prioritized over the metaphorical interpretation of possible worlds. (shrink)

In the tech report Artemov and Yavorskaya [4] an elegant formulation of the first-order logic of proofs was given, FOLP. This logic plays a fundamental role in providing an arithmetic semantics for first-order intuitionistic logic, as was shown. In particular, the tech report proved an arithmetic completeness theorem, and a realization theorem for FOLP. In this paper we provide a possible-world semantics for FOLP, based on the propositional semantics of Fitting [5]. We also give an Mkrtychev semantics. Motivation (...) and intuition for FOLP can be found in Artemov and Yavorskaya [4], and are not fully discussed here.This paper is dedicated to Sergei Artemov, an honored colleague and friend, who has made wonderful things for the rest of us to play with. (shrink)

Conditional structures lie at the heart of the sciences, humanities, and everyday reasoning. It is hence not surprising that conditional logics – logics specifically designed to account for natural language conditionals – are an active and interdisciplinary area. The present book gives a formal and a philosophical account of indicative and counterfactual conditionals in terms of Chellas-Segerberg semantics. For that purpose a range of topics are discussed such as Bennett’s arguments against truth value based semantics for indicative conditionals.

The goal of this paper is to argue for the fruitfulness for linguistic theory of an approach to semantics that has been developed primarily by logicians and philosophers. That the theory of possible worlds semantics has been extremely fruitful for logic and philosophy is widely if not universally accepted, and I will not try to convince remaining skeptics on that score. But the goals of linguistics are sufficiently different from those of philosophy and logic that there are independent and (...) highly reasonable grounds for skepticism about the appropriateness of such a theory for linguistics, and I will address what seem to me the most important of these in addition to offering positive evidence in favor of such an approach to semantics. (shrink)

This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913-1921; Feys, 1924; McKinsey, 1945; Carnap, 1945-1947; McKinsey, Tarski and Jónsson, 1947-1952; von Wright, 1951; Becker, 1952; Prior, 1953-1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955-1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958-1959; Drake, 1959-1961; Kripke, 1958-1965.

Are transcendental phenomenology and possible worlds semantics, two seemingly disparate, perhaps even incompatible philosophical traditions, actually complementary? Have two well-known representatives of each tradition, J.N. Mohanty and J. Hintikka, misinterpreted the other's philosophical "program" in such a way that they did not recognize the complementarity? Charles Harvey 1 has recently argued that the answer to both questions is "yes." Here I intend to argue that the answer to the first is unclear, whereas the answer to the second is "no." (...) Mohanty (at least) rightly cites fundamental differences between transcendental phenomenology and possible worlds semantics. (shrink)