内容摘要:摘要:莱布尼茨是数理逻辑的奠基者和创始人,他提出了建立理性演算和一套普遍科学语言的设想,构造了关于两个概念相结合的演算,并成功地将命题形式表达为符号公式。莱布尼茨取得这些成就绝非偶然,首先传统逻辑为数理逻辑打下了基础。最后,莱布尼茨的数理逻辑思想是为他的认识论服务的。莱布尼茨将逻辑数学化和对思维进行推演的设想对后世有着极其重要的意义。
关键词:数理逻辑;莱布尼茨;演算;数学;南开大学哲学院;认识论;博士生;关键词;推演;后世
作者简介:
摘要:莱布尼茨是数理逻辑的奠基者和创始人,他提出了建立理性演算和一套普遍科学语言的设想,构造了关于两个概念相结合的演算,并成功地将命题形式表达为符号公式。莱布尼茨取得这些成就绝非偶然,首先传统逻辑为数理逻辑打下了基础;其次,近代数学的发展和莱布尼茨一以贯之的理性演算思想也直接促进了数理逻辑的形成;最后,莱布尼茨的数理逻辑思想是为他的认识论服务的。莱布尼茨将逻辑数学化和对思维进行推演的设想对后世有着极其重要的意义。
关键词:莱布尼茨;数理逻辑;逻辑斯蒂;一般数理;通用代数
作者简介:崔文芊,南开大学哲学院博士生;王绍源,南开大学哲学院博士生。







