Part 2 Module 3 Arguments and deductive reasoning Logic is a formal study of the process of reasoning, or using common sense. Deductive reasoning involves.

Slides:



Advertisements
Similar presentations
Formal Criteria for Evaluating Arguments
Advertisements

Test the validity of this argument: Some lawyers are judges. Some judges are politicians. Therefore, some lawyers are politicians. A. Valid B. Invalid.
Part 2 Module 3 Arguments and deductive reasoning Logic is a formal study of the process of reasoning, or using common sense. Deductive reasoning involves.
Chapter 21: Truth Tables.
Valid arguments A valid argument has the following property:
Test the validity of this argument: Some lawyers are judges. Some judges are politicians. Therefore, some lawyers are politicians. A. Valid B. Invalid.
1 Valid and Invalid arguments. 2 Definition of Argument Sequence of statements: Statement 1; Statement 2; Therefore, Statement 3. Statements 1 and 2 are.
DEDUCTIVE REASONING We reason deductively when we draw a conclusion from a set of given facts using the laws of logic.
Part 2 Module 3 Arguments and deductive reasoning Logic is a formal study of the process of reasoning, or using common sense. Deductive reasoning involves.
Debate. Inductive Reasoning When you start with a probable truth, and seek evidence to support it. Most scientific theories are inductive. Evidence is.
So far we have learned about:
EE1J2 – Discrete Maths Lecture 5 Analysis of arguments (continued) More example proofs Formalisation of arguments in natural language Proof by contradiction.
For Friday, read Chapter 3, section 4. Nongraded Homework: Problems at the end of section 4, set I only; Power of Logic web tutor, 7.4, A, B, and C. Graded.
Logical and Rule-Based Reasoning Part I. Logical Models and Reasoning Big Question: Do people think logically?
Logic In Part 2 Modules 1 through 5, our topic is symbolic logic. We will be studying the basic elements and forms that provide the structural foundations.
Copyright © Cengage Learning. All rights reserved.
Basic Argumentation.
MATERI II PROPOSISI. 2 Tautology and Contradiction Definition A tautology is a statement form that is always true. A statement whose form is a tautology.
Validity All UH students are communists. All communists like broccoli. All UH students like broccoli.
Conditional Statements CS 2312, Discrete Structures II Poorvi L. Vora, GW.
Introduction to Geometric Proof Logical Reasoning and Conditional Statements.
Verifying Arguments MATH 102 Contemporary Math S. Rook.
The Inverse Error Jeffrey Martinez Math 170 Dr. Lipika Deka 10/15/13.
Reasoning and Critical Thinking Validity and Soundness 1.
Question of the Day!  We shared a lot of examples of illogical arguments!  But how do you make a LOGICAL argument? What does your argument need? What.
DEDUCTIVE REASONING MOVES FROM A GENERALIZATION THAT IS TRUE OR SELF-EVIDENT TO A MORE SPECIFIC CONCLUSION DEDUCTIVE REASONING.
Logic. What is logic? Logic (from the Ancient Greek: λογική, logike) is the use and study of valid reasoning. The study of logic features most prominently.
2.8 Methods of Proof PHIL 012 1/26/2001.
Chapter 3: Introduction to Logic. Logic Main goal: use logic to analyze arguments (claims) to see if they are valid or invalid. This is useful for math.
Thinking Mathematically
Thinking Mathematically Arguments and Truth Tables.
Logic UNIT 1.
Sentence (syntactically Independent grammatical unit) QuestionCommandStatement “This is a class in logic.” “I enjoy logic.” “Today is Friday.”
Section 1.1 Propositions and Logical Operations. Introduction Remember that discrete is –the study of decision making in non-continuous systems. That.
Symbolic Logic ⊃ ≡ · v ~ ∴. What is a logical argument? Logic is the science of reasoning, proof, thinking, or inference. Logic allows us to analyze a.
Analyzing Arguments Section 1.5. Valid arguments An argument consists of two parts: the hypotheses (premises) and the conclusion. An argument is valid.
I think therefore I am - Rene Descartes. REASON (logic) It has been said that man is a rational animal. All my life I have been searching for evidence.
What is an argument? An argument is, to quote the Monty Python sketch, "a connected series of statements to establish a definite proposition." Huh? Three.
If then Therefore It is rainingthe ground is wet It is raining the ground is wet.
Foundations of Discrete Mathematics Chapter 1 By Dr. Dalia M. Gil, Ph.D.
1.2 Reasoning Mathematically Two Types of Reasoning Remember to Silence Your Cell Phone and Put It in Your Bag!
Truth Tables, Continued 6.3 and 6.4 March 14th. 6.3 Truth tables for propositions Remember: a truth table gives the truth value of a compound proposition.
Chapter 7: Induction.
Deductive reasoning.
Valid and Invalid Arguments
Inductive / Deductive reasoning
Jeffrey Martinez Math 170 Dr. Lipika Deka 10/15/13
Common logical forms Study the following four arguments.
Truth Tables How to build them
Logic In Part 2 Modules 1 through 5, our topic is symbolic logic.
Introduction to Logic PHIL 240 Sections
3.5 Symbolic Arguments.
TRUTH TABLE TO DETERMINE
TRUTH TABLES continued.
Two Column Proofs PROOF Geometry.
Discrete Mathematics Lecture # 8.
The most important idea in logic: Validity of an argument.
Deductive Arguments: Checking for Validity
Deductive Arguments: More Truth Tables
6.4 Truth Tables for Arguments
Logical and Rule-Based Reasoning Part I
Validity.
Philosophical Methods
Propositional Logic 1) Introduction Copyright 2008, Scott Gray.
ID1050– Quantitative & Qualitative Reasoning
Evaluating Deductive Arguments
If there is any case in which true premises lead to a false conclusion, the argument is invalid. Therefore this argument is INVALID.
Validity and Soundness, Again
3.5 Symbolic Arguments.
If there is any case in which true premises lead to a false conclusion, the argument is invalid. Therefore this argument is INVALID.
Presentation transcript:

Part 2 Module 3 Arguments and deductive reasoning Logic is a formal study of the process of reasoning, or using common sense. Deductive reasoning involves taking in and analyzing information, and recognizing when a collection of facts and assumptions can lead to new facts and new assumptions.

Reasoning, arguments Logic and reasoning form the foundation for mathematics, science, scholarly research, law, and effective communication, among other things. An argument in logic is a simple model that illustrates either correct, logical reasoning, or incorrect, illogical attempts at reasoning.

Arguments Formally, an argument typically involves two or more propositions, called premises, followed by another proposition, called the conclusion. In any argument, we are interested in the logical relationship between the premises and the conclusion.

Arguments Here are two examples of short arguments, such as a prosecutor might make in summarizing his/her case to the jury at the end of a trial. Argument #1 The person who robbed the Mini-Mart drives as 1999 Corolla. Gomer drives a 1999 Corolla. Therefore, Gomer robbed the Mini-Mart. Argument #2 The person who drank my coffee left these fingerprints on the cup. Gomer is the only person in the world who has these fingerprints. Therefore, Gomer drank my coffee.

Arguments Argument #1 The person who robbed the Mini-Mart drives as 1999 Corolla. Gomer drives a 1999 Corolla. Therefore, Gomer robbed the Mini-Mart. When we read this argument, we probably recognize that the reasoning is flawed, because many people drive 1999 Corollas. From a more general perspective, this argument is illogical (invalid) because it is possible for us to reject the conclusion, even if we accept all the premises.

Arguments Argument #2 The person who drank my coffee left these fingerprints on the cup. Gomer is the only person in the world who has these fingerprints. Therefore, Gomer drank my coffee. Notice that this argument doesn’t share the defect of the other argument. In this argument, if we believe the two premises, we have to accept the conclusion. More generally, an argument is well-structured (valid) if it is impossible to reject the conclusion, assuming that we believe every premise.

Valid arguments We are always interested in the logical relationship between the premises and the conclusion of an argument. An argument is valid if it is impossible for the conclusion to be false or uncertain when every premise is assumed to be true. Note that whether an argument is valid has nothing to do with whether the statements in the argument sound believable. Validity is determined entirely by how the statements in the argument relate to one another, regardless of whether those statements seem reasonable to us.

Invalid arguments An argument is invalid if it is possible for the conclusion to be false at the same time that every premise is assumed to be true. An invalid argument is a model of incorrect or illogical attempts at reasoning.

Use of truth tables to analyze arguments 1. Symbolize (consistently) all of the premises and the conclusion. 2. Make a truth table having a column for each premise and for the conclusion. 3. If there is a row in the truth table where every premise column is true but the conclusion column is false (a counterexample row) then the argument is invalid. If there are no counterexample rows, then the argument is valid.

Why does this method work? When we have filled in the truth table, we are checking to see if there is a row where the conclusion is false while every premise is true. If there is a row where the conclusion is false while every premise is true, then the truth table has shown that it is possible for the conclusion to be false at the same time that every premise is assumed to be true: this is exactly the definition of an invalid argument.

Exercise Use a truth table to test the validity of the following argument. If I enter the poodle den, then I will carry my electric poodle prod or my can of mace. I am carrying my electric poodle prod but not my can of mace. Therefore, I will enter the poodle den. A. Valid B. Invalid

Exercise Test the validity of the argument. I don’t like muskrats. If I own a badger or I don’t own a wolverine, then I like muskrats. Therefore, I own a wolverine and I don’t own a badger. A. Valid B. Invalid