贫乏却最美好的三段论和神奇而不太严格的欧几里得算法- 逻辑与算法之六
三段论是没有数字计算的推理,虽然如有些学者所言,这个来自希腊语的术语“三段论”本身就有计算的涵义。但希腊语的这个计算也许只是在推理意义上的计算或者演算,并没有数字计算的涵义。
照片1三段论的希腊文和英文
三段论与计算无缘,同时,它也因其是简单得不能再简单的推理,遭到近现代许多人的批评,认为它是一门毫无用处的东西。的确,三段论的内容比较贫乏,以至于无法表达几乎是同时代、同一个地区出现的算术和欧几里得几何学推理(《计算进化史》第14页)。但近代最伟大的一位数学家,却给这个贫乏的三段论以极高评价,这个人,就是德国哲学家也是数学家的莱布尼兹(1646-1716)。
在他所著《人类理智新论》论理性那一章,第十七章中,在讨论了三段论是有用还是无用时,莱布尼兹也承认,三段论的经院形式很少有用,即使用得着,也会太冗长太麻烦。但莱布尼兹很快就话锋一转,接着说:
“你相信吗?我主张,三段论形式的发明是人类心灵最美好、甚至也是最值得重视的东西之一。这是一种普遍的数学,它的重要性还没有被充分认识:并且我们可以说,其中包含着一种不谬性(其实是必然性)的技术,只要我们知道并且能够很好地加以运用的话,这不是永远能办得到的。”(《人类理智新论》第573页)
照片2《人类理智新论》
照片3莱布尼兹
我们现在学习的三段论,四个格,256个式,24个有效式,虽然简单&