Validity for argument forms Truth tables for argument forms Homework Warmup Create a truth table for the following formula and determine whether it is a tautology contradiction or contingent       Va
232K - views

Validity for argument forms Truth tables for argument forms Homework Warmup Create a truth table for the following formula and determine whether it is a tautology contradiction or contingent Va

brPage 3br Validity for argument forms Truth tables for argument forms Homework Philosophy 205 Symbolic Logic Lecture 6 Truth tables and arguments Geo64256 Pynn Northern Illinois University Spring 2012 brPage 4br Validity for argument forms Truth ta

Download Pdf

Validity for argument forms Truth tables for argument forms Homework Warmup Create a truth table for the following formula and determine whether it is a tautology contradiction or contingent Va




Download Pdf - The PPT/PDF document "Validity for argument forms Truth tables..." is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.



Presentation on theme: "Validity for argument forms Truth tables for argument forms Homework Warmup Create a truth table for the following formula and determine whether it is a tautology contradiction or contingent Va"— Presentation transcript:


Page 1
Validity for argument forms Truth tables for argument forms Homework Warm-up Create a truth table for the following formula and determine whether it is a tautology, contradiction, or contingent: (( ) & (( ))
Page 2
Validity for argument forms Truth tables for argument forms Homework Warm-up p q r (( ) & (( )) T T T T T F F T T T T T T T F T T F F T F F T T T F T F F F T T T T F F T F F F F F F T F F T F F T T T T F F F F T T T F T F T T F F F F F T T F F T T F F F F F T T F F F F T F F F F F F T F Tautology.
Page 3
Validity for argument forms Truth tables

for argument forms Homework Philosophy 205: Symbolic Logic Lecture 6: Truth tables and arguments Geoff Pynn Northern Illinois University Spring 2012
Page 4
Validity for argument forms Truth tables for argument forms Homework Argument forms An argument form is a set of formulas. One of the formulas is the conclusion, and the others are the premises. Normally, the conclusion is listed last; we can also indicate that a formula is the conclusion by using the symbol Q: Why is a set of formulas an argument form , and not just an argument A: Because the statement letters are

uninterpreted Remember, we care primarily about form , not content . Once you know that a particular argument form is valid, you know that any argument with that form is valid. Definition: Interpretation ( sl An interpretation of an argument form is an assignment of a unique truth value to each statement letter in the argument form.
Page 5
Validity for argument forms Truth tables for argument forms Homework Conventions for writing argument forms Here are three different ways of denoting the argument form consisting of the premises ( ) and and the conclusion ( ( ( It

doesnt matter which way you use; each means the same thing.
Page 6
Validity for argument forms Truth tables for argument forms Homework Validity for argument forms An argument form is valid just in case its impossible for the premise formulas to be T while the conclusion formula is F. In terms of interpretations: Definition: Validity (Argument Forms) An argument form is valid if and only if there is no interpretation on which the premise formulas are T and the conclusion formula is F. Consider the following argument form: There is no interpretation on which ( ) is T but is F.

So there is no interpretation on which the premise is T and the conclusion is F. So the argument form is valid.
Page 7
Validity for argument forms Truth tables for argument forms Homework A very common valid argument form This form is called modus ponens You can see that modus ponens is valid by looking at the truth table for p q T T T T F F F T T F F T In only one row (the first) are ( ) and both T. And, in this row, is also T. So there is no interpretation on which the premises are T but the conclusion is F.
Page 8
Validity for argument forms Truth tables for

argument forms Homework Some other simple argument forms Which of the following are valid? 1. ( Invalid 2. ( Valid 3. ( Valid 4. ( Invalid The following interpretations show that 1 and 4 are invalid: 1. [ ] = ] = 4. [ ] = ] =
Page 9
Validity for argument forms Truth tables for argument forms Homework Two unusual examples of validity First example: arguments with contradictory premises Consider the argument form: What do you notice about the premise formula? Its a contradiction! There is no interpretation on which it is T. So there is no interpretation on which the premise is T but

the conclusion is F. Hence the argument form is valid, by our definition of validity for argument forms. The general lesson: Any argument form with a contradictory premise is valid.
Page 10
Validity for argument forms Truth tables for argument forms Homework Two unusual examples of validity Second example: arguments with tautological conclusions Now consider: ∨ The conclusion of this argument is a tautology: there is no interpretation on which ( ∨ ) is F. So there is no interpretation on which the premises are T but the conclusion is F. Hence the argument form is

valid, by our definition. The general lesson: Any argument whose conclusion is a tautology is valid.
Page 11
Validity for argument forms Truth tables for argument forms Homework More complicated forms Not all argument forms are simple. (In fact, most arent!) Consider the following example from your book: (( Unless you are a logic wiz, you probably cant figure out whether this argument form is valid just by looking at it and thinking about the meanings of the connectives. So how can you tell whether this argument is valid? What are you going to do??? Youre going to make

a truth table!!!
Page 12
Validity for argument forms Truth tables for argument forms Homework Truth tables for argument forms A truth table for an argument form is just like a truth table for a formula, only instead of containing just one formula, it contains all the formulas in the argument form: p q ) p T T T T F T F T F F F F Each row represents one interpretation of the argument form. So the table gives us the truth values of all of the formulas in the argument form on every interpretation. What do you notice about the first row? Both premise formulas are T, and the

conclusion formula is F! So the argument form is invalid.
Page 13
Validity for argument forms Truth tables for argument forms Homework Truth tables for argument forms Construction instructions You construct a truth table for an argument form just as you would a truth table for a formula. First, write down all the statement letters in all the formulas on the left: p q Then write each formula to the right of the statement letters, being sure to put space in between them. You might find it helpful to put a in front of the conclusion formula, though this is not strictly

necessary: p q
Page 14
Validity for argument forms Truth tables for argument forms Homework Truth tables for argument forms Construction instructions Write the interpretations under the statement letters on the left: p q ) p T T T F F T F F Then place the corresponding truth-value under each statement letter in the formulas on each row: p q ) p T T T T T T T F T F T F F T F T F T F F F F F F
Page 15
Validity for argument forms Truth tables for argument forms Homework Truth tables for argument forms Construction instructions Then complete the table for each formula: p q ) p

T T T T F T F T F F F F And youre done! The final column (which Ive indicated in red) for each formula gives the truth values for that formula on each interpretation represented by the four rows.
Page 16
Validity for argument forms Truth tables for argument forms Homework Truth tables for argument forms Using what youve done Now that you have the truth table, you can look at it to see whether the argument form is valid: p q ) p T T T T F T F T F F F F Remember, an argument form is valid when there are no interpretations where the premise formulas are T and the conclusion

formula is F. So in checking for validity, you are searching for rows where the premises are all T and the conclusion is F. If there is at least one such row, the argument is invalid. Otherwise, its valid.
Page 17
Validity for argument forms Truth tables for argument forms Homework Truth tables for argument forms Using what youve done So is this argument valid or invalid? p q ) p T T T T F T F T F F F F Its invalid: the first rows premises are T and its conclusion is F. p q ) p T T T
Page 18
Validity for argument forms Truth tables for argument forms Homework

Truth table testing for argument form validity Summing up So, to use a truth table to determine whether an argument form is valid you: Create a truth table for the argument form. Look for a row in which each premise is T but the conclusion is F. If there is such a row, then the argument is invalid. If there is no such row, then the argument is valid. (Provided you havent made a mistake in creating the truth table.)
Page 19
Validity for argument forms Truth tables for argument forms Homework Truth tables for argument forms More practice Determine whether the following argument forms

are valid: 1. 2. ( (( Both are valid.
Page 20
Validity for argument forms Truth tables for argument forms Homework Homework practice Determine whether the following argument is valid: Unless Im mistaken, Im a fool. But if I am a fool, I must be mistaken. Therefore, Im no fool. I am mistaken I am a fool f m ) ( T T ( ( T F ( ( F T ( ( F F ( ( Invalid.
Page 21
Validity for argument forms Truth tables for argument forms Homework Homework assignment Bonevac, section 2.8, 1-15