史上一样响,因为他提出了探求因果联系的五种方法,也就是“穆勒五法 现代逻辑指的是19世纪中叶以后发展起来的数理逻辑,又称符号逻辑。通 常理解的数理逻辑包括一阶逻辑、模型论、公理集合论、递归论和证明论。广义 的数理逻辑还包括高阶逻辑、现代归纳逻辑和各种非经典逻辑等。现代逻辑的诞 生与德国晢学家和逻辑学家莱布尼兹的天才构想有关,他曾希望创造一种“万能 的数学”,有了它,就可以用计算代替思考,人们之间万一发生争执,只需要拿 起笔来算一算就行了。他的想法今天看来仍像个童话,不过,弗雷格在实施将数 学方法引入逻辑这一构想的时候却直接助产了现代逻辑。西方的哲学家称“二十 世纪”为分析的时代,是因为二十世纪有场影响深远的分析哲学运动,而几乎所 有的分析晢学家都使用了现代逻辑这把利斧。就对现代逻辑的贡献而言,除莱布 尼兹和弗雷格外,罗素、怀特海、希尔伯特、歌德尔等人也理应获得我们最大程 度的尊敬,当然他们也为人类理智发展的其他方面耗费了才智。在诺贝尔文学奖 得主罗素的笔下,大家可以发现让自己热爱逻辑的诸多理由。 传统逻辑和现代逻辑作为逻辑的两个类型,二者有千丝万缕的联系,当然他 们也有几个主要的区别: 第一,传统逻辑与现代逻辑的研究对象不完全相同。有些内容如类比与假说, 是传统逻辑的重要内容,但现代逻辑尚未展开这些方面的全面研究。现代逻辑研 究的许多内容则是传统逻辑没有研究甚至也没有能力去研究的,比如,一个公理 系统的完全性与无矛盾性。 第二,传统逻辑与现代逻辑在人们的实践中所起的认识作用有些区别。传统 逻辑是一般思维中的便利工具,它对实际思维中常见的思维形式类型(主要是推 理)加以分析、研究。这种研究的理论成果,在规范、导引人们进行符合逻辑的 思维方面发挥着重要作用。而现代逻辑是数学研究中的有用工具,它运用一些数 学方法对思维形式类型进行研究,这种研究的成果对数学、计算机科学、人工智 能等科学的发展有重要意义 第三,传统逻辑和现代逻辑所使用的工具语言不同。传统逻辑的硏究主要运 用自然语言,因为自然语言本身具有模糊、歧义性等特点,使得传统逻辑在理论 上有某些缺陷,比如不能准确地处理关系命题、必须预设命题的主项和谓项所指 称的对象存在等等。但自然语言同我们的日常经验比较接近,因此,传统逻辑在 日常生活的应用上较之现代逻辑更为广泛。现代逻辑则主要运用人工语言,通过 建立形式系统以实现对思维形式的研究。人工语言和数学方法的运用使得现代逻 辑较之传统逻辑更为精确,研究的内容也更为深刻。当然,这也使得现代逻辑更 为抽象而远离人们的日常经验, 二、逻辑学的现代发展及其体系 逻辑在现代社会的发展主要体现为两大路向:一条是以现代逻辑为代表的与 数学相结合的形式化方向。二十世纪以来,通过对算术、代数、函数、公理化方 法、数学归纳法等数学方法的吸纳,逻辑越来越趋向于数学化,并在这个方向的 研究取得一系列重要的成果。另一条是非形式化方向上的进展。比如批判性思维、 言语行为理论、言语交际理论、预设理论等方面的研究,这些论题一般与自然语 言联系紧密。美国哲学家斯特劳森甚至认为存在两个逻辑系统:一个是形式逻辑 系统;一个是自然语言逻辑系统。不过,自然语言逻辑的研究仍并不充分。6 史上一样响，因为他提出了探求因果联系的五种方法，也就是“穆勒五法”。 现代逻辑指的是 19 世纪中叶以后发展起来的数理逻辑，又称符号逻辑。通 常理解的数理逻辑包括一阶逻辑、模型论、公理集合论、递归论和证明论。广义 的数理逻辑还包括高阶逻辑、现代归纳逻辑和各种非经典逻辑等。现代逻辑的诞 生与德国哲学家和逻辑学家莱布尼兹的天才构想有关，他曾希望创造一种“万能 的数学”，有了它，就可以用计算代替思考，人们之间万一发生争执，只需要拿 起笔来算一算就行了。他的想法今天看来仍像个童话，不过，弗雷格在实施将数 学方法引入逻辑这一构想的时候却直接助产了现代逻辑。西方的哲学家称“二十 世纪”为分析的时代，是因为二十世纪有场影响深远的分析哲学运动，而几乎所 有的分析哲学家都使用了现代逻辑这把利斧。就对现代逻辑的贡献而言，除莱布 尼兹和弗雷格外，罗素、怀特海、希尔伯特、歌德尔等人也理应获得我们最大程 度的尊敬，当然他们也为人类理智发展的其他方面耗费了才智。在诺贝尔文学奖 得主罗素的笔下，大家可以发现让自己热爱逻辑的诸多理由。 传统逻辑和现代逻辑作为逻辑的两个类型，二者有千丝万缕的联系，当然他 们也有几个主要的区别： 第一，传统逻辑与现代逻辑的研究对象不完全相同。有些内容如类比与假说， 是传统逻辑的重要内容，但现代逻辑尚未展开这些方面的全面研究。现代逻辑研 究的许多内容则是传统逻辑没有研究甚至也没有能力去研究的，比如，一个公理 系统的完全性与无矛盾性。 第二，传统逻辑与现代逻辑在人们的实践中所起的认识作用有些区别。传统 逻辑是一般思维中的便利工具，它对实际思维中常见的思维形式类型（主要是推 理）加以分析、研究。这种研究的理论成果，在规范、导引人们进行符合逻辑的 思维方面发挥着重要作用。而现代逻辑是数学研究中的有用工具，它运用一些数 学方法对思维形式类型进行研究，这种研究的成果对数学、计算机科学、人工智 能等科学的发展有重要意义。 第三，传统逻辑和现代逻辑所使用的工具语言不同。传统逻辑的研究主要运 用自然语言，因为自然语言本身具有模糊、歧义性等特点，使得传统逻辑在理论 上有某些缺陷，比如不能准确地处理关系命题、必须预设命题的主项和谓项所指 称的对象存在等等。但自然语言同我们的日常经验比较接近，因此，传统逻辑在 日常生活的应用上较之现代逻辑更为广泛。现代逻辑则主要运用人工语言，通过 建立形式系统以实现对思维形式的研究。人工语言和数学方法的运用使得现代逻 辑较之传统逻辑更为精确，研究的内容也更为深刻。当然，这也使得现代逻辑更 为抽象而远离人们的日常经验。 二、逻辑学的现代发展及其体系 逻辑在现代社会的发展主要体现为两大路向：一条是以现代逻辑为代表的与 数学相结合的形式化方向。二十世纪以来，通过对算术、代数、函数、公理化方 法、数学归纳法等数学方法的吸纳，逻辑越来越趋向于数学化，并在这个方向的 研究取得一系列重要的成果。另一条是非形式化方向上的进展。比如批判性思维、 言语行为理论、言语交际理论、预设理论等方面的研究，这些论题一般与自然语 言联系紧密。美国哲学家斯特劳森甚至认为存在两个逻辑系统：一个是形式逻辑 系统；一个是自然语言逻辑系统。不过，自然语言逻辑的研究仍并不充分