Valid and Invalid Arguments Lecture 3 Section 1

  • Slides: 24
Download presentation
Valid and Invalid Arguments Lecture 3 Section 1. 3 Mon, Jan 23, 2006

Valid and Invalid Arguments Lecture 3 Section 1. 3 Mon, Jan 23, 2006

Arguments An argument is a sequence of statements. ¢ The last statement is the

Arguments An argument is a sequence of statements. ¢ The last statement is the conclusion. ¢ All the other statements are the premises. ¢ A mathematical proof is an argument. ¢

Argument Forms An argument form is a sequence of statement forms. ¢ The last

Argument Forms An argument form is a sequence of statement forms. ¢ The last statement form is the conclusion. ¢ All the other statement forms are the premises. ¢ A mathematical proof follows an argument form. ¢

Validity of an Argument Form An argument form is valid if its conclusion is

Validity of an Argument Form An argument form is valid if its conclusion is true when its premises are true. ¢ Otherwise, the argument form is invalid. ¢ An invalid argument form is called a fallacy. ¢

Validity of an Argument ¢ An argument is valid if its argument form is

Validity of an Argument ¢ An argument is valid if its argument form is valid, whether or not its premises are true.

The Form of an Argument Let the premises be P 1, …, Pn. ¢

The Form of an Argument Let the premises be P 1, …, Pn. ¢ Let the conclusion be C. ¢ The argument form is valid if P 1 Pn C is a tautology. ¢

Example I will ride my bike today. ¢ If it is raining and I

Example I will ride my bike today. ¢ If it is raining and I ride my bike, then I will get wet. ¢ It is raining. ¢ Therefore, I will get wet. ¢

Example ¢ ¢ p = “I will ride my bike today. ” q =

Example ¢ ¢ p = “I will ride my bike today. ” q = “It is raining. ” r = “I will get wet. ” Argument form: p q p r q r

Example P 1 P 2 P 3 C P 1 P 2 P 3

Example P 1 P 2 P 3 C P 1 P 2 P 3 C p q p r q r T T T F T T F F T T T T F T F T T F F T

Example: Invalid Argument Forms with True Conclusions ¢ An argument form may be invalid

Example: Invalid Argument Forms with True Conclusions ¢ An argument form may be invalid even though its conclusion is true. If I eat my vegetables, I’ll be big and strong. l I’m big and strong. l Therefore, I ate my vegetables. l ¢ A true conclusion does not ensure that the argument form is valid.

Example: Valid Argument Forms with False Conclusions ¢ An argument form may be valid

Example: Valid Argument Forms with False Conclusions ¢ An argument form may be valid even though its conclusion is false. If I wait until the last minute to do my homework, then it will be a lot easier. l I wait until the last minute to do my homework. l Therefore, it will be a lot easier. l ¢ A false conclusion does not mean that the argument form is invalid.

Example: Valid Argument Forms with False Conclusions ¢ Another example. If 1 + 1

Example: Valid Argument Forms with False Conclusions ¢ Another example. If 1 + 1 = 2, then pigs can fly. l 1 + 1 = 2. l Therefore, pigs can fly. l

Modus Ponens Modus ponens is the argument form p q ¢ This is also

Modus Ponens Modus ponens is the argument form p q ¢ This is also called a direct argument. ¢

Examples of Modus Ponens If it is raining, then I am carrying my umbrella.

Examples of Modus Ponens If it is raining, then I am carrying my umbrella. It is raining. Therefore, I am carrying my umbrella. ¢ If pigs can fly, then I am carrying my umbrella. Pigs can fly. Therefore, I am carrying my umbrella. ¢

Modus Tollens Modus tollens is the argument form p q q p ¢ This

Modus Tollens Modus tollens is the argument form p q q p ¢ This is also called an indirect argument. ¢ It is equivalent to replacing p q with q p and then using modus ponens. ¢

Examples of Modus Tollens If it is raining, then I am carrying my umbrella.

Examples of Modus Tollens If it is raining, then I am carrying my umbrella. I am not carrying my umbrella. Therefore, it is not raining. ¢ If pigs can fly, then I am carrying my umbrella. I am not carrying my umbrella. Therefore, pigs cannot fly. ¢

Other Argument Forms From the specific to the general p p q ¢ From

Other Argument Forms From the specific to the general p p q ¢ From the general to the specific p q p ¢

Other Argument Forms Elimination p q ¢ Transitivity p q q r p r

Other Argument Forms Elimination p q ¢ Transitivity p q q r p r ¢

Other Argument Forms ¢ Division into Cases p q p r q r r

Other Argument Forms ¢ Division into Cases p q p r q r r

Fallacies A fallacy is an invalid argument form. ¢ Two common fallacies ¢ The

Fallacies A fallacy is an invalid argument form. ¢ Two common fallacies ¢ The fallacy of the converse. l The fallacy of the inverse. l

The Fallacy of the Converse The fallacy of the converse is the invalid argument

The Fallacy of the Converse The fallacy of the converse is the invalid argument form p q q p ¢ This is also called the fallacy of affirming the consequent. ¢

Example ¢ If it is raining, then I am carrying an umbrella. Therefore, it

Example ¢ If it is raining, then I am carrying an umbrella. Therefore, it is raining.

Fallacy of the Inverse The fallacy of the inverse is the invalid argument form

Fallacy of the Inverse The fallacy of the inverse is the invalid argument form p q p q ¢ This is also called the fallacy of denying the antecedent. ¢

Example ¢ If pigs can fly, then I am carrying an umbrella. Pigs cannot

Example ¢ If pigs can fly, then I am carrying an umbrella. Pigs cannot fly. Therefore, I am not carrying an umbrella.