02. Explanation. Part 1.

Size: px
Start display at page:

Download "02. Explanation. Part 1."

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 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

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

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

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

Natural deduction for truth-functional logic

Natural 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 information

Hempel s Models of Scientific Explanation

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

More information

Formal Logic. Critical Thinking

Formal 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 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

ASTR 2010 Modern Cosmology. Professor: James Green

ASTR 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 information

Deduction by Daniel Bonevac. Chapter 3 Truth Trees

Deduction 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 information

Modern Physics notes Spring 2007 Paul Fendley Lecture 27

Modern 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 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

PHIL12A Section answers, 14 February 2011

PHIL12A 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 information

1.1 Statements and Compound Statements

1.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 information

Expressive Power, Mood, and Actuality

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

More information

Propositional Logic Arguments (5A) Young W. Lim 11/30/16

Propositional 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 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

- a reversed conditional; if a conditional is p q, than its converse is q p

- 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 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

Propositional Logic Arguments (5A) Young W. Lim 11/8/16

Propositional 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 information

Hardy s Paradox. Chapter Introduction

Hardy 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 information

An analogy from Calculus: limits

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

More information

Proofs: A General How To II. Rules of Inference. Rules of Inference Modus Ponens. Rules of Inference Addition. Rules of Inference Conjunction

Proofs: 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 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

Deductive and Inductive Logic

Deductive 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 information

INTRODUCTION TO THE PHILOSOPHY OF SCIENCE

INTRODUCTION 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 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

Cartwright: Do the Laws of Physics State the Facts?

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

More information

The paradox of knowability, the knower, and the believer

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

More information

Propositional Logic Arguments (5A) Young W. Lim 11/29/16

Propositional 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 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

Math 300: Foundations of Higher Mathematics Northwestern University, Lecture Notes

Math 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 information

Logical Form 5 Famous Valid Forms. Today s Lecture 1/26/10

Logical 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 information

Ibn Sina s explanation of reductio ad absurdum. Wilfrid Hodges Herons Brook, Sticklepath, Okehampton November 2011

Ibn 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 information

03. Induction and Confirmation. 1. Induction. Topic: Relation between theory and evidence.

03. 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 information

Overview of Today s Lecture

Overview 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 information

A Little Deductive Logic

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

More information

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

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

Mathematics for linguists

Mathematics 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 information

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.

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. 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- 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 information

Propositional Logic Truth-functionality Definitions Soundness Completeness Inferences. Modal Logic. Daniel Bonevac.

Propositional 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 information

Non-normal Worlds. Daniel Bonevac. February 5, 2012

Non-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 information

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

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

More information

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

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

More information

Unit 5: Gravity and Rotational Motion. Brent Royuk Phys-109 Concordia University

Unit 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 information

McTaggart s Argument for the Unreality of Time:

McTaggart 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 information

CHAPTER 5 FUZZY LOGIC FOR ATTITUDE CONTROL

CHAPTER 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 information

Philosophy 240 Symbolic Logic. Russell Marcus Hamilton College Fall 2013

Philosophy 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 information

Propositional Logic: Part II - Syntax & Proofs 0-0

Propositional 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 information

Introduction to Logic in Computer Science: Autumn 2006

Introduction 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 information

Truth, Subderivations and the Liar. Why Should I Care about the Liar Sentence? Uses of the Truth Concept - (i) Disquotation.

Truth, 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 information

Symbolic 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. 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 information

Truth-Functional Logic

Truth-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 information

Lecture 10: Gentzen Systems to Refinement Logic CS 4860 Spring 2009 Thursday, February 19, 2009

Lecture 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 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

Automated 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 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 information

Model-theoretic Vagueness vs. Epistemic Vagueness

Model-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 information

Superposition - World of Color and Hardness

Superposition - 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 information

4 Quantifiers and Quantified Arguments 4.1 Quantifiers

4 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 information

Making Sense. Tom Carter. tom/sfi-csss. April 2, 2009

Making 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 information

Introducing Proof 1. hsn.uk.net. Contents

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

More information

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

Introduction to Semantics. The Formalization of Meaning 1

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

More information

THE REPRESENTATION THEORY, GEOMETRY, AND COMBINATORICS OF BRANCHED COVERS

THE 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 information

Ockham Efficiency Theorem for Randomized Scientific Methods

Ockham 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 information

Handout 8: Bennett, Chapter 10

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

More information

A Sequent Calculus for Skeptical Reasoning in Autoepistemic Logic

A 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 information

Equivalent Forms of the Axiom of Infinity

Equivalent 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 information

Example. Logic. Logical Statements. Outline of logic topics. Logical Connectives. Logical Connectives

Example. 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 information

Relevant Logic. Daniel Bonevac. March 20, 2013

Relevant 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 information

First-Degree Entailment

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

More information

Lecture 01: Mathematical Modeling and Physics

Lecture 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 information

Hidden Parameters in the Universal Gravitational Constant

Hidden 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 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

(Refer Slide Time: 02:20)

(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 information

INTENSIONS MARCUS KRACHT

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

More information

Rotation and Angles. By torque and energy

Rotation 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 information

Today 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) 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 information

Why Is There Something Rather Than Nothing? A Logical Investigation

Why 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 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

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

MI 4 Mathematical Induction Name. Mathematical Induction

MI 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 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

Philosophy of Mathematics Structuralism

Philosophy 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 information

Angular Momentum. Objectives CONSERVATION OF ANGULAR MOMENTUM

Angular 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 information

CS1800: Mathematical Induction. Professor Kevin Gold

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

More information

37-6 Watching the electrons (matter waves)

37-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 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

MITOCW watch?v=t6tqhnxy5wg

MITOCW 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 information

Default Logic Autoepistemic Logic

Default 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 information

Incompatibility Paradoxes

Incompatibility Paradoxes Chapter 22 Incompatibility Paradoxes 22.1 Simultaneous Values There is never any difficulty in supposing that a classical mechanical system possesses, at a particular instant of time, precise values of

More information

Why Is There Something Rather Than Nothing? A Logical Investigation

Why 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 information

Accuracy, Language Dependence and Joyce s Argument for Probabilism

Accuracy, 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 information

Propositional Logic: Logical Agents (Part I)

Propositional 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 information

Review for 3 rd Midterm

Review 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 information

Aristotle s Philosophy of Science The Posterior Analytics. Aristotle s Philosophy of Science The Posterior Analytics

Aristotle 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 information

A Little Deductive Logic

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

More information

Logic: Propositional Logic Truth Tables

Logic: 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