1. MA 110: Finite Math Lecture 1/14/2009 Section 1.1 Homework: 5, 9-15, 21-22 (56 BP)

2. Today We’ll Learn 1.How math is unique as a subject. 2.The basis of mathematical thought: logical (valid) deduction and the syllogism. 3.The difference between validity and truth. 4.Deduction verses Induction.

3. Mathematics.. is a way of “knowing”.

4. “Epistemology”

5. “Epistemology” The theory of knowledge. What do we know? Isn’t it neat that we know that we know? How do we know if we (really) know??

6. Some problems with knowing: 1.Illogical conclusions / bad reasoning. 2.Reasoning and logic cannot answer everything. 1.Ethical questions. 2. The great ‘why’ questions. 3.We trust that we know, but we can’t know that we know. “Chuang-Tzu once dreamed he was a butterfly. When he awoke, he no longer knew if he was a butterfly dreaming he was a man, or a man who had dreamed he was a butterfly.”

7. Class discussion: what are different ways that we know things? (1) (2) (3) (4) (5) (6)

8. Four commonly accepted ways of knowing: (1)Reason (logic) (2)Perception (senses, induction) (3)Language (stories/authority) (4)Emotion (intuition/inspiration/revelation) From http://www.acperesearch.net/knowing.html

9. Four commonly accepted ways of knowing: (1)Reason (logic) …………………Mathematics (2)Perception (senses, induction) (3)Language (stories/authority) (4)Emotion (intuition/inspiration/revelation) From http://www.acperesearch.net/knowing.html

10. Four commonly accepted ways of knowing: (1)Reason (logic) …………………Mathematics (2)Perception (senses, induction) ………Science (3)Language (stories/authority) (4)Emotion (intuition/inspiration/revelation) From http://www.acperesearch.net/knowing.html

11. Four commonly accepted ways of knowing: (1)Reason (logic) …………………Mathematics (2)Perception (senses, induction) ………Science (3)Language (stories/authority) ……Humanities (4)Emotion (intuition/inspiration/revelation) From http://www.acperesearch.net/knowing.html

12. Areas of Knowledge Mathematics Natural Science Human Sciences History Arts Ethics Spirituality

13. Areas of Knowledge Mathematics Natural Science Human Sciences History Arts Ethics Spirituality Objective Subjective

14. Areas of Knowledge Mathematics Natural Science Human Sciences History Arts Ethics Spirituality Objective Subjective

15. Mathematics Most objective. Entirely rational. Logical. Universal validity.

16. The validity… Doesn’t depend upon a specific context. Doesn’t depend upon knowing anything – doesn’t even depend upon knowing that we know something. Instead of asserting that something is true, mathematics very much describes only what would be true if certain other things are true. What is meant be universal validity?

17. The validity… Doesn’t depend upon a specific context. Doesn’t depend upon knowing anything – doesn’t even depend upon knowing that we know something. Instead of asserting that something is true, mathematics very much describes only what would be true given certain other things are true. What is meant be universal validity?

18. The validity… Doesn’t depend upon a specific context. Doesn’t depend upon knowing anything – doesn’t even depend upon knowing that we know something. Instead of asserting that something is true, mathematics very much describes only what would be true assuming certain other things are true. What is meant be universal validity?

19. Example Two bags contain coins. Maybe the blue bag contains 10 coins. Maybe not. Maybe the red bag contains 5 coins. Maybe not. In mathematics, it doesn’t matter. Mathematics says:

20. Example IF the blue bag contains exactly 10 coins AND IF the red bag contains exactly 5 coins THEN both bags contain 15 coins. A conclusion that is guaranteed given the assumptions.

21. Uh oh! You combine both bags and instead have only 10 coins. What happened? Was the previous argument invalid?

22. IF the blue bag contains exactly 10 coins AND IF the red bag contains exactly 5 coins THEN both bags contain 15 coins. Still true: universal validity no matter how many coins the bags actually have.

23. This is the basis of mathematics: based on a set of assumptions (things we assume to be true for the sake of argument), what conclusions can we make that have to be true, if those assumptions are true?

24. Mathematics Aristotle 384BC – 322 BC

25. Aristotle Together with Plato, and Socrates (Plato's teacher), Aristotle is one of the most important founding figures in Western philosophy. He was the first to create a comprehensive system of Western philosophy, encompassing morality and aesthetics, logic and science, politics and metaphysics.PlatoSocratesWestern philosophy All aspects of Aristotle's philosophy continue to be the object of active academic study today. Aristotle defined the syllogism.

26. Syllogism Premises: Sentences that are assumed to be true for the sake of argument. Syllogism: Premises are combined that lead to a conclusion. Valid syllogism: The premises correctly lead to the conclusion in the sense that the conclusion has to be true given the assumption.

27. Truth verses Validity Validity: For any given set of premises, if the conclusion of an argument is guaranteed, the argument is valid. (If the conclusion in not guaranteed the conclusion is invalid.) Truth A conclusion is true if it happens to be the case in the ‘real world’.

28. Truth verses Validity A valid argument can lead to a false conclusion if the premises are false. An invalid argument can lead to a true conclusion just by accident. BUT A valid argument always leads to a true conclusion if the premises are true.

29. Truth verses Validity A valid argument can lead to a false conclusion if the premises are false. Women are bad drivers. Danica Patrick is a woman. Therefore, Danica Patrick is a bad driver. Valid argument, but false. False premise

30. Truth verses Validity An invalid argument can lead to a true conclusion just by accident. Some cats are black. This is a cat. Therefore, this cat is black. Invalid argument, but true.

31. Truth verses Validity A valid argument always leads to a true conclusion if the premises are true. All cats are mammals. This is a cat. Therefore, this cat is a mammal. Valid argument, premises true, Conclusion true.

32. Deductive Reasoning Deductive Reasoning – from the general to the specific. If something is true for the general, then it is true for a specific instance. Example: All cats are mammals. If this is a cat, then it is a mammal.

33. “All TREES” Deduction: from the general to the specific

34. In the real world, how do you know anything in general? A little plug for science…

35. “TREES” Induction: from the specific to the general

36. Inductive Reasoning Inductive Reasoning – from the specific to the general. If something is true in every observed instance, it may be true in the next instance. Example: The sun will rise tomorrow morning.

37. Areas of Knowledge Mathematics …Deductive Reasoning Natural Science…Inductive Reasoning Human Sciences History Arts Ethics Spirituality (listed from most objective to most subjective)

38. Areas of Knowledge Mathematics …Deductive Reasoning Natural Science…Inductive Reasoning Human Sciences History Arts Ethics Spirituality (listed from most objective to most subjective) PROOF EVIDENCE

39. Deductive or Inductive? (Proof or evidence?) I was walking through the park and saw 14 dogs. Every dog had a tail. Therefore I conclude that all dogs have tails. 1

40. Deductive or Inductive? (Proof or evidence?) I know that stars are bodies of hot gas. Our sun is a star. Therefore, our sun is a body of hot gas. 2

41. Deductive or Inductive? (Proof or evidence?) During rush hour Bob watches the cars at a busy intersection. He notices that of the 48 people who did not use their turn signals when turning, 75% were driving Fords. He concludes, people who drive Fords are more likely to not use turn signals. 3

42. Deductive or Inductive? (Proof or evidence?) The senator has supported every tax increase so far so I am sure he will support this one. 4

43. Deductive or Inductive? (Proof or evidence?) -2 cubed is -8 so I conclude that not all numbers, when cubed, give a positive number. 5

44. Inductive reasoning is only as good as the last n observations. Transit of Venus Rare and beautiful event. Watch out for it in 2012.

45. Inductive reasoning is only as good as the last n observations. First transit in 3 rd Millenium: June 8 th, 2004 Second transit: June 6 th, 2012 Transit of Venus

46. Inductive reasoning is only as good as the last n observations. First transit in 3 rd Millenium: June 8 th, 2004 Second transit: June 6 th, 2012 Transit of Venus Induction: transit every 8 years?

47. Inductive reasoning is only as good as the last n observations. First transit in 3 rd Millenium: June 8 th, 2004 Second transit: June 6 th, 2012 Third transit: December, 2117 Transit of Venus