形式化现代逻辑的发展-朱水林著.pdfVIP

第 1 页 本世纪三十年代，现代逻辑科学相继取得 了 三个划时代 的巨大成就。 年 出生于现在捷克 斯洛伐克的布尔诺（ 的著名数学家、逻辑学 家 哥德尔发表了 《 及有关系统的形式不可 判定命题》，证明了不完全性定理； 年波兰逻 辑学家 塔斯基发表了 《形式语言中的真概念》， 建立 了模型论语义学， 年英 国著名数理逻辑 学家 图灵发表 了 《论可计算数及其在判定 问题上 的应用》，提 出了图灵机及其应用理论。三 大成果是逻辑科学 向形式科学长期演化、向现代 化高度发展 的产物 ，是人类思维 的伟大成果；三大 成果也是现代逻辑科学蓬勃发展 的新起点、新 的 推动力，并且对计算机科学的诞生和发展，对人工 智能、生物学、现代 语 言学、当代 哲 学 的发展 也打 第 2 页 下 了深深 的印记 。 为说清这些成果的内涵，还得从逻辑发展 的 历史说起，当然也得从逻辑学说起 。所谓逻辑学， 是要研究从真的前提通过怎样 的推理，才能获得 真的结论 。也就是说，逻辑学要研究什么样 的推 理是正确的？正确推理的根据是什么？我们知道， 所谓推理乃是几个命题之间的一种关系，可见逻 辑学要研究命题之间的推论关系 。考虑到命题和 推理总是用语言表达 的，命题之间在形式上 的相 互可转换关系的研究属语法范围，命题真假与否 的研究属语义学范 围，因此 ，逻辑学还要研 究 自然 语言和人工语言的语法和语义关系 。由以上分析 可知，把逻辑学看成是 以语法和语义研究为基础 的关于命题之间推论关系的一般理论较为适当。 但这实际上是一种狭义的规定。 逻辑 是一种理论 思维 。每 个 时代 的理 论 思 维 ，都被打上时代 的印记 。在不 同的时代 ，它们具 有不同的内容和不同的形式，它们是历史的产物。 古希腊 的德谟克利特认为 “逻辑是研究 自然 的工 具 ”。在 烦 琐 晦 涩 、卷 浩繁的中世纪经院逻辑之 后 ，欧洲近代产生 的第一种 内容清新、明 白易懂 的 《波尔 罗亚尔逻辑 》则说：“逻辑是认识事物指导 理性的艺术”。十九世纪创建科学归纳五法 的英 第 3 页 国著名逻辑学家弥尔对逻辑 的定义是：“逻辑是探 讨在追求真理的活动 中人类知性的科学 ”。有魄 力而较粗率 ，善抡 巨斧而不擅长挥舞细剑 的霍布 斯却说：“逻辑是概念与定义 的加减 ”。还有人称逻 辑是“理论 的理论 ”、“科学 的科学 ”、“应用心理学 ” 等等 。所有这些表 明，过去人们在 辑 ”的名义 下，曾经讨论过许多不属于逻辑范围的课题 ，其 中 包 括认 识论、形而上 学、心理 学、社会 学等 学科 的 问题 。这 种 对“逻 辑 ”一词广 义 的使用 ，本 书将 不 予采用 ，我们将把讨论 的范围限于狭义的逻辑 的 范 围。 传统的逻辑被认为本质上是与规范的思维相 关联 的。然而 ，逻辑发展 的历史表 明，逻辑 的一般 化 已经使它成为与数学几乎相 同的纯粹形式科学 一 门能够在形式符号系统中加 以表述 的关于 规则的科学。如同几何学起源于实际的土地测量， 凭藉漫长 的发展过程才成为一 门纯粹 的形式数学 一样，逻辑学起源于对思想的分析与评判，凭藉漫 长 的发展过程才成为一 门纯粹 的关于规则的形式 科学。 西方逻辑史研究学者一般把逻辑发展史划分 为 四个 时期：一、古代逻 辑 ，其 中最辉 煌 的成 就是 亚里士多德逻辑和斯多葛逻辑 ；二、中世纪逻辑，