Hempel s Models of Scientific Explanation
|
|
- Emmeline Robertson
- 6 years ago
- Views:
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 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 informationCarl 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 informationExplanation 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 information1 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 informationPhilosophy 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 informationScientific 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 informationPHI 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 informationWhat 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 informationEmergent 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 informationMeasurement: 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 informationI. 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 informationThe 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 information02. 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 informationHesse: 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 information7.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 informationOn 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 informationDavid 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 informationPré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 informationa. 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 informationEC 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 informationThe 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 informationAstronomy 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 informationThe 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 informationThe 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 informationExplanatory 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 informationWhy 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 informationInitial 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 informationThe 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 informationPHENOMENOLOGICAL 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 informationPhilosophy 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 informationThe 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 informationTHE 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 informationExplanation 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 informationIntroductory 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 informationRigorous 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 informationThe 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 informationCompleteness 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 informationRigorous 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 informationMeasurement 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 informationRigorous 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 informationCPPE 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 informationExplanatory 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 informationDesire-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 informationYour 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 informationObjective 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 informationMathematics 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 informationBasic 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 informationOverview. 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 informationPHIL 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 informationAppendix 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 informationA 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 informationReasoning 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 informationDeep 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 informationIn 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 informationCSCE 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 informationPhilosophy 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 informationThe 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 informationInduction, 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 informationTopic 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 informationInductive 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 informationThe 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 informationA 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 informationNumbers 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 informationModel 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 informationKripke 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 informationChapter 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 informationLearning 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 informationUNIVERSITY 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 informationTHE 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 informationand 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 informationIntroduction 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 informationDEEP 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 informationReview 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 informationLogic 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 information09 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 informationLogicality 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 informationDeceptive 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 informationGrimes 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 information1. 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 informationINTRODUCTION. 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 informationBounding 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 informationThe 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 informationPHIL12A 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 informationJoyce 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 informationA 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 informationa. ~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 informationFrom 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 informationBayesian 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 informationThe 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 informationLecture 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 informationPhilosophy 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 informationProving 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 informationTwo-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 informationClassical 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 informationTwo-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 informationThis 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 informationDraft 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 informationRethinking 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 informationCOMP 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 informationEconomics 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