Space, Time and Causality: Causa4on, II. David Lewis s Counterfactual Account

Size: px
Start display at page:

Download "Space, Time and Causality: Causa4on, II. David Lewis s Counterfactual Account"

Transcription

1 Space, Time and Causality: Causa4on, II David Lewis s Counterfactual Account

2 The New David

3 Prelude: What Went Wrong with Mackie? Several things, but we ll review just one: The (Just About) Any Old Fact Problem

4 The Any Old Fact Problem If we understand claims about necessary condilons/sufficient condilons in terms of material condilonals and/or logical entailment, too many things get counted as causes

5 Any Old Fact Example Suppose condilon AB is a minimal sufficient condilon for E Take any fact T, reporlng the occurrence of an event which is not a cause of E (Not T or A)B is not a minimal sufficient condilon for E But T(Not T or A)B is a minimal sufficient condilon for E, and T gets counted as an INUS condilon of E auer all

6 A Way Out? Mackie suggests we understand necessary condilons and sufficient condilons in terms of non material condilonals, e.g. The short occurring was a necessary condilon of the fire occurring to be understood in terms of If the the short had not occurred, then the fire would not have occurred either

7 An Obstacle Mackie s proposal raises the queslon of how we are to understand the relevant nonmaterial condilonals Familiar worries: Epistemology How do we have knowledge of them? Metaphysical Can we give a reduclve account of their truth?

8 Mackie s View of Counterfactuals Mackie suggests that the counterfactual condilonals are compressed arguments Can this work?

9 Mackie on Counterfactual CondiLonals If we said that a short circuit here was a necessary condilon for a fire in this house, we should be saying that there are true universal proposi8ons from which, together with true statements about the characterislcs of this house, and together with the supposilon that a short circuit did not occur here, it would follow that the house did not catch fire (Mackie 1965, p. 49 in Study Pack version; emphasis added)

10 The Beginnings of a Problem We need laws of nature plus facts to rule out the occurrence of a fire It s not enough that taking some laws plus some facts (supposing X not to have occurred) fails to entail the occurrence of a fire that would give us a version of AnyOldFacts

11 The Problem Arrives The facts and the laws will tend to entail the occurrence of the event we want to suppose not to occur (e.g. The state of the wiring in the fusebox, plus the laws of nature, may entail the occurrence of the short) So, adding the supposilon to our pool of facts and laws may simply result in contradiclon (and entail anything)

12 An Alterna4ve Approach: David Lewis s Account Lewis aims to provide an account of causalon in terms of counterfactual condilonals He gives an account of counterfactual condilonals different from Mackie s

13 Preliminary: Counterfactual CondiLonals Counterfactual claims are what ifs, e.g. If Elizabeth I had married Philip of Spain, the industrial revolulon would not have occurred in England More clearly and properly expressed as subjunc8ves: If it were the case that p, then it would have been the case that q

14 A Simple Counterfactual Account of CausaLon c causes e iff If it had been that c did not occur, e would not have occurred either e.g. Don s fall caused his death: If it had been that Don s fall did not occur, Don s death would not have occurred either

15 The Counterfactual (CF) Account and Cosmic Coincidence I will Brown s sandwich shop to have Mexicana Cheese on sale, and they do (just like every other Lme I will that) The CF account seems to avoid saying my willings cause the sandwich makings, because the following is (plausibly) false: If it had been that my willing did not occur, then the sandwich making would not have occurred either

16 3 Worries About Counterfactuals Can we explain how we have knowledge of counterfactual claims? Can we give a reduclve account of them (without menloning unreduced causal facts)? Are they simply too vague, woolly, and poorlyunderstood to help explain/explicate causalon?

17 Lewis s Account of Counterfactuals Key QuesLon: What makes a counterfactual true? Lewis gives a reduclve account of counterfactuals in terms of possible worlds

18 Possible Worlds Possible worlds are ways things could have been A possible world is a complete or maximal way things could have been: a way an en8re possible universe could be

19 A Simple Account of Truth for Counterfactuals? Is the following right? If it had been the case that p, then it would have been that q iff in every possible world in which p, it is the case that q It would seem not

20 A Counterexample to the Simple Account If I had placed my finger between the door and frame at the hinge side and slammed the door, I would have suffered a horrible injury True, despite the fact that there are some possible worlds in which the door behaves like foam rubber, or my hands are covered in bony hide Plausibly, these worlds just aren t close enough to ours to count

21 Lewis s Account of Counterfactuals If it had been that p, then it would have been that q iff In the worlds in which p closest to the actual world, it is also the case that q Closest? At a first, rough try = Most similar

22 A Simple Counterfactual Account of CausaLon c causes e iff in the possible worlds closest to the actual world in which c does not occur, e does not occur either e.g. The short circuit caused the fire iff in the possible worlds closest to the actual world in which the short does not occur, the fire does not occur either

23 Aside: Knowledge of Counterfactuals Worry: How do we know enough about possible worlds to know counterfactuals? Possible Response: We can describe possible worlds, and make informed judgements about their similarity etc., and we know what possibililes there are independently of experience of them

24 A Problem with Closeness? I strike a match; it ignites The simple CF theory says: The striking causes the ignilon iff In the closest worlds in which the striking does not occur, neither does the ignilon

25 A Problem with Closeness Actual World: Striking IgniLon World 1: No Striking IgniLon World 2: No Striking No IgniLon In one sense, World 1 seems more similar to the actual world than World 2 it differs less in terms of par8cular ma>ers of fact

26 Laws and Closeness Note first that intuilvely the no strike noignilon world is closer but what s driving our intuilon? Proposal: In general, laws (of nature) should be given more weight than parlcular mamers of fact in determining closeness

27 Dilemma OpLon 1: Say laws are all and only the true generalizalons Problem(s): We ll run into the troubles which faced simple regularity accounts OpLon 2: Say laws are not mere true generalizalons Problem: Seems to risk difficulles over epistemology or metaphysics (lack of reduclon)

28 Lewis s Best System Account of Laws A generaliza4on is a law iff it appears in the best systema-c account of the facts On Lewis s view, laws are generalizalons, but not all generaliza8ons are laws In Lewis s terms, laws do not, in themselves, have counterfactual force (Lewis gives a reduc8ve account of lawhood)

29 Best System An account of the facts is the best iff it has the best balance of simplicity and strength One account is simpler than another if it involves fewer basic rules, or kinds, or properles One account is stronger than another if it covers (predicts, entails) more of the facts

30 A GeneralizaLon Which Isn t a Law Every Lme Barry wills there to be Mexicana cheese sarnies in Brown s, there are Suppose this is a true generalizalon It seems it won t count as a law, because it won t figure in the best system (what will are the generalizalons of empirical science)

31 Interim Summary We have the beginnings of a counterfactual account of causalon c causes e iff in the possible worlds closest to the actual world in which c does not occur, neither does e Closeness is a mamer of similarity, but with more weight given to best system generalizalons

32 Lewis s Account: Problems and Refinements We have the basic outline of Lewis s account in view The account faces a number of problems, which force adjustments Let s see how well Lewis s account stands up to crilcism

33 Some Shorthand NotaLon Shorthand Read as O(a) Event a occurs ~X It is not the case that X ~O(a) It s not the case that event a occurs A B In the closest worlds in which A, it is the case that B <a, b, c, d> The things a, b, c, d considered in that order

34 A Problem: Pre emplon Short c Sparks d Ignition g Fire e Arsonist sees sparks and runs off Closest No Short World? Arsonist sees no sparks and ignites some fire gel f Fire e

35 The Problem with Pre EmpLon The account says: The short c causes the fire e iff in the closest possible worlds in which it is not the case that c occurs, e does not occur either But this seems false in the pre emplon case

36 Lewis s Refinement: Chains of Counterfactual Dependence c causes e iff there is a chain of counterfactual dependence running from c to e b counterfactually depends on a iff ~O(a) ~O(b) <h, i, j, k> is a chain of counterfactual dependence iff k cf depends on j, j cf depends and so on

37 Chains and the Arsonist c: short d: sparks g: ignilon e: fire f: arsonist lighlng gel Actual world: O(c), O(d), O(g), O(e), ~O(f) World w*: ~O(c), ~O(d), ~O(g), O(f), O(e) World w : O(c), O(d), ~O(g), ~O(e), ~O(f) In the closest world in which ~O(c), it is slll the case that e occurs, but there is a chain of CF dependence between c and e, so c gets counted as a cause of e by the revised account

38 The Key The closest world at which there is no ignilon (of the flammable material) there are sparks (O(d)), so the arsonist has run off (~O(f))

39 Something Fishy? You might think there s something dodgy about Lewis s solulon to pre emplon Actual World: Sparks IgniLon World 3: Sparks No IgniLon World 4: No Sparks No IgniLon The solulon requires World 3 to be a closer No Igni8on world than World 4. How can that be right? We ll come back to this

40 Two Related Problems Now we ll look at two problems related to the issue we just noted The DirecLon of CausaLon (Lewis s Problem of Effects ) The Problem of Epiphenomena

41 The DirecLon of CausaLon The striking caused the ignilon Lewis: In the closest worlds in which the striking (c) does not occur, neither does the ignilon (e) But what are the closest no ignilon worlds like? (Favouring retenlon of the laws of our world)???in the closest worlds in which the ignilon does not occur, neither does the striking?? If so, Lewis s account would say the effect caused its cause!

42 Insist on Temporal Order? We could just say that effects have to come auer their causes in Lme? But this would Rule out back over causalon a priori Block giving an account of Lme direclon in terms of the prevailing direclon of causalon Fail to deal with the next problem

43 The Problem of Epiphenomena Pressure Drop d Barometer Fall b Rain Shower r It would seem that ~O(b) ~O(r) If so, the Lewis s account says that b causes r!

44 Closeness of Worlds Lewis s proposed solulons to these problems rely on more specific views about closeness between worlds Lewis first thought that comparalve overall similarity could be taken as basic in determining closeness (1973) But later (1979) he proposed a more specific and complex account, to deal with the problems

45 Closeness of Worlds [To find a closer world (in importance order)] (1) Avoid big, widespread violalons of our (i.e. the actual) laws of nature (very important) (2) Maximize the spalo temporal extent of perfect match of parlcular mamers of fact (3) Avoid small, localized violalons of our laws (4) Secure approximate similarity of parlcular mamers of fact (not at all important)

46 Lewis s View on DirecLon Lewis: In the problemalc direclon cases we can have ~O(c) ~O(e) but deny ~O(e) ~O(c) The closest no c worlds are no e worlds The closest no e worlds are not (all) no c worlds But how can this be?

47 The Key to Lewis s Proposed SoluLon OverdeterminaLon is hugely more common causally upstream than it is causally downstream That is events typically have many effects which (together with laws) determine that they exist and events typically have few causes which (together with laws) determine that they exist

48 The Asymmetry of OverdeterminaLon A typical cause and effect pair (in a world like ours) c f1 f2 f3 f4 e f5 f6 f7 f8 Lewis s view of a normal case of cause and effect Cause c has many determining consequences, f1 to f4. A world in which e does not occur and c does not occur will have to deal with the links between c and f1 to f4.

49 The Asymmetry of OverdeterminaLon Example: Barry fondly strokes Chris s head (c), warming it slightly (e) You all see the stroking i.e. the pamern of light at your viewpoint is enough to determine its occurrence (given our laws)

50 The Fond Stroke Example In the closest worlds in which c (the fond stroke) does not occur, neither does e (the warming) for one thing, this avoids a breach of consideralon (3) In the closest worlds in which e (the warming) does not occur, c (the fond stroke) does this avoids breaches of (1) and (2)

51 The State of Play Lewis s asymmetry of overdeterminalon move allows him responses to: The accusalon of fishiness in his treatment of pre emplon (sparks with no ignilon) The DirecLon of CausaLon / Problem of Effects The Problem of Epiphenomena But we ain t done yet

52 Problem: Causal OverdeterminaLon Recall the kind of case: J is shot in the head by each of 2 assailants J dies as a result Each individual shot would have been fatal on its own (J s death is overdetermined) In the closest worlds in which one par8cular shot does not occur, the death s8ll occurs

53 Causal OverdeterminaLon: Lewis s Response We do not have clear intuilons about cases of overdeterminalon so, they don t provide useful data for theories of causalon (QuesLon for you: Is this salsfactory?)

54 Pre EmpLon Again A different kind of case: Two bullets, b 1 and b 2, are moving toward a target; b 1 reaches it first, and a holing of the target (h) occurs Had the movement of b 1 not occurred, the movement of b 2 would slll have occurred, and so h would slll have occurred also

55 The Armageddon Counterfactual Suppose there is an Armageddon bumon, connected to a flawlessly designed, perfectly constructed, and scrupulously maintained Armageddon system, but the bumon is never pushed, and no NH occurs (AC) If Obama were to push the Armageddon bumon, then a nuclear holocaust would follow

56 A Problem with Armageddon (AC) If Obama were to push the Armageddon bumon, then a nuclear holocaust would follow The condilonal (AC) seems true in the circumstances, but intuilvely the most similar bumon push world has no holocaust Why believe the very special form of similarity posited by Lewis is aclve in our thinking?

57 The AucLon Example At auclon, I raise my right hand (r); the aucloneer forms a belief I ve made a bid (b) IntuiLvely, the raising, r, causes the belief formalon, b Lewis s Account seems to require: Had r not occurred, b would not either

58 A Problem with Events Had right hand raising r not occurred, belief formalon b would not either But I could have raised my hand higher, and if I d found my right arm limp or constrained, would have raised my leu (QuesLons for you: What problem does this raise for Lewis? Can he deal with it?)

59 EvaluaLng Lewis s Account Are any of the problems fatal? How sa8sfying is the amended theory? (Complexity, intuilveness, independent molvalon of principles) Any doubts about components? (Counterfactuals, Account of Laws, Worlds)

60 DirecLons: What Have We Gained? Whether or not you believe Lewis s parlcular account, it opens up the possibility of providing a reduclve account in terms of counterfactuals CF accounts seem to be a step on from simple regularity accounts Broadened horizons: Note what forms causalon might take, if it were a mamer of CF dependence AlternaLves: ConsideraLon of the problems facing CF accounts may lead you to favour other kinds of account

Space, Time and Causality, Lectures 9 & 10: Causation: Regularity Accounts

Space, Time and Causality, Lectures 9 & 10: Causation: Regularity Accounts Space, Time and Causality, Lectures 9 & 10: Causation: Regularity Accounts Overview and Intended Outcomes: By the end of this week s work you ll be able to: explain the idea of providing a reductive account

More information

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

(1) If Bush had not won the last election, then Nader would have won it. 24.221 Metaphysics Counterfactuals When the truth functional material conditional (or ) is introduced, it is normally glossed with the English expression If..., then.... However, if this is the correct

More information

Tooley on backward causation

Tooley on backward causation Tooley on backward causation Paul Noordhof Michael Tooley has argued that, if backward causation (of a certain kind) is possible, then a Stalnaker-Lewis account of the truth conditions of counterfactuals

More information

Lewis Counterfactual Theory of Causation

Lewis Counterfactual Theory of Causation Lewis Counterfactual Theory of Causation Summary An account only of deterministic, token causation. Causation = counterfactual dependence + right semantics for counterfactuals + transitivity E depends

More information

CAUSATION. Chapter 5. Humean Reductionism - Counterfactual Approaches

CAUSATION. Chapter 5. Humean Reductionism - Counterfactual Approaches CAUSATION Chapter 5 Humean Reductionism - Counterfactual Approaches A second important reductionist approach attempts to analyze causation in terms of counterfactuals. Such approaches come in different

More information

Indicative conditionals

Indicative conditionals Indicative conditionals PHIL 43916 November 14, 2012 1. Three types of conditionals... 1 2. Material conditionals... 1 3. Indicatives and possible worlds... 4 4. Conditionals and adverbs of quantification...

More information

Counterfactuals and comparative similarity

Counterfactuals and comparative similarity Counterfactuals and comparative similarity Jeremy Goodman Draft of February 23, 2015 Abstract An analysis of counterfactuals in terms of the comparative similarity of possible worlds is widely attributed

More information

CAUSATION CAUSATION. Chapter 10. Non-Humean Reductionism

CAUSATION CAUSATION. Chapter 10. Non-Humean Reductionism CAUSATION CAUSATION Chapter 10 Non-Humean Reductionism Humean states of affairs were characterized recursively in chapter 2, the basic idea being that distinct Humean states of affairs cannot stand in

More information

Appendix A Lewis s Counterfactuals

Appendix A Lewis s Counterfactuals Appendix A Lewis s Counterfactuals I will briefly describe David Lewis s possible world semantics of counterfactual conditionals (1973, p. 13). Let us understand a possible world simply as a way things

More information

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models Contents Mathematical Reasoning 3.1 Mathematical Models........................... 3. Mathematical Proof............................ 4..1 Structure of Proofs........................ 4.. Direct Method..........................

More information

Précis of Modality and Explanatory Reasoning

Précis of Modality and Explanatory Reasoning Précis of Modality and Explanatory Reasoning The aim of Modality and Explanatory Reasoning (MER) is to shed light on metaphysical necessity and the broader class of modal properties to which it belongs.

More information

Response to Kadri Vihvelin s counterfactuals and dispositions

Response to Kadri Vihvelin s counterfactuals and dispositions University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Faculty Publications - Department of Philosophy Philosophy, Department of 2012 Response to Kadri Vihvelin s counterfactuals

More information

The paradox of knowability, the knower, and the believer

The paradox of knowability, the knower, and the believer The paradox of knowability, the knower, and the believer Last time, when discussing the surprise exam paradox, we discussed the possibility that some claims could be true, but not knowable by certain individuals

More information

Handout 8: Bennett, Chapter 10

Handout 8: Bennett, Chapter 10 Handout 8: Bennett, Chapter 10 Philosophy 691: Conditionals Northern Illinois University Fall 2011 Geoff Pynn terminology 1. Chapters 10-18 concern subjunctive conditionals, which Bennett distinguishes

More information

Lecture 12: Arguments for the absolutist and relationist views of space

Lecture 12: Arguments for the absolutist and relationist views of space 12.1 432018 PHILOSOPHY OF PHYSICS (Spring 2002) Lecture 12: Arguments for the absolutist and relationist views of space Preliminary reading: Sklar, pp. 19-25. Now that we have seen Newton s and Leibniz

More information

Objective probability-like things with and without objective indeterminism

Objective probability-like things with and without objective indeterminism Journal reference: Studies in History and Philosophy of Modern Physics 38 (2007) 626 Objective probability-like things with and without objective indeterminism László E. Szabó Theoretical Physics Research

More information

David Lewis. Void and Object

David Lewis. Void and Object David Lewis Void and Object Menzies Theory of Causation Causal relation is an intrinsic relation between two events -- it is logically determined by the natural properties and relations of the events.

More information

Regularity analyses have failed; it is time to give up and try something else: a counterfactual analysis.

Regularity analyses have failed; it is time to give up and try something else: a counterfactual analysis. David Lewis Causation, in: Papers II p. 160: Causation is not the only causal relation. Regularity analyses have failed; it is time to give up and try something else: a counterfactual analysis. p. 161:

More information

Topic 4: Causation and conditionals

Topic 4: Causation and conditionals Causation and conditionals http://philosophy.ucsd.edu/faculty/wuthrich/ 130 Metaphysics Fall 2012 Conditionals: If p, then q. Subjunctive and indicative conditionals Analyzing counterfactuals Closeness

More information

CS1800: Strong Induction. Professor Kevin Gold

CS1800: Strong Induction. Professor Kevin Gold CS1800: Strong Induction Professor Kevin Gold Mini-Primer/Refresher on Unrelated Topic: Limits This is meant to be a problem about reasoning about quantifiers, with a little practice of other skills, too

More information

CS 124 Math Review Section January 29, 2018

CS 124 Math Review Section January 29, 2018 CS 124 Math Review Section CS 124 is more math intensive than most of the introductory courses in the department. You re going to need to be able to do two things: 1. Perform some clever calculations to

More information

Spring 2018 Ling 620 The Basics of Intensional Semantics, Part 1: The Motivation for Intensions and How to Formalize Them 1

Spring 2018 Ling 620 The Basics of Intensional Semantics, Part 1: The Motivation for Intensions and How to Formalize Them 1 The Basics of Intensional Semantics, Part 1: The Motivation for Intensions and How to Formalize Them 1 1. The Inadequacies of a Purely Extensional Semantics (1) Extensional Semantics a. The interpretation

More information

David Lewis. Causation

David Lewis. Causation David Lewis Causation Conceptual Analysis of Causation Even if Hume is wrong and we do sometimes perceive causation, what we observe are always singular causal relation not the causal relation. How do

More information

Contrastive Causation

Contrastive Causation Contrastive Causation Making Causation Contrastive What this talk presupposes... The counterfactual account of causation... and its discontents (counterexamples) Recently, some philosophers have tried

More information

Of Miracles and Interventions

Of Miracles and Interventions Of Miracles and Interventions Abstract Lewis (1973, 1979) claims that, for the purposes of delivering a counterfactual analysis of causation, counterfactuals of the form if c hadn t occurred, then e wouldn

More information

Quadratic Equations Part I

Quadratic Equations Part I Quadratic Equations Part I Before proceeding with this section we should note that the topic of solving quadratic equations will be covered in two sections. This is done for the benefit of those viewing

More information

Choosing Logical Connectives

Choosing Logical Connectives Choosing Logical Connectives 1. Too Few Connectives?: We have chosen to use only 5 logical connectives in our constructed language of logic, L1 (they are:,,,, and ). But, we might ask, are these enough?

More information

Faculty of Philosophy, University of Cambridge Michaelmas Term Part IA: Metaphysics Causation

Faculty of Philosophy, University of Cambridge Michaelmas Term Part IA: Metaphysics Causation Michaelmas Term 2013 Brief description of lectures These lectures will introduce the metaphysics of causation (or causality, or cause and effect). After a brief introduction to the topic, and some historical

More information

Kaplan s Paradox and Epistemically Possible Worlds

Kaplan s Paradox and Epistemically Possible Worlds Kaplan s Paradox and Epistemically Possible Worlds 1. Epistemically possible worlds David Chalmers Metaphysically possible worlds: S is metaphysically possible iff S is true in some metaphysically possible

More information

Cambridge University Press How to Prove it: A Structured Approach: Second edition Daniel J. Velleman Excerpt More information

Cambridge University Press How to Prove it: A Structured Approach: Second edition Daniel J. Velleman Excerpt More information Introduction What is mathematics? High school mathematics is concerned mostly with solving equations and computing answers to numerical questions. College mathematics deals with a wider variety of questions,

More information

EASTERN DIVISION OF THE AMERICAN PHILOSOPHICAL ASSOCIATION 2009 GROUP MEETING: THE PHILOSOPHY OF TIME SOCIETY

EASTERN DIVISION OF THE AMERICAN PHILOSOPHICAL ASSOCIATION 2009 GROUP MEETING: THE PHILOSOPHY OF TIME SOCIETY EASTERN DIVISION OF THE AMERICAN PHILOSOPHICAL ASSOCIATION 2009 GROUP MEETING: THE PHILOSOPHY OF TIME SOCIETY PRESENTIST TIME TRAVEL AND THE LIMITS OF PRESENTIST CAUSALITY COMMENTATOR: MICHAEL NELSON UNIVERSITY

More information

Baker. 1. Classical physics. 2. Determinism

Baker. 1. Classical physics. 2. Determinism Baker Ted Sider Structuralism seminar 1. Classical physics Dynamics Any body will accelerate in the direction of the net force on it, with a magnitude that is the ratio of the force s magnitude and the

More information

Are Quantities Qualitative?

Are Quantities Qualitative? Are Quantities Qualitative? Cian Dorr Metaphysics of Quantity conference, NYU: 1 May 2015 1. Qualitative versus haecceitistic properties It would be nice to be able to provide an uncontroversial definition

More information

3. Nomic vs causal vs dispositional essentialism. 1. If quidditism is true, then properties could have swapped their nomic roles.

3. Nomic vs causal vs dispositional essentialism. 1. If quidditism is true, then properties could have swapped their nomic roles. Nomic Essentialism Ted Sider Structuralism seminar 1. Natural necessity Law of nature Causation Counterfactual Disposition Chance Rough unifying idea: these are modal, in that they involve tendencies and

More information

In Defence of a Naïve Conditional Epistemology

In Defence of a Naïve Conditional Epistemology In Defence of a Naïve Conditional Epistemology Andrew Bacon 28th June 2013 1 The data You pick a card at random from a standard deck of cards. How confident should I be about asserting the following sentences?

More information

DISCUSSION CENSORED VISION. Bruce Le Catt

DISCUSSION CENSORED VISION. Bruce Le Catt Australasian Journal of Philosophy Vol. 60, No. 2; June 1982 DISCUSSION CENSORED VISION Bruce Le Catt When we see in the normal way, the scene before the eyes causes matching visual experience. And it

More information

Kripke and Two-Dimensionalism. David Chalmers

Kripke and Two-Dimensionalism. David Chalmers Kripke and Two-Dimensionalism David Chalmers Overview 1. Are Kripke s views in Naming and Necessity consistent with epistemic twodimensionalism? 2. What s the relationship between Kripke s anti-materialist

More information

PHIL 422 Advanced Logic Inductive Proof

PHIL 422 Advanced Logic Inductive Proof PHIL 422 Advanced Logic Inductive Proof 1. Preamble: One of the most powerful tools in your meta-logical toolkit will be proof by induction. Just about every significant meta-logical result relies upon

More information

So, what are special sciences? ones that are particularly dear to the author? ( Oh dear. I am touched. Psychology is just, so, well, special!

So, what are special sciences? ones that are particularly dear to the author? ( Oh dear. I am touched. Psychology is just, so, well, special! Jerry Fodor and his Special Sciences So, what are special sciences? ones that are particularly dear to the author? ( Oh dear. I am touched. Psychology is just, so, well, special! ) The use of special in

More information

Introduction to Algorithms / Algorithms I Lecturer: Michael Dinitz Topic: Intro to Learning Theory Date: 12/8/16

Introduction to Algorithms / Algorithms I Lecturer: Michael Dinitz Topic: Intro to Learning Theory Date: 12/8/16 600.463 Introduction to Algorithms / Algorithms I Lecturer: Michael Dinitz Topic: Intro to Learning Theory Date: 12/8/16 25.1 Introduction Today we re going to talk about machine learning, but from an

More information

Introduction to Philosophy Philosophy 110W Spring 2011 Russell Marcus

Introduction to Philosophy Philosophy 110W Spring 2011 Russell Marcus Introduction to Philosophy Philosophy 110W Spring 2011 Russell Marcus February 18 Smart, The Tenseless Theory of Time aka the B-Theory Marcus, Modern Philosophy, Spring 2010, Slide 1 The Presentist A-Theory

More information

Symbolic Logic Outline

Symbolic Logic Outline Symbolic Logic Outline 1. Symbolic Logic Outline 2. What is Logic? 3. How Do We Use Logic? 4. Logical Inferences #1 5. Logical Inferences #2 6. Symbolic Logic #1 7. Symbolic Logic #2 8. What If a Premise

More information

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.

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. I. Counterfactuals I.I. Indicative vs Counterfactual (LfP 8.1) The difference between indicative and counterfactual conditionals comes out in pairs like the following: (1) If Oswald didn t shoot Kennedy,

More information

Dr. Truthlove, or How I Learned to Stop Worrying and Love Bayesian Probabilities

Dr. Truthlove, or How I Learned to Stop Worrying and Love Bayesian Probabilities Dr. Truthlove, or How I Learned to Stop Worrying and Love Bayesian Probabilities Kenny Easwaran 10/15/2014 1 Setup 1.1 The Preface Paradox Dr. Truthlove loves believing things that are true, and hates

More information

LECTURE FOUR MICHAELMAS 2017 Dr Maarten Steenhagen Causation

LECTURE FOUR MICHAELMAS 2017 Dr Maarten Steenhagen   Causation LECTURE FOUR MICHAELMAS 2017 Dr Maarten Steenhagen ms2416@cam.ac.uk http://msteenhagen.github.io/teaching/ Causation These lectures Lecture 1: The very idea of a cause Lecture 2: Regularity theories Lecture

More information

PHI Searle against Turing 1

PHI Searle against Turing 1 1 2 3 4 5 6 PHI2391: Confirmation Review Session Date & Time :2014-12-03 SMD 226 12:00-13:00 ME 14.0 General problems with the DN-model! The DN-model has a fundamental problem that it shares with Hume!

More information

15 Skepticism of quantum computing

15 Skepticism of quantum computing 15 Skepticism of quantum computing Last chapter, we talked about whether quantum states should be thought of as exponentially long vectors, and I brought up class BQP/qpoly and concepts like quantum advice.

More information

Scientific Explanation- Causation and Unification

Scientific Explanation- Causation and Unification Scientific Explanation- Causation and Unification By Wesley Salmon Analysis by Margarita Georgieva, PSTS student, number 0102458 Van Lochemstraat 9-17 7511 EG Enschede Final Paper for Philosophy of Science

More information

Comments on Markosian s How Fast Does Time Pass?

Comments on Markosian s How Fast Does Time Pass? Comments on Markosian s How Fast Does Time Pass? In 2 of his paper Markosian tries to spell out what he means to say when he says that time passes. Most of his discussion has to do with temporal language

More information

To Infinity and Beyond

To Infinity and Beyond To Infinity and Beyond 25 January 2012 To Infinity and Beyond 25 January 2012 1/24 The concept of infinity has both fascinated and frustrated people for millenia. We will discuss some historical problems

More information

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

SIMILARITY IS A BAD GUIDE TO COUNTERFACTUAL TRUTH. The Lewis-Stalnaker logic systems [2] account for a wide range of intuitions about SIMILARITY IS A BAD GUIDE TO COUNTERFACTUAL TRUTH ABSTRACT. The most popular theory of how to evaluate counterfactuals is to use the Lewis- Stalnaker logic together with some reasonably tractable refinement

More information

Preptests 55 Answers and Explanations (By Ivy Global) Section 4 Logic Games

Preptests 55 Answers and Explanations (By Ivy Global) Section 4 Logic Games Section 4 Logic Games Questions 1 6 There aren t too many deductions we can make in this game, and it s best to just note how the rules interact and save your time for answering the questions. 1. Type

More information

Popper s Measure of Corroboration and P h b

Popper s Measure of Corroboration and P h b Popper s Measure of Corroboration and P h b Darrell P. Rowbottom This paper shows that Popper s measure of corroboration is inapplicable if, as Popper also argued, the logical probability of synthetic

More information

Intermediate Logic. Natural Deduction for TFL

Intermediate Logic. Natural Deduction for TFL Intermediate Logic Lecture Two Natural Deduction for TFL Rob Trueman rob.trueman@york.ac.uk University of York The Trouble with Truth Tables Natural Deduction for TFL The Trouble with Truth Tables The

More information

Why Care About Counterfactual Support? The Cognitive Uses of Causal Order Lecture 2

Why Care About Counterfactual Support? The Cognitive Uses of Causal Order Lecture 2 Why Care About Counterfactual Support? The Cognitive Uses of Causal Order Lecture 2 You Do Care About Counterfactual Support Two Regularities All uranium spheres are less than a mile in diameter All gold

More information

For Philosophy and Phenomenolgical Research

For Philosophy and Phenomenolgical Research For Philosophy and Phenomenolgical Research The main conclusion of Jaegwon Kim s admirable Mind and the Physical World is that the mindbody problem- Descartes problem of explaining how mental causation

More information

Comments on Conditional propositions and conditional assertions

Comments on Conditional propositions and conditional assertions Comments on Conditional propositions and conditional assertions (An)Thony Gillies Department of Philosophy University of Michigan Context and Content Workshop LSA Institute, July 2005 The Murder Case Suspects:

More information

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

Relations. Carl Pollard. October 11, Department of Linguistics Ohio State University Department of Linguistics Ohio State University October 11, 2011 (Intuitive Idea) Intuitively, a relation is the kind of thing that either holds or doesn t hold between certain things. Examples: Being

More information

The Conjunction and Disjunction Theses

The Conjunction and Disjunction Theses The Conjunction and Disjunction Theses Abstract Rodriguez-Pereyra (2006) argues for the disjunction thesis but against the conjunction thesis. I argue that accepting the disjunction thesis undermines his

More information

Section 1.1 Propositional Logic. proposition : true = T (or 1) or false = F (or 0) (binary logic) the moon is made of green cheese

Section 1.1 Propositional Logic. proposition : true = T (or 1) or false = F (or 0) (binary logic) the moon is made of green cheese Section 1.1 Propositional Logic proposition : true = T (or 1) or false = F (or 0) (binary logic) the moon is made of green cheese go to town! X - imperative What time is it? X - interrogative propositional

More information

Universalism Entails Extensionalism

Universalism Entails Extensionalism Universalism Entails Extensionalism Achille C. Varzi Department of Philosophy, Columbia University, New York [Final version published in Analysis, 69 (2009), 599 604] 1. Universalism (also known as Conjunctivism,

More information

Bell s spaceship paradox

Bell s spaceship paradox Bell s spaceship paradox If the two ships start accelerating at the same time, I always see them travelling at the same velocity, and keeping a constant distance... But I said the objects get shorter when

More information

Solution to Proof Questions from September 1st

Solution to Proof Questions from September 1st Solution to Proof Questions from September 1st Olena Bormashenko September 4, 2011 What is a proof? A proof is an airtight logical argument that proves a certain statement in general. In a sense, it s

More information

Euler s Galilean Philosophy of Science

Euler s Galilean Philosophy of Science Euler s Galilean Philosophy of Science Brian Hepburn Wichita State University Nov 5, 2017 Presentation time: 20 mins Abstract Here is a phrase never uttered before: Euler s philosophy of science. Known

More information

Introducing Proof 1. hsn.uk.net. Contents

Introducing Proof 1. hsn.uk.net. Contents Contents 1 1 Introduction 1 What is proof? 1 Statements, Definitions and Euler Diagrams 1 Statements 1 Definitions Our first proof Euler diagrams 4 3 Logical Connectives 5 Negation 6 Conjunction 7 Disjunction

More information

Introduction. Introductory Remarks

Introduction. Introductory Remarks Introductory Remarks This is probably your first real course in quantum mechanics. To be sure, it is understood that you have encountered an introduction to some of the basic concepts, phenomenology, history,

More information

Introduction. Introductory Remarks

Introduction. Introductory Remarks Introductory Remarks This is probably your first real course in quantum mechanics. To be sure, it is understood that you have encountered an introduction to some of the basic concepts, phenomenology, history,

More information

Strengthening Principles and Counterfactual Semantics

Strengthening Principles and Counterfactual Semantics David Boylan and Ginger Schultheis Massachusetts Institute of Technology, Cambridge MA, USA dboylan@mit.edu, vks@mit.edu 1 Introduction There are two leading theories about the meaning of counterfactuals

More information

Introduction to Semantics. The Formalization of Meaning 1

Introduction to Semantics. The Formalization of Meaning 1 The Formalization of Meaning 1 1. Obtaining a System That Derives Truth Conditions (1) The Goal of Our Enterprise To develop a system that, for every sentence S of English, derives the truth-conditions

More information

PROOF-THEORETIC REDUCTION AS A PHILOSOPHER S TOOL

PROOF-THEORETIC REDUCTION AS A PHILOSOPHER S TOOL THOMAS HOFWEBER PROOF-THEORETIC REDUCTION AS A PHILOSOPHER S TOOL 1. PROOF-THEORETIC REDUCTION AND HILBERT S PROGRAM Hilbert s program in the philosophy of mathematics comes in two parts. One part is a

More information

Breaking de Morgan s law in counterfactual antecedents

Breaking de Morgan s law in counterfactual antecedents Breaking de Morgan s law in counterfactual antecedents Lucas Champollion New York University champollion@nyu.edu Ivano Ciardelli University of Amsterdam i.a.ciardelli@uva.nl Linmin Zhang New York University

More information

An analogy from Calculus: limits

An analogy from Calculus: limits COMP 250 Fall 2018 35 - big O Nov. 30, 2018 We have seen several algorithms in the course, and we have loosely characterized their runtimes in terms of the size n of the input. We say that the algorithm

More information

3 The Semantics of the Propositional Calculus

3 The Semantics of the Propositional Calculus 3 The Semantics of the Propositional Calculus 1. Interpretations Formulas of the propositional calculus express statement forms. In chapter two, we gave informal descriptions of the meanings of the logical

More information

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

Philosophy 5340 Epistemology. Topic 3: Analysis, Analytically Basic Concepts, Direct Acquaintance, and Theoretical Terms. Part 2: Theoretical Terms Philosophy 5340 Epistemology Topic 3: Analysis, Analytically Basic Concepts, Direct Acquaintance, and Theoretical Terms Part 2: Theoretical Terms 1. What Apparatus Is Available for Carrying out Analyses?

More information

7.1 Significance of question: are there laws in S.S.? (Why care?) Possible answers:

7.1 Significance of question: are there laws in S.S.? (Why care?) Possible answers: I. Roberts: There are no laws of the social sciences Social sciences = sciences involving human behaviour (Economics, Psychology, Sociology, Political Science) 7.1 Significance of question: are there laws

More information

Why favour simplicity?

Why favour simplicity? why favour simplicity? 205 Blackwell Publishing Ltd.Oxford, UK and Malden, USAANALAnalysis0003-26382005 Blackwell Publishing Ltd.July 2005653205210ArticlesRoger White Why favour simplicity? Why favour

More information

Foundations of Advanced Mathematics, version 0.8. Jonathan J. White

Foundations of Advanced Mathematics, version 0.8. Jonathan J. White Foundations of Advanced Mathematics, version 0.8 Jonathan J. White 1/4/17 2 Chapter 1 Basic Number Theory and Logic Forward These notes are intended to provide a solid background for the study of abstract

More information

HPS 1653 / PHIL 1610 Introduction to the Philosophy of Science

HPS 1653 / PHIL 1610 Introduction to the Philosophy of Science HPS 1653 / PHIL 1610 Introduction to the Philosophy of Science Laws of Nature Adam Caulton adam.caulton@gmail.com Wednesday 19 November 2014 Recommended reading Chalmers (2013), What is this thing called

More information

1 Propositional Logic

1 Propositional Logic CS 2800, Logic and Computation Propositional Logic Lectures Pete Manolios Version: 384 Spring 2011 1 Propositional Logic The study of logic was initiated by the ancient Greeks, who were concerned with

More information

Fitting a Straight Line to Data

Fitting a Straight Line to Data Fitting a Straight Line to Data Thanks for your patience. Finally we ll take a shot at real data! The data set in question is baryonic Tully-Fisher data from http://astroweb.cwru.edu/sparc/btfr Lelli2016a.mrt,

More information

INTRODUCTION TO LOGIC 3 Formalisation in Propositional Logic

INTRODUCTION TO LOGIC 3 Formalisation in Propositional Logic Introduction INRODUCION O LOGIC 3 Formalisation in Propositional Logic Volker Halbach If I could choose between principle and logic, I d take principle every time. Maggie Smith as Violet Crawley in Downton

More information

CS1800: Mathematical Induction. Professor Kevin Gold

CS1800: Mathematical Induction. Professor Kevin Gold CS1800: Mathematical Induction Professor Kevin Gold Induction: Used to Prove Patterns Just Keep Going For an algorithm, we may want to prove that it just keeps working, no matter how big the input size

More information

In Newcomb s problem, an agent is faced with a choice between acts that

In Newcomb s problem, an agent is faced with a choice between acts that Aporia vol. 23 no. 2 2013 Counterfactuals and Causal Decision Theory Kevin Dorst In Newcomb s problem, an agent is faced with a choice between acts that are highly correlated with certain outcomes, but

More information

4 Derivations in the Propositional Calculus

4 Derivations in the Propositional Calculus 4 Derivations in the Propositional Calculus 1. Arguments Expressed in the Propositional Calculus We have seen that we can symbolize a wide variety of statement forms using formulas of the propositional

More information

Expressive Power, Mood, and Actuality

Expressive Power, Mood, and Actuality Expressive Power, Mood, and Actuality Rohan French Abstract In Wehmeier (2004) we are presented with the subjunctive modal language, a way of dealing with the expressive inadequacy of modal logic by marking

More information

The Varieties of (Relative) Modality

The Varieties of (Relative) Modality The Varieties of (Relative) Modality Jessica Leech Abstract In The Varieties of Necessity Fine presents purported counterexamples to the view that a proposition is a naturally necessary truth if and only

More information

Basics of Proofs. 1 The Basics. 2 Proof Strategies. 2.1 Understand What s Going On

Basics of Proofs. 1 The Basics. 2 Proof Strategies. 2.1 Understand What s Going On Basics of Proofs The Putnam is a proof based exam and will expect you to write proofs in your solutions Similarly, Math 96 will also require you to write proofs in your homework solutions If you ve seen

More information

The two-dimensionalism of The Conscious Mind

The two-dimensionalism of The Conscious Mind The two-dimensionalism of The Conscious Mind phil 93515 Jeff Speaks February 5, 2007 1 Primary and secondary intension........................ 1 2 Indexicality and intensions............................

More information

INTENSIONS MARCUS KRACHT

INTENSIONS MARCUS KRACHT INTENSIONS MARCUS KRACHT 1. The Way Things Are This note accompanies the introduction of Chapter 4 of the lecture notes. I shall provide some formal background and technology. Let a language L be given

More information

CS 360, Winter Morphology of Proof: An introduction to rigorous proof techniques

CS 360, Winter Morphology of Proof: An introduction to rigorous proof techniques CS 30, Winter 2011 Morphology of Proof: An introduction to rigorous proof techniques 1 Methodology of Proof An example Deep down, all theorems are of the form If A then B, though they may be expressed

More information

Consequences of special relativity.

Consequences of special relativity. PHYS419 Lecture 12 Consequences of special relativity 1 Consequences of special relativity. The length of moving objects. Recall that in special relativity, simultaneity depends on the frame of reference

More information

Presuppositions (introductory comments)

Presuppositions (introductory comments) 1 Presuppositions (introductory comments) Some examples (1) a. The person who broke the typewriter was Sam. b. It was Sam who broke the typewriter. c. John screwed up again. d. John likes Mary, too. e.

More information

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

Elementary Linear Algebra, Second Edition, by Spence, Insel, and Friedberg. ISBN Pearson Education, Inc., Upper Saddle River, NJ. 2008 Pearson Education, Inc., Upper Saddle River, NJ. All rights reserved. APPENDIX: Mathematical Proof There are many mathematical statements whose truth is not obvious. For example, the French mathematician

More information

CS1800: Hex & Logic. Professor Kevin Gold

CS1800: Hex & Logic. Professor Kevin Gold CS1800: Hex & Logic Professor Kevin Gold Reviewing Last Time: Binary Last time, we saw that arbitrary numbers can be represented in binary. Each place in a binary number stands for a different power of

More information

On the Deeply Contingent A Priori. David J. Chalmers

On the Deeply Contingent A Priori. David J. Chalmers On the Deeply Contingent A Priori David J. Chalmers Contingent A Priori n Julius invented the zip (if anyone did) n Stick S is one meter long (if it exists) Deep Necessity n Evans: Julius invented the

More information

Russell s logicism. Jeff Speaks. September 26, 2007

Russell s logicism. Jeff Speaks. September 26, 2007 Russell s logicism Jeff Speaks September 26, 2007 1 Russell s definition of number............................ 2 2 The idea of reducing one theory to another.................... 4 2.1 Axioms and theories.............................

More information

You have studied the elements before. All of the known elements are organized in the periodic table.

You have studied the elements before. All of the known elements are organized in the periodic table. Building for Physics, Mr. Kent van de Graaff Reading You have studied the elements before. All of the known elements are organized in the periodic table. The smallest particle of an element is the atom

More information

6 Cosets & Factor Groups

6 Cosets & Factor Groups 6 Cosets & Factor Groups The course becomes markedly more abstract at this point. Our primary goal is to break apart a group into subsets such that the set of subsets inherits a natural group structure.

More information

Absolute motion versus relative motion in Special Relativity is not dealt with properly

Absolute motion versus relative motion in Special Relativity is not dealt with properly Absolute motion versus relative motion in Special Relativity is not dealt with properly Roger J Anderton R.J.Anderton@btinternet.com A great deal has been written about the twin paradox. In this article

More information

Semantics and Generative Grammar. An Introduction to Intensional Semantics 1

Semantics and Generative Grammar. An Introduction to Intensional Semantics 1 An Introduction to Intensional Semantics 1 1. The Inadequacies of a Purely Extensional Semantics (1) Our Current System: A Purely Extensional Semantics The extension of a complex phrase is (always) derived

More information