论莱布尼茨的数理逻辑成就及成因.pdfVIP

臣 置 翻 堰 2013年第6期 论莱布尼茨的数理逻辑成就及成因 ■崔文芊 王绍源 莱布尼茨是数理逻辑的奠基者和创始人，他提出了建立理性演算和一套普遍科学语言的设想，构造了关 于两个概念相结合的演算，并成功地将命题形式表达为符号公式。莱布尼茨取得这些成就绝非偶然，首先传 统逻辑为数理逻辑打下了基础；其次，近代数学的发展和莱布尼茨一以贯之的理性演算思想也直接促进了数 理逻辑的形成；最后，莱布尼茨的数理逻辑思想是为他的认识论服务的。莱布尼茨将逻辑数学化和对思维进 行推演的设想对后世有着极其重要的意义。 [关键词]莱布尼茨；数理逻辑；逻辑斯蒂；一般数理；通用代数 [中图分类号】B516．22 【文献标识码]A 【文章编号]1004—518X(2013)06—0032—05 崔文芊，南开大学哲学院博士生； 王绍源，南开大学哲学院博士生。(天津 300071) 在逻辑史上 ，莱布尼茨 (G．W．Leibniz，1646— 立理性演算的设想，即把所有推理化归于计算 ，使推理 1716)是继亚里士多德之后最伟大的逻辑学家之一。他 的错误成为计算的错误，以至于哲学争论也可以通过计 在逻辑方面的贡献主要有 ：一是对传统逻辑的尊重与数 算来解决。这种演算操作起来有点像通常的代数，但可 学化。二是在逻辑哲学方面：提出充足理由原则，区别了 应用于一切领域的推理 ，他把这种演算称为 “数理逻 充足理 由原则和矛盾原则；区别了事实真理与理性真 辑”、“一般数理”、“逻辑斯蒂”或者 “通用代数”。这就是 理 ；提出可能世界的思想。认为现实世界是可能世界中 莱布尼茨所要建立的新逻辑。 “如莱布尼茨在他的一篇 最好 的一个 ，是被实现 的可能性 。三是提 出建设数理逻 文章中所说的 普‘遍的数学就好 比是想象的逻辑’，应能 辑思想及实施这一理想的计划。此外，莱布尼茨还明确 论述 在‘想象范围内可精密确定的一切的东西 ’用这样 提出了数理逻辑的指导思想，主要包括在两个方面：一 的逻辑可建立思想的任何大厦，从它的简单元素到越趋 是尝试着创造一套 “通用的符号语言”，这种符号语言是 复杂的结构，这种普遍代数将是逻辑的一部分，并且是 由表意的符号组成，每一个符号对应一个概念，就像数 代数化了的逻辑。”【1(~95) 学符号一般 ；二是一个完善的符号语言系统应该同时也 莱布尼茨认为，演算就是对数学和思维都能使用的 是一个 “思维的演算”。而这两点正是现代数理逻辑的特 符号的运算。他说 ：“确实存在着某种演算同普通习惯的 征。 演算完全不同，在这里符号不代表运算 ，也不代表数 (确 定的和不确定的)，而完全是其他一些东西，例如点、性 一 、 莱布尼茨的数理逻辑成就 质、关系。”[21(PSI’在这样一个演算之内，每一个推理的正 (一)理性演算 确与否都源 自于演算，除非本质不正确，任意错误都是 莱布尼茨在 1666年的 论《组合术》一书中提出了建 因演算的错误造成的。为了使人们的推理不受命题的意 32 论莱布尼茨的数理逻辑成就及成因 义所左右 ，莱布尼茨改变推理规则，使其成为演算规 数的算术符号和计算的代数符号一样的作用”，“各种各 则。他后来认识到，实现这一 目标需要做两件事：一是发 样的概念和事物都能用一个合适的顺序加以组合 ，借助 明一套普遍语言，即一种符号化语言，用它来表示我们 于它，不同民族的人才有