1 00:00:00,012 --> 00:00:04,331 >> We've looked at a couple of examples of deductive arguments. 2 00:00:04,331 --> 00:00:08,226 We've seen one example of a sound deductive argument. 3 00:00:08,226 --> 00:00:13,672 That proves a conclusion that's interesting, a conclusion that we wouldn't 4 00:00:13,672 --> 00:00:18,360 of heretofore have expected. We've also looked at an example of a 5 00:00:18,360 --> 00:00:22,744 deductive fallacy. Now, I'd like to consider a deductive 6 00:00:22,744 --> 00:00:29,092 argument that's also fallacious, but the fallacy in the deductive argument can be 7 00:00:29,092 --> 00:00:34,552 spotted if we remember our Week five lessons about categorical logic. 8 00:00:34,552 --> 00:00:39,443 The deductive argument I have in mind is, All Babies Are Evil. 9 00:00:39,443 --> 00:00:44,471 By Cameron Smith. Here's how Cameron's argument goes. 10 00:00:44,471 --> 00:00:48,534 Premise one. Humans should not cause discomfort to 11 00:00:48,534 --> 00:00:50,674 other people. Premise two. 12 00:00:50,674 --> 00:00:55,436 Causing discomfort to other people is selfish and cruel. 13 00:00:55,436 --> 00:00:59,729 Premise three. Ignorance is no excuse for being selfish 14 00:00:59,729 --> 00:01:04,467 and cruel. Premise four, humans that are selfish and 15 00:01:04,467 --> 00:01:09,276 cruel are evil. Premise five, all people who live with a 16 00:01:09,276 --> 00:01:15,298 baby are caused to have sleep deprivation by that baby making noise. 17 00:01:15,298 --> 00:01:21,948 Premise six, making noise as other people try to sleep, causes discomfort. 18 00:01:21,948 --> 00:01:26,172 Premise seven. All those who live with a baby complain of 19 00:01:26,172 --> 00:01:29,508 the mess caused by that baby. Premise eight. 20 00:01:29,508 --> 00:01:33,377 Babies never clear up any of the mess that they make. 21 00:01:33,377 --> 00:01:37,391 Premise nine. Humans who do not clear up any of the mess 22 00:01:37,391 --> 00:01:41,065 that they make cause discomfort to other people. 23 00:01:41,065 --> 00:01:43,457 Premise ten. Babies are human. 24 00:01:43,457 --> 00:01:48,754 And so, the conclusion of those ten premises is babies are evil. 25 00:01:48,754 --> 00:01:55,492 Now, at first glance, that argument might appear valid and the ten premises of the 26 00:01:55,492 --> 00:02:02,026 argument might appear true and so, the argument appears to be sound, it appears 27 00:02:02,026 --> 00:02:06,971 to be a valid argument. With entirely true premises. 28 00:02:06,971 --> 00:02:14,580 But I don't think the conclusion is true. So I think either the argument is not 29 00:02:14,580 --> 00:02:19,369 valid, or one or more of the premises is not true. 30 00:02:19,369 --> 00:02:24,139 But which one? Well, I think we can see which one. 31 00:02:24,139 --> 00:02:31,350 If we specify which quantifier is being used in the premises that make a general 32 00:02:31,350 --> 00:02:38,046 statement about humans, are we using the quantifier all or are we using the 33 00:02:38,046 --> 00:02:42,734 quantifier most? If the statements about humans are 34 00:02:42,734 --> 00:02:48,956 understood as statments that use the quantifier all, then we can use Venn 35 00:02:48,956 --> 00:02:53,763 diagrams to show that this argument is actually valid. 36 00:02:53,763 --> 00:03:00,074 This argument is valid if the quantifier that's being used in all the premises 37 00:03:00,074 --> 00:03:06,489 about humans is the quantifier all. But, if the quantifier that's being used 38 00:03:06,489 --> 00:03:13,054 in the premises about humans is the quantifier most, then Venn diagrams don't 39 00:03:13,054 --> 00:03:20,196 demonstrate the validity of this argument. And in fact the argument is not valid. 40 00:03:20,196 --> 00:03:27,237 So whether the argument is valid or not depends on precisely which quantifier is 41 00:03:27,237 --> 00:03:33,984 being used in those premises about humans. Is that the quantifier all or the 42 00:03:33,984 --> 00:03:38,914 quantifier most? If it's the quantifier all, then the 43 00:03:38,914 --> 00:03:44,426 argument is valid. Unfortunately, the premises are not all 44 00:03:44,426 --> 00:03:51,796 true, and they're not all true because it's not entirely true that all humans Who 45 00:03:51,796 --> 00:03:59,215 cause discomfort or pain, are evil. But, if the argument uses the quantifier 46 00:03:59,215 --> 00:04:05,715 most, then while the premises are true, the argument isn't valid. 47 00:04:05,715 --> 00:04:11,221 And Venn diagrams don't help us to show that it's valid. 48 00:04:11,222 --> 00:04:18,438 Because Venn diagrams don't represent the quantifier most, as we saw in Week five. 49 00:04:18,438 --> 00:04:24,892 So either the argument is valid, but not all of its premises are true, or the 50 00:04:24,892 --> 00:04:29,865 argument has entirely true premises, bu it's not valid. 51 00:04:29,866 --> 00:04:36,458 Either way the argument is not sound and so it does not succeed in proving that all 52 00:04:36,458 --> 00:04:41,229 babies are evil. Despite the enormous plausibility of the 53 00:04:41,229 --> 00:04:42,105 argument.