Impossible Worlds

The problem of communication in de se thoughts is the problem of communication of first-person or self-locating thoughts across the speakers of a conversation. The problem mainly stems from the lack of a proper account of attitude and content — an account that is supposed to explain whether or how the context of linguistic utterances is related to the semantic content of a sentence, assertion and belief. In this paper, after introducing two new semantic items, namely, almost-impossible and almost-necessary propositions, (...) that could be taken as theoretically primitive entities in the semantic framework I wish to draw, I propose an account of modified Lewisian-centered content and attitude based on the metaphysical framework of the Lewisian counterpart-theoretic semantics for quantified modal logic to the extent that the modification relies on those new semantic items. I then show that we can solve the problem by using our modified account. (shrink)

[Draft of October 2024] David Lewis acclimated us to talk of “nonactual concreta that exist,” regarding talking donkeys and the like. I shall argue that this was not for the best, and try to normalize a way of describing them as “actual concreta that do not exist.” The basis of this is a defense of the Meinongian thesis “there are objects of which it is true that there are no such objects,” re: fictitious and illusory objects. I first formulate the (...) problem of negative existentials in a novel way, and discuss why this new version is more forceful against anti-Meinongians. Additional data is also pressed against anti-Meinongians--e.g., the truth of ‘Pegasus is imaginary’, and a reading of ‘There actually are illusory objects’ where it comes out true. The Meinongian, in contrast, easily and uniformly explains the same data, by allowing the existence Pegasus, pink elephants, and the like. But contra Meinong, these cases suggest that the nonexistent objects are mind-dependent objects, and I clarify and defend this suggestion from several objections. The resulting Meinongianism is thus “conservative” in that it merely acknowledges the sense in which there are mind-dependent objects, imaginary and illusory objects being prime examples. Of special note, the “ideology” is conservative as well in that the typical Meinongian jargon of “nuclear” or “encoded” properties is paraphrased away. New suggestions about the ontology of abstracta, mere possibilia, and impossibilia are sketched in light of this. Comparisons are also made with Crane and McGinn, among others. (shrink)

The dogma that the propositional logic of metaphysical modality is S5 is rebutted in related installments (previously published and unpublished essays).

An alternative to the classical Stalnaker-Lewis account of subjunctive conditionals is outlined. A distinction is drawn between a basic notion of “wouldness” and a more full-bloodedly modal variant, each with its own logic. Previous philosophers have challenged the alleged vacuity of counterpossibles using logico-mathematically impossible worlds. Here the vacuity thesis as well as other orthodox alleged logical principles are challenged instead through consideration of a logico-mathematically possible world. The impossible-world theorist’s Strangeness of Impossibility Condition is also challenged using the same (...) logico-mathematically possible world. The dogma that the truth-condition of a subjunctive invokes the antecedent worlds sufficiently “closest” to (most like) the actual world is also challenged through consideration of the same logico-mathematically possible world. The dogma is a variation on Lewis’s counterpart theory. (shrink)

In this discussion note I reply to some criticisms that Marc Lange (2022) has directed at my Humean view of scientific laws (Bhogal, 2020) -- about whether Humean views can make sense of the apparent fact that laws are counterfactually invariant. The key idea of my response is that the Humean should think of their reduction of the laws to the Humean mosaic as closely related to other views where we reduce one domain to another but still allow that the (...) higher-level domain can be `autonomous' of the lower-level in some respects -- like, for example, the view that the special sciences reduce to physics but can still can work autonomously of physics. (shrink)

Humean accounts of chance have a problem with undermining futures: they have to accept that some series of events are physically possible and have a nonzero chance but are inconsistent with the chances being what they are. This contradicts basic platitudes about chances (such as those given by Bigelow et al. (1993) and Schaffer (2007)) and leads to inconsistency between plausible constraints on credences. We show how Humeans can avoid these contradictions by drawing on metaphysically impossible worlds that are, nevertheless, (...) scientifically possible. One major advantage of our approach is that one single move deals with these both problems, whereas previous Humean approaches to undermining (such as that given by Lewis (1994), Thau (1994), and Hall (1994)) have only addressed the connection between credence and chance. Furthermore, our approach connects more closely with the way we employ stochastic scientific theories. And it’s part of a unified solution to other challenges that the Humean faces. (shrink)

At first glance, impossible world semantics appear to be useful adaptations of normal modal logic. Proponents of impossible worlds argue, e.g., that in the context of metaphysical disagreement, impossible worlds would provide a key to modelling the respective dispute situation. The same philosophers also argue that we need impossible worlds to model what they consider to be the conceivability of logical impossibilities. With the help of Wittgenstein’s early philosophy, or, better said, with what I believe to be a visualisation of (...) his ideas on nesting models for possibility, I develop some thoughts on the likely shared weaknesses of such arguments for nonnormal world approaches. Said goes hand in hand with the supplementary proposal of rethinking our conventional nesting models for possibility. (shrink)

What is the connection between valid inference and true conditionals? Many conditional logics require that when A is a logical consequence of B, "if B then A" is true. Taking counterlogical conditionals seriously leads to systems that permit counterexamples to that general rule. However, this leaves those of us who endorse non-trivial accounts of counterpossible conditionals to explain what the connection between conditionals and consequence is. The explanation of the connection also answers a common line of objection to non-trivial counterpossibles, (...) which is based on a transition from valid arguments to the corresponding conditionals. It also contributes to the wider project of illuminating the connections between contexts of utterance, on the one hand, and the truth-conditions of conditionals uttered in those contexts, on the other. (shrink)

It is widely held that metaphysical modality is the broadest non-epistemic, alethic modality, and that /a posteriori/ modal essentialist truths, like that gold has atomic number 79, enjoy the necessity of the broadest alethic modality. One prominent argument for these conclusions--given by Cian Dorr, John Hawthorne, and Juhani Yli-Vakkuri--rests upon an extremely dubious premise: that certain pairs of properties—e.g., being gold and being made of atoms containing 79 protons—are one and the very same property. The two properties are seen to (...) be distinct on independent philosophical grounds. Metaphysical modality is in fact a restricted alethic modality. In particular, mathematical modality is broader than metaphysical modality. Arguably, the broadest alethic modality is logical modality, which is distinct from metaphysical modality. Even if it is metaphysically necessary that gold have atomic number 79, there is no logical/analytical inconsistency in the supposition that it does not. (shrink)

Some philosophers advance the claim that the phenomena of logical omniscience and of the indiscernibility of metaphysical statements, which arise in (certain) interpretations of normal modal logic, provide strong reasons in favour of impossible world approaches. These two specific lines of argument will be presented and discussed in this paper. Contrary to the recent much-held view that the characteristics of these two phenomena provide us with strong reasons to adopt impossible world approaches, the view defended here is that no such (...) ‘knock-down arguments’ do emanate on those grounds. This is not to rule out that there cannot be any other good reasons for assuming impossible world semantics. However, the discussion of a further argument for impossible worlds will suggest that different attempts to argue for them likely present intertwined problems. (shrink)

Recently, Yudkowsky and Soares (2018) and Levinstein and Soares (2020) have developed a novel decision theory, Functional Decision Theory (FDT). They claim FDT outperforms both Evidential Decision Theory (EDT) and Causal Decision Theory (CDT). Yet FDT faces several challenges. First, it yields some very counterintuitive results (Schwarz 2018; MacAskill 2019). Second, it requires a theory of counterpossibles, for which even Yudkowsky and Soares (2018) and Levinstein and Soares (2020) admit we lack a “full” or “satisfactory” account. Here, I focus on (...) the latter problem of counterpossibles. My aim is to establish two claims. First, the problem of counterpossibles does not even arise without a fairly strong assumptionone that rarely applies to human agents, but may apply to artificial agents. And second, even given this assumption, the problem is solvable, though how best to solve it remains an open question. (shrink)

Real human agents, even when they are rational by everyday standards, sometimes assign different credences to objectively equivalent statements, such as ‘Orwell is a writer’ and ‘E.A. Blair is a writer’, or credences less than 1 to necessarily true statements, such as not-yet-proven theorems of arithmetic. Anna Mahtani calls this the phenomenon of ‘opacity’. Opaque credences seem probabilistically incoherent, which goes against a key modelling assumption of probability theory. I sketch a modelling strategy for capturing opaque credence assignments without abandoning (...) probabilistic coherence. I draw on ideas from judgement-aggregation theory, where we face similar challenges of defining the ‘objects of judgement’. (shrink)

Saul Kripke’s work on the semantics of non-normal modal logics introduced the idea of non-normal worlds, worlds where certain connectives behave differently from the way in which they behave in the worlds of normal modal logics. Such worlds may be thought of as impossible worlds, though Kripke did not, himself, talk of them in this way. Since Kripke’s invention, the notion of an impossible world has undergone much fruitful development and application. Impossible worlds may be of different kinds—or maybe different (...) degrees of impossibility; and these worlds have found application in many areas where hyperintensionality appears to play a significant role: intentional mental states, counterfactuals, meaning, property theory, to name but a few areas. But what, exactly, is an impossible world? How is it best to characterise the notion? To date, the notion is used more by example than by definition. In this paper I will investigate the question, and propose a general characterisation, suitable for all standard purposes and tastes. (shrink)

A new argument is offered which proceeds through epistemic possibility (for all S knows, p), cutting a trail from modality to Millianism, the controversial thesis that the semantic content of a proper name is simply its bearer. New definitions are provided for various epistemic modal notions. A surprising theorem about epistemic necessity is proved. A proposition p can be epistemically necessary for a knowing subject S even though p is /a posteriori/ and S does not know p. The identity relation (...) is well-behaved in metaphysically possible worlds but can go rogue in epistemically possible worlds. Whereas it can be epistemically possible that Lewis Carroll is not Charles Lutwidge Dodgson, this is not epistemically possible in the manner that anti-Millianism requires. (shrink)

Developments in truthmaker semantics for the most part stay clear of the metaphysical issue of what sort of entities serve as the truthmakers and falsitymakers for sentences. It is assumed that perhaps facts or states of affairs (Fine, 2017a; Jago, 2020), with these taken sometimes as concrete particulars (Hawke, 2018) could serve for the job, but nonetheless that some such entities would do. In this paper I take a closer look at the issue of what entities could or could not (...) play the role of truthmakers and falsitymakers in standard truthmaker semantics (Fine, 2016, 2017a,b; Fine and Jago, 2019), based on desiderata imposed by metaphysical and semantic considerations. (shrink)

In this paper, I develop an algorithmic impossible-worlds model of belief and knowledge that provides a middle ground between models that entail that everyone is logically omniscient and those that are compatible with even the most egregious kinds of logical incompetence. In outline, the model entails that an agent believes (knows) φ just in case she can easily (and correctly) compute that φ is true and thus has the capacity to make her actions depend on whether φ. The model thereby (...) captures the standard view that belief and knowledge ground are constitutively connected to dispositions to act. As I explain, the model improves upon standard algorithmic models developed by Parikh, Halpern, Moses, Vardi, and Duc, among other ways, by integrating them into an impossible-worlds framework. The model also avoids some important disadvantages of recent candidate middle-ground models based on dynamic epistemic logic or step logic, and it can subsume their most important advantages. (shrink)

Possible worlds have revolutionised philosophy and some related fields. But, in recent years, tools based on possible worlds have been found to be limited in many respects. Impossible worlds have been introduced to overcome these limitations. This Element aims to raise and answer the neglected question of what is characteristically impossible about impossible worlds. The Element sheds new light on the nature of impossible worlds. It also aims to analyse the main features and utility of impossible worlds and examine how (...) impossible worlds can capture distinctions which are unavailable if we limit ourselves to possible world-based tools. (shrink)

Actual facts abound and actual propositions are true because there is a world, the actual world, that the propositions correctly describe. Possibilities abound as well. The actual world reveals what there is, but it is far from clear that it also reveals what there might be. Philosophers have been aware of this limitation and have introduced the notion of a possible world. Finally, impossibilities abound because it turned out that possibilities do not exhaust the modal space as a whole. Beside (...) the actual facts, and facts about the possible, there are facts about what is impossible. In order to explain this, philosophers have introduced the notion of an impossible world. -/- This article is about impossible worlds. First, there is a presentation of the motivations for postulating impossible worlds as a tool for analysing impossible phenomena. This apparatus seems to deliver great advances in modal logic and semantics, but at the same time it gives rise to metaphysical issues concerning the nature of impossible worlds. Discourse about impossible worlds is explained in Sections 2 and 3. Section 4 provides an overview of the theories in discussion in the academic literature, and Section 5 summarises the drawbacks of those theories. Section 6 takes a closer look at the logical structure of impossible worlds, and Section 7 discusses the connection between impossible worlds and hyperintensionality. (shrink)

In this paper we discuss how Causal Decision Theory should be modified to handle a class of problematic cases involving deterministic laws. Causal Decision Theory, as it stands, is problematically biased against your endorsing deterministic propositions (for example it tells you to deny Newtonian physics, regardless of how confident you are of its truth). Our response is that this is not a problem for Causal Decision Theory per se, but arises because of the standard method for assessing the truth of (...) certain counterfactuals. The truth of deterministic laws is `modally fragile' on the standard semantics for counterfactuals: if determinism is true and you were to do otherwise, the laws would be different. We provide two ways of avoiding this problem: 1) supplement the standard semantics for counterfactuals with impossible worlds, or 2) introduce rigid designators into the description of problematic decision situations. We argue that both of these approaches are well-motivated and can be readily incorporated into Lewisian Causal Decision Theory. (shrink)

A great deal has been written about 'would' counterfactuals of causal dependence. Comparatively little has been said regarding 'would' counterfactuals of ontological dependence. The standard Lewis-Stalnaker semantics is inadequate for handling such counterfactuals. That's because some of these counterfactuals are counterpossibles, and the standard Lewis-Stalnaker semantics trivializes for counterpossibles. Fortunately, there is a straightforward extension of the Lewis-Stalnaker semantics available that handles counterpossibles: simply take Lewis's closeness relation that orders possible worlds and unleash it across impossible worlds. To apply the (...) extended semantics, an account of the closeness relation for counterpossibles is needed. In this paper I offer a strategy for evaluating 'would' counterfactuals of ontological dependence that understands closeness between worlds in terms of the metaphysical concept of grounding. (shrink)

We present four classical theories of counterpossibles that combine modalities and counterfactuals. Two theories are anti-vacuist and forbid vacuously true counterfactuals, two are quasi-vacuist and allow counterfactuals to be vacuously true when their antecedent is not only impossible, but also inconceivable. The theories vary on how they restrict the interaction of modalities and counterfactuals. We provide a logical cartography with precise acceptable boundaries, illustrating to what extent nonvacuism about counterpossibles can be reconciled with classical logic.

Epistemological accounts that make use of a safety condition on knowledge, historically, face serious problems regarding beliefs that are necessarily true. This is because necessary truths are true in all possible worlds, so such beliefs can be safe even when the bases for the beliefs are epistemically problematic. The existence of such problematically safe beliefs would undermine a major motivation for the condition itself: the ability to evaluate how well a belief tracks the truth. In this paper, we’ll argue that (...) incorporating impossible worlds into the evaluation of beliefs solves this problem, but only if the relevant account of impossible worlds entails that many impossible worlds are incredibly similar to the actual world. Further, we’ll argue that, as a result of including impossible worlds, some philosophical beliefs are unsafe, and many more are potentially unsafe. But, we argue, even if this is the case, we can still make philosophical progress. (shrink)

Some philosophers worry that if modal realism is true, you have no reason to prevent evils. For if you prevent an evil, you’ll have a counterpart somewhere that allows a similar evil. And if you refrain, your counterpart will end up preventing the relevant evil. Either way one evil is prevented and one is allowed. Your act makes no difference. I argue that this is mistaken. If modal realism is true, you are in a variant of Newcomb’s Problem. And if (...) Lewis’ view about Newcomb’s Problem is true, then your act does make a difference and you should prevent the evil. (shrink)

Book Review of Impossible Worlds, by Francesco Berto and Mark Jago. Oxford: Oxford University Press, 2019.

An overview of hyperintensionality is provided. Hyperintensional languages have expressions with meanings that are more fine-grained than necessary equivalence. That is, the expressions may necessarily co-apply and yet be distinct in meaning. Adequately accounting for theories cast in hyperintensional languages is important in the philosophy of language; the philosophy of mind; metaphysics; and elsewhere. This entry presents a number of areas in which hyperintensionality is important; a range of approaches to theorising about hyperintensional matters; and a range of debates that (...) attention to hyperintensional constructions has generated. (shrink)

This article sits at a point of intersection between the philosophy of physics and the metaphysics of modality. There are clear similarities between Everettian quantum mechanics and various modal metaphysical theories, but there have hitherto been few attempts at exploring how the two topics relate. In this article, I build on a series of recent papers by Wilson ([2011], [2012], [2013]), who argues that Everettian quantum mechanics’ connections with traditional modal metaphysics are vital in defending it against objections. I show (...) that Wilson’s preferred version of Everettian quantum mechanics has two problems. First, it is unable to account for the contingency of various intuitively contingent modal claims. Second, it fails to yield intuitive truth values on modal claims about the number of branches in a given Everettian multiverse. Since modal claims about branch number are instrumental in decision-theoretic solutions to Everettian quantum mechanics’ problem(s) with probability, this second problem has wider dialectical implications. I suggest amendments to the underlying metaphysics that overcome these problems. The result is a more robust version of Everettian quantum mechanics. (shrink)

Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...) interpretation of the logical connectives. I argue this semantics compares favorably to the more common impossible worlds semantics, which faces difficulties interpreting propositionally quantified logic talk. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

Modal knowledge accounts that are based on standards possible-worlds semantics face well-known problems when it comes to knowledge of necessities. Beliefs in necessities are trivially sensitive and safe and, therefore, trivially constitute knowledge according to these accounts. In this paper, I will first argue that existing solutions to this necessity problem, which accept standard possible-worlds semantics, are unsatisfactory. In order to solve the necessity problem, I will utilize an unorthodox account of counterfactuals, as proposed by Nolan, on which we also (...) consider impossible worlds. Nolan’s account for counterpossibles delivers the intuitively correct result for sensitivity i.e. S’s belief is sensitive in intuitive cases of knowledge of necessities and insensitive in intuitive cases of knowledge failure. However, we acquire the same plausible result for safety only if we reject his strangeness of impossibility condition and accept the modal closeness of impossible worlds. In this case, the necessity problem can be analogously solved for sensitivity and safety. For some, such non-moderate accounts might come at too high a cost. In this respect, sensitivity is better off than safety when it comes to knowing necessities. (shrink)

Abstract Impossible fictions have lessons to teach us about linguistic representation, about mental content and concepts, and about uses of conceivability in epistemology. An adequate theory of impossible fictions may require theories of meaning that can distinguish between different impossibilities; a theory of conceptual truth that allows us to make useful sense of a variety of conceptual falsehoods; and a theory of our understanding of necessity and possibility that permits impossibilities to be conceived. After discussing these questions, strategies for resisting (...) the picture of impossible fictions presented here and in Part I are discussed. Perhaps apparently impossible fictions describe possibilities after all; or perhaps impossible fictions are all trivial; or perhaps some apparently intelligible impossible fictions are unintelligible after all. (shrink)

Possible worlds have found many applications in contemporary philosophy: from theories of possibility and necessity, to accounts of conditionals, to theories of mental and linguistic content, to understanding supervenience relationships, to theories of properties and propositions, among many other applications. Almost as soon as possible worlds started to be used in formal theories in logic, philosophy of language, philosophy of mind, metaphysics, and elsewhere, theorists started to wonder whether impossible worlds should be postulated as well. In many applications, possible worlds (...) face limitations that can be dealt with through postulating impossible worlds as well. This chapter examines some of the uses of impossible worlds, and philosophical challenges theories of impossible worlds face. (shrink)

Many explanations rely on identity facts. In this paper, I propose an account of how identity facts explain: roughly, the fact that A is identical to B explains another fact whenever that other fact depends, counterfactually, on A being identical to B. As I show, this account has many virtues. It avoids several problems facing accounts of explanatory identities, and when precisified using structural equations, it can be used to defend interventionist accounts of causation against an objection.

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...) way of modelling logical possibility that makes room for both kinds of logical impossibility. Doing so has interesting implications for the relationship between logical possibility and other kinds of possibility (for example, metaphysical possibility) and implications for the necessity or contingency of the laws of logic. (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.

Impossible Worlds focuses on an exciting new theory in philosophy, with applications in metaphysics, logic, and the theory of meaning. Its central topic is: how do we meaningfully talk and reason about situations which, unbeknownst to us, are impossible? This issue emerges as a central problem in contemporary philosophical accounts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition. The book is written bytwo of the leading philosophers in the area and contains original research of relevance to professional philosophers (...) and logicians working in metaphysics, philosophy of language, formal logic, and adjacentareas. (shrink)

David Lewis famously dismisses genuine impossible worlds on the basis that a contradiction bound within the scope of his modifier ‘at w’ amounts to a contradiction tout court—an unacceptable consequence. Motivated by the rising demand for impossible worlds in philosophical theorising, this paper examines whether anything coherent can be said about an extension of Lewis’ theory of genuine, concrete possible worlds into genuine, concrete impossible worlds. Lewis’ reasoning reveals two ways to carve out conceptual space for the genuinely impossible. The (...) first is to abandon Lewis’ classical translation schema for negation, on the basis that it begs the question against incomplete and inconsistent worlds. I argue that, whilst this option incurs some loss in the semantics, it preserves the core spirit of Lewis’ metaphysics. The alternative is to bite the bullet, abandon classical logic and embrace true contradictions. The key challenge with this strategy is that the resulting theory seems committed to a particularly strong kind of dialethism—one that even dialethists would be reluctant to accept. I motivate such a dialethic account of genuine impossibilia using Lewis’ own methodology and defend it against triviality objections. I close with a few comments on why impossible worlds should not be reduced to set theoretic constructs out of possible worlds. (shrink)

Sentences about logic are often used to show that certain embedding expressions, including attitude verbs, conditionals, and epistemic modals, are hyperintensional. Yet it not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. This paper does two things. First, it argues against a standard account of logic talk, viz., the impossible worlds semantics. It is shown that this semantics does not easily extend to a language with propositional quantifiers, which (...) are necessary for regimenting some logic talk. Second, it develops an alternative framework based on logical expressivism, which explains logic talk using shifting conventions. When combined with the standard S5π+ semantics for propositional quantifiers, this framework results in a well-behaved system that does not face the problems of the impossible worlds semantics. It can also be naturally extended with hybrid operators to regiment a broader range of logic talk, e.g., claims about what laws hold according to other logics. The resulting system, called hyperlogic, is therefore a better framework for modeling logic talk than previous accounts. (shrink)

Nina Emery and Christopher Hill proposed a pragmatic approach toward the debate about counterpossibles—i.e., counterfactuals with impossible antecedents. The core of this approach is to move the burden of the problem from the notion of truth value into the notion of assertion. This is meant to explain our pre-theoretical intuitions about counterpossibles while claiming that each and every counterpossible is vacuously true. The aim of this paper is to indicate a problematic aspect of this view.

Fictionalists maintain that possible worlds, numbers or composite objects exist only according to theories which are useful but false. Hale, Divers and Woodward have provided arguments which threaten to show that fictionalists must be prepared to regard the theories in question as contingently, rather than necessarily, false. If warranted, this conclusion would significantly limit the appeal of the fictionalist strategy rendering it unavailable to anyone antecedently convinced that mathematics and metaphysics concern non-contingent matters. I try to show that their arguments (...) can be resisted by developing and defending a strategy suggested by Rosen, Nolan and Dorr, according to which the fiction-operator is to be analysed in terms of a counterfactual that admits of non-trival truth-values even when the antecedent is impossible. (shrink)

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

Galen Strawson’s Basic Argument is that because self-creation is required to be truly morally responsible and self-creation is impossible, it is impossible to be truly morally responsible for anything. I contend that the Basic Argument is unpersuasive and unsound. First, I argue that the moral luck debate shows that the self-creation requirement appears to be contradicted and supported by various parts of our commonsense ideas about moral responsibility, and that this ambivalence undermines the only reason that Strawson gives for the (...) self-creation requirement. Second, I argue that the self-creation requirement is so demanding that either it is an implausible requirement for a species of true moral responsibility that we take ourselves to have or it is a plausible requirement of a species of true moral responsibility that we have never taken ourselves to have. Third, I explain that Strawson overgeneralizes from instances of constitutive luck that obviously undermine moral responsibility to all kinds of constitutive luck. (shrink)

What does it mean for the laws of logic to fail? My task in this paper is to answer this question. I use the resources that Routley/Sylvan developed with his collaborators for the semantics of relevant logics to explain a world where the laws of logic fail. I claim that the non-normal worlds that Routley/Sylvan introduced are exactly such worlds. To disambiguate different kinds of impossible worlds, I call such worlds logically impossible worlds. At a logically impossible world, the laws (...) of logic fail. In this paper, I provide a definition of logically impossible worlds. I then show that there is nothing strange about admitting such worlds. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

Possible-worlds accounts of mental or linguistic content are often criticized for being too coarse-grained. To make room for more fine-grained distinctions among contents, several authors have recently proposed extending the space of possible worlds by "impossible worlds". We argue that this strategy comes with serious costs: we would effectively have to abandon most of the features that make the possible-worlds framework attractive. More generally, we argue that while there are intuitive and theoretical considerations against overly coarse-grained notions of content, the (...) same kinds of considerations also prohibit an overly fine-grained individuation of content. An adequate notion of content, it seems, should have intermediate granularity. However, it is hard to construe a notion of content that meets these demands. Any notion of content, we suggest, must be either implausibly coarse-grained or implausibly fine-grained (or both). (shrink)

In this critical notice of Kment's _Modality and Explanatory Reasoning_, we focus on Kment’s arguments for impossible worlds and on a key part of his discussion of the interactions between modality and explanation – the analogy that he draws between scientific and metaphysical explanation.

Co-hyperintensionality, or hyperintensional equivalence, is a relation holding between two or more contents that can be substituted in a hyperintensional context salva veritate. I argue that two strategies used to provide criteria for co-hyperintensionality fail. I argue that there is no generalized notion of co-hyperintensionality that meets plausible desiderata, by showing that the opposite thesis leads to falsity. As a conclusion, I suggest to take co-hyperintensionality as a primitive and I provide a general criterion of co-hyperintensionality whose content depends on (...) each hyperintensional notion we aim to formalize. (shrink)

What are contents? The answer provided by the possible worlds approach is that contents are sets of possible worlds. This approach incurs serious problems and to solve them Jago suggests, in The Impossible, to get rid of the ‘possible’ bit and allowing some impossible worlds to be part of the game. In this note, I briefly consider the metaphysics behind Jago’s account and then focus on whether Jago is right in thinking that his worlds and his worlds only can do (...) the explanatory work he posits them for. (shrink)

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

Traditional conventionalism about modality claims that a proposition is necessarily true iff it is true by convention. In the wake of the widespread repudiation of truth-byconvention, traditional conventionalism has fallen out of favour. However, a family of theories of modality have arisen that, whilst abandoning truth-by-convention, retain the spirit of traditional conventionalism. These ‘neo-conventionalist’ theories surpass their forebears and don’t fall victim to the criticisms inherited through truth-by-convention. However, not all criticisms levelled at traditional conventionalism target truth-by-convention. Any conventional theory (...) of modality must face the contingency problem. This claims that the contingency of our linguistic conventions jeopardises the necessity of the necessities they determine. I present the contingency problem as relevant to both the traditional conventionalist and the neo-conventionalist. I examine a response from Einheuser that builds upon a response from Wright. I show that the Einheuser response does more to accommodate the conventionalist’s modal beliefs, but that it does not fully satisfy some further conditions that ought to be laid upon such a response. I then suggest how the response can be revised so as to satisfy these conditions. The resulting model of conventionalism is compatible with the validity of S4, and suitably in the spirit of conventionalism. (shrink)