Logic Review

1. Logic Review

2. format

3. Format Part I • 30 questions • 2.5 marks each • Total 30 x 2.5 = 75 marks Part II • 10 questions • Answer only 5 of them! • Total 5 x 5 marks each = 25 marks

4. Part I The questions in Part I are multiple choice. About 8-10 out of the questions in Part I (30 total) are about argument analysis and logic. ~20-25% of the total marks.

5. Part II Part II contains mostly logic questions, about 9 out of 10. You are only required to answer 5 of the 10 questions. If you answer more than 5, I will only mark the first 5. Part II is much harder than Part I.

6. Logical concepts

7. Logical Concepts on the Final About 6/30 multiple choice questions deal with argument analysis (identification of premises and conclusions) and logical concepts (validity, soundness, logical equivalence, etc.). Therefore mastering these concepts can go a long way toward the grade you get on the Final, up to about 15%.

8. What to Study • Read Joe Lau’s modules on Argument Analysis and Meaning Analysis (recommended reading, Week 14). • Read the powerpoint slides from 25/4 • Read the logic slides in Week 5.

9. Arguments Arguments (in philosophy) are a collection of premises (possibly zero) given in support of a conclusion.

10. Argument Analysis You will be asked to identify premises and conclusions in questions, and to identify hidden assumptions. These questions are not hard if you think about them and know the ideas.

11. Validity To say that an argument is valid is to say: If all of the premises of the argument are true, then the conclusion must be true.

12. Validity For the final you should memorize the definition of validity. Furthermore, you should be able to answer some basic questions about the definition.

13. Examples Can a valid argument have false premises? Can it have a true conclusion? Can it have false premises and a false conclusion? Can it have true premises and a false conclusion?

14. Inductive Validity You need to know the definition of inductively valid/ inductively strong arguments. First: inductively valid = inductively strong. An argument is inductively strong if when all the premises are true, the conclusion is very likely to be true (has a high probability of being true).

15. Note If the final asks you about a “valid argument” assume that it means “deductively valid argument.” We will always say “inductively valid (strong)” when we mean that.

16. Logical Equivalence Two sentences A and B are logically equivalent when A├ B and B├ A. In other words, A and B are logically equivalent when “A therefore B” and “B therefore A” are both valid arguments. In other words A is true if and only if B is true.

17. Soundness To say that an argument is sound is to say: The argument is valid AND it has true premises. You need to memorize this definition and be able to answer some basic questions about it. Can a sound argument have a false conclusion? Etc.

18. Sentential logic

19. SL on the Final There aren’t a lot of multiple choice questions about SL (there are only 30 questions total), but there are several short answer questions (Part II) that involve (or can involve) SL. Knowing SL perfectly can count for up to about 20% of the marks on the final.

20. What to Study • Read Joe Lau’s Sentential Logic Module (on the readings list for Week 5). • Read all the powerpoint slides from Weeks 5 and 6. If you know all that material, you are as well prepared for the logic questions as you can be.

21. Difficulty Some of the questions are hard, and even made me stop and think about them. They are supposed to be like that. Difficult questions help differentiate students. The exam will be curved and the same number of students will get A’s in this class as in any other class.

22. Proofs There are two proofs on the optional section. They are not easy, but if you are good at proofs, you might consider answering them. If you don’t like proofs don’t bother studying them. You can always choose 5 questions on Part II that do not involve proofs.

23. Translations You need to memorize the standard translations for the logical connectives into English, both because you will be asked questions about which English sentence translates some predicate logic sentence and because you will be asked which predicate logic sentence translates some English sentence.

24. Standard Translations ~A: not A, A is false, A is not true, it’s not the case that A (A & B): A and B, A but B, although A, B (~A & ~B): neither A nor B (A v B): A or B, A unless B (A → B): if A then B, A only if B, B if A (A ↔ B): A if and only if B

25. “If” and “Only if” The most difficult part of translations is “if” and “only if” and “if and only if” “If A then B” “A only if B” “B if A”: (A → B) “If B then A” “B only if A” “A if B”: (B → A) “A if and only if B” “B if and only if A”: (A ↔ B)

26. Example Problem (((P v Q) v R) → (S v (T & U)))… • …is true if S is true • …is true if T and U are false • …is true if R is false • …is false only if S is false

27. Truth-Table Won’t Work This seems like a hard problem at first sight. A truth-table would take too much time to construct. It would have to have 2 x 2 x 2 x 2 x 2 x 2 = 64 rows! Let’s consider it intelligently.

28. True Conditionals When is (((P v Q) v R) → (S v (T & U))) true? It’s a conditional, so it’s true whenever either • ((P v Q) v R) is false • Or (S v (T & U)) is true

29. The Material Conditional

30. False Conditionals Additionally (((P v Q) v R) → (S v (T & U))) is false when: • ((P v Q) v R) is true • And (S v (T & U)) is false

31. Example Problem (((P v Q) v R) → (S v (T & U)))… • …is true if S is true • …is true if T and U are false • …is true if R is false • …is false only if S is false

32. Disjunction If S is true, then (S v (T & U)) is true, because disjunctions are true when either disjunct is true.

33. Disjunction

34. Not (a) So if S is true, (S v (T & U)) is true. But then (((P v Q) v R) → (S v (T & U))) could be false, if ((P v Q) v R) is false. So (a) is not the right answer.

35. Example Problem (((P v Q) v R) → (S v (T & U)))… • …is true if S is true • …is true if T and U are false • …is true if R is false • …is false only if S is false

36. Not (b) If T and U are false, then (T & U) is false. But this tells us nothing about whether (S v (T & U) is true or false, because if S is false, it is false and if S is true it is true. Therefore we don’t know whether (((P v Q) v R) → (S v (T & U))) is true or false. So (b) is wrong.

37. Example Problem (((P v Q) v R) → (S v (T & U)))… • …is true if S is true • …is true if T and U are false • …is true if R is false • …is false only if S is false

38. Not (c) If R is false, then ((P v Q) v R) can be either true or false. For example, it will be true if P is true or if Q is true, and only false when P and Q are both false. Assuming R is false, ((P v Q) v R) might be true, and therefore the whole sentence could be false (antecedent true, consequent false).

39. Example Problem (((P v Q) v R) → (S v (T & U)))… • …is true if S is true • …is true if T and U are false • …is true if R is false • …is false only if S is false

40. Why (d)? By process of elimination, you know the answer is (d). But why is it the right one? “A only if B” means if A, then B. (((P v Q) v R) → (S v (T & U))) is false only if S is false If (((P v Q) v R) → (S v (T & U))) is false, then S is false.

41. Why (d)? If (((P v Q) v R) → (S v (T & U))) is false Then ((P v Q) v R) is true And (S v (T & U)) is false. If (S v (T & U)) is false then (T & U) is false And S is false.

42. Example Problem 2 Use a truth-table to determine whether a logically entails b. • (A & B) • ~(~A v ~B)

43. Make Truth-Table for (A & B)

44. Copy A, B

45. Copy A, B

46. Use TT for &

47. Use TT for &

48. Now Make TT for ~(~A v ~B)

49. Copy A, B

50. Copy A, B