基于开放世界预设的3-值逻辑的列表证明系统

鞠实儿等(2003)在开放世界预设和真值条件理论基础上,构造了3-值语句演算系统SLO及其形式语义理论.该文采用Priest(2001)列表证明的表述形式,结合Fitting(1995)多值逻辑列表证明实质,克服两者的一些缺陷,给出了一种改良的3-值逻辑列表证明方法.针对SLO的形式语义,该文给出各个联结词的列表证明规则,构造出列表证明系统SLO*,并且证明了这一系统相对SLO语义是可靠的和完全的.     

研究主体信念修正的不同路径

刻画主体知识(信念)推理的认知(信念)逻辑,一直是学者们研究的热点问题之一。而知识(信念)本身并非一成不变,作为人们信息交流中的重要内容,对它们变化规律的研究,不但可以促进原来的认知(信念)逻辑的发展,更重要的是可以为进一步研究一般的主体信息变化逻辑提供扎实的基础和切入点。信念修正理论则是刻画信念(知识)变化的有力的逻辑工具之一。     

基于概念空间理论的概念进化

由于世界和信息的动态性,主体认知形成的概念及分类处于不断变化之中,这就需要某种合适的方式来描述变化过程.本文首先借鉴概念空间模型,说明和概括由此引出的概念动力学,并作简单评价;然后结合上述方法,提出一种从较小的已知到部分无知再到较大的已知的概念进化模型.     

信息变化的逻辑

刻画主体知识信念推理的认知(信念)逻辑,一直是学者们研究的热点问题之一。而知识信念本身并非一成不变,作为人们信息交流中的重要内容,对它们变化规律的研究,不但可以促进原来的认知(信念)逻辑的发展,更重要的是可以为进一步研究一般的主体信息变化逻辑提供扎实的基础和切入点,因此我们需要为知识信念找到刻画它们变化的逻辑工具。     

在通识教育和专业教育之间的逻辑素质训练

逻辑通识教育通常以自然语言为基础,涉及基本的推理论证等技能,受众较多.其主要理念是强调通过一定的训练,养成逻辑理性为基础的思维能力和习惯,提升学生的综合素质,从而更好地完成其他相应专业的学习和训练.逻辑专业教育主要以形式语言为基础,涉及形式语义和公理化系统方法等技能,技术性强,受众较少.当前我国逻辑专业教育与逻辑通识教育的需求脱节比较严重.现阶段缺少处于专业教育和通识教育之间的逻辑教育和素质训练.为此,提出一种“领域逻辑”的设想.提倡一种上有专业理论和技能支撑、下接“地气”、不可替代的中间层次的领域逻辑教育和核心思维素质培养模式.