多主体自认知逻辑系统

认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题,多主体的自认知逻辑系统,是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主体的K45n系统,并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论,同时也对该系统的可靠性和完全性进行了证明。     

弗协调多主体认知逻辑系统CnEmK

以弗协调命题逻辑Cn（1≤n〈ω）为基础,采取逻辑分支相融合的方式,使用逻辑扩张的方法,可以将弗协调逻辑措施应用于多主体认知逻辑,建立一个弗协调逻辑与多主体逻辑的融合系统CnEmK（1≤n〈ω）;CnEmK（1≤n〈ω）具有可靠性和完全性,并且是一个可以处理弗协调性的多主体认知逻辑系统;CnEmK（1≤n〈ω）也是一种基本的弗协调多主体认知逻辑系统,以之为基础可以进一步扩张得到关于公共知识、共同知识、协同知识的弗协调多主体认知逻辑系统。     

一个刻画理解的认知逻辑

通过两次问卷调查可以发现,绝大多数调查对象直观上都认为：理解一个命题就是知道它的意义。然后我们认为,在认知逻辑中,理解,作为一个模态算子,可以在一个较弱的意义上用知道算子来刻画：理解一个命题就是知道它的真假。由此,我们给出一个刻画理解的认知逻辑来揭示理解与知道之间的联系与区别。     

缺省模态逻辑

本文在Reiter 1980年提出的缺省逻辑的基础上，将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑，提出了一种缺省模态逻辑。它是一种非单调逻辑，并且具有在Reiter的系统中所不能保证的两个重要性质：扩充的存在性和非单调性，然后通过知识从其背景中分离出来的方法，给出了一个缺省理论扩充的概念，它是Reiter的扩充概念的一种推广。     

非逻辑认知:教育创新的控制论观点

非逻辑认知是指从想象、灵感、顿悟、直觉等非逻辑方式获得的认知,是一种试误的认知方式,是对逻辑演绎的否定。本文认为培养学生的创新精神、激发学生的创造力,需要教师在对学生尊重、宽容、激励、赞美的基础上教育学生学会猜想,在“无为”的教学模式中激发与强化学生的创造才能。     

单主体认知逻辑的研究--全知性和真知性

我们在《二重命题逻辑系统BT4》基础上，继续研究单主体认知的主观全知性和主观真知性，并且讨论主观全知性、主观真知性、主观自觉性以及主观自信性的关系。     

主体认知正则活动的逻辑刻画

研究了主体对正则复合活动认知的性质。首先,分析了文献中对主体认知活动的逻辑刻画及其存在的问题;然后,提出刻画主体认知复合活动的逻辑系统KRAL,并证明了该系统的可靠性和完全性。     

缺省模态逻辑

本文在Reiter 1980年提出的缺省逻辑的基础上,将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑,提出了一种缺省模态逻辑。它是一种非单调逻辑,并且具有在Reiter的系统中所不能保证的两个重要性质:扩充的存在性和非单调性,然后通过知识从其背景中分离出来的方法,给出了一个缺省理论扩充的概念,它是Reiter的扩充概念的一种推广。     

论非单调推理在日常思维中的应用

知识是人类理性思维不断作用于客观世界的结果。在我们的日常思维中,离不开两种基本的推理:必然性的推理和或然性的推理。在前一种推理中,数学和形式逻辑起主要作用。而后一种推理在日常生活中运用的可能更普遍,而且更广泛地使用非形式推理。非单调推理就是一种非必然性的推理,它的不确定性、语境依赖性和容错性等特征,是人们日常思维的重要工具。     

认知发展与认知发展异常：自组织的视角

自动力系统观被引入儿童发展研究,自组织系统日渐成为发展机制研究所偏好的理论模型之一,认知发展领域概莫能外.本文试图概述有关自组织视角下的认知发展和认知发展异常研究的进展,阐释该理论视角及有关研究范式在揭示认知发展机制所具有的独特贡献,并尝试探析领域仍悬而未决的一些问题及未来发展趋势,为今后的研究工作提供些许启示和参照.     

从经典逻辑到数理辩证逻辑

经典逻辑是现代逻辑发展早期的最基本最重要的成果。它成为现代逻辑进一步发展的基础。现代逻辑的发展表明,经典逻辑既有其适用性,又有其局限性。数理辩证逻辑是在保障其适用性,又克服其局限性基础上发展起来的现代逻辑系统。数理辩证逻辑将现代逻辑适用领域扩展到非直谓性、不确定性和内涵性推理领域。数理辩证逻辑扬弃了源于经典逻辑的逻辑悖论;防止了基于经典逻辑的逻辑怪论。     

非单调逻辑:困境与出路

非单调逻辑是能够处理人工智能等领域中不确定性推理问题的重要的非经典逻辑分支。在经典逻辑中,前提的增加一定会导致结论的增加,结论是确定的;在非单调逻辑中,随着前提的增加,结论却是不确定的。解决常识推理的一个新思路是如何区分和表达加强前提集的相容和不相容问题。     

决策逻辑的图论模型

通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。     

中国逻辑元研究的成果

中国逻辑元研究的成果,是学术探索继往开来的新起点。西方学者的元研究理论．可作为中国逻辑研究的借鉴。《公孙龙子·名实论》、《荀子·正名》和《墨经》的名辩学说,是先秦第一层次的名辩元逻辑。《公孙龙子·名实论》和《墨经》总结正名的逻辑规律,《小取》的“推”式论证和《墨经》的“止”式论证,是先秦第一层次名辩元逻辑的范例。诸子百家争鸣辩论的应用逻辑。是升华先秦第一层次名辩元逻辑的对象逻辑。现代学者以先秦第一层次的名辩元逻辑为对象逻辑,经过创造性诠释和改造转型。建构第二层次的名辩元逻辑。创造性诠释和改造转型,对原生态的先秦名辩来说．是必要的。先秦学者用古汉语表述的名辩,不经创造性诠释和改造转型．不便今人认知与应用。对先秦名辩的创造性诠释和改造转型。融会贯通古今中外逻辑,建构适用于全人类的世界同一逻辑。汲取中国学者独创的逻辑精华。     

中国逻辑必然推理思想探赜

从结构上看,数学是问题和问题解的集合,逻辑是问题和答案之间的桥梁。具体到中国古代数学,其一般结构表现为：问、答、术（图）、草。＂术（图）＂阐述解题原理和步骤,＂草＂给出详细的解题过程,二者的功能和西方数学中逻辑的功能完全相同。中国数学中的＂术（图）＂和＂草＂,就是中国古代数学中的中国逻辑。中国数学是中国逻辑必然推理的研究对象,二者具有相同的源流。     

具有稳定结构的模糊逻辑模型

本文利用多边矩阵理论定义的正交性及对称性,给出了一种具有双因果关系的模糊稳定性逻辑分析模型,这种稳定的逻辑分析模型结构清晰、简单,并且可用于解决许多复杂问题.     

关于格值逻辑系统中语义归结的几点思考

语义归结方法是对归结原理的一种重要改进,能有效地提高归结推理的效率,讨论了格值逻辑系统的语义归结方法,并列出了语义归结方法的一些创新点。     

中国法律逻辑研究三十年

中国法律逻辑研究起步于30年前的改革开放,30年来,从无到有,逐渐成为一门独立的、生机勃勃的学科,其发展历经形式逻辑为纲阶段、现代逻辑为纲阶段以及现代的多元发展阶段,取得瞩目的成就,也产生了许多基本问题和热点问题,如法律逻辑的学科性质、学科基础,法律推理及法律论证问题都值得思考和研究,找出其经验和不足,以期为我国法律逻辑研究的下一步发展打下基础。     

推类逻辑:中国古代逻辑的原型(上)

从古文献考察,中国古代的推理类型是“推类”。推类的内在机制是“类同理同”,在此约束条件下,其逻辑性质是“必然得出”的。推类的逻辑有两个传统,一个是以墨家逻辑为代表的论辩传统;另一个是以易学逻辑为代表的预测、推知传统。推类逻辑是华夏文明的结晶和科学求知的方法,是人类思维宝库中的璀璨瑰宝和人类思维方式创新的宝贵资源,在发扬中华优秀文化的今天,应当对它予以关注和发掘。     

习得逻辑概论

习得逻辑的研究对象是人们在生活的各个领域中伴随着语言运用能力的发展而自然形成逻辑智能的过程。习得逻辑有基础逻辑和应用逻辑两大分支。基础逻辑包括了语文逻辑和数学逻辑。应用逻辑可以分为日常生活逻辑、工作逻辑和学习逻辑。亚里士多德和皮亚杰分别是语文逻辑和数学逻辑的奠基者。诞生在20世纪70年代的非形式逻辑是应用逻辑走向成熟的起点。