Deductive and Inductive Logic

Similar documents
Analyzing Extended Arguments

CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS

A Quick Lesson on Negation

Analyzing Arguments with Truth Tables

Today s Lecture 2/25/10. Truth Tables Continued Introduction to Proofs (the implicational rules of inference)

Formal Logic. Critical Thinking

Chapter 1: The Logic of Compound Statements. January 7, 2008

Propositional Logic. Argument Forms. Ioan Despi. University of New England. July 19, 2013

Section 1.2: Propositional Logic

Natural deduction for truth-functional logic

Section 1.3: Valid and Invalid Arguments

Proofs: A General How To II. Rules of Inference. Rules of Inference Modus Ponens. Rules of Inference Addition. Rules of Inference Conjunction

2. The Logic of Compound Statements Summary. Aaron Tan August 2017

For a horseshoe statement, having the matching p (left side) gives you the q (right side) by itself. It does NOT work with matching q s.

Logical Form 5 Famous Valid Forms. Today s Lecture 1/26/10

Propositional Logic. Fall () Propositional Logic Fall / 30

Predicate Logic & Quantification

Propositional Logic Arguments (5A) Young W. Lim 2/23/17

Introduction Logic Inference. Discrete Mathematics Andrei Bulatov

Logic. Propositional Logic: Syntax

DEDUCTIVE REASONING Propositional Logic

Chapter 1, Logic and Proofs (3) 1.6. Rules of Inference

Propositional Logic. Chrysippos (3 rd Head of Stoic Academy). Main early logician. AKA Modern Logic AKA Symbolic Logic. AKA Boolean Logic.

Examples: P: it is not the case that P. P Q: P or Q P Q: P implies Q (if P then Q) Typical formula:

Propositional Logic. Jason Filippou UMCP. ason Filippou UMCP) Propositional Logic / 38

Review The Conditional Logical symbols Argument forms. Logic 5: Material Implication and Argument Forms Jan. 28, 2014

Propositional Logic. Spring Propositional Logic Spring / 32

The Importance of Being Formal. Martin Henz. February 5, Propositional Logic

Indicative conditionals

The Logic of Compound Statements cont.

- a reversed conditional; if a conditional is p q, than its converse is q p

CS100: DISCRETE STRUCTURES. Lecture 5: Logic (Ch1)

Proposition logic and argument. CISC2100, Spring 2017 X.Zhang

Where are my glasses?

Valid Reasoning. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing February, Outline Truth and Validity Valid Reasoning

CHAPTER 6 - THINKING ABOUT AND PRACTICING PROPOSITIONAL LOGIC

Intermediate Logic. Natural Deduction for TFL

PHIL12A Section answers, 28 Feb 2011

03 Propositional Logic II

PSU MATH RELAYS LOGIC & SET THEORY 2017

PROPOSITIONAL CALCULUS

n logical not (negation) n logical or (disjunction) n logical and (conjunction) n logical exclusive or n logical implication (conditional)

CS 2336 Discrete Mathematics

(p == train arrives late) (q == there are taxis) (r == If p and not q, then r. Not r. p. Therefore, q. Propositional Logic

Introduction Propositional Logic. Discrete Mathematics Andrei Bulatov

Overview. 1. Introduction to Propositional Logic. 2. Operations on Propositions. 3. Truth Tables. 4. Translating Sentences into Logical Expressions

Boolean Algebra and Proof. Notes. Proving Propositions. Propositional Equivalences. Notes. Notes. Notes. Notes. March 5, 2012

Logic. Propositional Logic: Syntax. Wffs

Inference and Proofs (1.6 & 1.7)

Outline. Rules of Inferences Discrete Mathematics I MATH/COSC 1056E. Example: Existence of Superman. Outline

Maryam Al-Towailb (KSU) Discrete Mathematics and Its Applications Math. Rules Math. of1101 Inference 1 / 13

CITS2211 Discrete Structures Proofs

Mat2345 Week 2. Chap 1.5, 1.6. Fall Mat2345 Week 2. Chap 1.5, 1.6. Week2. Negation. 1.5 Inference. Modus Ponens. Modus Tollens. Rules.

CSCI-2200 FOUNDATIONS OF COMPUTER SCIENCE

Formal (natural) deduction in propositional logic

THE LOGIC OF COMPOUND STATEMENTS

Discrete Structures & Algorithms. Propositional Logic EECE 320 // UBC

FORMAL PROOFS DONU ARAPURA

Proofs. Introduction II. Notes. Notes. Notes. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Fall 2007

CSCI Homework Set 1 Due: September 11, 2018 at the beginning of class

PHIL 50 - Introduction to Logic

Natural Deduction is a method for deriving the conclusion of valid arguments expressed in the symbolism of propositional logic.

Announcements. Exam 1 Review

MACM 101 Discrete Mathematics I. Exercises on Propositional Logic. Due: Tuesday, September 29th (at the beginning of the class)

DISCRETE MATHEMATICS BA202

Rules of Inference. Arguments and Validity

[Ch 3, 4] Logic and Proofs (2) 1. Valid and Invalid Arguments ( 2.3, 3.4) 400 lecture note #2. 1) Basics

Rules Build Arguments Rules Building Arguments

A Little Deductive Logic

Logic, Sets, and Proofs

Propositional Logic: Part II - Syntax & Proofs 0-0

Lecture 5 : Proofs DRAFT

Logic for Computer Science - Week 5 Natural Deduction

A Little Deductive Logic

The Logic of Compound Statements. CSE 2353 Discrete Computational Structures Spring 2018

PHI Propositional Logic Lecture 2. Truth Tables

Collins' notes on Lemmon's Logic

DERIVATIONS AND TRUTH TABLES

Logic Overview, I. and T T T T F F F T F F F F

Propositional Logic: Syntax

Math.3336: Discrete Mathematics. Nested Quantifiers/Rules of Inference

Notes on Inference and Deduction

First Order Logic Arguments (5A) Young W. Lim 2/24/17

5. And. 5.1 The conjunction

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

A. Propositional Logic

5. And. 5.1 The conjunction

(Refer Slide Time: 02:20)

6. Conditional derivations

Propositional Logic. CS 3234: Logic and Formal Systems. Martin Henz and Aquinas Hobor. August 26, Generated on Tuesday 31 August, 2010, 16:54

Review. Propositions, propositional operators, truth tables. Logical Equivalences. Tautologies & contradictions

Logic is the anatomy of thought. John Locke

Logic of Sentences (Propositional Logic) is interested only in true or false statements; does not go inside.

(ÀB Ä (A Â C)) (A Ä ÀC) Á B. This is our sample argument. Formal Proofs

Logic for Computer Science - Week 4 Natural Deduction

DISCRETE MATH: LECTURE 6

PS10.3 Logical implications

Artificial Intelligence: Knowledge Representation and Reasoning Week 2 Assessment 1 - Answers

Four Basic Logical Connectives & Symbolization

DERIVATIONS IN SENTENTIAL LOGIC

Transcription:

Deductive Logic

Overview (1) Distinguishing Deductive and Inductive Logic (2) Validity and Soundness (3) A Few Practice Deductive Arguments (4) Testing for Invalidity (5) Practice Exercises

Deductive and Inductive Logic

Deductive vs Inductive Deductive Reasoning Formal (the inference can be assessed from the form alone). When sound, the conclusion is guaranteed to be true. The conclusion is extracted from the premises. Inductive Reasoning Informal (the inference cannot be assessed by the form alone). When cogent, the conclusion is only probably true. The conclusion projects beyond the premises.

Deductive Logic: Basic Terms Validity A property of the form of the argument. If an argument is valid, then the truth of the premises guarantees the truth of the conclusion. Soundness A property of the entire argument. If an argument is sound, then: (1) it is valid, and (2) all of its premises are true.

Validity If an argument is valid, then the truth of the premises guarantees the truth of the conclusion. A valid argument can have: True premises, true conclusion False premises, true conclusion False premises, false conclusion A valid argument can not have: True premises, false conclusion

Validity If an argument is valid, then the truth of the premises guarantees the truth of the conclusion. A valid argument can have: True premises, true conclusion False premises, true conclusion False premises, false conclusion A valid argument can not have: True premises, false conclusion All dogs are mammals. Ed is a dog. Ed is a mammal. Ed

Validity If an argument is valid, then the truth of the premises guarantees the truth of the conclusion. A valid argument can have: True premises, true conclusion False premises, true conclusion False premises, false conclusion A valid argument can not have: True premises, false conclusion All cats are dogs. Ed is a cat. Ed is a dog. Ed

Validity If an argument is valid, then the truth of the premises guarantees the truth of the conclusion. A valid argument can have: True premises, true conclusion False premises, true conclusion False premises, false conclusion A valid argument can not have: True premises, false conclusion All cats are toads. Ed is a cat. Ed is a toad. Ed

Sample Deductive Arguments

Deductive Argument #1 (1) If it s raining, then you ll need your umbrella. (2) It s not raining. (3) You won t need your umbrella.

Checking for Invalidity Two Methods of Counter-example Alternate scenario Imagine some alternate scenario in which the premises of the argument will be true, but the conclusion false. Substitution (two-step) (1) Determine the form of the argument. (2) Substitute other statements, such that all the premises will be true but the conclusion false.

Deductive Argument #1 (1) If it s raining, then you ll need your umbrella. (2) It s not raining. (3) You won t need your umbrella.

Deductive Argument #1 (1) If it s raining, then you ll need your umbrella. (2) It s not raining. (3) You won t need your umbrella. (1) If R, then U R = I m a dog. (2) Not-R U = I m a mammal. (3) Not-U [Denying the Antecedent] INVALID

Deductive Argument #2 (1) If it s raining, then you ll need your umbrella. (2) It s raining. (3) You ll need your umbrella.

Deductive Argument #2 (1) If it s raining, then you ll need your umbrella. (2) It s raining. (3) You ll need your umbrella. (1) If R, then U If P, then Q (2) R P (3) U Q [Modus Ponens (Latin: mode that affirms )] VALID

Deductive Argument #3 If Ed has black hair, then Ed is Italian. Ed does have black hair, so Ed is Italian.

Deductive Argument #3 If Ed has black hair, then Ed is Italian. Ed does have black hair, so Ed is Italian. (1) If B, then I (2) B (3) I [Modus Ponens] VALID

Ed

Deductive Argument #4 If God exists, then there s no evil in the world. But there is evil in the world, so God must not exist.

Deductive Argument #4 If God exists, then there s no evil in the world. But there is evil in the world, so God must not exist. (1) If G, then not-e If P, then Q (2) E not-q (3) not-g not-p [Modus Tollens (Latin: mode that denies ) VALID

Deductive Argument #5 If the medicine doesn t work, then the patient will die. The patient did in fact die, so I guess the medicine did not work.

Deductive Argument #5 If the medicine doesn t work, then the patient will die. The patient did in fact die, so I guess the medicine did not work. (1) If not-w, then D If P, then Q (2) D Q (3) not-w P [Affirming the Consequent] INVALID

Deductive Argument #6 That bicycle belongs to either John or Mary. But it looks too big for John. So it must belong to Mary.

Deductive Argument #6 That bicycle belongs to either John or Mary. But it looks too big for John. So it must belong to Mary. (1) J or M P or Q (2) not-j not-p (3) M Q [Disjunctive Syllogism] VALID

Practice Arguments

Practice Argument #1 If he was lost, then he would have asked for directions. But he didn t ask for directions. So he must not be lost. (1) If L, then D If P, then Q (2) not-d not-q (3) not-l not-p [Modus tollens] VALID

Practice Argument #2 If interest rates drop, then the dollar will weaken against the Euro. Interest rates did drop. Therefore, the dollar will weaken against the Euro. (1) If I, then D If P, then Q (2) I P (3) D Q [Modus ponens] VALID

Practice Argument #3 If his light is on, then he s home. But his light isn t on, so he s not home. (1) If L, then H If P, then Q (2) not-l not-p (3) not-h not-q [Denying the Antecedent] INVALID

Practice Argument #4 The mind is an immaterial substance, for it is either identical to the brain or it is an immaterial substance, and it s not identical to the brain. (1) B or I P or Q (2) not-b not-q (3) I P [Disjunctive Syllogism] VALID

Practice Argument #5 If you want to get into law school, then you d better do your logic homework. (1) If L, then H If P, then Q [(2) L] P [ (3) H] Q [Enthymeme, expanded as modus ponens] VALID

Practice Argument #6 If you re wealthy, then you ve spent years and years in school. Think about it: If you re a brain surgeon, then you re wealthy. And if you re a brain surgeon, then you ve spent years and years in school. (1) If BS, then W If P, then Q (2) If BS, then S If P, then R (3) If W, then S If Q, then R [fallacy] INVALID

Determining Validity To determine invalidity we can use the method of counter-example. To determine validity we need something else: Truth Tables

Truth Tables Example (1) If I win the lottery, then I ll buy you dinner.. If p, then q (2) I won the lottery.. p (3) I ll buy you dinner. q p q if p, then q p q 1 T T T T T 2 T F F T F 3 F T T F T 4 F F T F F indicates validity P1 P2 C Why do conditionals have these truth-values?

Truth Tables Example (1) If it s raining, then you ll need your umbrella. If p, then q (2) It s not raining. not-p (3) You don t need your umbrella. not- q p q if p, then q p q 1 T T T F F 2 T F F F T 3 F T T T F 4 F F T T T indicates invalidity P1 P2 C

The TV of Conditionals The logic of conditional statements is such that they are false only when the antecedent is true and the consequent is false. A= If I win the lottery, then I ll buy you dinner. Suppose (1) I both win the lottery and buy you dinner. (A is true) (2) I win the lottery, but don t buy you dinner. (A is false) (3) I lose the lottery, but still buy you dinner. (A is true) (4) I lose the lottery, and don t buy you dinner. (A is true)

Or In English, or can be used either inclusively or exclusively: Inclusive or : P or Q or both Example: He s either reading a book or out in the garden (or both). Exclusive or : P or Q but not both Example: The train s coming in on either platform 3 or platform 5. In logic, or is always understood in the inclusive sense.