就目前看来,第一条路向所取得的成果对逻辑学本身的发展更为重要。现代 逻辑运用人工语言和数学方法,不仅推动了原传统逻辑中的经典演绎逻辑和经典 归纳逻辑在现代的发展,更突破了经典逻辑的一些局限,发展了内容非常丰富的 非经典逻辑,如多值逻辑、直觉主义逻辑、模态逻辑等等。这些发展都极大的促 进了逻辑学在各个领域的应用,尤其在哲学、数学、语言学、物理学、计算机科 学与人工智能等领域展现出很诱人的前景。 如果从宏观的角度来看,现代逻辑学呈现为一个多层次的庞大的学科体系 这个体系我们可以用下图来表示:③ 逻辑语义学 元逻辑 逻辑语法学 逻辑语形学 基础逻辑 经典逻辑 现代形式逻辑 非经典逻辑 数学逻辑 哲学逻辑 应用逻辑 语言逻辑 现代逻辑 科学逻辑 技术逻辑 艺术逻辑 现代归纳逻辑 现代辩证逻辑 图(2) 图(2)中的现代形式逻辑是指传统逻辑中的演绎逻辑的现代发展;现代归 纳逻辑是指传统逻辑中归纳逻辑的现代发展;而现代辩证逻辑是指传统辩证逻辑 的现代发展。元逻辑是指用数理逻辑的方法对逻辑学自身进行理论研究和系统分 析的逻辑学分支,它包括逻辑语义学、逻辑语形学、逻辑语法学三个主要组成部 分。基础逻辑是指限于研究命题联结词和量词两种逻辑常项的诸现代形式逻辑分 支学科,包括经典逻辑和非经典逻辑两大类。经典逻辑的主要内容有一阶逻辑 模型论、集合论、递归论、证明论等。非经典逻辑主要有多值逻辑、模态逻辑 模糊逻辑、相干逻辑、内涵逻辑、直觉主义逻辑、不协调逻辑、时态逻辑、道义 逻辑、现代归纳与概率逻辑等等。应用逻辑则一般是现代形式逻辑和现代归纳逻 辑在各个领域的具体应用,如哲学逻辑是用数理逻辑方法来研究哲学的基本概念 和基本理论,而技术逻辑中的电路分析逻辑就是数理逻辑在电路分析中的应用。 ③图(2)参考赵总宽、陈幕泽、杨武金编著:《现代逻辑方法论》.中国人民大学出版社.1998年.7 就目前看来，第一条路向所取得的成果对逻辑学本身的发展更为重要。现代 逻辑运用人工语言和数学方法，不仅推动了原传统逻辑中的经典演绎逻辑和经典 归纳逻辑在现代的发展，更突破了经典逻辑的一些局限，发展了内容非常丰富的 非经典逻辑，如多值逻辑、直觉主义逻辑、模态逻辑等等。这些发展都极大的促 进了逻辑学在各个领域的应用，尤其在哲学、数学、语言学、物理学、计算机科 学与人工智能等领域展现出很诱人的前景。 如果从宏观的角度来看，现代逻辑学呈现为一个多层次的庞大的学科体系。 这个体系我们可以用下图来表示：③ 逻辑语义学 元逻辑 逻辑语法学 逻辑语形学 基础逻辑 经典逻辑 现代形式逻辑 非经典逻辑 数学逻辑 哲学逻辑 应用逻辑 语言逻辑 现代逻辑 科学逻辑 技术逻辑 艺术逻辑 现代归纳逻辑 现代辩证逻辑 图（2） 图（2）中的现代形式逻辑是指传统逻辑中的演绎逻辑的现代发展；现代归 纳逻辑是指传统逻辑中归纳逻辑的现代发展；而现代辩证逻辑是指传统辩证逻辑 的现代发展。元逻辑是指用数理逻辑的方法对逻辑学自身进行理论研究和系统分 析的逻辑学分支，它包括逻辑语义学、逻辑语形学、逻辑语法学三个主要组成部 分。基础逻辑是指限于研究命题联结词和量词两种逻辑常项的诸现代形式逻辑分 支学科，包括经典逻辑和非经典逻辑两大类。经典逻辑的主要内容有一阶逻辑、 模型论、集合论、递归论、证明论等。非经典逻辑主要有多值逻辑、模态逻辑、 模糊逻辑、相干逻辑、内涵逻辑、直觉主义逻辑、不协调逻辑、时态逻辑、道义 逻辑、现代归纳与概率逻辑等等。应用逻辑则一般是现代形式逻辑和现代归纳逻 辑在各个领域的具体应用，如哲学逻辑是用数理逻辑方法来研究哲学的基本概念 和基本理论，而技术逻辑中的电路分析逻辑就是数理逻辑在电路分析中的应用。 ③ 图（2）参考赵总宽、陈幕泽、杨武金编著：《现代逻辑方法论》.中国人民大学出版社.1998 年