,如同数学的符号一样;二是一个完善的符号语言同时应该是一个“思维的演算”。他认为,演算就是用符号作运算,在数量方面,在思维方面都起作用。莱布尼兹提出的这两点重要思想正是现代数理逻辑的特征。他在数理逻辑领域的其他主要贡献一是成功地将命题形式表达为符号公式。二是构成了一种关于两个概念相结合的演算。他
(18/24)
下页
上页
返回列表
返回