Assisted dying is a divisive and controversial topic and it is therefore desirable that a broad range of interests inform any proposed policy changes. The purpose of this study is to collect and synthesize the views of an important stakeholder group—namely people with disabilities —as expressed by disability rights organisations in Great Britain. Parliamentary consultations were reviewed, together with an examination of the contemporary positions of a wide range of DROs. Our analysis revealed that the vast majority do not have (...) a clear public stance; those that do exhibit a significant diversity of opinion. DROs opposing legislation on assisted dying have argued that it would be premature, misguided, inequitable and culturally undesirable. Some specify conditions that would have to be satisfied before they could support legalisation, such as radical improvements in health and social care services and the elimination of discrimination against PwD. DROs supporting assisted dying maintain that a change in the law would promote autonomy, end intense suffering, can be delivered safely and is supported by the DRO’s membership. The discussion considers the reasons why several DROs adopt a neutral stance and the argument is made that, whatever their overarching stance on the issue, DROs need to be involved in the policy debate so that the crucial perspectives of PwD are heard and addressed. This is an important message for countries around the world that permit, or are considering legalising, assisted dying. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Hume Studies Volume 29, Number 2, November 2003, pp. 223-266 A Diplomatic Transcription of Hume's "volunteer pamphlet" for Archibald Stewart: Political Whigs, Religious Whigs, and Jacobites M. A. BOX, DAVID HARVEY, AND MICHAEL SILVERTHORNE Many scholars interested in David Hume will have encountered his defense of the beleaguered Archibald Stewart as it appears in an appendix in John Valdimir Price's The Ironic Hume (Austin: University of Texas Press, 1965). (...) Additionally they might know of Price's discussion for The Biblioteck of 1973 of a copy with manuscript markings. A reason for revisiting this pamphlet is that the National Library of Scotland has graciously given permission to reproduce a copy (shelfmark NE.10.e.4) featuring a preface and significant markings in manuscript not in the copy that Price reproduced in his book. As Hume assumes considerable familiarity with the events to which he alludes, we have annotated the text to make it fully intelligible to readers two and half centuries after its composition. The rudimentary bibliographic facts and mysteries are as follows. Two editions survive to us, an octavo (in fours) and a rare duodecimo. Although there is no reason to regard the duodecimo as a second edition correcting or augmenting a first edition, it probably was manufactured after, and was textually derivative from, the octavo. We know nothing of the publishing of M. A. Box is Associate Professor of English, University of Alaska, Fairbanks, PO Box 755720, Fairbanks, AK 99775-5720, USA. David Harvey is at the Classics Department, University of Exeter, Queen's Building, Queen's Drive, Exeter EX4 4QH, UK. Michael Silverthorne is Associate Professor of History, McGiIl University, Stephen Leacock Building, 855 Sherbrooke St. West, Montreal H3A 2T7, Canada, e-mail: [email protected] 224 M. A. Box, David Harvey, and Michael Silverthorne the duodecimo, and doubtless that is as its producers intended. Its title page indicates, like that of the octavo, that the printing was done "for M. Cooper" in 1748, but William Strahan's ledgers register the printing in December 1747 of only the octavo in an edition of 1000 copies.1 The job is listed under bookseller Andrew Millar's account, not Mary Cooper's, probably for the reason that Cooper was a front whose role was to screen the true producers. It is possible that Millar hired someone other than Strahan to print the duodecimo, but it is also possible that someone other than Millar had it printed to mimic the octavo and take the opportunity it offered for concealment.2 A different editorial judgment is evinced in the duodecimo in that cosmetic measures are taken in it to obscure the identities of two military men ridiculed. For example, "Fowke" is rendered as "F—" and "John Cope" as "J-C-----." A digression on Mary Cooper is in order. This remarkable woman (died 1761) took over her husband Thomas's business upon his death 9 February 1743. That business had a history of "publishing" pamphlets and therefore made a plausible front for Millar, who in at least thirty-six other instances, none requiring courage, was willing to have his name appear on a title page with "M. Cooper." (This figure derives from a search by imprints using the English Short-Title Catalogue.) Until Thomas Cooper died, his name appeared on editions of John Armstrong's The Oeconomy of Love (1736 and thereafter) though only Millar's name is listed in the Stationers' Register (Foxon, English Verse A303-A311), and Mary's name is on the title page of the 1753 edition for which Strahan charged Millar (Strahan Papers, Add. MS 48800, s.v. August 1753). It was perhaps in this pattern that the second edition of Hume's heterodox Philosophical Essays (1750) would be reissued in 1751 with a new title page replacing Millar's name with Cooper's. That book was made temporarily a more alarming property by the superstitious panic of the London populace following the winter earthquakes in 1750, presaged by a bloody cloud. Within that year Bishop Thomas Sherlock caused a stir with a pastoral letter (A Letter from the Lord Bishop of London) blaming the earthquakes on several iniquities, "particularly heretical books" (Walpole, Correspondence 20... (shrink)

To carry on reasoning in the face of the implications of skepticism is what Fred Parker calls “sceptical thinking.” Not to be confused with the engineered vacillation leading to a tranquillizing suspense of judgement, it involves the double perspective of someone conducting a life, believing and reasoning as we do, while acutely aware that the whole endeavor is, in a sense, untenable. If, as Sir Philip Sidney famously said, an imaginative writer “nothing affirms, and therefore never lieth,” then the dilemma (...) posed by skepticism might be less embarrassing for that kind of writer than for philosophers. The latter purport to offer tenets valued according to their truth, however variously defined; the former, on the other hand, create “speaking pictures,” or verbal imitations. Skeptically thinking imaginative writers can create speaking pictures of a life in which knowledge is unavailable though people must reason, believe, and act. In a famous letter Keats went so far as to deem a kind of ataraxy to be a condition of the highest art, adducing Shakespeare’s “Negative Capability... of being in uncertainties, Mysteries, doubts, without any irritable reaching after fact & reason”. Parker does not discuss the possibility that negative capability might conduce to the highest flights of literature. He is concerned with the unresolved tensions of skeptical thinking that he sees as complicating key works of literature in the Hanoverian reigns. For their authors and readers, the negativity of skepticism was “disillusioning and destabilizing” if not ameliorated by a humor like Sterne’s or an irony like Hume’s. Humor or irony arises from the oddity that skepticism is put in its place only when we give up and allow nature to reassert itself. Not heroic measures, but backgammon and making merry with friends prevail over doubt. Sometimes, when the confrontation with skepticism gives rise to the precept of following nature, skepticism can result in “a surprising confidence of assertion”. (shrink)

The aim of this article is to analyze the meaning of the concept of empire during the first years of the Francoist regime and try to clarify the different meanings that the various political and ideological groups that were part of the dictatorship gave to this concept. As will be explained, it is possible to find two main meanings for the concept of empire . The first one was linked to the notion of Hispanidad and was developed by the (...) Catholic and counter-revolutionary groups; in this case, empire was defined through the Catholic religion and the missionary role that Spain had played in the discovery of America, the moment that marked the beginning of the Spanish Empire. The second meaning was developed inside the Falangist party. It contained fascist values and was linked to an ideal of expansionism that would support specific policies. The aim here is to differentiate these meanings by paying attention to the different contexts in which they were produced. (shrink)

To carry on reasoning in the face of the implications of skepticism is what Fred Parker calls “sceptical thinking.” Not to be confused with the engineered vacillation leading to a tranquillizing suspense of judgement, it involves the double perspective of someone conducting a life, believing and reasoning as we do, while acutely aware that the whole endeavor is, in a sense, untenable. If, as Sir Philip Sidney famously said, an imaginative writer “nothing affirms, and therefore never lieth,” then the dilemma (...) posed by skepticism might be less embarrassing for that kind of writer than for philosophers. The latter purport to offer tenets valued according to their truth, however variously defined; the former, on the other hand, create “speaking pictures,” or verbal imitations. Skeptically thinking imaginative writers can create speaking pictures of a life in which knowledge is unavailable though people must reason, believe, and act. In a famous letter Keats went so far as to deem a kind of ataraxy to be a condition of the highest art, adducing Shakespeare’s “Negative Capability... of being in uncertainties, Mysteries, doubts, without any irritable reaching after fact & reason”. Parker does not discuss the possibility that negative capability might conduce to the highest flights of literature. He is concerned with the unresolved tensions of skeptical thinking that he sees as complicating key works of literature in the Hanoverian reigns. For their authors and readers, the negativity of skepticism was “disillusioning and destabilizing” if not ameliorated by a humor like Sterne’s or an irony like Hume’s. Humor or irony arises from the oddity that skepticism is put in its place only when we give up and allow nature to reassert itself. Not heroic measures, but backgammon and making merry with friends prevail over doubt. Sometimes, when the confrontation with skepticism gives rise to the precept of following nature, skepticism can result in “a surprising confidence of assertion”. (shrink)

The following review by "Crito" was reproduced in shortened form in 1888 (Dibdin, Annals, 89-90) and is not now readily available. It is transcribed and edited here as illustrative of the events prompting David Hume's dedication to John Home of Four Dissertations in 1757. The possibility that Crito was in fact Hume deserves exploring, though the question remains speculative given the evidence available.The review appeared as a letter in the Caledonian Mercury and the Edinburgh Evening Courant, both on 18 December (...) 1756, on the day of the fourth performance of Home's Douglas at what was then openly called a theater. Until recently the theater had been carefully denominated the "Concert-hall, Canongate," wherein .. (shrink)

In the wake of globalisation different social science disciplines have found themselves entering into similar terrains of inquiry. However, each discipline tends to draw on different and often contradictory understandings of the political, and of related notions such as power. The lack of a shared notion of politics may prevent social scientists from gaining important insights from other disciplines. In this paper I therefore seek to demonstrate that seemingly contradictory notions of politics are better seen as different forms of political (...) interaction. I define politics as activities through which people and groups articulate, negotiate, implement and enforce competing claims. By distinguishing different types of claims made within different institutional circumstances, I outline three basic forms of political interaction: governance, stalemate and social dilemma, and give examples of how each of these forms of political interaction has emerged in response to the global integration of market in different circumstances and areas of the world. (shrink)

This collection is the final volume of a four book survey of the state of phenomenology fifty years after the death of Edmund Husserl. Its publication represents a landmark in the comprehensive treatment of contemporary phenomenology in all its vastness and richness. The diversity of the issues raised here is dazzling, but the main themes of Husserl's thought are all either explicitly treated, or else they underlie the ingenious approaches found here. Time, historicity, intentionality, eidos, meaning, possibility/reality, and teleology are (...) the main concerns of this collection devoted to studies in aesthetics, metaphysics and literary interpretation, written by such authors as, among others, R. Cobb-Stevens, C. Moreno Marquez, J. Swiecimski, Sitansu Ray and M. Kronegger. These original studies of phenomenological aesthetics and literary theory by scholars from all parts of the world were gathered by the World Institute for Advanced Phenomenological Research and Learn ing during the year 1988/89 during its assessment of the phenomeno logical movement, fifty years after Husserl's death. IX A -T. Tymieniecka (ed.), Analecta Husserliana, Vol. XXXVII, ix. (shrink)

There is no strong reason to believe that human-level intelligence represents an upper limit of the capacity of artificial intelligence, should it be realized. This poses serious safety issues, since a superintelligent system would have great power to direct the future according to its possibly flawed motivation system. Solving this issue in general has proven to be considerably harder than expected. This paper looks at one particular approach, Oracle AI. An Oracle AI is an AI that does not act in (...) the world except by answering questions. Even this narrow approach presents considerable challenges. In this paper, we analyse and critique various methods of controlling the AI. In general an Oracle AI might be safer than unrestricted AI, but still remains potentially dangerous. (shrink)

We present a theory of truth in fiction that improves on Lewis's [1978] ‘Analysis 2’ in two ways. First, we expand Lewis's possible worlds apparatus by adding non-normal or impossible worlds. Second, we model truth in fiction as belief revision via ideas from dynamic epistemic logic. We explain the major objections raised against Lewis's original view and show that our theory overcomes them.

The concept of agency, although central to many sociological debates, has remained frustratingly elusive to pin down. This article is an attempt to open up what has been called the "black box" of personal agency by distinguishing clearly between two contrasting conceptions of the phenomenon. These two conceptions are very apparent in the manner in which the concept is defined in sociological reference works, resembling as it does a similar contrast in the treatment of the concept of power. The two (...) are referred to as type 1 and type 2 or the power of agency as compared with agentic power, the essential contrast being that the first refers to an actor's ability to initiate and maintain a program of action while the second refers to an actor's ability to act independently of the constraining power of social structure. The nature of these two forms of personal agency is then illustrated by referring to material taken from Weber's essay The Protestant Ethic and the Spirit of Capitalism, this essay itself being understood as an argument that focuses on the crucial role played by an increase in the power of agency in ushering in the modern world. Finally, it is argued that these two conceptions of agency possess no given logical relationship with each other, it being perfectly possible for individuals to be possessed of considerable power of agency while lacking agentic power, and vice versa. It is therefore concluded that it is important, in all discussions of human agency, to distinguish clearly between these two forms. (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)

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

The inspiration for this collective writing project began with a digital conference entitled ‘Knowledge Socialism, COVID-19 and the New Reality of Education’ held at Beijing Normal University. In this conference and through this article, multiple researchers spread across six continents have engaged in the collaborative task of outlining emerging innovations and alternative contingencies towards education, international collaboration, and digital reform in this time of global crisis. Trends associated with digital education, knowledge openness, peer production, and collective intelligence as articulated by (...) Michael A. Peters’ conception of Knowledge Socialism are given careful analysis and exploration. Some of the members of this collective endeavor to identify problems, others, begin to draw boxes around potential solutions. Overall, this article engages with real world challenges and innovations that look beyond dominant neoliberal trends in the knowledge economy to build bridges toward novel possibilities in this era of rapid digital change. (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.

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)

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)

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.

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)

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)

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 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)

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)

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)

This paper comments on Emar Maier’s “Unreliability and point of view in filmic narration”. It is suggested that, without having discourse representations that include embedding operators, films can be unreliable in the broad sense of having propositional contents that depart from inferable, realistic scenarios. Second, films and embedded shots in film can convey agent-centered information without being composed of point-of-view shots. The reason is that the discourse representation can include information about discourse referents that identifies a depicted individual as a (...) counterpart of the experiencer. (shrink)

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)

object an item which does not have a position in space and time but which exists. (Philosophers have nominated such things as numbers, sets, and propositions to this category. The need to posit such entities has been discussed and disputed for at least 2400 years.).

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)

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)

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)

The numerous difficulties facing the traditional Humean regularity approach to the problem of causation have been discussed in the literature at great length. In view of the current interest in possible worlds semantics, it is not surprising that the only serious alternative treatment of causation presently available, the counterfactual approach, has been explored recently as a means of circumventing the apparently unresolvable difficulties facing regularity causal theories. It is the purpose of this paper to suggest that such a (...) strategy holds little promise. Specifically, I will argue that, in addition to giving rise to problems directly analogous to those facing regularity accounts, the counterfactual approach fails in principle to reflect important properties of causal relations as we understand them intuitively. David Lewis's possible worlds account, the most comprehensive counterfactual theory to date, is further criticized for implicit problems with natural lawhood even more serious than those typically raised for regularity accounts, for additional inadequacies in its analysis of causal relations, and for its failure to satisfy basic empiricist epistemological standards. (shrink)

“The Craft of Formal Logic” is Arthur Prior’s unpublished textbook, written in 1950–51, in which he developed a theory of modality as quantification over possible worlds-like objects. This theory predates most of the prominent pioneering texts in possible worlds semantics and anticipates the significance of its basic concept in modal logic. Prior explicitly defines modal operators as quantifiers of ‘entities’ with modal character. Although he talks about these ‘entities’ only informally, and hesitates how to name them, (...) using alternately the phrases ‘possible states of affairs’, ‘chances’, ‘cases’ or ‘peculiar objects’, he is nevertheless very clear that they should be the fundamental concept of any theory of modality as a form of quantity. Without the assumption that modal operators quantify over such modal objects, the modal system will be incapable of distinguishing an actually true proposition from a necessarily true one. Due to the fact that Prior never made any direct reference to this theory in his subsequently published papers, it remained largely unknown. The comparison of “The Craft” with some of his papers on tense logic suggests that this early theory of modality underlies his later work on temporality. (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 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)

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)

In this paper I argue that there is a difficulty for Fine's exact semantics for counterfactuals. The difficulty undermines Fine's reasons for preferring exact semantics to possible worlds semantics.

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 (reasonable) 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)

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)

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.

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 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)

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)

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)