Lewis Counterfactual Theory of Causation

Size: px
Start display at page:

Download "Lewis Counterfactual Theory of Causation"

Transcription

1 Lewis Counterfactual Theory of Causation Summary An account only of deterministic, token causation. Causation = counterfactual dependence + right semantics for counterfactuals + transitivity E depends counterfactually on C iff the counterfactuals C E, ~C ~E are both true. Whether or not E occurs depends on whether or not C occurs. [Counterfactual Influence Theory: whether, when or how E happens depends counterfactually on whether, when or how C happens.] 2. Counterfactual semantics. A B is true at w if (roughly) at all closest A-worlds, B is true. Closest A-worlds to w (assuming A is false in w) are the worlds w with exact match of particular fact up to the very recent past, a small miracle (= violation of the laws in w) in w to bring about A, and agreement with the laws of w from that point on. 3. Transitivity. A is a cause of B if either i) B counterfactually depends on A, or ii) there is a causal chain of counterfactual dependence linking A and B.

2 I. Causation 1. Regularity theories Core idea: Causation = regular succession Neo-Humean accounts: - nomic regularity (causal laws rather than accidental regularities) - causal factors (rather than total causes) [+ causal chains (direct and indirect causes)] Lewis version: c causes e if and only if: (1) c and e both occur (2) Laws and particular facts together (but not separately) entail that if c occurs then e occurs, but do not entail that c occurs. [Leaves out temporal priority] Three objections: 1) Fails to distinguish causes from effects (regular connection goes both ways) [Temporal priority? Objects to building it in.] 2) Fails to distinguish causes from epiphenomena (two effects of a common cause might satisfy the definition) [Horwich s causal chains may give an answer] 3) Fails to exclude preempted causes (if c then e is still entailed because the particular facts include the presence of the preempting cause c ) [In the end, this causes more trouble for Lewis than for regularity theories]

3 2. Preliminary ideas Core idea: Hume s second definition. If c had not occurred, e would not have occurred. Initial objection: no clear truth-conditions for counterfactuals, so don t use them to get clear on causation (or anything else)! Reply: The truth-conditions are somewhat vague, but: i) The standards for clarity are too high (causation itself is vague); ii) There are clear semantics for counterfactuals (Lewis-Stalnaker); iii) The overall similarity relation can be interpreted with sensitivity to deal with standard objections to the counterfactual account; and iv) The counterfactual theory is able to handle the three main deficiencies identified for regularity theories.

4 3. Counterfactual Semantics, part 1: Similarity and Possible Worlds Primitives: A set of possible worlds, W A relation of comparative overall similarity (or inter-world distance): d(w 1, w) < d(w 2, w) if w 1 is closer to w than is w 2. The relation d must satisfy two constraints: a) Weak ordering. Any two worlds are comparable in closeness to w, but they may be equally close. b) Centring. Any w is closest to itself: d(w, w) < d(w, w) if w w. In particular, the actual world w 0 is the unique closest world to itself. Remarks on overall similarity: i) The term overall similarity is misleading, since the choice of d is contextual. Different choices of d are appropriate in different contexts. ii) Assessment of similarity requires a balancing of similarities (or exact matches) of laws and similarities (or exact matches) of particular fact. iii) Similarity of law is not automatically top priority. <We often consider counterfactuals that involve some violation of law, especially if we are assuming determinism and counterfactually alter the actual course of recent events.> iv) Comprehensive and exact similarity of particular fact through large regions of space and time has great weight. [Question: Does Lewis have independent arguments for iii) and iv)?]

5 4. Counterfactual semantics, part 2: truth-conditions for counterfactuals i) Semantics of modal logic. Truth at worlds: Val(A, w) = T iff A is true at possible world w. Parlour game analogy. More complex clauses for the usual operators. An A-world is a possible world in which A is true. Proposition = a set of possible worlds (intuitively: those where the proposition holds) Clauses for the usual modal operators and - the accessibility relation R. - necessity ( ) and possibility ( ) To these basic modal notions, Lewis adds the similarity relation d. ii) Counterfactuals For A C, read If A were true, then C would be true. A C is true at w iff there are no possible A-worlds, or some A-world where C is true is closer to w than any A-world where C is false. Special cases: i) If there are closest A-worlds, then condition is that C is true at all closest A-worlds. ii) If w is an A-world, then condition is that C is true at w. <So the counterfactual implies the material conditional A C.> iii) Counterfactual dependence. (1) General case. Given mutually exclusive propositions A 1, A 2, and C 1, C 2,, we say the C s depend counterfactually on the A s if each of the counterfactuals A 1 C 1, A 2 C 2, is true. (2) Special case. E depends counterfactually on C if each of C E, ~C ~E is true. <Examples>

6 5. Causal dependence i) Initial thesis: For token causation, causal dependence of events just is counterfactual dependence among the corresponding propositions. Given event e the corresponding proposition O(e) is just that e occurs O(e) = set of possible worlds where e occurs ii) Causal dependence. (1) General case. Given exclusive events c 1, c 2, and e 1, e 2,, we say the e s depend causally on the c s if each of the counterfactuals O(c 1 ) O(e 1 ), O(c 2 ) O(e 2 ), is true. (2) Special case. e depends counterfactually on c if each of O(c) O(e), ~O(c) ~O(e) is true. If c and e are actual events, then the special case reduces to the second condition. If c and e do not actually occur, it reduces to the first condition. [That one of the counterfactuals becomes trivial is one difference from Mackie.] iii) Causation. c is a cause of e iff: (a) e depends causally on c <direct cause>; or (b) there is a causal chain of particular events, each a <direct cause> of the next, linking c to e.

7 Critique of Lewis definition 1) Too broad (Kim). Ex: If yesterday had not been Tuesday, today would not be Wednesday. <Analytical dependence, not causal dependence.> Ex: If I had not written r twice in succession, I would not have written Larry. <Dependence as constituent part, not causal dependence.> Ex: If I had not turned the knob, I would not have opened the window. <Turning is part of the action of opening the window, not a cause of that action.> Ex: If my sister had not given birth at t, I would not have become an uncle at t. <E is determined by C, but not caused by it.> 2) Too narrow (Kim, Horwich). Overdetermination cases. (e.g., firing squad) Lewis account yields a definite negative, but in fact either the shots are causes or it should be unclear whether they are causes.

8 6. Comparison between counterfactual and nomic dependence Nomic dependence (which plays a role in most updated regularity theories). Comparison: General case. Given exclusive propositions A 1, A 2, and C 1, C 2,, we say the C s depend nomically on the A s if each of the material conditionals A 1 C 1, A 2 C 2, is implied jointly (but not separately) by some nonempty set L of true law statements and F of true singular propositions. (1) Counterfactual dependence of the C s on the A s is implied in the case where the C s depend nomically on the A s in virtue of L and F, and the members of L and F are counterfactually independent of the A s. [Proof: In the nearest A 1 -worlds, all members of L and F hold by independence; so A 1 C 1 and hence C 1 in these worlds.] But without this independence, the implication fails. [Kim: what role is played by laws in this argument?] [Puzzling: what about epiphenomena? Let A falling barometer, C coming storm. Laws plus particular facts imply A and C and hence A C. The laws and particular facts (about air pressure at t) are surely counterfactually independent of A and C. So we seem to get counterfactual dependence of C on A! Absent backtracking counterfactuals, how could particular facts about the air pressure at t depend counterfactually on A?]

9 (2) Nomic dependence is reversible: If C s depend nomically on the A s in virtue of L and F, then A 1, A 2, depend nomically on AC 1, AC 2, in virtue of L and F, where A = A 1 A 2. [Proof: L, F, and (A 1 A 2 ) C 1 must imply C 1 A 1. For one of the A i s holds, and if i 1 then some C i will hold for i 1, contradicting the exclusiveness of C 1, C 2, ] But counterfactual dependence is irreversible in general (example, 168). Example: If the barometer reading had been higher, we don t say the pressure would have been higher, but that the barometer would have been malfunctioning. [This is explained better in the other paper: fixity of the past.] (3) Nomic dependence is almost (but not quite) sufficient for causal dependence (169).

10 7. The counterfactual analysis solves the three problems with regularity accounts A. Effects and epiphenomena Problem of effects: suppose c causes e and, given laws and particular conditions, c could not have failed to cause e. Then (assuming e does not also cause c) it appears that if e had not occurred, c would not have occurred, and the reverse counterfactual dependence (hence reverse causal dependence) is established. Problem of epiphenomena: suppose c is a common cause of e and f (where e temporally precedes f but is not in any way a cause of f). And given the laws and particular facts, c could not have failed to cause e, and f could not have been caused except by c. Then it appears that if e had not occurred, c would not have occurred and thus f would not have occurred, and spurious counterfactual dependence (hence causal dependence) between e and f is established. Common Solution: The relevant counterfactuals, ~O(e) ~O(c) and ~O(e) ~O(f), are in fact false. If e had not occurred, c would still have occurred but just failed to cause e. Fixity of the past: less of a departure to give up some of the laws and circumstances that made it so c could not have failed to cause e than to keep the laws and circumstances and change the past. [2 nd article helps here] To get rid of e, best not to diverge from actual course of events until just before e occurs. Prolong perfect match : in a deterministic universe, any divergence will require some violation of laws. No reason to diverge any earlier. [Qu: What pre-theoretical rationale, as Horwich asks (211)?]

11 B. Preemption c 1 causes e (the preempting cause), but c 2 occurs and would have caused e if c 1 were absent. So e does not depend causally (or counterfactually) on c 1 or c 2. We have a problem! Solution. Thanks to c 1, there is no causal chain between c 2 and e. But there is a causal chain c 1 - d - e (simplest case). Then e depends causally on d and d depends causally on c 1. Objection: If d had not happened then c 1 would not have happened and hence c 2 would have kicked in and brought about e. So e is not causally dependent on d. Questions: Solution: Says Lewis: the true counterfactual is that if d had not happened then c 1 would still have happened, yet failed to bring about d. But the causal chain from c 2 would still have been interrupted and so e would not have happened; hence, e does depend causally on d. Example: The desert traveler. e = death; c 1 = hole; c 2 = poison. d = the flask after the water is gone but a short time before the traveler picks it up for a drink. Here, d depends causally on c 1 and e depends causally on d. In the closest world where not d, the past right up to d is kept the same (so the hole was made and the water leaked out) we have to posit some small miracle just before d, like hydrolysis that fills the canteen with fresh water. Why would anyone think this is a closer world than one in which (e.g.) the hole was gummed up and the poisoned water did not drain (so not identical for a stretch of time, granted )? How can anybody settle such intuitions? And in fact, are not preemption cases better handled by the Humean account (e.g., by Mackie or Horwich) than by Lewis?

12 Some counterexamples: 1. Fertilization. Sperm s fertilizes an egg, which instantaneously seals off the egg and prevents other sperm from penetrating. Suppose that if sperm s had not fertilized the egg, some other sperm t would have done so. Here, we have last-minute or late preemption of the causal chain from sperm t. The effect, fertilization, would have been produced by t if not by s. There is no intermediate event d that occurs after the chain from t is interrupted, but before the effect e: it is the effect itself that ruptures the alternate causal chain. 2. Picking up baby. Baby cries; c is my response; e is the event of the baby s being picked up. But if I had not picked him up, my wife would have done so. Here again, it is only the effect that stops the alternate causal chain. But further: my action is itself caused by the baby s cry. So there is a second causal process (crying) that brings about my action, and would bring about my wife s action if I did not respond, and it is only stopped by the effect e. Here too, it is impossible to find any intermediate d such that e is counterfactually dependent on d. Horwich has a third type of counterexample where C causes E directly, with no intermediary. 3. Rolling balls. Lewis discusses trumping, a fourth type of preemption counterexample, in 2000 paper. 4. The sergeant and the major. Major s order trumps, but both shout Advance! at the same time.

13 III. Lewis: Counterfactual dependence and Time s Arrow Main objectives: A defense of sorts for the way in which similarity of worlds is evaluated An account of causal asymmetry The paper does not help with late preemption cases, but does handle some objections. 1. Asymmetry of counterfactual dependence - temporal priority of causes is not a constitutive part of causation - consequence of his counterfactual account plus contingent facts about the world - theory counts as a substantive account (on Horwich s classification). Counterfactual Assymetry Thesis: counterfactually on later events. Earlier events do not (ordinarily) depend Linguistic practices argument. When reasoning from counterfactual suppositions, we freely make use of knowledge about the past, but not always the present and future. This is to assume counterfactual independence of past from present. [What does this really show?] Back-tracking counterfactuals. Standard counterfactuals: Maintain counterfactual independence of prior events. Back-tracking counterfactuals: Allow counterfactual dependence of prior events. Past causes would be modified because of a counterfactual supposition about the present. - true under non-standard resolution of vagueness, but false under standard resolution - marked by complex syntax: it would have to have been that Ex: If Jim asked Jack for help, there would have to have been no quarrel yesterday. Ex: If Kennedy had not been assassinated, Oswald would have to have aimed poorly or not fired at all. For standard resolution: if time of C precedes time of A, A C is true iff C is true. [Qu: Is standard resolution defined so as to make this a trivial claim? cf. Analysis 1]

14 2. Other asymmetries a) Asymmetry of causation Causes precede their effects, and not the reverse. On Lewis account, explained by asymmetry of counterfactual dependence. Reverse causation remains possible, but requires back-tracking counterfactuals. [Note: simultaneous causation is not ruled out.] b) Asymmetry of openness The future is open; the past is fixed. Not merely epistemic Not a case of multiple actuality of possible futures: also have multiple pasts. Not accounted for by indeterminism (multiple potential futures): - asymmetry between future and past is more basic and certain than indeterminism - indeterminism goes in both directions (past and future) Determinism: Two worlds with the same (deterministic) laws will either be exactly alike throughout history, or never exactly alike through any stretch of time. Not about our ability to change the future but not the past. - the future is as immutable as the past Correct explanation: counterfactual dependence. The future depends counterfactually on the present; the past does not. Different possible futures are brought about on different counterfactual assumptions, but the past remains the same.

15 3. Counterfactuals: source of the asymmetry Analysis 1: fixity of the past guaranteed by brute force. A C true in the actual world, where A occurs in stretch of time t A, if C is true at all closest A-worlds that: i) are exactly like the actual world until shortly before A occurs (before t A ) ii) conform to the actual laws of nature except possibly for the temporal blip t A around A - guarantees temporal asymmetry of counterfactual dependence, except for the immediate past (the temporal blip). Objections: 1) Generality: Unable to handle counterfactuals whose assumptions are not about a particular time. [Weak objection: he s after a theory of singular causation.] 2) Rigidity. Makes it impossible a priori to have an exception to the asymmetry. But (e.g.) time travel is not impossible a priori. Analysis 2: Similarity of worlds. (Standard counterfactual semantics) A C is true in the actual world iff C is true in some A-world that is closer than any A-world where C is false. Remarks: 1) Skeletal account: supplement with an account of the appropriate similarity relation, which varies with context. 2) We want a similarity relation that prescribes standard resolution in most contexts, ruling out backtracking counterfactuals. 3) Overall similarity is a matter of balance, but not just every similarity has positive weight. (Ex: grueness) 4) Maxim: don t fix similarity relation in advance. Use knowledge of counterfactuals to try to find out the appropriate similarity relation. [Qu: Given 2) and 4), how is this different from the brute force approach of Analysis 1? Only in that our knowledge of which counterfactuals are true is contingent.]

16 4. Future similarity objection Putative counterexample: N: If Nixon had pressed the button at t, there would have been a nuclear holocaust shortly thereafter. N is true, but must be false on the Lewis semantics. Closest button-worlds are those most like our world, and hence (assuming we have no nuclear holocaust) ones in which there is no nuclear holocaust. Response: presence of a holocaust counts heavily towards *some* similarity relation, but not towards the relevant one for assessing the counterfactual claim. N is true on Lewis semantics in actual world w 0 or close approximation, but only in virtue of a careful survey and assessment of similarity of types of worlds to w 0. Type w 1 : Small miracle. Exactly like w 0 until a small miracle moments before t leads Nixon to press the button; thereafter, vastly different. Type w 2 : No miracle. - small miracle = violation of the laws of w 0 - w 1 is Lewis candidate for most similar button-world - Same laws of nature, but (by determinism) vastly different sequence of events. - w 2 is not the most similar button-world to w 0 : makes counterfactuals useless, since it permits unlimited back-tracking. Type w 3 : Second small miracle plus resemblance. - begins like w 1, but second tiny miracle prevents holocaust and restores close approximation (but not exact match) of w 0. - Lewis claims that w 3 is not closer to w 0 than is w 1 : close similarity will not last, and not worth much (cf. exact matching). - In any case, this is the similarity relation he needs. Type w 4 : Big miracle plus exact match. - begins like w 3, except all traces of button-pressing are erased and w 4 reconverges with w 0 - big miracle = many small violations of the laws of w 0 - Again, not the most similar button-world to w 0

17 Upshot: w 1 must count as closer than any of the others considered. So in deciding on a similarity relation to get the correct semantics for counterfactuals: 1) First, avoid widespread violation of law (even at cost of divergence of particular fact). 2) Second, maximize the period of exact match of particular fact. 3) Third priority, avoid small violations of laws. 4) Low priority: achieving approximate similarity of particular fact. Objection (Horwich): What pre-theoretical rationale? Why not use a different notion of similarity?

18 5. Origin of the asymmetry of counterfactual dependence The asymmetry: if Nixon had acted differently, the future would have been different, but the past exactly the same. Not built into Analysis 2. Explanation: asymmetry in the range of candidates. Consider w 5 : vastly different past, small miracle, convergence to w 0. - mirror image of w 1, so would be equally similar - but no such possible world, for convergence requires a big miracle Note: this fails in very simple worlds. [Qu: w 5 would be a world with a vastly different past prior to, say, 1972, but exactly matching ours after So Lewis talk about erasing traces, etc. is a bit misleading. It is very hard to imagine such a world, but is it impossible? Why could not things be set up just so the button yields convergence? Perhaps the reason is that so many other causal processes are going in the other direction.] 6. Asymmetry of overdetermination Past events are extremely overdetermined by later ones (lots of traces left), but overdetermination of future events by past ones is rare. Miracles break the links between any determinant and what is determined. - for w 1, only need to break the link to past conditions that determine that Nixon not press the button - for w 5, have to break links to all future conditions that overdetermine that he not press it. The existence of this type of asymmetry is a contingent feature of our world. Objection (Horwich): Does not Lewis theory implausibly commit us to backward causation in a case where we deliberately create overdetermination from past to future e.g., several particles simultaneously reaching one spot?

19 III. Causation as Influence Preemption: i) Early cutting. Desert traveler. Handled by causal chains. ii) Late cutting. Throwing rocks at a bottle; fertilization. Handled by quasidependence. iii) Trumping. Sergeant and the major. Handled by causation as influence. Causation as influence is a version of the fragile events approach. Definition: C causes E directly if whether, how or when E occurs depends counterfactually on whether, how or when C occurs. Sergeant-major case: if we vary the sergeant s order, there is no change in E. If we vary the major s order, there is. Objection: Then just about every event in the past light-cone of E counts as a cause (e.g., because of the universal law of gravitation). Reply: A pragmatic affair. In most cases, we ignore negligible causes; in some contexts, it s legitimate to include them as causes. [Qu: Far from satisfactory we have a qualitative, not a quantitative, theory of causes.] Generalization: C causes E if C causes E directly, or there is a chain of direct causes and effects linking C and E.

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

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

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

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

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

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

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

CAUSATION. I. Initial distinctions

CAUSATION. I. Initial distinctions CAUSATION I. Initial distinctions i) Logic: conceptual analysis of the notion of cause ; definitions of cause (e.g., is temporal priority of causes a priori?) This includes both logical analyses and empirical

More information

I. Mackie: Causes and Conditions

I. Mackie: Causes and Conditions Summary Humean account: I. Mackie: Causes and Conditions 1) Regularity (C necessary and sufficient for E) 2) Causal priority = temporal priority Modifications: 1) Regularity = C is at least an INUS condition

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

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

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

OXFORD PHILOSOPHICAL SOCIETY MEMBERS WEEKEND, AUGUST 2018 SCRIPT FOR THE PRESENTATION

OXFORD PHILOSOPHICAL SOCIETY MEMBERS WEEKEND, AUGUST 2018 SCRIPT FOR THE PRESENTATION OXFORD PHILOSOPHICAL SOCIETY MEMBERS WEEKEND, AUGUST 2018 SCRIPT FOR THE PRESENTATION TITLE: Counterfactual Theories of Causation ( CTCs ) PRESENTER: Michael Donnan [Slide 1: Title, Presenter, Occasion

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

Antecedents of counterfactuals violate de Morgan s law

Antecedents of counterfactuals violate de Morgan s law Antecedents of counterfactuals violate de Morgan s law Lucas Champollion champollion@nyu.edu Joint work with Ivano Ciardelli and Linmin Zhang Fourth Workshop on Natural Language and Computer Science (NLCS

More information

As you scroll through this review, you move your hand; this causes the

As you scroll through this review, you move your hand; this causes the Published May 15/2005 at Metapsychology Online Murphy, Page 1 of 5 REVIEW OF CAUSATION AND COUNTERFACTUALS, EDITED BY JOHN COLLINS, NED HALL, AND L.A. PAUL. CAMBRIDGE, MA: THE MIT PRESS. 2004. 481 + VIII

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

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

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

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

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

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

Social Science Counterfactuals. Julian Reiss, Durham University

Social Science Counterfactuals. Julian Reiss, Durham University Social Science Counterfactuals Julian Reiss, Durham University Social Science Counterfactuals Julian Reiss, Durham University Counterfactuals in Social Science Stand-ins for causal claims about singular

More information

The problem of disjunctive causal factors. Following Hitchcock: fix K and do everything within a single cell K (which we don t mention).

The problem of disjunctive causal factors. Following Hitchcock: fix K and do everything within a single cell K (which we don t mention). Example 1: Skidding. The problem of disjunctive causal factors Y Car skids; X car travels at 40 mph Eells/Cartwright approach: compare (*) Pr(Y / X&K) and Pr(Y / ~X&K) within each cell or context K. Following

More information

Philosophy 4310: Conditionals Spring 2017

Philosophy 4310: Conditionals Spring 2017 Philosophy 4310: Conditionals Spring 2017 INSTRUCTOR OFFICE E-MAIL OFFICE HOURS Joel Velasco Eng/Phil 265G joel.velasco@ttu.edu T, W, Th 11-12 Any competent speaker of English can deploy and understand

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

I. Induction, Probability and Confirmation: Introduction

I. Induction, Probability and Confirmation: Introduction I. Induction, Probability and Confirmation: Introduction 1. Basic Definitions and Distinctions Singular statements vs. universal statements Observational terms vs. theoretical terms Observational statement

More information

The Temporal Asymmetry of Counterfactuals

The Temporal Asymmetry of Counterfactuals 1 The Temporal Asymmetry of Counterfactuals Terrance Tomkow & Kadri Vihvelin In our last several chapters we have defended Jonathan Bennett s Simple Theory of Counterfactuals. 1 One consequence of Bennett

More information

Counterfactuals and the fixity of the past

Counterfactuals and the fixity of the past Philos Stud (2014) 168:397 415 DOI 10.1007/s11098-013-0135-5 Counterfactuals and the fixity of the past Penelope Mackie Published online: 24 April 2013 Ó The Author(s) 2013. This article is published with

More information

Searle: Proper Names and Intentionality

Searle: Proper Names and Intentionality Searle: Proper Names and Intentionality Searle s Account Of The Problem In this essay, Searle emphasizes the notion of Intentional content, rather than the cluster of descriptions that Kripke uses to characterize

More information

Kripke on Frege on Sense and Reference. David Chalmers

Kripke on Frege on Sense and Reference. David Chalmers Kripke on Frege on Sense and Reference David Chalmers Kripke s Frege Kripke s Frege Theory of Sense and Reference: Some Exegetical Notes Focuses on Frege on the hierarchy of senses and on the senses of

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

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

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

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

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

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

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

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

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

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

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

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

02. Explanation. Part 1.

02. Explanation. Part 1. 02. Explanation. Part 1. I. Introduction Topics: I. Introduction II. Deductive-Nomological (DN) Model III. Laws: Preliminary Sketch First blush: A scientific explanation is an attempt to render understandable

More information

Delayed Choice Paradox

Delayed Choice Paradox Chapter 20 Delayed Choice Paradox 20.1 Statement of the Paradox Consider the Mach-Zehnder interferometer shown in Fig. 20.1. The second beam splitter can either be at its regular position B in where the

More information

First-Degree Entailment

First-Degree Entailment March 5, 2013 Relevance Logics Relevance logics are non-classical logics that try to avoid the paradoxes of material and strict implication: p (q p) p (p q) (p q) (q r) (p p) q p (q q) p (q q) Counterintuitive?

More information

65,536 Definitions of Physicalism. David J. Chalmers

65,536 Definitions of Physicalism. David J. Chalmers 65,536 Definitions of Physicalism David J. Chalmers An Intuitive Definition n Physicalism: n All being is ontologically determined by physical being. Definition Template n Physicalism: n All As of type

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

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

about conditionals. It is a good example of what might be called systematic ordinary 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

More information

An Even Better Solution to the Paradox of the Ravens. James Hawthorne and Branden Fitelson (7/23/2010)

An Even Better Solution to the Paradox of the Ravens. James Hawthorne and Branden Fitelson (7/23/2010) An Even Better Solution to the Paradox of the Ravens James Hawthorne and Branden Fitelson (7/23/2010) Think of confirmation in the context of the Ravens Paradox this way. The likelihood ratio measure of

More information

Some problems in giving an adequate model-theoretic account of CAUSE *

Some problems in giving an adequate model-theoretic account of CAUSE * In Charles Fillmore, George Lakoff, & Robin Lakoff, eds., 1974, Berkeley Studies in Syntax and Semantics, Volume I. Berkeley, CA: Department of Linguistics & Institute of Human Learning, University of

More information

CS:4420 Artificial Intelligence

CS:4420 Artificial Intelligence CS:4420 Artificial Intelligence Spring 2018 Propositional Logic Cesare Tinelli The University of Iowa Copyright 2004 18, Cesare Tinelli and Stuart Russell a a These notes were originally developed by Stuart

More information

Cartwright: Do the Laws of Physics State the Facts?

Cartwright: Do the Laws of Physics State the Facts? Cartwright: Do the Laws of Physics State the Facts? Introduction Facticity view of laws: Laws of nature describe the facts Paradigm: fundamental laws of physics (e.g., Maxwell s equations) Dilemma: If

More information

Probabilistic Causation, Preemption and Counterfactuals

Probabilistic Causation, Preemption and Counterfactuals Probabilistic Causation, Preemption and Counterfactuals PAUL NOORDHOF Counterfactual theories of Causation have had problems with cases of probabilistic causation and preemption. I put forward a counterfactual

More information

Hempel s Models of Scientific Explanation

Hempel s Models of Scientific Explanation Background Hempel s Models of Scientific Explanation 1. Two quick distinctions. 2. Laws. a) Explanations of particular events vs. explanation of general laws. b) Deductive vs. statistical explanations.

More information

Lecture 31 Woodward on Actual Causes

Lecture 31 Woodward on Actual Causes Lecture 31 Woodward on Actual Causes Patrick Maher Scientific Thought II Spring 2010 Introduction What causal relations may hold between Variables. E.g., X causes Y. Event types. E.g., Smoking causes lung

More information

COUNTERFACTUALS, CAUSATION, AND PREEMPTION

COUNTERFACTUALS, CAUSATION, AND PREEMPTION JOHN COLLINS COUNTERFACTUALS, CAUSATION, AND PREEMPTION 1 INTRODUCTION A counterfactual is a conditional statement in the subjunctive mood. For example: If Suzy hadn t thrown the rock, then the bottle

More information

Linear Algebra, Summer 2011, pt. 2

Linear Algebra, Summer 2011, pt. 2 Linear Algebra, Summer 2, pt. 2 June 8, 2 Contents Inverses. 2 Vector Spaces. 3 2. Examples of vector spaces..................... 3 2.2 The column space......................... 6 2.3 The null space...........................

More information

Incompatibility Paradoxes

Incompatibility Paradoxes Chapter 22 Incompatibility Paradoxes 22.1 Simultaneous Values There is never any difficulty in supposing that a classical mechanical system possesses, at a particular instant of time, precise values 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

Figure 1: Doing work on a block by pushing it across the floor.

Figure 1: Doing work on a block by pushing it across the floor. Work Let s imagine I have a block which I m pushing across the floor, shown in Figure 1. If I m moving the block at constant velocity, then I know that I have to apply a force to compensate the effects

More information

Causal Reasoning. Note. Being g is necessary for being f iff being f is sufficient for being g

Causal Reasoning. Note. Being g is necessary for being f iff being f is sufficient for being g 145 Often need to identify the cause of a phenomenon we ve observed. Perhaps phenomenon is something we d like to reverse (why did car stop?). Perhaps phenomenon is one we d like to reproduce (how did

More information

CAUSATION. Chapter 14. Causation and the Direction of Time Preliminary Considerations in Support of a Causal Analysis of Temporal Concepts

CAUSATION. Chapter 14. Causation and the Direction of Time Preliminary Considerations in Support of a Causal Analysis of Temporal Concepts CAUSATION Chapter 14 Causation and the Direction of Time 14.1 Preliminary Considerations in Support of a Causal Analysis of Temporal Concepts What reasons are there for thinking that at least those tenseless

More information

Math 38: Graph Theory Spring 2004 Dartmouth College. On Writing Proofs. 1 Introduction. 2 Finding A Solution

Math 38: Graph Theory Spring 2004 Dartmouth College. On Writing Proofs. 1 Introduction. 2 Finding A Solution Math 38: Graph Theory Spring 2004 Dartmouth College 1 Introduction On Writing Proofs What constitutes a well-written proof? A simple but rather vague answer is that a well-written proof is both clear and

More information

EE562 ARTIFICIAL INTELLIGENCE FOR ENGINEERS

EE562 ARTIFICIAL INTELLIGENCE FOR ENGINEERS EE562 ARTIFICIAL INTELLIGENCE FOR ENGINEERS Lecture 10, 5/9/2005 University of Washington, Department of Electrical Engineering Spring 2005 Instructor: Professor Jeff A. Bilmes Logical Agents Chapter 7

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

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

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

Intelligent Agents. Pınar Yolum Utrecht University

Intelligent Agents. Pınar Yolum Utrecht University Intelligent Agents Pınar Yolum p.yolum@uu.nl Utrecht University Logical Agents (Based mostly on the course slides from http://aima.cs.berkeley.edu/) Outline Knowledge-based agents Wumpus world Logic in

More information

Hedging Your Ifs and Vice Versa

Hedging Your Ifs and Vice Versa Hedging Your Ifs and Vice Versa Kai von Fintel and Anthony S. Gillies MIT and Rutgers November 21 University of Latvia Ramsey s Test If two people are arguing If p will q? and are both in doubt as to p,

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

Brit. J. Phil. Sci ), 809±813 REVIEW PHIL DOWE. Physical Causation

Brit. J. Phil. Sci ), 809±813 REVIEW PHIL DOWE. Physical Causation Brit. J. Phil. Sci. 52 2001), 809±813 REVIEW PHIL DOWE Physical Causation Cambridge: Cambridge University Press, 2000, 35 hardback) ISBN 0±521±78049±7 Jonathan Scha er Department of Philosophy University

More information

Some Review Problems for Exam 1: Solutions

Some Review Problems for Exam 1: Solutions Math 3355 Fall 2018 Some Review Problems for Exam 1: Solutions Here is my quick review of proof techniques. I will focus exclusively on propositions of the form p q, or more properly, x P (x) Q(x) or x

More information

Lecture 14, Thurs March 2: Nonlocal Games

Lecture 14, Thurs March 2: Nonlocal Games Lecture 14, Thurs March 2: Nonlocal Games Last time we talked about the CHSH Game, and how no classical strategy lets Alice and Bob win it more than 75% of the time. Today we ll see how, by using entanglement,

More information

Logical Agent & Propositional Logic

Logical Agent & Propositional Logic Logical Agent & Propositional Logic Berlin Chen Department of Computer Science & Information Engineering National Taiwan Normal University References: 1. S. Russell and P. Norvig. Artificial Intelligence:

More information

CS 331: Artificial Intelligence Propositional Logic I. Knowledge-based Agents

CS 331: Artificial Intelligence Propositional Logic I. Knowledge-based Agents CS 331: Artificial Intelligence Propositional Logic I 1 Knowledge-based Agents Can represent knowledge And reason with this knowledge How is this different from the knowledge used by problem-specific agents?

More information

Knowledge-based Agents. CS 331: Artificial Intelligence Propositional Logic I. Knowledge-based Agents. Outline. Knowledge-based Agents

Knowledge-based Agents. CS 331: Artificial Intelligence Propositional Logic I. Knowledge-based Agents. Outline. Knowledge-based Agents Knowledge-based Agents CS 331: Artificial Intelligence Propositional Logic I Can represent knowledge And reason with this knowledge How is this different from the knowledge used by problem-specific agents?

More information

Toward a Mechanistic Interpretation of Probability

Toward a Mechanistic Interpretation of Probability Toward a Mechanistic Interpretation of Probability DRAFT (Please contact me before quoting this version.) Marshall Abrams Department of Philosophy University of Alabama at Birmingham June 10, 2009 Abstract

More information

Sufficient Conditions for Causality to be Transitive

Sufficient Conditions for Causality to be Transitive Sufficient Conditions for Causality to be Transitive Joseph Y. Halpern Cornell University Computer Science Department Ithaca, NY 14853 halpern@cs.cornell.edu http://www.cs.cornell.edu/home/halpern Abstract

More information

March 2, 2007 Menéndez-Benito. Quick Introduction to the Semantics of Modals 1

March 2, 2007 Menéndez-Benito. Quick Introduction to the Semantics of Modals 1 Quick Introduction to the Semantics of Modals 1 Syntactic assumptions (following von Fintel & Heim 2005): modals are raising predicates (see Wurmbrand 1999, Bhatt 1998) 1) John must go home. 2) [John [λ

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

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

Error Correcting Codes Prof. Dr. P. Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore

Error Correcting Codes Prof. Dr. P. Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore (Refer Slide Time: 00:15) Error Correcting Codes Prof. Dr. P. Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore Lecture No. # 03 Mathematical Preliminaries:

More information

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

Space, Time and Causality: Causa4on, II. David Lewis s Counterfactual Account Space, Time and Causality: Causa4on, II David Lewis s Counterfactual Account The New David Prelude: What Went Wrong with Mackie? Several things, but we ll review just one: The (Just About) Any Old Fact

More information

Wittgenstein on The Standard Metre

Wittgenstein on The Standard Metre Philosophical Investigations 27:2 April 2004 ISSN 0190-0536 Wittgenstein on The Standard Metre W. J. Pollock In Philosophical Investigations 50 Wittgenstein says something about the standard metre stick

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

A Crucial Mistake in the Free Will Debate

A Crucial Mistake in the Free Will Debate A Crucial Mistake in the Free Will Debate Richard Johns Department of Philosophy University of British Columbia johns@interchange.ubc.ca January 19, 2005 There are usually considered to be three main views

More information

SPECIFICITY AND REDUNDANT CAUSATION

SPECIFICITY AND REDUNDANT CAUSATION SPECIFICITY AND REDUNDANT CAUSATION HENNING STRANDIN ABSTRACT. In this paper I present a metaphysically minimalist but theoretically strong version of fact causation, in which the causal relata constitute

More information

A Little Deductive Logic

A Little Deductive Logic A Little Deductive Logic In propositional or sentential deductive logic, we begin by specifying that we will use capital letters (like A, B, C, D, and so on) to stand in for sentences, and we assume that

More information

Logical Agents. Chapter 7

Logical Agents. Chapter 7 Logical Agents Chapter 7 Outline Knowledge-based agents Wumpus world Logic in general - models and entailment Propositional (Boolean) logic Equivalence, validity, satisfiability Inference rules and theorem

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

Paradoxes of special relativity

Paradoxes of special relativity Paradoxes of special relativity Today we are turning from metaphysics to physics. As we ll see, certain paradoxes about the nature of space and time result not from philosophical speculation, but from

More information

Mathematical Logic Prof. Arindama Singh Department of Mathematics Indian Institute of Technology, Madras. Lecture - 15 Propositional Calculus (PC)

Mathematical Logic Prof. Arindama Singh Department of Mathematics Indian Institute of Technology, Madras. Lecture - 15 Propositional Calculus (PC) Mathematical Logic Prof. Arindama Singh Department of Mathematics Indian Institute of Technology, Madras Lecture - 15 Propositional Calculus (PC) So, now if you look back, you can see that there are three

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

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

22c:145 Artificial Intelligence

22c:145 Artificial Intelligence 22c:145 Artificial Intelligence Fall 2005 Propositional Logic Cesare Tinelli The University of Iowa Copyright 2001-05 Cesare Tinelli and Hantao Zhang. a a These notes are copyrighted material and may not

More information

MODELING COUNTERFACTUALS USING LOGIC PROGRAMMING

MODELING COUNTERFACTUALS USING LOGIC PROGRAMMING MODELING COUNTERFACTUALS USING LOGIC PROGRAMMING Katrin Schulz ILLC, Amsterdam 1. INTRODUCTION 1.1 OUTLINE Logic Programming 1. INTRODUCTION 1.1 OUTLINE Logic Programming Counterfactuals Causality Philosophy

More information

Structural Equations and Beyond

Structural Equations and Beyond Structural Equations and Beyond Franz Huber Department of Philosophy University of Toronto franz.huber@utoronto.ca http://huber.blogs.chass.utoronto.ca/ penultimate version: please cite the paper in the

More information

Lange's Counterfactualism

Lange's Counterfactualism Lange's Counterfactualism Reference Lange, Marc (2009). Laws and Lawmakers: science, metaphysics and the laws of nature. Oxford: Oxford University Press. Rodrigo Cid Universidade Federal do Rio de Janeiro

More information