本文探讨了三段论的简单却重要的逻辑价值，尽管其内容贫乏，但得到了莱布尼兹的高度评价。文章提到了三段论在逻辑学中的地位和其引入变元的贡献。此外，文章介绍了欧几里得算法的神奇之处，通过实例展示了如何用辗转相除法验证互质数，指出这一算法背后的推理证明方法与三段论中的归谬法和反证法密切相关。作者强调，这些古老的推理和计算方法展现了古希腊数学和逻辑的卓越智慧。
贫乏却最美好的三段论和神奇而不太严格的欧几里得算法- 逻辑与算法之六
三段论是没有数字计算的推理，虽然如有些学者所言，这个来自希腊语的术语“三段论”本身就有计算的涵义。但希腊语的这个计算也许只是在推理意义上的计算或者演算，并没有数字计算的涵义。
照片1三段论的希腊文和英文
三段论与计算无缘，同时，它也因其是简单得不能再简单的推理，遭到近现代许多人的批评，认为它是一门毫无用处的东西。的确，三段论的内容比较贫乏，以至于无法表达几乎是同时代、同一个地区出现的算术和欧几里得几何学推理（《计算进化史》第14页）。但近代最伟大的一位数学家，却给这个贫乏的三段论以极高评价，这个人，就是德国哲学家也是数学家的莱布尼兹（1646-1716）。
在他所著《人类理智新论》论理性那一章，第十七章中，在讨论了三段论是有用还是无用时，莱布尼兹也承认，三段论的经院形式很少有用，即使用得着，也会太冗长太麻烦。但莱布尼兹很快就话锋一转，接着说：
“你相信吗?我主张，三段论形式的发明是人类心灵最美好、甚至也是最值得重视的东西之一。这是一种普遍的数学，它的重要性还没有被充分认识：并且我们可以说，其中包含着一种不谬性（其实是必然性）的技术，只要我们知道并且能够很好地加以运用的话，这不是永远能办得到的。”（《人类理智新论》第573页）
照片2《人类理智新论》
照片3莱布尼兹
我们现在学习的三段论，四个格，256个式，24个有效式，虽然简单&
最低0.47元/天 解锁文章
665
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
