莱布尼兹相同和不同观念的几何图形说明-逻辑与算法之十一

莱布尼兹相同和不同观念的几何图形说明-逻辑与算法之十一

 

《符号逻辑概览》附录中的节20，莱布尼兹先用文字说明某些定义，再用文字证明有关逻辑加的24个命题。在这些被描述的定义和被证明的命题中，其中有12个附之以几何作图。

这自然引发我的兴趣，从算术加引申出的逻辑加，是不是也和欧氏几何有点关联呢？也许，弄清楚这12个有几何图形的说明和证明，我们就会找到一些答案。这大概很难弯道超车，还是老老实实一个图形，一个图形地看下去。在细节上慢慢琢磨，慢慢体味，你才会找到些感觉的吧。

最先出场的是两个定义，一个是相同（same），另一个是不同（different）。莱布尼兹常常强调同一律是一切原理中的第一原理，在他的《人类理解新论》第四卷第七章，称为“公则或公理的命题”章中，他就强调：

“很久以来，我就公开地和在私人间说过，对我们通常所用的一切次级的公理都加以证明将是很重要的，办法是把它们还原为原初的公理或直接的和不可证明的公理，这些我最近在别处称之为同一性命题。”（《人类理解新论》第473页）

 

这个同一性，不就是片断20中最先给出的def1和def2么？在这个片断中，分别称为“相同”（same）和“不同”