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

Size: px
Start display at page:

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

Transcription

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

2 Overall Plan First, I will present some problematic propositions and explain how we can deal with them (or not) Second, we will discuss some problematic types of arguments and how we can deal with them (or not)

3 Problematic Propositions

4 Issue 1: Statements that don't contain a quantifier Example 1: Cats are mammals This is clearly making a universal claim (it's talking about all cats, not just some of them) Solution: Rewrite this statement as the following standard form categorical proposition "All cats are mammals." In general, when presented with a statement that seems categorical but does not contain a quantifier, we will assume it is making a universal claim unless we have good reasons to think otherwise. Example 2: "Children are present" This example is clearly an exception to the general rule I just stated. Clearly, this is not stating that all the children are present - it is merely saying that there are children here. Solution: rewrite this statement as a standard form categorical proposition as follows: "Some children are people that are here." (or something like that)

5 Issue 2: Compare the following two statements: A bat is a mammal. This is clearly making a universal statement -- it's talking about ALL bats, not about one particular bat. Solution: "A bat is a mammal" can be translated into the standard form categorical proposition "All bats are mammals." A bat flew in the window. However, this sentence is not making a universal claim. Rather, this is saying that there is some particular bat that flew into the window, and thus on the basis of this information we can make the claim "Some bats are things that fly into windows," because we have at least one bat we can point to who did this. Solution: "A bat flew into the window" can be translated into the standard form categorical proposition "Some bats are things that fly into windows."

6 Likewise for sentences with "an" or "the" -- sometimes these sentences make universal claims and sometimes they make claims about particular individuals, and thus should be treated as particular statements We have to use context clues and what we know about the world in order to interpret them correctly How about this statement? "The cat is a fine animal commonly mistaken for a meatloaf." Does this statement make a universal claim, or is it making a particular claim? Kind of ambiguous.. Sometimes we're just going to have to make a judgment call

7

8 Issue 3: statements that are almost in standard form, but not quite Example 1: Racehorses are all thoroughbreds. Clearly, this is making a universal statement. How would we restate this as a standard form universal statement? Careful! One temptation might be to take what follows "all" and make it the subject of the proposition, making the other term the predicate: "All thoroughbreds are racehorses." (wrong!) Solution: rewrite this statement in standard form as "All racehorses are thoroughbreds."

9 Example 2: All roly-poly fishheads are not good dancers. Expressed symbolically: F = roly-poly fishheads, D = good dancers All F are not D Two possible solutions: Although we are make a distinction between "not D" and "non-d", this distinction is in a certain sense an artificial and meaningless distinction. "not D" and "non-d" mean the same thing, so we could collapse the distinction in this case and rewrite this statement as "All roly-poly fishheads are non-gooddancers." Another possible solution is to just think about what this sentence is really saying. To say that all fishheads are not good dancers is simply to say that "No roly-poly fisheads are good dancers" (note that these solutions are equivalent via obversion)

10 Issue 4: statements that are the negations of standard form categorical propositions Not all birds can fly. Expressed symbolically: B = birds, F = things that can fly Not all B are F Clearly, this is the negation of an A proposition. Based on the square of opposition, this is clearly equivalent to the corresponding O proposition. Solution: rewrite this statement as a standard form categorical proposition as follows: "Some birds are not things that can fly."

11 There are no penguins in the Arctic. This statement could naturally be read in two different but logically equivalent ways: "It's false that some penguins are things that live in the Arctic" "No penguins are things that live in the Arctic." Solution: always write statements of this form ("there are no X that are Y") as E propositions ("no X are Y"), since that way the statement will be in standard form

12 Issue 5: statements with non-standard quantifiers such as "most," "many," "a few," "all but a few," "almost all," "not quite all," etc. Solution: although it loses some of the meaning of these different quantifiers, we will translate all of these quantifiers as simply "Some" (captures the minimal meaning of these quantifiers) Likewise, statements with the non-standard quantifiers "every," "each," or "any" are best understood as the standard quantifier "All."

13 Issue 6: statements involving "only" Example: Only mammals are marsupials Clearly, this is making some sort of universal claim. What universal claim is it making? Two options: 1. All mammals are marsupials. 2. All marsupials are mammals. Another way to think about it: Can be seen to be making the claim "If it's not a mammal, then it's not a marsupial" (because only mammals are marsupials). Well, this is the same as saying "All nonmammals are nonmarsupials," which is the contrapositive of option 2 above. Solution: rewrite all statements of the form "Only X are Y" as "All Y are X"

14 Issue 7: exceptive propositions (propositions that say things like "All except employees are eligible") Clearly, this is making a universal claim, but what kind of universal claim? In fact, is is asserting two universal claims. It is saying both that "all nonemployees are eligible" and that "no employees are eligible." Solution: rewrite these kinds of statements as the conjunction of the two underlying standard form propositions. Then, if we need to use these statements in an argument, we can just split them up into two premises, right?.? Okay, that works, sort of, but there are issues with this, as we will come back to in the section about problematic arguments

15 Issue 8: singular propositions (e.g., "Karin is a kangaroo") What kind of claim is this making? Is it making a universal claim, or is it making a particular claim? Standard solution: Symbolize the named individual as a unique unit class (as a set containing only that individual); e.g. K = {Karin} Symbolize the predicate class as normal; e.g. G = kangaroos Translate the statement as a universal statement; e.g. All K are G

16 Copi says (in Ch 7) that it is "customary" to read these types of sentences this way "automatically" -- in other words, we simply interpret them this way naturally Really??? Another problem with this solution: translating the statement "Karin is a kangaroo" as "All K are G" ignores the existence claim that the original statement is making. Standard solution 2: Translate "Karin is a kangaroo" as the conjunction of the two statements "All K are G" and "Some K are G" Both of these solutions are TERRIBLE. They are non-intuitive (especially the part about the unit class), and are in no way a match for the current standard logical treatment of these kinds of statements.

17 Summary: Problematic Propositions Issue 1: statements that seem categorical in nature, but which don't contain an explicit quantifier. Solution: we will generally treat these as making a universal claim, unless given good reason to think otherwise. Issue 2: statements containing the words "a," "an," or "the" in place of a quantifier Solution: use context clues to determine whether the statement is making a universal claim or a particular claim. Where this is ambiguous we will have to just make a judgment call (I will try not to give you statements where this is the case)

18 Issue 3: statements that are almost in standard form, but not quite Example 1: statements of the form "X are all Y" - Solution: rewrite these statements as "All X are Y" Example 2: statements of the form "All X are not Y" - Solution: rewrite these statements as "All X are non- Y" or "No X are Y" Issue 4: statements that are the negations of standard form categorical propositions Solution: rewrite them as the corresponding contradictory proposition (e.g., "Not all X are Y" would be rewritten as "Some X are not Y")

19 Issue 5: statements with non-standard quantifiers such as "most," "many," "a few," "all but a few," "almost all," "not quite all," "every," "each," "any" etc. Solution: translate non-standard quantifiers like "most," "many," "a few," "all but a few," "almost all," "not quite all," as "Some," and translate non-standard quantifiers like "every," "each" and "any" as "All" Issue 6: statements involving "only" (e.g. "Only mammals are marsupials") Solution: translate all statements of the form "Only X are Y" as "All Y are X"

20 Issue 7: exceptive propositions (e.g., "All except employees are eligible") Solution: rewrite these kinds of statements as the conjunction of the two underlying standard form propositions. Then, if we need to use these statements in an argument, we can just split them up into two premises, right?.? Issue 8: singular propositions (e.g., "Karin is a kangaroo") We cannot deal with these types of statements in syllogistic logic. Any attempts to do so are highly bizarre.

21 Problematic Arguments

22 Issue 1: Sorites Pronounced so-ri-teas In this context, a sorites is a categorical argument that contains three or more categorical propositions as premises Like categorical syllogisms, categorical sorites can also be said to have a standard form

23 Standard Form Categorical Sorites 1. All statements are standard form categorical propositions 2. Each term appears exactly twice in the sorites. 3. Propositions are arranged in such a way that every proposition has one term in common with the proposition that follows it, except for the last proposition. 4. A line is drawn under the last proposition in the sorites. 5. The conclusion of the sorites appears under the line.

24 Example 1. All babies are illogical persons. 2. All illogical persons are despised persons. 3. No persons who can manage crocodiles are despised persons. Therefore no babies are persons who can manage crocodiles. In theory, we can use the Venn diagram technique to diagram this argument, with a little adjustment!

25 Step 1: symbolize the argument 1. All babies are illogical persons. 2. All illogical persons are despised persons. 3. No persons who can manage crocodiles are despised persons. Therefore no babies are persons who can manage crocodiles. B = babies, I = illogical persons, M = people who can manage crocodiles, D = despised persons 1. All B are I 2. All I are D 3. No M are D Therefore No B are M

26 1. All B are I 2. All I are D 3. No M are D No B are M Basically, what's going with a sorites is that there is a suppressed subconclusion that makes it all hang together - we need to bring out that subconclusion in order to split the argument into two standard form categorical syllogisms! 1. All I are D 1. No M are D 2. All B are I 2. All B are D All B are D No B are M

27 We can then diagram these sub-arguments using two separate Venn diagrams. If both the diagrams show that the individual sub-arguments are valid, the the argument as a whole is valid! (if either diagram shows invalidity, then the argument is invalid) 1. All I are D 1. No M are D 2. All B are I 2. All B are D All B are D No B are M

28 Issue 2: Arguments with Inconsistent Premises Explain why it is impossible for a standard form categorical syllogism to have inconsistent premises, making use of what you know about inconsistent premises and the relationships between standard form categorical propositions, as well as the definition of a standard form categorical syllogism.

29 Walking it through What is the definition of a set of inconsistent premises? A set of premises is inconsistent if and only if it is impossible for them all to be true at the same time What is the only way two categorical propositions can be inconsistent? (Hint: think about the Square of Opposition) Answer: they have to be contradictory statements! (note: this is not universally true of a set of inconsistent statements, but is true in any set of two statements which are inconsistent)

30 Okay, so pick any two pairs of contradictory statements and make them the premises of your argument: 1. All X are Y 2. Some X are not Y Therefore. What do you notice about this argument? It is not in standard form, because there is no middle term!! And that my children is why it is impossible to have a standard form categorical syllogism with inconsistent premises.

31 But wait didn't we say earlier that all arguments with inconsistent premises are valid? Does that mean that there are some valid categorical syllogisms that we can't analyze using our Venn Diagram technique?? Well, maybe. but maybe we can. is there a way that we can use the Venn Diagram technique to show that an argument with inconsistent premises is valid?

32 1. All S are P 2. Some S are not P No S are M What happens if we try to diagram this argument? The premises basically cancel each other out Problem: conclusion is not diagrammed So, not really a fit for the technique

33 Issue 3: arguments with exceptive premises Consider the following statement: "All except students are wealthy." We could express this symbolically as the conjunction of these two statements: All nons are W and No S are W (S = students, W = wealthy people) Okay, what sort of conclusion could follow from this?

34 1. All nons are W 2. No S are W Therefore.? One option: W could be the middle term, in which case nons would be the major term and S would be the minor term. However, that's not really right -- that's seeing three terms where there are only two

35 1. All nons are W 2. No S are W Therefore.? Easiest fix: No S are W => No W are S (conversion) => All W are nons (obversion) 1. All nons are W 2. All W are nons Therefore.? Ooops! Not a standard form categorical syllogism!

36 Could this problem be fixed by adding another premise? In other words, suppose this was really a sorites, in disguise Example: All except students are wealthy. All wealthy people are happy. Therefore all nonstudents are happy. 1. All nons are W 2. All W are nons 3. All W are H All nons are H Yes, this would fix it -- all we would have to do is ignore the extraneous premise (P2). (note however that it isn't really a sorites, though, because we still only have three terms).?

37 Issue 4: Can the existential fallacy be fixed? Consider the following argument: 1. All cats are cute things. 2. All cute things are soft things. Therefore some cats are soft things. The problem with this argument is that it depends on cats existing, which isn't given by the premises but which we know to in fact be the case.

38 How about this as a solution? Recall what Copi said in Chapter 3 -- it isn't really a problem that universals don't imply existence in the Boolean interpretation, because where existence is necessary for an argument, we can always add it in by writing the relevant universal statement both as a universal and a particular statement. 1. All cats are cute things. 2. Some cats are cute things. 3. All cute things are soft things. Therefore some cats are soft things. Again, like in the previous example, it fixes the issue, but does so by ignoring one of the original premises (P1).?

39 1. All cats are cute things. 2. Some cats are cute things. 3. All cute things are soft things. Therefore some cats are soft things. Again, like in the previous example, it fixes the issue, but does so by ignoring one of the original premises (P1) Again, this isn't really a problem (we can and should ignore irrelevant premises), but it's weird and non-standard.

40 Issue 5: Arguments containing singular statements 1. All kangaroos can fly. 2. Karin is a kangaroo. Karin can fly. Since we can't analyze "Karin is a kangaroo" as a standard form categorical proposition, we are not able to analyze this argument using the Venn Diagram technique, even though it is clearly valid.

41 Moral: while the Venn Diagramming technique can be expanded somewhat to deal with some kinds of non-standard categorical arguments (sorites) there are other arguments that are valid categorical arguments that we can't prove to be so using these tools. (likewise, we also can't prove certain argument invalid using these tools, either) Doesn't make the Venn Diagramming technique a bad technique, just means it is limited. (which is why we need predicate logic, which we will not be able to cover in this class -- if you are interested in this you should take PHIL 122 in the summer or fall!)

42 Summary: Problematic Arguments Issue 1: Sorites Things you should know for the exam: In this context, a sorites as a categorical argument that contains three or more categorical propositions Like standard form categorical syllogisms, there is such a thing as a standard form sorites. In theory, we can use our Venn Diagram technique to deal with these types of arguments You should understand how to do this in theory, but you will not be asked to actually do it on the exam.

43 Issue 2: arguments with inconsistent premises The Venn Diagramming technique cannot be adapted to analyze these arguments Issue 3: arguments with exceptive premises These sometimes work, but sometimes don't -- it depends on the number of premises in the argument and the form of all of those premises.? Issue 4: fixing the existential fallacy If an argument commits the existential fallacy, but in this case the existence of the relevant class(es) is not in question, then we can simply add in the necessary particular statements..? Important caveat: Only works if we know the content of the argument -- can't be done if all we have is the form.

44 Issue 5: arguments containing singular propositions Since we cannot translate singular statements easily into standard form categorical propositions, this means that we can't deal with any arguments involving these types of statements using the Venn Diagram technique.

45

### Baronett, Logic (4th ed.) Chapter Guide

Chapter 6: Categorical Syllogisms Baronett, Logic (4th ed.) Chapter Guide A. Standard-form Categorical Syllogisms A categorical syllogism is an argument containing three categorical propositions: two premises

### 1 Clarion Logic Notes Chapter 4

1 Clarion Logic Notes Chapter 4 Summary Notes These are summary notes so that you can really listen in class and not spend the entire time copying notes. These notes will not substitute for reading the

### Part 2 Module 4: Categorical Syllogisms

Part 2 Module 4: Categorical Syllogisms Consider Argument 1 and Argument 2, and select the option that correctly identifies the valid argument(s), if any. Argument 1 All bears are omnivores. All omnivores

### SYLLOGISTIC LOGIC CATEGORICAL PROPOSITIONS

Prof. C. Byrne Dept. of Philosophy SYLLOGISTIC LOGIC Syllogistic logic is the original form in which formal logic was developed; hence it is sometimes also referred to as Aristotelian logic after Aristotle,

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

9.1 Intro to Predicate Logic Practice with symbolizations Today s Lecture 3/30/10 Announcements Tests back today Homework: --Ex 9.1 pgs. 431-432 Part C (1-25) Predicate Logic Consider the argument: All

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

Deduction Deductive arguments, deduction, deductive logic all means the same thing. They are different ways of referring to the same style of reasoning Deduction is just one mode of reasoning, but it is

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

PHI 103 - Introduction Lecture 4 An Overview of the wo Branches of Logic he wo Branches of Logic Argument - at least two statements where one provides logical support for the other. I. Deduction - a conclusion

### Dr. Carlo Alvaro Reasoning and Argumentation Distribution & Opposition DISTRIBUTION

DISTRIBUTION Categorical propositions are statements that describe classes (groups) of objects designate by the subject and the predicate terms. A class is a group of things that have something in common

### Study Guides. Chapter 1 - Basic Training

Study Guides Chapter 1 - Basic Training Argument: A group of propositions is an argument when one or more of the propositions in the group is/are used to give evidence (or if you like, reasons, or grounds)

### Logic Appendix: More detailed instruction in deductive logic

Logic Appendix: More detailed instruction in deductive logic Standardizing and Diagramming In Reason and the Balance we have taken the approach of using a simple outline to standardize short arguments,

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

Exam Name SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question. Draw a Venn diagram for the given sets. In words, explain why you drew one set as a subset of

### Logic: A Brief Introduction. Ronald L. Hall, Stetson University

Logic: A Brief Introduction Ronald L. Hall, Stetson University 2012 CONTENTS Part I Critical Thinking Chapter 1 Basic Training 1.1 Introduction 1.2 Logic, Propositions and Arguments 1.3 Deduction and Induction

### Transition to Quantified Predicate Logic

Transition to Quantified Predicate Logic Predicates You may remember (but of course you do!) during the first class period, I introduced the notion of validity with an argument much like (with the same

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

1 About Disha publication One of the leading publishers in India, Disha Publication provides books and study materials for schools and various competitive exams being continuously held across the country.

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

M05_COPI1396_13_SE_C05.QXD 10/12/07 9:00 PM Page 193 5.5 The Traditional Square of Opposition 193 EXERCISES Name the quality and quantity of each of the following propositions, and state whether their

### Russell: On Denoting

Russell: On Denoting DENOTING PHRASES Russell includes all kinds of quantified subject phrases ( a man, every man, some man etc.) but his main interest is in definite descriptions: the present King of

### Logic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to:

Sentential Logic Semantics Contents: Truth-Value Assignments and Truth-Functions Truth-Value Assignments Truth-Functions Introduction to the TruthLab Truth-Definition Logical Notions Truth-Trees Studying

### CHAPTER 10 VENN DIAGRAMS

HATER 10 VENN DAGRAM NTRODUTON n the nineteenth-century, John Venn developed a technique for determining whether a categorical syllogism is valid or invalid. Although the method he constructed relied on

### Selections from Aristotle s Prior Analytics 41a21 41b5

Lesson Seventeen The Conditional Syllogism Selections from Aristotle s Prior Analytics 41a21 41b5 It is clear then that the ostensive syllogisms are effected by means of the aforesaid figures; these considerations

### LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010

LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010 LIBERALLY EDUCATED PEOPLE......RESPECT RIGOR NOT SO MUCH FOR ITS OWN SAKE BUT AS A WAY OF SEEKING TRUTH. LOGIC PUZZLE COOPER IS MURDERED. 3 SUSPECTS: SMITH, JONES,

### Instructor s Manual 1

Instructor s Manual 1 PREFACE This instructor s manual will help instructors prepare to teach logic using the 14th edition of Irving M. Copi, Carl Cohen, and Kenneth McMahon s Introduction to Logic. The

### GENERAL NOTES ON THIS CLASS

PRACTICAL LOGIC Bryan Rennie GENERAL NOTES ON THE CLASS EXPLANATION OF GRADES AND POINTS, ETC. SAMPLE QUIZZES SCHEDULE OF CLASSES THE SIX RULES OF SYLLOGISMS (and corresponding fallacies) SYMBOLS USED

### Philosophy 57 Day 10

Branden Fitelson Philosophy 57 Lecture 1 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)

### 13.6 Euler Diagrams and Syllogistic Arguments

EulerDiagrams.nb 1 13.6 Euler Diagrams and Syllogistic rguments In the preceding section, we showed how to determine the validity of symbolic arguments using truth tables and comparing the arguments to

### EXERCISES: (from

EXERCISES: (from http://people.umass.edu/klement/100/logic-worksheet.html) A. 2. Jane has a cat 3. Therefore, Jane has a pet B. 2. Jane has a pet 3. Therefore, Jane has a cat C. 2. It is not the case that

### Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 9 First Order Logic In the last class, we had seen we have studied

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

Philosophy 1100: Introduction to Ethics Critical Thinking Lecture 1 Background Material for the Exercise on Validity Reasons, Arguments, and the Concept of Validity 1. The Concept of Validity Consider

### 10.3 Universal and Existential Quantifiers

M10_COPI1396_13_SE_C10.QXD 10/22/07 8:42 AM Page 441 10.3 Universal and Existential Quantifiers 441 and Wx, and so on. We call these propositional functions simple predicates, to distinguish them from

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

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)

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

Announcements CS243: Discrete Structures First Order Logic, Rules of Inference Işıl Dillig Homework 1 is due now Homework 2 is handed out today Homework 2 is due next Tuesday Işıl Dillig, CS243: Discrete

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

MCQ IN TRADITIONAL LOGIC FOR PRIVATE REGISTRATION TO BA PHILOSOPHY PROGRAMME 1. Logic is the science of-----------. A) Thought B) Beauty C) Mind D) Goodness 2. Aesthetics is the science of ------------.

### Faith indeed tells what the senses do not tell, but not the contrary of what they see. It is above them and not contrary to them.

19 Chapter 3 19 CHAPTER 3: Logic Faith indeed tells what the senses do not tell, but not the contrary of what they see. It is above them and not contrary to them. The last proceeding of reason is to recognize

### Section 3.5. Symbolic Arguments. Copyright 2013, 2010, 2007, Pearson, Education, Inc.

Section 3.5 Symbolic Arguments What You Will Learn Symbolic arguments Standard forms of arguments 3.5-2 Symbolic Arguments A symbolic argument consists of a set of premises and a conclusion. It is called

### Pastor-teacher Don Hargrove Faith Bible Church September 8, 2011

Pastor-teacher Don Hargrove Faith Bible Church http://www.fbcweb.org/doctrines.html September 8, 2011 Building Mental Muscle & Growing the Mind through Logic Exercises: Lesson 4a The Three Acts of the

### Responses to the sorites paradox

Responses to the sorites paradox phil 20229 Jeff Speaks April 21, 2008 1 Rejecting the initial premise: nihilism....................... 1 2 Rejecting one or more of the other premises....................

### b) The meaning of "child" would need to be taken in the sense of age, as most people would find the idea of a young child going to jail as wrong.

Explanation for Question 1 in Quiz 8 by Norva Lo - Tuesday, 18 September 2012, 9:39 AM The following is the solution for Question 1 in Quiz 8: (a) Which term in the argument is being equivocated. (b) What

### Understanding Truth Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002

1 Symposium on Understanding Truth By Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002 2 Precis of Understanding Truth Scott Soames Understanding Truth aims to illuminate

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

PHILOSOPHY 102 INTRODUCTION TO LOGIC PRACTICE EXAM 1 W# Section (10 or 11) 1. True or False (5 points) Directions: Circle the letter next to the best answer. 1. T F All true statements are valid. 2. T

### Chapter 8 - Sentential Truth Tables and Argument Forms

Logic: A Brief Introduction Ronald L. Hall Stetson University Chapter 8 - Sentential ruth ables and Argument orms 8.1 Introduction he truth-value of a given truth-functional compound proposition depends

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

What is a logical argument? What is deductive reasoning? Fundamentals of Academic Writing Logical relations Deductive logic Claims to provide conclusive support for the truth of a conclusion Inductive

### 1 Logical Form and Sentential Logic

338 C H A P T E R 1 1 Logical Form and Sentential Logic A bstracting from the content of an argument reveals the logical form of the argument. The initial sections of this chapter show that logical form

### Venn Diagrams and Categorical Syllogisms. Unit 5

Venn Diagrams and Categorical Syllogisms Unit 5 John Venn 1834 1923 English logician and philosopher noted for introducing the Venn diagram Used in set theory, probability, logic, statistics, and computer

### Section 3.5. Symbolic Arguments. Copyright 2013, 2010, 2007, Pearson, Education, Inc.

Section 3.5 Symbolic Arguments INB able of Contents Date opic Page # July 28, 2014 Section 3.5 Examples 84 July 28, 2014 Section 3.5 Notes 85 July 28, 2014 Section 3.6 Examples 86 July 28, 2014 Section

### 5.6 Further Immediate Inferences

M05_COPI1396_13_SE_C05.QXD 10/12/07 9:00 PM Page 198 198 CHAPTER 5 Categorical Propositions EXERCISES A. If we assume that the first proposition in each of the following sets is true, what can we affirm

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

Overview Philosophy & logic 1.2 What is philosophy? 1.3 nature of philosophy Why philosophy Rules of engagement Punctuality and regularity is of the essence You should be active in class It is good to

### 5.3 The Four Kinds of Categorical Propositions

M05_COI1396_13_E_C05.QXD 11/13/07 8:39 AM age 182 182 CHATER 5 Categorical ropositions Categorical propositions are the fundamental elements, the building blocks of argument, in the classical account of

### Informalizing Formal Logic

Informalizing Formal Logic Antonis Kakas Department of Computer Science, University of Cyprus, Cyprus antonis@ucy.ac.cy Abstract. This paper discusses how the basic notions of formal logic can be expressed

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

Deccan Education Society s FERGUSSON COLLEGE, PUNE (AUTONOMOUS) SYLLABUS UNDER AUTONOMY FIRST YEAR B.A. LOGIC SEMESTER I Academic Year 2016-2017 Department: PHILOSOPHY Deccan Education Society s FERGUSSON

### Reasoning SYLLOGISM. follows.

Reasoning SYLLOGISM RULES FOR DERIVING CONCLUSIONS 1. The Conclusion does not contain the Middle Term (M). Premises : All spoons are plates. Some spoons are cups. Invalid Conclusion : All spoons are cups.

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

Phil 435: Philosophy of Language [Handout 10] Professor JeeLoo Liu P. F. Strawson: On Referring Strawson s Main Goal: To show that Russell's theory of definite descriptions ("the so-and-so") has some fundamental

### Revisiting the Socrates Example

Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments Rules of Inference for Quantified Statements Building Arguments for Quantified

### PART III - Symbolic Logic Chapter 7 - Sentential Propositions

Logic: A Brief Introduction Ronald L. Hall, Stetson University 7.1 Introduction PART III - Symbolic Logic Chapter 7 - Sentential Propositions What has been made abundantly clear in the previous discussion

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

CHAPTER 3: CATEGORICAL INFERENCES Inference is the process by which the truth of one proposition (the conclusion) is affirmed on the basis of the truth of one or more other propositions that serve as its

### In more precise language, we have both conditional statements and bi-conditional statements.

MATD 0385. Day 5. Feb. 3, 2010 Last updated Feb. 3, 2010 Logic. Sections 3-4, part 2, page 1 of 8 What does logic tell us about conditional statements? When I surveyed the class a couple of days ago, many

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

Handout for: Ibn Sīnā: analysis with modal syllogisms Wilfrid Hodges wilfrid.hodges@btinternet.com November 2011 1 Peiorem rule Ibn Sīnā introduces the peiorem rule at Qiyās 108.8 11 as follows: Know that

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

Basic Principles of Deductive Logic Part One: In this section you will learn three basic aspects of logic. When you are done, you will understand the following: Mental Act Simple Apprehension Judgment

### CRITICAL THINKING (CT) MODEL PART 1 GENERAL CONCEPTS

Fall 2001 ENGLISH 20 Professor Tanaka CRITICAL THINKING (CT) MODEL PART 1 GENERAL CONCEPTS In this first handout, I would like to simply give you the basic outlines of our critical thinking model

### 1.5. Argument Forms: Proving Invalidity

18. If inflation heats up, then interest rates will rise. If interest rates rise, then bond prices will decline. Therefore, if inflation heats up, then bond prices will decline. 19. Statistics reveal that

### Logic: A Brief Introduction

Logic: A Brief Introduction Ronald L. Hall, Stetson University PART III - Symbolic Logic Chapter 7 - Sentential Propositions 7.1 Introduction What has been made abundantly clear in the previous discussion

### BASIC CONCEPTS OF LOGIC

1 BASIC CONCEPTS OF LOGIC 1. What is Logic?... 2 2. Inferences and Arguments... 2 3. Deductive Logic versus Inductive Logic... 5 4. Statements versus Propositions... 6 5. Form versus Content... 7 6. Preliminary

### Part II: How to Evaluate Deductive Arguments

Part II: How to Evaluate Deductive Arguments Week 4: Propositional Logic and Truth Tables Lecture 4.1: Introduction to deductive logic Deductive arguments = presented as being valid, and successful only

### 6.5 Exposition of the Fifteen Valid Forms of the Categorical Syllogism

M06_COPI1396_13_SE_C06.QXD 10/16/07 9:17 PM Page 255 6.5 Exposition of the Fifteen Valid Forms of the Categorical Syllogism 255 7. All supporters of popular government are democrats, so all supporters

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

Unit 7.1 Terms and Propositions Nature of propositions A proposition is a unit of reasoning or logical thinking. Both premises and conclusion of reasoning are propositions. Since propositions are so important,

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

1 2 What would count as Ibn Sīnā (11th century Persia) having first order logic? Wilfrid Hodges Herons Brook, Sticklepath, Okehampton March 2012 http://wilfridhodges.co.uk Ibn Sina, 980 1037 3 4 Ibn Sīnā

### HANDBOOK (New or substantially modified material appears in boxes.)

1 HANDBOOK (New or substantially modified material appears in boxes.) I. ARGUMENT RECOGNITION Important Concepts An argument is a unit of reasoning that attempts to prove that a certain idea is true by

### In a previous lecture, we used Aristotle s syllogisms to emphasize the

The Flow of Argument Lecture 9 In a previous lecture, we used Aristotle s syllogisms to emphasize the central concept of validity. Visualizing syllogisms in terms of three-circle Venn diagrams gave us

### PHI 1500: Major Issues in Philosophy

PHI 1500: Major Issues in Philosophy Session 3 September 9 th, 2015 All About Arguments (Part II) 1 A common theme linking many fallacies is that they make unwarranted assumptions. An assumption is a claim

### Philosophy 1100: Ethics

Philosophy 1100: Ethics Topic 1 - Course Introduction: 1. What is Philosophy? 2. What is Ethics? 3. Logic a. Truth b. Arguments c. Validity d. Soundness What is Philosophy? The Three Fundamental Questions

### Introduction Symbolic Logic

An Introduction to Symbolic Logic Copyright 2006 by Terence Parsons all rights reserved CONTENTS Chapter One Sentential Logic with 'if' and 'not' 1 SYMBOLIC NOTATION 2 MEANINGS OF THE SYMBOLIC NOTATION

### Exposition of Symbolic Logic with Kalish-Montague derivations

An Exposition of Symbolic Logic with Kalish-Montague derivations Copyright 2006-13 by Terence Parsons all rights reserved Aug 2013 Preface The system of logic used here is essentially that of Kalish &

### BASIC CONCEPTS OF LOGIC

BASIC CONCEPTS OF LOGIC 1. What is Logic?...2 2. Inferences and Arguments...2 3. Deductive Logic versus Inductive Logic...5 4. Statements versus Propositions...6 5. Form versus Content...7 6. Preliminary

### In his paper Studies of Logical Confirmation, Carl Hempel discusses

Aporia vol. 19 no. 1 2009 Hempel s Raven Joshua Ernst In his paper Studies of Logical Confirmation, Carl Hempel discusses his criteria for an adequate theory of confirmation. In his discussion, he argues

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

Announcements CS311H: Discrete Mathematics First Order Logic, Rules of Inference Instructor: Işıl Dillig Homework 1 is due now! Homework 2 is handed out today Homework 2 is due next Wednesday Instructor:

### Truth At a World for Modal Propositions

Truth At a World for Modal Propositions 1 Introduction Existentialism is a thesis that concerns the ontological status of individual essences and singular propositions. Let us define an individual essence

### 6. Truth and Possible Worlds

6. Truth and Possible Worlds We have defined logical entailment, consistency, and the connectives,,, all in terms of belief. In view of the close connection between belief and truth, described in the first

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

Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments 1 Agenda 1. What is an Argument? 2. Evaluating Arguments 3. Validity 4. Soundness 5. Persuasive Arguments 6.

### Logic: Deductive and Inductive by Carveth Read M.A. Questions

Questions I. Terms, Etc. 1. What is a Term? Explain and illustrate the chief divisions of Terms. What is meant by the Connotation of a Term? Illustrate. [S] 2. The connotation and denotation of terms vary

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

CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE Section 1. A Mediate Inference is a proposition that depends for proof upon two or more other propositions, so connected together by one or

### (Refer Slide Time 03:00)

Artificial Intelligence Prof. Anupam Basu Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Lecture - 15 Resolution in FOPL In the last lecture we had discussed about

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

8 Deductive Arguments I Categorical Logic... The Science of Deduction and Analysis is one which can only be acquired by long and patient study, nor is life long enough to allow any mortal to attain the

### Geometry TEST Review Chapter 2 - Logic

Geometry TEST Review Chapter 2 - Logic Name Period Date Symbolic notation: 1. Define the following symbols. a b ~ c d e g a b c d a b c d 2. Consider the following legend: Let p = You love bananas. Let

### Comments on Truth at A World for Modal Propositions

Comments on Truth at A World for Modal Propositions Christopher Menzel Texas A&M University March 16, 2008 Since Arthur Prior first made us aware of the issue, a lot of philosophical thought has gone into

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

Pearson Education Limited Edinburgh Gate Harlow Essex CM20 2JE England and Associated Companies throughout the world Visit us on the World Wide Web at: www.pearsoned.co.uk Pearson Education Limited 2014

Lecture 8: Refutation Philosophy 130 March 19 & 24, 2015 O Rourke I. Administrative A. Roll B. Schedule C. Exam #1 comments on difficult spots; if you have questions about this, please let me know D. Discussion

### SOME RADICAL CONSEQUENCES OF GEACH'S LOGICAL THEORIES

SOME RADICAL CONSEQUENCES OF GEACH'S LOGICAL THEORIES By james CAIN ETER Geach's views of relative identity, together with his Paccount of proper names and quantifiers, 1 while presenting what I believe

### INTERMEDIATE LOGIC Glossary of key terms

1 GLOSSARY INTERMEDIATE LOGIC BY JAMES B. NANCE INTERMEDIATE LOGIC Glossary of key terms This glossary includes terms that are defined in the text in the lesson and on the page noted. It does not include

### HANDBOOK (New or substantially modified material appears in boxes.)

1 HANDBOOK (New or substantially modified material appears in boxes.) I. ARGUMENT RECOGNITION Important Concepts An argument is a unit of reasoning that attempts to prove that a certain idea is true by

### Verificationism. PHIL September 27, 2011

Verificationism PHIL 83104 September 27, 2011 1. The critique of metaphysics... 1 2. Observation statements... 2 3. In principle verifiability... 3 4. Strong verifiability... 3 4.1. Conclusive verifiability

### Chapter 1. Introduction. 1.1 Deductive and Plausible Reasoning Strong Syllogism

Contents 1 Introduction 3 1.1 Deductive and Plausible Reasoning................... 3 1.1.1 Strong Syllogism......................... 3 1.1.2 Weak Syllogism.......................... 4 1.1.3 Transitivity

### Logic Book Part 1! by Skylar Ruloff!

Logic Book Part 1 by Skylar Ruloff Contents Introduction 3 I Validity and Soundness 4 II Argument Forms 10 III Counterexamples and Categorical Statements 15 IV Strength and Cogency 21 2 Introduction This

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

CHAPTER VIII ORDER OF TERMS, EULER'S DIAGRAMS, LOGICAL EQUATIONS, EXISTENTIAL IMPORT OF PROPOSITIONS Section 1. Of the terms of a proposition which is the Subject and which the Predicate? In most of the

### Semantic Entailment and Natural Deduction

Semantic Entailment and Natural Deduction Alice Gao Lecture 6, September 26, 2017 Entailment 1/55 Learning goals Semantic entailment Define semantic entailment. Explain subtleties of semantic entailment.

### Portfolio Project. Phil 251A Logic Fall Due: Friday, December 7

Portfolio Project Phil 251A Logic Fall 2012 Due: Friday, December 7 1 Overview The portfolio is a semester-long project that should display your logical prowess applied to real-world arguments. The arguments

### Logic Dictionary Keith Burgess-Jackson 12 August 2017

Logic Dictionary Keith Burgess-Jackson 12 August 2017 addition (Add). In propositional logic, a rule of inference (i.e., an elementary valid argument form) in which (1) the conclusion is a disjunction

### Suppressed premises in real life. Philosophy and Logic Section 4.3 & Some Exercises

Suppressed premises in real life Philosophy and Logic Section 4.3 & Some Exercises Analyzing inferences: finale Suppressed premises: from mechanical solutions to elegant ones Practicing on some real-life

### Ayer on the criterion of verifiability

Ayer on the criterion of verifiability November 19, 2004 1 The critique of metaphysics............................. 1 2 Observation statements............................... 2 3 In principle verifiability...............................

### Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 10 Inference in First Order Logic I had introduced first order

### Department of Philosophy. Module descriptions 20118/19. Level C (i.e. normally 1 st Yr.) Modules

Department of Philosophy Module descriptions 20118/19 Level C (i.e. normally 1 st Yr.) Modules Please be aware that all modules are subject to availability. If you have any questions about the modules,