莱布尼兹命题9 《几何原本》公理2和亚里士多德的“相同”
-逻辑与算法之十三
在莱布尼兹的片断20中,从命题9开始,对命题的证明都辅之以几何图形。无论如何抽象的几何图形,也比纯粹文字的表述更容易为人理解。在759中曾给出过片断20命题3的文字证明,本篇再给出片断20中,逻辑加交换律命题1的文字证明。然后,则仅给出有辅助图形的命题9及其证明。
这个思路是一个未曾预料到的转换,原本想一个一个命题联袂而出,命题9,10,11.﹍﹍等等。但关于“相同”的一些经典描述突然间跳入脑际,让我从莱布尼兹一下子想到了古希腊。几何原本的公理,还有亚里士多德的工具论,如同智慧精灵般,从天际之外飘落我心,落进我对莱布尼兹命题9的思绪之中。
思考莱布尼兹普遍演算中的“相同”观,把我带回到欧几里得的《几何原本》,你再从欧几里得的希腊时代回望亚里士多德。你会发现,莱布尼兹这个普遍语句演算的逻辑加,原来有它深深的古希腊之根。
命题1:若A=B,那么B=A
如果任意物和另一物相同,那么,另一物也和那个任意物相同。
证明:
1.因为A=B,(依据假设真)
2.那就可以推出,陈述A=B中的B可以用A来替换,同理,陈述A=B中的A可以用B来替换。(根据定义1,相同的定义)
所以,我们有B=A
证毕。
我们跨过有关相同和逻辑加的前8个命题证明,来看有辅助图形的命题9。片断20定义6之下,从命题5开始,全都是关于逻辑加的一类命题,从命题9开始