Hempel s Models of Scientific Explanation

Size: px
Start display at page:

Download "Hempel s Models of Scientific Explanation"

Transcription

1 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. Deterministic laws. i) General Statements: (x)(px Qx). ii) Universal: all time and space iii) Necessary: not just accidental regularities Statistical laws. P(Q / P) = r

2 Introduction to Hempel s models Core thesis: Explanations are arguments that the explanandum was to be expected. (p. 685) Formal models: idealizations or rational reconstructions of scientific explanation. Studies in the Logic of Explanation (1948): deterministic explanations (D-N model) Aspects of Scientific Explanation (1962): (probabilistic) explanation (I-S model) statistical Dominated philosophy of science for 20+ years Common features of all models: 1. Arguments: an explanation is an argument from explanans to explanandum. 2. Covering law: an essential part of explanans. 3. Empirical content: explanans must make reference to empirically testable conditions. Classification: Law Explanandum UNIVERSAL STATISTICAL Particular D-N (eclipse) I-S (penicillin recovery) General D-N (Kepler s laws) D-S (Isotope half-life) 2

3 Particular D-N Explanations (1) Deductively valid argument from explanans to explanandum. (2) General law: explanans makes essential reference to at least one general law. (3) Empirical content: Explanans statements must be verifiable. (4) True: Sentences of the explanans must be true. Formal statement: L 1, L 2, L 3,, L r C 1, C 2,, C k Therefore, E General laws Particular facts Explanandum Example: Dewey s soap bubbles explained by particular conditions and gas laws. Motivating the model: 1. Validity and truth provide expectability. 2. Covering law: breadth and depth of understanding (p. 687) 3. Testability: hallmark of science 4. Truth: without this, we have only a potential explanation. 3

4 Objections to D-N model 1. Laws 1. No law is needed. Example: Ink stain on carpet Hempel s response: incomplete explanation - elliptical - partial - explanation sketches 2. No clear concept of general laws. Hempel s response: not my problem 2. Causality 1) Asymmetries. Example: Shadow and flagpole 2) Irrelevance. Example: Hexed salt Example: Birth control pills to prevent male pregnancy 3) Mere correlation Example: falling barometer / storm Hempel s response: some explanations are NOT causal. Summary: Necessity and sufficiency Necessity Thesis: each of (1) - (4) is necessary for a good explanation. Main challenge: inkstain examples. Sufficiency Thesis: (1)-(4) are jointly sufficient for a good explanation. Main challenge: asymmetry, irrelevance, mere correlation. 4

5 D-N Explanation of General Laws Same as particular D-N explanation, except explanandum is a law. Example: Derivation of Kepler s laws from Newton s laws Conjunction problem: Let K = Kepler s laws Let B = Boyle s law Then K can be derived from K B, but this should not count as explanation! Diagnosis: Explanation should be derivation from a true generalization that unifies different areas of science, not a trivial deduction. Kitcher: a theory is explanatory if it is more unified than its rivals. 5

6 Inductive-Statistical (I-S) Explanation 1. Statistical/ probabilistic laws p(g / F) = r [Hempel: p(g, F) = r] 2. Formal (I-S) model for statistical explanation of particular events p(g/f) = r (where r is close to 1) Fa Ga NOT: a deductive argument concluding that Ga is practically certain Ex: 3. D-S explanation P(R / T S) is high Tj Sj Rj with high probability P(G(n) / F) = f(n) n = k P(G(k) / F) = f(k) 6

7 1. Modal version (p. 707) fails Analysis of I-S explanations Probabilistic claims are always relational 2. Expectability criterion. Issue: Must explanations be contrastive (show that the explanandum was to be expected rather than some other event)? Objection: Too restrictive: we do explain low-probability events. 3. Difficulties (a) Same problems as for D-N: asymmetries, irrelevance, mere correlation. (b) Statistical explanation of individual events. 4. Ambiguity of I-S explanation. p(g / F) = r (a high value) Fj Gj [r] p( G / F H) = s (a high value) Fa Ha Ga The existence of such pairs of explanations is what Hempel called the problem of epistemic ambiguity. 7

8 Hempel s solution: Requirement of Maximal Specificity (RMS): If our background knowledge k and premises imply that a belongs to F 1 a subset of F, then this knowledge must also imply a statistical law of form p(g, F 1 ) = r 1, and r 1 = r unless the statement cited is a theorem of probability. Problem: Statistical explanation remains essentially relativized to given knowledge: reference to given knowledge is unavoidable. 8

9 Explanation/Prediction Symmetry Explanation and prediction are structurally identical. Sub-thesis (A): Every explanation is a potential prediction Sub-thesis (B): Every adequate prediction is potentially an explanation. 1. Sub-thesis (A) Expectability intuition (696): Any rational acceptable answer to the question Why did event X occur? must offer information which shows that X was to be expected, either definitely or with reasonable (high) probability. General Objection: pre-supposes determinism? Specific Objections: 1. Syphilis/paresis example. 2. Explanations in evolutionary biology. 3. Self-evidencing explanations. Hempel s conclusion: sub-thesis (A) is correct. 2. Sub-thesis (B) Ex: Koplik spots/measles Hempel s conclusion: sub-thesis (B) is probably false. 9

10 Two questions about statistical explanations (Salmon, ch. 4) (1) (Epistemic vs. Ontic) If there are statistical explanations of particular events, why require high probability (= expectability)? a) Arguments in favour of requiring high probability. #1. If a set of facts explains E, those same facts cannot explain the non-occurrence of E. Example: E = death of a weed sprayed with weedkiller [The explanation for E cannot also function as an explanation for the survival of a sprayed weed.] Explanations must be contrastive. #2. If a set of facts explains E, then it is not possible that some other facts would explain the non-occurrence of E. High probability and RMS ensure adherence to #2. b) Arguments against requiring high probability. 1. Pea blossoms: ¾ red, ¼ white; genetic explanation. We understand the white outcome just as well as red so why do we have explanation only if it s red? In general: we understand the improbable outcome exactly as well as the probable one. 2. Electron tunnelling: 0.9 chance of reflection, 0.1 of tunnelling through the barrier. By hypothesis, there is no explanation for why one outcome happens rather than the other. So why do we have explanation only for reflection? 10

11 (2) (Modal vs. Epistemic/Ontic) Can there be any statistical explanations of particular events? a) Arguments in favour of the modal position ( NO ). OR #1. If under circumstances C, an event of type E sometimes occurs and sometimes not, then C cannot be an adequate explanation for the occurrence of the event of type E. #2. If under circumstances C it is possible for E to fail to occur, then C cannot be an adequate explanation for occurrence of E. Suppose Pr(E / C) = 98%, Pr(~E / C) = 2%. We can t explain E in cases where ~E. But the explanation for E is the same (namely, C). C sometimes explains E, sometimes ~E: violates #1! #3. There are no I-S explanations, but there are D-S explanations of statistical regularities. b) Arguments against the modal position. #1. Large Population argument. Observed frequencies are still particular outcomes. Surely they are explainable! #2. Scientific practice. Scientists want to explain anomalous particular outcomes. (Ex: electron scattering) #3. Applied science. Airplane crashes, individual illnesses, etc. all require individual statistical explanation. 11

Scientific Explanation

Scientific Explanation Scientific Explanation Terminology A scientific explanation will be trying to explain why some fact is true or some phenomenon occurred. Call that thing the thing to be explained the explanandum. The explanation

More information

Carl Hempel Laws and Their Role in Scientific Explanation Two basic requirements for scientific explanations

Carl Hempel Laws and Their Role in Scientific Explanation Two basic requirements for scientific explanations Carl Hempel Laws and Their Role in Scientific Explanation 1 5.1 Two basic requirements for scientific explanations The aim of the natural sciences is explanation insight rather than fact gathering. Man

More information

Explanation and Unification

Explanation and Unification Explanation and Unification Michael Friedman, Explanation and Scientific Understanding Philip Kitcher, Explanatory Unification Erica Klempner 3/16/04 Friedman and Kitcher: same basic motivation, to cash

More information

1 Multiple Choice. PHIL110 Philosophy of Science. Exam May 10, Basic Concepts. 1.2 Inductivism. Name:

1 Multiple Choice. PHIL110 Philosophy of Science. Exam May 10, Basic Concepts. 1.2 Inductivism. Name: PHIL110 Philosophy of Science Exam May 10, 2016 Name: Directions: The following exam consists of 24 questions, for a total of 100 points with 0 bonus points. Read each question carefully (note: answers

More information

Philosophy 240 Symbolic Logic. Russell Marcus Hamilton College Fall 2014

Philosophy 240 Symbolic Logic. Russell Marcus Hamilton College Fall 2014 Philosophy 240 Symbolic Logic Russell Marcus Hamilton College Fall 2014 Class #19: Logic and the Philosophy of Science Marcus, Symbolic Logic, Fall 2014: Logic and the Philosophy of Science, Slide 1 Three

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

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

What is a theory? The Received View of Theories. How do we use theories in science? The Deductive Nomological Model

What is a theory? The Received View of Theories. How do we use theories in science? The Deductive Nomological Model What is a theory? The Received View of Theories How do we use theories in science? The Deductive Nomological Model What is a Scientific Theory? On the received view, a scientific theory is stated in a

More information

Emergent proper+es and singular limits: the case of +me- irreversibility. Sergio Chibbaro Institut d Alembert Université Pierre et Marie Curie

Emergent proper+es and singular limits: the case of +me- irreversibility. Sergio Chibbaro Institut d Alembert Université Pierre et Marie Curie Emergent proper+es and singular limits: the case of +me- irreversibility Sergio Chibbaro Institut d Alembert Université Pierre et Marie Curie Introduction: Definition of emergence I J Kim 2000 The whole

More information

Measurement: still a problem in standard quantum theory

Measurement: still a problem in standard quantum theory Measurement: still a problem in standard quantum theory R. E. Kastner August 20, 2013 - xarqiv Abstract It is argued that recent claims by A. Hobson that there is no measurement problem are based on taking

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 Deductive-Nomological Model of Explanation

The Deductive-Nomological Model of Explanation The Deductive-Nomological Model of Explanation In this essay I will propose the view that Hemple s Deductive-Nomological model of explanation correctly captures and explicates the role of scientific explanation.

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

Hesse: Models and Analogies in Science. Chapter 1: The Function of Models: A Dialogue

Hesse: Models and Analogies in Science. Chapter 1: The Function of Models: A Dialogue Hesse: Models and Analogies in Science Chapter 1: The Function of Models: A Dialogue Broad examination of the role of analogies in scientific theories scientific explanation confirmation and growth of

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

On Likelihoodism and Intelligent Design

On Likelihoodism and Intelligent Design On Likelihoodism and Intelligent Design Sebastian Lutz Draft: 2011 02 14 Abstract Two common and plausible claims in the philosophy of science are that (i) a theory that makes no predictions is not testable

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

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

a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0. (x 1) 2 > 0.

a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0. (x 1) 2 > 0. For some problems, several sample proofs are given here. Problem 1. a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0.

More information

EC 331: Research in Applied Economics

EC 331: Research in Applied Economics EC 331: Research in Applied Economics Terms 1 & 2: Thursday, 1-2pm, S2.133 Vera E. Troeger Office: S0.75 Email: v.e.troeger@warwick.ac.uk Office hours: Friday 9.30 11.30 am Research Design The Purpose

More information

The Common Cause Principle

The Common Cause Principle The Common Cause Principle Gábor Hofer-Szabó King Sigismund College Email: gsz@szig.hu p. 1 Reichenbach: The Direction of Time p. 2 The Common Cause Principle If an improbable coincidence has occurred,

More information

Astronomy 301G: Revolutionary Ideas in Science. Getting Started. What is Science? Richard Feynman ( CE) The Uncertainty of Science

Astronomy 301G: Revolutionary Ideas in Science. Getting Started. What is Science? Richard Feynman ( CE) The Uncertainty of Science Astronomy 301G: Revolutionary Ideas in Science Getting Started What is Science? Reading Assignment: What s the Matter? Readings in Physics Foreword & Introduction Richard Feynman (1918-1988 CE) The Uncertainty

More information

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)

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

Explanatory Generalizations, Part II: Plumbing Explanatory Depth*

Explanatory Generalizations, Part II: Plumbing Explanatory Depth* NO ^US 37:2 (2003) 181 199 Explanatory Generalizations, Part II: Plumbing Explanatory Depth* CHRISTOPHER HITCHCOCK and JAMES WOODWARD California Institute of Technology 1. Introduction Some explanations

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

Initial Conditions, Laws and Explanation

Initial Conditions, Laws and Explanation University of Rochester bradley.weslake@rochester.edu http://mail.rochester.edu/~bweslake/ Laws Anarchism versus Imperialism Imperialism, More Precisely The Argument for Imperialism Laws Fundamental and

More information

The Ontology of Counter Factual Causality and Conditional

The Ontology of Counter Factual Causality and Conditional Philosophy Study, ISSN 2159-5313 July 2014, Vol. 4, No. 7, 492-496. doi: 10.17265/2159-5313/2014.07.005 D DAVID PUBLISHING The Ontology of Counter Factual Causality and Conditional Maduabuchi Dukor Nnamdi

More information

PHENOMENOLOGICAL LAWS AND THEIR APPLICATION TO SCIENTIFIC EPISTEMIC EXPLANATION PROBLEMS. Erik WEBER(*)

PHENOMENOLOGICAL LAWS AND THEIR APPLICATION TO SCIENTIFIC EPISTEMIC EXPLANATION PROBLEMS. Erik WEBER(*) Logique & Analyse 129-130 (1990), 175-189 PHENOMENOLOGICAL LAWS AND THEIR APPLICATION TO SCIENTIFIC EPISTEMIC EXPLANATION PROBLEMS Erik WEBER(*) 1. Introduction Scientific knowledge has both a practical

More information

Philosophy of Science Relevance, not Invariance, Explanatoriness, not Manipulability: Discussion of Woodward on Explanatory Relevance.

Philosophy of Science Relevance, not Invariance, Explanatoriness, not Manipulability: Discussion of Woodward on Explanatory Relevance. Philosophy of Science Relevance, not Invariance, Explanatoriness, not Manipulability: Discussion of Woodward on Explanatory Relevance. --Manuscript Draft-- Manuscript Number: Full Title: Article Type:

More information

The Third Decade ( ) Deepening Differences

The Third Decade ( ) Deepening Differences The Third Decade (1968-77) Deepening Differences The third decade is bracketed by Hempel's last two publications on scientific explanation. It opened with his emendation of the requirement of maximal specificity

More information

THE TRANSFORMATION OF COGNITIVE VALUES INTO METHODOLOGICAL RULES. Erik Weber

THE TRANSFORMATION OF COGNITIVE VALUES INTO METHODOLOGICAL RULES. Erik Weber THE TRANSFORMATION OF COGNITIVE VALUES INTO METHODOLOGICAL RULES Erik Weber 1. Introduction Method()logical research in the strict sense - the construction of rules of acceptance and rejection for scientific

More information

Explanation and Argument in Mathematical Practice

Explanation and Argument in Mathematical Practice Explanation and Argument in Mathematical Practice Andrew Aberdein Humanities and Communication, Florida Institute of Technology, 50 West University Blvd, Melbourne, Florida 3290-6975, U.S.A. my.fit.edu/

More information

Introductory Econometrics

Introductory Econometrics Session 4 - Testing hypotheses Roland Sciences Po July 2011 Motivation After estimation, delivering information involves testing hypotheses Did this drug had any effect on the survival rate? Is this drug

More information

Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis

Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis /9/27 Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis The Philosophy of science: the scientific Method - from a Popperian perspective Philosophy

More information

The Third Decade ( ) Deepening Werences

The Third Decade ( ) Deepening Werences 60 Wesley C. Salmon the probability for a randomly selected member of the human population at large. Moreover, it can plausibly be argued that the evolutionary biologist, in explaining occurrences in that

More information

Completeness for FOL

Completeness for FOL Completeness for FOL Overview Adding Witnessing Constants The Henkin Theory The Elimination Theorem The Henkin Construction Lemma 12 This lemma assures us that our construction of M h works for the atomic

More information

Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis

Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis /3/26 Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis The Philosophy of science: the scientific Method - from a Popperian perspective Philosophy

More information

Measurement Independence, Parameter Independence and Non-locality

Measurement Independence, Parameter Independence and Non-locality Measurement Independence, Parameter Independence and Non-locality Iñaki San Pedro Department of Logic and Philosophy of Science University of the Basque Country, UPV/EHU inaki.sanpedro@ehu.es Abstract

More information

Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis

Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis The Philosophy of science: the scientific Method - from a Popperian perspective Philosophy

More information

CPPE TURN OVER

CPPE TURN OVER [4] [1] [4] [16] The solutions are highly incomplete and only intended to give a rough idea. 1. (a) Which of the following expressions is an abbreviation of a sentence of L 1? If an expression is an abbreviation

More information

Explanatory Integration. Andrew Wayne Department of Philosophy, University of Guelph. Forthcoming in European Journal for Philosophy of Science

Explanatory Integration. Andrew Wayne Department of Philosophy, University of Guelph. Forthcoming in European Journal for Philosophy of Science Explanatory Integration Andrew Wayne Department of Philosophy, University of Guelph Forthcoming in European Journal for Philosophy of Science Abstract The goal of this paper is to show how scientific explanation

More information

Desire-as-belief revisited

Desire-as-belief revisited Desire-as-belief revisited Richard Bradley and Christian List June 30, 2008 1 Introduction On Hume s account of motivation, beliefs and desires are very di erent kinds of propositional attitudes. Beliefs

More information

Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due by 11:59 p.m., Tuesday.

Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due by 11:59 p.m., Tuesday. Friday, February 15 Today we will begin Course Notes 3.2: Methods of Proof. Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due

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

Mathematics 114L Spring 2018 D.A. Martin. Mathematical Logic

Mathematics 114L Spring 2018 D.A. Martin. Mathematical Logic Mathematics 114L Spring 2018 D.A. Martin Mathematical Logic 1 First-Order Languages. Symbols. All first-order languages we consider will have the following symbols: (i) variables v 1, v 2, v 3,... ; (ii)

More information

Basic Probabilistic Reasoning SEG

Basic Probabilistic Reasoning SEG Basic Probabilistic Reasoning SEG 7450 1 Introduction Reasoning under uncertainty using probability theory Dealing with uncertainty is one of the main advantages of an expert system over a simple decision

More information

Overview. I Review of natural deduction. I Soundness and completeness. I Semantics of propositional formulas. I Soundness proof. I Completeness proof.

Overview. I Review of natural deduction. I Soundness and completeness. I Semantics of propositional formulas. I Soundness proof. I Completeness proof. Overview I Review of natural deduction. I Soundness and completeness. I Semantics of propositional formulas. I Soundness proof. I Completeness proof. Propositional formulas Grammar: ::= p j (:) j ( ^ )

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

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

A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery

A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract) Jingde Cheng Department of Computer Science and Communication Engineering Kyushu University, 6-10-1 Hakozaki,

More information

Reasoning with Uncertainty

Reasoning with Uncertainty Reasoning with Uncertainty Representing Uncertainty Manfred Huber 2005 1 Reasoning with Uncertainty The goal of reasoning is usually to: Determine the state of the world Determine what actions to take

More information

Deep Metaphysical Indeterminacy

Deep Metaphysical Indeterminacy Deep Metaphysical Indeterminacy Bradford Skow Abstract A recent theory of metaphysical indeterminacy says that metaphysical indeterminacy is multiple actuality. That is, we have a case of metaphysical

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

CSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!!

CSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!! CSCE 222 Discrete Structures for Computing Review for Exam 1 Dr. Hyunyoung Lee 1 Topics Propositional Logic (Sections 1.1, 1.2 and 1.3) Predicate Logic (Sections 1.4 and 1.5) Rules of Inferences and Proofs

More information

Philosophy of Science Association

Philosophy of Science Association Philosophy of Science Association A Deductive-Nomological Model of Probabilistic Explanation Author(s): Peter Railton Source: Philosophy of Science, Vol. 45, No. 2 (Jun., 1978), pp. 206-226 Published by:

More information

The natural numbers. Definition. Let X be any inductive set. We define the set of natural numbers as N = C(X).

The natural numbers. Definition. Let X be any inductive set. We define the set of natural numbers as N = C(X). The natural numbers As mentioned earlier in the course, the natural numbers can be constructed using the axioms of set theory. In this note we want to discuss the necessary details of this construction.

More information

Induction, confirmation, and underdetermination

Induction, confirmation, and underdetermination Induction, confirmation, and underdetermination Christian Wüthrich http://philosophy.ucsd.edu/faculty/wuthrich/ 145 Philosophy of Science The Mother of All Problems... Hume s problem of induction A brief

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

Inductive Explanation and Garber Style. Solutions to the Problem of Old Evidence

Inductive Explanation and Garber Style. Solutions to the Problem of Old Evidence Inductive Explanation and Garber Style Solutions to the Problem of Old Evidence David Kinney London School of Economics Forthcoming in Synthese Abstract The Problem of Old Evidence is a perennial issue

More information

The symmetries of the Hempelian model of explanation

The symmetries of the Hempelian model of explanation Kriterion vol.2 no.se Belo Horizonte 2006 The symmetries of the Hempelian model of explanation Túlio Roberto Xavier de Aguiar1 ABSTRACT This article critically examines Hempel's deductive-nomological model.

More information

A proof of Bell s inequality in quantum mechanics using causal interactions

A proof of Bell s inequality in quantum mechanics using causal interactions A proof of Bell s inequality in quantum mechanics using causal interactions James M. Robins, Tyler J. VanderWeele Departments of Epidemiology and Biostatistics, Harvard School of Public Health Richard

More information

Numbers that are divisible by 2 are even. The above statement could also be written in other logically equivalent ways, such as:

Numbers that are divisible by 2 are even. The above statement could also be written in other logically equivalent ways, such as: 3.4 THE CONDITIONAL & BICONDITIONAL Definition. Any statement that can be put in the form If p, then q, where p and q are basic statements, is called a conditional statement and is written symbolically

More information

Model Theory of Modal Logic Lecture 4. Valentin Goranko Technical University of Denmark

Model Theory of Modal Logic Lecture 4. Valentin Goranko Technical University of Denmark Model Theory of Modal Logic Lecture 4 Valentin Goranko Technical University of Denmark Third Indian School on Logic and its Applications Hyderabad, January 28, 2010 Model Theory of Modal Logic Lecture

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

Chapter 2. Why Unification Is Neither Necessary nor Sufficient for Explanation. 2.1 Introduction

Chapter 2. Why Unification Is Neither Necessary nor Sufficient for Explanation. 2.1 Introduction Chapter 2 Why Unification Is Neither Necessary nor Sufficient for Explanation 2.1 Introduction Much recent literature on scientific explanation (Kitcher 1985 [56]; Woodward 2003 [142]; Strevens 2004 [130])

More information

Learning Goals of CS245 Logic and Computation

Learning Goals of CS245 Logic and Computation Learning Goals of CS245 Logic and Computation Alice Gao April 27, 2018 Contents 1 Propositional Logic 2 2 Predicate Logic 4 3 Program Verification 6 4 Undecidability 7 1 1 Propositional Logic Introduction

More information

UNIVERSITY OF NOTTINGHAM. Discussion Papers in Economics CONSISTENT FIRM CHOICE AND THE THEORY OF SUPPLY

UNIVERSITY OF NOTTINGHAM. Discussion Papers in Economics CONSISTENT FIRM CHOICE AND THE THEORY OF SUPPLY UNIVERSITY OF NOTTINGHAM Discussion Papers in Economics Discussion Paper No. 0/06 CONSISTENT FIRM CHOICE AND THE THEORY OF SUPPLY by Indraneel Dasgupta July 00 DP 0/06 ISSN 1360-438 UNIVERSITY OF NOTTINGHAM

More information

THE LOGIC OF COMPOUND STATEMENTS

THE LOGIC OF COMPOUND STATEMENTS CHAPTER 2 THE LOGIC OF COMPOUND STATEMENTS Copyright Cengage Learning. All rights reserved. SECTION 2.1 Logical Form and Logical Equivalence Copyright Cengage Learning. All rights reserved. Logical Form

More information

and just what is science? how about this biology stuff?

and just what is science? how about this biology stuff? Welcome to Life on Earth! Rob Lewis 512.775.6940 rlewis3@austincc.edu 1 The Science of Biology Themes and just what is science? how about this biology stuff? 2 1 The Process Of Science No absolute truths

More information

Introduction to Metalogic 1

Introduction to Metalogic 1 Philosophy 135 Spring 2012 Tony Martin Introduction to Metalogic 1 1 The semantics of sentential logic. The language L of sentential logic. Symbols of L: (i) sentence letters p 0, p 1, p 2,... (ii) connectives,

More information

DEEP METAPHYSICAL INDETERMINACY

DEEP METAPHYSICAL INDETERMINACY The Philosophical Quarterly June 2010 doi: 10.1111/j.1467-9213.2010.672.x The Scots Philosophical Association and the University of St Andrews DEEP METAPHYSICAL INDETERMINACY BY BRADFORD SKOW A recent

More information

Review 1. Andreas Klappenecker

Review 1. Andreas Klappenecker Review 1 Andreas Klappenecker Summary Propositional Logic, Chapter 1 Predicate Logic, Chapter 1 Proofs, Chapter 1 Sets, Chapter 2 Functions, Chapter 2 Sequences and Sums, Chapter 2 Asymptotic Notations,

More information

Logic I - Session 22. Meta-theory for predicate logic

Logic I - Session 22. Meta-theory for predicate logic Logic I - Session 22 Meta-theory for predicate logic 1 The course so far Syntax and semantics of SL English / SL translations TT tests for semantic properties of SL sentences Derivations in SD Meta-theory:

More information

09 Modal Logic II. CS 3234: Logic and Formal Systems. October 14, Martin Henz and Aquinas Hobor

09 Modal Logic II. CS 3234: Logic and Formal Systems. October 14, Martin Henz and Aquinas Hobor Martin Henz and Aquinas Hobor October 14, 2010 Generated on Thursday 14 th October, 2010, 11:40 1 Review of Modal Logic 2 3 4 Motivation Syntax and Semantics Valid Formulas wrt Modalities Correspondence

More information

Logicality of Operators

Logicality of Operators Logicality of Operators Tomoya Sato Abstract Characterizing logical operators has been crucially important in the philosophy of logic. One reason for this importance is that the boundary between logically

More information

Deceptive Advertising with Rational Buyers

Deceptive Advertising with Rational Buyers Deceptive Advertising with Rational Buyers September 6, 016 ONLINE APPENDIX In this Appendix we present in full additional results and extensions which are only mentioned in the paper. In the exposition

More information

Grimes on the tacking by disjunction problem

Grimes on the tacking by disjunction problem Disputatio, Vol. I, no. 17, November 2004 Grimes on the tacking by disjunction problem Luca Moretti King s College London Abstract In this paper, I focus on the so-called tacking by disjunction problem.

More information

1. Justification of analogical reasoning 2. Representation

1. Justification of analogical reasoning 2. Representation 1. Justification of analogical reasoning an argument that it is reasonable to give serious consideration to hypotheses supported by analogies that meet certain standards Serious consideration: non-negligible

More information

INTRODUCTION. Tomoya Sato. Department of Philosophy University of California, San Diego. Phil120: Symbolic Logic Summer 2014

INTRODUCTION. Tomoya Sato. Department of Philosophy University of California, San Diego. Phil120: Symbolic Logic Summer 2014 INTRODUCTION Tomoya Sato Department of Philosophy University of California, San Diego Phil120: Symbolic Logic Summer 2014 TOMOYA SATO LECTURE 1: INTRODUCTION 1 / 51 WHAT IS LOGIC? LOGIC Logic is the study

More information

Bounding the Probability of Causation in Mediation Analysis

Bounding the Probability of Causation in Mediation Analysis arxiv:1411.2636v1 [math.st] 10 Nov 2014 Bounding the Probability of Causation in Mediation Analysis A. P. Dawid R. Murtas M. Musio February 16, 2018 Abstract Given empirical evidence for the dependence

More information

The Role of Chance in Explanation

The Role of Chance in Explanation The Role of Chance in Explanation Bradford Skow Abstract Those ice cubes melted because by melting total entropy increased and entropy increase has a very high objective chance. What role does the chance

More information

PHIL12A Section answers, 28 Feb 2011

PHIL12A Section answers, 28 Feb 2011 PHIL12A Section answers, 28 Feb 2011 Julian Jonker 1 How much do you know? Give formal proofs for the following arguments. 1. (Ex 6.18) 1 A B 2 A B 1 A B 2 A 3 A B Elim: 2 4 B 5 B 6 Intro: 4,5 7 B Intro:

More information

Joyce s Argument for Probabilism

Joyce s Argument for Probabilism Joyce s Argument for Probabilism Patrick Maher (p-maher@uiuc.edu) Department of Philosophy, University of Illinois at Urbana-Champaign Abstract. James Joyce s Nonpragmatic Vindication of Probabilism gives

More information

A Positive Formalization for the Notion of Pragmatic Truth 1

A Positive Formalization for the Notion of Pragmatic Truth 1 A Positive Formalization for the Notion of Pragmatic Truth 1 Tarcisio Pequeno Laboratório de Inteligência Artificial Universidade Federal do Ceará Fortaleza CE Brazil Arthur Buchsbaum Departamento de Informática

More information

a. ~p : if p is T, then ~p is F, and vice versa

a. ~p : if p is T, then ~p is F, and vice versa Lecture 10: Propositional Logic II Philosophy 130 3 & 8 November 2016 O Rourke & Gibson I. Administrative A. Group papers back to you on November 3. B. Questions? II. The Meaning of the Conditional III.

More information

From the Kochen-Specker theorem to noncontextuality inequalities without assuming determinism

From the Kochen-Specker theorem to noncontextuality inequalities without assuming determinism From the Kochen-Specker theorem to noncontextuality inequalities without assuming determinism Ravi Kunjwal, IMSc, Chennai July 15, 2015 Quantum Physics and Logic 2015, Oxford (based on arxiv:1506.04150

More information

Bayesian Reasoning. Adapted from slides by Tim Finin and Marie desjardins.

Bayesian Reasoning. Adapted from slides by Tim Finin and Marie desjardins. Bayesian Reasoning Adapted from slides by Tim Finin and Marie desjardins. 1 Outline Probability theory Bayesian inference From the joint distribution Using independence/factoring From sources of evidence

More information

The Pragmatics of Scientific Laws

The Pragmatics of Scientific Laws University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Transactions of the Nebraska Academy of Sciences and Affiliated Societies Nebraska Academy of Sciences 1976 The Pragmatics

More information

Lecture Notes on From Rules to Propositions

Lecture Notes on From Rules to Propositions Lecture Notes on From Rules to Propositions 15-816: Substructural Logics Frank Pfenning Lecture 2 September 1, 2016 We review the ideas of ephemeral truth and linear inference with another example from

More information

Philosophy 220. Truth-Functional Equivalence and Consistency

Philosophy 220. Truth-Functional Equivalence and Consistency Philosophy 220 Truth-Functional Equivalence and Consistency Review Logical equivalency: The members of a pair of sentences [of natural language] are logically equivalent if and only if it is not [logically]

More information

Proving Completeness for Nested Sequent Calculi 1

Proving Completeness for Nested Sequent Calculi 1 Proving Completeness for Nested Sequent Calculi 1 Melvin Fitting abstract. Proving the completeness of classical propositional logic by using maximal consistent sets is perhaps the most common method there

More information

Two-Dimensional Modal Logic

Two-Dimensional Modal Logic Hardegree, Modal Logic, Chapter 10: Two-Dimensional Modal Logic 1 of 12 10 Two-Dimensional Modal Logic 1. Introduction...2 2. Scoped-Actuality...2 3. System 2D(1)...2 4. Examples of Derivations in 2D(1)...3

More information

Classical Propositional Logic

Classical Propositional Logic The Language of A Henkin-style Proof for Natural Deduction January 16, 2013 The Language of A Henkin-style Proof for Natural Deduction Logic Logic is the science of inference. Given a body of information,

More information

Two-Dimensional Modal Logic

Two-Dimensional Modal Logic Hardegree, Modal Logic, 10: Two-Dimensional Modal Logic 13 X-1 10 Two-Dimensional Modal Logic 1. Introduction...2 2. Scoped-Actuality...2 3. System 2D(1)...3 4. Examples of Derivations in 2D(1)...4 5.

More information

This is logically equivalent to the conjunction of the positive assertion Minimal Arithmetic and Representability

This is logically equivalent to the conjunction of the positive assertion Minimal Arithmetic and Representability 16.2. MINIMAL ARITHMETIC AND REPRESENTABILITY 207 If T is a consistent theory in the language of arithmetic, we say a set S is defined in T by D(x) if for all n, if n is in S, then D(n) is a theorem of

More information

Draft of February 2019 please do not cite without permission. A new modal liar 1 T. Parent

Draft of February 2019 please do not cite without permission. A new modal liar 1 T. Parent Draft of February 2019 please do not cite without permission 1. Introduction A new modal liar 1 T. Parent Standardly, necessarily is treated in modal logic as an operator on propositions (much like ~ ).

More information

Rethinking Mechanistic Explanation

Rethinking Mechanistic Explanation Butler University Digital Commons @ Butler University Scholarship and Professional Work - LAS College of Liberal Arts & Sciences 2002 Rethinking Mechanistic Explanation Stuart Glennan Butler University,

More information

COMP 182 Algorithmic Thinking. Proofs. Luay Nakhleh Computer Science Rice University

COMP 182 Algorithmic Thinking. Proofs. Luay Nakhleh Computer Science Rice University COMP 182 Algorithmic Thinking Proofs Luay Nakhleh Computer Science Rice University 1 Reading Material Chapter 1, Section 3, 6, 7, 8 Propositional Equivalences The compound propositions p and q are called

More information

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017 Economics 04 Summer/Fall 07 Lecture Monday July 7, 07 Section.. Methods of Proof We begin by looking at the notion of proof. What is a proof? Proof has a formal definition in mathematical logic, and a

More information