What to do with logic and inference?

Similar documents
Metaphysical Poetry. The Flea (1633) John Donne

The Passionate Shepherd to His Love Christopher Marlowe. The Nymph s Reply to the Shepherd Sir Walter Raleigh

Sonnet 75 Edmund Spenser

Lecture 23: Andrew Marvell s Gardens

Elizabethan Poems (and one medieval one for comparison) Translations by Ken Eckert

Intro Viewed from a certain angle, philosophy is about what, if anything, we ought to believe.

Logic Appendix: More detailed instruction in deductive logic

Chapter 8 - Sentential Truth Tables and Argument Forms

Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments

There are two common forms of deductively valid conditional argument: modus ponens and modus tollens.

LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010

INTERMEDIATE LOGIC Glossary of key terms

Artificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering

What is a logical argument? What is deductive reasoning? Fundamentals of Academic Writing

5.3 The Four Kinds of Categorical Propositions

Philosophy 1100: Introduction to Ethics. Critical Thinking Lecture 1. Background Material for the Exercise on Validity

Unit. Categorical Syllogism. What is a syllogism? Types of Syllogism

Part 2 Module 4: Categorical Syllogisms

Logic for Computer Science - Week 1 Introduction to Informal Logic

1.5. Argument Forms: Proving Invalidity

Instructor s Manual 1

Worksheet Exercise 1.1. Logic Questions

HW3- Sets & Arguments (solutions) Due: Tuesday April 5, 2011

Renaissance Poetry Anthology

CRITICAL THINKING (CT) MODEL PART 1 GENERAL CONCEPTS

Logic: The Science that Evaluates Arguments

Chapter 9- Sentential Proofs

Deccan Education Society s FERGUSSON COLLEGE, PUNE (AUTONOMOUS) SYLLABUS UNDER AUTONOMY FIRST YEAR B.A. LOGIC SEMESTER I

PHI 1500: Major Issues in Philosophy

A. Problem set #3 it has been posted and is due Tuesday, 15 November

Deduction. Of all the modes of reasoning, deductive arguments have the strongest relationship between the premises

The antecendent always a expresses a sufficient condition for the consequent

Study Guides. Chapter 1 - Basic Training

CHAPTER THREE Philosophical Argument

Reviewed by Joseph Williams, University of Chicago

Moore on External Relations

Overview of Today s Lecture

MCQ IN TRADITIONAL LOGIC. 1. Logic is the science of A) Thought. B) Beauty. C) Mind. D) Goodness

Argumentation Module: Philosophy Lesson 7 What do we mean by argument? (Two meanings for the word.) A quarrel or a dispute, expressing a difference

Categorical Logic Handout Logic: Spring Sound: Any valid argument with true premises.

Logic Book Part 1! by Skylar Ruloff!

June 3, 2018 West Valley Presbyterian Church. Called to Worship

Philosophy 1100: Ethics

PART III - Symbolic Logic Chapter 7 - Sentential Propositions

What are Truth-Tables and What Are They For?

Logic: A Brief Introduction

PHILOSOPHY 102 INTRODUCTION TO LOGIC PRACTICE EXAM 1. W# Section (10 or 11) 4. T F The statements that compose a disjunction are called conjuncts.

DOWNLOAD DICTIONARY OF LOGIC AS APPLIED IN THE STUDY OF LANGUAGE CONCEPTS METHODS THEORIES

Three Kinds of Arguments

A Primer on Logic Part 1: Preliminaries and Vocabulary. Jason Zarri. 1. An Easy $10.00? a 3 c 2. (i) (ii) (iii) (iv)

Chapter 1 Why Study Logic? Answers and Comments

The Appeal to Reason. Introductory Logic pt. 1

PRACTICE EXAM The state of Israel was in a state of mourning today because of the assassination of Yztzak Rabin.

Handout 1: Arguments -- the basics because, since, given that, for because Given that Since for Because

5.6.1 Formal validity in categorical deductive arguments

Phil 3304 Introduction to Logic Dr. David Naugle. Identifying Arguments i

Philosophy 1100: Introduction to Ethics. Critical Thinking Lecture 2. Background Material for the Exercise on Inference Indicators

4.7 Constructing Categorical Propositions

Revisiting the Socrates Example

Announcements. CS311H: Discrete Mathematics. First Order Logic, Rules of Inference. Satisfiability, Validity in FOL. Example.

HOW TO ANALYZE AN ARGUMENT

SYLLOGISTIC LOGIC CATEGORICAL PROPOSITIONS

C. Problem set #1 due today, now, on the desk. B. More of an art than a science the key things are: 4.

In view of the fact that IN CLASS LOGIC EXERCISES

ARE YOU WORRIED SICK? You Can Win the War Over Worry

Plato s Allegory of the Cave

Introduction to Analyzing and Evaluating Arguments

First of all, the question implies the word loving to mean only giving pleasant things to those who are loved.

1. To arrive at the truth we have to reason correctly. 2. Logic is the study of correct reasoning. B. DEDUCTIVE AND INDUCTIVE ARGUMENTS

Argumentative Analogy versus Figurative Analogy

In this section you will learn three basic aspects of logic. When you are done, you will understand the following:

Inductive Reasoning. Inductive Reasoning Example #1

Directions: For Problems 1-10, determine whether the given statement is either True (A) or False (B).

The Roman empire ended, the Mongol empire ended, the Persian empire ended, the British empire ended, all empires end, and none lasts forever.

MATH1061/MATH7861 Discrete Mathematics Semester 2, Lecture 5 Valid and Invalid Arguments. Learning Goals

Announcements. CS243: Discrete Structures. First Order Logic, Rules of Inference. Review of Last Lecture. Translating English into First-Order Logic

Richard L. W. Clarke, Notes REASONING

Critical Thinking is:

Statements, Arguments, Validity. Philosophy and Logic Unit 1, Sections 1.1, 1.2

What is an argument? PHIL 110. Is this an argument? Is this an argument? What about this? And what about this?

1.HARK THE HERALD ANGELS SING

Rosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples

IDHEF Chapter 2 Why Should Anyone Believe Anything At All?

Relevance. Premises are relevant to the conclusion when the truth of the premises provide some evidence that the conclusion is true

A Note on Straight-Thinking

A Solution to the Gettier Problem Keota Fields. the three traditional conditions for knowledge, have been discussed extensively in the

1.5 Deductive and Inductive Arguments

March 09, Logic 2.notebook 25) D 26) D 27) C

On Priest on nonmonotonic and inductive logic

Conflict and Absolutism in Europe, Chapter 18

Illustrating Deduction. A Didactic Sequence for Secondary School

Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE

1.6 Validity and Truth

6.080 / Great Ideas in Theoretical Computer Science Spring 2008

SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question.

LOGICAL THINKING CHAPTER DEDUCTIVE THINKING: THE SYLLOGISM. If we reason it is not because we like to, but because we must.

Answers to Practice Problems 6.5

Also by Paul Naylor. Poetry. Literary Criticism

Handout 2 Argument Terminology

Chapter 2 Analyzing Arguments

Transcription:

What to do with logic and inference? General concepts The truth of contingent statements depends on what exists or occurs in the world. (Look the word 'contingent' up in your dictionary). The truths of reason, necessary truths, are true in this world and in all possible worlds. Logic is the study of valid reasoning. Valid/invalid are judgements about the form of an argument. True/false are judgements made about the content/language of an argument. A sound argument is both valid and true. Deductive arguments reason from the general to the specific, while inductive arguments reason from a collection of particulars to a generalization. Deductive arguments forms are called syllogisms: categorical, hypothetical, disjunctive. WhatToDoLogic.doc TM 27-08-2008 00:14 page 1

Syllogisms General structure: Premise 1, a conditional statement Premise 2, a fact related to it. Conclusion Categorical syllogism: All people with red hair get freckles in the sun. Dorrit has red hair. Dorrit gets freckles in the sun. Hypothetical syllogism: p q If a person has red hair then this person gets freckles in the sun. p Dorrit is a person with red hair.. q Dorrit gets freckles in the sun. Disjunctive syllogism: -p q A person does not have red hair or this person gets freckles in the sun. p Dorrit is a person with red hair.. q Dorrit gets freckles in the sun. Exercise 1 Which of these syllogisms are categorical, hypothetical, disjunctive? Which of these syllogisms are valid (V) and which are invalid (inv)? 1. All men are mortal. Socrates is a man. Socrates is mortal. 2. All men are mortal. Socrates is mortal. Socrates is a man. 3. All Communists support socialized medicin. He supports socialized medicine. He is a Communist. 4. If she goes on a diet, then she will lose weight. And she lost weight. So, she went on a diet. WhatToDoLogic.doc TM 27-08-2008 00:14 page 2

5. If she goes on a diet, then she will lose weight. And she went on a diet. So, she lost weight. 6. If I take the poison, then I will die. But I didn't die. So, didn't take the poison. 7. If he likes me, then he will call me. And he called me. So, he likes me. 8. If he does not like me, then he will not call me. He called me. So, he likes me. 9. If she loves me, then she will marry me. She doesn't love me. She won't marry me. 10. If it snows, then my car won't start. My car started. Thus, it didn't snow. 11. If it snows, then school will be closed. It didn't snow. So, the school will not be closed. 12. It didn't snow or the school will be closed. It did snow. The scholl will be closed. 13. She will cook or I will starve. She didn't cook. I starved. 14. She will cook or I will starve. She cooked. So, I didn't starve. Exercise 2 Which of these hypothetical types of syllogisms are valid (V) and which are invalid (inv)? Which type (a,b,c,d,e,f) are each of the examples in exercise 1? a. p q b. p q c. p q d. p q e. p q f. p q p q -p -q. -p. p. q p -q -p q -q WhatToDoLogic.doc TM 27-08-2008 00:14 page 3

Symbolic logic Truth tables for the fundamental compound propositions: Negation, 'not p', ~p p ~p T F F T Conjunktion, 'p and q', p q p q p q F T F F F F Disjunktion, 'p or q', p q p q p q T F T F F F Exclusive disjunktion, 'either p or q', p p q p q T T F T F T F F F Implication, 'if p then q', p q p q p q F F T Bimplication, 'p if and only if q', p q p q p q F T F F F T q Logical equivalence If two (compound) propositions have the same truth values in every possible case, the propositions are called logically equivalent. Exercise 3 Complete these truth tables and conclude wich composed propositions are logically equivalent. p q ~p ~q ~(p q) ~p ~q p q ~q ~p ~p q q p ~p ~q T T F F F T When p q, p is called a sufficient condition for q, and q is called a necessary condition for p. p is sufficient for q, because 'if p then q'. q is necessary for p, because 'if not q then not p'. WhatToDoLogic.doc TM 27-08-2008 00:14 page 4

Logic and ordinary language - argument recognition Exercise 4 1. If the guard was not paying attention at the time, the car was not noticed when it came in. 2. If the witness s account is correct, the guard was not paying attention at the time. 3. Either the car was noticed or Jones is hiding something. 4. Jones is not hiding anything. 5. Therefore: The witness s account is not correct. From John Hospers: An Introduction to Philosophical Analysis, Routledge, London, 1990 (3.ed) p. 106. Name the single propositions with letters (p, q, r...). Transform the compound propositions to symbolic statements. Use the rules of inference or truth tables to check if the conclusion is correct. Exercise 5 (from TOK Teachers guide 1989) In everyday speech, it would be a bit queer to spell everything out, although in a formal demonstration of evidence of an assertion, this is a requirement. In these everyday statements identify premises and conclusion (or invent them if they are missing). (Common premise indicators are: 'since', 'because', 'for', 'given that', 'in view of'; common conclusion indicators are: 'thus', 'it follows that', 'hence', 'so', 'therefore'.) 1. The defendant is insane, so he is not guilty. 2. That is not a good dictionary, because it does not give the origin of the word. 3. All philosophers are eccentric and Karl is a philosopher. 4. Coffee must contain a stimulant, because it keeps people awake. 5. He is either on this flight or the next one, and he was not on this one. Exercise 6 (from TOK Teachers guide, 1989) Find the form (hypothetical or disjunctive) and the validity (valid or invalid) of the following arguments: 1. If inflation is allowed to continue, the unions will demand a steep rise in wages. And that is what is going to happen, because inflation is going to be allowed to continue. 2. The alternatives seem to be that the United States government weakens its NATO commitment by withdrawing troops from Europe or that it meets increasing criticism at home for the enormous funds spent in maintaining these troops abroad. The government will never weaken its NATO commitment: so we may expect that criticism to increase. 3. The food in the cafeteria will improve or there will be a student strike. And since there is a student strike scheduled for tomorrow, it follows that the food will improve. 4. The streets are no safer today than they were five years ago; yet if the Crime Control Act was effective, we would expect streets to be safer. Hence, the Act was not effective. WhatToDoLogic.doc TM 27-08-2008 00:14 page 5

5. Granted that only if there were no problems on earth, man should explore the moon. But you admit that there are problems on earth, so man should not be spending money to explore the moon. 6. If people disagree about whether human beings descended from lower forms of animals or were specially created, then the textbooks in biology should state explicitly that this question has not been settled by science. They do disagree, and that is what the textbooks should say. 7. Maybe the Governor did accept bribes from the racing syndicate to fix the races, or maybe, on the other hand, these accusations are just vicious rumours spread by his political enemies. The latter I cannot believe, so I conclude that the Governor took the money. 8. By 1985, either we will institute far-reaching procedures to recycle our trash, or by 1985 we will have to find room to dispose of 440 million tons or waste paper, junk cars and plastics that will be produced each year by the affluent society. But we are assured that somehow such room will be found, so large scale recycling will not be necessary. 9. If the French tend to eat, drink, and smoke more than people in other European countries, then we may assume their life-expectancy to be lower than people in, for example, Great Britain, Denmark, Italy, Germany, and this is exactly true. The French men live an average of 67.1 years: women 74.6 years: a good deal lower than other European citizens. The conclusion? The French eat, drink, and smoke too much. Exercise 7 Find a short text; it can be a fragment of an article from a newspaper or a magazine or from a novel, shortstory or poem. Make a logical analysis of the text, trying to identify examples of syllogisms, discussing type, validity, missing or hidden parts, symbolic representation etc. As an example follows here on the next page a poem by Andrew Marvell: "To His Coy Mistress". (Published 1681). Glossary (v. Bjarne Weidick): coy = bly, undselig, knibsk. mistress = elskede, kæreste, elskerinde. but = kun. thou shouldst = you should. tide = tidevand, strøm. The Flood = Syndfloden. conversion = omvendelse. vegetable = grøntsag, plante, T (om person): kedeligt løg, hjælpeløst vrag. show = lægge for dagen, påvise. state = ære. rate = fart, pris. wing = bevinge. chariot = stridsvogn. yonder = (archaic) hist, derhenne, derovre. vault = gravhvælving. quaint = gammeldags; mærkelig, løjerlig. private = hemmelig, fortrolig. hue = lød (farve). transpire = (på Marvell's tid) ånde (ud). sport = more sig. devour = sluge, fortære. languish = sygne hen, blive mat. rough = rå, ublid, voldsom. strife = strid. Exercise 8 Do the Cornell Condition-Reasoning Test, Form X, following. (From TOK Teachers Guide, 1989). WhatToDoLogic.doc TM 27-08-2008 00:14 page 6

Andrew Marvell To His Coy Mistress Had we but world enough, and time, This coyness, lady, were no crime. We would sit down, and think which way To walk, and pass our long love's day. Thou by the Indian Ganges' side Shouldst rubies find; I by the tide Of Humber would complain. I would Love you ten years before the flood, And you should, if you please, refuse Till the conversion of the Jews. My vegetable love should grow Vaster than empires and more slow; An hundred years should go to praise Thine eyes, and on thy forehead gaze; Two hundred to adore each breast, But thirty thousand to the rest; An age at least to every part, And the last age should show your heart. For, lady, you deserve this state, Nor would I love at lower rate. But at my back I always hear Time's winged chariot hurrying near; And yonder al1 before us lie Deserts of vast eternity. Thy beauty shall no more be found, Nor, in the marble vault, shall sound My echoing song; then worms shall try That long-preserved virginity, And your quaint honor turn to dust, And into ashes all my lust: The grave's a fine and private place, But none, I think; do there embrace. Now therefore, while the youthful hue Sits on thy skin like morning dew, And while thy willing soul transpires At every pore with instant fires, Now let us sport us while we may, And now, like amorous birds of prey, Rather at once our time devour Than languish in his slow-chapped power. Let us roll all our strength and all Our sweetness up into one ball, And tear our pleasures with rough strife Thorough the iron gates of life: Thus, though we cannot make our sun Stand still, yet we will make him run. Humber: Compared to the gorgeous Oriental Ganges, the Hurnber (which flows through Marvell's home town of Hull) is a dull and unassuming little stream. complain: implies songs of plaintive love. conversion of the Jews: According to popular chronology, the Jews were to be converted just before the Last Judgement. you derserve this state: of dignigty. morning dew: The text reads "glew" - an odious reading. "Lew" (meaning "warmth" has also been suggested, but it was obsolete long before Marvell wrote. transpires: breathes forth. instant fires: immediate, present enthusiasm. slow-chapped: slow-jawed. Time is invisaged as slowly chewing up the world and the people in it. WhatToDoLogic.doc TM 27-08-2008 00:14 page 7