1 00:00:10,510 --> 00:00:18,130 This brings us to the most famous puzzle cases in epistemology, possibly the most famous puzzle cases in the whole of philosophy. 2 00:00:18,130 --> 00:00:25,210 The getaway case is a fantastically well known, probably because they're so clear and decisive against the justified, 3 00:00:25,210 --> 00:00:30,710 true belief analysis of knowledge, or at least they seem to be. 4 00:00:30,710 --> 00:00:37,680 So let's suppose that P is something that I'm justified in believing. 5 00:00:37,680 --> 00:00:45,070 And let's suppose that P clearly implies Q There is no doubt whatever that P implies. 6 00:00:45,070 --> 00:00:53,180 Q. So I believe that P I have a justified belief that p we're assuming that. 7 00:00:53,180 --> 00:01:00,190 And I then infer. Q. Where Q obviously follows from P. 8 00:01:00,190 --> 00:01:07,750 Does it follow that I'm justified in believing que? Would you agree that's how it sounds very plausible. 9 00:01:07,750 --> 00:01:13,960 If I'm justified in believing P and Q obviously follows from P, surely I must be justified in believing. 10 00:01:13,960 --> 00:01:21,950 Q That's how you get the getaway cases. So here's one example. 11 00:01:21,950 --> 00:01:26,930 Suppose I'm in the desert. I see what is, in fact a mirage. 12 00:01:26,930 --> 00:01:34,310 I think I'm justified in believing. Let us suppose that I'm seeing an oasis. 13 00:01:34,310 --> 00:01:43,630 I infer that there's no racist over there. And so I turned to my companion and I point and I say, there's an oasis over there. 14 00:01:43,630 --> 00:01:50,230 Now, in fact, there is an oasis over there, but it's hidden behind a sand dune. 15 00:01:50,230 --> 00:01:55,840 What I'm seeing is a mirage. But coincidentally, there is an oasis in that direction. 16 00:01:55,840 --> 00:02:01,420 So I believe that there's an oasis over there. It's true that there's no wasis over there. 17 00:02:01,420 --> 00:02:05,050 I'm justified in believing that I see an oasis. 18 00:02:05,050 --> 00:02:10,900 And I've inferred from the supposition that I see an oasis to there actually being an oasis over there. 19 00:02:10,900 --> 00:02:20,460 It looks like I've got a justified, true belief, but we don't want to say it's a case of knowledge. 20 00:02:20,460 --> 00:02:29,010 Another example, which I think is slightly more plausible, a case of the kind of example that Gettinger himself gives is this. 21 00:02:29,010 --> 00:02:34,050 Suppose we have a load of applicants for a job. Just two of them are men. 22 00:02:34,050 --> 00:02:40,200 One of the men is very well qualified. One of the men is very poorly qualified. 23 00:02:40,200 --> 00:02:46,550 All the rest are women. And they're much, much better qualified than the badly qualified man. 24 00:02:46,550 --> 00:02:51,950 Now, suppose I have it on good authority that the well qualified man is going to get the job. 25 00:02:51,950 --> 00:03:00,360 So I believe that a man is going to get the job. And I've got a justified belief that a man is going to get the job. 26 00:03:00,360 --> 00:03:10,200 Unbeknown to me, however, there's some funny business going on. I don't know, maybe involving the Masons or bribery or blackmail or what have you. 27 00:03:10,200 --> 00:03:19,100 And actually the other man gets the job. In this situation, I have a justified belief that a man would get the job. 28 00:03:19,100 --> 00:03:27,110 It's true that a man did get the job, but I certainly didn't know that a man would get the job because there's a kind of accident. 29 00:03:27,110 --> 00:03:33,580 My justification led me to the belief that the well qualified man would get the job. 30 00:03:33,580 --> 00:03:45,300 But in fact, that a man would get the job has turned out to be true by some quite different route. 31 00:03:45,300 --> 00:03:52,230 Now, these sorts of cases do seem to refute, refute the standard, justified, true belief account of knowledge. 32 00:03:52,230 --> 00:04:00,300 So it's tempting to add a fourth condition. Maybe we should say that s knows that P if and only if P is true. 33 00:04:00,300 --> 00:04:08,970 S believes that P and S is justified in believing that P in a way that doesn't depend on any falsehood. 34 00:04:08,970 --> 00:04:12,540 That's a way of trying to evade the getting counterexamples, 35 00:04:12,540 --> 00:04:20,330 where somebody infers a truth from a falsehood and thus achieves a justified belief that isn't knowledge. 36 00:04:20,330 --> 00:04:22,190 Now, back in the days when I was a student, 37 00:04:22,190 --> 00:04:31,190 this sort of thing trying to patch up the traditional analysis of knowledge to avoid the getting counterexamples was quite a major industry. 38 00:04:31,190 --> 00:04:38,420 Lots of papers came out with people trying to invent conditions that would get around the counterexamples. 39 00:04:38,420 --> 00:04:46,410 It's a rather sad history because all this effort failed to produce any convincing resolution of the problem. 40 00:04:46,410 --> 00:04:53,960 Here's an example of the sort of problem we face. Suppose I'm organising some event and I want to know how many people were there. 41 00:04:53,960 --> 00:04:57,560 Maybe the reason I want to know how many people were there is because I want 42 00:04:57,560 --> 00:05:03,660 to make a judgement as to which room to use for a future event of that kind. 43 00:05:03,660 --> 00:05:11,490 So somebody comes to me and they say, oh, they were exactly 78 people there. 44 00:05:11,490 --> 00:05:22,920 What interests me is whether there were more than 40. If there were more than 40, then I have to use a big room rather than a small room next time. 45 00:05:22,920 --> 00:05:30,130 So they tell me there were exactly 78 people there. I inferred that there were more than 40. 46 00:05:30,130 --> 00:05:36,760 Arguably, I know that there were more than 40. 47 00:05:36,760 --> 00:05:43,030 But let's suppose the reporter actually got it wrong, there weren't Seventy-eight, there were 77. 48 00:05:43,030 --> 00:05:49,020 I'm still inclined to say I know that there are more than 40. 49 00:05:49,020 --> 00:05:59,510 So I've inferred a truth from a falsehood that hasn't undermined its claim to being knowledge. 50 00:05:59,510 --> 00:06:02,990 Now, you might want to get around that, you might want to say no, 51 00:06:02,990 --> 00:06:10,550 what you did was infer that there were more than 40 people from the fact that he believes that there were 78. 52 00:06:10,550 --> 00:06:17,120 And you have the knowledge that people can go wrong in little ways. But there's an implicit probability judgement there. 53 00:06:17,120 --> 00:06:26,300 You're making the judgement that if somebody says there were 78 and says it sincerely and they've got good faculties and that kind of thing, 54 00:06:26,300 --> 00:06:34,000 it's overwhelmingly probable that there were more than 40. It's not overwhelmingly probable that there were exactly 78. 55 00:06:34,000 --> 00:06:47,720 So maybe that gets you out of it. Let us out of fifth condition. But there's a general problem with heading in the direction of probabilities. 56 00:06:47,720 --> 00:06:57,020 The so-called lottery paradox. It's very tempting to try to get round of these these kinds of problems by saying in order to have knowledge, 57 00:06:57,020 --> 00:07:02,390 you've got to have a sufficiently high probability. That's the key thing. 58 00:07:02,390 --> 00:07:10,790 It's not whether you've inferred something from a falsehood. It's having a sufficiently high probability of truth. 59 00:07:10,790 --> 00:07:19,500 But suppose we've got a billion tickets in a lottery? Well, I believe that the ticket with zeros in every place won't win. 60 00:07:19,500 --> 00:07:26,750 Indeed, I'm pretty sure it it won't win. There's only a one in a billion chance that it's going to win. 61 00:07:26,750 --> 00:07:33,050 I believe that the next ticket after that won't win either. In fact, I believe apparently quite reasonably. 62 00:07:33,050 --> 00:07:39,780 Of every single ticket that won't win. Nevertheless, one of them will win. 63 00:07:39,780 --> 00:07:47,130 And because of this, we're reluctant to call my belief about any of these tickets knowledge. 64 00:07:47,130 --> 00:07:58,170 So if I go and buy a ticket in a billion ticket lottery and then I say, well, I know it won't win, I think you'd probably say, no, you don't know. 65 00:07:58,170 --> 00:08:04,510 You've got a very probable belief, an extremely probable belief that it won't win, but you don't know that it won't win. 66 00:08:04,510 --> 00:08:12,860 Because there's a chance that it will, even if that chance is tiny. Now, if that's right. 67 00:08:12,860 --> 00:08:21,290 Then the lottery paradox involves real problems for any attempt to explain knowledge in terms of sufficiently high probabilities. 68 00:08:21,290 --> 00:08:26,360 Because however high the probability is, you can make it a trillion ticket, lottery or whatever. 69 00:08:26,360 --> 00:08:36,230 You can always get a lottery in which your belief that this ticket won't win will have as high or higher probability than any belief, 70 00:08:36,230 --> 00:08:44,950 which isn't 100 percent certain. And yet we're not going to want to call it knowledge. 71 00:08:44,950 --> 00:08:52,270 OK, so maybe we want to say it's not exactly a matter of probability. It's a matter of ruling out accidents. 72 00:08:52,270 --> 00:08:58,210 What we don't want is to allow as knowledge a belief that accidentally happens to be true. 73 00:08:58,210 --> 00:09:02,170 I thought I knew that one person was going to get the job and it's a kind of accident, 74 00:09:02,170 --> 00:09:06,610 as far as my knowledge was concerned, that somebody else got it. 75 00:09:06,610 --> 00:09:16,130 That's what rules it out. It's a kind of accident that there's an oasis over there in the same direction as the Mirage, so forth. 76 00:09:16,130 --> 00:09:24,150 Factually, it's extremely difficult to pin this down. Suppose I have a car whose speedometer gradually corrodes. 77 00:09:24,150 --> 00:09:31,650 Let's say that a particular time, it just happens to be accurate enough to ensure that I'm complying with the law. 78 00:09:31,650 --> 00:09:39,630 Let's say I always drive at what I think is 38 miles an hour along a road with a speed limit of 40 miles an hour. 79 00:09:39,630 --> 00:09:40,800 Fortunately, 80 00:09:40,800 --> 00:09:50,490 the corrosion of my speedometer is such that it just keeps me within plus or minus two miles of an hour and at an hour of the actual speed. 81 00:09:50,490 --> 00:09:57,440 So I'm safe. Is it an accident that I'm safe? 82 00:09:57,440 --> 00:10:07,470 In a sense, yes, in a sense, no. Given the speedometer has corroded, I'm very lucky that it's keeping me within that margin. 83 00:10:07,470 --> 00:10:13,590 But given that it's keeping me within that margin, it's no accident that I'm safe. 84 00:10:13,590 --> 00:10:23,170 Again, if I occasionally hallucinate things, does that mean it's just a matter of chance that my current belief isn't an hallucination? 85 00:10:23,170 --> 00:10:32,180 It's very difficult to pin these things down in a way that will give us a of satisfactory account of knowledge. 86 00:10:32,180 --> 00:10:42,620 Another problem is known as Ken Textualism. Suppose you want to get a train up north and I say I know that the train is scheduled to leave at 1736. 87 00:10:42,620 --> 00:10:49,750 It's a train I regularly take. So I can assure you it's scheduled to leave at 1736. 88 00:10:49,750 --> 00:10:54,970 But maybe you've got a really important appointment and you're not content with my saying that. 89 00:10:54,970 --> 00:11:02,020 So you say, do you really know that it leaves then? I absolutely need to make that appointment. 90 00:11:02,020 --> 00:11:08,720 OK. I say I'll cheque on the web. And you can imagine this going even further. 91 00:11:08,720 --> 00:11:14,210 I know you're familiar with the timetable and you've checked the Web. But do you really, really know? 92 00:11:14,210 --> 00:11:24,620 I really, absolutely have to be there. OK, I'll ring up the station and you can imagine a sequence of cheques each more stringent than the last, 93 00:11:24,620 --> 00:11:31,240 which suggests that the threshold we require to count something as knowledge can be variable. 94 00:11:31,240 --> 00:11:36,930 We put a higher and higher hurdle depending on the importance of the task. 95 00:11:36,930 --> 00:11:40,720 And that suggests that maybe knowledge isn't an absolute category. 96 00:11:40,720 --> 00:11:52,360 Maybe it's dependent on our particular purposes. Let's also consider the context in which we use the word knowledge within ordinary life. 97 00:11:52,360 --> 00:11:58,350 So consider this contrast. Does she know that her husband is cheating on her? 98 00:11:58,350 --> 00:12:02,820 Imagine that being said in a soap opera or something like that. 99 00:12:02,820 --> 00:12:11,510 Now that probably means something like does she believe he's cheating on her like we all do? 100 00:12:11,510 --> 00:12:17,260 You could imagine it being said in a context where there's some uncertainty as to whether he's a cheat. 101 00:12:17,260 --> 00:12:21,730 Maybe there's all sorts of circumstantial evidence. A Mac question. 102 00:12:21,730 --> 00:12:27,370 Does she know? It's not really a question about her epistemological state. 103 00:12:27,370 --> 00:12:37,550 It's a question about her belief. Contrast that with the following case, somebody alleges that her husband is cheating. 104 00:12:37,550 --> 00:12:43,310 And I say, yes, but do you know her husband is cheating? 105 00:12:43,310 --> 00:12:49,600 In which case, I'm asking about what is the case rather than about the belief. 106 00:12:49,600 --> 00:12:54,760 Or you can imagine a case where some train accident is reported and my son was on the train. 107 00:12:54,760 --> 00:13:01,600 And I say, do you know that my son is all right? And I don't actually give a damn about your epistemological state. 108 00:13:01,600 --> 00:13:11,810 The only thing I'm interested in is, is he OK? So it's arguable that when we talk about knowledge in a practical situation, 109 00:13:11,810 --> 00:13:22,040 normally we're interested either in somebody's state of belief or we're interested in the actual facts. 110 00:13:22,040 --> 00:13:28,640 It's very, very unusual for us to ask in ordinary life whether something is a case of knowledge when 111 00:13:28,640 --> 00:13:34,730 we already know that somebody believes something and we already know that it's true. 112 00:13:34,730 --> 00:13:38,240 It's the kind of question only philosophers ask. 113 00:13:38,240 --> 00:13:45,500 And you might wonder in that context whether we're actually likely to get any single consistent account of knowledge. 114 00:13:45,500 --> 00:13:50,030 Why should we assume that if the word knowledge has these different roles in language, 115 00:13:50,030 --> 00:13:57,950 that there really must be some single unitary essence of what knowledge is, which will give the answer to all of these questions? 116 00:13:57,950 --> 00:14:06,790 Maybe we'll find that the concept of knowledge as we use it in ordinary language varies depending on our purposes. 117 00:14:06,790 --> 00:14:14,410 Now, this is the kind of message that's very much associated with the later work of Vic and Stein in his book Philosophical Investigations. 118 00:14:14,410 --> 00:14:21,640 We shouldn't just assume that because we've got a word knowledge, which seems to be a noun for a certain kind of state, 119 00:14:21,640 --> 00:14:30,420 that there really is some sort of essential state that it picks out. 120 00:14:30,420 --> 00:14:39,660 Well, of course, however, we choose to use the word knowledge. We can still ask in any particular case whether P is true. 121 00:14:39,660 --> 00:14:48,448 And this brings us back to Gillmore and his hands.