刘钢 | 重构中国符号逻辑体系的设想

文章预览

作者 | 刘钢   苇草智酷学术委员、中国社科院哲学研究所科学技术哲学研究室研究员 重构中国符号逻辑体系有意义吗？回答是肯定有意义。譬如说，德国学者伦泽（Victor Lenzen）就曾将莱布尼茨的逻辑系统进行了重建，揭示了五种不同的演算，可以排列如下：L0.4、L0.8、L1和L2，所有这些系统都是概念逻辑或词项逻辑伦茨便发现，其中一支PL1就是一个命题逻辑系统，它可以通过将概念和概念运算符映射到命题和命题运算符集中。最重要的微算是L1，这是莱布尼茨在1686年的《普遍探究》中发展的概念的完整代数，L1与集合代数是演绎等价或同构。由于莱布尼茨碰巧为L 1提供了一套完整的公理，所以说莱布尼茨比布尔早160年“发现”了布尔代数。 研究者据偶然发现的一份笔记上的记载，莱布尼茨1674年在巴黎期间，已经研究了二进位算术，因此他发明二 ………………………………