芝诺是古希腊一个极善于诡辩的哲学家。他的一个众人皆知的“阿基里斯永远追不上乌龟”的诡辩是这样的:阿基里斯是古希腊神话中善跑的英雄。假设乌龟先爬一段路然后阿基里斯去追它。芝诺认为阿基里斯永远追不上乌龟。因为前者在追上后者之前必须首先达到后者的出发点,可是,这时后者又向前爬了一段路了。于是前者又必须赶上这段路,可是这时后者又向前爬了。由于阿基里斯和乌龟之间的距离可依次分成无数小段,因此阿基里斯虽然越追越近,但永远追不上乌龟。 当然,这个结论在实践上是错误的,但奇怪的是这一论证在逻辑上却没有任何毛病。 在古希腊,还有一更妙的诡辩是这样的:1粒谷子落地时没有响声,两粒谷子落地时也没有响声,3粒谷子落地时还是没有响声……以此类推,1整袋谷子落地时也不会有响声。这同样是实践上错,逻辑上对。 对于诡辩怎么看,人们往往习惯于从实践角度去评价它,总是根据事实去说它是错的,这种评价其实是没有真正理解那些古老诡辩家的意图。那些诡辩家自己也知道这些诡辩在实践上是错误的,他们也并不真的想否认事实,谁也没有这么傻,真正傻的是那些认为诡辩家是犯傻的人。那些人傻就傻在不去想一想诡辩到底说明了什么问题。其实,“实践上错,逻辑上对”这一结果是为了说明,思想的情况和事实的情况是不同的,思想中的真理和事实上的真理是不同的真理,这两种真理分别有着不同的用处。例如,逻辑定理与事实就常常不一致。有一条逻辑定理说的是“随便一句假话都能推出任何一句话”,这听上去十分荒唐。结果真的有人就要英国大哲学家罗素证明从“2+2=5”推出“罗素是教皇”。深邃无比的罗素做出了如下的证明:假定2+2=5;等式的两边各减去2,得出2=3;易位得3=2;两边各减去1,得出2=1;教皇与罗素是两个人,但既然2=1,教皇与罗素就是1个人,所以罗素是教皇。 这个结论,有人说是笑话,如果是这样,应当说是一个很深刻的笑话。由此,的确可以悟出,思想和事实是两回事,理解这一点至关重要。实际上这并不很难理解,我们在数学中讲到的点、线、面、平行线、三角形、圆形等等在事实上是不存在的,它们只是思想中的理想化的东西。思想与事实的联系只是表现为思想可以应用到事实中去。前面讲到的那两个诡辩只是给错误想法敲敲警钟,除此之外并没有什么用处,因为它们的确很荒谬。