逻辑观的嬗变与非形式逻辑的出现

目前国际上逻辑学界的逻辑观的变化,逻辑学从形式逻辑向认知逻辑的转向,直接导致了一些新逻辑分支的兴起,非形式逻辑就是其中比较成熟的而又最具活力、适用范围非常广泛的一个部分。文章通过考察非形式逻辑及其相关概念——批判性思维、谬误、非单调推理,力求把握这一转向的实质。     

非单调推理与论辩系统

由于仅以一阶逻辑无法刻画出人类推理过程中的非单调性,因而逻辑学家尝试建立新的逻辑系统来解决这一问题.这些系统被称为非单调逻辑.它们传统上一般采用的是优先蕴含或者一致性和不可证明性方法；而从20世纪80年代末90年代初开始,越来越多的逻辑学家开始尝试基于一种新的方法实现推理的非单调性,称为论辩理论.为此,探讨论辩系统以及其后基于论辩系统而提出的论辩框架是如何刻画非单调推理的,并分析它们相互之间的联系.     

多主体自认知逻辑系统

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

推定的非单调性及其适用的限界

推理的非单调性是指如对前提集合中加进新的知识,那么原结论可能不成立.推定是指由法律规定或审判者决定的对或然性的事实加以认定的诉讼活动和法律规则.推定可分为可反驳的推定和不可反驳的推定.可反驳推定的推理形式和逻辑认知基础上都是非单调性的,不可反驳推定作为实体法规则,其推理形式是单调性的,但在逻辑认知基础上仍然是非单调性的.基于推定的逻辑特征,从其与诉讼证明标准的关系和适用中的规范性等角度讨论了推定适用的限界问题.     

国外非单调道义逻辑研究探析

受人工智能理论的启发,结合非单调推理建立非单调道义逻辑系统成为道义逻辑研究的新趋势.通过对国外两种主要类型的非单调道义系统进行分析与比较,进而从三个方面界定了冲突义务与可替代义务之间的辩证关系,并提出道义分离规则应作为可废止性规则使用的观点,这更有利于建立面向实践领域的道义系统,从而为非单调道义逻辑研究提供了新的视角.     

“纠正”的逻辑研究述评

文章介绍了纠正现象这样一种人类常见的推理思维现象,介绍了纠正现象在逻辑学中的研究历史,并且探讨了纠正现象在逻辑学的相关研究现状。通过介绍非单调推理的研究、动态认知逻辑中的信念修正理论研究,作者指出了形式逻辑对推理纠正现象的理解和研究方法存在一些偏差甚至缺陷;通过对反馈推理的介绍,指出既有的非形式推理研究成果不足以全面刻画纠正现象的目的性、主体性、动态性和实践性等特点。据此,作者提出纠正现象应该在非形式逻辑领域得到更多的关注和更深入的研究。