0:11 you [Music]
0:23 hi this is Graham priest again and this
0:25 is the last of the short lectures we've
0:28 been recording on Logic and what I want
0:32 to do today is talk about some paradoxes
0:36 last week we talked about Dolly thism
0:38 the view that some contradictions are
0:42 true and I gave you some examples of
0:45 things that some philosophers at least
0:47 have thought were daily thick these
0:49 concern the law and they concern the
0:52 limits of thought but I want to give you
0:55 some more examples today of where you
0:57 might think that dynasties occur and
1:00 these concerned exactly paradoxes the
1:03 paradox is often phrased as an argument
1:08 which ends in a contradiction and I died
1:10 early the solution is essentially one
1:13 that accepts the contradiction I'm going
1:15 to give you three examples of paradoxes
1:18 and point out what the diocese would say
1:23 about them and the first one concerns
1:26 some paradoxes of emotion
1:30 now the paradoxes were produced
1:32 parados emotion were produced by Zenon
1:35 from Greek philosopher 5th or 6th
1:39 century BCE and his paradox emotion had
1:41 been discussed extensively by Western
1:44 philosophers it's only one of those that
1:47 I want to focus on today and that's
1:49 usually called the paradox of the arrow
1:52 so you must imagine that there is an
1:54 arrow shot from the bone and it's on its
1:59 way to the target now take the arrow at
2:04 any instant of its motion at the instant
2:08 it makes no progress at all in its
2:13 journey advance equals zero but the
2:16 whole journey is constituted by the sum
2:21 total of these instants so if the
2:25 progress made at any one instant is zero
2:28 then the progress made in the subtotal
2:30 of instance is zero
2:35 if you add not to note as many times as
2:35 you like
2:38 even infinitely many times you still get
2:43 nought okay so this was Zeno's paradox
2:47 of the arrow the arrow cannot move it
2:49 cannot make any progress in this motion
2:55 now one way you can resolve the paradox
3:00 is essentially as Hegel did so Hegel
3:04 said well look if you take the arrow at
3:08 an instant of its motion it's both here
3:11 and not here at this same instant and
3:15 it's not here precisely because due to
3:17 the fact it's in motion it's already got
3:19 a bit further and it's already lagging a
3:22 bit behind so the very fact of motion
3:28 tells you that the arrow being here and
3:31 not here it's already gone a bit further
3:34 so the arrow actually does make progress
3:37 in the instant and so Zeno's paradox is
3:41 broken we talked about hey gold before
3:44 and this is essentially a gradient
3:49 solution to the paradox of motion let me
3:53 give you a second kind of paradox of a
3:56 very different kind this is sometimes
4:00 called well there's a family of paradox
4:02 called the paradoxes of self-reference
4:06 and the easier these to get the easiest
4:08 of these to get your head around is
4:10 something called the liar paradox it was
4:12 invented or discovered by another
4:15 ancient Greek philosopher abilities at
4:16 the same time as you know as per his
4:20 little bit later and it goes as follows
4:28 suppose that I tell you this this very
4:30 statement that I'm now telling you is
4:36 false I ask you is that true or is it false
4:43 well if it's true well it says it's
4:47 false so it must be false and if it's
4:49 false well hey that's what it says so
4:53 it's true so it seems to be true and
4:56 false and that's exactly what the
4:58 dial-in theists about matters takes it
5:01 to be that statement the statement then
5:03 what I'm now telling you is false is
5:07 both true and false now you might think
5:09 that the liar paradox is a bit of a
5:10 party game
5:12 although logicians have taken it
5:14 seriously seriously auditions have taken
5:16 it seriously for two thousand and a half
5:21 thousand years now but in the 20th
5:24 century it became impossible to treat it
5:29 as not serious and this is because it
5:31 turned out to be the paradox turned out
5:33 to be one of a whole family of paradox
5:35 of self reference which turned up in the
5:38 foundations of earth magic orbs so what
5:40 the issue here is the very nature and
5:43 the ground of mathematics and let me
5:45 give you one of the other paradox in
5:49 this family which is relatively simple
5:51 compared with some of them but let me
5:55 try to explain it so this is a paradox
5:57 that was discovered by Bertrand Russell
5:59 and so it's called a Russell's paradox
6:02 and it's about sets collections of
6:04 things which are mathematical objects of
6:11 a certain kind now some sets are not
6:16 members themselves so for example the
6:18 set of countries in the world is not a
6:22 country so the set of countries in the
6:25 world is not a country it can't be a
6:29 member of a set of countries but some
6:34 sets are members themselves so the set
6:37 of all abstract ideas for example is an
6:40 abstract idea and so it's a member of
6:43 the set of all abstract ideas so it
6:46 would seem some sets are members
6:50 themselves and some are not so far so good
6:51 good
6:54 now what about the set of all those sets
6:59 which aren't members themselves okay so
7:02 this is a set which contains just those
7:10 ask yourself whether this is or is not a
7:11 member itself
7:14 well if it is a member itself it's one
7:16 of those things which is not a member
7:21 itself so if it is it isn't and if it's
7:24 not a member itself well then it's one
7:26 of those things offender set so it is a
7:29 member itself so it was sent to you both
7:32 in the set and not in the set so this is
7:34 Russell's paradox
7:39 now the paradox of self reference have
7:42 occasioned a enormous literature in the
7:45 twentieth century and this is not the
7:46 place to go into it
7:48 of course people have suggested
7:52 non-diabetic solutions but often these
7:54 seem to run into problems let me just
7:58 illustrate this with the liar paradox so
8:00 recall the liar paradox was a claim that
8:03 this very sentence I'm now telling you
8:07 is false what we saw is that if it's
8:09 true it's false and if it's false is
8:12 true okay that's fine
8:14 one natural response at this point is to
8:17 say well yes if it's false is true if
8:19 it's true it's false maybe it's neither
8:23 so this is not a dialectic view it's not
8:25 saying it's both true and false it's
8:27 saying kind of the dual of that it's
8:30 neither true nor false and some people
8:33 have endorsed this kind of solution to
8:37 the liar paradox now the problem with
8:39 this kind of solution is that if middie
8:42 seems to shift the problem let me
8:48 explain why this tweak the liar sentence
8:50 a little bit let's suppose that indeed
8:53 it's neither a nor false but now let's
8:58 consider this sentence the sentence
9:00 which I'm now telling you is either
9:04 false or neither true an awful
9:09 what we'd say about that well if it's
9:12 true it's either false or neither true
9:15 nor false that's a contradiction right
9:20 if it's false well then if it's false
9:22 it's either false or neither true nor
9:24 false but that's what it says
9:27 so it's true and we're back with the
9:31 contradiction and now suppose we try to
9:34 say well it's neither true nor false
9:39 well if it's neither true nor false then
9:41 it's either false or neither true nor
9:44 false and so since that's what it says
9:46 it's true so we're back with this
9:48 contradiction so there isn't an easier
9:50 way out by supposing that the liar
9:53 sentence is neither true nor false so so
9:55 far I've given you two examples of
9:57 paradoxes and what a diabeetus might say
10:00 about them one was you know the paradox
10:03 of the arrow the other was paradox of
10:06 self-reference such as the liar paradox
10:10 let me give you a third this is a
10:12 paradox sometimes called the server I
10:15 tease it was discovered by your Beulah
10:18 DS the same as the liar paradox and
10:24 essentially it goes as follows suppose
10:27 you are completely sober and I give you
10:30 one cent a liter of alcohol well then
10:32 you're still sober it has no effect on
10:35 you in fact whatever your state if
10:38 you're sober and I'll give you one cent
10:39 a liter of alcohol you're still sober
10:41 one centimeter just doesn't have a
10:45 difference so let's suppose you're sober
10:48 and I give you one centiliter alcohol
10:50 then you're still sober I'll give you
10:52 another you're still sober like you know
10:56 you're still sober well so eventually of
11:00 course I give you several liters of
11:05 alcohol and you're blind drunk but this
11:09 is the sorites paradox that adding one
11:11 centimeter of alcohol to your
11:13 bloodstream really cannot change you for
11:15 being so good being drunk yet
11:17 eventually by
11:19 adding single Center leads of alcohol to
11:22 your bloodstream you become drunk let me
11:24 give you another example this is to do
11:27 with colors sometimes you see a color
11:29 spectrum so I want you to imagine this
11:33 you've got a color spectrum between say
11:36 red and blue so at this end of the
11:40 spectrum it's very deep red and then
11:43 it's what goes red changes through sort
11:47 of a ready blue into blue and at this
11:51 end it's completely blue now I want you
11:53 to imagine that we cut this spectrum up
11:58 into little slices and that the changes
12:00 are so slow that you can't tell the
12:02 difference between the color of one
12:07 strip and the next you can easily
12:10 construct sorites sequences such as this
12:12 I leave it as an exercise for you to do
12:18 if you'd like now the strip on this end
12:24 is red and if any strip is red then the
12:26 strip next to it is indistinguishable in
12:29 color so that must be red - so we have a
12:32 psoriasis situation the first trip is
12:33 red the second strip is
12:35 indistinguishable so that strip is red
12:38 but the next trip is indistinguishable
12:40 so that strip is red - so it's red all
12:42 the way down but of course at this st.
12:46 it's not red it's blue now this is the
12:48 sorites paradox and it's a paradox of
12:51 vagueness the thing about predicates
12:53 like is drunk is red is that they're
12:54 vague they don't seem to have any
12:57 precise cutoff points this is what
13:02 causes the writers paradox now what is
13:04 one to say about solutions the sorites
13:08 paradox well a very standard thought is
13:10 this if you've got one of these sorites
13:12 sequences there's a kind of middle area
13:16 so take the color sorites for example at
13:19 this end the strips are definitely read
13:21 this and the strips are definitely not
13:23 read they're blue and in the middle
13:27 there's a kind of an area where well
13:30 it's it's sort of symmetric so
13:32 that the status of these things in the
13:34 middle they seem to be as much red as
13:37 blue as much rate as not ready so it
13:38 doesn't make much sense to say the
13:41 things in the middle I read and only
13:43 wrote it doesn't make much sense to say
13:44 the things in the middle of blue and
13:47 only blue because the situation is
13:51 symmetric okay there are two symmetric
13:54 possibilities one is that these things
13:57 in the middle are neither red nor blue
14:01 neither red nor not read the other
14:02 symmetric possibility is they're both
14:07 red and not red both red and blue so
14:10 that possibility is the diabetics
14:14 solution but there is the other
14:17 possibility namely that the things in
14:19 the middle are neither red nor not red
14:24 so you might wonder is there any reason
14:26 suppose the diabetic possibility is
14:28 better than the other possibility that
14:29 the things in the middle are neither red
14:34 nor not red and matters are contentious
14:39 but here's at least one reason if you
14:41 think about the things in the middle
14:43 well you wouldn't want to say they're
14:45 green you wouldn't want to say they're
14:48 yellow I mean they're either red or blue
14:52 there's no third possibility right but
14:55 if they're blue they're not red so if
14:57 they're either red or blue they're
15:02 either red or not red and if the claim
15:04 that is red was neither true nor false
15:05 well then the claim that it was not red
15:08 will be neither true nor false so the
15:10 claim that it's either red or not red
15:15 wouldn't be true so if that's right you
15:19 must have the other possibility okay so
15:22 this is the third example of a Dietetics
15:25 Ellucian to a well-known paradox I've
15:28 given you three I've given you so you
15:30 knows paradox of the arrow I've given
15:32 you the liar paradox and I've given you
15:34 the sorority's paradox now I must stress
15:38 that all these paradoxes are contentious
15:40 there is an enormous literature on these things
15:40 things and
15:41 and
15:42 additions argue at great length about
15:45 the possible solutions these paradoxes
15:46 and particularly about weather and a
15:49 daily thing paradox can be accepted
15:56 however you can at least now see why you
16:00 might be inclined to endorse dilute ISM
16:05 well this is the final nature on logic I
16:07 I hope now that you have some
16:09 understanding of the nature of logic and
16:11 some of the reasons why it's important
16:13 some of the things that engages with
16:16 some of the issues in semantics and
16:19 metaphysics and wile auditions consider
16:21 logic to be a really important subject
16:24 and if you've enjoyed thinking about
16:25 some of the things we've been talking