The common view has it that there are two families of approaches towards the logical structure of impossible worlds – Australasian and North American. According to the first, impossible worlds are closed under the relation of logical consequence of one of the non-classical logics. The North American approach is more liberal, allowing for impossible worlds where no logic holds. After pointing out the questionable consequences of each view, I propose a third one. While this new perspective allows for worlds where (...) no logical consequence holds, it also imposes some constraints on what worlds are built upon. This renders the proposed view not as restrictive as the Australasian approach and not as liberal as the North American approach. Due to its intermediary nature, I have named this perspective ‘the Pacific’ approach. (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)

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)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

We need to understand the impossible. Francesco Berto and Mark Jago start by considering what the concepts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition have in common. They are all concepts which divide the world up more finely than logic does. Logically equivalent sentences may carry different meanings and information and may differ in how they're believed. Fictions can be inconsistent yet meaningful. We can suppose impossible things without collapsing into total incoherence. Yet for the leading philosophical (...) theories of meaning, these phenomena are an unfathomable mystery. To understand these concepts, we need a metaphysical, logical, and conceptual grasp of situations that could not possibly exist: Impossible Worlds. This book discusses the metaphysics of impossible worlds and applies the concept to a range of central topics and open issues in logic, semantics, and philosophy. It considers problems in the logic of knowledge, the meaning of alternative logics, models of imagination and mental simulation, the theory of information, truth in fiction, the meaning of conditional statements, and reasoning about the impossible. In all these cases, impossible worlds have an essential role to play. (shrink)

Evidential decision theory (EDT) says that the choiceworthiness of an option depends on its evidential connections to possible outcomes. Causal decision theory (CDT) holds that it depends on your beliefs about its causal connections. While Newcomb cases support CDT, Arif Ahmed has described examples that support EDT. A new account is needed to get all cases right. I argue that an option A's choiceworthiness is determined by the probability that a good outcome ensues at possible A‐worlds that match actuality in (...) the facts causally unaffected by your decision (the “unaffected facts”). Moreover, you should evaluate A on the assumption that A is compossible with the unaffected facts. This view entails that you should use EDT when evaluating A on the assumption that the unaffected facts determine your action, but use CDT when assessing A on the opposite assumption. A's choiceworthiness equals a weighted average of these conditional assessments. The weights are determined by your beliefs about whether the unaffected fact determine your action. This account gets both Newcomb and Ahmed cases right. According to an influential view, whether you take the unaffected facts to determine your action can make a difference to whether you can regard yourself as free and the action as being under your control. While my account is neutral on this issue, it entails that whether you take the unaffected facts to determine your action is important in a different way: it matters to whether you should follow EDT or CDT. (shrink)

(1) Suppose that you care only about speaking the truth, and are confident that some particular deterministic theory is true. If someone asks you whether that theory is true, are you rationally required to answer "yes"? -/- (2) Suppose that you face a problem in which (as in Newcomb's problem) one of your options---call it "taking two boxes"---causally dominates your only other option. Are you rationally required to take two boxes? -/- Those of us attracted to causal decision theory are (...) under pressure to answer "yes" to both questions. However, it has been shown that many existing decision theories are inconsistent with doing so (Ahmed 2014). A simple proof shows that the same goes for an even wider class of theories: all "suppositional" decision theories. The moral is that causal decision theorists must either answer "no" to one of the above questions, or else abandon suppositional decision theories. (shrink)

In this dissertation, I develop and defend a model of causation that allows for dualist mental causation in worlds where the physical domain is physically complete. In Part I, I present the dualist ontology that will be assumed throughout the thesis and identify two challenges for models of mental causation within such an ontology: the exclusion worry and the common cause worry. I also argue that a proper response to these challenges requires a thoroughly lightweight account of causation, i.e. an (...) account that allows for causes to be metaphysically distinct from the phenomena that produce or physically necessitate their effects. In Part II, I critically evaluate contemporary responses to these challenges from the philosophical literature. In particular, I discuss List and Stoljar’s criticism of exclusion worries, Kroedel’s alternative dualist ontology, concerns about the notion of causal sufficiency, and Lowe’s models of dualist mental causation. I argue that none of these proposals provide independent motivation for a thoroughly lightweight account of causation and therefore leave room for improvement. In the first four chapters of Part III, I develop a thoroughly lightweight model of causation, which builds on interventionist approaches to causation. First, I explain how so-called ‘holding fixed’-requirements in standard interventionist accounts stand in the way of dualist mental causation. I then argue that interventionist accounts should impose a robustness condition on causal correlations and that, with this condition in place, the ‘holding fixed’-requirements can be weakened such that they do allow for dualist mental causation. I dub the interventionist model with such weakened ‘holding fixed’-requirements ‘insensitive interventionism’, argue that it can counter the exclusion worry as well as the common cause worry, and explain under which circumstances it would predict there to be dualist mental causation. Importantly, these circumstances might, for all we know, hold in the actual world. In the final three chapters of Part III, I defend insensitive interventionism against some objections. I consider the objection that causation must be productive, the objection that causes must physically necessitate their effects, and the objection that insensitive interventionism is too permissive. I respond by drawing from the literature on causation by absences and on the relation between causation and fundamental physics. Overall, insensitive interventionism performs as well as standard interventionist accounts. I conclude that insensitive interventionism is a credible model of causation. (shrink)