莱布尼兹相同和不同观念的几何图形说明-逻辑与算法之十一
《符号逻辑概览》附录中的节20,莱布尼兹先用文字说明某些定义,再用文字证明有关逻辑加的24个命题。在这些被描述的定义和被证明的命题中,其中有12个附之以几何作图。
这自然引发我的兴趣,从算术加引申出的逻辑加,是不是也和欧氏几何有点关联呢?也许,弄清楚这12个有几何图形的说明和证明,我们就会找到一些答案。这大概很难弯道超车,还是老老实实一个图形,一个图形地看下去。在细节上慢慢琢磨,慢慢体味,你才会找到些感觉的吧。
最先出场的是两个定义,一个是相同(same),另一个是不同(different)。莱布尼兹常常强调同一律是一切原理中的第一原理,在他的《人类理解新论》第四卷第七章,称为“公则或公理的命题”章中,他就强调:
“很久以来,我就公开地和在私人间说过,对我们通常所用的一切次级的公理都加以证明将是很重要的,办法是把它们还原为原初的公理或直接的和不可证明的公理,这些我最近在别处称之为同一性命题。”(《人类理解新论》第473页)
这个同一性,不就是片断20中最先给出的def1和def2么?在这个片断中,分别称为“相同”(same)和“不同”