构造性逻辑否定排中律吗

构造性逻辑是以否定排中律的前提而构建的一种非经典逻辑系统，但是把构造性逻辑和排中律对照起来看，事实并非如此。在构造性逻辑中，否定符所代表的意义已经不同于其在经典逻辑中的意义，当我们把经典逻辑中排中律的形式放到构造性逻辑中，该形式已经不能表现排中律的实质。所以，构造性逻辑只是在形式上而非实质上否定了排中律。     

数学与逻辑的关系及其发展过程中的相互作用

关于数学与逻辑的关系存在着逻辑主义和直觉主义2种观点,逻辑主义学派认为数学可以化归于逻辑,直觉主义学派认为逻辑可化归于数学。利用现代认识论的思想,论述了数学与逻辑之间的同一性、互补性和差异性,并对它们在发展过程中的相互作用进行了比较全面而深刻的揭示。     

直觉主席数学哲学研究及其对数学素质教育的启示

分析了直觉主义数学生的历史背景，阐述了直觉主义的基本哲学的立场，对待经典数学的态度和基本的逻辑观点；探讨了直觉主义对数学素质教育的几点启示。     

直觉主义数学哲学研究及其对数学素质教育的启示

分析了直觉主义数学哲学产生的历史背景，阐述了直觉主义的基本哲学立场、对待经典数学的态度和基本的逻辑观点；探讨了直觉主义对数学素质教育的几点启示．     

关于逻辑可修正性及相关问题的若干思考

逻辑真理是可错的吗?逻辑是可修正的吗?这些问题因为奎因的系统论述而备受关注,引发了国内外学者的热烈讨论和长期的争议。由于逻辑本被公认的普遍适用性和逻辑真理在逻辑系统中所居的特殊地位,对这些问题的不同回答对逻辑学甚至其他亲缘学科会带来不同的影响。通过梳理评判各家之言后认为,逻辑是可修正的,但逻辑真理是不可错的。     

析布劳维尔的直觉主义

阐述了直觉主义者的主要观点,认为海丁演算系统的提出是直觉主义逻辑最重要的发展,并对海丁演算系统的特点作了介绍和评价。同时介绍了直觉主义的消极作用和积极作用。     

命题演算的两个直觉主义系统

介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关系     

逻辑的分析与合成怎样剪切与粘贴推理系统

逻辑在纯科学和应用科学中广泛的可应用性是一个向哲学家挑战的事实。现代逻辑研究具有一个不可否认的朝着多重性和区域化发展的趋势。正如在许多领域和子领域中哲学逻辑的划分所示，一方面我们具有对经典的逻辑替代，例如多值逻辑、直觉主义逻辑补充、仿相容逻辑；另一方面我们有对经典的逻辑补充，例如模态逻辑、特别是时态逻辑、认识逻辑、信念逻辑、疑问逻辑和义务逻辑。     

模态哲思逻辑

仿照哲思逻辑的方法,在传统模态逻辑的系统内,增加一个一元算子*,再通过定义引入两个一元算子△和▽,同样可以建立一个经典模态逻辑的扩充系统——模态哲思逻辑系统。但与哲思逻辑不同的是,在模态哲思逻辑中,分别与△A和▽A形成下反对和反对关系的不是A,而是□A。这样就突破了从必然与可能间的关系入手的传统方法,找到了与必然形成相应对当关系的新算子。     

弗协调单主体认知逻辑系统CnEK及其扩张

以弗协调命题逻辑Cn(1≤n<ω)为基础,在弗协调模态命题逻辑CnG′(1≤n<ω)的框架下,将弗协调逻辑措施应用于经典认知逻辑,建立一种可以处理弗协调性的基本的弗协调单主体认知逻辑系统CnEK。在CnEK的基础上,通过扩张的方法,可以进一步得到一系列的弗协调单主体认知逻辑系统。还给出了CEK的扩张系统CED和CET。     

三种逻辑函数之间若干特殊关系的探讨

对数字逻辑系统中的三种逻辑函数即原函数，补函数、对偶数之间的若干特殊关系进行探讨，提出了一些独到见解，有助于对逻辑函数的分析，变换与简化。     

定性判断映射的逻辑

人工智能中对判断的逻辑研究,基本上被忽略．已提出的定性映射理论是判断的理论体系,现以此为基础提出1个逻辑系统QJ,意图对判断作形式化的理论探讨．     

IMTL逻辑系统的一种新扩张形式

提出了一种新的模糊逻辑系统 IMTL^*,这种逻辑系统的特点是只使用蕴涵这一种逻辑联接词。证明了这种逻辑系统是IMTL逻辑系统的模型扩张,并且 ?ukasiewicz 逻辑系统和逻辑系统ℵ^*都是它的模型扩张,应用这些结论给出了?ukasiewicz 逻辑系统和逻辑系统ℵ^*的蕴涵表示形式。只使用蕴涵这一种逻辑联接词的模糊逻辑系统将为模糊逻辑的应用提供方便。     

相干逻辑的产生及评价

在概述"蕴涵怪论"与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改。认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发展前景。然而,相干逻辑比经典逻辑、模态逻辑更加抽象,更加复杂,也导致了一系列的质疑。     

互逆主义逻辑中的逻辑命题

互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一.     

一阶命题演算的希尔伯特型直觉主义系统

简要介绍了一阶命题演算的希尔伯特型直觉主义系统,运用逻辑演绎的方法证明了此系统的一些定理,其目的在于加深对直觉主义系统中概念的理解,便于对此系统的进一步研究及应用.     

描述逻辑研究进展

介绍了描述逻辑系统的结构,对基本的描述逻辑语言以及推理机制进行了描述。重点概述了描述逻辑的动态扩展、模糊以及概率扩展的研究状况,并根据其应用领域对描述逻辑的研究趋势及其更新进展进行了介绍。     

一种算子模糊逻辑系统

建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统,讨论了该逻辑系统逻辑性质．在算子模糊逻辑系统中,定义了λ-归结,证明了λ-归结的相容性以及基于λ-归结的归结推理的完备性,为基于逻辑的不确定性推理提供了新的思路与方法．     

多Agent模糊概率信念逻辑

在经典信念形式化研究中,信念在某一可能世界中的真值取值范围是{0,1）。基于新模糊集合论给出信念真值的模糊真值计算方法,将信念的真值取值范围推广到[0,1]。在这样模糊逻辑框架下,将广义概率Aumann语义推广到广义模糊概率Aumann语义,从而建立多Agent模糊概率信念逻辑。在该逻辑中,给出多Agent模糊概率信念逻辑的语法和语义,并且证明了该逻辑系统的可靠性。     

一种基于区间模糊理论的描述逻辑系统

为了使描述逻辑具有处理模糊信息的能力,Straccia给出了基于单值的模糊描述逻辑处理方法.在该方法的基础上,给出了基于区间模糊理论的描述逻辑系统,讨论了其语法、语义和该系统的计算性质.结果表明基于区间模糊理论的描述逻辑系统是基于单值的模糊描述逻辑方法的泛化,在实际中具有更广泛的应用范围.