Philosophy 57 Day 10. Chapter 4: Categorical Statements Conversion, Obversion & Contraposition II

Similar documents
Philosophy 57 Day 10

1 Clarion Logic Notes Chapter 4

4.7 Constructing Categorical Propositions

SYLLOGISTIC LOGIC CATEGORICAL PROPOSITIONS

Baronett, Logic (4th ed.) Chapter Guide

Unit 7.3. Contraries E. Contradictories. Sub-contraries

Complications for Categorical Syllogisms. PHIL 121: Methods of Reasoning February 27, 2013 Instructor:Karin Howe Binghamton University

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

Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER VIII

1. Immediate inferences embodied in the square of opposition 2. Obversion 3. Conversion

Bertrand Russell Proper Names, Adjectives and Verbs 1

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

5.6 Further Immediate Inferences

GRAMMAR IV HIGH INTERMEDIATE

Workbook Unit 17: Negated Categorical Propositions

LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010

7.1. Unit. Terms and Propositions. Nature of propositions. Types of proposition. Classification of propositions

Identify the subject and predicate terms in, and name the form of, each of the following propositions.

7. Some recent rulings of the Supreme Court were politically motivated decisions that flouted the entire history of U.S. legal practice.

Adverb Clause. 1. They checked their gear before they started the climb. (modifies verb checked)

5.3 The Four Kinds of Categorical Propositions

Part II: How to Evaluate Deductive Arguments

PHI Introduction Lecture 4. An Overview of the Two Branches of Logic

CHAPTER 10 VENN DIAGRAMS

What would count as Ibn Sīnā (11th century Persia) having first order logic?

Nominalism III: Austere Nominalism 1. Philosophy 125 Day 7: Overview. Nominalism IV: Austere Nominalism 2

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

Venn Diagrams and Categorical Syllogisms. Unit 5

10 Devotional. Method of Study. 216 Understanding the Bible LESSON

Philosophy 125 Day 21: Overview

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

Dr. Carlo Alvaro Reasoning and Argumentation Distribution & Opposition DISTRIBUTION

Transition to Quantified Predicate Logic

Study Guides. Chapter 1 - Basic Training

3. Negations Not: contradicting content Contradictory propositions Overview Connectives

BACHELOR'S DEGREE PROGRAMME Term-End Examination June, 2017

PHILOSOPHICAL PROBLEMS & THE ANALYSIS OF LANGUAGE

Van Fraassen: Arguments Concerning Scientific Realism

Early Russell on Philosophical Grammar

SYLLOGISM FOR SBI PO

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

I. PATTERNS OF CONNECTION

Philosophy 125 Day 13: Overview

Based on the translation by E. M. Edghill, with minor emendations by Daniel Kolak.

International Research Journal of Interdisciplinary & Multidisciplinary Studies (IRJIMS) J.S. Mill on the Notion of Proper Name Soumen Roy Abstract

On Interpretation. Section 1. Aristotle Translated by E. M. Edghill. Part 1

Phil 435: Philosophy of Language. P. F. Strawson: On Referring

Handout for: Ibn Sīnā: analysis with modal syllogisms

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

The way we convince people is generally to refer to sufficiently many things that they already know are correct.

(Refer Slide Time 03:00)

Philosophy 125 Day 12: Overview

Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER V THE CLASSIFICATION OF PROPOSITIONS

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

Part 2 Module 4: Categorical Syllogisms

Grammar I. Determiners. Bradius V. Maurus III

Philosophy 148 Announcements & Such. Inverse Probability and Bayes s Theorem II. Inverse Probability and Bayes s Theorem III

9.1 Intro to Predicate Logic Practice with symbolizations. Today s Lecture 3/30/10

CHAPTER III. Of Opposition.

Broad on Theological Arguments. I. The Ontological Argument

A Romp through the Foothills of Logic: Session 1

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

Reasoning SYLLOGISM. follows.

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

Who I am through Jesus Christ

10.3 Universal and Existential Quantifiers

DWARKA INTERNATIONAL SCHOOL SEC-12, DWARKA, NEW DELHI CLASS-VIII SUBJECT :ENGLISH - SAMPLE PAPER HALF YEARLY EXAMINATION

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

1.5. Argument Forms: Proving Invalidity

Philosophy 125 Day 1: Overview

What is the Frege/Russell Analysis of Quantification? Scott Soames

Houghton Mifflin English 2004 Houghton Mifflin Company Grade Five. correlated to. TerraNova, Second Edition Level 15

MISSOURI S FRAMEWORK FOR CURRICULAR DEVELOPMENT IN MATH TOPIC I: PROBLEM SOLVING

From Necessary Truth to Necessary Existence

Prentice Hall Literature: Timeless Voices, Timeless Themes, Silver Level '2002 Correlated to: Oregon Language Arts Content Standards (Grade 8)

Prentice Hall Literature: Timeless Voices, Timeless Themes, Bronze Level '2002 Correlated to: Oregon Language Arts Content Standards (Grade 7)

Logic: A Brief Introduction

Houghton Mifflin English 2001 Houghton Mifflin Company Grade Four. correlated to. IOWA TESTS OF BASIC SKILLS Forms M Level 10

Name: Course: CAP 4601 Semester: Summer 2013 Assignment: Assignment 06 Date: 08 JUL Complete the following written problems:

Fortunately, the greatest detective was doing some. Categorical Logic. Students will learn to...

Pearson Education Limited Edinburgh Gate Harlow Essex CM20 2JE England and Associated Companies throughout the world

Introduction to Koiné Greek

Basic Concepts and Skills!

Lecture 2.1 INTRO TO LOGIC/ ARGUMENTS. Recognize an argument when you see one (in media, articles, people s claims).

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

Anthony P. Andres. The Place of Conversion in Aristotelian Logic. Anthony P. Andres

Everyone, anyone, someone, nobody, each, much, one, neither, and either are considered plural. A)True B) False

Worksheet Exercise 1.1. Logic Questions

Category Mistakes in M&E

Logic. If and only if / Si et seulement si / Genau dann, wenn

CONTENTS A SYSTEM OF LOGIC

Overview of Today s Lecture

Houghton Mifflin English 2001 Houghton Mifflin Company Grade Three. correlated to. IOWA TESTS OF BASIC SKILLS Forms M Level 9

Houghton Mifflin Harcourt Collections 2015 Grade 8. Indiana Academic Standards English/Language Arts Grade 8

Ramsey s belief > action > truth theory.

Syllogism. Exam Importance Exam Importance. CAT Very Important IBPS/Bank PO Very Important. XAT Very Important BANK Clerk Very Important

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

Birbal and the Washerman

Philosophy 125 Day 4: Overview

Russell: On Denoting

Transcription:

Branden Fitelson Philosophy 57 Lecture 1 Branden Fitelson Philosophy 57 Lecture 2 Chapter 4: Categorical tatements Conversion, Obversion & Contraposition I Philosophy 57 Day 10 Quiz #2 Curve (approximate) 100 (A); 70 80 (B); 50 60 (C); 40 (D); < 40 (F) Quiz #3 is next Tuesday 03/04/03 (on chapter 4 not tnanslation) ections 4.5 4.6 skipped (no Aristotelian stuff) Venn Diagrams, structure, and meaning of categorical claims Back to Chapter 4 Categorical tatements Conversion, Obversion, and Contraposition Translating from English into Categorical Logic (not on quiz #3) Conversion, Obversion, and Contraposition are three important operations or transformations that can be performed on categorical statements. The Converse of a categorical statement is obtained by switching its subject and predicate terms. This switching process is called Conversion. Proposition Name Converse All A are B. A All B are A. No A are B. E No B are A. ome A are B. I ome B are A. ome A are not B. O ome B are not A. ome statements are equivalent to (i.e., have the same Venn Diagram as) their converses. ome statements are not equivalent to their converses. E and I claims are equivalent to their converses, whereas A and O claims are not equivalent to their converses. Let s prove this with Venn Diagrams. Branden Fitelson Philosophy 57 Lecture 3 Chapter 4: Categorical tatements Conversion, Obversion & Contraposition II Branden Fitelson Philosophy 57 Lecture 4 Chapter 4: Categorical tatements Conversion, Obversion & Contraposition II.1 The complement of a term X is written non-x, and it denotes the class of things not contained in the X-class. Do not confuse not and non-. not is part of the copula are not, but non- is part of a term non-x ( non-x can be either the subject term or the predicate term of a categorical statement). The Obverse of a categorical statement is obtained by: (1) switching the quality (but not the quantity!) of the statement, and (2) replacing the predicate term with its complement. This 2-step process is called Obversion. Proposition Name Obverse All A are B. A No A are non-b. No A are B. E All A are non-b. ome A are B. I ome A are not non-b. ome A are not B. O ome A are non-b. All categorical statements are logically equivalent to their obverses. Let s prove this for each of the four categorical claims, using Venn Diagrams. At this point, we need to be more careful with our Venn Diagram Method! o far, we have not seen any Venn Diagrams with complemented terms in them. Let s do an example to see how we must handle this new case. Here, I will go over the handout on my 2-Circle Venn Diagram Method. My 2-Circle Venn Diagram Technique: A Detailed Example This handout explains my 2-circle diagram technique for determining the logical relationships between standard form categorical claims. Basically, this just involves working through an example in detail. As far as I know, this technique is original to me, and is different than the way Hurley does these problems. You may also do these the way Hurley does, if you prefer. This is just an alternative, which I think is more principled and methodical. I will now work through an example, in detail. I include much more detail than you really need, just to make sure that you understand each small step in the procedure (on quizzes and tests, all that s required are the two final diagrams, and the answer to the question about their logical relationship). Detailed Example: What is the logical relationship between the following two standard-form categorical claims? (i) No non-a are B. (ii) All B are A. tep 1: Draw the Venn Diagram for one of the two claims (it doesn t matter which one you start with). I ll draw the diagram for (i) first. Here, I use the numbers 1 4 to label the four regions of the diagram. And, I always label the left circle with the subject term of the claim, and the right circle with the predicate term of the claim. In this case, the subject term of (i) is non-a and the predicate term of (i) is B. ince (i) is an E claim, we shade the middle region (in this case, region #2). tep 2: Draw the Venn diagram for the second claim without numbers. The subject term of (ii) is B and the predicate term of (ii) is A. And, since (ii) is an A claim, we shade the left region. No numbers in the four regions, yet... tep 3: Determine which classes of things the numbers 1 4 represent in the (i)-diagram. This step and the next are where the logic gets done! The following table summarizes the classes denoted by 1 4 in the (i)-diagram above. Remember, the class of things outside non-x is the same as the class of things inside X (and, vice versa: inside non-x = outside X ). # in (i)-diagram Class of objects denoted by # in (i)-diagram 1 objects inside non-a and outside B (hence objects outside A and outside B) 2 objects inside non-a and inside B (hence objects outside A and inside B) 3 objects outside non-a and inside B (hence objects inside A and inside B) 4 objects outside non-a and outside B (hence objects inside A and outside B) tep 4: Place the numbers 1 4 in the appropriate regions in the diagram for claim (ii). Again, this is where the logic gets done! Begin with the left region of the (ii)-diagram. This region corresponds to objects inside B and outside A. Which number belongs there? Our table above tells us that the number 2 corresponds to those objects inside B and outside A. The middle region of the (ii)-diagram corresponds to those objects that are inside both A and B. That s the class denoted by the number 3 in the (i)-diagram. The right region of the (ii)-diagram corresponds to those objects that are inside A but outside B. That s where the number 4 sits in the (i)-diagram. Finally, the outer-most region of diagram (ii) corresponds to the objects that are outside both A and B. That s the region numbered 1 in the (i)-diagram. Thus, the final (ii)-diagram: All regions with the same numbers have the same markings in the (i) and (ii) diagrams. o, (i) is equivalent to (ii).

Branden Fitelson Philosophy 57 Lecture 5 Branden Fitelson Philosophy 57 Lecture 6 Chapter 4: Categorical tatements Conversion, Obversion & Contraposition III The Contrapositive of a categorical statement is obtained by: (1) converting the statement, and (2) replacing both the subject term and the predicate term with their complements. This 2-step process is called Contraposition. Proposition Name Contrapositive All A are B. A All non-b are non-a. No A are B. E No non-b are non-a. ome A are B. I ome non-b are non-a. ome A are not B. O ome non-b are not non-a. ome statements are equivalent to (i.e., have the same Venn Diagram as) their contrapositives. ome statements are not equivalent to their contrapositives. A and O claims are equivalent to their contrapositives, whereas E and I claims are not equivalent to their contrapositives. Let s prove this with Venn s. Chapter 4: Categorical tatements Conversion, Obversion & Contraposition Proposition Converse Obverse Contrapositive (A) All A are B. All B are A. () No A are non-b. (=) All non-b are non-a. (=) (E) No A are B. No B are A. (=) All A are non-b. (=) No non-b are non-a. () (I) ome A are B. ome B are A. (=) ome A are not non-b. (=) ome non-b are non-a. () (O) ome A are not B. ome B are not A. () ome A are non-b. (=) ome non-b are not non-a. (=) Categorical Claim Converse Obverse Contrapositive 4 P (A) 1 2 3 All P are No non P are non 4 P 3 ~P Converse(I) 3 2 1 Obverse(I) 2 1 4 ome non P are non 3 2 ~P ~P ~ ome P are not Obverse(O) Contrapositive(O) 2 1 4 1 4 3 Branden Fitelson Philosophy 57 Lecture 7 Chapter 4: Categorical tatements Translation from English Overview Branden Fitelson Philosophy 57 Lecture 8 Chapter 4: Categorical tatements Translation from English I Many English claims can be translated faithfully into one of the four standard form categorical claims. There are 10 things to look out for. Terms Without Nouns Nonstandard Verbs ingular Propositions Adverbs and Pronouns Unexpressed Quantifiers Nonstandard Quantifiers Conditional tatements Exclusive Propositions The Only Exceptive Pronouns You do not need to remember the names of these 10 watchwords, but you ll need to know how to translate English sentences which involve them. Terms Without Nouns: The subject and predicate terms of a categorical proposition must contain either a plural noun or a pronoun that serves to denote the class indicated by the term. Nouns and pronouns denote classes, while adjectives (and participles) connote attributes or properties. We must replace mere adjectives with noun phrases. ome roses are red. Here, the subject term is a noun and properly denotes a class of things (i.e., roses). But, the predicate term is a mere adjective and does not denote a class. How do we fix this? All tigers are carnivorous. Again, the subject term is a noun and properly denotes a class of things (i.e., tigers). But, the predicate term is a mere adjective and does not denote a class. How do we fix this?

Branden Fitelson Philosophy 57 Lecture 9 Branden Fitelson Philosophy 57 Lecture 10 Chapter 4: Categorical tatements Translation from English II Chapter 4: Categorical tatements Translation from English III Nonstandard Verbs: The only copulas that are allowed in standard form are are and are not. tatements in English often use other forms of the verb to be. These need to be translated into standard form. ome college students will become educated. How do we translate this into something of the standard form ome college students are? ome dogs would rather bark than bite. How do we translate this into something of the standard form ome dogs are? ometimes the verb to be does not occur at all, as in: ome birds fly south for the winter. How do we translate this into something of the standard form ome birds are? All ducks swim. How do we translate this into something of the standard form All ducks are? ingular Propositions: A singular proposition is one that makes an assertion about a specific person, place, thing, or time. We translate singular propositions into universal categorical claims using parameters. George went home becomes All persons identical to George are persons who went home. (I ll write the parameters in boldface) andra did not go shopping becomes No persons identical to andra are persons who went shopping. NOTE: Interpreting singular claims as universal categorical statements loses some of the meaning of such expressions. Why? There is a radio in the back bedroom becomes All places identical to the back bedroom are places where there is a radio. OR ome radios are things in the back bedroom. Branden Fitelson Philosophy 57 Lecture 11 The moon is full tonight becomes All times identical to tonight are times the moon is full OR All things identical to the moon are things that are full tonight. I hate gin becomes All persons identical to me are persons who hate gin. NOTE: We do not use parameters in cases where they would be redundant. For instance, consider the English sentence Diamonds are carbon allotropes. Correct: All diamonds are carbon allotropes. Incorrect: All things identical to diamonds are things identical to carbon allotropes. More Examples: Joseph J. Johnson discovered the electron There is a giant star in the Tarantula Nebula Cynthia travels where she wants Branden Fitelson Philosophy 57 Lecture 12 Chapter 4: Categorical tatements Translation from English IV Adverbs and Pronouns: When a statements contains a spatial adverb like where, wherever, anywhere, everywhere or nowhere it may be translated in terms of places. Examples: Nowhere on earth are there any unicorns becomes No places on earth are places there are unicorns. he goes wherever she chooses becomes All places she chooses to go are places she goes. Temporal adverbs like when, whenever, anytime, always or never are translated in terms of times. Examples: he never brings her lunch to school becomes No times she goes to school are times she brings her lunch He is always clean shaven becomes All times are times he is clean shaven.

Branden Fitelson Philosophy 57 Lecture 13 Branden Fitelson Philosophy 57 Lecture 14 Chapter 4: Categorical tatements Translation from English V Pronouns such as who, whoever, anyone, what, whatever or anything get translated in terms of persons or things. Examples Whoever works hard will succeed becomes All persons who work hard are persons who will succeed he does whatever she wants becomes All things she wants to do are things she does. More Examples: He glitters when he walks He always wars a suit to work Unexpressed Quantifiers: Many statements in English have quantifiers that are implied but not expressed explicitly. When we add quantifiers, we need to get as close to the original meaning as possible: Children live next door becomes ome children are persons who live next door A tiger roared becomes ome tigers are animals that roared Emeralds are green gems becomes All emeralds are green gems There are lions in the zoo becomes? Children are human beings becomes? Monkeys are mammals becomes? Dolphins are swimming beneath the breakers becomes? Branden Fitelson Philosophy 57 Lecture 15 Chapter 4: Categorical tatements Translation from English VI Branden Fitelson Philosophy 57 Lecture 16 Chapter 4: Categorical tatements Translation from English VII Unexpressed Quantifiers: In English there are many types of quantifiers. In categorical logic, there are only two. Nonstandard quantifiers must be translated into standard quantifiers in a way that best preserves meaning. A few soldiers are heroes becomes soldiers are heroes Not everyone who votes is a Democrat becomes? Not a single dog is a cat becomes? All newborns are not able to talk becomes? All athletes are not superstars becomes? ometimes, more than one categorical claim will be required to capture the meaning of an English sentence with a nonstandard quantifier: A small percentage of the sailors entered the regatta becomes? Few marriages last a lifetime becomes? Conditional tatements: Conditional statements can often be translated into universal categorical claims. If it s a mouse, then it s a mammal becomes All mice are mammals If an animal has four legs, then it s not a bird becomes? When the if occurs in the middle of a sentence, we need to move it to the beginning, then translate into a universal claim: A person will succeed if he or she perseveres becomes If a person perseveres, then they will succeed and then All persons who persevere are persons who will succeed. Jewelry is expensive if it is made of gold becomes? The key is to preserve the meaning of the conditional. A helpful rule about conditionals is called transposition, which says that If p, then q is equivalent to If not q, then not p. (looks like contraposition!)

Branden Fitelson Philosophy 57 Lecture 17 Branden Fitelson Philosophy 57 Lecture 18 Chapter 4: Categorical tatements Translation from English VIII If something is not valuable then it is not scarce becomes (by transposition) If something is scarce then it is valuable and then? Whenever you see p unless q, you can read this as p if not q. Tomatoes are edible unless they are spoiled becomes If a tomato is not spoiled then it is edible. and then? Unless a boy misbehaves he will be treated decently becomes and then? Exclusive Propositions: Many propositions involve the words only, none but, none except and no... except are exclusive propositions. We must be careful to get the subject and predicate terms right in such examples. It helps to translate into a conditional statement first, then into a universal categorical statement: Only elected officials will attend the convention. Which is correct: All elected officials are persons who will attend the convention or All persons who will attend the convention are elected officials? None but the brave deserve the fair. Which is correct: All persons who deserve the fair are brave persons or All brave persons are persons who deserve the fair? No birds except peacocks are proud of their tails. General hint: Only A are B becomes All B are A. The same goes for none but... and no... except. Branden Fitelson Philosophy 57 Lecture 19 Chapter 4: Categorical tatements Translation from English IX & X Branden Fitelson Philosophy 57 Lecture 20 Chapter 4: Categorical tatements Translation from English: Table of Hints The Only : The only A are B gets translated as All A are B. Note the only is different than Only in this sense. The only animals that live in this canyon are skunks becomes All animals that live in this canyon are skunks. Accountants are the only ones who will be hired becomes and then? Exceptive Propositions: tatements of the form All except are P require two categorical statements for proper translation. All except students are invited becomes No students are invited persons, and. All but managers must report to the president becomes and? Key Word (to be eliminated) whoever, wherever, always, anyone. never, etc. a few if... then unless only, none but, none except, no... except the only all but, all except, few not every, not all there is, there are Translation Hint use all together with persons, places, times some use all or no if not use all and switch order of terms all two statements required some... are not some