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

莱布尼兹相同和不同观念的几何图形说明-逻辑与算法之十一   《符号逻辑概览》附录中的节20,莱布尼兹先用文字说明某些定义,再用文字证明有关逻辑加的24个命题。在这些被描述的定义和被证明的命题中,其中有12个附之以几何作图。 这自然引发我的兴趣,从算术加引申出的逻辑加,是不是也和欧氏几何有点关联呢?也许,弄清楚这12个有几何图形的说明和证明,我们就会找到一些答案。这大概很难弯道超车,还是老老实实一个
相关文章
相关标签/搜索