论文部分内容阅读
莱布尼茨是亚里士多德之后的伟大逻辑学家,是数理逻辑的奠基者。他的逻辑思想主要集中在他所提出的关于创设“通用语言”和“通用数学”的构想上。这两个构想是如何推动逻辑形式化、系统化的发展的,有何局限性?本文试图从现代逻辑的角度,对这两个问题进行分析、探讨,从而阐明莱布尼茨的“通用语言”和“通用数学”对现代逻辑产生的重大影响。