VilSwift
人工智能与现今逻辑学的发展-〔摘要〕 本文认为，计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉，并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期，逻辑学将重点关注下列论题：（1）如何在逻辑中处理常识推理的弗协调、非单调和容错性因素？（2）如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的可错的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。 〔关键词〕 人工智能，常识推理，归纳逻辑，广义内涵逻辑，认知逻辑，自然语言逻辑 现代逻辑创始于19世纪末叶和20世纪早期，其发展动力主要来自于数学中的公理化运动。当时的数学家们试图即从少数公理根据明确给出的演绎规则推导出其他的数学定理，从而把整个数学构造成为一个严格的演绎大厦，然后用某种程序和方法一劳永逸地证明数学体系的可靠性。为此需要发明和锻造严格、精确、适用的逻辑工具。这是现代逻辑诞生的主要动力。由此造成的后果就是20世纪逻辑研究的严重数学化，其表现在于：一是逻辑专注于在数学的形式化过程中提出的问题；二是逻辑采纳了数学的方法论，从事逻辑研究就意味着象数学那样用严格的形式证明去解决问题。由此发展出来的逻辑被恰当地称为“数理逻辑”，它增强了逻辑研究的深度，使逻辑学的发展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期，并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响。 本文所要探讨的问题是：21世纪逻辑发展的主要动力将来自何处？大致说来将如何发展？我个人的看法是：计算机科学和人工智能将至少是21世纪早期逻辑学发展的主要动力源泉，并将由此决定21世纪逻辑学的另一幅面貌。由于人工智能要模拟人的智能，它的难点不在于人脑所进行的各种必然性推理（这一点在20世纪基本上已经做到了，如用计算机去进行高难度和高强度的数学证明，“深蓝”通过高速、大量的计算去与世界冠军下棋），而是最能体现人的智能特征的能动性、创造性思维，这种思维活动中包括学习、抉择、尝试、修正、推理诸因素，例如选择性地搜集相关的经验证据，在不充分信息的基础上作出尝试性的判断或抉择，不断根据环境反馈调整、修正自己的行为，……由此达到实践的成 
逻辑学论文列表 [逻辑学]推理俱乐部 03-21 [逻辑学]培养学生逻辑思维能力的做法 03-21 [逻辑学]孩子逻辑思维能力差怎么办？ 03-21 [逻辑学]再谈普通逻辑学的学习与应试 03-21 [逻辑学]“凡不可说的，应当沉默”——关于维特根斯坦的哲学札 02-13 [逻辑学]莱布尼茨的“可能世界”留下的历史困惑 01-09 [逻辑学]文学场的逻辑：布迪厄的文学观 01-09 [逻辑学]五蕴与十二因缘之关系及其哲学意义 01-09 [逻辑学]《郭店竹简与先秦学术思想》绪论 01-09 [逻辑学]戴震研究专题（一）元气实体：戴震义理之学的逻辑起点 01-09 [逻辑学]戴震研究专题（二）血气心知：戴震义理之学的逻辑展开 01-09 [逻辑学]从人工智能看当代逻辑学的发展 12-20 [逻辑学]计算机不能思维的初步逻辑证明 12-20 [逻辑学]批判思维 12-20 [逻辑学]思维与理论 12-20 [逻辑学]Peirce：科学家与逻辑学家 12-20 [逻辑学]Peirce*逻辑代数中的几个符号及其它 12-20 [逻辑学]论德里达与胡塞尔的符号学之争 12-20 [逻辑学]拒斥形而上学——论分析哲学对形而上学的批判及其局限 12-20 [逻辑学]亚里士多德与黑格尔关于对立统一学说的比较研究 12-20 [逻辑学]“凡不可说的，应当沉默”——关于维特根斯坦的哲学札记 12-20 [逻辑学]戴震研究专题（一）元气实体：戴震义理之学的逻辑起点 12-20 [逻辑学]戴震研究专题（二）血气心知：戴震义理之学的逻辑展开 12-20 [逻辑学]《郭店竹简与先秦学术思想》绪论 12-20 [逻辑学]五蕴与十二因缘之关系及其哲学意义 12-20 [逻辑学]文学场的逻辑：布迪厄的文学观 12-20 [逻辑学]莱布尼茨的“可能世界”留下的历史困惑 例文： 推理俱乐部 请你接触一个逻辑推理问题—— 逻辑推理俱乐部大厅门口贴着一张布告:"欢迎你参加推理俱乐部!只要你愿意，并且通过推理取得一张申请表，就可以获得会员资格了！" 走进大厅，看见桌子上摆着两个匣子:一个圆匣子，一个方匣子。圆匣子上写着一句话:"申请表不在此匣中"，方匣子上写着一句话:"这两句话中只有一句是真话"。 如果你想获得会员的资格，那么你是从圆匣子中，还是从方匣子中去取申请表呢? 答案是从圆匣子中取申请表。这道题似乎简单，其实推理过程却要经历下列五个步骤: 第一步:设方匣子上写的话 ("这两句话中只有一句是真话")是真的，推出圆匣子上的话 ("申请表不在此匣中")是假的。 第二步:从"申请表不在此匣中"是假的，推出申请表就在圆匣子中。 第三步:设方匣子上的话 ("这两句话中只有一句是真话")是假的，推出圆匣子上的话也是假的。 第四步:同第二步。 第五步:如果方匣子上的话是真的，那么申请表在圆匣子中;如果方匣子上的话是假的，那么申请表也在圆匣子中。或者方匣子上的话是真的，或者方匣子上的话是假的。总之，申请表在圆匣子中。 或许有些读者略一思考就能得出正确答案，然而，上述的五个步骤是缺一不可的。这五个步骤涉及到逻辑科学中的假言推理、选言推理、二难推理等诸多推理形式。而这些推理都具有各自的特殊的推理规则。 举这个例子主要是为了说明逻辑推理具有程序性与严密性。它通常是一步一步往下推的，少了一步，思维的链条就衔接不起来;它所走的每一步都必须符合逻辑的规律与规则。 心理学家认为，人的逻辑推理能力是自发产生的。随着年岁的增长，知识面的拓宽，逻辑推理能力也得到同步的发展。心理学家的意思是:即使你没有学过专门的逻辑科学，你照样能推理，照样可以从给定的前提出发得到正确的结论。这就如同你没有学过生理学，你吃 鱼吃肉也可以消化一样。 然而，要使自己具备高水平的推理能力，就要不懈的努力，通过严格的推理训练了。 这一部份搜集的九种类型的62道推理题，应该说都是世世代代流传的逻辑经典命题。这些题目取材生动，条件隐蔽，设计精巧，程序严密，极富启迪性。 智力的核心是思维能力。思维分为聚敛性思维和发散性思维。推理属于聚敛性思维。开发智力最好是以聚敛性思维作为立足点和出发点。 祝贺你加入推理俱乐部，并希望你成为一个出类拔萃的会员!
