逻辑学命题逻辑论文

前言　　第一章 总论　　第一节 逻辑学的对象和基本研究方法　　第二节 逻辑的类型　　第三节 逻辑学发展的几个主要阶段　　第四节 学习逻辑学的意义　　第二章 词项逻辑（上）——概念　　第一节 概念概述　　第二节 概念的种类　　第三节 概念外延间的关系　　第四节 概念的限制和概括　　第五节 定义　　第六节 划分　　第三章 词项逻辑（下）——简单命题及其推理　　第一节 命题概述　　第二节 直言命题　　第三节 关系命题　　第四节 直言命题的直接推理　　第五节 直言三段论推理　　第六节 文恩图对三段论推理有效性的判定作用　　第四章 命题逻辑（上）——复合命题 基本命题推理　　第一节 复事命题概述　　第二节 基本复合命题　　第三节 一般复合命题 等值命题　　第四节 基本命题推理　　第五章 命题逻辑（下）——一般命题推理及其系统　　第一节 命题公式　　第二节 判别命题公式种类的方法　　第三节 范式　　第四节 一般命题推理有效性的判定　　第五节 命题自然推理　　第六节 命题逻辑系统　　第六章 谓词逻辑　　第一节 谓词逻辑的基本概念　　第二节 直言命题的谓词形式　　第三节 谓词公式　　第四节 谓词公式的种类　　第五节 将一般命题翻译成谓词公式　　第六节 谓词自然推理　　第七节 谓词逻辑的公理系统　　第七章 模态逻辑　　第一节 模态逻辑概述　　第二节 狭义模态逻辑　　第三节 道义逻辑　　第四节 时态逻辑　　第八章 归纳逻辑　　第一节 归纳逻辑概述　　第二节 归纳推理的种类　　第三节 归纳的意义　　第四节 类比推理　　第五节 求因果推理　　第九章 逻辑基本规律　　第一节 同一律　　第二节 矛盾律　　第三节 排中律　　第十章 论证　　第一节 论证概述　　第二节 证明　　第三节 反驳　　第四节 论证规则和逻辑谬误

人工智能与现今逻辑学的发展-〔摘要〕 本文认为，计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉，并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期，逻辑学将重点关注下列论题：（1）如何在逻辑中处理常识推理的弗协调、非单调和容错性因素？（2）如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的可错的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。 〔关键词〕 人工智能，常识推理，归纳逻辑，广义内涵逻辑，认知逻辑，自然语言逻辑 现代逻辑创始于19世纪末叶和20世纪早期，其发展动力主要来自于数学中的公理化运动。当时的数学家们试图即从少数公理根据明确给出的演绎规则推导出其他的数学定理，从而把整个数学构造成为一个严格的演绎大厦，然后用某种程序和方法一劳永逸地证明数学体系的可靠性。为此需要发明和锻造严格、精确、适用的逻辑工具。这是现代逻辑诞生的主要动力。由此造成的后果就是20世纪逻辑研究的严重数学化，其表现在于：一是逻辑专注于在数学的形式化过程中提出的问题；二是逻辑采纳了数学的方法论，从事逻辑研究就意味着象数学那样用严格的形式证明去解决问题。由此发展出来的逻辑被恰当地称为“数理逻辑”，它增强了逻辑研究的深度，使逻辑学的发展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期，并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响。 本文所要探讨的问题是：21世纪逻辑发展的主要动力将来自何处？大致说来将如何发展？我个人的看法是：计算机科学和人工智能将至少是21世纪早期逻辑学发展的主要动力源泉，并将由此决定21世纪逻辑学的另一幅面貌。由于人工智能要模拟人的智能，它的难点不在于人脑所进行的各种必然性推理（这一点在20世纪基本上已经做到了，如用计算机去进行高难度和高强度的数学证明，“深蓝”通过高速、大量的计算去与世界冠军下棋），而是最能体现人的智能特征的能动性、创造性思维，这种思维活动中包括学习、抉择、尝试、修正、推理诸因素，例如选择性地搜集相关的经验证据，在不充分信息的基础上作出尝试性的判断或抉择，不断根据环境反馈调整、修正自己的行为，……由此达到实践的成