Recall. Validity: If the premises are true the conclusion must be true. Soundness. Valid; and. Premises are true

Similar documents
Study Guides. Chapter 1 - Basic Training

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

Chapter 8 - Sentential Truth Tables and Argument Forms

Logic Appendix: More detailed instruction in deductive logic

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.

Revisiting the Socrates Example

Tutorial A03: Patterns of Valid Arguments By: Jonathan Chan

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

Criticizing Arguments

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

Philosophy 1100: Ethics

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

Appendix: The Logic Behind the Inferential Test

PHI 1500: Major Issues in Philosophy

Basic Concepts and Skills!

Selections from Aristotle s Prior Analytics 41a21 41b5

A R G U M E N T S I N A C T I O N

The antecendent always a expresses a sufficient condition for the consequent

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

Logic Book Part 1! by Skylar Ruloff!

1 Clarion Logic Notes Chapter 4

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

Also, in Argument #1 (Lecture 11, Slide 11), the inference from steps 2 and 3 to 4 is stated as:

Chapter 9- Sentential Proofs

Overview of Today s Lecture

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

Chapter 3: More Deductive Reasoning (Symbolic Logic)

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

Semantic Entailment and Natural Deduction

T. Parent. I shall explain these steps in turn. Let s consider the following passage to illustrate the process:

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

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

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

Introduction to Logic

Introduction to Logic

What are Truth-Tables and What Are They For?

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

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

An Introduction to. Formal Logic. Second edition. Peter Smith, February 27, 2019

Part II: How to Evaluate Deductive Arguments

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

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

L4: Reasoning. Dani Navarro

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

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

Introduction Symbolic Logic

HANDBOOK. IV. Argument Construction Determine the Ultimate Conclusion Construct the Chain of Reasoning Communicate the Argument 13

A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS

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

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

Thinking and Reasoning

9 Methods of Deduction

PHIL2642 CRITICAL THINKING USYD NOTES PART 1: LECTURE NOTES

Exercise Sets. KS Philosophical Logic: Modality, Conditionals Vagueness. Dirk Kindermann University of Graz July 2014

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

CHAPTER THREE Philosophical Argument

Conditionals II: no truth conditions?

Instructor s Manual 1

How Gödelian Ontological Arguments Fail

Logic. A Primer with Addendum

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

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.

PHIL 115: Philosophical Anthropology. I. Propositional Forms (in Stoic Logic) Lecture #4: Stoic Logic

13.6 Euler Diagrams and Syllogistic Arguments

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

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

Session 10 INDUCTIVE REASONONING IN THE SCIENCES & EVERYDAY LIFE( PART 1)

Elements of Science (cont.); Conditional Statements. Phil 12: Logic and Decision Making Fall 2010 UC San Diego 9/29/2010

Exposition of Symbolic Logic with Kalish-Montague derivations

Chapter 1. What is Philosophy? Thinking Philosophically About Life

Argument Mapping. Table of Contents. By James Wallace Gray 2/13/2012

Part 2 Module 4: Categorical Syllogisms

SYLLOGISTIC LOGIC CATEGORICAL PROPOSITIONS

Chapter 2 Analyzing Arguments

National Quali cations

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

A short introduction to formal logic

Practice Test Three Fall True or False True = A, False = B

Test Item File. Full file at

In view of the fact that IN CLASS LOGIC EXERCISES

I'd Like to Have an Argument, Please.

Introduction to Philosophy

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

Introduction to Philosophy Crito. Instructor: Jason Sheley

PHILOSOPHY ESSAY ADVICE

Baronett, Logic (4th ed.) Chapter Guide

Russell: On Denoting

VERITAS EVANGELICAL SEMINARY

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

16. Universal derivation

5.3 The Four Kinds of Categorical Propositions

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

INTERMEDIATE LOGIC Glossary of key terms

Lecture 4: Deductive Validity

Practice Test Three Spring True or False True = A, False = B

Chapter 5: Ways of knowing Reason (p. 111)

Make sure you are properly registered Course web page : or through Class Notes link from University Page Assignment #1 is due

GENERAL NOTES ON THIS CLASS

Does the Skeptic Win? A Defense of Moore. I. Moorean Methodology. In A Proof of the External World, Moore argues as follows:

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

Transcription:

Recall Validity: If the premises are true the conclusion must be true Soundness Valid; and Premises are true

Validity In order to determine if an argument is valid, we must evaluate all of the sets of truth values (interpretations) that an argument can have. This can be quite difficult. Logicians have devised many tools for establishing validity using a variety of shortcuts. In contrast, establishing invalidity is quite simple: all you need to do is to provide one counter example (the Method of Counter Example).

Valid forms Modus Ponens If A then B A Therefore B Modus Tollens If A then B ~B Therefore ~A

Conditional truth table Truth table for A->B i.e. If A then B We can verify both MP and MT. Note: A->B = ~A or B.

Examples of if then Equivalent to S->B: If you re smart then you re beautiful. If you re smart, you re beautiful. You re beautiful if you re smart. You re smart only if you re beautiful.

Valid forms (cont.) Disjunctive syllogism A or B not A Therefore B MP Equivalence A->B (i.e. ~A v B) A (i.e., not not A) Therefore B

Valid forms (cont.) Hypothetical syllogism A -> B B -> C Therefore A->C Two MP applications if A then B if B then C A (hypothesis, i.e., 'if') B C Therefore, if A then C

Quantifiers Quantifiers are all or some in a sentence MP applies for all but not some Example: Some dogs are black Some black things are bigger than earth Therefore some dogs are bigger than earth (invalid) Instead, use Venn diagrams

Venn diagrams A B A B All A are B Some A are B Etc (No A are B; i is B; No C is A and B)

Valid forms (cont.) Universal syllogism All A are B All B are C So All A are C A B C Two MP applications All A are B = (x)ax->bx All B are C Ax (hypothesis, i.e., 'if') Bx Cx Therefore, All A are C All A are B All B are C So, All A are C

Valid forms (cont.) Universal-particular syllogisms All A are B Individual i is A Therefore, i is B All A are B Individual i is non-b Therefore, i is non-a B A *i *i B A Modus Ponens (x)ax->bx Ai Therefore Bi Modus Tollens (x)ax->bx ~Bi Therefore ~Ai (Note: non is often not the same as not e.g. non-friendly versus not friendly).

Summary There is no point in trying to memorize all of the possible valid argument forms. There are an infinite variety. Nevertheless, the ones above are by far the most common. The power of formal logic lies in its ability to systematically organize valid argument forms (e.g., seeing how they are all versions of MP).

Invalid arguments To show an argument is invalid, you can: describe a situation in which the premises are true and the conclusion is false; or show that the argument fits a typical form of invalid argument For instance

Invalid forms Affirming the consequent If A then B B Therefore A Example of affirming the consequent If I punch you in the nose it bleeds. Your nose is bleeding. Therefore I punched you in the nose. (Invalid because of other possible nasal issues)

Invalid forms Denying the antecedent If A then B not A Therefore not B Example of denying the antecedent If I push the book then it will move. I didn't push the book. Therefore it didn't move. (Invalid because of other possible causes)

Sailing the three C s Need to read arguments: carefully critically charitably In brief this means: identifying each and all assertions determining if the argument is valid and/or sound trying to make the arguments as plausible as possible

Being charitable Often possible to paraphrase the explicit statements in an argument Essential that the premise as paraphrased says exactly same thing as the original. The economy will be in big trouble, because it cannot tolerate the continuation of low interest rates, but such rates will continue. Better re-phrasing: "If low interest rates continue, then the economy will be in big trouble." (plus Such rates will continue )

Determining validity We can summarize the steps needed to determine the validity of an argument as follows: A. Identify the conclusion. (careful) B. Identify the premises. (careful) C. Identify reasonable and stated premises. (charitable) D. Determine whether the argument is valid (if not considered conservative modifications that would make it valid). (critical)

Islamic-world argument If America and the world's other governments in their completely justified, very necessary, and much overdue "war against terrorism" will also commit part of this long and difficult struggle to the creation of a good, right, and just society, if they do so in a way that follows the accepted standards of justice, and if they harm no innocent citizens of any nation in the process, then it should be expected they will receive the full and continued support of virtually every Muslim in the World. Regarding the issue of exploitation, particularly economic exploitation, we view as highly significant a comment made in an address to the people of America several years ago by then President of the United States, Bill Clinton, who said, "America with about five percent of the world's population utilizes about forty percent of the world's resources; and, we are going to have to work ever harder to keep it that way." When you are an African parent sitting homeless in the dust, hungry and thirsty, while your children die slowly before your eyes it is easy to see the blatant unfairness of this economic disparity. Is it then surprising that there will be anger toward America? Allah has told us that wealth must be equitably distributed among the world's people and nations.

Islamic-world argument Main argument P1) If America commits part of their struggle to the creation of a just society and follow accepted standards of justice and harm no innocent citizens then they will receive the support of all Muslims. P2) America does not follow the accepted standards of justice. C1) Therefore they won't receive support of all Muslims. (invalid) Argument for P2 P3) If you exploit other nations you do not follow the accepted standards of justice. P4) Bill Clinton made a statement showing that the Americans will continue to attempt to exploit other nations. Therefore C2/P2. (valid)

Argument structure Draw the argument structure: P3 P4 P2/C2 P1 Simple repair? C1 If they want to get support then follow justice Or, If and only if i.e. A->B & B->A

Criticizing valid arguments If the argument is definitely valid, then, as a critic you have at least three remaining possibilities: 1. Show that one of the premises is false (the argument is unsound) 2. Suggest that one of the premises is unjustified (that is, demand more reasons for thinking that premise is true) 3. Show that the argument is unclear or vague, or of poor form

Classifying arguments Good (sound) Sound (and valid) Exception: Tautology Invalid Bad (not sound) Valid not sound contradiction

Classifying arguments invalid contra etc. sound (good) bad valid

Vagueness 2000 years ago, Sophists exploited vagueness (still do). What are sources and pitfalls of vagueness? Vagueness and Context Example: Ann went to the store. She bought some muffins. & & & ('She' refers to the individual 'Ann'.) Example: Ann went near the store. She got muffins while she was there. ('There' refers to 'a vicinity' near the store, which could be any number of places.)

Vagueness Ambiguity Lexical ambiguity Example: He kicked his can. Syntactic ambiguity Example: Defining your terms clearly strengthens your argument. Contextual ambiguity Example: John's father wanted the key with him.

Vagueness Equivocation (scope fallacies) & & & & & P1) Hot dogs are better than nothing. P2) Nothing is better than steak. C) Therefore, hot dogs are better than steak. The existence of a law means that there must be a law maker. But we know that the law of gravity and other scientific laws have not been made by any human law maker. So it follows that there must be a non-human law maker, God. Everybody loves somebody. Therefore, everybody loves one of us.

Vagueness Connotation (i.e. using emotion to affect reasoning) Example: He sure is <<debonaire, easy-going, devil-may-care, reckless>> Euphemism Example: neutralize, collateral damage, friendly fire, Instead of content Example: "Have a coke and a smile" "Pepsi, taste of a new generation" "Toyota Corolla. It just wants to have fun." Jargon/Bafflegab (why? it works) Example: Digging a hole: The author of this report utilized a manually operated soil displacement implement to facilitate the synergistic excavation of a negative volume of mineral aggregate relative to a datum plane defined at ground level.

Connotation (cont.) Loaded Verbs Vagueness Example: Surely you realize that using jargon just confuses the audience. Versus: Surely you believe that using jargon just confuses the audience. Insinuation Example: Today, you were on time Example: You should not speak ill of your friends (move emphasis).

Question and Example Question: Example: Char Margolis Cold Reading Example: Florsheim Magnetic Shoes (others include BIOFlex insoles/shoes).

Bonus: Is it valid? The pen in my hand is red and five hundred pounds. It is not red. Therefore it is five hundred pounds. 1. A & B 2. ~A 3. A (from 1) 4. ~A v B (from 2; i.e. A=>B) 5. B (conclusion; from 4 and 3 or directly from 1) Is it a valid deduction? Technica"y it is (i.e. given the agreed upon definition of what to do with contradiction). What s wrong, then? It cannot possibly be sound, given the law of non-contradiction.