逻辑学研究论文

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

1-2K字不算很多的主要看要求的

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

晕....我本身的专业是市场营销的.对于逻辑学并不是蛮精通的额..据我所知.一般写论文都是万把字左右的.写的最多的就是毕业论文.对于这方面还是推荐一些专家比较好的..我真的不是很了解的.不好意思地哦

现在的论文是没有现成的，即使有也要调整的，你可以百度一下：逻辑学，生活逻辑学，然后连接什么事逻辑学在结合生活中实例分析哪些属于逻辑学范畴，呵呵，祝你好运！本回答被网友采纳

二难推理是假言选言推理的一种特殊形式。如果能在日常思维中熟练而灵活的加以运用，就会感受到逻辑智慧带给我们的极大便利，化解各种为难，在生命本能的基础上增添许多人生智慧，营造自己更高的人生境界；如在辩论中运用自如，可以使对方陷入左右为难，进退两难的境地，树立自己的观点、展示自己的理论，如期实现自己所图，在这里二难推理展示出了它不可抗拒的逻辑力量。 一 二难推理的形式及其特点 二难推理的的定义 有两个假言判断（包括充分条件假言判断和必要条件假言判断）和一个二支选言判断做前提构成的假言选言推理，由于这种推理的结论总是令人难以接受，或“左右为难”、或“进退两难”，因此也叫二难推理。 二难推理的形式：简单构成式，简单破坏式，复杂构成式，复杂破坏式。 1.简单构成式：如果P，则R；如果Q，则R；或P或Q；总之R。 符号化是：（（P→R）∧（Q→R））∧（P∨Q）→R 特点： ⑴所取的两个充分条件假言判断具有不同的前件（相互矛盾），却有相同的后件； ⑵小前提是二支选言判断，有选择的肯定有矛盾关系的前件； ⑶结论是相同的后件。因此，不论肯定那个前提条件，都得到相同的后件，而这个结论是不愿接受的。 2.简单破坏式：如果P，则Q，如果P，则R；或非P，或非R；所以，总之非P 符号化是：（（P→Q）∧（P→R））∧（＞P∨＞R）→＞P 特点： ⑴假言前提有相同的前件和不同的后件； ⑵小前提是二支选言判断，有选择地否定具有反对关系的后件 ⑶结论否定相同的前件 3.复杂构成式：如果P，则R，如果Q，则S；或P，或Q，所以，或R或S。 符号化是：（（P→R）∧（Q→S））∧（P∨Q）→（R∨S） 特点： ⑴二假言前提的前件不同，后件也不同； ⑵选言前提有选择地肯定假言前提的前件； ⑶结论必然有选择地肯定相应的后件。 4.复杂破坏式：如果P，那么R，如果Q，那么S；非R，或非S；所以非P或非Q。 符号化是：（（P→R）∧（Q→S））∧（＞R∨＞S）→（＞P∨＞Q） 特点： ⑴假言前件后件都不同； ⑵选言前提有选择地否定假言前提的后件； ⑶结论必然有选择地否定相应的前件。 二 祥林嫂面临的“二难选择” 祥林嫂死了丈夫，按照婆家的境况和农村的惯例，她势必要被卖掉，换来一笔钱来给小叔子做聘礼。但“贞女不嫁二夫”，“一马不配二鞍”，否则就是“败坏风俗”，就是“谬种”。前者是封建宗法制度的族权在作祟，后者是封建宗法制度的夫权在作祟。 祥林嫂嫁与不嫁都“有罪”，她疑惑了，摆在他面前的是一个“二难选择”。 这个“二难选择”，作为前提的两个假言判断，其前件一是肯定性的，前件二是否定性的，他们之间是矛盾关系，其后件均为否定性的，他们之间可以视为并列关系，结论是个不相容选言判断。符合简单构成式，即为： 如果P，则R； 如果Q，则R； 或P或Q； 总之R。 按照这个模式稍加整理，可以吧以上有关内容写成下列形式： 如果同意再嫁（P），则违背了夫权（有罪R）； 如果拒绝再嫁（Q），则违背了族权（有罪R）； 祥林嫂或同意再嫁（或P），或不同意再嫁（或Q）； 总之祥林嫂是有罪的（R）。 祥林嫂面临的这个“二难选择”，深刻的暴露了封建宗法制度本身的矛盾和荒谬。 或许，对封建社会的女子来说，夫权比族权更令人畏惧，因此，面对这个“二难选择”祥林嫂选择了拒绝再嫁（Q），所以她就“撞香案”了。但是她后来还是“服从”了。虽然这是族权的逼迫，虽然祥林嫂做过殊死的抵抗，虽然她很无可奈何，但是夫权仍然没有原谅她的“节失”，他后来的命运就是证明。祥林嫂的“节失”完全是族权造成的，而“节失”得后果却要祥林嫂来承担。这就又暴露出了封建宗法制度的不合理。

我们知道，普通逻辑自学考试主要内容是传统逻辑，如同素材性质判断形式之间的对当关系、换质法和换位法、三段论等，它们是一种非形式化逻辑，比较多的使用自然语言和结合人们的日常思维。自学考试还有一些数理逻辑内容，特别在复合判断及其推理和模态逻辑等章节，如真值表、两个德摩根定律，各逻辑公式间的推导等。数理逻辑是一种形式化逻辑，以人工符号这种形式语言建构形式化体系，不用或很少使用自然语言，离人们日常思维较远。逻辑的非形式化部分与形式化部分是互补的，共同为提高人们的逻辑思维能力服务。长期以来，我们认识上有片面性，似乎形式逻辑的现代化就是要强调形式化，这样，包括江苏在内的全国逻辑自考试题使用愈来愈多的公式符号和形式推导，考生当然就感到逻辑难学，自考难通过。即使勉强通过了，很快就忘记了，日常并不感到学逻辑有用。 经省自考办批准，1998年下半年普通逻辑自考增加非形式化试题。试题内容涉及自然和社会日常思维的各个领域，但是，这类试题既不是考核有关领域的专业知识，也不是考核逻辑的专业知识，而是考核考生对各种信息的理解、判断、分析、综合、推理和类比等日常逻辑思维能力。题型是单项选择题，每一题由题干和五个备选答案组成。共有15题，每题2分，合计30分。考生完全可以调动自己日常逻辑思维能力，只要知其然，即使不知其所以然也能答对得分。显然，整套逻辑试题的难度比过去有所下降，考生会感到对自己今后的学习工作很有用。我相信这种新变化会受到有关领导和广大考生欢迎的。 我国有些外资企业招聘员工也用这类试题来考核员工的逻辑思维能力。许多应聘者感到很陌生，无所适从，结果不是在外语和计算机，而是在逻辑考试中被淘汰。今年开始江苏逻辑自学考试一改，今后应聘外资企业遇到的这种尴尬就会越来越少了。 对于这类非形式化试题，虽然都是单项选择题，但从题干中所问的问题，可以分为六类： 一、由前提确定结论型 题干所给已知条件是前提，要求考生在五个备选答案中选定它合乎逻辑的结论。 例1、某汽车司机违章驾驶，交警向他宣布处理决定：“要么扣留驾驶执照三个月，要么罚款1000元。”司机说：“我不同意。” 如果司机坚持己见，那么，以下哪项实际上是他必须同意的? A、扣照但不罚款。 B、罚款但不扣照。 C、既不罚款也不扣照。 D、既罚款又扣照。 E、如果做不到既不罚款也不扣照，哪么就必须接受既罚款又扣照。 [题析与答案]交警的处理决定，其形式为“p

小时候，心是纸做的。母亲总是小心地揭开她它，放些鼓励进去。长大些，心是水做的。母亲总是静静地望着，生怕扰乱了她的平静。而现在，心是大理石做的。即使母亲撬开一道缝，看到的仍是石头。这是一首现代诗歌，没错，母亲总是注重我们的心，可是，天下有多少儿女去关心母亲那颗炙热的心。母爱，是无时不有，无处不在的。让你沉浸其中。用绵绵的温情爱意紧紧包围着你。就这样，我已经陶醉这种爱十几年了，十几年来，一如既往的真挚，那颗心，也依旧热烈。让人依赖，不想脱离。小时候的我很胖。有一次发高烧，竟然烧到嘴唇发紫。外面下着瓢泼大雨。爸爸还不在家，妈妈给我吃了退烧药，可是却没有什么用，没办法，母亲给我为围了一条毛毯。匆匆的向医院跑去。一路上，我滚烫的额头靠在母亲的肩膀上，感受着她的心跳，到了医院，医生说我已经烧到39度，如果再晚些很有可能就昏过去了。我打了针就睡着了。第二天早上醒来，母亲正趴在病床上，憨憨入睡呢？我想：她一定累了吧。本回答被网友采纳

序号 文章题目 期刊名称 刊期、时间 署名序号 文章题目 刊物、报纸、会议名称 刊期或时间 署名1认知科学视域下的归纳逻辑研究述评 逻辑学研究（CSSCI）2014.01 12 Research on Hebei province e-government affairs Web2.0 in China WIT Transactions on Information and Communication Technologies （EI） 2014.02 通讯作者3 科学、哲学与认知融合视域下的因果陈述逻辑 哲学研究（CSSCI1A）2013.12 14 中英美暑期哲学学院第17期高级研讨班暨2013当代中国哲学发展国际学术研讨会综述 哲学动态（CSSCI1B） 2013.11 15 城管行为失范的行动逻辑及其规制对策——基于街头官僚视角 经济与管理（CSSCI）2013.09 16 秦皇岛港煤炭吞吐量预测研究 生态经济（CSSCI）2013.09 37 首都经济圈区域经济空间分异研究 管理现代化（CSSCI） 2013.05 48 An idea of the topological inctive logic under the inadequate-cognition-oriented Applied Mechanics and Material（EI） 2013.11 19 An idea of dynamics inctive logic in complex cognition Applied Mechanics and Material（EI） 2013.11 通讯作者10 On the modern service instry to separat from the manufacturing instry in Hebei province Applied Mechanics and Material（EI） 2013.10 111 Some applications of the causal statement logic programming in machine language Applied Mechanics and Material（EI） 2013.11 通讯作者12面向不足与复杂认知的当代归纳逻辑研究 哲学动态（CSSCI1B） 2012.01 113全面落实中国特色社会主义总体布局 人民日报 2012.12.5（07） 独14信息经济视域下政府协同政务发展策略 中国科技论坛（CSSCI1A）2012.11 215第五届两岸逻辑教学与研究学术会议综述 哲学动态（CSSCI1B）2012.10 116夯实社会管理的基础 人民日报 2011.11.16 117我国企业单位设置社会工作岗位的必要性及实施策略 中国人力资源开发（CSSCI）2011.09 118 On the Application Of Fuzzy Logic in the Computer Engineering and Management Engineering AIMSEC2011（EI） 2011.08 119 On Cognitive Application of Generalized Computer Logic ICMT2011（EI） 2011.07 120 On The Service As A Logical Thing SOLI11（EI）2011.06 121论苏联解体的原因与我党执政风险的治理 科学社会主义（CSSCI）2011.05 独22 2010年全国应用逻辑研讨会综述 哲学动态（CSSCIIB）2011.03 323近年来日本马克思主义经济学研究 科学社会主义（CSSCI） 2010.08 124关于高校学报发行的思考 中国科技期刊研究（CSSCI） 2010.01 125论逻辑的自然与自然的逻辑 自然辩证法研究（CSSCI1A）2010.01 126引导政府组织中非正式组织的技术与方法 中国人力资源开发（CSSCI）2009.8 127改进我国农村土地征收补偿制度的若干建议 调研世界（CSSCI）2009.12 328应用市场手段实现电子废弃物资源化 中国国情国力（CSSCI）2009.12 329生态理论视野下的我国农村电子政务建设 中国行政管理（CSSCIIA） 2009.10 130推进党内民主建设 正确认识十大个关系 马克思主义研究（CSSCIIA）2009.10 131 2009年应用逻辑学术会议综述 哲学动态（CSSCI1A）2009.10 132浅论犹太民族的逻辑智慧 犹太研究（CSSCI）2009.05独33略论网络出版与电子政务 技术与创新管理（CSSCI）2009.03 134我国服务型政府建设中的数字鸿沟问题及其对策 科技管理研究（CSSCI）2009.03 135论我国电子废弃物资源化障碍的产生及其原因 生态经济（CSSCI） 2009.02 136基于PEST框架的我国休闲产业发展研究 生产力研究（CSSCI）2009.02 137马克思的政治哲学:国家形式主义视阈下的西方现代政治批判 社会主义研究（CSSCI）2009.01 238我国农村征地补偿制度的缺陷及其解决途径 经济纵横（CSSCI）2009.01 139论马克思生产力理论的真理性与发展性 生产力研究（CSSCI）2008.24 240论政府克服市场缺陷的积极行为 生产力研究（CSSCI）2008.22 141发展循环经济：政府在电子废弃物的循环利用中的角色和责任 生产力研究（CSSCI）2008.16 142波文斯的系统官僚理论 国外理论动态（CSSCI） 2008.12 143从休闲文化看人的全面发展 生产力研究（CSSCI） 2008.10 144“清官”论析 社会科学论坛（CSSCI） 2008.08 独45论农村休闲经济的开发与城郊休闲经济的发展 经济纵横（CSSCI） 2008.08 146论推类逻辑与中国古代医学 医学与哲学（CSSCI）2008.08 独47中国特色社会主义休闲经济的内涵与外延 理论前沿（CSSCI） 2008.08 148论马克思的休闲经济思想 理论前沿（CSSCI）2008.08 249论网络出版与电子政务建设的互动 未来与发展（CSSCI）2008.07 150当今三大发展中逻辑的交叉及其认知归省 哲学动态（CSSCI1A）2008.06 独51论国家分类理论的经济推动力 生产力研究（CSSCI）2008.06 252论我国农村养老保障模式的现状及其体制的完善 生产力研究（CSSCI） 2008.05 153论推类与中国古代农学 农业考古（CSSCI） 2008.04 独54胡锦涛论新时期大学生思想政治教育工作 思想教育研究（CSSCI）2008.04 155论历史分析、文化诠释与比较哲学 世界哲学（CSSCI）2008.03 独56论电子政务与网络出版的互动作用 科技与管理（CSSCI）2008.03 157加强马克思主义理论学科建设促进马克思主义理论学科发展 马克思主义研究（CSSCI）2008.02 158论城市休闲经济的发展 生产力研究（CSSCI） 2008.02 独59论网络出版对学术研究的推动 社会科学管理与评论（CSSCI）2008.01 160把握主题，着力开展科学社会主义基本原理创新研究 理论前沿（CSSCI）2007.23 261马克思主义理论家对科学社会主义基本原理的发展 理论前沿（CSSCI） 2007.23 独62关注休闲研究 构建和谐社会 生产力研究（CSSCI）2007.16 独63论网络出版与高校学术创新 出版发行研究（CSSCI）2007.12 164按需出版的路径选择—基于数字出版的考查 出版发行研究（CSSCI） 2007.11 165加强哲学学科建设 促进哲学学科发展 哲学动态（CSSCI1A） 2007.11 166论推类逻辑与中国古代科学 哲学研究（CSSCI1A） 2007.11 独67加强理论创新 促进学科建设 马克思主义研究（CSSCI1A） 2007.11 167 On Chinese Logic of the traditional Chinese Mathematics proceeding 13th ICLMPC 2007 168马克思主义范式下的“治理概念” 中国行政管理（CSSCI1A）2007.08 独69浅谈墨家思想对我国社会主义和谐社会建设的启示 科学社会主义（CSSCI）2007.05独70论社会系统生态性转型及地方政府管理职能定位与体制变革 中国行政管理（CSSCI1A）2006.11独71论社会主义和谐社会建设与我国政府职能变革 科学社会主义（CSSCI）2006.06 172黄勇：儒家仁爱与全球伦理——程氏兄弟如何回应基督责难 哲学动态（CSSCI1B）2006.03独73默尔加德：庄子先验历程的概念 哲学动态（CSSCI1B）2006.03独74作为政治的“治理” 前沿（CSSCI）2006.01 175什么是中国逻辑 船山学刊（CSSCI）2005.04独76论中国逻辑与中国传统数学 自然辩证法研究（CSSCI1A）2005.03 独77论墨家对谬误学的贡献 甘肃理论学刊（CSSCI）2005.01 独78浅析影响我国宪法监督的因素 中国特色社会主义研究（CSSCI）2003.03 179逻辑与科学思想——以墨家逻辑对中国传统数学的影响为例 中州学刊（CSSCI） 2003.02独80千古之谜的简明消解 人文杂志（CSSCI）2002.04 独81论教育逻辑学的性质、对象与研究方法 西南师范大学学报（人社版）（CSSCI）2002.02 282休闲、休闲经济与城市经济 自然辩证法研究（CSSCI1A）2002.02 独83素质教育观下的研究生外语教学改革及其实践 学位与研究生教育（CSSCI1A）2000.02 284邓小平理论与素质教育浅论 教育探索（CSSCI）1999.06 185试论翻译哲学 探索（CSSCI）1999.06 独86推进三峡库区农业产业化的辩证法则 探索（CSSCI） 1999.03 独87外物与翻译─论金岳霖的语言翻译观 语言与翻译（CSSCI）1999.03 独88试论研究生素质教育 学位与研究生教育（CSSCI1A）1999.01 289试论研究生素质教育与英语教学 西南师范大学学报（哲社版）（CSSCI）1999.01 290中国传统数学的逻辑过程 青海师范大学学报（哲社版）（CSSCI）1999.01独