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)

John MacFarlane explores how we might make sense of the idea that truth is relative. He provides new, satisfying accounts of parts of our thought and talk that have resisted traditional methods of analysis, including what we mean when we talk about what is tasty, what we know, what will happen, what might be the case, and what we ought to do.

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)

Claims that necessary and sufficient conditions are not converse relations are discussed, as well as the related claim that If A, then B is not equivalent to A only if B . The analysis of alleged counterexamples has shown, among other things, how necessary and sufficient conditions should be understood, especially in the case of causal conditions, and the importance of distinguishing sufficient-cause conditionals from necessary-cause conditionals. It is concluded that necessary and sufficient conditions, adequately interpreted, are converse relations in (...) all cases. (shrink)

This book combines insights from philosophy and linguistics to develop a novel framework for theorizing about linguistic meaning and the role of context in interpretation. A key innovation is to introduce explicit representations of context — assignment variables — in the syntax and semantics of natural language. The proposed theory systematizes a spectrum of “shifting” phenomena in which the context relevant for interpreting certain expressions depends on features of the linguistic environment. Central applications include local and nonlocal contextual dependencies with (...) quantifiers, attitude ascriptions, conditionals, questions, and relativization. The result is an innovative, philosophically informed compositional semantics compatible with the truth-conditional paradigm. (shrink)

The ontology of decision theory has been subject to considerable debate in the past, and discussion of just how we ought to view decision problems has revealed more than one interesting problem, as well as suggested some novel modifications of classical decision theory. In this paper it will be argued that Bayesian, or evidential, decision-theoretic characterizations of decision situations fail to adequately account for knowledge concerning the causal connections between acts, states, and outcomes in decision situations, and so they are (...) incomplete. Second, it will be argues that when we attempt to incorporate the knowledge of such causal connections into Bayesian decision theory, a substantial technical problem arises for which there is no currently available solution that does not suffer from some damning objection or other. From a broader perspective, this then throws into question the use of decision theory as a model of human or machine planning. (shrink)

It is widely accepted by formal and informal logicians alike that a formal logic which, by the lights of English, gets the connectives wrong, nevertheless conspires to get entailment right—right that is, modulo English. There is a vexing problem occasioned by this semantic alienation of formal logic. It is next to impossible for formal logic to meet the expectations of realism. What, then, of informal logic?

I outline and motivate a way of implementing a closest world theory of indicatives, appealing to Stalnaker's framework of open conversational possibilities. Stalnakerian conversational dynamics helps us resolve two outstanding puzzles for a such a theory of indicative conditionals. The first puzzle -- concerning so-called 'reverse Sobel sequences' -- can be resolved by conversation dynamics in a theoryneutral way: the explanation works as much for Lewisian counterfactuals as for the account of indicatives developed here. Resolving the second puzzle, by contrast, (...) relies on the interplay between the particular theory of indicative conditionals developed here and Stalnakerian dynamics. The upshot is an attractive resolution of the so-called "Gibbard phenomenon" for indicative conditionals. (shrink)

Ordinary speakers intuitively assign truth-values to conditional utterances in everyday conversation, but, despite the general ease with which this occurs, it is notoriously difficult to give an account of the implicit logic that is followed in making these truth-value assignments. I propose a twofold logic of the conditional – a relatively simple “factual” logic for conditionals interpreted with regard to what is actually the case, largely following the logic of the material conditional; combined with a variably strict possible-worlds counterfactual logic (...) for conditionals interpreted with regard to with what may be (or may have been) the case, incorporating a ceteris paribus clause. This theory is able to deal with a number of challenges for other prominent views of the conditional, such as counter-intuitive truth-value ascriptions provided by notions of similarity or closeness, and difficulties adequately accounting for phenomena such as reverse Sobel sequences. (shrink)

There is strong disagreement about whether indicative conditionals have truth values. In this paper, I present a new argument for the conclusion that indicative conditionals have truth values based on the claim that some true statements entail indicative conditionals. I then address four arguments that conclude that indicative conditionals lack truth values, showing them to be inadequate. Finally, I present further benefits to having a worldly view of conditionals, which supports the assignment of truth values to indicative conditionals. I conclude (...) that certain types of account of indicative conditionals, which have been ignored in the literature partly on the basis of assigning truth values to indicative conditionals, deserve consideration. (shrink)

Is A & C sufficient for the truth of ‘if A were the case, C would be the case’? Jonathan Bennett thinks not, although the counterexample he gives is inconsistent with his own account of counterfactuals. In any case, I argue that anyone who accepts the case of Morgenbesser's coin, as Bennett does, should reject Bennett’s counterexample. Moreover, I show that the principle underlying his counterexample is unmotivated and indeed false. More generally, I argue that Morgenbesser’s coin commits us to (...) the sufficiency of A & C for the truth of the corresponding counterfactual. (shrink)

Moti Mizrahi (2013) presents some novel counterexamples to Hypothetical Syllogism (HS) for indicative conditionals. I show that they are not compelling as they neglect the complicated ways in which conditionals and modals interact. I then briefly outline why HS should nevertheless be rejected.

The debate over Hypothetical Syllogism is locked in stalemate. Although putative natural language counterexamples to Hypothetical Syllogism abound, many philosophers defend Hypothetical Syllogism, arguing that the alleged counterexamples involve an illicit shift in context. The proper lesson to draw from the putative counterexamples, they argue, is that natural language conditionals are context-sensitive conditionals which obey Hypothetical Syllogism. In order to make progress on the issue, I consider and improve upon Morreau’s proof of the invalidity of Hypothetical Syllogism. The improved proof (...) relies upon the semantic claim that conditionals with antecedents irrelevant to the obtaining of an already true consequent are themselves true. Moreover, this semantic insight allows us to provide compelling counterexamples to Hypothetical Syllogism that are resistant to the usual contextualist response. (shrink)

In this paper, we explain why the antecedent of a biscuit conditional is relevant to its consequent by extending Douvenʼs evidential support theory of conditionals making use of utilities. By this extension, we can also explain why a biscuit conditional gives rise to the inference that the consequence is (most likely) true. Finally, we account for the intuition that (indicative) biscuit sentences are false when the antecedent is false and allow for counterfactual biscuits.

InSuppose and Tell, Williamson makes a new and original attempt to defend the material conditional account of indicative conditionals. His overarching argument is that this account offers the best explanation of the data concerning how people evaluate and use such conditionals. We argue that Williamson overlooks several important alternative explanations, some of which appear to explain the relevant data at least as well as, or even better than, the material conditional account does. Along the way, we also show that Williamson (...) errs at important junctures about what exactly the relevant data are. (shrink)

Conventional wisdom has it that many intriguing features of indicative conditionals aren’t shared by subjunctive conditionals. Subjunctive morphology is common in discussions of wishes and wants, however, and conditionals are commonly used in such discussions as well. As a result such discussions are a good place to look for subjunctive conditionals that exhibit features usually associated with indicatives alone. Here I offer subjunctive versions of J. L. Austin’s ‘biscuit’ conditionals—e.g., “There are biscuits on the sideboard if you want them”—and subjunctive (...) versions of Allan Gibbard’s ‘stand-off’ or ‘Sly Pete’ conditionals, in which speakers with no relevant false beliefs can in the same context felicitously assert conditionals with the same antecedents and contradictory consequents. My cases undercut views according to which the indicative/subjunctive divide marks a great difference in the meaning of conditionals. They also make trouble for treatments of indicative conditionals that cannot readily be generalized to subjunctives. (shrink)

This paper is concerned with Sir Peter Strawson’s critical discussion of Paul Grice’s defence of the material implication analysis of conditionals. It argues that although Strawson’s own ‘consequentialist’ suggestion concerning the meaning of conditionals cannot be correct, a related and radically contextualist account is able to both account for the phenomena that motivated Strawson’s consequentialism, and to undermine the material implication analysis by providing a simpler account of the processes that we go through when interpreting conditionals.

The aim is to motivate theoretically a relevance approach to conditionals in a comparative discussion of the main alternatives. In particular, it will be argued that a relevance approach to conditionals is better motivated than the suppositional theory currently enjoying wide endorsement. In the course of this discussion, an argument will be presented for why failures of the epistemic relevance of the antecedent for the consequent should be counted as genuine semantic defects. Furthermore, strategies for dealing with compositionality and the (...) perceived objective purport of indicative conditionals will be put forward. (shrink)

According to Timothy Williamson, we should accept the simplest and most powerful second-order modal logic, and as a result accept an ontology of "bare possibilia". This general method for extracting ontology from logic is salutary, but its application in this case depends on a questionable assumption: that modality is a fundamental feature of the world.

Classical logic yields counterintuitive results for numerous propositional argument forms. The usual alternatives (modal logic, relevance logic, etc.) generate counterintuitive results of their own. The counterintuitive results create problems—especially pedagogical problems—for informal logicians who wish to use formal logic to analyze ordinary argumentation. This paper presents a system, PL– (propositional logic minus the funny business), based on the idea that paradigmatic valid argument forms arise from justificatory or explanatory discourse. PL– avoids the pedagogical difficulties without sacrificing insight into argument.

In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to 'possible worlds'. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact a pervasive symmetry between the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical (...) features situate the reference of terms as near, far or 'further' from the actual or from a reported speech act. We outline various directions in which a program of ontological symmetry could be developed, and we offer in the Appendix a symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. (shrink)

There is a renewed debate about modus ponens. Strikingly, the recent counterexamples in Cantwell, Dreier and MacFarlane and Kolodny are generated by restricted readings of the ‘if’-clause. Moreover, it can be argued on general grounds that the restrictor view of conditionals developed in Kratzer and Lewis leads to counterexamples to modus ponens. This paper provides a careful analysis of modus ponens within the framework of the restrictor view. Despite appearances to the contrary, there is a robust sense in which modus (...) ponens is valid, owing to the fact that conditionals do not only allow for restricted readings but have bare interpretations, too. (shrink)

Conditionals give rise to stand-offs that have become well known from Gibbard’s initial Sly Pete example. The stand-offs can be seen as evidence for the context-sensitivity of conditionals and arguably do not involve disagreement. I claim that the latter feature lends credibility to an indexical treatment of indicatives.

The concept of an evidential conditional If A then C that can be defined by the conjunction of A>C and ¬C>¬A, where > is a conditional of the kind introduced by Stalnaker and Lewis, has recently been studied in a series of papers by Vincenzo Crupi and Andrea Iacona. In this paper I argue that Crupi and Iacona’s central idea that contraposition captures the idea of evidential support cannot be maintained. I give examples showing that contraposition is neither necessary nor (...) sufficient for a conditional’s antecedent supporting its consequent. Crupi and Iacona’s alternative account of evidential conditionals that is based on a probabilistic measure of evidential support cannot add to the credentials of their modal account, because both the theoretical role of contraposition and the resulting logic are different in this account. (shrink)

In this paper, we explain why the antecedent of a biscuit conditional is relevant to its consequent by extending Douvenʼs evidential support theory of conditionals making use of utilities. By this extension, we can also explain why a biscuit conditional gives rise to the inference that the consequence is (most likely) true. Finally, we account for the intuition that (indicative) biscuit sentences are false when the antecedent is false and allow for counterfactual biscuits.

This note begins by retracing my roundabout route to a well-known, but widely dismissed, view of Even-if conditionals (Even-Ifs), namely, that they affirm their consequents, i.e. that [Even if A, C] entails [C]. The route also explains my reluctance to give up on that view in the face of prima facie overwhelming, countervailing linguistic evidence — evidence which has led most philosophers of conditionals to the rival view that Even-Ifs entail the corresponding Ifs: i.e. that [Even if A, C] entails (...) [If A, C].1 The goal of the paper is to provide fresh motivation for the dismissed view, and to offer responses to prima facie persuasive countervailing considerations. What emerges is an account where prevalent uses of Even-Ifs are accounted for at the level of pragmatics rather than by the semantics — hence the ‘topsy-turvy’ in the title. (shrink)

This paper examines a neglected puzzle about conditionals: namely, the fact that each of a pair of conditionals with incompatible consequents, [A > C] and [B > C*], may be properly affirmable in circumstances when one does not believe, and is not entitled to infer, the denial of the conjunction of the antecedents, i.e. ~(A & B). The puzzle is why this should be so, since the conditionals entail the conjunction on the popular accounts of conditionals. I present a pragmatic (...) solution which distinguishes between two levels of affirmability. (shrink)

Complete inferential rigour is achieved by breaking down arguments into steps that are as small as possible: inferential ‘atoms’. For example, a mathematical or philosophical argument may be made completely inferentially rigorous by decomposing its inferential steps into the type of step found in a natural deduction system. It is commonly thought that atomization, paradigmatically in mathematics but also more generally, is pro tanto epistemically valuable. The paper considers some plausible candidates for the epistemic value arising from atomization and finds (...) that none of them fits the bill. In particular, atomized arguments do not ground the correctness of their unatomized counterparts; they are typically not credence-preserving; and they need not reveal the source of inferential disagreement. The moral this suggests is that complete rigour is not even a defeasible epistemic ideal. (shrink)

The two main psychological theories of the ordinary conditional were designed to account for inferences made from assumptions, but few premises in everyday life can be simply assumed true. Useful premises usually have a probability that is less than certainty. But what is the probability of the ordinary conditional and how is it determined? We argue that people use a two stage Ramsey test that we specify to make probability judgements about indicative conditionals in natural language, and we describe experiments (...) that support this conclusion. Our account can explain why most people give the conditional probability as the probability of the conditional, but also why some give the conjunctive probability. We discuss how our psychological work is related to the analysis of ordinary indicative conditionals in philosophical logic. (shrink)

Curry's paradox for "if.. then.." concerns the paradoxical features of sentences of the form "If this very sentence is true, then 2+2=5". Standard inference principles lead us to the conclusion that such conditionals have true consequents: so, for example, 2+2=5 after all. There has been a lot of technical work done on formal options for blocking Curry paradoxes while only compromising a little on the various central principles of logic and meaning that are under threat. -/- Once we have a (...) sense of the technical options, though, a philosophical choice remains. When dealing with puzzles in the logic of conditionals, a natural place to turn is independently motivated semantic theories of the behaviour of "if... then...". This paper argues that the closest-worlds approach outlined in Nolan 1997 offers a philosophically satisfying reason to deny conditional proof and so block the paradoxical Curry reasoning, and can give the verdict that standard Curry conditionals are false, along with related "contraction conditionals". (shrink)

Williamson proposes that a "suppositional procedure" is a central heuristic we use to evaluate the truth of conditionals, though he also argues that this method often leads us astray. An alternative approach to the link between supposition and conditionals is to claim that we are guided by our antecedent conditional judgements in our supposing, and in particular in our determining which things follow from an initial supposition. This alternative explanation of the close link between conditionals and supposition is developed and (...) compared to Williamson's proposal. (shrink)

One of the virtues of the biosemantic view of language is the clarity and simplicity of its description of the general nature of nonrepresentational linguistic constructions. It doesn't follow, however, that it is obvious on this view how these functions should be described individually. After an explanation of the biosemantic approach, initial suggestions are made for analyses of a variety of nonrepresentational constructions that have traditionally been considered problematic. Included are “not”, “is” (of identity), “exists”, “means”, “but”, “if … then”, (...) “possibly” and “true.”. (shrink)

We argue that desire is an attitude that relates a person not to one proposition but rather to two, the first of which we call the object of the desire and the second of which we call the condition of the desire. This view of desire is initially motivated by puzzles about conditional desires. It is not at all obvious how best to draw the distinction between conditional and unconditional desires. In this paper we examine extant attempts to analyse conditional (...) desire. From the failures of those attempts, we draw a moral that leads us to the correct account of conditional desires. We then extend the account of conditional desires to an account of all desires. We attempt to explain the distinction between intrinsic and extrinsic desire in light of our account of desire. We show how to use our account to solve Wollheim’s paradox of democracy and to save modus ponens. Finally, we extend the account of desire to related phenomena, such as conditional promises, intentions, and commands. (shrink)

(No abstract is available for this citation).

This paper addresses each of two of Gutting's three main contentions: that like anyone else, philosophers are entitled to begin with what they find obvious and that philosophy has produced a distinctive body of knowledge. I emphatically agree with the first contention and expand on it, defending a stronger claim. The second contention I dispute, in spirit if not in letter, on each of several grounds.

Why do utterances of counterfactual conditionals typically, but not universally, convey the message that their antecedents are false? I demonstrate that two common theoretical commitments–commitment to the existence of scalar implicature and of informative presupposition—can be supplemented with an independently motivated theory of the presuppositions of competing conditional alternatives to jointly predict this information when and only when it appears. The view works best if indicative and counterfactual conditionals have a closely related semantics, so I conclude by undermining two familiar (...) arguments for a nonunified semantics of indicative and counterfactual conditionals. (shrink)

Conditionals frequently convey that the antecedent is relevant to the consequent. Recently many authors have argued that this relevance is part of the conventional meaning of conditionals, but this approach fails to account for many examples where a conditional is used to conveyirrelevance of antecedent to consequent. Both types of conditionals are best explained by a conventional meaning with no relevance requirement, and a separate process of coherence establishment among successive clauses in discourse. This account is supported by the distribution (...) of discourse particles and is able to account for experimental studies used to support the conventionalist position. (shrink)

Suppose that unobtanium-346 is a rare radioactive isotope. Consider: (1) Every Un346 atom, at its creation, decays within 7 microseconds (µs). (50%) Every Un346 atom, at its creation, has a 50% chance of decaying within 7µs. (1) and (50%) can be true together, but (1) and (50%) cannot together be laws of nature. Indeed, (50%)'s mere (non-vacuous) truth logically precludes (1)'s lawhood. A satisfactory analysis of chance and lawhood should nicely account for this relation. I shall argue first that David (...) Lewis's Humean picture accounts for this relation only by inserting this relation ‘by hand’. Next, I shall argue that this relation between law and chance also threatens a radically non-Humean picture of laws and chances. Finally, I shall offer an account of natural law that nicely explains the relation between chancy facts and deterministic laws. This explanation is not ad hoc because it derives the relation from the very same features of lawhood that account for the laws' special relation to counterfactuals and explain how the laws (unlike the accidents) possess a variety of necessity. The reason that a chancy fact such as (50%) keeps (1) from being a law, without keeping (1) from being true, is ultimately that a chancy fact constrains the subjunctive facts and (1)'s lawhood, unlike (1)'s truth, depends upon the subjunctive facts. (shrink)

I review proposed skepticisms in recent literature (or skeptical invariantisms, if we understand skepticism semantically), contrast their basic commitments and highlight some of their comparative theoretical attractions and problems. To help set the scene for the discussion, I start with Unger’s (1975) modern classic of global skepticism about knowledge (and justification). I then distinguish three extant categories of skepticism in the recent literature: two non‐traditional and one more traditional. On the non‐traditional side are fallibilist science‐based skepticism (which relaxes thestringencyof the (...) standard of knowledge) and practical skepticism (which questions theintellectualcharacter of the standard of knowledge) and on the traditional side high‐standard/infallibilist. I then briefly present and discuss representatives of each category. (shrink)

I review proposed skepticisms in recent literature (or skeptical invariantisms, if we understand skepticism semantically), contrast their basic commitments and highlight some of their comparative theoretical attractions and problems. To help set the scene for the discussion, I start with Unger’s (1975) modern classic of global skepticism about knowledge (and justification). I then distinguish three extant categories of skepticism in the recent literature: two non‐traditional and one more traditional. On the non‐traditional side are fallibilist science‐based skepticism (which relaxes the stringency (...) of the standard of knowledge) and practical skepticism (which questions the intellectual character of the standard of knowledge) and on the traditional side high‐standard/infallibilist. I then briefly present and discuss representatives of each category. (shrink)

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)

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a (...) hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections. (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.