形式规则还是心理模型--演绎推理过程中两种判断标准的比较研究

演绎推理是人类独有的高级认知活动.然而心理学家对于人们是如何进行推理的一直存在两种不同意见有人认为推理是依赖于形式规则进行的;而另一些人则认为推理是依赖于心理模型的语义过程.对这两种判断标准理论进行分析和研究,心理模型理论在如下三个方面优于形式规则理论一是心理模型理论比形式规则理论适用的范围更广;二是心理模型理论对无效判断更为关注;三是心理模型理论关注系统错误.     

论换位推理的方法

一现行的形式逻辑理论认为在性质判断换位法直接推理过程中违反规则就不能必然地得出正确的结论,凡是违反规则的推理形式都是无效式。依这种理论看,区别有效式和无效式的逻辑标准是这些形式是否符合换位法的两条规则。如果遵守换位法的规则,那就是有效的推理形式。如果不遵守其中的某一条规则也就不能成为有效的形式。本文作者认为现行的换位法的两条规则     

条件推理心理加工机制新探

逻辑与信念的冲突是逻辑学和心理学在推理问题上争论的焦点。心理模型理论、心理逻辑理论和条件推理的条件概率模型各有特点,但对推理结论有效的判断标准不统一。判断思维理性应该有逻辑学、数学和心理学三重标准,不符合逻辑的决策并非不具有合理性,心理学研究应该为逻辑学研究做出贡献。Ev-ans提出的两种推理理性认为人类犯逻辑错误和坚持理性有内在统一性,其建构的内隐和外显双系统更是一种新的探索。     

SOP判断也可以进行换位推理

形式逻辑的现行理论一致认为简单性质判断中的SOP判断即特称否定判断不可能进行换位推理。这种观点认为如果SOP进行换位推理就违反换位法。“在前提中不周延的概念到结论中不得周延”的规则(下面简称为换位法第二规则),不能必然得出正确的结论。这是一个值得探讨的重要的理论问题。本文认为这个根据是不符合思维的实际事实,限制思维范围的理论。应该提出符合思维实际情况的新的理论。SOP判断同其他的简单性质判断一样也可以进行换位推理。在这一篇文章中只准备探讨两个问题:一是提出这种理论的根据是什么,二是SOP判断怎样进行换位推理。     

论换位推理的规则

本文要探讨的换位推理的规则是指性质判断换位法直接推理的规则。性质判断(直言判断)换位法直接推理是演绎推理的一种形式。演绎推理的前提和结论之间存在着必然性的联系。这是演绎推理形式在真假值方面的一个重要的特征。做为演绎推理的换位推理也具有必然性的逻辑特征。虽然说换位推理具有必然性的特征,但是,如果推理进行的不当,那只能得出错误的或者不恰当的结论,而不能得出真实恰当的结论,不能成为必然性的推理。所以,在换位     

话语含意推导的心理模型分析——以隐喻为例

认知语言学为话语理解与生成研究提供了新的理论框架,认为心理模型的运用是人类进行语用推理的基本形式,在自然语言的意义建构和理解过程中起着至关重要的作用。本文在认知语言学的"基于心理模型的含意推理因果化模型"的理论框架内,通过分析语言运用中的隐喻话语意义建构和理解的机理,借此进一步证明该框架作为研究话语含意的生成与理解的理论工具的普遍性、可及性和解释力,并认为话语含意的生成与理解是人们对客观事物之间的常规关系(相邻/相似关系)的认知加工、心理建模的结果。     

论真值表在形式逻辑中的工具作用

本文认为以真值表为工具，可以简明地说明复合判断的逻辑性质，可以直接地判定复合判断的逻辑形式，可以准确地确定复合判断间的逻辑关系，可以合理地推导出各类复合推理的形式与规则，可以有效地检查一个复合推理的正确与错误。     

关于选言命题及其推理的有关问题

本文对一些逻辑学教科书和有关论著在两种选言命题的定义及其推理形式与推理规则的论述上存在的问题 ,从理论和实践上进行了辩说和探讨 ,指出了问题存在的原因 ,阐述了修正的意见     

谈谈选言推理的规则──兼谈选言推理的形式

推理规则是用来分析推理正误的。正确而完善的某种推理规则应该能够分析某种推理的任何一种推理形式是否有效。而目前流行的选言推理规则起不到这样的作用。比如：（P∨q）∧p→q、（p∨q∨）∧p→q∧r等都是无效的选言推理形式，但运用流行的选言推理的规则却不能得到很好的说明。所以，目前流行的选言推理规则是不完善的，应该修正或做出明确的解释。     

论话语理解的认知基础——意向性

胡塞尔、塞尔等的研究表明:意向性是一种心智能力,是人类心智对客观世界的"指向"或"关于";塞尔进一步认为语言的产生依赖于意向性,意向性是言语行为的基本特征,是语言哲学的基础;语言是一种社会现象,意向性具有社会属性,集体意向性是意向性社会性的体现。徐盛桓的"基于心理模型的常规推理"的理论进一步证实语言和意向性的紧密联系。以这一理论为指导,通过例证分析,我们发现,集体意向性在话语理解中具有引导和制约的作用。     

从鲁迅的推理看逻辑思维与形象思维的结合

鲁迅杂文中的推理可以归纳概括出逻辑思维与形象思维的四种结合方式：代，在逻辑思维中，用理性思想的“表象”来替代抽象的概念、判断；加，在逻辑思维中，附加上形象思维的形式或因素；套，会去推理中的理性判断，用形象思维的“显现表象”来体现推理的思维内容；化，思维的“深层”是抽象的、理性的，而“表层”却转化为形象的、直观的。     

二难推理规则刍议

二难推理是假言选言推理的一种。假言选言推理就是由假言判断和选言判断作前提所构成的推理。二难推理是由两个假言前提和一个二肢选言前提组成的。许多逻辑教材都介绍了这种推理形式,但是涉及到二难推理的规则的语言表述却很不相同,并且有不够严密之处。笔者在本文中对有代表性的几种表述内容的局限性作一些简单的分析,同时对二难推理的逻辑规则试图作出严密的语言表述。关于二难推理的规则,主要有以下几种表述内容:     

执行功能和心理理论关系的发展研究

自1996年 Russell首次提出关于执行功能和心理理论关系的理论以来,二者关系的发展研究已成为近年来发展心理学研究的一个热点。一种观点认为,执行功能的发展是心理理论的基础;另一种观点认为,心理理论中的元表征能力的发展是执行功能的前提;更多的观点认为,心理理论和执行功能的发展均依赖于某种共同的认知基础。但由于已有的研究很少涉及到对这两种能力早期形成的婴儿期的研究,故还难以准确界定二者之间复杂的相互关系。     

反讽话语说话人的意向及其常规推理

说话人意向是言语交际的目的,也是构成话语意义的基础和核心.以"基于心理模型的含意推理因果化模型"为理论框架, 通过分析反讽话语说话人的意向及其常规推理的机理, 认为反讽话语说话人的意向及其常规推理是人们对语境和客观事物之间的常规关系即相邻/相似关系的认知加工和心理建模的结果.     

基于本体与Prolog的平面几何定理证明

基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明。     

演绎推理的新形式

对于演绎推理,一般逻辑读物都规定:充分条件假言推理,否认前件不能否认后件,承认后件不能承认前件;必要条件假言推理,承认前件不能承认后件,否认后件不能否认前条;相容选言推理,承认一部分选言肢不能承认或否认另一部分选言肢;三段论,如果中项在两个前提中都不周延,就不能得结论。如果违反了这些规定,推理形式就是错洪的,亦即是按照这种推理形式进行推理,即使前提是真的,结论也不必然是真的。但是,我们认为,这种规定实际上只适用于结论是实然判断的演绎推理。倘若结论不是实然判断而为或然判断     

对忒修斯之船难题“最佳候选者理论”的辩护

作为忒修斯之船难题解决方案的“最佳候选者理论”表明：个体物的同一性判断依赖于人们的选择，而非依赖于对象本身。该理论主要在个体物的本体论存在、历史起源及历史发展进程三方面被质疑。在东方哲学领域，藏传因明典籍《量理宝藏论》与“最佳候选者理论”的主张存在相通之处。借鉴《量理宝藏论》对“最佳候选者理论”辩护和修正，可得如下结果：不存在忒修斯之船的本体同一；不存在本体同一性标准；同一性判断取决于人们的共识。     

对“两极分化”问题的审视及其启示

贫富差距与两极分化问题是我国社会各界广泛关注和理论界颇有争议的问题。马克思主义政治经济学理论认为有两种性质不同的两极分化；而我国的现实尚未出现“社会的两极分化”。作为对我国现阶段社会问题的判断及其发展取向和应取的对策，应以邓小平“南巡讲话”的精神作为指导思想，并以此得到三项启发。     

隐喻话语生成的自主依存模式分析

认知语言学为话语理解与生成研究提供了新的理论框架,认为心理模型的运用是人类进行语用推理的基本形式,在自然语言的意义建构和理解过程中起着至关重要的作用。本文在认知语言学的“自主-依存分析框架”内,通过分析语言运用中的隐喻话语生成的机理,借此进一步证明该框架作为研究话语生成的理论工具的普遍性、可及性和解释力,并认为话语生成是人们对客观事物之间的常规关系（相邻／相似关系）的认知加工、心理建模的结果。     

论O判断换位——与朱庆华先生商榷

本文从形式逻辑侧重对思维形式及其规律的研究,同时并不完全与客观存在即思维内容相分离以及思维形式是从所有同一类判断和推理中概括和抽象出来的两个方面,论述了“Ｏ判断的换位推理存在的两种情况”