tag:blogger.com,1999:blog-21308815.post6910432253538670310..comments2021-04-20T11:14:11.434+00:00Comments on Beyond Necessity: Completing ZenoEdward Ockhamhttp://www.blogger.com/profile/07583379503310147119noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-21308815.post-59029659086360640122010-12-03T11:12:11.490+00:002010-12-03T11:12:11.490+00:00As you have spotted, there is something seriously ...As you have spotted, there is something seriously wrong with the argument above, but I shall remain silent until tomorrow.<br /><br />Brandon’s point (I think) is that the ‘Standard Solution’ rejects the assumptions of the paradox, and makes a distinction accordingly, but he objects that this is not ‘solving a paradox’, since this requires also showing good reason for rejecting the assumptions. I stepped back from this and questioned whether the formulation he was using had any paradoxical flavour at all, and we left it there. I certainly don’t agree with him on the idea of ‘apparent inconsistency’ and the notion of ‘apparent validity’ which it implies. As you know from our previous engagements and skirmishes, I believe that any ‘apparent inconsistency’ should be teased out until it becomes a real inconsistency, and we do this by re-formulating the argument with care. Or rather (since there can be no ‘real inconsistency’) we repeat the conjuring trick by showing it in greater detail, until the sleight-of-hand becomes obvious.Edward Ockhamhttps://www.blogger.com/profile/07583379503310147119noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-8593232320058777632010-12-03T11:11:17.360+00:002010-12-03T11:11:17.360+00:00This comment has been removed by the author.Edward Ockhamhttps://www.blogger.com/profile/07583379503310147119noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-70772019741464228762010-12-03T10:32:53.720+00:002010-12-03T10:32:53.720+00:00This, I think, is more convincing. But what is me...This, I think, is more convincing. But what is meant by (3)? If the claim is '~∃t. ∀n t>tn' then that too is false. The abstract presentation of (1) might suggest (3) because it's easy to imagine the ts wandering off to infinity. But a concrete example, say Tortoise starts 1 ahead of Achilles, Achilles runs at speed 1, Tortoise crawls at speed 1/2, soon corrects this, as the ts turn out to be (0, 1, 3/2, 7/4, 15/8,...}, with tn=2-2/2^n. <br /><br />My guess is that the confusion arises because we tend to think of infinite sequences by means of spatial or temporal metaphor. Take the squares. We imagine counting 0, 1, 4, 9, 16,..., silently in our heads, one at a time. The metaphor gets confused with the subject when the subject is itself temporal. We think of the times 0, 1, 3/2, 7/4,... 'occuring' at times 0, 1, 2, 3,... The confusion vanishes when we think of a sequence as a function from the natural numbers. OK, we have to accept an actually infinite domain, but there is no sense in which the function is 'incomplete'. There is a notion of incompleteness of functions but that's the concept of a partial function, which doesn't apply in this case since there's a well defined tn for every n. <br /><br />Brandon seems to be trying to get a lot of meta-philosophical mileage out of this paradox. What do you make of that?David Brightlyhttps://www.blogger.com/profile/06757969974801621186noreply@blogger.com