02. Explanation. Part 1.
|
|
- Ashley Mitchell
- 6 years ago
- Views:
Transcription
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 or intelligible some particular event, or some general fact, by appealing to other particular and/or general facts drawn from one or more branches of empirical science. As Salmon notes, this is pretty vague. Let s get a bit more precise. Terminology: 1. Explanandum - fact (particular or general) to be explained. 2. Explanans - that which does the explaining 3. Explanation - (2 hair-splitting views) (a) A linguistic object consisting of an explanandum-statement and an explanans statement. (b) A collection of facts consisting of explanandum-facts and explanans-facts. (For our purposes, nothing too important rides on this distinction. Just be aware of it.) More Preliminaries: Arguments Since DN views explanations as arguments, we should be clear about what arguments are. An argument is a collection of statements, one of which is identified as a claim (conclusion), and the others are identified as reasons given for the claim (premises). ASIDE: We ve now introduced 2 distinct types of object: (1) an explanation; and (2) an argument. These are not necessarily the same type of object! One attempt to further define what an explanation in science amounts to is the DN account. This particular account claims an explanation is a type of argument. We will investigate the adequacy of this account in the following lectures. But at this point, it is very important to realize that, in general, explanations and arguments are differents sorts of things. 1
2 Two Main Types of Argument (not explanation!) Deductive 1. Non-ampliative: Content of conclusion is present in premises. 2. Truth-preserving: If premises are true, conclusion must be true. 3. Erosion-proof: Addition of new premises does not affect strength of argument (as long as original premises are left alone). 4. Deductive validity is all-or-nothing. A deductive argument is either valid or invalid. Inductive 1. Ampliative: Conclusion contains information beyond that expressed in premises. 2. Not necessarily truth preserving. 3. Not erosion-proof: Addition of premises may strengthen/weaken argument. 4. Inductive strength comes in degrees. Some inductive arguments are stronger/weaker than others. Ex1: All animals with wings can fly. Pigs have wings. Pigs can fly. This is a valid deductive argument: 1. It is non-ampliative: the conclusion is already implicit in the premises. 2. It is truth-preserving: If it is true that all animals with wings can fly, and if it is true that pigs have wings, then it must also be true that pigs can fly. ASIDE: Of course, pigs don t have wings, and not all animals with wings can fly (penguins, for example). Note, however, that the truth-preserving property simply requires that it can never be the case that all the premises are true and the conclusion false. So long as this holds, the argument is valid. This does allow any other combination of truthvalues for the premises and conclusion. For instance, a valid argument could have all false premises and a true conclusion; or all false premises and a false conclusion; or some combination of false/true premises together with a false/true conclusion. Again, the only combination that is prohibited by property (2) is the combination of all true premises and a false conclusion. 3. It is erosion-proof: If we added the premise Wilbur has butterfly wings, the conclusion would still follow in the required truth-preserving way. ASIDE: If we explicitly added Pigs don t have wings as a third premise, then the conclusion Pigs can fly would still be true if all the premises were true. To see this, note that this new third premise contradicts the second premise Pigs have wings -- they can t both be true at the same time (or false at the same time). So adding Pigs don t have wings prevents the argument from ever having all true premises and a false conclusion; and this is just the truth-preserving property (2). Similarly, adding Pigs can t fly as a third premise would contradict the conclusion, which is already implicit in the first two premises. So again, we could never have a situation in which all the premises were true and the conclusion false. So again, property (2) would be upheld. 4. Finally, as we ve seen, it s validity is all-or-nothing. We ve established that it is valid, and shown that nothing we can do to it (short of destroying it) obviscates this fact. 2
3 Ex2: 95% of observed smokers developed lung cancer. Smoking causes lung cancer. This is an inductive argument. 1. It is ampliative: The conclusion contains information not already present in the premise. 2. It is not necessarily truth-preserving: If it is true that a certain survey found that 95% of smokers surveyed went on to develop lung cancer, then it does not necessarily follow that smoking was to blame. There could have been other causal factors that influenced the development of cancer in those 95%. 3. It is not erosion-proof. Suppose we added a second premise that states 100, 000 smokers were surveyed. This would strengthen the conclusion, all things remaining equal. It would establish that the sample size of the survey was very big. However, if we then added a fourth premise that states All smokers surveyed lived in coal mines, this would weaken the conclusion. It would establish that the sample was pretty biased; in this case, it would lead us to think that perhaps the large incidence of cancer was due to inhaling coal dust, as opposed to smoking. 4. Finally, (3) shows how inductive strength comes in degrees. II. Deductive-Nomological (DN) Model of Scientific Explanation Hempel & Oppenheim (1948) Studies in the Logic of Explanation DN explanation - an account of the explanandum that indicates how it follows deductively from a law of nature ( covering-law account). Key characteristics are given by: Conditions of Adequacy 1. Must be a valid-deductive argument with premises stating the explanans and the conclusion stating the explanandum. 2. Premises (explanans) must contain a law. 3. Explanans must have empirical content. 4. Explanans must be true. The conditions of adequacy define what a DN explanation is. In other words, an explanation is a DN explanation if and only if it satisfies conditions 1-4. CLAIM: Scientific explanations are DN explanations. 3
4 General form of DN explanations explanans L 1, L 2,... C 1, C 2,... law(s) conditions underwhich laws are applicable explanandum O 1, O 2,... observed phenomena Ex1: Why do skaters spin faster as they bring their arms in towards their bodies? DN explanation: 1. Angular momentum is conserved. 2. Skater doesn t interact with external objects. 3. Skater has non-zero initial angular momentum. 4. Skater brings arms in towards body (reducing rotational intertia). Skater spins faster. law conditions observed phenomena Subsumption of particular fact (skater spinning faster) under a law (conservation of angular momentum). ASIDE: Ex1 satisfies the 4 conditions of adequacy. In particular, it is a valid-deductive argument -- If the premises are all true, then the conclusion must be true. To see this concretely, note that the argument can be formulated mathematically in the following manner (where the angular momentum L of a spinning object is defined as L = Iω, where I is the object s moment of inertia (it s rotational inertia, which is roughly a measure of the object s tendancy to continue spinning in the absernce of external forces), and ω is its rotational velocity (which measures how fast it is rotating)): 1. L i = L f 2. L i = I i ω i and L f = I f ω f 3. L i = 0 4. I f < I i ω f > ω i (nothing contributes to L other than the skater s I and ω) (Intuitively, to preserve the equation I i ω i = I f ω f when I f is less than I i, the quantity ω f must be greater than ω i to compensate) Ex2: Why did Jan s bracelet melt when it was heated to 1063 C? DN explanation: 1. Gold melts at 1063 C. law 2. Jan s bracelet is made of gold. condition Jan s bracelet melted at 1063 C. observation 4
5 Initial Problem for DN model: What is a law of nature? Preliminary Sketch Claim: Laws must Hempel & Oppenheim (1948) Studies in the Logic of Explanation (a) Describe regularities that hold universally at all times and places. (b) Be capable of supporting counterfactual statements. (c) Be capable of supporting modal statements. counterfactual statement = An if-then statement with a false if -clause. Ex: If Abe Lincoln were alive today, then he d be clawing at the lid of his coffin. modal statement = A statement that asserts a physical necessity or (im)possibility. Ex: It is impossible to construct an enriched uranium sphere with mass > 100,000 kg. To say that a law supports a counterfactual/modal statement is to say that the law makes the counterfactual/modal statement true. Three examples of candidate laws: (1) All the apples in my refrigerator are yellow. (2) No gold sphere has a mass greater than 100,000 kg. (3) No enriched uranium sphere has a mass greater than 100,000 kg. Is (1) lawlike? (Does it satisfy (a), (b), (c)?) It doesn t satisfy (a). It refers to a particular place (and time). Is (2) lawlike? It satisfies (a). (It's reasonable to suppose that in our universe there will never be enough gold to assemble such a massive sphere.) It doesn t satisfy (b). It doesn t support the following true counterfactual statement: If two gold spheres with masses of 50,001 kg each were put together, then they would form a sphere with mass 100,001 kg. It doesn t satisfy (c). It doesn t support the following true modal statement: It is possible to construct a gold sphere with mass greater than 100,000 kg. 5
6 Is (3) lawlike? It satisfies (a). It satisfies (b). It supports the following true counterfactual statement: If 100,000 kg of enriched uranium were assembled, then we would no longer have any uranium. It satisfies (c). It supports the following true modal statement: It is impossible to construct a sphere of enriched uranium with mass greater than 100,000 kg. Accidental generalization = A true generalization that satisfies (a) but not (b) or (c). Lawlike generalization = A true generalization that satisfies (a), (b) and (c). Circularity Problem with this preliminary account of laws This account says a law of nature is a true generalization that statisfies conditions (a), (b) and (c). In particular, laws differ from accidental generalizations solely on the basis of the ability of laws to support counterfactuals and modal statements. BUT: Why do we think certain counterfactuals and modal statements are true in the first place? If it s because we think there are laws of nature that underlie them, then we can t use them to define what we mean by a law, on pain of circularity. SO: This preliminary account works only if we already have a theory of counterfactuals and modal statements that is independent of the notion of a law and which can be used to determine which counterfactuals/modal statements are true and which are false. Such a theory is hard to envision. (And note that it can t simply be based on our intution; i.e., we can say that, intuitively, we think that the modal statement It s physically possible to construct a 100,000 kg gold sphere is true. The question is, What underlies this intuition?) 6
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 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 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 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 informationNatural deduction for truth-functional logic
Natural deduction for truth-functional logic Phil 160 - Boston University Why natural deduction? After all, we just found this nice method of truth-tables, which can be used to determine the validity or
More informationHempel 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 informationFormal Logic. Critical Thinking
ormal Logic Critical hinking Recap: ormal Logic If I win the lottery, then I am poor. I win the lottery. Hence, I am poor. his argument has the following abstract structure or form: If P then Q. P. Hence,
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 informationASTR 2010 Modern Cosmology. Professor: James Green
ASTR 2010 Modern Cosmology Professor: James Green Logistics: Textbook Math Expectations Grading Homeworks Midterm Final Exam Lecture Notes Cosmology The Scientific Study of the Universe What is Science?
More informationDeduction by Daniel Bonevac. Chapter 3 Truth Trees
Deduction by Daniel Bonevac Chapter 3 Truth Trees Truth trees Truth trees provide an alternate decision procedure for assessing validity, logical equivalence, satisfiability and other logical properties
More informationModern Physics notes Spring 2007 Paul Fendley Lecture 27
Modern Physics notes Spring 2007 Paul Fendley fendley@virginia.edu Lecture 27 Angular momentum and positronium decay The EPR paradox Feynman, 8.3,.4 Blanton, http://math.ucr.edu/home/baez/physics/quantum/bells
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 informationPHIL12A Section answers, 14 February 2011
PHIL12A Section answers, 14 February 2011 Julian Jonker 1 How much do you know? 1. You should understand why a truth table is constructed the way it is: why are the truth values listed in the order they
More information1.1 Statements and Compound Statements
Chapter 1 Propositional Logic 1.1 Statements and Compound Statements A statement or proposition is an assertion which is either true or false, though you may not know which. That is, a statement is something
More informationExpressive Power, Mood, and Actuality
Expressive Power, Mood, and Actuality Rohan French Abstract In Wehmeier (2004) we are presented with the subjunctive modal language, a way of dealing with the expressive inadequacy of modal logic by marking
More informationPropositional Logic Arguments (5A) Young W. Lim 11/30/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
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 information- a reversed conditional; if a conditional is p q, than its converse is q p
Lesson 5: Inductive and Deductive Reasoning Conditional - a statement that tells if one thing happens, another will follow; stated as if p, then q written as p q; Contrapositive - a type of conditional
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 informationPropositional Logic Arguments (5A) Young W. Lim 11/8/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationHardy s Paradox. Chapter Introduction
Chapter 25 Hardy s Paradox 25.1 Introduction Hardy s paradox resembles the Bohm version of the Einstein-Podolsky-Rosen paradox, discussed in Chs. 23 and 24, in that it involves two correlated particles,
More informationAn analogy from Calculus: limits
COMP 250 Fall 2018 35 - big O Nov. 30, 2018 We have seen several algorithms in the course, and we have loosely characterized their runtimes in terms of the size n of the input. We say that the algorithm
More informationProofs: A General How To II. Rules of Inference. Rules of Inference Modus Ponens. Rules of Inference Addition. Rules of Inference Conjunction
Introduction I Proofs Computer Science & Engineering 235 Discrete Mathematics Christopher M. Bourke cbourke@cse.unl.edu A proof is a proof. What kind of a proof? It s a proof. A proof is a proof. And when
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 informationDeductive and Inductive Logic
Deductive Logic Overview (1) Distinguishing Deductive and Inductive Logic (2) Validity and Soundness (3) A Few Practice Deductive Arguments (4) Testing for Invalidity (5) Practice Exercises Deductive and
More informationINTRODUCTION TO THE PHILOSOPHY OF SCIENCE
INTRODUCTION TO THE PHILOSOPHY OF SCIENCE A Text by Members of the Department of the History a n d Philosophy o f Science of the University o f Pittsburgh Merrilee H. Salmon- JohnEarman Clark Glymour James
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 informationCartwright: 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 informationThe paradox of knowability, the knower, and the believer
The paradox of knowability, the knower, and the believer Last time, when discussing the surprise exam paradox, we discussed the possibility that some claims could be true, but not knowable by certain individuals
More informationPropositional Logic Arguments (5A) Young W. Lim 11/29/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
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 informationMath 300: Foundations of Higher Mathematics Northwestern University, Lecture Notes
Math 300: Foundations of Higher Mathematics Northwestern University, Lecture Notes Written by Santiago Cañez These are notes which provide a basic summary of each lecture for Math 300, Foundations of Higher
More informationLogical Form 5 Famous Valid Forms. Today s Lecture 1/26/10
Logical Form 5 Famous Valid Forms Today s Lecture 1/26/10 Announcements Homework: --Read Chapter 7 pp. 277-298 (doing the problems in parts A, B, and C pp. 298-300 are recommended but not required at this
More informationIbn Sina s explanation of reductio ad absurdum. Wilfrid Hodges Herons Brook, Sticklepath, Okehampton November 2011
1 Ibn Sina s explanation of reductio ad absurdum. Wilfrid Hodges Herons Brook, Sticklepath, Okehampton November 2011 http://wilfridhodges.co.uk 2 WESTERN LOGIC THE BIG NAMES Latin line through Boethius
More information03. Induction and Confirmation. 1. Induction. Topic: Relation between theory and evidence.
03. Induction and Confirmation Topic: Relation between theory and evidence. 1. Induction Problem of Induction: What reason do we have for thinking the future will resemble the past? - Initial Response:
More informationOverview of Today s Lecture
Branden Fitelson Philosophy 4515 (Advanced Logic) Notes 1 Overview of Today s Lecture Administrative Stuff HW #1 grades and solutions have been posted Please make sure to work through the solutions HW
More informationA 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 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 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 informationMathematics for linguists
Mathematics for linguists WS 2009/2010 University of Tübingen January 7, 2010 Gerhard Jäger Mathematics for linguists p. 1 Inferences and truth trees Inferences (with a finite set of premises; from now
More informationPUZZLE. You meet A, B, and C in the land of knights and knaves. A says Either B and I are both knights or we are both knaves.
PUZZLE You meet A, B, and C in the land of knights and knaves. A says Either B and I are both knights or we are both knaves. B says C and I are the same type. C says Either A is a knave or B is a knave.
More information~ 3 ~ -LOGIC WITH UNIVERSAL GENERALIZATIONS- Validity
~ 3 ~ -LOGIC WITH UNIVERSAL GENERALIZATIONS- i. DEDUCTION, VALIDITY, AND LOGIC Validity Deductive arguments are those that are supposed to be valid. In a valid deductive argument, the premises support
More informationPropositional Logic Truth-functionality Definitions Soundness Completeness Inferences. Modal Logic. Daniel Bonevac.
January 22, 2013 Modal logic is, among other things, the logic of possibility and necessity. Its history goes back at least to Aristotle s discussion of modal syllogisms in the Prior Analytics. But modern
More informationNon-normal Worlds. Daniel Bonevac. February 5, 2012
Non-normal Worlds Daniel Bonevac February 5, 2012 Lewis and Langford (1932) devised five basic systems of modal logic, S1 - S5. S4 and S5, as we have seen, are normal systems, equivalent to K ρτ and K
More informationPhilosophy 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 informationChapter 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 informationUnit 5: Gravity and Rotational Motion. Brent Royuk Phys-109 Concordia University
Unit 5: Gravity and Rotational Motion Brent Royuk Phys-109 Concordia University Rotational Concepts There s a whole branch of mechanics devoted to rotational motion, with angular equivalents for distance,
More informationMcTaggart s Argument for the Unreality of Time:
McTaggart s Argument for the Unreality of Time: A Temporal Logical Analysis Hunan Rostomyan In this paper I want to examine McTaggart s [1908] argument for the unreality of time. McTaggart starts with
More informationCHAPTER 5 FUZZY LOGIC FOR ATTITUDE CONTROL
104 CHAPTER 5 FUZZY LOGIC FOR ATTITUDE CONTROL 5.1 INTRODUCTION Fuzzy control is one of the most active areas of research in the application of fuzzy set theory, especially in complex control tasks, which
More informationPhilosophy 240 Symbolic Logic. Russell Marcus Hamilton College Fall 2013
Philosophy 240 Symbolic Logic Russell Marcus Hamilton College Fall 2013 Class #4 Philosophy Friday #1: Conditionals Marcus, Symbolic Logic, Fall 2013, Slide 1 Natural-Language Conditionals A. Indicative
More informationPropositional Logic: Part II - Syntax & Proofs 0-0
Propositional Logic: Part II - Syntax & Proofs 0-0 Outline Syntax of Propositional Formulas Motivating Proofs Syntactic Entailment and Proofs Proof Rules for Natural Deduction Axioms, theories and theorems
More informationIntroduction to Logic in Computer Science: Autumn 2006
Introduction to Logic in Computer Science: Autumn 2006 Ulle Endriss Institute for Logic, Language and Computation University of Amsterdam Ulle Endriss 1 Plan for Today The first part of the course will
More informationTruth, Subderivations and the Liar. Why Should I Care about the Liar Sentence? Uses of the Truth Concept - (i) Disquotation.
Outline 1 2 3 4 5 1 / 41 2 / 41 The Liar Sentence Let L be the sentence: This sentence is false This sentence causes trouble If it is true, then it is false So it can t be true Thus, it is false If it
More informationSymbolic Logic 3. For an inference to be deductively valid it is impossible for the conclusion to be false if the premises are true.
Symbolic Logic 3 Testing deductive validity with truth tables For an inference to be deductively valid it is impossible for the conclusion to be false if the premises are true. So, given that truth tables
More informationTruth-Functional Logic
Truth-Functional Logic Syntax Every atomic sentence (A, B, C, ) is a sentence and are sentences With ϕ a sentence, the negation ϕ is a sentence With ϕ and ψ sentences, the conjunction ϕ ψ is a sentence
More informationLecture 10: Gentzen Systems to Refinement Logic CS 4860 Spring 2009 Thursday, February 19, 2009
Applied Logic Lecture 10: Gentzen Systems to Refinement Logic CS 4860 Spring 2009 Thursday, February 19, 2009 Last Tuesday we have looked into Gentzen systems as an alternative proof calculus, which focuses
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 informationAutomated Program Verification and Testing 15414/15614 Fall 2016 Lecture 2: Propositional Logic
Automated Program Verification and Testing 15414/15614 Fall 2016 Lecture 2: Propositional Logic Matt Fredrikson mfredrik@cs.cmu.edu October 17, 2016 Matt Fredrikson Propositional Logic 1 / 33 Propositional
More informationModel-theoretic Vagueness vs. Epistemic Vagueness
Chris Kennedy Seminar on Vagueness University of Chicago 25 April, 2006 Model-theoretic Vagueness vs. Epistemic Vagueness 1 Model-theoretic vagueness The supervaluationist analyses of vagueness developed
More informationSuperposition - World of Color and Hardness
Superposition - World of Color and Hardness We start our formal discussion of quantum mechanics with a story about something that can happen to various particles in the microworld, which we generically
More information4 Quantifiers and Quantified Arguments 4.1 Quantifiers
4 Quantifiers and Quantified Arguments 4.1 Quantifiers Recall from Chapter 3 the definition of a predicate as an assertion containing one or more variables such that, if the variables are replaced by objects
More informationMaking Sense. Tom Carter. tom/sfi-csss. April 2, 2009
Making Sense Tom Carter http://astarte.csustan.edu/ tom/sfi-csss April 2, 2009 1 Making Sense Introduction / theme / structure 3 Language and meaning 6 Language and meaning (ex)............... 7 Theories,
More informationIntroducing 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 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 informationIntroduction to Semantics. The Formalization of Meaning 1
The Formalization of Meaning 1 1. Obtaining a System That Derives Truth Conditions (1) The Goal of Our Enterprise To develop a system that, for every sentence S of English, derives the truth-conditions
More informationTHE REPRESENTATION THEORY, GEOMETRY, AND COMBINATORICS OF BRANCHED COVERS
THE REPRESENTATION THEORY, GEOMETRY, AND COMBINATORICS OF BRANCHED COVERS BRIAN OSSERMAN Abstract. The study of branched covers of the Riemann sphere has connections to many fields. We recall the classical
More informationOckham Efficiency Theorem for Randomized Scientific Methods
Ockham Efficiency Theorem for Randomized Scientific Methods Conor Mayo-Wilson and Kevin T. Kelly Department of Philosophy Carnegie Mellon University Formal Epistemology Workshop (FEW) June 19th, 2009 1
More informationHandout 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 informationA Sequent Calculus for Skeptical Reasoning in Autoepistemic Logic
A Sequent Calculus for Skeptical Reasoning in Autoepistemic Logic Robert Saxon Milnikel Kenyon College, Gambier OH 43022 USA milnikelr@kenyon.edu Abstract A sequent calculus for skeptical consequence in
More informationEquivalent Forms of the Axiom of Infinity
Equivalent Forms of the Axiom of Infinity Axiom of Infinity 1. There is a set that contains each finite ordinal as an element. The Axiom of Infinity is the axiom of Set Theory that explicitly asserts that
More informationExample. Logic. Logical Statements. Outline of logic topics. Logical Connectives. Logical Connectives
Logic Logic is study of abstract reasoning, specifically, concerned with whether reasoning is correct. Logic focuses on relationship among statements as opposed to the content of any particular statement.
More informationRelevant Logic. Daniel Bonevac. March 20, 2013
March 20, 2013 The earliest attempts to devise a relevance logic that avoided the problem of explosion centered on the conditional. FDE, however, has no conditional operator, or a very weak one. If we
More informationFirst-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 informationLecture 01: Mathematical Modeling and Physics
Massachusetts Institute of Technology MITES 2017 Physics III Lecture 01: Mathematical Modeling and Physics In these notes, we define physics and discuss how the properties of physical theories suggest
More informationHidden Parameters in the Universal Gravitational Constant
Richard A. Peters Affiliation: None Hidden Parameters in the Universal Gravitational Constant Abstract The acceleration profile about a gravitational body (GB) defines the acceleration of an object (comprising
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 information(Refer Slide Time: 02:20)
Discrete Mathematical Structures Dr. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 5 Logical Inference In the last class we saw about
More informationINTENSIONS MARCUS KRACHT
INTENSIONS MARCUS KRACHT 1. The Way Things Are This note accompanies the introduction of Chapter 4 of the lecture notes. I shall provide some formal background and technology. Let a language L be given
More informationRotation and Angles. By torque and energy
Rotation and Angles By torque and energy CPR An experiment - and things always go wrong when you try experiments the first time. (I won t tell you the horror stories of when I first used clickers, Wattle
More informationToday s Lecture 2/25/10. Truth Tables Continued Introduction to Proofs (the implicational rules of inference)
Today s Lecture 2/25/10 Truth Tables Continued Introduction to Proofs (the implicational rules of inference) Announcements Homework: -- Ex 7.3 pg. 320 Part B (2-20 Even). --Read chapter 8.1 pgs. 345-361.
More informationWhy Is There Something Rather Than Nothing? A Logical Investigation
Why Is There Something Rather Than Nothing? A Logical Investigation Jan Heylen Abstract From Leibniz to Krauss philosophers and scientists have raised the question as to why there is something rather than
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 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 informationMI 4 Mathematical Induction Name. Mathematical Induction
Mathematical Induction It turns out that the most efficient solution to the Towers of Hanoi problem with n disks takes n 1 moves. If this isn t the formula you determined, make sure to check your data
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 informationPhilosophy of Mathematics Structuralism
Philosophy of Mathematics Structuralism Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 17/11/15 Neo-Fregeanism Last week, we considered recent attempts to revive Fregean logicism. Analytic
More informationAngular Momentum. Objectives CONSERVATION OF ANGULAR MOMENTUM
Angular Momentum CONSERVATION OF ANGULAR MOMENTUM Objectives Calculate the angular momentum vector for a moving particle Calculate the angular momentum vector for a rotating rigid object where angular
More informationCS1800: Mathematical Induction. Professor Kevin Gold
CS1800: Mathematical Induction Professor Kevin Gold Induction: Used to Prove Patterns Just Keep Going For an algorithm, we may want to prove that it just keeps working, no matter how big the input size
More information37-6 Watching the electrons (matter waves)
37-6 Watching the electrons (matter waves) 1 testing our proposition: the electrons go either through hole 1 or hole 2 add a very strong light source behind walls between two holes, electrons will scatter
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 informationMITOCW watch?v=t6tqhnxy5wg
MITOCW watch?v=t6tqhnxy5wg PROFESSOR: So what are we trying to do? We're going to try to write a matter wave. We have a particle with energy e and momentum p. e is equal to h bar omega. So you can get
More informationDefault Logic Autoepistemic Logic
Default Logic Autoepistemic Logic Non-classical logics and application seminar, winter 2008 Mintz Yuval Introduction and Motivation Birds Fly As before, we are troubled with formalization of Non-absolute
More informationIncompatibility 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 informationWhy Is There Something Rather Than Nothing? A Logical Investigation
Why Is There Something Rather Than Nothing? A Logical Investigation Jan Heylen Abstract From Leibniz to Krauss philosophers and scientists have raised the question as to why there is something rather than
More informationAccuracy, Language Dependence and Joyce s Argument for Probabilism
Accuracy, Language Dependence and Joyce s Argument for Probabilism Branden Fitelson Abstract In this note, I explain how a variant of David Miller s (975) argument concerning the language-dependence of
More informationPropositional Logic: Logical Agents (Part I)
Propositional Logic: Logical Agents (Part I) First Lecture Today (Tue 21 Jun) Read Chapters 1 and 2 Second Lecture Today (Tue 21 Jun) Read Chapter 7.1-7.4 Next Lecture (Thu 23 Jun) Read Chapters 7.5 (optional:
More informationReview for 3 rd Midterm
Review for 3 rd Midterm Midterm is on 4/19 at 7:30pm in the same rooms as before You are allowed one double sided sheet of paper with any handwritten notes you like. The moment-of-inertia about the center-of-mass
More informationAristotle s Philosophy of Science The Posterior Analytics. Aristotle s Philosophy of Science The Posterior Analytics
Science (epistêmê) deductive system distinguished by its subject matter and its indemonstrable first principles (indemonstrable primitive or not derivable from more basic principles) Derived principles
More informationA 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 informationLogic: Propositional Logic Truth Tables
Logic: Propositional Logic Truth Tables Raffaella Bernardi bernardi@inf.unibz.it P.zza Domenicani 3, Room 2.28 Faculty of Computer Science, Free University of Bolzano-Bozen http://www.inf.unibz.it/~bernardi/courses/logic06
More information