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


 Gillian Wheeler
 5 years ago
 Views:
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 rolypoly fishheads are not good dancers. Expressed symbolically: F = rolypoly fishheads, D = good dancers All F are not D Two possible solutions: Although we are make a distinction between "not D" and "nond", this distinction is in a certain sense an artificial and meaningless distinction. "not D" and "nond" mean the same thing, so we could collapse the distinction in this case and rewrite this statement as "All rolypoly fishheads are nongooddancers." 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 rolypoly 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 nonstandard 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 nonstandard 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 nonintuitive (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 nonstandard quantifiers such as "most," "many," "a few," "all but a few," "almost all," "not quite all," "every," "each," "any" etc. Solution: translate nonstandard quantifiers like "most," "many," "a few," "all but a few," "almost all," "not quite all," as "Some," and translate nonstandard 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 soriteas 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 subarguments using two separate Venn diagrams. If both the diagrams show that the individual subarguments 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 nonstandard.
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 nonstandard 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. Standardform Categorical Syllogisms A categorical syllogism is an argument containing three categorical propositions: two premises
More information1 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
More informationPart 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
More informationSYLLOGISTIC 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,
More information9.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. 431432 Part C (125) Predicate Logic Consider the argument: All
More informationDeduction. 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
More informationPHI 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
More informationDr. 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
More informationStudy 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)
More informationLogic 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,
More informationSHORT 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
More informationLogic: 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
More informationTransition 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
More informationSyllogism. 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.
More information7. 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
More informationRussell: 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
More informationLogic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to:
Sentential Logic Semantics Contents: TruthValue Assignments and TruthFunctions TruthValue Assignments TruthFunctions Introduction to the TruthLab TruthDefinition Logical Notions TruthTrees Studying
More informationCHAPTER 10 VENN DIAGRAMS
HATER 10 VENN DAGRAM NTRODUTON n the nineteenthcentury, John Venn developed a technique for determining whether a categorical syllogism is valid or invalid. Although the method he constructed relied on
More informationSelections 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
More informationLOGIC ANTHONY KAPOLKA FYF 1019/3/2010
LOGIC ANTHONY KAPOLKA FYF 1019/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,
More informationInstructor 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
More informationGENERAL 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
More informationPhilosophy 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)
More information13.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
More informationEXERCISES: (from
EXERCISES: (from http://people.umass.edu/klement/100/logicworksheet.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
More informationArtificial 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
More informationPhilosophy 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
More information10.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
More informationPhilosophy 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)
More informationAnnouncements. CS243: Discrete Structures. First Order Logic, Rules of Inference. Review of Last Lecture. Translating English into FirstOrder 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
More informationMCQ 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 .
More informationFaith 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
More informationSection 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.52 Symbolic Arguments A symbolic argument consists of a set of premises and a conclusion. It is called
More informationPastorteacher Don Hargrove Faith Bible Church September 8, 2011
Pastorteacher 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
More informationResponses 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....................
More informationb) 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
More informationUnderstanding 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
More informationPHILOSOPHY 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
More informationChapter 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 truthvalue of a given truthfunctional compound proposition depends
More informationWhat 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
More information1 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
More informationVenn 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
More informationSection 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
More information5.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
More informationIntro 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
More information5.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
More informationInformalizing 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
More informationDeccan 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 20162017 Department: PHILOSOPHY Deccan Education Society s FERGUSSON
More informationReasoning 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.
More informationPhil 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 soandso") has some fundamental
More informationRevisiting 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
More informationPART 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
More information1. 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
More informationIn more precise language, we have both conditional statements and biconditional statements.
MATD 0385. Day 5. Feb. 3, 2010 Last updated Feb. 3, 2010 Logic. Sections 34, 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
More informationHandout 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
More informationIn 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
More informationCRITICAL 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
More information1.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
More informationLogic: 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
More informationBASIC 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
More informationPart 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
More information6.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
More information7.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,
More informationWhat 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ā
More informationHANDBOOK (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
More informationIn 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 threecircle Venn diagrams gave us
More informationPHI 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
More informationPhilosophy 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
More informationIntroduction 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
More informationExposition of Symbolic Logic with KalishMontague derivations
An Exposition of Symbolic Logic with KalishMontague derivations Copyright 200613 by Terence Parsons all rights reserved Aug 2013 Preface The system of logic used here is essentially that of Kalish &
More informationBASIC 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
More informationIn 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
More informationAnnouncements. 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:
More informationTruth 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
More information6. 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
More informationLecture 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.
More informationLogic: 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
More informationLogic: 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
More information(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
More informationFortunately, 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
More informationGeometry 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
More informationComments 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
More informationPearson 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
More informationC. Exam #1 comments on difficult spots; if you have questions about this, please let me know. D. Discussion of extra credit opportunities
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
More informationSOME 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
More informationINTERMEDIATE 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
More informationHANDBOOK (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
More informationVerificationism. 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
More informationChapter 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
More informationLogic 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
More informationLogic: 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
More informationSemantic 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.
More informationPortfolio 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 semesterlong project that should display your logical prowess applied to realworld arguments. The arguments
More informationLogic Dictionary Keith BurgessJackson 12 August 2017
Logic Dictionary Keith BurgessJackson 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
More informationSuppressed 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 reallife
More informationAyer 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...............................
More informationArtificial 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
More informationDepartment 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,
More informationTruth and Molinism * Trenton Merricks. Molinism: The Contemporary Debate edited by Ken Perszyk. Oxford University Press, 2011.
Truth and Molinism * Trenton Merricks Molinism: The Contemporary Debate edited by Ken Perszyk. Oxford University Press, 2011. According to Luis de Molina, God knows what each and every possible human would
More informationThe paradox we re discussing today is not a single argument, but a family of arguments. Here are some examples of this sort of argument:
The sorites paradox The paradox we re discussing today is not a single argument, but a family of arguments. Here are some examples of this sort of argument: 1. Someone who is 7 feet in height is tall.
More information