《逻辑推理集锦》已出版

由中国逻辑与语言研究会会员,复旦大学郑伟宏与上海社科院倪正茂二同志共同编著的《逻辑推理集锦》最近已由光明日报出版社出版。本书精选了古今中外七十多个故事。这些故事中所包含的推理包括了普通逻辑中所有的推理类型。书中详尽地分析了每个故事中所包含的逻辑推理的种类、是否正确,如不正确,错在何处,如何正确运用等。本书的突出特点或主要目的是帮助读者提高运用推理知识解决实际问题的能力。所以无论是对初学者还是需进一步提高逻辑修养的同志都不失为一本好的参考书。本书行文流畅,     

条件推理中的命题语义加工

本研究运用五种不同情境内容的大前提和四种不同逻辑形式的小前提,组成２０种条件推理题,对１２７名大学生进行了测试,力图研究不同命题内容对不同形式的逻辑推理的影响,并进而探讨人们在条件推理中对前提进行语义加工的机制．本文提出了前提语义加工的“问题空间“的解释．     

科学推理的自然化

在逻辑经验主义的科学哲学中,科学理性几乎等同于逻辑推理,科学推理只受形式逻辑规则支配,科学及其本质可以在忽略科学推理实践的历史脉络、社会背景以及科学家的思维活动和心理因素的条件下给予规定。在这种所谓“标准观点”的统治下,科学哲学家自觉地限于对科学的知识产品进行逻辑分析,致力于为科学寻找普遍的形式推理规则并构造科学推理的各种形式化系统。总之,在逻辑经验主义传统那里,科学哲学几乎成为与理解科学的特有现象和特有性质无关的认识论。然而,科学哲学发展的事实表明,形式逻辑并非像逻辑经验主义者所设想的那样是理…     

辩证逻辑推理与形式逻辑推理

逻辑主要是研究推理的科学,辩证逻辑推理与形式逻辑推理有什么区别?有的讲到以下两点:第一,辩证逻辑是“动态”的逻辑,它用唯物辩证法的发展观看待事物之间的逻辑关系;而形式逻辑是“静态”的逻辑,它用相对静止的观点看待事物之间的逻辑关系。第二,辩证逻辑是“内容”的逻辑,推理是内容的推理;形式逻辑是“形式”的逻辑,推理是撇开了思维具体内容的推理。按照以上两点,能否区分辩证逻辑推理     

逻辑常项与保守性：以tonk为例

根据逻辑推理论,逻辑常项的意义是由它的引入和消去规则确定的。普莱尔（Arthur Prior）提出的tonk对推理论构成了严重挑战。库克（Roy Cook）最近构造了一个禁止传递性的相干的逻辑系统,即Tonk-逻辑,并借助四值语义学重新定义了Tonk-后承概念,在这种概念之下,tonk的引入规则和消去规则都是有效的,同时系统还不是平凡的。本文探讨了保守性与常项的引入和消去规则的协调性之间的联系,并定义了两种较强的协调性概念,即HCU-协调性和HML-协调性概念。借助这两个概念,本文论证,tonk不是HCU-协调的也不是HML-协调的,因而它不是合法的逻辑常项,Tonk-逻辑也不是一种合法的逻辑系统。     

相干逻辑关系语义的推理解释

关系语义是相干逻辑中最为重要的语义学之一,但是关系语义一开始就以"纯粹"的形式语义的面貌出现,其中三元关系R的直观意思是什么并不清楚,于是出现了关于关系语义的多种解释。我们认为,R所代表的是推理规则集、前提集和结论集三者之间的关系,据此提出了推理语义。推理语义以推理的形式结构为背景,有明确的直观意义。本文以相干逻辑系统R+为例,证明出推理语义是与关系语义等价的语义。从推理语义与关系语义的这个等价关系上看,推理语义完全可以作为对于关系语义直观解释的一个中间环节。由此不仅使得关系语义有了推理结构的解释,同时说明了相干逻辑是一种关于推理的逻辑。这与相干逻辑产生的历史也完全吻合。     

推理谬误、责任倒置与行动逻辑——浅析道德热点事件中的几个逻辑问题

道德生活中的逻辑问题未能得到应有的重视;在当前的道德热点事件中,几个关键的逻辑问题制约了交流理解与困境治理的可能性与有效性:事件归因过程中的推理谬误,道德归责过程中的不当反问与举证责任倒置以及困境治理中违背决策逻辑、引发避险心理而导致的行动陷阱。深入分析与澄清此类事件中的系列逻辑问题,厘清相关话语与思维过程中的逻辑结构与心理机制,为有效的道德对话与困境治理澄清理论与实践的基础。     

基于模态情境的跨界同一性问题新探

可能世界语义学侧重形式技术,缺乏哲学说明,"跨界同一"难题正是其困境之一;情境语义学则侧重哲学说明,将"情境"引入可能世界,实现两者嫁接,可为"跨界同一"难题提供新的突破口。与对象所处世界的情境相容是个体实现跨界同一的前提:从物模态表达了现实的可能,现实可能的世界与现实世界情境相容,相同本质和同一起源的跨界个体保持同一;从言模态表达了逻辑的可能,逻辑可能而现实不可能的世界与现实世界情境不相容,本质主义不再适用,跨界个体不具有同一性。     

假言的电路模型

推理是形式逻辑研究的主要内容,推理的依据是概念、判断的逻辑性质。为了正确推理,形式逻辑总结了各种推理的规则及推理的结构形式。对这些规则和结构式的掌握,学生一般反映理解难,记忆难。而在讲述概念及三段论推理时,许多教材使用了欧拉图,使其内容直观化,也易理解和掌握。受此启发,笔者在假言判断及其推理的教学中,用简单的电路图方法建立了假言的直观模型,教学效果甚佳,望在此与大家交流。     

面向人工智能的形式伦理及其逻辑基础

欲使人工智能体具备道德决策能力,一种可设想的工作是基于形式伦理,即把伦理原则或规则形式化。形式伦理学的初衷并不是面向人工智能,但其做法却适用于人工智能。伦理规范的形式表达必须基于某种逻辑语言及其推理规则,经典逻辑是不够的,所以有必要发展和道德、行动相关的逻辑来适应人工智能道德决策的需求。最为著名道义逻辑为形式伦理提供了一定的基础,应该把它和心智逻辑结合起来。从人工智能体实施行动的过程来看,能动性逻辑是表达机器的道德行动与推理比较有前景的逻辑。     

不同视角条件下条件推理任务和选择任务的反应模式

在不同视角条件下,要求被试先后完成选择任务和条件推理任务,考察被试在不同视角条件下对两种任务的反应模式。实验结果表明,提供强制情境下对立角色违反规则的信息时,两种任务的反应模式没有明显的关联;提供非强制情境下的反例信息时,两种任务的反应模式出现分离趋势;当对规则的语义关系进行充分非必要或必要非充分关系的解释时,两者又趋于一致。分析表明,被试采用多种策略完成选择任务,而是否采用条件推理的逻辑取决于特定情境能否激活这种逻辑。     

小学生图形推理策略发展特点的研究

本研究用我们修订的瑞文推理为材料,对145名儿童图形推理策略进行研究。结果发现：小学生在解决图形推理问题时使用六种策略,它们分别是分析策略、不完全分析策略、知觉分析策略、知觉匹配策略、格式塔策略和自主想象策略;不同年龄儿童在解决不同类型题目时的策略使用表现出不同的特点,儿童在解决数量规则题中,知觉分析策略在整个小学儿童阶段占主导地位,而在解决加减规则题中,分析策略占主导地位,随年龄增长而呈上升趋势;小学二年级开始出现图形推理能力发展的飞跃,二年级儿童开始能够同时观察到两种规则,五六年级儿童更能够不受题目形式的影响．而是从本质上把握逻辑规则。     

20世纪语言逻辑的发展:世界与中国

语言逻辑(The Logic of Language)又叫自然语言的逻辑(The Logic of Natural Language),是以自然语言中的逻辑问题为研究对象的一门新兴学科。逻辑是研究推理的科学,语言逻辑就是研究自然语言中的推理问题的科学。它与一般逻辑之间的区别就在于它以自然语言为研究对象,是自然语言的语形学、语义学、语用学三者的综合。研究自然语言中的推理问题,既可以用描述的方法,说明推理的过程,阐述推理的机制;也可以用形式化的方法,构建形式系统和语义模型,证明形式系统的一致性和完全性。用前一种方法形成的语言逻辑可以称为描述的语言逻辑,用后一…     

重在掌握演绎推理的逻辑性

人们在实际生活中,无论是思考问题还是交流思想,总是要进行推理的。不过人们的推理并不都合乎逻辑。合乎逻辑是正确推理的必要条件,也是正确思维的重要特征。因此,研究推理的逻辑性,即推理的逻辑结构及其规则,是形式逻辑科学的一项重要任务。了解和掌握各种推理形式的逻辑结构及其逻辑规则,也就是我们学习推理各章的主要目的和要求。下面谈谈学习演绎推理应当着重注意的几个问题。一、首先要弄清楚演绎推理的逻辑特征。演绎推理的特征是相对于归纳推理     

儿童推理能力的新发现——儿童的道义推理

逻辑推理是人类特有的能力。人们利用推理可以从已知知识中推出新知识，从事实或假设中得到新结论。掌握正确的逻辑推理规则无疑会提高人分析和解决问题的能力。正因为推理能力对人类的重要性，心理学对人的推理的研究从未中断过。     

规则变型推理对远迁移问题解决的促进

为了避免多重变异样例学习和采用题海战术,并能促进规则样例学习的远迁移问题解决,开创出原样例学习后对原型规则做出变型推理的学习方法,以算术应用题的解题样例为原样例学习材料进行了4项实验研究。结果显示：四年级小学生运用该方法可有效促进远迁移问题的解决;其变型推理能力存在数学成绩等级差异;提供问题情境和推理提示能提高部分学生规则变型推理成绩和远迁移测验成绩。实验结果证明,规则变型推理是促进远迁移问题解决的有效方法之一。     

论Modus Ponens

本文从澄清"modus ponens"的拉丁文涵义并揭示它在实际使用中的不同所指入手,沿着语义进路分别在经典逻辑与以超相容性逻辑LP为例的非经典逻辑中审查MP的有效性。基于对"逻辑"和"推理"(某种使用逻辑的心智行动)的区分,刻画"无MP的逻辑"之于自然语言以及实际推理何以可能。根据对前述脉络的整体把握,对"为什么采用超相容性逻辑作为我们的语言的逻辑"以及"一个超相容性的逻辑如何与‘拒斥不相容’的原则共存"这两个问题给出反思性说明。     

大数据推理的归纳逻辑基础

大数据是当今计算机发展的新方向,它的原理是基于已经收集到的大数据去推测未来或者总体,所以可以说在大数据的分析中使用了很多逻辑推理,但是对于这一问题的研究并不充分。大数据推理不同于经典的逻辑推理,它是一种统计推理,也是一种基于经典逻辑推理的复合推理模式,所以从推理的视角看待大数据既可以发展一种新型的推理方法,对大数据分析也很有帮助。     

命题逻辑的推理规则

关于复合命题的推理在传统逻辑里基本上只讨论了假言推理肯定式(Modusponens)和否定式以及假言联锁推理、选言推理、二难推理等。相对于某些推理形式,传统逻辑还列出了所谓推理规则。例如关于Modus ponens的规则是:承认前件就要承认后件。在现代逻辑里,命题逻辑研究关于命题联接词的推理。以(?)表示人工语言里演绎的推出关系,现代逻辑就把推理形式Modus ponens抽象为下列推理规则:     

缜密思考 多角度分析——逻辑综合题分析解答一例

在形式逻辑的内容里,推理是学习的重点。推理当中,演绎推理又是核心,逻辑考试中,让学生进行推理分析,占有较大比重,培养较快的分析解答能力,是逻辑教和学两个方面重要的任务。 一些逻辑推理综合题,往往可以从不同角度进行分析解答,或可以用不同的推理形式去分析解答。如