从"阿基里斯追不上乌龟"看形式逻辑的不连续性

"阿基里斯追不上乌龟"的论证,依靠了形式逻辑。形式逻辑本身不能无限制地连续使用,即不能保证从正确的前提推导出正确的结论,推导的步骤越多,逻辑的失真程度越大,甚至可以得出很荒唐的结论。要保证正确的前提不走向错误的推论,逻辑推导的步骤不能太多,步骤越少,失真的危险越少。理论具体形态的自圆其说,在逻辑性和客观性及文法等方面都是相对的。