逻辑推理理论知识篇1
在教学实践中，“逻辑学”、“逻辑与批判性思维”、“法律逻辑学”等课程在培养和提升大学生的理性思维和理性人格等方面有着重要的作用，并产生了良好效果。但由于课程内容和结构的单一性和注重理论知识教学的倾向性，导致学生在以逻辑思维实践能力测试等应用性的知识运用中掌握的知识不扎实不系统，学生运用逻辑思维和知识解决实际问题的能力较差。第一，解决怎样实现教学定位从“教会学生解题或探讨题目”到“教会学生现实使用”。近年来，越来越多的学生在努力考取教育硕士、工程硕士、国家公务员，在这些考试中有一个共通的地方就是要考察学生的逻辑知识，其考察重点并不是学生关于逻辑知识的学习情况，而是偏重在考查学生逻辑思维运用能力，即何把外在的基本逻辑知识转化成内在的逻辑分析能力。
在公务员、事业单位、选调生等考试中多数考生分数较低，原因是由于公务员考试的行政职业能力测试科目的重要内容之一就是逻辑判断，主要测试考生应用逻辑知识解决实际问题的能力。由于学生仅掌握了一定的理论知识，但应用实践能力不强，造成较多考生在逻辑试题上虽用了大量时间却没有做好，其他题目也受到了影响，造成行政职业能力测验单科成绩较低，影响了考试的整体成绩。第二，解决怎样实现教学目标从“知识掌握”到“能力培养”转移的问题。逻辑自身的性质决定了它不仅是一门理论知识，更重要的是一种运用逻辑思维分析和解决问题的能力的应用工具。在教学过程中，要引导学生树立“理论实用、掌握使用、动手能用”的学习理念，通过丰富的教学形式培育学生的兴趣，激发学生学习的创新动力。第三，解决怎样实现教学方式从“主动教”到“被动教”转变的问题。在当前的形势下，国内本科学生的就业压力越来越大，而作为工具性学科的逻辑学，在学生的思维认知和具体应用中具有重要的作用，对培养其正确的认知观念和树立正确的就业思维有着不可替代地位。通过深入的研究分析和论证，更深层次研究如何提高学生学习的主动性和积极性，提出切实改变教师教学被动性的有效办法和方式。
二、应用型本科院校逻辑学课程教学改革的侧重点
一是对传统逻辑学教育理念转变的必要性和可行性进行探索论证。探讨如何转变传统逻辑学教学观念和方式，探索如何树立逻辑学教育职业化和实践化理念的具体途径，论证对逻辑学教育模式进行实质性的改革的重要性和可行性。二是研究转变课程配置的方法。逻辑学教学需要借鉴国外高校相关的课程配置，依据各专业的实际情况，开展合适方式的逻辑学课程，定制对应的教学纲要和实行不同的授课方式。以法政学院为例，在法学专业开设法律逻辑课，有利于增强学生在法律论证中的逻辑思考能力；在思想政治教育专业开设逻辑课程，侧重于开展逻辑基础性知识的学习；在人力资源和行政管理专业开设逻辑学，重点在于通过对逻辑思维知识的讲解和对批判性思维的学习，增加学生的思想和语言表达的精确性、严谨性、条理性；在文化和传媒院校开设逻辑学课程，侧重于提高学生与写作、论辩和演说等中文实践相关的逻辑思维能力和逻辑技巧。三是分析现有实践教学模式的优缺性。对现有实践教学模式的优缺性进行分析，探讨如何实现传统教学模式和应试教学模式的综合互通。过具体而深入的论证，阐述如何推动逻辑实践教学改革循序渐进，保证教学效果的稳定提升，最大程度减少教师和学生在改革期的不适。
三、应用型本科院校逻辑学课程教学改革的具体路径
（一）建立科学的教学实践反馈机制探讨如何建立一套科学的逻辑教学实践反馈机制，从而不断优化逻辑学的授课方案，切实提升逻辑学教学模式的针对性和实效性。同时，探讨如何打破教学模式单一的现状，实现逻辑教学与传统教学方式（主要是案例教学方法）双向互通，分步骤进行，促进教学效果最优化的方式方法。主要是探讨采用具体个案与传统教学模式进行互动补充的方法，深入探讨实践教学改革循序渐进的具体路径。以公务员考试中的职业行政能力考试、行政管理mpa、工程管理GCt测试为例：逻辑试题分为：（1）推断型：（2）加强削弱型；（3）集合型；（4）排序型；（5）真假话型；（6）前提型；（7）形式比较型；（8）论点型；（9）因果型；按照具体的推理规则、论证思路又分为：简单判断推理、模态判断推理、直接推理、复合判断推理、aB结构：由因诉果、Ba结构：由果诉因。答题思路又可分为：运用逻辑方阵、“假言”、“联言”、“选言”综合运用、凭语感、常识和一般的逻辑推理等。剖析逻辑题目的分类，从出题的形式中寻找题目的普遍特征和答题思路。
（二）引导学生运用逻辑学知识解决实际问题运用逻辑学知识解决实际问题的能力体现在社会上的一些热门考试中，针对于这一现状，教学体系是如何突出问题导向，将逻辑学理论知识转化为实际解题能力。教师重点要解决的是将逻辑学知识转化为解题能力，依照不同题目的实际情况采用不同的解答方式，分析研究命题人的思路，提高学生跳过思维陷阱的能力。具体教学中的讲解重点要对逻辑试题进行细化分类，在教学中用贯穿不同知识点的案例进行分析，让学生在充分理解掌握的基础上,增强逻辑解题的各种方法,从而训练并提高其逻辑思维能力。逻辑与法律的交叉，在法律逻辑的教学中，要更加注重对实际案件的逻辑推理和论证分析，引导学生在掌握了逻辑理论知识，准确运用理论知识分析研究涉法案例，培养法治逻辑思维能力。
（三）强化学生的逻辑实践学习能力通过对逻辑实践应用的教学指导，使学生更加有效地掌握和运用理论知识，增强学生运用逻辑知识解决实际问题的自觉性和主动性，使学生既熟知逻辑知识又具备运用逻辑理论分析和解决现实问题的能力。教学的实践不断证明，在课堂上精彩的逻辑谬误分析，对提高逻辑学教学效果和改善教学质量有很大帮助。在我自己的教学经历中，就会常常把收集到的各种生动有趣的逻辑案例运用在教学中，让学生具体分析，促进学生对逻辑知识理解的更快，接受的更容易。
（四）探索更加丰富有效的教学形式不断推进改革创新，不断优化教学效果。同时，注重教学过程中学生的认知主体地位和对教学过程的参与。在课堂教学中，创新并采用案例教学、多媒体教学、课堂讨论等方式，提高学生的学习兴趣，让教学过程成为“主导作用的教师”和“主动学习的学生”之间的互动作用的过程。同时，辅助以多媒体等多种教学方法，让学生切身感受逻辑知识应用的具体性和广泛性。
逻辑推理理论知识篇2
［关键词］人工智能，常识推理，归纳逻辑，广义内涵逻辑，认知逻辑，自然语言逻辑
现代逻辑创始于19世纪末叶和20世纪早期，其发展动力主要来自于数学中的公理化运动。当时的数学家们试图即从少数公理根据明确给出的演绎规则推导出其他的数学定理，从而把整个数学构造成为一个严格的演绎大厦，然后用某种程序和方法一劳永逸地证明数学体系的可靠性。为此需要发明和锻造严格、精确、适用的逻辑工具。这是现代逻辑诞生的主要动力。由此造成的后果就是20世纪逻辑研究的严重数学化，其表现在于：一是逻辑专注于在数学的形式化过程中提出的问题；二是逻辑采纳了数学的方法论，从事逻辑研究就意味着象数学那样用严格的形式证明去解决问题。由此发展出来的逻辑被恰当地称为“数理逻辑”，它增强了逻辑研究的深度，使逻辑学的发展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期，并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响。
本文所要探讨的问题是：21世纪逻辑发展的主要动力将来自何处？大致说来将如何发展？我个人的看法是：计算机科学和人工智能将至少是21世纪早期逻辑学发展的主要动力源泉，并将由此决定21世纪逻辑学的另一幅面貌。由于人工智能要模拟人的智能，它的难点不在于人脑所进行的各种必然性推理（这一点在20世纪基本上已经做到了，如用计算机去进行高难度和高强度的数学证明，“深蓝”通过高速、大量的计算去与世界冠军下棋），而是最能体现人的智能特征的能动性、创造性思维，这种思维活动中包括学习、抉择、尝试、修正、推理诸因素，例如选择性地搜集相关的经验证据，在不充分信息的基础上作出尝试性的判断或抉择，不断根据环境反馈调整、修正自己的行为，……由此达到实践的成功。于是，逻辑学将不得不比较全面地研究人的思维活动，并着重研究人的思维中最能体现其能动性特征的各种不确定性推理，由此发展出的逻辑理论也将具有更强的可应用性。
实际上，在20世纪中后期，就已经开始了现代逻辑与人工智能（记为ai）之间的相互融合和渗透。例如，哲学逻辑所研究的许多课题在理论计算机和人工智能中具有重要的应用价值。ai从认知心理学、社会科学以及决策科学中获得了许多资源，但逻辑（包括哲学逻辑）在ai中发挥了特别突出的作用。某些原因促使哲学逻辑家去发展关于非数学推理
的理论；基于几乎同样的理由，ai研究者也在进行类似的探索，这两方面的研究正在相互接近、相互借鉴，甚至在逐渐融合在一起。例如，ai特别关心下述课题：
·效率和资源有限的推理；
·感知；
·做计划和计划再认；
·关于他人的知识和信念的推理；
·各认知主体之间相互的知识；
·自然语言理解；
·知识表示；
·常识的精确处理；
·对不确定性的处理，容错推理；
·关于时间和因果性的推理；
·解释或说明；
·对归纳概括以及概念的学习。[①]
21世纪的逻辑学也应该关注这些问题，并对之进行研究。为了做到这一点，逻辑学家们有必要熟悉ai的要求及其相关进展，使其研究成果在ai中具有可应用性。
我认为，至少是21世纪早期，逻辑学将会重点关注下述几个领域，并且有可能在这些领域出现具有重大意义的成果：（1）如何在逻辑中处理常识推理中的弗协调、非单调和容错性因素？（2）如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。
1．常识推理中的某些弗协调、非单调和容错性因素
ai研究的一个目标就是用机器智能模拟人的智能，它选择各种能反映人的智能特征的问题进行实践，希望能做出各种具有智能特征的软件系统。ai研究基于计算途径，因此要建立具有可操作性的符号模型。一般而言，ai关于智能系统的符号模型可描述为：由一个知识载体（称为知识库KB）和一组加载在KB上的足以产生智能行为的过程（称为问题求解器pS）构成。经过20世纪70年代包括专家系统的发展，ai研究者逐步取得共识，认识到知识在智能系统中力量，即一般的智能系统事实上是一种基于知识的系统，而知识包括专门性知识和常识性知识，前者亦可看做是某一领域内专家的常识。于是，常识问题就成为ai研究的一个核心问题，它包括两个方面：常识表示和常识推理，即如何在人工智能中清晰地表示人类的常识，并运用这些常识去进行符合人类行为的推理。显然，如此建立的常识知识库可能包含矛盾，是不协调的，但这种矛盾或不协调应不至于影响到进行合理的推理行为；常识推理还是一种非单调推理，即人们基于不完全的信息推出某些结论，当人们得到更完全的信息后，可以改变甚至收回原来的结论；常识推理也是一种可能出错的不精确的推理模式，是在容许有错误知识的情况下进行的推理，简称容错推理。而经典逻辑拒斥任何矛盾，容许从矛盾推出一切命题；并且它是单调的，即承认如下的推理模式：如果p?r，则pùq?r；或者说，任一理论的定理属于该理论之任一扩张的定理集。因此，在处理常识表示和常识推理时，经典逻辑应该受到限制和修正，并发展出某些非经典的逻辑，如次协调逻辑、非单调逻辑、容错推理等。有人指出，常识推理的逻辑是次协调逻辑和非单调逻辑的某种结合物，而后者又可看做是对容错推理的简单且基本的情形的一种形式化。[②]
“次协调逻辑”（paraconsistentLogic）是由普里斯特、达·科斯塔等人在对悖论的研究中发展出来的，其基本想法是：当在一个理论中发现难以克服的矛盾或悖论时，与其徒劳地想尽各种办法去排除
或防范它们，不如干脆让它们留在理论体系内，但把它们“圈禁”起来，不让它们任意扩散，以免使我们所创立或研究的理论成为“不足道”的。于是，在次协调逻辑中，能够容纳有意义、有价值的“真矛盾”，但这些矛盾并不能使系统推出一切，导致自毁。因此，这一新逻辑具有一种次于经典逻辑但又远远高于完全不协调系统的协调性。次协调逻辑家们认为，如果在一理论t中，一语句a及其否定?a都是定理，则t是不协调的；否则，称t是协调的。如果t所使用的逻辑含有从互相否定的两公式可推出一切公式的规则或推理，则不协调的t也是不足道的(trivial)。因此，通常以经典逻辑为基础的理论，如果它是不协调的，那它一定也是不足道的。这一现象表明，经典逻辑虽可用于研究协调的理论，但不适用于研究不协调但又足道的理论。达·科斯塔在20世纪60年代构造了一系列次协调逻辑系统Cn（1≤n≤w），以用作不协调而又足道的理论的逻辑工具。对次协调逻辑系统Cn的特征性描述包括下述命题：(i)矛盾律?(aù?a)不普遍有效；(ii)从两个相互否定的公式a和?a推不出任意公式；即是说，矛盾不会在系统中任意扩散，矛盾不等于灾难。(iii)应当容纳与(i)和(ii)相容的大多数经典逻辑的推理模式和规则。这里，(i)和(ii)表明了对矛盾的一种相对宽容的态度，(iii)则表明次协调逻辑对于经典逻辑仍有一定的继承性。
在任一次协调逻辑系统Cn(1≤n≤w)中，下述经典逻辑的定理或推理模式都不成立：
?(aù?a)
aù?aB
a(?aB)
(a??a)B
(a??a)?B
a??a
(?aù(aúB))B
(aB)(?B?a)
若以C0为经典逻辑，则系列C0,C1,C2,…Cn,…Cw使得对任正整数i有Ci弱于Ci-1，Cw是这系列中最弱的演算。已经为Cn设计出了合适的语义学，并已经证明Cn相对于此种语义是可靠的和完全的，并且次协调命题逻辑系统Cn还是可判定的。现在，已经有人把次协调逻辑扩展到模态逻辑、时态逻辑、道义逻辑、多值逻辑、集合论等领域的研究中，发展了这些领域内的次协调理论。显然，次协调逻辑将会得到更进一步的发展。[③]
非单调逻辑是关于非单调推理的逻辑，它的研究开始于20世纪80年代。1980年，D·麦克多莫特和J·多伊尔初步尝试着系统发展一种关于非单调推理的逻辑。他们在经典谓词演算中引入一个算子m，表示某种“一致性”断言，并将其看做是模态概念，通过一定程序把模态逻辑系统t、S4和S5翻译成非单调逻辑。B·摩尔的论文《非单调逻辑的语义思考》（1983）据认为在非单调逻辑方面作出了令人注目的贡献。他在“缺省推理”和“自动认知推理”之间做了区分，并把前者看作是在没有任何相反信息和缺少证据的条件下进行推理的过程，这种推理的特征是试探性的：根据新信息，它们很可能会被撤消。自动认知推理则不是这种类型，它是与人们自身的信念或知识相关的推理，可用它模拟一个理想的具有信念的有理性的人的推理。对于在计算机和人工智能中获得成功的应用而言，非单调逻辑尚需进一步发展。
2．归纳以及其他不确定性推理
人类智能的本质特征和最高表现是创造。在人类创造的过程中，具有必然性的演绎推理固然起重要作用，但更为重要的是具有某种不确定性的归纳、类比推理以及模糊推理等。因此，计算机要成功地模拟人的智能，真正体现出人的智能品质，就必须对各种具有不确定性的推理模式进行研究。
首先是对归纳推理和归纳逻辑的研究。这里所说的“归纳推理”是广义的，指一切扩展性推理，它们的结论所断定的超出了其前提所断定的范围，因而前提的真无法保证结论的真，整个推理因此缺乏必然性。具体说来，这种意义的“归纳”包括下述内容：简单枚举法；排除归纳法，指这样一些操作：预先通过观察或实验列出被研究现象的可能的原因，然后有选择地安排某些事例或实验，根据某些标准排除不相干假设，最后得到比较可靠的结论；统计概括：从关于有穷数目样本的构成的知识到关于未知总体分布构成的结论的推理；类比论证和假说演绎法，等等。尽管休谟提出著名的“归纳问题”，对归纳推理的合理性和归纳逻辑的可能性提出了深刻的质疑，但我认为，（1）归纳是在茫茫宇宙中生存的人类必须采取也只能采取的认知策略，对于人类来说具有实践的必然性。（2）人类有理由从经验的重复中建立某种确实性和规律性，其依据就是确信宇宙中存在某种类似于自然齐一律和客观因果律之类的东西。这一确信是合理的，而用纯逻辑的理由去怀疑一个关于世界的事实性断言则是不合理的，除非这个断言是逻辑矛盾。（3）人类有可能建立起局部合理的归纳逻辑和归纳方法论。并且，归纳逻辑的这种可能性正在计算机科学和人工智能的研究推动下慢慢地演变成现实。恩格斯早就指出，“社会一旦有技术上的需要，则这种需要比十所大学更能把科学推向前进。”[④]有人通过指责现有的归纳逻辑不成熟，得出“归纳逻辑不可能”的结论，他们的推理本身与归纳推理一样，不具有演绎的必然性。（4）人类实践的成功在一定程度上证明了相应的经验知识的真理性，也就在一定程度上证明了归纳逻辑和归纳方法论的力量。毋庸否认，归纳逻辑目前还很不成熟。有的学者指出，为了在机器的智能模拟中克服对归纳模拟的困难而有所突破，应该将归纳逻辑等有关的基础理论研究与机器学习、不确定推理和神经网络学习模型与归纳学习中已有的成果结合起来。只有这样，才能在已有的归纳学习成果上，在机器归纳和机器发现上取得新的突破和进展。[⑤]这是一个极有价值且极富挑战性的课题，无疑在21世纪将得到重视并取得进展。
再谈模糊逻辑。现实世界中充满了模糊现象，这些现象反映到人的思维中形成了模糊概念和模糊命题，如“矮个子”、“美人”、“甲地在乙地附近”、“他很年轻”等。研究模糊概念、模糊命题和模糊推理的逻辑理论叫做“模糊逻辑”。对它的研究始于20世纪20年代，其代表性人物是L·a·查德和p·n·马林诺斯。模糊逻辑为精确逻辑（二值逻辑）解决不了的问题提供了解决的可能，它目前在医疗诊断、故障检测、气象预报、自动控制以及人工智能研究中获得重要应用。显然，它在21世纪将继续得到更大的发展。
3．广义内涵逻辑
经典逻辑只是对命题联结词、个体词、谓词、量词和等词进行了研究，但在自然语言中，除了这些语言成分之外，显然还存在许多其他的语言成分，如各种各样的副词，包括模态词“必然”、“可能”和“不可能”
、时态词“过去”、“现在”和“未来”、道义词“应该”、“允许”、“禁止”等等，以及各种认知动词，如“思考”、“希望”、“相信”、“判断”、“猜测”、“考虑”、“怀疑”，这些认知动词在逻辑和哲学文献中被叫做“命题态度词”。对这些副词以及命题态度词的逻辑研究可以归类为“广义内涵逻辑”。
大多数副词以及几乎所有命题态度词都是内涵性的，造成内涵语境，后者与外延语境构成对照。外延语境又叫透明语境，是经典逻辑的组合性原则、等值置换规则、同一性替换规则在其中适用的语境；内涵语境又称晦暗语境，是上述规则在其中不适用的语境。相应于外延语境和内涵语境的区别，一切语言表达式（包括自然语言的名词、动词、形容词直至语句）都可以区分为外延性的和内涵性的，前者是提供外延语境的表达式，后者是提供内涵性语境的表达式。例如，杀死、见到、拥抱、吻、砍、踢、打、与…下棋等都是外延性表达式，而知道、相信、认识、必然、可能、允许、禁止、过去、现在、未来等都是内涵性表达式。在内涵语境中会出现一些复杂的情况。首先，对于个体词项来说，关键性的东西是我们不仅必须考虑它们在现实世界中的外延，而且要考虑它们在其他可能世界中的外延。例如，由于“必然”是内涵性表达式，它提供内涵语境，因而下述推理是非有效的：
晨星必然是晨星，
晨星就是暮星，
所以，晨星必然是暮星。
这是因为：这个推理只考虑到“晨星”和“暮星”在现实世界中的外延，并没有考虑到它们在每一个可能世界中的外延，我们完全可以设想一个可能世界，在其中“晨星”的外延不同于“暮星”的外延。因此，我们就不能利用同一性替换规则，由该推理的前提得出它的结论：“晨星必然是暮星”。其次，在内涵语境中，语言表达式不再以通常是它们的外延的东西作为外延，而以通常是它们的内涵的东西作为外延。以“达尔文相信人是从猿猴进化而来的”这个语句为例。这里，达尔文所相信的是“人是从猿猴进化而来的”所表达的思想，而不是它所指称的真值，于是在这种情况下，“人是从猿猴进化而来的”所表达的思想（命题）就构成它的外延。再次，在内涵语境中，虽然适用于外延的函项性原则不再成立，但并不是非要抛弃不可，可以把它改述为新的形式：一复合表达式的外延是它出现于外延语境中的部分表达式的外延加上出现于内涵语境中的部分表达式的内涵的函项。这个新的组合性或函项性原则在内涵逻辑中成立。
一般而言，一个好的内涵逻辑至少应满足两个条件：（i）它必须能够处理外延逻辑所能处理的问题；（ii）它还必须能够处理外延逻辑所不能处理的难题。这就是说，它既不能与外延逻辑相矛盾，又要克服外延逻辑的局限。这样的内涵逻辑目前正在发展中，并且已有初步轮廓。从术语上说，内涵逻辑除需要真、假、语句真值的同一和不同、集合或类、谓词的同范围或不同范围等外延逻辑的术语之外，还需要同义、内涵的同一和差异、命题、属性或概念这样一些术语。广而言之，可以把内涵逻辑看作是关于象“必然”、“可能”、“知道”、“相信”，“允许”、“禁止”等提供内涵语境的语句算子的一般逻辑。在这种广义之下，模态逻辑、时态逻辑、道义逻辑、认知逻辑、问题逻辑等都是内涵逻辑。不过，还有一种狭义的内涵逻辑，它可以粗略定义如下：一个内涵逻辑是一个形式语言，其中包括（1）谓词逻辑的算子、量词和变元，这里的谓词逻辑不必局限于一阶谓词逻辑，也可以是高阶谓词逻辑；（2）合式的λ—表达式，例如(λx)a，这里a是任一类型的表达式，x是任一类型的变元，(λx)a本身是一函项，它把变元x在其中取值的那种类型的对象映射到a所属的那种类型上；（3）其他需要的模态的或内涵的算子，例如€，ù、ú。而一个内涵逻辑的解释，则由下列要素组成：（1）一个可能世界的非空集w；（2）一个可能个体的非空集D；（3）一个赋值，它给系统内的表达式指派它们在每w∈w中的外延。对于任一的解释Q和任一的世界w∈w，判定内涵逻辑系统中的任一表达式X相对于解释Q在w∈w中的外延总是可能的。这样的内涵逻辑系统有丘奇的LSD系统，R·蒙塔古的iL系统，以及e·n·扎尔塔的FiL系统等。[⑥]
在各种内涵逻辑中，认识论逻辑（epistemiclogic）具有重要意义。它有广义和狭义之分。广义的认识论逻辑研究与感知（perception）、知道、相信、断定、理解、怀疑、问题和回答等相关的逻辑问题，包括问题逻辑、知道逻辑、相信逻辑、断定逻辑等；狭义的认识论逻辑仅指知道和相信的逻辑，简称“认知逻辑”。冯·赖特在1951年提出了对“认知模态”的逻辑分析，这对建立认知逻辑具有极大的启发作用。J·麦金西首先给出了一个关于“知道”的模态逻辑。a·帕普于1957年建立了一个基于6条规则的相信逻辑系统。J·亨迪卡于60年代出版的《知识和信念》一书是认知逻辑史上的重要著作，其中提出了一些认知逻辑的系统，并为其建立了基于“模型集”的语义学，后者是可能世界语义学的先导之一。当今的认知逻辑纷繁复杂，既不成熟也面临许多难题。由于认知逻辑涉及认识论、心理学、语言学、计算机科学和人工智能等诸多领域，并且认知逻辑的应用技术，又称关于知识的推理技术，正在成为计算机科学和人工智能的重要分支之一，因此认知逻辑在20世纪中后期成为国际逻辑学界的一个热门研究方向。这一状况在21世纪将得到继续并进一步强化，在这方面有可能出现突破性的重要结果。
4．对自然语言的逻辑研究
对自然语言的逻辑研究有来自几个不同领域的推动力。首先是计算机和人工智能的研究，人机对话和通讯、计算机的自然语言理解、知识表示和知识推理等课题，都需要对自然语言进行精细的逻辑分析，并且这种分析不能仅停留在句法层面，而且要深入到语义层面。其次是哲学特别是语言哲学，在20世纪哲学家们对语言表达式的意义问题倾注了异乎寻常的精力，发展了各种各样的意义理论，如观念论、指称论、使用论、言语行为理论、真值条件论等等，以致有人说，关注意义成了20世纪哲学家的职业病。再次是语言学自身发展的需要，例如在研究自然语言的意义问题时，不能仅仅停留在脱离语境的抽象研究上面，而要结合使用语言的特定环境去研究，这导致了语义学、语用学、新修辞学等等发展。各个方面发展的成果可以总称为“自然语言逻辑”，它力图综合后期维特根斯坦提倡的使用论
，J·L·奥斯汀、J·L·塞尔等人发展的言语行为理论，以及p·格赖斯所创立的会话含义学说等成果，透过自然语言的指谓性和交际性去研究自然语言中的推理。
自然语言具有表达和交际两种职能，其中交际职能是自然语言最重要的职能，是它的生命力之所在。而言语交际总是在一定的语言环境（简称语境）中进行的，语境有广义和狭义之分。狭义的语境仅指一个语词、一个句子出现的上下文。广义的语境除了上下文之外，还包括该语词或语句出现的整个社会历史条件，如该语词或语句出现的时间、地点、条件、讲话的人（作者）、听话的人（读者）以及交际双方所共同具有的背景知识，这里的背景知识包括交际双方共同的信念和心理习惯，以及共同的知识和假定等等。这些语境因素对于自然语言的表达式（语词、语句）的意义有着极其重要的影响，这具体表现在：（i）语境具有消除自然语言语词的多义性、歧义性和模糊性的能力，具有严格规定语言表达式意义的能力。（ii）自然语言的句子常常包含指示代词、人称代词、时间副词等，要弄清楚这些句子的意义和内容，就要弄清楚这句话是谁说的、对谁说的、什么时候说的、什么地点说的、针对什么说的，等等，这只有在一定的语境中才能进行。依赖语境的其他类型的语句还有：包含着象“有些”和“每一个”这类量化表达式的句子的意义取决于依语境而定的论域，包含着象“大的”、“冷的”这类形容词的句子的意义取决于依语境而定的相比较的对象类；模态语句和条件语句的意义取决于因语境而变化的语义决定因素，如此等等。（iii）语言表达式的意义在语境中会出现一些重要的变化，以至偏离它通常所具有的意义（抽象意义），而产生一种新的意义即语用涵义。有人认为，一个语言表达式在它的具体语境中的意义，才是它的完全的真正的意义，一旦脱离开语境，它就只具有抽象的意义。语言的抽象意义和它的具体意义的关系，正象解剖了的死人肢体与活人肢体的关系一样。逻辑应该去研究、理解、把握自然语言的具体意义，当然不是去研究某一个（或一组）特定的语句在某个特定语境中唯一无二的意义，而是专门研究确定自然语言具体意义的普遍原则。[⑦]
美国语言学家保罗·格赖斯把语言表达式在一定的交际语境中产生的一种不同于字面意义的特殊涵义，叫做“语用涵义”、“会话涵义”或“隐涵”（implicature），并于1975年提出了一组“交际合作原则”，包括一个总则和四组准则。总则的内容是：在你参与会话时，你要依据你所参与的谈话交流的公认目的或方向，使你的会话贡献符合这种需要。仿照康德把范畴区分为量、质、关系和方式四类，格赖斯提出了如下四组准则：
（1）数量准则：在交际过程中给出的信息量要适中。
a．给出所要求的信息量；
b．给出的信息量不要多于所要求的信息量。
（2）质量准则：力求讲真话。
a．不说你认为假的东西，。
b．不说你缺少适当证据的东西。
（3）关联准则：说话要与已定的交际目的相关联。
（4）方式准则：说话要意思明确，表达清晰。
a．避免晦涩生僻的表达方式；
b．避免有歧义的表达方式；
c．说话要简洁；
d．说话要有顺序性。[⑧]
后来对这些原则提出了不和补充，例如有人还提出了交际过程中所要遵守的“礼貌原则”。只要把交际双方遵守交际合作原则之类的语用规则作为基本前提，这些原则就可以用来确定和把握自然语言的具体意义（语用涵义）。实际上，一个语句p的语用涵义，就是听话人在具体语境中根据语用规则由p得到的那个或那些语句。更具体地说，从说话人S说的话语p推出语用涵义q的一般过程是：
（i）S说了p；
（ii）没有理由认为S不遵守准则，或至少S会遵守总的合作原则；
（iii）S说了p而又要遵守准则或总的合作原则，S必定想表达q；
（iv）S必然知道，谈话双方都清楚：如果S是合作的，必须假设q；
（v）S无法阻止听话人H考虑q；
（vi）因此，S意图让H考虑q，并在说p时意味着q。
试举二例：
（1）a站在熄火的汽车旁，b向a走来。a说：“我没有汽油了。”b说：“前面拐角处有一个修车铺。”这里a与b谈话的目的是：a想得到汽油。根据关系准则，b说这句话是与a想得到汽油相关的，由此可知：b说这句话时隐涵着：“前面的修车铺还在营业并且卖汽油。”
（2）某教授写信推荐他的学生任某项哲学方面的工作，信中写到：“亲爱的先生：我的学生c的英语很好，并且准时上我的课。”根据量的准则，应该提供所需要的信息量；作为教授，他对自己的学生的情况显然十分熟悉，也可以提供所需要的信息量，但他有意违反量的准则，在信中只用一句话来介绍学生的情况，任用人一旦接到这封信，自然明白：教授认为c不宜从事这项哲学工作。
并且，语用涵义还具有如下5个特点：（i）可取消性：在给原话语附加上某些话语之后，它原有的语用涵义可被取消。在例（1）中，若b在说“前面拐角处有一个修车铺”之后又补上一句：“不过它这时已经关门了”，则原有的语用涵义“你可从那里得到汽油”就被取消了。（ii）不可分离性：如果某话语在特定的语境中产生了语用涵义，则无论采用什么样的同义结构，该含义始终存在，因为它所依附的是话语的内容，而不是话语的形式。（iii）可推导性，前面已说明这一点。（iv）非规约性：语用涵义不能单独从话语本身推出来，除要考虑交际合作原则之类的语用规则之外，也需要假定通常的逻辑推理规则，并需要把上文语句、交际双方所共有的背景知识作为附加前提考虑在内。（v）不确定性：同一句话语在不同的语境中可以产生不同的语用涵义。显然，确定某个话语的语用涵义是一个极其复杂的过程，需要综合和分析、归纳和演绎的统一应用，因此具有一定的或然性。研究如何迅速有效地把握自然语言表达式在具体语境中的语用涵义，这正是自然语言逻辑所要完成的任务之一，它将在21世纪取得进展。［摘要］本文认为，计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉，并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期，逻辑学将重点关注下列论题：（1）如何在逻辑中处理常识推理的弗协调、非单调和容错性因素？（2）如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的可错的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。
［关键词］人工智能，常识推理，归纳逻辑，广义内涵逻辑，认知逻辑，自然语言逻辑
现代逻辑创始于19世纪末叶和20世纪早期，其发展动力主要来自于数学中的公理化运动。当时的数学家们试图即从少数公理根据明确给出的演绎规则推导出其他的数学定理，从而把整个数学构造成为一个严格的演绎大厦，然后用某种程序和方法一劳永逸地证明数学体系的可靠性。为此需要发明和锻造严格、精确、适用的逻辑工具。这是现代逻辑诞生的主要动力。由此造成的后果就是20世纪逻辑研究的严重数学化，其表现在于：一是逻辑专注于在数学的形式化过程中提出的问题；二是逻辑采纳了数学的方法论，从事逻辑研究就意味着象数学那样用严格的形式证明去解决问题。由此发展出来的逻辑被恰当地称为“数理逻辑”，它增强了逻辑研究的深度，使逻辑学的发展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期，并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响。
本文所要探讨的问题是：21世纪逻辑发展的主要动力将来自何处？大致说来将如何发展？我个人的看法是：计算机科学和人工智能将至少是21世纪早期逻辑学发展的主要动力源泉，并将由此决定21世纪逻辑学的另一幅面貌。由于人工智能要模拟人的智能，它的难点不在于人脑所进行的各种必然性推理（这一点在20世纪基本上已经做到了，如用计算机去进行高难度和高强度的数学证明，“深蓝”通过高速、大量的计算去与世界冠军下棋），而是最能体现人的智能特征的能动性、创造性思维，这种思维活动中包括学习、抉择、尝试、修正、推理诸因素，例如选择性地搜集相关的经验证据，在不充分信息的基础上作出尝试性的判断或抉择，不断根据环境反馈调整、修正自己的行为，……由此达到实践的成功。于是，逻辑学将不得不比较全面地研究人的思维活动，并着重研究人的思维中最能体现其能动性特征的各种不确定性推理，由此发展出的逻辑理论也将具有更强的可应用性。
实际上，在20世纪中后期，就已经开始了现代逻辑与人工智能（记为ai）之间的相互融合和渗透。例如，哲学逻辑所研究的许多课题在理论计算机和人工智能中具有重要的应用价值。ai从认知心理学、社会科学以及决策科学中获得了许多资源，但逻辑（包括哲学逻辑）在ai中发挥了特别突出的作用。某些原因促使哲学逻辑家去发展关于非数学推理
的理论；基于几乎同样的理由，ai研究者也在进行类似的探索，这两方面的研究正在相互接近、相互借鉴，甚至在逐渐融合在一起。例如，ai特别关心下述课题：
·效率和资源有限的推理；
·感知；
·做计划和计划再认；
·关于他人的知识和信念的推理；
·各认知主体之间相互的知识；
·自然语言理解；
·知识表示；
·常识的精确处理；
·对不确定性的处理，容错推理；
·关于时间和因果性的推理；
·解释或说明；
·对归纳概括以及概念的学习。[①]
21世纪的逻辑学也应该关注这些问题，并对之进行研究。为了做到这一点，逻辑学家们有必要熟悉ai的要求及其相关进展，使其研究成果在ai中具有可应用性。
我认为，至少是21世纪早期，逻辑学将会重点关注下述几个领域，并且有可能在这些领域出现具有重大意义的成果：（1）如何在逻辑中处理常识推理中的弗协调、非单调和容错性因素？（2）如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。
1．常识推理中的某些弗协调、非单调和容错性因素
ai研究的一个目标就是用机器智能模拟人的智能，它选择各种能反映人的智能特征的问题进行实践，希望能做出各种具有智能特征的软件系统。ai研究基于计算途径，因此要建立具有可操作性的符号模型。一般而言，ai关于智能系统的符号模型可描述为：由一个知识载体（称为知识库KB）和一组加载在KB上的足以产生智能行为的过程（称为问题求解器pS）构成。经过20世纪70年代包括专家系统的发展，ai研究者逐步取得共识，认识到知识在智能系统中力量，即一般的智能系统事实上是一种基于知识的系统，而知识包括专门性知识和常识性知识，前者亦可看做是某一领域内专家的常识。于是，常识问题就成为ai研究的一个核心问题，它包括两个方面：常识表示和常识推理，即如何在人工智能中清晰地表示人类的常识，并运用这些常识去进行符合人类行为的推理。显然，如此建立的常识知识库可能包含矛盾，是不协调的，但这种矛盾或不协调应不至于影响到进行合理的推理行为；常识推理还是一种非单调推理，即人们基于不完全的信息推出某些结论，当人们得到更完全的信息后，可以改变甚至收回原来的结论；常识推理也是一种可能出错的不精确的推理模式，是在容许有错误知识的情况下进行的推理，简称容错推理。而经典逻辑拒斥任何矛盾，容许从矛盾推出一切命题；并且它是单调的，即承认如下的推理模式：如果p?r，则pùq?r；或者说，任一理论的定理属于该理论之任一扩张的定理集。因此，在处理常识表示和常识推理时，经典逻辑应该受到限制和修正，并发展出某些非经典的逻辑，如次协调逻辑、非单调逻辑、容错推理等。有人指出，常识推理的逻辑是次协调逻辑和非单调逻辑的某种结合物，而后者又可看做是对容错推理的简单且基本的情形的一种形式化。[②]
“次协调逻辑”（paraconsistentLogic）是由普里斯特、达·科斯塔等人在对悖论的研究中发展出来的，其基本想法是：当在一个理论中发现难以克服的矛盾或悖论时，与其徒劳地想尽各种办法去排除
或防范它们，不如干脆让它们留在理论体系内，但把它们“圈禁”起来，不让它们任意扩散，以免使我们所创立或研究的理论成为“不足道”的。于是，在次协调逻辑中，能够容纳有意义、有价值的“真矛盾”，但这些矛盾并不能使系统推出一切，导致自毁。因此，这一新逻辑具有一种次于经典逻辑但又远远高于完全不协调系统的协调性。次协调逻辑家们认为，如果在一理论t中，一语句a及其否定?a都是定理，则t是不协调的；否则，称t是协调的。如果t所使用的逻辑含有从互相否定的两公式可推出一切公式的规则或推理，则不协调的t也是不足道的(trivial)。因此，通常以经典逻辑为基础的理论，如果它是不协调的，那它一定也是不足道的。这一现象表明，经典逻辑虽可用于研究协调的理论，但不适用于研究不协调但又足道的理论。达·科斯塔在20世纪60年代构造了一系列次协调逻辑系统Cn（1≤n≤w），以用作不协调而又足道的理论的逻辑工具。对次协调逻辑系统Cn的特征性描述包括下述命题：(i)矛盾律?(aù?a)不普遍有效；(ii)从两个相互否定的公式a和?a推不出任意公式；即是说，矛盾不会在系统中任意扩散，矛盾不等于灾难。(iii)应当容纳与(i)和(ii)相容的大多数经典逻辑的推理模式和规则。这里，(i)和(ii)表明了对矛盾的一种相对宽容的态度，(iii)则表明次协调逻辑对于经典逻辑仍有一定的继承性。
在任一次协调逻辑系统Cn(1≤n≤w)中，下述经典逻辑的定理或推理模式都不成立：
?(aù?a)
aù?aB
a(?aB)
(a??a)B
(a??a)?B
a??a
(?aù(aúB))B
(aB)(?B?a)
若以C0为经典逻辑，则系列C0,C1,C2,…Cn,…Cw使得对任正整数i有Ci弱于Ci-1，Cw是这系列中最弱的演算。已经为Cn设计出了合适的语义学，并已经证明Cn相对于此种语义是可靠的和完全的，并且次协调命题逻辑系统Cn还是可判定的。现在，已经有人把次协调逻辑扩展到模态逻辑、时态逻辑、道义逻辑、多值逻辑、集合论等领域的研究中，发展了这些领域内的次协调理论。显然，次协调逻辑将会得到更进一步的发展。[③]
非单调逻辑是关于非单调推理的逻辑，它的研究开始于20世纪80年代。1980年，D·麦克多莫特和J·多伊尔初步尝试着系统发展一种关于非单调推理的逻辑。他们在经典谓词演算中引入一个算子m，表示某种“一致性”断言，并将其看做是模态概念，通过一定程序把模态逻辑系统t、S4和S5翻译成非单调逻辑。B·摩尔的论文《非单调逻辑的语义思考》（1983）据认为在非单调逻辑方面作出了令人注目的贡献。他在“缺省推理”和“自动认知推理”之间做了区分，并把前者看作是在没有任何相反信息和缺少证据的条件下进行推理的过程，这种推理的特征是试探性的：根据新信息，它们很可能会被撤消。自动认知推理则不是这种类型，它是与人们自身的信念或知识相关的推理，可用它模拟一个理想的具有信念的有理性的人的推理。对于在计算机和人工智能中获得成功的应用而言，非单调逻辑尚需进一步发展。
2．归纳以及其他不确定性推理
人类智能的本质特征和最高表现是创造。在人类创造的过程中，具有必然性的演绎推理固然起重要作用，但更为重要的是具有某种不确定性的归纳、类比推理以及模糊推理等。因此，计算机要成功地模拟人的智能，真正体现出人的智能品质，就必须对各种具有不确定性的推理模式进行研究。
首先是对归纳推理和归纳逻辑的研究。这里所说的“归纳推理”是广义的，指一切扩展性推理，它们的结论所断定的超出了其前提所断定的范围，因而前提的真无法保证结论的真，整个推理因此缺乏必然性。具体说来，这种意义的“归纳”包括下述内容：简单枚举法；排除归纳法，指这样一些操作：预先通过观察或实验列出被研究现象的可能的原因，然后有选择地安排某些事例或实验，根据某些标准排除不相干假设，最后得到比较可靠的结论；统计概括：从关于有穷数目样本的构成的知识到关于未知总体分布构成的结论的推理；类比论证和假说演绎法，等等。尽管休谟提出著名的“归纳问题”，对归纳推理的合理性和归纳逻辑的可能性提出了深刻的质疑，但我认为，（1）归纳是在茫茫宇宙中生存的人类必须采取也只能采取的认知策略，对于人类来说具有实践的必然性。（2）人类有理由从经验的重复中建立某种确实性和规律性，其依据就是确信宇宙中存在某种类似于自然齐一律和客观因果律之类的东西。这一确信是合理的，而用纯逻辑的理由去怀疑一个关于世界的事实性断言则是不合理的，除非这个断言是逻辑矛盾。（3）人类有可能建立起局部合理的归纳逻辑和归纳方法论。并且，归纳逻辑的这种可能性正在计算机科学和人工智能的研究推动下慢慢地演变成现实。恩格斯早就指出，“社会一旦有技术上的需要，则这种需要比十所大学更能把科学推向前进。”[④]有人通过指责现有的归纳逻辑不成熟，得出“归纳逻辑不可能”的结论，他们的推理本身与归纳推理一样，不具有演绎的必然性。（4）人类实践的成功在一定程度上证明了相应的经验知识的真理性，也就在一定程度上证明了归纳逻辑和归纳方法论的力量。毋庸否认，归纳逻辑目前还很不成熟。有的学者指出，为了在机器的智能模拟中克服对归纳模拟的困难而有所突破，应该将归纳逻辑等有关的基础理论研究与机器学习、不确定推理和神经网络学习模型与归纳学习中已有的成果结合起来。只有这样，才能在已有的归纳学习成果上，在机器归纳和机器发现上取得新的突破和进展。[⑤]这是一个极有价值且极富挑战性的课题，无疑在21世纪将得到重视并取得进展。
再谈模糊逻辑。现实世界中充满了模糊现象，这些现象反映到人的思维中形成了模糊概念和模糊命题，如“矮个子”、“美人”、“甲地在乙地附近”、“他很年轻”等。研究模糊概念、模糊命题和模糊推理的逻辑理论叫做“模糊逻辑”。对它的研究始于20世纪20年代，其代表性人物是L·a·查德和p·n·马林诺斯。模糊逻辑为精确逻辑（二值逻辑）解决不了的问题提供了解决的可能，它目前在医疗诊断、故障检测、气象预报、自动控制以及人工智能研究中获得重要应用。显然，它在21世纪将继续得到更大的发展。
3．广义内涵逻辑
经典逻辑只是对命题联结词、个体词、谓词、量词和等词进行了研究，但在自然语言中，除了这些语言成分之外，显然还存在许多其他的语言成分，如各种各样的副词，包括模态词“必然”、“可能”和“不可能”
、时态词“过去”、“现在”和“未来”、道义词“应该”、“允许”、“禁止”等等，以及各种认知动词，如“思考”、“希望”、“相信”、“判断”、“猜测”、“考虑”、“怀疑”，这些认知动词在逻辑和哲学文献中被叫做“命题态度词”。对这些副词以及命题态度词的逻辑研究可以归类为“广义内涵逻辑”。
大多数副词以及几乎所有命题态度词都是内涵性的，造成内涵语境，后者与外延语境构成对照。外延语境又叫透明语境，是经典逻辑的组合性原则、等值置换规则、同一性替换规则在其中适用的语境；内涵语境又称晦暗语境，是上述规则在其中不适用的语境。相应于外延语境和内涵语境的区别，一切语言表达式（包括自然语言的名词、动词、形容词直至语句）都可以区分为外延性的和内涵性的，前者是提供外延语境的表达式，后者是提供内涵性语境的表达式。例如，杀死、见到、拥抱、吻、砍、踢、打、与…下棋等都是外延性表达式，而知道、相信、认识、必然、可能、允许、禁止、过去、现在、未来等都是内涵性表达式。在内涵语境中会出现一些复杂的情况。首先，对于个体词项来说，关键性的东西是我们不仅必须考虑它们在现实世界中的外延，而且要考虑它们在其他可能世界中的外延。例如，由于“必然”是内涵性表达式，它提供内涵语境，因而下述推理是非有效的：
晨星必然是晨星，
晨星就是暮星，
所以，晨星必然是暮星。
这是因为：这个推理只考虑到“晨星”和“暮星”在现实世界中的外延，并没有考虑到它们在每一个可能世界中的外延，我们完全可以设想一个可能世界，在其中“晨星”的外延不同于“暮星”的外延。因此，我们就不能利用同一性替换规则，由该推理的前提得出它的结论：“晨星必然是暮星”。其次，在内涵语境中，语言表达式不再以通常是它们的外延的东西作为外延，而以通常是它们的内涵的东西作为外延。以“达尔文相信人是从猿猴进化而来的”这个语句为例。这里，达尔文所相信的是“人是从猿猴进化而来的”所表达的思想，而不是它所指称的真值，于是在这种情况下，“人是从猿猴进化而来的”所表达的思想（命题）就构成它的外延。再次，在内涵语境中，虽然适用于外延的函项性原则不再成立，但并不是非要抛弃不可，可以把它改述为新的形式：一复合表达式的外延是它出现于外延语境中的部分表达式的外延加上出现于内涵语境中的部分表达式的内涵的函项。这个新的组合性或函项性原则在内涵逻辑中成立。
一般而言，一个好的内涵逻辑至少应满足两个条件：（i）它必须能够处理外延逻辑所能处理的问题；（ii）它还必须能够处理外延逻辑所不能处理的难题。这就是说，它既不能与外延逻辑相矛盾，又要克服外延逻辑的局限。这样的内涵逻辑目前正在发展中，并且已有初步轮廓。从术语上说，内涵逻辑除需要真、假、语句真值的同一和不同、集合或类、谓词的同范围或不同范围等外延逻辑的术语之外，还需要同义、内涵的同一和差异、命题、属性或概念这样一些术语。广而言之，可以把内涵逻辑看作是关于象“必然”、“可能”、“知道”、“相信”，“允许”、“禁止”等提供内涵语境的语句算子的一般逻辑。在这种广义之下，模态逻辑、时态逻辑、道义逻辑、认知逻辑、问题逻辑等都是内涵逻辑。不过，还有一种狭义的内涵逻辑，它可以粗略定义如下：一个内涵逻辑是一个形式语言，其中包括（1）谓词逻辑的算子、量词和变元，这里的谓词逻辑不必局限于一阶谓词逻辑，也可以是高阶谓词逻辑；（2）合式的λ—表达式，例如(λx)a，这里a是任一类型的表达式，x是任一类型的变元，(λx)a本身是一函项，它把变元x在其中取值的那种类型的对象映射到a所属的那种类型上；（3）其他需要的模态的或内涵的算子，例如€，ù、ú。而一个内涵逻辑的解释，则由下列要素组成：（1）一个可能世界的非空集w；（2）一个可能个体的非空集D；（3）一个赋值，它给系统内的表达式指派它们在每w∈w中的外延。对于任一的解释Q和任一的世界w∈w，判定内涵逻辑系统中的任一表达式X相对于解释Q在w∈w中的外延总是可能的。这样的内涵逻辑系统有丘奇的LSD系统，R·蒙塔古的iL系统，以及e·n·扎尔塔的FiL系统等。[⑥]
在各种内涵逻辑中，认识论逻辑（epistemiclogic）具有重要意义。它有广义和狭义之分。广义的认识论逻辑研究与感知（perception）、知道、相信、断定、理解、怀疑、问题和回答等相关的逻辑问题，包括问题逻辑、知道逻辑、相信逻辑、断定逻辑等；狭义的认识论逻辑仅指知道和相信的逻辑，简称“认知逻辑”。冯·赖特在1951年提出了对“认知模态”的逻辑分析，这对建立认知逻辑具有极大的启发作用。J·麦金西首先给出了一个关于“知道”的模态逻辑。a·帕普于1957年建立了一个基于6条规则的相信逻辑系统。J·亨迪卡于60年代出版的《知识和信念》一书是认知逻辑史上的重要著作，其中提出了一些认知逻辑的系统，并为其建立了基于“模型集”的语义学，后者是可能世界语义学的先导之一。当今的认知逻辑纷繁复杂，既不成熟也面临许多难题。由于认知逻辑涉及认识论、心理学、语言学、计算机科学和人工智能等诸多领域，并且认知逻辑的应用技术，又称关于知识的推理技术，正在成为计算机科学和人工智能的重要分支之一，因此认知逻辑在20世纪中后期成为国际逻辑学界的一个热门研究方向。这一状况在21世纪将得到继续并进一步强化，在这方面有可能出现突破性的重要结果。
4．对自然语言的逻辑研究
对自然语言的逻辑研究有来自几个不同领域的推动力。首先是计算机和人工智能的研究，人机对话和通讯、计算机的自然语言理解、知识表示和知识推理等课题，都需要对自然语言进行精细的逻辑分析，并且这种分析不能仅停留在句法层面，而且要深入到语义层面。其次是哲学特别是语言哲学，在20世纪哲学家们对语言表达式的意义问题倾注了异乎寻常的精力，发展了各种各样的意义理论，如观念论、指称论、使用论、言语行为理论、真值条件论等等，以致有人说，关注意义成了20世纪哲学家的职业病。再次是语言学自身发展的需要，例如在研究自然语言的意义问题时，不能仅仅停留在脱离语境的抽象研究上面，而要结合使用语言的特定环境去研究，这导致了语义学、语用学、新修辞学等等发展。各个方面发展的成果可以总称为“自然语言逻辑”，它力图综合后期维特根斯坦提倡的使用论
，J·L·奥斯汀、J·L·塞尔等人发展的言语行为理论，以及p·格赖斯所创立的会话含义学说等成果，透过自然语言的指谓性和交际性去研究自然语言中的推理。
自然语言具有表达和交际两种职能，其中交际职能是自然语言最重要的职能，是它的生命力之所在。而言语交际总是在一定的语言环境（简称语境）中进行的，语境有广义和狭义之分。狭义的语境仅指一个语词、一个句子出现的上下文。广义的语境除了上下文之外，还包括该语词或语句出现的整个社会历史条件，如该语词或语句出现的时间、地点、条件、讲话的人（作者）、听话的人（读者）以及交际双方所共同具有的背景知识，这里的背景知识包括交际双方共同的信念和心理习惯，以及共同的知识和假定等等。这些语境因素对于自然语言的表达式（语词、语句）的意义有着极其重要的影响，这具体表现在：（i）语境具有消除自然语言语词的多义性、歧义性和模糊性的能力，具有严格规定语言表达式意义的能力。（ii）自然语言的句子常常包含指示代词、人称代词、时间副词等，要弄清楚这些句子的意义和内容，就要弄清楚这句话是谁说的、对谁说的、什么时候说的、什么地点说的、针对什么说的，等等，这只有在一定的语境中才能进行。依赖语境的其他类型的语句还有：包含着象“有些”和“每一个”这类量化表达式的句子的意义取决于依语境而定的论域，包含着象“大的”、“冷的”这类形容词的句子的意义取决于依语境而定的相比较的对象类；模态语句和条件语句的意义取决于因语境而变化的语义决定因素，如此等等。（iii）语言表达式的意义在语境中会出现一些重要的变化，以至偏离它通常所具有的意义（抽象意义），而产生一种新的意义即语用涵义。有人认为，一个语言表达式在它的具体语境中的意义，才是它的完全的真正的意义，一旦脱离开语境，它就只具有抽象的意义。语言的抽象意义和它的具体意义的关系，正象解剖了的死人肢体与活人肢体的关系一样。逻辑应该去研究、理解、把握自然语言的具体意义，当然不是去研究某一个（或一组）特定的语句在某个特定语境中唯一无二的意义，而是专门研究确定自然语言具体意义的普遍原则。[⑦]
美国语言学家保罗·格赖斯把语言表达式在一定的交际语境中产生的一种不同于字面意义的特殊涵义，叫做“语用涵义”、“会话涵义”或“隐涵”（implicature），并于1975年提出了一组“交际合作原则”，包括一个总则和四组准则。总则的内容是：在你参与会话时，你要依据你所参与的谈话交流的公认目的或方向，使你的会话贡献符合这种需要。仿照康德把范畴区分为量、质、关系和方式四类，格赖斯提出了如下四组准则：
（1）数量准则：在交际过程中给出的信息量要适中。
a．给出所要求的信息量；
b．给出的信息量不要多于所要求的信息量。
（2）质量准则：力求讲真话。
a．不说你认为假的东西，。
b．不说你缺少适当证据的东西。
（3）关联准则：说话要与已定的交际目的相关联。
（4）方式准则：说话要意思明确，表达清晰。
a．避免晦涩生僻的表达方式；
b．避免有歧义的表达方式；
c．说话要简洁；
d．说话要有顺序性。[⑧]
后来对这些原则提出了不和补充，例如有人还提出了交际过程中所要遵守的“礼貌原则”。只要把交际双方遵守交际合作原则之类的语用规则作为基本前提，这些原则就可以用来确定和把握自然语言的具体意义（语用涵义）。实际上，一个语句p的语用涵义，就是听话人在具体语境中根据语用规则由p得到的那个或那些语句。更具体地说，从说话人S说的话语p推出语用涵义q的一般过程是：
（i）S说了p；
（ii）没有理由认为S不遵守准则，或至少S会遵守总的合作原则；
（iii）S说了p而又要遵守准则或总的合作原则，S必定想表达q；
（iv）S必然知道，谈话双方都清楚：如果S是合作的，必须假设q；
（v）S无法阻止听话人H考虑q；
（vi）因此，S意图让H考虑q，并在说p时意味着q。
试举二例：
（1）a站在熄火的汽车旁，b向a走来。a说：“我没有汽油了。”b说：“前面拐角处有一个修车铺。”这里a与b谈话的目的是：a想得到汽油。根据关系准则，b说这句话是与a想得到汽油相关的，由此可知：b说这句话时隐涵着：“前面的修车铺还在营业并且卖汽油。”
逻辑推理理论知识篇3
在21世纪的今天，以及更加遥远的将来，我们的生活和工作都将受到科学技术的影响，而且这种影响将会与日俱增，总之，我们是生活在一个科学技术主导的时代。我们生活中的一切物品，无不打上了人类科学文明的印记。在这种时代背景下，提高人的科学素养无论是对个体还是对国家或者民族来说，都有着重要的意义。首先，它是个人生存的需要。在这个时代，如果一个人没有科学素养，他对科学一无所知，他就简直难以生存。农业生产劳动已经日益离不开科学的指导，科学育种、科学播种、科学施肥、科学施药，收获后还要科学储藏，几乎每一个环节都和现代科学技术密切相关。工业生产本身早已实现了科学生产，科学技术几乎主导着所有的工业门类，不用说生物技术工业、精密器械工业、信息工业，就连一些传统的工业门类，也都必须紧跟时代科学技术的步伐，否则就会被淘汰。服务业虽然离不开人的参与，看重人的个性特长，但是许多服务业也都依附着科学技术，甚至本身就是在提供最新的科学技术服务，从事这些行业都需要掌握较多的专业技术知识，具有专业技术能力。至于日常生活，我们生活中的很多消费品都是科学技术的产品，对其使用都需要一定的科学知识。比如各种家电产品、各种电子产品，对它们的使用需要电器和电子方面的基本知识，否则很容易带来危险。甚至我们对基本的医药知识也需要掌握，否则也会产生危险，每年都有大量因误用药物而导致中毒、甚至死亡的案例。其次，它是个体发展的需要。人的发展是一个追求全面发展的过程，未来的社会就是以人的自由全面发展为根本追求的社会。但人的全面发展离不开科学素养的提升。科学素养的提高不但可以为个人提供更多的发展手段和方式，而且它本身就是人的全面发展的一个方面、一个指标。科学素养和人文素养共同组成人的综合素养，只有同时具备才算是一个全面的人。同时，现在很多的教育都借助现代的科学技术手段，比如网络教育、远程教育，如果想进行这方面的学习，就必须具备这方面的科学素养。现代的各种最新资讯、最新知识都是通过互联网等现代手段来传播的，对它们的接受，都必须依靠基本的互联网技术。
再次，它是提高国民整体素质的重要方面。一个国家和民族的强大固然可以通过强大的经济实力表现出来，但这只是一个方面，而且不是最主要的一个方面。21世纪是科学技术主导的世纪，其最宝贵的是人的素质，整个国民素质的强大，才能确保国家和民族的强大。如果一个国家和民族具备较高的国民素质，这个国家和民族就会真正地强大起来，并且会持续强大，即使遇到挫折，也会很快复兴起来。20世纪的德国就是一个很好的例子，它是两次世界大战的战败国，两次战后甚至都被别的国家“分割占有”，但它每次都能很快再次强大起来，成为少数最强大的国家之一。历史学家在分析这一现象时就找到了国民素质这一项，德国被誉为义务教育最伟大的国家。早在1619年，当时的德意志魏玛公国就明确做出义务教育的规定，1885年的普鲁士政府就开始实施了免费义务教育。可以说，提升国民素质一直都是这个国家和民族最看重的事情。在国民素质中，科学素养是其重要的方面，也是整个国民素质的基础。最后，它是国家科学技术发展的基础。一个国家和民族只有在整体上提高科学素养，其国民基本上都拥有了基本的科学知识，掌握了一定的科学理论和思想，具有了一定的科学思维，这个国家才能培养出更多科学技术方面的人才，也才能更有效地把科学技术转化为生产力，从而为新的科学技术开发提供各种资金、技术、空间等支持。这个国家和民族才能不断地“冲击”科学技术的高峰。
二、形式逻辑的科学精神:求真
形式逻辑作为一种“科学的逻辑”，一种探索“物的世界”的思维工具，它具有科学的精神，那就是对真理的追求。可以说形式逻辑和真理具有密切的关系，真理就是形式逻辑的根本追求。形式逻辑和真理的关系，基本上是无人质疑的。其实，形式逻辑追求真理的理论诉求，在亚里士多德创制形式逻辑时就已经明确进行了论述。在亚里士多德看来，形式逻辑是一种获得科学知识的有效工具，形式逻辑的存在本身就是为了获得知识。在他那里，知识就是真理，就是关于事物本质的认识。“我们无论如何都是通过证明获得知识的。我所谓的证明就是指产生科学知识的三段论。所谓科学知识，是指只要我们把握了它，我们就能据此知道事物的东西”。从真理观上看，亚里士多德所提出的符合论真理观目前依然是最被广泛认可的真理观。这种真理观认为，“一事物之真理与各事物之实是必相符合的”。而这和他在三段论中关于真理的认识是一致的。亚里士多德在形式逻辑上也坚持一种符合论的真理观，在《工具论》中，他明确指出:“真实就在于符合事实。”形式逻辑所获得的真理就是关于事物的真实认识，即如实反映出事物的本真面貌，正确把握事物的各种特性规律。亚里士多德主张在科学三段论推理时，其前提必须是真实的、可靠的，并且推理应该按照形式推理的格式要求进行，这些都是为了获得真理性的结论。除了符合论的真理观之外，目前比较流行的其它几种真理观也主要是依据形式逻辑来进行界定的。比如融贯论的真理观。真理的融贯论认为:“一个命题的真不在于它与事实、实在的符合、一致或对应，而在于它与它所从属的命题系统中其他成员是否融贯。融贯者为真，不融贯者为假。”［3］另外，真理的冗余论也是如此界定的，这种真理观认为我们给句子加上“真的”或“假的”是多余的，说“p是真的”就等于“p”，“真的”这一谓语只不过是意味着我们接受p、肯定p等，它没有给出什么新的描述。这一界定是依据逻辑句法结构来进行的。形式逻辑把真理作为自己的理论追求，一种最高的价值，这也和形式逻辑要求成为一种“客观性”的逻辑是密不可分的。形式逻辑要求在相同的前提下，依据形式逻辑的推理程序，要得到同样的结果。为此，形式逻辑还在自己的运作过程中，做出了自己严格的程序设计:其一，形式逻辑要求进行形式化的思考，使形式逻辑可以做到同一性标准的要求;其二，与其一相关，形式逻辑是一种外延逻辑，它的外延化思考使这种逻辑在思考事物时可以进行量化和计算;其三，形式逻辑为推理规定了严格的形式程序，三段论的格和式就是形式推理的一种程序规定;其四，形式逻辑建立起公理化系统，要求推理在系统内进行，每个系统都是完备和自足的。当然，形式逻辑把真作为自己的理论追求，形式逻辑贵在求真，并不代表形式逻辑就没有价值取向，就放弃了善的要求。逻辑本身并不外在于人，即使是形式逻辑，它也有着人文关怀。只是，与善比较起来，形式逻辑更偏向于真，真是形式逻辑的最高指向。
三、形式逻辑对提升科学素养的意义
形式逻辑是一种“物的逻辑”，它的首要功能就是理解和解释人类自然界的奥秘，从而获得关于外界的知识，它是科学探索的“拐杖”，是进行科学研究的工具。形式逻辑有时又被称作知性逻辑，这和它的知识本性有关系，亚里士多德就把获取知识看做形式逻辑的德性。可以说，形式逻辑对于科学知识和科学思维都有重要的意义，它本身就是一种科学方法。最重要的是，形式逻辑的精神就是科学的求真精神，形式逻辑天生和科学素养有着内在的关联。因此研习和掌握形式逻辑有助于自身提升科学素养。第一，具备形式逻辑思维能力是进行科学研究的基础。从科学理论的角度来看，从事任何科学研究，都无法离开形式逻辑思维，都必然要求从事者进行符合逻辑的思考。整个科学的研究过程，从收集整理材料，到提出一定的科学假说，再到对假说和理论进行验证，都需要形式逻辑思维，都需要推理和证明，没有推理和证明的帮助，这一切都将寸步难行。
可以说，形式逻辑思维能力是一个人从事科学研究的基本素养。正是在这一意义上，爱因斯坦才说:“作为一个科学家，他必须是一位严谨的逻辑推理者。科学家的目的是要得到关于自然界的一个逻辑上前后一贯的摹写。逻辑之对于他，有如比例和透视规律之对于画家一样。”［4］第二，形式逻辑是获取新知识的工具。形式逻辑的一项根本功能就是从已知推出未知，也即新知。在前提给定的情况下，我们通过有效的形式逻辑推理，来发现前提中隐藏不明的新知识，形式逻辑被视为获得新知识的工具，也主要是从这个意义上而言的。恩格斯也曾指出:“形式逻辑也首先是探寻新结果的方法，由已知进到未知的方法。”［5］迄今为止的很多重大科学发现，都首先是通过形式逻辑推理得出的，然后通过一定的科学实验和观察来进行验证。门捷列夫提出的化学元素周期律，天文学家通过测量推理得出的海王星的存在，都是如此。
第三，形式逻辑是科学发现的基础。在科学发现中，假说演绎法是一种重要的方法，它有着十分重要的意义。很多事实和现象的发生，依据当时现有的科学事实和理论，不足以对其做出满意的解释和说明。在这种情况下，科学只好借助一定的假说来进行解释，然后在某些条件具备时来验证依据假说所推出的事实，如果依据假说所得到的事实被验证，假说就变成了科学理论。比如魏格纳的大陆漂移学说就是一个著名的假说，目前的宇宙大爆炸学说也是一个重要的科学假说。
第四，形式逻辑有助于提高人们的表达能力。科学研究既包括科学实验操作，也包括理论表述。操作的过程和结果都需要被表述出来，才能为人们所了解和掌握，也才能进行重复性操作。只有通过一定的语言对科学研究的过程和结果进行表述和论证，把它变成一种科学理论，这项科学研究才算最终完成。形式逻辑主张概念要清晰明确，命题要恰当真实，推理过程要合乎逻辑的有效性要求，论证要有充分的依据，并且结构清晰。因此，研习和掌握形式逻辑有利于提高人们的表述和理解能力。符合逻辑的表达，是科学理论的基本要求。爱因斯坦在谈到他的广义相对论时曾说:“这个理论主要吸引人的地方在于逻辑上的完备性。从它推出的许多结论中，只要有一个被证明是错误的，它就必须被抛弃;要对它进行修改而不摧毁其整个结构，那似乎是不可能的。”
逻辑推理理论知识篇4
一王延直(1872－1947)，字穆若，号仲肃，又号剑秋，贵州贵阳人，留日学者，清末庚子辛丑并科举人，中国近代引进和传播西方逻辑科学的先驱之一，其逻辑学代表著作《普通应用论理学》［1］(以下简称“王著”)突出地代表了西方逻辑系统输入成熟阶段所达到的水平，在中国近代逻辑史上具有重要地位。“王著”写于1905－1912年，历时七载，于中华民国元年七月(1912年7月)由云南印刷局印刷，贵阳论理学社发行。1981年由云南逻辑学者黄恒蛟先生在旧书摊上发现，随即被带到当时正在昆明召开的云南省逻辑学会成立大会上。应邀参加大会的贵州省哲学学会逻辑组副组长张同生先生(后曾任贵州大学副校长、贵州省社会科学院院长)将该书借回贵阳复印了几份，之后，贵阳师院政教系(现贵州师范大学政经系)按原样制作成油印本数百份供研究参考，即今之所见《普通应用论理学》。
二“王著”重现受到了学术关注，其学术价值也得到了学界的认可。
首先是对于“王著”的学术地位的关注。有学者认为，“王著”是“云贵地区近代逻辑教学和研究的一个缩影”，“对研究我国近代逻辑史及逻辑学在云贵地区的介绍和传播等问题具有一定的参考和研究价值”［2］43－49;也有学者认为，“王延直是一位热心宣传、推进逻辑科学在我国传播发展的实干家”［3］15－20，“王著”等著作的问世，“标志着我国对西方逻辑的系统输入已进入成熟阶段”［4］81－82;还有学者指出，“王著”是“中国最早的国人自己纂著的几部逻辑著作之一”［5］14－21;“象《普通应用论理学》这样从1905年就由中国人自己纂著的逻辑著作，在那个时期，不仅在云贵地区罕见，就是在全国也是屈指可数的”［6］42－43;王延直等学者“亲自动手写作逻辑著作，这标志着中国逻辑进入了一个新的阶段”［7］6－9;国家“六五”计划重点项目《中国逻辑史·近代卷》对“王著”作了长达4页，近3000字的评价，提出:“特别是《普通应用论理学》，突出地代表了西方逻辑系统输入成熟阶段所达到的水平。”［8］
1999年底，北京隆重出版《中国学术百年》丛书，其中的《逻辑学百年》一书多次提及并高度评价“王著”，特别指出:“严复等人译著的问世及严复、王国维、王延直等亲自讲演或授课，受到学界、思想界热烈欢迎，‘一时风靡，学者闻所未闻，吾国政治之根柢名学理论者，自此始也’”［9］。因此有学者提出，“王著”是“继《穆勒名学》出版之后，可以跟严复翻译的《名学浅说》、王国维翻译的《辨学》相提并论的逻辑学著作”［10］58－60。其次是对于“王著”纂著的时代背景的讨论。
有学者认为，“王延直先生是受强烈的民族使命和社会责任感的驱使，来完成这部书的”［11］16－20;也有学者指出，“王著”的写作目的是“开发民智，促进中国的革新自强”［6］42－43;还有学者认为，“王著”所体现的思想，基本上属于当时“科学救国”或者“教育救国”一类的基本思想［2］43－49。
再次是关于“王著”内容的研究。《中国逻辑史·近代卷》特别提出:“王著”一是“内容丰富，演绎归纳并重”;二是“注重历史沿革，明确肯定中国名辩、印度因明、希腊亚氏逻辑为世界三大源流”;三是“逻辑术语好记易懂，已趋稳定”;四是“理论系统，强调应用”［8］。也有学者认为，“王著”“内容全面、融贯中西”［12］75－78，“简明扼要、眉目清楚、行文流畅、好读易懂”［4］81－82，更为重要的是，她“包含了深邃的逻辑思想”［12］75－78。
综观已有研究，“王著”的学术价值尤其是其史料价值受到一定程度的关注。学界同行的真知灼见具有十分重要的学术启迪，但仍存在以下不足:其一，在研究视角上，已有研究大多局限于逻辑基本理论的分析，缺乏从逻辑哲学层面的考察;其二，在研究内容上，已有研究均没有关于王延直逻辑源流思想、逻辑客体思想、逻辑归纳思想以及逻辑演绎思想等重要的逻辑问题的系统研究。因此，立足于逻辑哲学的视角，深入挖掘“王著”所包含的深刻的逻辑思想及其理论体系，仍然是一个亟待开拓的具有重要意义的全新课题。
笔者认为，“王著”不仅具有学界所认同的史料价值，更重要的是，她包含了深刻的逻辑哲学思想，许多思想即使在今天看来，仍具有重要的学术启迪。
三就内容而言，“王著”并未涉及现代逻辑理论，这似乎意味着该书未涉及逻辑哲学问题。因为，一般认为:“严格意义上的逻辑哲学是一门新兴的哲学学科，它是现代逻辑与现代哲学相互渗透，相互作用的产物。它的产生有两个历史前提:一是数理逻辑的创立以及后来多种逻辑分支、多个逻辑系统的同时并存，一是现代西方哲学所发生的‘语言学转向’。因此，逻辑哲学的历史并不长。”［13］1
若按此理解，当然也不存在“王著”所包含的逻辑哲学思想。然而，对“逻辑哲学”也可以广义地理解，即不论现代逻辑还是传统逻辑，都存在由逻辑本身所包含或提出的一系列哲学问题，以哲学的眼界来探讨、解释和回答这些问题的理论，就属于广义的逻辑哲学的范围。
尽管“王著”未曾涉及现代逻辑的内容，但其讨论的大大小小诸多问题，在而后数十年间一直是逻辑哲学关注的重大理论问题。而这些问题大多都是在现代逻辑发展和演变的过程中才引起人们关注的，如逻辑的源流及中国古代有无逻辑的问题、逻辑的研究对象问题、逻辑科学的学科地位问题以及归纳与演绎问题，等等。
关于逻辑源流问题，涉及到中国古代有无逻辑这一重要问题。对于这一问题，“王著”明确肯定世界逻辑的三大源流:“古代文明诸国，莫不有论理学之萌芽。其中最著名者三:曰中国，曰印度，曰希腊是也。”［1］9
从而有力地驳斥了西方学者所谓“中国古代无逻辑”论。但是，“王著”并非完全认可中国古代各家各派的逻辑理论，认为孔子、荀子而后无人继起;至于惠施、邓析、尹文、公孙龙等，无非诡辩派耳;韩墨诸家之文章、苏张诸家之辩论，纯属偶合，决非由逻辑法则得出。“王著”指出:“孔子首创正名之说”，“荀子蹱之”，“于是有大共之说。即今之所谓归纳也。有大别之说，即今之所谓演绎也。”“惜乎荀子而后无人继起而光大之。”“若夫惠施邓析尹文公孙龙辈，无非徒逞诡辩，取快一时。”“韩墨诸家之文章，苏张诸家之辨(辩)论，证以论理法则，合者也颇多，然此不过偶然之符合，决非皆由论理法则而出者。”［1］9－10这种认为孔子、荀子而外无逻辑的观点，难免是对古代一大批逻辑家的逻辑学说及其贡献的抹杀，恐难为今之逻辑史研究家们所接受。至于惠施、邓析、尹文、公孙龙之理论是否诡辩，迄今仍在争论。
关于逻辑的研究对象，逻辑学界给出不同的回答，至今仍未达成一致。但归结起来，逻辑的研究对象大致可分为三类:思维(自弗雷格［G．Fre-ge］以降，改称推理或推理形式有效性)、语言和客观世界。“王著”开篇指出:“论理学者说明思考之法则之科学也。”“语云:有物有则。宇宙间现象，虽千变万化，然皆必循一定之规律，此一定之规律，即法则也。”法则有二:“天然的”和“人为的”。“天然的法则，凡属实物，皆不能不遵循;至人为的法则，不过行于知识发达之人类间而已。例如伦理法、文典、美学的规范等，皆人为的法则也。思考之法则，亦人为法则之一种。”“思考之法则虽属人为之法则，然与任意所设定之规律不同，必以天然的法则为其基础。”［1］7－8显然，“王著”所谓“思考之法则”乃“以天然法则为基础的人为法则”。因此，关于逻辑研究对象，“王著”具有明显的逻辑客观世界说倾向;在认识论上，“王著”纂著者属于唯物主义反映论者。
关于逻辑科学的学科地位问题，“王著”赞同西方学者所倡“论理学为科学中之科学”之观点，指出这“足以表示论理学范围之广大”。值得一提的是，“王著”从语源学的角度，论证了逻辑学与各科学之间的关系。如生物学:西语称为生物论理学Biology;动物学:西语称为动物论理学Zoology;昆虫学:西语称为昆虫论理学entomology;生理学:西语称为生理论理学physiology;地质学:西语称为地质论理学Geology;植物学:西语称为植物论理学phytology;矿物学:西语称为矿物论理学miner-alogy;心理学:西语称为精神论理学phychology，等等。“可知，多种科学皆不能离乎论理学”，“欲深究各科学，自不可不先究论理学”［1］12－13。从语源学角度考察逻辑学的学科地位，不仅让人耳目一新，而且使人们在理解上更加直观清晰。
关于归纳问题，在逻辑哲学上主要探讨归纳推理是否能得出必然性结论，如果不能，其合理性何在?如果归纳推理的合理性不能得到辩护，将影响归纳逻辑的合理性;如果归纳逻辑的合理性不能得到辩护，“归纳逻辑就没有牢靠的哲学基础，这样的话，归纳逻辑学家就一刻也不得安宁”［14］12。关于归纳推理的合理性问题，“王著”不得不寻求哲学上的假定，指出:“归纳推理之基础不外二大原理，一曰因果律，一曰自然齐一律。”［1］99“王著”认为，一切现象必有原因，一切原因必有结果。此原理谓之因果律。“此律系吾人当思考时自然不能不发生之假定也:例如由果推因，因虽未见，在吾人不以为无因，此时之所谓因自是假定的”，故“因果律又称为先天的原理”。因此，“必有因果律而后归纳法始能应用于实际也。”关于“自然齐一律”，“王著”曰:“时无论古今，地无论东西，一切生灭起伏于自然界之现象，其性质其活动有不期其同而同者。此原理谓之自然齐一律。”“王著”关于自然齐一律的论述，已相当接近马克思主义的自然观了，在“五·四”之前能够认同这些观念，是很不容易的。由于此律“系吾人由经验视察之结果所得之原理”，故其“又称后天的原理”。此律具有“举一反三之妙用”。因此，“必有自然齐一律而后归纳法始能应用于实际也”。
可见，“王著”认为，因果律和自然齐一律共同构成了归纳推理的基础。不仅如此，“王著”还在“附识”中指出:“因果律”比之演绎法中之原理正与充足理由律之原理相同;“自然齐一律”不但为归纳推理之基础，且为“演绎推理之根本原理，盖此律即演绎论理中所谓同一律之变相也”。尽管“王著”对“因果律”和“自然齐一律”寄予厚望，但此二律终究只是哲学上的假定，因此，归纳推理的合理性仍待辩护。
逻辑推理理论知识篇5
—、逻辑学教学改革的焦点和逻辑学教学现状
长期以来，逻辑学教学改革的焦点就是教学内容问题，也就是在教学中如何处理传统逻辑和现代逻辑的关系问题。在这场关于教学内容的改革大讨论中，主要出现了明显的两种不同意见：一种意见认为传统逻辑巳经过时，内容陈旧，方法单一，应当立即废止，以现代逻辑取而代之，称之为“取代论”。其理由是:逻辑学是联合国教科文组织明确规定的当代七大基础学科之一（数学、物理、化学、天文、地理、生命科学、逻辑，这里的逻辑指的是现代逻辑)，应该得到重视；就科学的发展而言，逻辑已实现了由传统形态向现代形态的转变，所以作为教学不可囿于传统逻辑，而应顺乎学科发展，实现逻辑现代化，也就是用现代逻辑取代传统逻辑，从实际效果来看，坚持传统逻辑教学将会影响我国的教学水平和人才培养实践，不利于培养出高水平的逻辑人才。而另一种意见认为在中国高校文科教学中不应废止传统逻辑，高校文科学生应该主要学习传统逻辑；作为逻辑学的教学，如果采取“取代论”，则无疑会丢失人类历史上的思想成果；逻辑教学可以在保留传统逻辑的大部分内容之外适当地引入一些现代数理逻辑的内容，以加强对传统内容的论证，而不是简单的废止，称之为“吸收论”。
其理由是:现代逻辑是传统逻辑发展到一定阶段的一个分支，传统逻辑中的很多内容如归纳推理、类比推理、假说、论证和逻辑规律是现代逻辑无法代替的；传统逻辑有其独有的特点和功用，适合于人们的日常思维，在人们的工作和学习中起到了很大的作用，不但不应该废止，反而应该加强学习、深人探讨和广泛普及；大学生先学习传统逻辑的知识，可以激发对逻辑的兴趣，初步领会逻辑精神，对将来学习现代逻辑等其他课程十分有利。其实双方在激烈的争辩背后共同的心态，即对逻辑课现状的忧虑、不满以及改变现状的急切心情。双方的想法也可以说各有一定的合理性，取代论者多数是专业研究人员多熟知现代逻辑，知传统逻辑之不足，似立逻辑科学潮头，大多脱离教学一线。如果取代论者讲的是我国主要重点大学哲学或理科专业的话可说有一定的道理。但对普通高师院校文科专业来说，取代论肯定是不对的。“传统逻辑现代化是在保留传统逻辑前提下的现代化，而不是以数理逻辑取代传统逻辑；逻辑教学现代化是整个高校的逻辑教学系统要现代化，而不是以数理逻辑教学去取代传统逻辑教学”。“数理逻辑在思维形式方面的研究是极有成效的。形式逻辑应当根据它本身的特点，适当地吸取数理逻辑的某些研究成果。但是，如果把数理逻辑中的一套硬搬到形式逻辑中来，甚至用数理逻辑来代替形式逻辑，则是错误的”。
在我国对同一个学科教学内容的看法是如此不同乃至对立，这在别的学科是不多见的，这对在大学课程体系中的地位日益下降的逻辑学现状来说是雪上加霜。目前逻辑学的发展，遭遇前所未有的冷落。尽管在学术界有许多逻辑学者向人们呼吁重视逻辑学的发展，但反映平淡，逻辑学“面临着一些令人堪忧的问题，诸如逻辑队伍的萎缩，不少逻辑专业人员下海，高校的逻辑课程和课时遭到不同程度的砍杀，研究生生源枯竭，等等。”w更严重的是有些学校竟然做出取消逻辑课程的决定。以我所在的韩山师范学院来说，上世纪80年代中期大学文科很多系，如，中文、历史、外语、思想政治教育等，都开设逻辑课，其中多数是专业基础课。当时有二位逻辑老师，上世纪90年代，我所在学校就只有中文、思想政治教育两个系开设逻辑课。2000年以来连中文也取消逻辑课，因为中学语文中逻辑内容很快就被取消了。现在只有思想政治教育及后来新办的法学专业开设逻辑课，我一个人负责全校12000名大学生的逻辑课，工作量还远不够，还要上其它课程，我还兼行政工作呢。这对逻辑学硕博研究生就业也非常不利，这种状况需要逻辑学界团结起来齐心协力加以改变。
二、关于普通高师院校文科逻辑教学的内容
任何教学改革都要面对客观实际，要遵循教育规律。高校逻辑学的教学改革也一样。一个适应于人文科学领域的逻辑教学体系首先应该是和人们实际使用的自然语言紧密结合的逻辑教学体系。对于刚刚进入大学的学生们来说，他们在逻辑知识上可谓是一片空白。而现代逻辑利用数学演算和人工语言研究有效推理，追求必然思维，是形式化的推演，这种思维方式不属于普通人的日常思维，是髙级的科学思维方式，更适合尖端性高深科学研究的需要。相反，传统逻辑主要是用自然语言对思维形式及其规律进行论述，所以对于刚刚进入大学的学生，尤其是文科学生来说，他们比较容易接受传统逻辑的知识。而且高校文科的学生将来所从事的多数是教育、行政等方面工作，这一工作的性质也决定了他们需要的是传统逻辑而不是数理逻辑。从教学规律而言，顺乎学科发展，也并不是说要废止传统逻辑而只要现代逻辑。没有学好传统逻辑是学不好现代逻辑的，相反，学习好了传统逻辑可以激发对逻辑这门学科的浓厚兴趣，初步领略逻辑的奥妙，从而使已掌握的传统逻辑知识成为学习现代逻辑的敲门砖。再加上目前高校文科逻辑教师，许多人本身也没有经过现代数理逻辑的专门训练，要讲好一门完整的数理逻辑课也决非易事。长期的教学实践证明，文科学生学习普通逻辑非常有益，它能使人思维敏捷，反映灵敏。而现代逻辑在通俗性和实用性上大打折扣。各门学科有各门学科的特点和用途，当传统逻辑的原理原则、方法规律在我们的学习和生活中还有市场，用途极其广泛的时候，它就没有被废止的道理。
虽然联合国教科文组织确定的七大基础学科之一的逻辑指的是现代逻辑，应该重视，但并不是说只有废止了传统逻辑才能重视现代逻辑，不废止传统逻辑同样可以重视现代逻辑，高校可以让学生先学习传统逻辑知识，而后有选择性地学习现代逻辑。再说，一般高校文科的逻辑学教学主要的目的也并不是要培养出逻辑学方面的专门人才，而是把它当成一门工具来使用，为将来学习其它学科和工作提供帮助。这也是“取代论”为什么在大学课堂中推崇讲授现代数理逻辑的改革举步维艰的原因所在。逻辑既是表达工具，又是分析工具，在人文科学领域内，人们学习逻辑主要是为了掌握一种表达和分析的工具，从而做到更好地表达思想和分析问题。比如，我们的讲话和文章如何才能合乎逻辑，我们应该采用什么样的逻辑方法进行表达才能做到概念明确、判断恰当、推理合乎逻辑，在参加各种各样的谈判、辩论中我们应该注意什么样的逻辑问题，.等等，这些都属于表达思想方面的问题;而面对自己或者他人的一些话语或者文本，我们应该怎样客观地认识和评价它们，这些文本或话语到底说了什么，它们有没有逻辑问题，从这些文本或话语我们能够逻辑地推演出什么，应该怎样分析才算做到了正确理解，这些便属于分析问题。当然，我们强调传统逻辑的重要并不是说在高校文科逻辑学教学中只传授传统逻辑，对现代逻辑避而远之。事实上，“吸收论”的观点是:逻辑教学可以在保留传统逻辑的大部分精华内容之外适当地引入一些现代数理逻辑的内容，以加强对传统内容的论证。如在演绎推理部分向学生介绍有关数理逻辑的内容诸如命题演算、谓词演算；在复合判断的推理部分可以引入命题自然推理系统来进行判定等，以达到传统逻辑与数理逻辑的融合，加强逻辑学科的发展和拓宽。这对于培养学生的整体思维水平和综合素质，使他们掌握现代逻辑方法，适应21世纪社会主义市场经济和科学发展对人才的需求是非常必要的。同时，教学内容的改革，势必对教师提出了更高的要求,教师应尽快地更新知识，刻苦学习和掌握现代逻辑的知识和方法，进一步了解国外逻辑研究和逻辑教学的情况，扩大知识视野,不断提高科学研究平，以适应逻辑学教学改革的需要。要继续坚持逻辑学现代化的改革方向。但是，逻辑学的现代化绝不是数理逻辑化，传统逻辑现代化的前提是保留传统逻辑，而不是取代传统逻辑。
根据普通高师院校文科逻辑教学的内容，我们选用了由《普通逻辑》编写组编的《普遍逻辑》(上海人民出版社出版）为教材。《普通逻辑》1992年增订本为教材，适应逻辑学现代化改革的需要,以现代逻辑的思想为主导来安排各种逻辑知识，突出了推理形式这个主体；把命题和推理直接联系起来,先介绍命题逻辑（含各种复合命题的推理），再介绍词项逻辑（含直接推理和三段论)，内容上增加了命题的判定与自然推理、谓词自然推理、统计推理和典型归纳等，在保留了传统逻辑的精华的前提下推动了传统逻辑的现代化改革进程,并受到逻辑学界广大同仁的好评。我们也曾选用何向东教授主编的“面向21世纪课程教材”《逻辑学教程》教材，它的确是一部好教材，它融现代逻辑和传统逻辑为一体，能够适应21世纪教学内容和课程体系改革的需要，能够提高逻辑学课程的教学水平，体现逻辑教学是为培养和提高学生的逻辑思维素质和创新能力服务的这一宗旨。但是，这个教材也并不完全适合于普通高师院校文科大学生，尤其不适合于普通高等院校用扩大招生名额的方式招收进校的文科学生，学生总体素质水平有所下降。
我们也选用了本人参与的由胡泽洪、周桢祥、王健平主编《逻辑学》，该书现代逻辑内容偏多，学生反映比《普遍逻辑》难学。
三、高师院校逻辑课要重视逻辑应用的教学
普通逻辑的基础性、工具性特点决定了它的生命不仅在于它的科学理论价值，更在于它的应用价值，进行理性思维训练是它的基本功能和核心。目前很多的普通逻辑学教材存在片面追求演绎系统化、符号化、技术化，侧重于介绍理论化的逻辑系统，脱离现实的一般的思维运动过程和规律的倾向，在内容体系与指导思想上不适应思维训练的实际需要。为了让逻辑贴近思维现实，发挥提供思维训练方法的基本功能，在教学内容选择上应把逻辑提供的思维方法、原则与思维训练应用相结合，增加逻辑科学研究与逻辑知识应用相结合的内容。
面向21世纪，结合学生实际，应使普通逻辑成为提高学生思维素质，增强理性思维能力的课程。为使普通逻辑学服务于素质教育，我们要在教育实践中不断努力。
数理逻辑有优越于传统逻辑的方面，比如它克服了以自然语言为特征的传统逻辑存在的歧义性和模糊性缺陷，可它也有局限性。虽然数理逻辑具有着现代色彩，但它与人们的日常思维不很一致。触及到以自然语言为载体的实际思维就会陷人困境，也不易为人们所接受。数理逻辑在电子计算机里大有用武之地，并正在向着各类学科沙透，前景十分光明，但现代人的思维并不都是与电子计算机联系在一起的。日常思维中的交流思想、论证真理、驳斥谬误都是要运用白然语言的，公说公有即，婆说婆有理的，计算机无能为力。因此，联系实际思维去发展传统逻辑，仍然是传统逻辑的发展方向。
对于非哲学专业的学生来说，他们学习逻辑学目的主要是为了应用。虽然“逻辑学是一门基础工具性学科”早已举世公认，且被写在一般逻辑学读本的绪论中,但是纵观目前的各种逻辑学教材,很少有详细而系统地阐述逻辑学应用的，这无论如何是一个巨大的缺陷。现代逻辑是对日常推理的高度抽象、归纳，从根本上反映了推理的规则、规律。它具有和数学相同的一些特征:推导严密并且符号公式化、体系化。对于这一特征，大学文科生较难理解和把握。他们习惯用自然语句来表达和思考，不习惯用符号公式表达和思考。因此，学生学习现代逻辑时，虽然注意到形式化的特点，但又不能完全按照现代逻辑演绎系统的要求来做。
逻辑学界的有识之士早就认识到逻辑应用研究的重要性，如前中国逻辑学会会长吴家国先生就曾指出：“逻辑学是一门基础理论学科，同时又是一门有较强应用性的工具学科。从古希腊亚里士多德创建传统形式逻辑起，到近代英国弗兰西斯培根建立古典归纳逻辑，从19世纪中叶以后数理逻辑的诞生，到非标准逻辑和概率逻辑的发展，有一个共同的特点，就是在建立逻辑理论系统的同时，都十分重视逻辑的应用。实际上，逻辑理论与逻辑应用成为逻辑学发展的两条腿，二者是缺一不可的，离开了逻辑的应用，逻辑理论的发展就会受到限制或伤害。”我国的逻辑应用研究虽然取得了一定成果，但是，如何将这些成果应用到逻辑教学中去，则仍然是亟待解决的问题。
逻辑学本身的理论枯燥乏味，缺乏文学课的生动性，光讲理论难以激发学生的兴趣，无兴趣即无动力。活生生的逻辑现象则是十分生动有趣的，讲解逻辑理论时，辅之以具体生动的逻辑现象，使理论与实际融于一体，可极大地增强授课的趣味性、生动性，能取得很好的教学效果。
逻辑推理理论知识篇6
经过10余年的探索、实践和改革，我国独立学院逐步走上正轨，独立学院以应用型人才为目标的培养模式，逐步得到大家的认可和接受。正因为独立学院特有的人才培养模式，我国独立学院普遍重视实践教学，而对于像逻辑学这样的基础课程重视不够，未将逻辑学列入教学计划中，或者只在法学、汉语言文学、行政管理等少部分专业中开设。通过近几年在独立学院教授逻辑学课程，笔者发现，在独立学院开设的逻辑学课程从体系上讲属于传统逻辑范畴，主要包括词项、命题、推理等思维形式，同一律、矛盾律、排中律等进行正确思维的基本规律，以及定义、划分、限制等简单的逻辑方法。由于逻辑学的抽象性，致使相当多的学生学习兴趣不高，感到枯燥、难懂，也不知如何应用于实践。同时，由于教学内容受教材限制，未能结合独立学院应用型人才的培养要求和专业特点教学，逻辑学课程仍以纯理论讲授为主。针对我国独立学院逻辑学教学中存在的问题，结合独立学院的特殊性，笔者认为，应该基于独立学院应用型人才的培养模式，加快逻辑学的教学改革，提高大学生的逻辑思维能力。
一、教学对象：文科类专业作为基础课开设，其他专业作为选修课开设
20世纪80年代，联合国教科文组织将逻辑学列为与数学、物理、化学、天文、地理、生物地位等同的七大基础学科，足以见逻辑学在各门学科中的重要地位。王路教授在《逻辑基础》一书中认为：“学习逻辑学的目的，主要可以分为两类：一类是通过学习逻辑，掌握一些专门的技术和方法，从而使我们能够应用这些技术和方法解决一些具体的问题；另一类是通过学习逻辑，培养一种逻辑的眼界和意识，从而使这种眼界和意识成为我们知识结构中的构成要素，在我们的生活和工作中潜移默化地起作用。”[1]可见，逻辑学虽然是一门高度抽象的科学，但也是一门实践性极强的科学。逻辑学的生命在于联系思维实际，逻辑学的力量在于指导实践。在独立学院开设的逻辑学课程，不仅包括必然性的演绎推理，也包括或然性的归纳、类比推理。逻辑学对于思维的意义不在于学了逻辑之后人才会思维，而在于逻辑可以使思维成为自觉的活动。
因此，在我国的独立学院中，广泛开设逻辑学课程，不但有助于推进我国大学生的素质教育，而且是培养高素质应用型人才的重要措施。独立学院受限于教学条件、师资力量和学生的知识结构等，开设逻辑学的独立学院较少，开设逻辑学的专业也较少。一般而言，在法学专业中开设法律逻辑，在汉语言文学专业中开设形式逻辑，某些独立学院也在管理类专业中开设了逻辑学。然而，逻辑学课程主要培养学生具备严密的逻辑思维能力，教会学生学会正确的思维方法，能够较好地表述和论证观点，揭露政治和理论上的谬误。无论学习何种专业，无论将来从事何种行业，这些能力都是大学生所应必备的，因此，在独立学院开设逻辑学是非常必要的。然而，像其他一些重点高校一样，将逻辑学开设为全校的公共课程，对于独立学院而言，似乎不大现实。因此，笔者认为，结合独立学院的实际，应将逻辑学开设为文科类专业的专业基础课，即在经济学、金融学、国际经济与贸易、法学、工商管理、行政管理、公共事业管理、财务管理、新闻学、汉语言文学等文科类专业中普遍开设逻辑学；在独立学院全校范围内将逻辑学作为选修课开设。
二、教学内容：结合专业特点，以传统逻辑为主，辅以现代逻辑教学
逻辑学的发展阶段来看，逻辑学主要包括传统逻辑和现代逻辑。传统逻辑是由亚里士多德创立的以三段论为核心的形式逻辑体系，现代逻辑是用形式化的方法来研究思维的形式结构及其规律的科学。现代逻辑是在传统逻辑的基础上发展出来的一门新兴学科，主要使用符号语言来研究词项、命题和命题之间的关系，构成严密的符号系统；而传统逻辑很少使用到符号语言，与自然语言更为接近。[2]目前，在独立学院开设的逻辑学课程从体系上讲属于传统逻辑范畴，主要包括词项、命题、推理等思维形式，同一律、矛盾律、排中律等进行正确思维的基本规律，以及定义、划分、限制等简单的逻辑方法。另外，逻辑学的教学仍然以自然语言为主，较少涉及语言符号，基本不涉及形式化的教学，甚至自然演绎推理的内容也未涉及。
笔者认为，目前，独立学院逻辑学的教学仍然应该以传统逻辑的教学为主，因为传统逻辑中关于词项和三段论的研究对于大学生逻辑思维能力的提高仍然具有重要的作用。如，在自然语言中的两个语句“有学生是三好学生”和“有学生不是三好学生”，大部分学生都认为两个语句是矛盾关系，即“有学生是三好学生”为真时，“有学生不是三好学生”一定为假，反之亦然。然而，在逻辑学中，这两个语句并不是矛盾关系，只是下反对关系，即当“有学生是三好学生”为假时，可得到“有学生不是三好学生”为真；当“有学生是三好学生”为真时，“有学生不是三好学生”可能为真也可能为假。学生知道充分条件假言命题（即蕴含命题）由肯定前件可以肯定后件，否定后件可以否定前件；但是，当出现必要条件假言命题时，仍然由肯定前件去肯定后件，否定后件去否定前件，这显然不成立。所以，传统逻辑对词项、命题、推理的分析仍然具有现实意义，能够提升大学生的逻辑思维能力。尤其是独立学院的大学生，理论基础相对较为薄弱，传统逻辑的知识与自然语言更为接近，学生也更容易理解和接受。
当然，独立学院逻辑学的教学内容不能仅限于传统逻辑，也应该辅以现代逻辑的少量内容。现代逻辑毕竟是新发展出来的成果，作为逻辑学这一课程，应该简单地对其作介绍，特别是命题逻辑的相关内容。独立学院的部分大学生数学基础薄弱，对纯符号化的理论很惧怕，但是，正因为这一点，需要引入自然演绎的推理。自然演绎的推理与自然语言有部分联系，推理过程非常严密，通过该部分内容的教学，能够训练大学生的逻辑思维能力，特别是形成严密的思维。目前，在教学内容的选择上，开设逻辑学课程的各专业讲授内容没有多大差别，未能结合专业特点选择教学内容。笔者认为，除了以传统逻辑为主，辅以现代逻辑以外，也应该结合专业特点适当让学生了解逻辑学的最新研究成果。例如，可以将博弈逻辑、认知推理的简单理论融入到逻辑学教学中，特别是融入到经济类专业、管理类专业和法学类专业的逻辑学教学中。#p#分页标题#e#
三、教学方法：激发学生学习兴趣，重视案例和实践教学
课程内容本身是否生动，在教学活动中有特别重要的作用，如果学生对所学的课程本身感兴趣，他就会深入地去掌握该学科各方面的知识，否则，学生只能被动地、勉强地去学习相关的知识。逻辑学作为一门抽象的学科，一些内容涉及符号化，不甚符合学生的实际需要，而独立学院的学生感兴趣于实践性课程，对基础课程兴致不高，所以对逻辑学这门学科兴趣更不高。美国教育家西蒙斯说：“如果教师能适当地用一种令人愉快而又认真的方式教授的话，那么所有的科学知识，就其本质的关联性来说，都充满着趣味。”[3]因此，一定要根据独立学院学生的特点，因材施教，采用有力手段激发学生学习逻辑学的兴趣。那么，如何才能激发独立学院学生学习逻辑学的兴趣呢？笔者认为，在逻辑学课程的教学过程中，应该重视案例、实践教学。
1.启发式教学要充分利用启发式的教学方法。启发式教学是指教师在教学过程中根据教学任务和学习的客观规律，从学生的实际出发，采用多种方式，以启发学生的思维为核心，调动学生的学习主动性和积极性，促使他们生动活泼地学习的一种教学指导思想。例如，在绪论课的教学中巧妙引入以后学习中需要解决的问题，这些问题有一定的难度，但是凭已有的知识仍然可以解决问题，教师要听取学生的解答思路，以激发学生的学习兴趣。有真有假型的推理题可以作为绪论课启发式教学的一个案例：有金、银、铅三个匣子，有一副肖像放在其中一个匣子中，每个匣子上面刻着一句话，并且这三句话中只有一句是真话。金匣子上刻着：肖像不在此匣子中；银匣子上刻着：肖像在金匣子中；铅匣子上刻着：肖像不在此匣子中。请问，肖像在哪一只匣子里？哪一句话是真话？通过调动学生的积极性，让学生主动分析、猜想、讨论、争辩、验证，从而寻找出正确答案。并且对比学生的解答方法，给出运用逻辑学知识解答的简便方法，激发学生学习逻辑学的兴趣。在逻辑学的教学过程中，启发式教学应该贯穿始终。例如，讲到词项之间的关系时，先给出三个简单词项“车”“火车”“车厢”，让学生根据自己的理解表示出这三者之间的关系，充分收集学生的不同意见。然后，通过讲解属种关系与整体和部分关系的区分，让学生从不同意见中寻找出正确答案。显而易见，独立学院的学生面对逻辑学这一门较为枯燥的课程时，启发式教学可以极大地增强学生的学习兴趣。
2.巧用历史典故历史典故有生动的情节、丰富的情感，通过历史典故讲解知识，能很快吸引学生的注意力，学生可以较快地进入教学情境中。形象思维在独立学院的学生中居于重要地位，他们在认识事物时常常只习惯于停留在表象上，但求知欲望旺盛，在这个过程中，教师就要因势利导，帮助学生从形象思维过渡到抽象思维。例如讲到二难推理时，可以通过音频、视频资料播放历史上发生的相关典故。“如果此酒是长生不老的仙酒，那么陛下杀不死我；如果此酒只是普通的酒，那么我罪不至死；此酒或者是长生不老的仙酒，或者只是普通的酒，所以，或者陛下杀不死我，或者我罪不至死”，通过引入此类案例，学生对二难推理有了一定了解，也能激发深入学习的兴趣。通过典故“扛竹竿进城”、“半费之讼”等典故教会学生破斥二难推理的方法，特别是以二难破斥二难的方法。[4]通过“鲁班发明锯子”等典故引出类比推理的教学，[5]通过“东施效颦”等历史典故告诉学生机械类比的逻辑错误，通过“焚猪验尸”等典故让学生学会应用类比推理。将此类历史典故运用于教学的过程中，容易把趣味性与课程内容结合起来，从典故的情节解释逐步过渡到更为深入的逻辑内涵的解读。
3.利用游戏提高学生参与度调动学生学习积极性的一个很好的方法就是给学生提供主动参与的机会。课堂教学活动，不应该只是教师个人的思维活动，而应该调动学生积极、主动参与，才能称之为成功的课堂教学活动。在逻辑学的课堂中设置一些简单的游戏环节，使每个学生都能够参与进来，有效激发学生的学习兴趣。在逻辑学教学过程中，可以引入简单的博弈游戏。游戏是这样的：教师让上课的每个学生写下一个数字（介于1到100之间的整数），然后教师把所有的数字平均一下，再乘以2/3，假定这个数字为a，那么，给出最接近a这个数字的同学就是赢家，将获得奖品。诸如此类的游戏，每个同学都可以参加，不会涉及能力的问题，也带有一定的激励机制。通过学生积极参与，能够集中学习的注意力，带着好奇的心态去学习后面的课程，提升学习逻辑学的兴趣。同时，将逻辑学的最新研究成果（如博弈逻辑）介绍给学生。另外，在逻辑学的教学过程中，也可以设置部分认知推理的题目，通过游戏和表演的方式让学生积极参与到课堂教学中。
逻辑推理理论知识篇7
论文摘要：逻辑学是研究推理的一门学问，而推理是由概念、命题组成的，不懂得命题就不懂得推理。普通逻辑学在研究命题时，主要是从二值逻辑的角度研究命题逻辑形式的逻辑值与命题形式之间的真假关系。本文着重从认识论的角度阐述逻辑真理的内涵，同时详细论述逻辑真理与事实真理的区别。为了探求真理必须保证思维的逻辑性。
逻辑学离不开“真”这个概念。一般来说人们是从下述意义上使用“真”这个概念的：
（一）前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状态的，而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的，例如：“台湾不是一个国家。”这个命题的内容是符合客观事实的，所以是个真命题。
（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。
（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。
（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：p或者非p中不管变项p赋真值或是假值，这个公式都是真的。
（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。
在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真”。后四种“真”在逻辑学中有各种表现，在其他科学中也有这些意义上的真的表现，就被称为逻辑真理。
所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。
恩格斯认为：全部哲学特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？
关于这个理论问题，亚里士多德在其所著《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。
莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。
数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。
综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。
马克思主义认识论认为，真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出，人的实践经过千百万次的重复，它在人的意识中以逻辑的格固定下来，而最普遍的逻辑格，就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系，是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的，事实真是基础，逻辑真是建立在事实真基础之上的，二者是一致的，但是逻辑真理与任何具体的经验事实无关。
第一，逻辑系统的公理和定理的真是逻辑系统设定，其为真的根据是某种初始的逻辑关系。第二，逻辑公理和定理经过解释的真命题，其为真不取决于解释中的内容，而取决于这些公理、定理所显示的逻辑关系。第三，逻辑推断关系这种推论的结论真是一种逻辑关系真。第四，根据逻辑联系词的性质，由逻辑真得到逻辑真。如：a、B是逻辑真命题，那么a并且B、如果a那么B都是逻辑真命题。第五，数学中的逻辑真命题，是建立在公理演绎基础之上。以上这些逻辑真由于逻辑的原因或者逻辑关系而真，在这一点上我们可以说，在局部意义上，相对于特定的逻辑系统而言，逻辑真理可以说是分析的，是以逻辑意义为根据的，而与任何具体的经验事实无关。超级秘书网
逻辑推理理论知识篇8
人们通常认为，逻辑是研究推理和论证的规范性的科学。这样的推理和论证是纯形式的，与内容无关的；并且逻辑研究的是纯客观的。逻辑学所得出的逻辑学定律是适合“所有人”的，这里的人是指具有推理能力的理性人。
然而，社会事实是，并非独立地存在许多“个人”，所谓的各个“个人”是相互联系的。这里的联系有多方面的，如生理的、物质的、经济的等等。我们这里关心则是“心灵的”。即：一群人组成的群体被称为一个社会，我们的逻辑是适合该群体中的所有“个人”。存在群体进行推理和论证的逻辑吗?
有人会认为，这样的问题本身是可质疑的。因为，社会虽然是由许多“个体”组成的一个总体，但它毕竟不是如单个人那样的一个“总体”。即社会“总体”本身不是一个自主的像个体那样的单位。这样，没有认知主体，哪来的推理和论证?
认为不存在这样的群体主体的理由是，任何一个群体它本身不说话，它不可能像我们每个人那样思维、表达、论证，甚至争论，除非由一个人说了算的独裁社会，该独裁者“代表”群体的每个人。但一个独裁的社会已经退化到一个人。
的确，确实不存在像单个人的“社会总体”，但这不构成“社会”不能进行推理的理由。对上述反对理由的一个类比反驳是，不存在社会心灵，但同样存在研究群体意识和无意识行为的“群体心理学”。因此，群体推理和论证的逻辑学同样可以存在。
多个人组成的群体或组织的决策与行动方式不同于单个人，它有独特的“规则”。我们不能要求一个群体像一个人那样，否则它就“是”一个人。至于社会的不同于个体的思维、决策过程，正是我们研究的。如，一个群体中“所有人”“知道”“金属导电”，“所有人”“知道”“铁是金属”，那么“所有人”“知道”“铁能够导电”。尽管我们可以用谓词表达式刻画这个推理，但我们将所有人看作一个单位，它便是指某个像个人的单位。再比如，在给定规则下，一个群体要在a、B两个候选对象间表达群体的偏好时，它当然不能或不应该能够得出，“a比B优”并且“B比a优”!再比如，一个群体它不能或不应当做出“从事a”并且“不从事a”行动这两个相互矛盾的决策。前者是关于命题的推理，或者是关于决策或行动的群体推理。
自弗雷格将逻辑学与心理学的研究对象严格区分开来之后，现代逻辑获得了突飞猛进的发展。但逻辑研究的推理和论证是人的许多心理现象中的一种，既然心理学中群体心理学获得巨大的发展，是否存在研究群体推理和论证的逻辑学?
二、从个体认知逻辑到群体认知逻辑
认知逻辑(epistemiclogic)是现代逻辑中的一个分支。认知逻辑刻画认知主体对命题的认知态度(如知道、相信、怀疑等)中的客观过程。如知识逻辑刻画理性的人“知道”的逻辑结构。
逻辑学家发现，刻画群体的认知状态需要新的关于群体的认知逻辑。
博弈论研究有各自目标的两个或两个以上的理性人如何在互动中进行决策。起初，博弈论专家假定博弈中的参与人是理性的——具有使自己效用最大化的推理能力，然而，奥曼(2005年诺贝尔经济学奖得主)等人发现，这样的假定是不够的，我们必须假定，“一个博弈中的每个参与人都是理性的”是该博弈所有参与人组成的“群体”所知道的，即每个人都是理性的是群体中的“公共知识(CommonKnowl-edge)”(或翻译成共同知识)。
什么是公共知识呢?公共知识是相对于某个群体的，某个真命题p是群体G的公共知识，指的是，“该群体”“知道”该真命题p，即CKp。群体知道与群体中的各个成员知道之间的关系如何呢?某个真命题p是群体G的公共知识指的是，群体中的每个成员都知道真命题p(Kip)，群体中的每个成员知道他人知道p(KjKip)，群体中的每个成员知道他人t他人知道p(KkKjKip)……由此可见，某个命题p是群体的公共知识即群体“知道”p，与p是群体中的每个人的知识即每个人都知道p，是完全不同的两种知识分布状态。
举一个例子。我们假定，对“所有”受过小学以上教育的人来说，他们中的每一个均知道，“4能够被2整除”，即我们假定“4能够被2整除”是所有受过小学以上教育的人的知识；并且我们假定，这也是任何群体的公共知识：如果某个人受过小学以上的教育，他应当知道“4能够被2整除”。对于一个由有限个受过小学以上教育的人所组成的群体而言，“4能够被2整除”尽管是他们的每个人的知识，但不是该群体的公共知识。原因在于，他们均受过小学以上的教育不是该群体的公共知识。很有可能的是，其中有人不知道其他某个人受过小学以上的教育，或者，某人不知道对方知道他受过小学以上的教育……。
所谓公共知识逻辑就是某个群体中的所有人“共同知道”的逻辑。公共知识逻辑其实刻画的就是群体作为一个总体的推理系统，公共知识逻辑有下面这些特征公理：
C1：CK(G，p)p(若p是群体G的公共知识，p是真的)；
C2：CK(G，p)∧CK(G，q)CK(G，p∧q)(若p和q是公共知识，p且q也是公共知识)；
C3：CK(G，pq)∧CK(G，p)CK(G，q)(若p蕴涵q是公共知识，并且p是公共知识，那么q也是公共知识)；
C4：～CK(G，～p∧p)(矛盾式不是公共知识)；
C5：CK(G，p)CK(G，CK(G，p))(若p是公共知识，“p是公共知识”也是公共知识)。
C6：～CK(G，p)CK(G，～CK(G，p))(若p不是公共知识，“p不是公共知识”是公共知识)。
对公共知识逻辑的研究是多主体(multi—a-gent)认知逻辑学研究的内容，但它同时是多个学科如计算机、人工智能、博弈论、社会科学关心并研究的内容。
认知逻辑中的公共信念逻辑(commonbelieflog-ic)同样研究群体的推理和论证，在研究群体信念的逻辑中，没有如C1这样的公理，因为信念不必为真。
三、研究群体推理的科学逻辑
科学是理性的活动，但同时是集体性的活动。科学哲学家努力研究科学家的群体推理规则。
那么是否存在适合“所有”科学家的推理规则吗?传统哲学家认为存在这样的东西，这便是“科学方法”，方法论专家的任务即是找到这个方法。这个科学方法包括发现的方法——根据这个方法科学家能够发现真的科学理论和辩护的方法——根据这个方法，某个理论能够得到“证明”。然而，上世纪20年代兴起的逻辑经验主义认为要严格区分发现的范围和辩护的范围。他们认为，不存在发现的方法，但存在辩护的方法。逻辑经验主义试图给出对理论或假说进行归纳辩护的方法。
逻辑实证主义努力给出的归纳证实的方法论标准，以及波普(K.popper)的演绎证伪的方法论标准，是超科学、超历史的，所有科学家都应当遵守的。
科学哲学中历史主义代表人物库恩则认为不存在这样的方法论标准，任何标准都内在于“范式”，范式是一科学家共同体区别于其他科学共同体的“群体推理规则”。库恩认为，范式是科学活动的基本单位。——所谓范式是科学家共同体共同拥有的东西。在库恩看来，不同的科学家共同体拥有不同的范式。科学的发展表现为范式的变迁。
在库恩那里，科学活动在常规科学时期，科学活动是理性的——理性表现为科学家群体进行理论选择有公认的标准，此时科学家群体对什么样的理论是好的理论、什么是“疑难”等有确定的标准；而科学革命时期，由于没有裸的观察，任何“观察负载着理论”，科学活动没有理性可言——因不同的科学家共同体有不同的理论评价标准，而不存在中立的、客观的评价不同科学家共同体范式的标准。那么在科学革命时期，理论选择是如何进行的呢?根据库恩的观点，此时的理论选择完全是根据科学家的偏好进行的，而偏好是由范式决定的。
库恩努力告诉我们的是，科学家共同体所拥有的范式本身是一套“群体的推理规则”，信仰同一个范式的科学家群体用这样的推理规则进行群体推理；而不同的科学家共同体因推理规则不同(范式不同)而得出不同的结论。
因此，科学哲学家所力图揭示的是科学家进行群体推理的规则，不同的是，“逻辑主义者”哲学家认为，存在不变的规则；而“历史主义者”则认为这样的标准随群体的不同、历史的发展而变化。四、公共选择理论：研究群体选择的逻辑我们每个人在行动选择时；根据自己的偏好在多个行动中选择有利的行动。这是一个推理过程。然而，一个包含两个或以上的行动者的群体或社会是如何做出共同行动或集体行动决策呢?即：群体是如何进行行动选择的推理的呢?
每个人有自己的偏好，群体行动的选择依赖于群体个人的偏好进行“加总”(collect)，以形成群体的偏好。对群体中各个人的偏好进行加总是通过投票来完成的。对群体如何加总个人的偏好的研究是公共选择理论的重要研究内容。
群体的投票规则即是群体的偏好形成的推理规则。如，一个群体对某个提案进行表决时，大多数规则——这是一个简单的易于理解的规则——说的是，一个“议案”若获得投票总人数中的一半以上则获得通过，即在此情况下，“该群体”“认为”该议案获得了通过；或者说该群体“认为”该议案通过比不通过要好。若一个“议案”没有获得投票总人数中的一半，在此情况下，“该群体”“认为”该议案不通过比通过要好。
一个议案或者通过或者不通过，此时，投票群体进行投票便是在二中择一。当一个群体面临的候选对象超过两个(即三个或三个以上)时，情况便复杂起来。人们发明了许多加总投票人偏好的方法。如孔多塞的两两相决的规则，逐步淘汰的黑尔体系(Haresystem)和库姆斯体系(Combssystem)，一次性决策的赞成性多数(approvalvoting)和博达记分法(Bodacount)。
逻辑主要是研究推理和论证的。若研究的是推理，在推理中存在前提和结论：前提是已知的，而结论要根据有效推理得出的。在群体投票中，我们根据投票者对某个议案的偏好——这构成推理前提，和投票规则——这构成推理规则，而得出投票结果——它便是结论。这样看来，群体加总群体中个人偏好的特定投票规则便是逻辑学中所说的系统，我们称这种系统为群体偏好推理系统。
在实际中存在不同的投票规则，因而存在不同的群体偏好系统。我们考察逻辑系统时，往往考察系统的完全性和可靠性。群体偏好推理系统的完全性和可靠性如何呢?
对于个体，他所用的偏好关系的推理系统满足完全性和可靠性，或者我们假定它满足完全性和可靠性。研究社会选择的经济学家首先研究理性的偏好关系。偏好关系以“≥(弱优于)”表示。某个理性人认为“a≥b”，表示的是，对于该理性人而言，备选对象a与b相比，a至少与b一样好。经济学家认为“理性的”的偏好关系应当满足完备性和传递性条件：(1)完备性：任何两个备选对象a，b，它们的关系是或者a≥b，或者b≥a，二者必居其一；(2)传递性：对于任意的三个备选对象，如果a≥b，b≥c，那么a≥c。
满足这两个假定的偏好关系的推理系统，如果用逻辑学的术语来说，该推理系统具有完全性——任何两个备选对象都具有一个偏好关系；上面的完备性正是说明了这点；该系统同时具有可靠性——不会产生矛盾的偏好关系；由传递性作保证。一个群体进行推理时，该群体能够做到完全性和可靠性吗?这是下一部分要回答的。
五、群体理性如何得到保证?
群体推理的理性如何保证?
科学哲学家库恩认为，同一个范式下的活动是理性的，因为存在一套为科学共同体中所有人都接受的不相互矛盾的规则体系。此时，科学共同体的理性是能够得到保证的。但在科学革命时期，由于不存在共同接受可以对不同的范式下的规则进行评价的元规则，科学理论之间的竞争是非理性的。这样，不同的科学家群体组成的更大群体的理性得不到保证。
在群体选择中理性是不是也得不到保证呢?
群体的偏好关系推理系统具有完全性和可靠性吗?这个问题涉及到两个方面：第一，群体用于偏好推理的系统能否适合一切可能的偏好组合，这是可靠性问题；第二，该系统进行推理时能否保证不出现矛盾，这是完全性问题。偏好关系推理系统的特性是许多学者所关心的重大问题。
一个极端情况是，加总的规则为独裁规则，即某个人的偏好即群体的偏好，那么将不出现所谓矛盾性的结论。
阿罗证明了，一个群体中的每个人给定偏好顺序的情况下，不可能存在满足下列4个条件并具有传递关系的社会福利函数：第一，定义域不受限制——社会福利函数适合所有可能的个人偏好类型；第二，非独裁——社会偏好不以一个人或少数人的偏好来决定；第三，帕累托原则——如果所有个人都偏好a甚于b，则社会偏好a甚于b；第四，无关备选对象的独立性——如果社会偏好a甚于b，无论个人对其他的偏好发生怎样的变化，只要a与b的偏好关系不变，社会偏好a甚于b不变。
这被称为阿罗不可能性定理。这个定理说明了什么?
这说明了，群体作为总体不可能像个人那样，在任何情况下都能够作出“理性的”排序。孔多塞投票悖论反映的正是这个情况：群体得出了矛盾的结果。
群体投票是群体推理过程，投票规则是群体推理系统。以这样的视角看，阿罗不可能性定理告诉我们，对于有三个以上的备选方案的情况下，群体推理系统不可能既是完备的——适合所有的人的偏好类型，又是可靠的——不出现矛盾性的结论。
六、结语
综上所述，群体推理是发生于实际社会中的现象，不同领域里的学者在自己的学术领域里研究了不同的群体推理的逻辑，并取得了丰富成果。然而，这方面的研究可以说刚刚起步，有许多工作等待我们去做。
逻辑推理理论知识篇9
[关键词]群体推理，逻辑，群体理性
一、导论
人们通常认为，逻辑是研究推理和论证的规范性的科学。这样的推理和论证是纯形式的，与内容无关的；并且逻辑研究的是纯客观的。逻辑学所得出的逻辑学定律是适合“所有人”的，这里的人是指具有推理能力的理性人。
然而，社会事实是，并非独立地存在许多“个人”，所谓的各个“个人”是相互联系的。这里的联系有多方面的，如生理的、物质的、经济的等等。我们这里关心则是“心灵的”。即：一群人组成的群体被称为一个社会，我们的逻辑是适合该群体中的所有“个人”。存在群体进行推理和论证的逻辑吗?
有人会认为，这样的问题本身是可质疑的。因为，社会虽然是由许多“个体”组成的一个总体，但它毕竟不是如单个人那样的一个“总体”。即社会“总体”本身不是一个自主的像个体那样的单位。这样，没有认知主体，哪来的推理和论证?
认为不存在这样的群体主体的理由是，任何一个群体它本身不说话，它不可能像我们每个人那样思维、表达、论证，甚至争论，除非由一个人说了算的独裁社会，该独裁者“代表”群体的每个人。但一个独裁的社会已经退化到一个人。
的确，确实不存在像单个人的“社会总体”，但这不构成“社会”不能进行推理的理由。对上述反对理由的一个类比反驳是，不存在社会心灵，但同样存在研究群体意识和无意识行为的“群体心理学”。因此，群体推理和论证的逻辑学同样可以存在。
多个人组成的群体或组织的决策与行动方式不同于单个人，它有独特的“规则”。我们不能要求一个群体像一个人那样，否则它就“是”一个人。至于社会的不同于个体的思维、决策过程，正是我们研究的。如，一个群体中“所有人”“知道”“金属导电”，“所有人”“知道”“铁是金属”，那么“所有人”“知道”“铁能够导电”。尽管我们可以用谓词表达式刻画这个推理，但我们将所有人看作一个单位，它便是指某个像个人的单位。再比如，在给定规则下，一个群体要在a、B两个候选对象间表达群体的偏好时，它当然不能或不应该能够得出，“a比B优”并且“B比a优”!再比如，一个群体它不能或不应当做出“从事a”并且“不从事a”行动这两个相互矛盾的决策。前者是关于命题的推理，或者是关于决策或行动的群体推理。
自弗雷格将逻辑学与心理学的研究对象严格区分开来之后，现代逻辑获得了突飞猛进的发展。但逻辑研究的推理和论证是人的许多心理现象中的一种，既然心理学中群体心理学获得巨大的发展，是否存在研究群体推理和论证的逻辑学?
二、从个体认知逻辑到群体认知逻辑
认知逻辑(epistemiclogic)是现代逻辑中的一个分支。认知逻辑刻画认知主体对命题的认知态度(如知道、相信、怀疑等)中的客观过程。如知识逻辑刻画理性的人“知道”的逻辑结构。
逻辑学家发现，刻画群体的认知状态需要新的关于群体的认知逻辑。
博弈论研究有各自目标的两个或两个以上的理性人如何在互动中进行决策。起初，博弈论专家假定博弈中的参与人是理性的——具有使自己效用最大化的推理能力，然而，奥曼(2005年诺贝尔经济学奖得主)等人发现，这样的假定是不够的，我们必须假定，“一个博弈中的每个参与人都是理性的”是该博弈所有参与人组成的“群体”所知道的，即每个人都是理性的是群体中的“公共知识(CommonKnowl-edge)”(或翻译成共同知识)。
什么是公共知识呢?公共知识是相对于某个群体的，某个真命题p是群体G的公共知识，指的是，“该群体”“知道”该真命题p，即CKp。群体知道与群体中的各个成员知道之间的关系如何呢?某个真命题p是群体G的公共知识指的是，群体中的每个成员都知道真命题p(Kip)，群体中的每个成员知道他人知道p(KjKip)，群体中的每个成员知道他人t他人知道p(KkKjKip)……由此可见，某个命题p是群体的公共知识即群体“知道”p，与p是群体中的每个人的知识即每个人都知道p，是完全不同的两种知识分布状态。
举一个例子。我们假定，对“所有”受过小学以上教育的人来说，他们中的每一个均知道，“4能够被2整除”，即我们假定“4能够被2整除”是所有受过小学以上教育的人的知识；并且我们假定，这也是任何群体的公共知识：如果某个人受过小学以上的教育，他应当知道“4能够被2整除”。对于一个由有限个受过小学以上教育的人所组成的群体而言，“4能够被2整除”尽管是他们的每个人的知识，但不是该群体的公共知识。原因在于，他们均受过小学以上的教育不是该群体的公共知识。很有可能的是，其中有人不知道其他某个人受过小学以上的教育，或者，某人不知道对方知道他受过小学以上的教育……。
所谓公共知识逻辑就是某个群体中的所有人“共同知道”的逻辑。公共知识逻辑其实刻画的就是群体作为一个总体的推理系统，公共知识逻辑有下面这些特征公理：
C1：CK(G，p)p(若p是群体G的公共知识，p是真的)；
C2：CK(G，p)∧CK(G，q)CK(G，p∧q)(若p和q是公共知识，p且q也是公共知识)；
C3：CK(G，pq)∧CK(G，p)CK(G，q)(若p蕴涵q是公共知识，并且p是公共知识，那么q也是公共知识)；
C4：～CK(G，～p∧p)(矛盾式不是公共知识)；
C5：CK(G，p)CK(G，CK(G，p))(若p是公共知识，“p是公共知识”也是公共知识)。
C6：～CK(G，p)CK(G，～CK(G，p))(若p不是公共知识，“p不是公共知识”是公共知识)。
对公共知识逻辑的研究是多主体(multi—a-gent)认知逻辑学研究的内容，但它同时是多个学科如计算机、人工智能、博弈论、社会科学关心并研究的内容。
认知逻辑中的公共信念逻辑(commonbelieflog-ic)同样研究群体的推理和论证，在研究群体信念的逻辑中，没有如C1这样的公理，因为信念不必为真。
三、研究群体推理的科学逻辑
科学是理性的活动，但同时是集体性的活动。科学哲学家努力研究科学家的群体推理规则。
那么是否存在适合“所有”科学家的推理规则吗?传统哲学家认为存在这样的东西，这便是“科学方法”，方法论专家的任务即是找到这个方法。这个科学方法包括发现的方法——根据这个方法科学家能够发现真的科学理论和辩护的方法——根据这个方法，某个理论能够得到“证明”。然而，上世纪20年代兴起的逻辑经验主义认为要严格区分发现的范围和辩护的范围。他们认为，不存在发现的方法，但存在辩护的方法。逻辑经验主义试图给出对理论或假说进行归纳辩护的方法。
逻辑实证主义努力给出的归纳证实的方法论标准，以及波普(K.popper)的演绎证伪的方法论标准，是超科学、超历史的，所有科学家都应当遵守的。
科学哲学中历史主义代表人物库恩则认为不存在这样的方法论标准，任何标准都内在于“范式”，范式是一科学家共同体区别于其他科学共同体的“群体推理规则”。库恩认为，范式是科学活动的基本单位。——所谓范式是科学家共同体共同拥有的东西。在库恩看来，不同的科学家共同体拥有不同的范式。科学的发展表现为范式的变迁。
在库恩那里，科学活动在常规科学时期，科学活动是理性的——理性表现为科学家群体进行理论选择有公认的标准，此时科学家群体对什么样的理论是好的理论、什么是“疑难”等有确定的标准；而科学革命时期，由于没有裸的观察，任何“观察负载着理论”，科学活动没有理性可言——因不同的科学家共同体有不同的理论评价标准，而不存在中立的、客观的评价不同科学家共同体范式的标准。那么在科学革命时期，理论选择是如何进行的呢?根据库恩的观点，此时的理论选择完全是根据科学家的偏好进行的，而偏好是由范式决定的。
库恩努力告诉我们的是，科学家共同体所拥有的范式本身是一套“群体的推理规则”，信仰同一个范式的科学家群体用这样的推理规则进行群体推理；而不同的科学家共同体因推理规则不同(范式不同)而得出不同的结论。
因此，科学哲学家所力图揭示的是科学家进行群体推理的规则，不同的是，“逻辑主义者”哲学家认为，存在不变的规则；而“历史主义者”则认为这样的标准随群体的不同、历史的发展而变化。四、公共选择理论：研究群体选择的逻辑我们每个人在行动选择时；根据自己的偏好在多个行动中选择有利的行动。这是一个推理过程。然而，一个包含两个或以上的行动者的群体或社会是如何做出共同行动或集体行动决策呢?即：群体是如何进行行动选择的推理的呢?
每个人有自己的偏好，群体行动的选择依赖于群体个人的偏好进行“加总”(collect)，以形成群体的偏好。对群体中各个人的偏好进行加总是通过投票来完成的。对群体如何加总个人的偏好的研究是公共选择理论的重要研究内容。
群体的投票规则即是群体的偏好形成的推理规则。如，一个群体对某个提案进行表决时，大多数规则——这是一个简单的易于理解的规则——说的是，一个“议案”若获得投票总人数中的一半以上则获得通过，即在此情况下，“该群体”“认为”该议案获得了通过；或者说该群体“认为”该议案通过比不通过要好。若一个“议案”没有获得投票总人数中的一半，在此情况下，“该群体”“认为”该议案不通过比通过要好。
一个议案或者通过或者不通过，此时，投票群体进行投票便是在二中择一。当一个群体面临的候选对象超过两个(即三个或三个以上)时，情况便复杂起来。人们发明了许多加总投票人偏好的方法。如孔多塞的两两相决的规则，逐步淘汰的黑尔体系(Haresystem)和库姆斯体系(Combssystem)，一次性决策的赞成性多数(approvalvoting)和博达记分法(Bodacount)。
逻辑主要是研究推理和论证的。若研究的是推理，在推理中存在前提和结论：前提是已知的，而结论要根据有效推理得出的。在群体投票中，我们根据投票者对某个议案的偏好——这构成推理前提，和投票规则——这构成推理规则，而得出投票结果——它便是结论。这样看来，群体加总群体中个人偏好的特定投票规则便是逻辑学中所说的系统，我们称这种系统为群体偏好推理系统。
在实际中存在不同的投票规则，因而存在不同的群体偏好系统。我们考察逻辑系统时，往往考察系统的完全性和可靠性。群体偏好推理系统的完全性和可靠性如何呢?
对于个体，他所用的偏好关系的推理系统满足完全性和可靠性，或者我们假定它满足完全性和可靠性。研究社会选择的经济学家首先研究理性的偏好关系。偏好关系以“≥(弱优于)”表示。某个理性人认为“a≥b”，表示的是，对于该理性人而言，备选对象a与b相比，a至少与b一样好。经济学家认为“理性的”的偏好关系应当满足完备性和传递性条件：(1)完备性：任何两个备选对象a，b，它们的关系是或者a≥b，或者b≥a，二者必居其一；(2)传递性：对于任意的三个备选对象，如果a≥b，b≥c，那么a≥c。
满足这两个假定的偏好关系的推理系统，如果用逻辑学的术语来说，该推理系统具有完全性——任何两个备选对象都具有一个偏好关系；上面的完备性正是说明了这点；该系统同时具有可靠性——不会产生矛盾的偏好关系；由传递性作保证。一个群体进行推理时，该群体能够做到完全性和可靠性吗?这是下一部分要回答的。
五、群体理性如何得到保证?
群体推理的理性如何保证?
科学哲学家库恩认为，同一个范式下的活动是理性的，因为存在一套为科学共同体中所有人都接受的不相互矛盾的规则体系。此时，科学共同体的理性是能够得到保证的。但在科学革命时期，由于不存在共同接受可以对不同的范式下的规则进行评价的元规则，科学理论之间的竞争是非理性的。这样，不同的科学家群体组成的更大群体的理性得不到保证。
在群体选择中理性是不是也得不到保证呢?
群体的偏好关系推理系统具有完全性和可靠性吗?这个问题涉及到两个方面：第一，群体用于偏好推理的系统能否适合一切可能的偏好组合，这是可靠性问题；第二，该系统进行推理时能否保证不出现矛盾，这是完全性问题。偏好关系推理系统的特性是许多学者所关心的重大问题。
一个极端情况是，加总的规则为独裁规则，即某个人的偏好即群体的偏好，那么将不出现所谓矛盾性的结论。
阿罗证明了，一个群体中的每个人给定偏好顺序的情况下，不可能存在满足下列4个条件并具有传递关系的社会福利函数：第一，定义域不受限制——社会福利函数适合所有可能的个人偏好类型；第二，非独裁——社会偏好不以一个人或少数人的偏好来决定；第三，帕累托原则——如果所有个人都偏好a甚于b，则社会偏好a甚于b；第四，无关备选对象的独立性——如果社会偏好a甚于b，无论个人对其他的偏好发生怎样的变化，只要a与b的偏好关系不变，社会偏好a甚于b不变。
这被称为阿罗不可能性定理。这个定理说明了什么?
这说明了，群体作为总体不可能像个人那样，在任何情况下都能够作出“理性的”排序。孔多塞投票悖论反映的正是这个情况：群体得出了矛盾的结果。
群体投票是群体推理过程，投票规则是群体推理系统。以这样的视角看，阿罗不可能性定理告诉我们，对于有三个以上的备选方案的情况下，群体推理系统不可能既是完备的——适合所有的人的偏好类型，又是可靠的——不出现矛盾性的结论。
逻辑推理理论知识篇10
关键词：数学逻辑教学
一、高中数学逻辑
1、现阶段高中数学逻辑的基本内容
早在1956年的数学教学大纲中，就首次提出了要发展学生的逻辑思维能力，涉及了“定义、公理、定理”等逻辑基本知识。之后，逻辑知识的学习就成为数学大纲的一个重要组成部分，内容不断丰富，针对性不断增强。到2003年，教育部颁布了新的《普通高中数学课程标准(实验稿)》，其中常用逻辑用语作为单独的一章被列入高中数学选修1-1和选修2-1中，推理与证明内容作为单独的一章被列入选修1-2和选修2-2中。其具体要求为学生能了解、体会逻辑用语在表述和论证中的作用，并且能够利用逻辑用语准确地表达数学内容。经过一定的训练之后，可以形成自觉地利用逻辑知识对一些命题间的逻辑关系进行分析和推理的意识，发展学生利用数学语言准确描述问题、规范阐述论证过程的能力。
具体而言，高中数学的逻辑教学内容主要涉及常用的逻辑用语和逻辑推理方法。常用的逻辑用语包括：（1）各种命题。（2）简单的逻辑用语。（3）量词及命题的否定。（4）四种命题及相互关系。（5）充分条件和必要条件。逻辑推理包括：（1）三段论推理。（2）合情推理。（3）思维要符合逻辑。以上的八个方面基本涵盖了目前高中数学的逻辑知识类型。
2、高中数学逻辑知识的价值
在高中数学课程标准中，尽管专门的逻辑教学内容不足十课时，但是所涉及的常用逻辑用语和逻辑推理规则及方法却贯穿于全部的数学知识之中。除此之外，高中数学所学逻辑的价值绝不仅仅限于数学领域，在日常生活的诸多领域都起着非常重要的作用。
（1）应用价值。数学逻辑知识首先是为数学学习服务，上文提过数学是一门抽象的学科，一个命题的成立与否、几个命题之间的关系的证明都需要逻辑的参与。学好这些简单的逻辑用语、推理方法及规则是学好数学的前提。在数学领域之外，其同样也起着重要的作用。例如机器证明、自动程序设计、计算机辅助设计、逻辑电路等计算机应用和理论等都是以这些简单的逻辑用语和推及规则为最根本的基础，甚至在经济、政治、哲学、文学等各个学科中，这些在高中学到的基本的逻辑知识也是必不可少的。
（2）思维价值。数学学科的一个重要目标就是培养学生抽象的逻辑思维能力。瑞士心理学家皮亚杰的心理发展阶段论认为，学生在高中阶段是以经验型为主的思维方式向理论型抽象思维过渡的阶段，这个时期逻辑思维占主导地位。而此时若进行简单逻辑知识的学习有利于最大限度地促进学生的思维训练，促进逻辑能力的培养。
二、高中数学逻辑教学中的问题和相关教学方法
目前在高中数学逻辑的教学中存在着不少问题，有的是因为教师知识储备和教学方法等方面的原因，有的是因为学生的认知能力有限方面的原因。下面是几个有代表性的问题和相关教学方法的建议。
1、对命题的理解。课本中的“命题”定义为“能够判断真假的语句叫做命题”。但在学习过程中，有的学生认为命题一定要有条件和结论，即命题都可以改写为“如果……，那么……”的形式。而对于“3>2”，因其不能改写成“如果……，那么……”的形式，就认为这不是一个命题。为了避免学生产生这种思维定势，教师在教学中应该不能过多地使用“如果……，那么……”来解释命题，同时要明确指出“如果……，那么……”只是命题的一种典型的格式而已。
2、逻辑联结词的掌握。逻辑联结词，主要是“或”“且”“非”三个，是高中数学逻辑知识的重要内容。准确地掌握逻辑联结词及其相互间的关系，就可以将复杂的复合命题分解为若干个简单命题，使命题简单化。有的学生将数学逻辑语言中的“或”“且”“非”与自然语言中的“或”“且”“非”混淆，辨别不清，产生错误。例如“4的平方根是2或-2”，如果“或”理解为逻辑联结词，意思是对的；然而理解为自然语言中的“或”就是不恰当的说法，这会让学生产生疑惑。因此在教学中，教师应该严格地区分自然语言和数学逻辑语言的区别，并明确指出两者之间的差别。因此，上文命题严格说法应是“4平方根有两个，是2和-2”，或直接说成“4的平方根是2和-2”，这样就不易造成混淆。
三、全称量词和存在量词的理解