Introduction to Logic Lecture 14 The truth functional argument

Slides:



Advertisements
Similar presentations
TRUTH TABLES Section 1.3.
Advertisements

Truth Tables The aim of this tutorial is to help you learn to construct truth tables and use them to test the validity of arguments. Go To Next Slide.
TRUTH TABLES The general truth tables for each of the connectives tell you the value of any possible statement for each of the connectives. Negation.
Truth Functional Logic
Chapter 21: Truth Tables.
Logic & Critical Reasoning
Semantics of SL and Review Part 1: What you need to know for test 2 Part 2: The structure of definitions of truth functional notions Part 3: Rules when.
CS128 – Discrete Mathematics for Computer Science
Review: Logic of Categories = Categorical Logic.
DEDUCTIVE REASONING: PROPOSITIONAL LOGIC Purposes: To analyze complex claims and deductive argument forms To determine what arguments are valid or not.
Truth Trees.
Today’s Topics n Review Logical Implication & Truth Table Tests for Validity n Truth Value Analysis n Short Form Validity Tests n Consistency and validity.
Let remember from the previous lesson what is Knowledge representation
The semantics of SL   Defining logical notions (validity, logical equivalence, and so forth) in terms of truth-value assignments   A truth-value assignment:
Through the Looking Glass, 1865
Critical Thinking: A User’s Manual
Validity: Long and short truth tables Sign In! Week 10! Homework Due Review: MP,MT,CA Validity: Long truth tables Short truth table method Evaluations!
Chapter 3 Section 4 – Slide 1 Copyright © 2009 Pearson Education, Inc. AND.
The Inverse Error Jeffrey Martinez Math 170 Dr. Lipika Deka 10/15/13.
Chapter Three Truth Tables 1. Computing Truth-Values We can use truth tables to determine the truth-value of any compound sentence containing one of.
INTRODUCTION TO LOGIC Jennifer Wang Fall 2009 Midterm Review Quiz Game.
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.
MLS 570 Critical Thinking Reading Notes for Fogelin: Propositional Logic Fall Term 2006 North Central College.
Thinking Mathematically
6.1 Logic Logic is not only the foundation of mathematics, but also is important in numerous fields including law, medicine, and science. Although the.
Chapter 2 Logic 2.1 Statements 2.2 The Negation of a Statement 2.3 The Disjunction and Conjunction of Statements 2.4 The Implication 2.5 More on Implications.
Chapter 7 Evaluating Deductive Arguments II: Truth Functional Logic Invitation to Critical Thinking First Canadian Edition.
Mathematics for Comter I Lecture 2: Logic (1) Basic definitions Logical operators Translating English sentences.
Invitation to Critical Thinking Chapter 7 Lecture Notes Chapter 7.
Introduction to Logic Lecture 13 An Introduction to Truth Tables By David Kelsey.
TRUTH TABLES Edited from the original by: Mimi Opkins CECS 100 Fall 2011 Thanks for the ppt.
Foundations of Discrete Mathematics Chapter 1 By Dr. Dalia M. Gil, Ph.D.
Section 3.2: Truth Tables for Negation, Conjunction, and Disjunction
Introduction to Logic Lecture 12 An introduction to Sentence Logic By David Kelsey.
Introduction to Logic Lecture 12 An introduction to Sentence Logic By David Kelsey.
L = # of lines n = # of different simple propositions L = 2 n EXAMPLE: consider the statement, (A ⋅ B) ⊃ C A, B, C are three simple statements 2 3 L =
Chapter 1 Propositional Logic
Introduction to Logic © 2008 Pearson Addison-Wesley.
Logic.
Truth Tables and Equivalent Statements
Critical Reasoning Lecture 16 An Introduction to Truth Tables
{P} ⊦ Q if and only if {P} ╞ Q
Jeffrey Martinez Math 170 Dr. Lipika Deka 10/15/13
Truth Tables How to build them
Truth Tables Hurley
Truth Trees.
3.5 Symbolic Arguments.
Hurley … Chapter 6.5 Indirect Truth Tables
TRUTH TABLES.
TRUTH TABLES continued.
Midterm Discussion.
Introduction to Philosophy Lecture 3a Evaluating an argument
Discrete Mathematics and Its Applications Kenneth H
Chapter 3 Introduction to Logic 2012 Pearson Education, Inc.
The Logic of Declarative Statements
Deductive Arguments: Checking for Validity
Introduction to Philosophy Lecture 3 Formalizing an argument
Foundations of Discrete Mathematics
Introductory Logic PHI 120
CPSC 121: Models of Computation
Philosophy 1100 Class #9 Title: Critical Reasoning
Critical Thinking Lecture 2 Arguments
Critical Thinking Lecture 3 Formalizing an argument
CPSC 121: Models of Computation
Arguments in Sentential Logic
Critical Thinking Lecture 11 The Syllogism
Validity and Soundness, Again
3.5 Symbolic Arguments.
Starting out with formal logic
The conditional and the bi-conditional
Presentation transcript:

Introduction to Logic Lecture 14 The truth functional argument By David Kelsey

Truth functional arguments vs. Categorical syllogisms If you will remember, a categorical syllogism is an argument composed of 3 standard form categorical claims. A truth functional argument, on the other hand, isn’t limited to 3 claims and neither must the claims be standard form categorical claims. Truth functional arguments aren’t limited in such ways. They need only be composed of sentences and so can come in an infinite number of valid argument patterns. There are three different methods for testing the validity of a truth functional argument.

The truth table test We can use the Truth Table Test to test a truth functional argument for validity To do so construct a truth table of the argument. The truth table for an argument is a pictorial representation of the argument, in terms of all of the possible circumstances of the argument. Thus, a truth table displays the premises and the conclusion of the argument. And it displays all the possible truth values for the premises and conclusion of the argument. Once we have constructed a truth table we look at the various rows of it. If there is at least one row in which the premises of the argument are true and the conclusion is false, then the argument is invalid. Otherwise it is valid!

Testing an argument: UCLA and Arizona We might test the following argument: 1) If UCLA become national champs then Arizona aren’t. 2) But UCLA aren’t national champs. 3) Thus, Arizona are national champs. Lets assign ‘U’ to ‘UCLA become national champs’ Let’s assign ‘A’ to ‘Arizona are national champs’

Constructing the reference columns Now let us formalize the argument by substituting in claim variables: 1. U  ~A 2. ~U 3. A Now that we have formalized the argument let’s construct a truth table for it: First we need reference columns: A U T T T F F T F F

Adding the premises Our next task in constructing our truth table is to add to it the premises of the argument. But notice that the first premise is a compound claim and one of its parts, ~A, is something we have yet to add to our table. A U ~A U~A ~U T T F F F T F F T T F T T T F F F T T T

Testing the argument Now we can add the conclusion of the argument to the table. (the conclusion of our argument is seen in the first reference column) A U ~A U~A ~U A T T F F F T T F F T T T F T T T F F F F T T T F Now that we have completed our truth table let us look to see if the argument is valid: We are looking for any row of the truth table in which the premises are true and the conclusion is false. And we do in the fourth row as is shown in bold. Thus, the argument is invalid!

Scarlet example The passage: If Scarlet is guilty of the crime, then Ms. White must have left the back door unlocked and the colonel must have retired before ten o’clock. But either Ms. White didn’t leave the back door unlocked or the colonel didn’t retire before ten. Thus, Scarlet is not guilty of the crime. The first thing we need to do is symbolize the argument: S = Scarlet is guilty of the crime. W = Ms. White left the back door unlocked. C = The colonel retired before ten. Let us now formalize it: S(W&C) ~W v ~C ~S

Constructing our truth table So here is our argument: S(W&C) ~W v ~C ~S Now we can construct our truth table. First we need reference columns, to which we can add the first premise: C S W W&C S(W&C) T T T T T T T F F F T F T T T T F F F T F T T F F F T F T T F F T F T F F F T T

Testing the argument Now we can add the second premise and the conclusion and all of their simpler parts: C S W W&C S(W&C) ~W ~C ~Wv~C ~S T T T T T F F F F T T F F F T F T F T F T T T F F F T T F F F T T F T T F T T F F F T T F F T F F F T T T F F F T F T F T T T F F F F T T T T T Let’s try to determine if the argument is valid now: We are looking for any row in which the premises are all true and the conclusion is false. As you can see though the only rows in which the premises are all true, the 4th and the last two, are also rows in which the conclusion is true. Thus, the argument is valid!

The short truth table method Constructing a full truth table can be a long and tedious process. Lucky for us we have the short truth table method. To use the short truth table method one constructs a truth table. But because an argument is invalid if there is just one row in its truth table in which the premises are all true and the conclusion is false, we look only to construct just such a row. Thus, we simply try to construct a row of a truth table in which the premises are true and the conclusion is false. If we can do this then the argument is invalid!

Using the short truth table An example with 3 conditionals Here is an example: 1. PQ 2. ~QR 3. ~PR Let’s first try to make the conclusion false. Because the conclusion is a conditional claim it is false just when its antecedent is true and its consequent false. Thus, our row of the truth table starts like this: P Q R ~P ~PR F F T F

Making both premises true Let us now try to make both premises true. Of course, if we make Q true both premises turn out true. Do you see why? Hint: both premises are conditional claims. Thus, we get this row: P Q R ~P PQ ~Q ~QR ~PR F T F T T F T F And so the argument is invalid!

Testing with the short truth table A second example Here is another example to test: 1. (PvQ)R 2. SvQ 3. SR Notice that we can make the conclusion false by assigning S a ‘T’ and R an ‘F’. Let us now try to make both premises true. Given we have assigned R an ‘F’ we must make both P and Q False to make our first premise true. Do you see why? Thus, so far we have this P Q R S (PvQ)R SvQ SR F F F FFF F F F F F

Making the second premise true Now let’s try to make the second premise true. The second premise is a disjunction so to make it true we must simply make one of its disjuncts true. But since we have already made Q false and yet we haven’t assigned a truth value to S, we can make S true. So here is the final truth table: P Q R S (PvQ)  R SvQ SR F F F T FFF F F TTF T F F Thus, the argument is invalid!

Using the short truth table on another example Another example to test: 1. P&(QvR) 2. RS 3. PT 4. S&T Let’s first try to make the conclusion false. But because the conclusion is a conjunction it is false if both S and T are false or if either one is false. So instead of making the conclusion false, let’s first try to make one or more of the premises true. Consider the first premise. To make it true we must make both of its conjuncts true. Thus we must make P true.

Making the premises true and the conclusion false But now consider the third premise. Given P has been assigned ‘true’, to make the third premise true we must make T true as well. So far we have made P and T true. But now look at the conclusion. To make it false we must make S false. Thus far we get this: P Q R S T P & (QvR) RS PT S&T T F T T T T FFT

Making all the premises true Continuing with our argument, let’s look at the second premise. Since we have already made S false we must make R false as well. But in looking at our first premise and given we have already made P true and R false we must make Q true in order to make the premise true. Thus, we get this finished truth table: P Q R S T P&(QvR) RS PT S&T T T F F T TT TTF F T F T T T FFT And so the argument is invalid!

Trial and error Although in our prior three examples we were always forced to make some truth assignment to make the conclusion false this won’t always be the case. Sometimes there will just be more than one way to make the conclusion false. In such cases we use trial and error. This just means that we try out all of the possible ways of making the conclusion false until we either have exhausted them all or have found a way of making the premises true and the conclusion false. If we cannot succeed in making the premises true and the conclusion false then the argument is valid. Otherwise it is invalid.