阿基里斯永远追不上乌龟
来源:互联网 发布:mac怎么翻墙 编辑:程序博客网 时间:2024/04/27 22:13
芝诺是古希腊一个极善于诡辩的哲学家。他的一个众人皆知的“阿基里斯永远追不上乌龟”的诡辩是这样的:阿基里斯是古希腊神话中善跑的英雄。假设乌龟先爬一段路然后阿基里斯去追它。芝诺认为阿基里斯永远追不上乌龟。因为前者在追上后者之前必须首先达到后者的出发点,可是,这时后者又向前爬了一段路了。于是前者又必须赶上这段路,可是这时后者又向前爬了。由于阿基里斯和乌龟之间的距离可依次分成无数小段,因此阿基里斯虽然越追越近,但永远追不上乌龟。
当然,这个结论在实践上是错误的,但奇怪的是这一论证在逻辑上却没有任何毛病。
在古希腊,还有一更妙的诡辩是这样的:1粒谷子落地时没有响声,两粒谷子落地时也没有响声,3粒谷子落地时还是没有响声……以此类推,1整袋谷子落地时也不会有响声。这同样是实践上错,逻辑上对。
对于诡辩怎么看,人们往往习惯于从实践角度去评价它,总是根据事实去说它是错的,这种评价其实是没有真正理解那些古老诡辩家的意图。那些诡辩家自己也知道这些诡辩在实践上是错误的,他们也并不真的想否认事实,谁也没有这么傻,真正傻的是那些认为诡辩家是犯傻的人。那些人傻就傻在不去想一想诡辩到底说明了什么问题。其实,“实践上错,逻辑上对”这一结果是为了说明,思想的情况和事实的情况是不同的,思想中的真理和事实上的真理是不同的真理,这两种真理分别有着不同的用处。例如,逻辑定理与事实就常常不一致。有一条逻辑定理说的是“随便一句假话都能推出任何一句话”,这听上去十分荒唐。结果真的有人就要英国大哲学家罗素证明从“2+2=5”推出“罗素是教皇”。深邃无比的罗素做出了如下的证明:假定2+2=5;等式的两边各减去2,得出2=3;易位得3=2;两边各减去1,得出2=1;教皇与罗素是两个人,但既然2=1,教皇与罗素就是1个人,所以罗素是教皇。
这个结论,有人说是笑话,如果是这样,应当说是一个很深刻的笑话。由此,的确可以悟出,思想和事实是两回事,理解这一点至关重要。实际上这并不很难理解,我们在数学中讲到的点、线、面、平行线、三角形、圆形等等在事实上是不存在的,它们只是思想中的理想化的东西。思想与事实的联系只是表现为思想可以应用到事实中去。前面讲到的那两个诡辩只是给错误想法敲敲警钟,除此之外并没有什么用处,因为它们的确很荒谬。
当然,这个结论在实践上是错误的,但奇怪的是这一论证在逻辑上却没有任何毛病。
在古希腊,还有一更妙的诡辩是这样的:1粒谷子落地时没有响声,两粒谷子落地时也没有响声,3粒谷子落地时还是没有响声……以此类推,1整袋谷子落地时也不会有响声。这同样是实践上错,逻辑上对。
对于诡辩怎么看,人们往往习惯于从实践角度去评价它,总是根据事实去说它是错的,这种评价其实是没有真正理解那些古老诡辩家的意图。那些诡辩家自己也知道这些诡辩在实践上是错误的,他们也并不真的想否认事实,谁也没有这么傻,真正傻的是那些认为诡辩家是犯傻的人。那些人傻就傻在不去想一想诡辩到底说明了什么问题。其实,“实践上错,逻辑上对”这一结果是为了说明,思想的情况和事实的情况是不同的,思想中的真理和事实上的真理是不同的真理,这两种真理分别有着不同的用处。例如,逻辑定理与事实就常常不一致。有一条逻辑定理说的是“随便一句假话都能推出任何一句话”,这听上去十分荒唐。结果真的有人就要英国大哲学家罗素证明从“2+2=5”推出“罗素是教皇”。深邃无比的罗素做出了如下的证明:假定2+2=5;等式的两边各减去2,得出2=3;易位得3=2;两边各减去1,得出2=1;教皇与罗素是两个人,但既然2=1,教皇与罗素就是1个人,所以罗素是教皇。
这个结论,有人说是笑话,如果是这样,应当说是一个很深刻的笑话。由此,的确可以悟出,思想和事实是两回事,理解这一点至关重要。实际上这并不很难理解,我们在数学中讲到的点、线、面、平行线、三角形、圆形等等在事实上是不存在的,它们只是思想中的理想化的东西。思想与事实的联系只是表现为思想可以应用到事实中去。前面讲到的那两个诡辩只是给错误想法敲敲警钟,除此之外并没有什么用处,因为它们的确很荒谬。
- 阿基里斯永远追不上乌龟
- 阿基里斯与乌龟的悖论
- “阿基里斯和乌龟”与逻辑推理的各向异性
- 破解芝诺悖论之阿基里斯追乌龟
- 芝诺悖论2 阿基里斯与乌龟
- 阿基里斯之踵
- 捷克,阿基里斯之踵
- 芝诺悖论:“人永远追不上乌龟” p.s.飞箭不动悖论
- 增量日志迭代同步和阿基里斯悖论
- newmat乔里斯基分解
- 乌龟
- 乌龟
- 标准库——C++的阿基里斯之踵
- 乔里斯基分解(Cholesky decomposition)
- 乌龟乌龟
- 永远追不上的人?
- 永远?
- 永远
- CList的使用
- javascript关闭窗口的同时打开另一个窗口的实现方法
- 获取其他进程命令行
- 草根喜剧电影 天下无丐 预告片花
- COM技术6
- 阿基里斯永远追不上乌龟
- WRITE: / ,'1'. 和 WRITE:/ '1'. 是不一样的
- ASP中FSO文件操作大全
- SWT行,AWT/Swing也行系列(1)-实现半透明及不规则窗体
- 浅谈数据库设计技巧
- 使用Java解析XML文件(二)——DOM4J篇
- Linux挂载U盘硬盘光驱
- 使用 common-fileupload 实现文件上传
- 2005年兰州交通大学硕士研究生考试题(计算机编程题)