逻辑学本科生毕业论文

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

普通逻辑学学习心得----浅谈推理练习题的解题步骤逻辑学被称为思维的体操，这样的比喻是有道理的。逻辑学确实可以训练人的思维使之具有严密性，从而提高人的逻辑思维能力。但是这种能力的获得不是靠死记硬背来实现的，而是通过做大量的逻辑习题来取得的，从这个意义上说学习普通逻辑学与学习数学有共同之处，因此学习逻辑学的重要途径就是做练习题。普通逻辑练习题根据内容的不同可分为六部分：序言部分练习题、概论部分练习题、判断部分练习题、推理部分练习题、规律部分练习题以及论证部分练习题。通过练习使我们学生达到使用的概念明确、做出的判断恰当、推理合乎逻辑、论证有说服力的目的。虽然这几个部分的练习内容不同。要实现的目的也不同，但是在做这些题时一个共同之处就是要准确理解题中所涉及的概念。在做类似要区分一个逻辑结构式的常项和变项的类型题的时候，首先必须掌握什么是常项。什么是变项。然后再确定题中哪个部分是常项、哪个部分是变项。我们知道常项是逻辑结构式中保持不变并决定其性质的项。变项是逻辑结构式中可变的项，即可被具体概念或判断来代替的部分。根据常项、变项的定义，在练习题中“所有”“都是”是逻辑结构式中保持不变并决定这个逻辑结构式是全称肯定判断的项，所以“所有”“都是”这样的词通常都是常项。而“S”“P”是可被具体概念，如“马克思主义者”“唯物主义者”或者“中国人”“亚洲人”等所代替的部分，因此是变项。同理，在分析直言三段论结构的时候，也是要把握相应的概念：大项是结论中的谓项，小项是结论中的主项，含大项的前提是大前提，含小项的前提是小前提，大小前提中共有的项是中项。（当然这之前必须要知道什么是主项、什么是谓项以及前提和结论）然后再来分析题中三段论的结构。因为普通逻辑学重点部分是推理，所以以下以推理练习题中常见的一种题型为例，谈一谈我对这种类型题的解题步骤的一些理解。例：指出下列推理是哪种类型的推理，并说明是否正确、为什么。① 有的中毒是食物中毒，因此，并非有的中毒不是食物中毒。② 人寿之长短，或许由于遗传因素，或许由后天条件；徐某长寿有遗传因素，所以他的长寿与后天条件元关。第一步：分析结构后，才能确定推理类型，所以做这样的习题首先应该分析结构。1.根据关联词语（因为、所以）确定前提和结论。“因为”后面是前提，“所以”后面是结论，“因为”前面是结论。2.根据常项确定前提和结论的判断类型。例①的前提中常项是“有的”“是”。结论中的常项是“并非”“有的”“不是”，据此可确定这个推理是直言推理。例②的前提中常项是“或许”，所以这是选言推理。3.写出逻辑结构式，指出其推理类型。①题：SIP～－SOP这是直言判断对当关系直接推理。②题：pVq^p～－q这是相容选言推理肯定否定式。第二步：根据相应推理规则指出推理形式正确与否。1.①题是下反对关系推理。根据规则。下反对关系不能同假可以同真，所以可以假推真不能以真推假；②题是相容选言推理。根据相容选言推理规则肯定一部分选言支不能否定另一部分选言支，所以不能用肯定否定式。2.指出理由回答对错。①题推理形式错误，因为根据下反对关系进行推理不能由真推假。②题推理形式错误，因为违反相容选言推理规则：肯定一部分选言支不能否定另一部分选言支。犯有误相容为不相容的逻辑错误。以上就是我学习逻辑学的一些技巧和心得，总之，我觉得，学习逻辑学要多练，熟能生巧，练多了自然就能掌握解题技巧。纯自己写的，送给你吧～

分能当饭吃么？自己写吧。别指望谁无偿帮你。