about conditionals. It is a good example of what might be called systematic ordinary

Similar documents
Indicative conditionals

(1) If Bush had not won the last election, then Nader would have won it.

A Little Deductive Logic

A Little Deductive Logic

(So-Called) Paradoxes of Material Implication. Recall the truth table for the material conditional:

Aim of today s lecture. From syllogism to common sense: atourthroughthelogicallandscape Conditionals. What are conditionals? And now...

Kaplan s Paradox and Epistemically Possible Worlds

Conditionals. Chapter 11. Frank Jackson. The Equivalence Theory

127: Lecture notes HT17. Week 8. (1) If Oswald didn t shoot Kennedy, someone else did. (2) If Oswald hadn t shot Kennedy, someone else would have.

Hedging Your Ifs and Vice Versa

The paradox of knowability, the knower, and the believer

Philosophy 5340 Epistemology. Topic 3: Analysis, Analytically Basic Concepts, Direct Acquaintance, and Theoretical Terms. Part 2: Theoretical Terms

Handout 8: Bennett, Chapter 10

FORMAL PROOFS DONU ARAPURA

Kripke on Frege on Sense and Reference. David Chalmers

Conditionals. Daniel Bonevac. February 12, 2013

In Defence of a Naïve Conditional Epistemology

First-Degree Entailment

Natural deduction for truth-functional logic

Introduction to Metalogic

CHAPTER 6 - THINKING ABOUT AND PRACTICING PROPOSITIONAL LOGIC

Epistemic Modals and Informational Consequence

INTENSIONS MARCUS KRACHT

MODAL LOGIC WITH SUBJUNCTIVE MARKERS: A NEW PERSPECTIVE ON RIGID DESIGNATION

1 Classical scalar implicature

Past-as-Past in Japanese Counterfactuals

Must... stay... strong!

8. Reductio ad absurdum

Chapter 14: More on Quantification

What if Every "If Only" Statement Were True?: The Logic of Counterfactuals

Ontology on Shaky Grounds

Truthmaker Maximalism defended again. Eduardo Barrio and Gonzalo Rodriguez-Pereyra

Ling 98a: The Meaning of Negation (Week 5)

Artificial Intelligence: Knowledge Representation and Reasoning Week 2 Assessment 1 - Answers

5. And. 5.1 The conjunction

Gender in conditionals

Deductive and Inductive Logic

CS1021. Why logic? Logic about inference or argument. Start from assumptions or axioms. Make deductions according to rules of reasoning.

Critical Notice: Bas van Fraassen, Scientific Representation: Paradoxes of Perspective Oxford University Press, 2008, xiv pages

Logic Overview, I. and T T T T F F F T F F F F

Formal Logic. Critical Thinking

3 The Semantics of the Propositional Calculus

SIMILARITY IS A BAD GUIDE TO COUNTERFACTUAL TRUTH. The Lewis-Stalnaker logic systems [2] account for a wide range of intuitions about

First Order Logic (1A) Young W. Lim 11/18/13

Classical Menu of Pronouns

is short for the thing which is Pond at t 1

Outline. A Uniform Theory of Conditionals Stalnaker and Beyond. Stalnaker (1975) Uniform Theory of Conditionals and Response to Direct Argument

5. And. 5.1 The conjunction

Paradoxes of special relativity

DISCRETE MATHEMATICS BA202

Intensional semantics: worlds, modals, conditionals

Counterfactuals and comparative similarity

8. Reductio ad absurdum

Philosophy 691: Conditionals

PROOF-THEORETIC REDUCTION AS A PHILOSOPHER S TOOL

Inference and Proofs (1.6 & 1.7)

Conceivability and Modal Knowledge

Final Exam Theory Quiz Answer Page

Truth, Subderivations and the Liar. Why Should I Care about the Liar Sentence? Uses of the Truth Concept - (i) Disquotation.

Quantification in the predicate calculus

PHIL 2480: Metaphysics. Week 1: The Paradoxes of Coincidence

Relevant Logic. Daniel Bonevac. March 20, 2013

Propositional Logic Review

2/2/2018. CS 103 Discrete Structures. Chapter 1. Propositional Logic. Chapter 1.1. Propositional Logic

Logic and Proofs 1. 1 Overview. 2 Sentential Connectives. John Nachbar Washington University December 26, 2014

McTaggart s Argument for the Unreality of Time:

The Process of Mathematical Proof

Homogeneity and Plurals: From the Strongest Meaning Hypothesis to Supervaluations

CONDITIONALS: WEEK 8, INTRO TO SUBJUNCTIVES. 1. Strict Conditionals and Variably Strict Conditionals

Breaking de Morgan s law in counterfactual antecedents

Relations. Carl Pollard. October 11, Department of Linguistics Ohio State University

Abstract: In this paper, I present a schema for generating counterexamples to the

Predicates, Quantifiers and Nested Quantifiers

4 Derivations in the Propositional Calculus

Presuppositions (introductory comments)

Class 29 - November 3 Semantics for Predicate Logic

Philosophy 4310: Conditionals Spring 2017

Strengthening Principles and Counterfactual Semantics

To Infinity and Beyond. To Infinity and Beyond 1/43

Semantics and Generative Grammar. The Semantics of Adjectival Modification 1. (1) Our Current Assumptions Regarding Adjectives and Common Ns

Truth Table Definitions of Logical Connectives

Analyzing Extended Arguments

Temporal Extension. 1. Time as Quantity

Russell s logicism. Jeff Speaks. September 26, 2007

3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations

Basics of conversational implicatures

240 Metaphysics. Frege s Puzzle. Chapter 26

Capturing Lewis s Elusive Knowledge

Philosophy 244: #8 Counterfactuals, Neighborhood Semantics, Probability, Predicative Necessity, etc.

KB Agents and Propositional Logic

A Quick Lesson on Negation

Williamson s Modal Logic as Metaphysics

On Indicative and Subjunctive Conditionals

Spring 2017 Ling 620. The Semantics of Modals, Part 3: The Ordering Source 1

Elementary Linear Algebra, Second Edition, by Spence, Insel, and Friedberg. ISBN Pearson Education, Inc., Upper Saddle River, NJ.

Section 2.1: Introduction to the Logic of Quantified Statements

Introduction to Pragmatics

6. Conditional derivations

Philosophy of Mathematics Structuralism

First Order Logic (1A) Young W. Lim 11/5/13

Transcription:

Wheeler: Lycan s Real Conditionals page 1 William Lycan s Real Conditionals (Oxford University Press 2001; isbn 0-19-924207-0; 223 pp.) Real Conditionals is the result of a couple of decades of William Lycan s thinking about conditionals. It is a good example of what might be called systematic ordinary language philosophy, combining an accommodation of what we would say with the equipment of formal semantics and linguistics. It takes as starting point that most of what most people think to be true remarks are in fact true. The job of philosophical analysis is not to come up with a better and more revealing language, but to understand how ordinary utterances do their job of saying what is the case. The book is packed with arguments, counter-arguments, and examples to ponder. There is much for everyone to admire and something for everyone to disagree with strongly. After setting out the theory and defending the claim that indicative conditionals have truth-values, there are two chapters attempting, inconclusively, to find a satisfactory theory of even if that accords with the over-all theory. A chapter, Indicative/ subjunctive then persuasively applies a main device of the theory, the variable parameter R, about which more below, to the problem of counterfactual versus indicative conditionals. After a discussion of Gibbard s Riverboat Puzzle the book concludes with an appendix, written with Geis, dealing with non-conditional conditionals such as, If you re curious, Fred is the new department head. A postscript to that appendix gives yet another indication that Real Conditionals is a report of work in progress. Real Conditionals begins with a discussion of syntactic features of English if..then sentences. On linguistic grounds, if then sentences are like when then and where there sentences. Thus, If Fred goes, then I ll leave is of the same kind as Where Fred goes, there I ll go and When Fred goes, then I ll go. The natural

Wheeler: Lycan s Real Conditionals page 2 analysis of such sentences is as adverbial clauses. In the when and where sentences, it is further natural to regard them as quantifications over places and times. It is also natural to treat such sentences as having truth-values. It is also natural to regard then and there as resumptive pronouns that pick up the times and places referred to in the previous clauses. Lycan s idea is to extend this quantificational analysis to if..then.. s and related kinds of sentences using unless, even if, only if except if, and the like. For that purpose, some kind of entity must be quantified over. The entity Lycan chooses is adapted from a plausible paraphrase of If Fred shouts, then Bill jumps as In the event that Fred shouts, Bill jumps. Following the in the event that locution, Lycan postulates appropriate events. Appropriate events are, roughly, possible circumstances or situations. Conditionals are quantifications of such events. So, If you leave, then I ll sing, is analyzed as (e)( In (e, you leave ) -> In (e, I sing )). Any event in which you leave is one in which I sing. In is treated as a sentence operator with an extra argument place. In holds between an event e and I sing just in case I sing in the event that e, i.e. just in case that I sing is a part of e. The events the analysis quantifies over are one kind of referent of that - clauses. Events are something like large possible states of affairs, something like intersections of possible worlds, and quite a bit like Barwise and Perry s (1983) situations, as Lycan notes. Fundamentally, however, they are whatever sort of thing event in in the event that Fred is promoted refers to. So they contain and are contained by other events, but, unlike possible worlds, are neutral about some events,

Wheeler: Lycan s Real Conditionals page 3 including neither those events nor their opposites. That is, the non-inclusion of an event B in event A does not amount to the inclusion of the event that not-b in event A. The ontology should not detain us, I think. Perhaps in the event that S can be reduced to something less exotic, perhaps not. In either case, the in the event that sentences seem to be used to say something true, so any theory will have to have an analysis of events in this sense. Lycan s theory reasonably takes them as primitive. This preliminary analysis, though, needs some immediate refinement. Any event is too broad, if we want apparently true conditionals to have true analyses. Consider again If you leave, then I ll sing. One event in which you leave is an event in which I am hit by a meteor. Since that is presumably a possible event, it will not be the case that, in every event in which you leave, I sing. Given that the analysis is correct and that the sentence is true, the quantifier must be restricted by a parameter, R, for relevant and envisaged, more or less. This parameter, a restriction on determined by context and the epistemic state of the speaker, in effect builds assertibility conditions, appropriately modified to conform to reality, into truth-conditions. Exactly what goes into the determination of the parameter is difficult. It is not exactly what the speaker has in mind, since Lycan, for instance, can use conditionals even though he is entertaining the sorts of counter-examples he uses in the book. Lycan can truly say I will be happy if I get a MacArthur even while writing up the accompanying antecedent-strengthenings that would make him miserable. Lycan characterizes the parameter as being set dialectically and conversationally, (page 30) which sounds conventional, perhaps.

Wheeler: Lycan s Real Conditionals page 4 The definition of this parameter occupies much of Lycan s discussion. On the one hand, you would like the parameter to allow some sentences to be true, even though there are possible events that would make the antecedent true and the consequent false. If the events are restricted to actual events, then the conditionals would amount to truthfunctional conditionals, since there is only one leaving event and it either includes or fails to include my singing. On the other hand, if the actual event, because improbable or not envisaged, is not included in the class of possible events R, then we get a conditional that comes out true on the analysis but has an actually true antecedent and a false consequent. The discussions turn on examples of problem conditionals, and the success of various accounts of conditionals to account for them. This is the scorekeeping component of the over-all argument an account of conditionals is better if it can comfortably accommodate more problem sentences than its alternatives. A detailed discussion of even a large number of examples would be a responsive treatise, rather than a review. To give one example, consider the following apparent counter-example to modus ponens, from pages 66-67, using an example from Vann McGee (1985): Premise 1): If a Republican wins, then if it s not Reagan who wins, Anderson will win. (\/e e an element of R) (In(e, a Republican wins) -> In(e, (\/f f an element of R) (In(f, ~(Reagan wins)) -> In(f, Anderson wins))) Premise 2): A Republican wins. (Ee in actuality) (In(e, a Republican wins)) Conclusion: If it s not Reagan who wins, Anderson will win. (\/f f and element of R) (In(f, ~(Reagan wins))->in(f,anderson wins))

Wheeler: Lycan s Real Conditionals page 5 Lycan s account allows a nice explanation of what is happening: The embedded conditional in the first premise has an R that rules out victory by a Democrat, since the events being considered are Republican wins. The conclusion, on the other hand, has no such restriction, and the R includes plausible victories Democratic and Republican. So the counterexample to modus ponens is accounted for as an expected shift of parameter. Lycan has similar success using a reasonable parameter-shift to account for the difference between If Oswald didn t shoot Kennedy someone else did and If Oswald hadn t shot Kennedy someone else would have, in the chapter on the alleged indicative/subjunctive distinction. For this reader, working through this book raises two questions: 1) How do we systematically adjudicate what is part of semantics and what is part of pragmatics? The test of an analysis of the truth-conditions of conditionals is that true conditionals come out true on the analysis. A preliminary question, of course, is whether the conditional in question, in the circumstances described, is true. An appeal to intuition is pretty unreliable, unless we have a module that can detect the difference between inferences that are based on structure and inferences that are based on implicature, for instance. So, with Yogi s famous Nobody goes to that restaurant; it s too crowded, do we make the sentence true by restricting the quantifier appropriately by context, or do we treat our understanding of what Yogi meant as starting from the obvious falsehood and interpreting so that Yogi means something reasonable? The processes and fillings-in seem much the same to me. In the Yogi case, the question is whether the specially restricted quantifier interpretation is treated as a semantic matter, thus part of the form, or as an interpretation

Wheeler: Lycan s Real Conditionals page 6 that makes Yogi reasonable, even though his words are false. When Lycan characterizes the reference class of possible events as excluding (page19) possibilities that would not have occurred to the utterer, one has to wonder how we can include Lycan himself in the class of people able to use comprehensible conditionals, given the rich variety of the possibilities he constructs. Lycan s account puts the maximum into truth-conditions. It s hard to see how the characterizations of R will actually work to admit and exclude the appropriate cases. If Bill says, If the plane leaves on time, I ll be in Charlotte by 8:00, the reference class of possible events cannot include the possibility that the plane will crash, if his utterance is true. But it is hard to imagine anyone getting on a plane who does not envisage a crash as a real possibility. Perhaps he s not taking that possibility into account, or implicitly meaning unless I crash. But these patches would in effect take people off the hook as long as it did not happen that the antecedent was true and the consequent false. Of course, one can say that he didn t mean that, but does mean have to characterize the semantic content of his utterance? Since every theory of understanding and communication has to construct something like the R -classes, the above questions may be just questions of what is properly called semantics. And that issue may only be answered by a complete theory that handles everything. 2) The second issue is why the counterexamples seem to always be future tense. Most of the counterexamples to the traditional view that, for instance, modus ponens is valid, work only with examples in the future tense. The antecedent-strengthening examples, for instance, if put in the past tense, are unpersuasive. If Smedley finished his book, I

Wheeler: Lycan s Real Conditionals page 7 was happy does imply If Smedley finished his book and concluded it with a vicious personal attack on me, I was happy. If it is true that you were happy in that event, you were happy, whatever untoward accompaniments there may have been. Other examples are so odd that intuition fails. From page 32, If it rains tomorrow there will not be a cloudburst./ If there is a cloudburst tomorrow it will not rain, becomes, If it rained yesterday, there was not a cloudburst/ If there was a cloudburst, it did not rain. Since the conditional is presumably based on seeing how little erosion there was, the contrapositive can only be a conditional like If Clinton is a statesman, then I m a monkey s uncle, i.e. an odd way of denying the antecedent. So, something about the future tense matters in these conditionals. Future tense clauses, however, are plausibly modalities. For one thing, as Lycan notes, Dudman (1983, 1984) has argued that conditionals with future consequents are virtually synonymous with subjunctives. Futures are not actual, even though some features of those futures may be knowable. Woods (1997, pages 82-83) notes that syntactic futures can be used as modals. There is a knock at the door. That will be Fred / That must be Fred. We can also note that future tense that -clauses are not factive in subject position. That the stock market will fall worries John does not imply that the stock market will fall; whereas That the stock market fell/is falling worries John does so imply. Suppose the future tense is a modal construction, and deals with not-yet real possibilities. Suppose also that would in counterfactuals is actually the future tense of will, as Wood argues. Then Lycan has a great explanation of why conditionals seem to be truth-functional in the present and the past: The conditionals have the same form in both

Wheeler: Lycan s Real Conditionals page 8 past, present, and future. A conditional is a quantified truth-functional conditional. In the past and present tenses, however, the quantifier over events determines either a single event, the one that actually happens or happened, or no event at all. In either case, Lycan s analysis comes out true. In either case, the analysis in the case of past and present-tense sentences will amount to a truth-function. The truth-functional conditional thus works for past and present tenses because they constitute the degenerate case of the if then construction in which the domain of the quantifier is a single event, the one that actually happened or is happening. Works referred to: Barwise and Perry, eds. 1983. Situations and Attitudes, MIT Press. Dudman, V., 1983. Tense and Time in English Verb Clusters of the Primary Pattern, Australian Journal of Linguistics 3, pp.25-44. Dudman, V., 1984. Conditional Interpretations of If-Sentences, Australian Journal of Linguistics, 4, pp. 143-204. McGee, V., 1985. A Counterexample to Modus Ponens, Journal of Philosophy, 82, pp.462-471. Woods, M., 1997. Conditionals, Oxford UP.