Fitch-悖论的直觉主义逻辑解决方案探析 被引量：1

1

作者 王晶 潘世墨 《厦门大学学报（哲学社会科学版）》 CSSCI 北大核心 2014年第1期45-51,共7页

Fitch-悖论从可知性原则和"非全知"的观点出发,导出结论"每个真理事实上被知道",该结论对反实在论提出了严苛的挑战。以T.Williamson为代表的反实在论者采用直觉主义逻辑,并根据双重否定消去规则失效的原理,成功地... Fitch-悖论从可知性原则和"非全知"的观点出发,导出结论"每个真理事实上被知道",该结论对反实在论提出了严苛的挑战。以T.Williamson为代表的反实在论者采用直觉主义逻辑,并根据双重否定消去规则失效的原理,成功地避免了该结论的出现。然而,直觉主义逻辑的解决方案并非无懈可击,它面临着不同的责难。反实在论者如果把研究重点转向Fitch-悖论的实质——模态算子◇的消失,或许对完善其直觉主义逻辑解决方案有所裨益。 展开更多

关键词 Fitch-悖论 直觉主义逻辑 可知性原则 反实在论

在线阅读 下载PDF 职称材料

论直觉主义逻辑对经典逻辑的挑战 被引量：1

2

作者 颜中军 《湘潭大学学报（哲学社会科学版）》 CSSCI 北大核心 2011年第3期125-128,共4页

直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的基础。直觉主义逻辑拒斥排中律和间接证明法,认为逻辑主义和形式主义都是错误的。直觉主义逻辑与经典逻辑到底是怎样的关系,不同的解释将导致不同的回答。另外,... 直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的基础。直觉主义逻辑拒斥排中律和间接证明法,认为逻辑主义和形式主义都是错误的。直觉主义逻辑与经典逻辑到底是怎样的关系,不同的解释将导致不同的回答。另外,直觉主义逻辑理论自身面临诸多困境,尽管达米特为此作出了哲学辩护,但依然受到多方面的指责。 展开更多

关键词 直觉主义 直觉主义逻辑 经典逻辑 可构造性

在线阅读 下载PDF 职称材料

直觉主义视角下量子逻辑的进一步解释

3

作者 周恒 王拥军 +1 位作者 王宝山 燕健 《计算机科学》 CSCD 北大核心 2020年第5期1-6,共6页

量子计算机将成为计算机科学未来的发展方向之一,量子逻辑是反映量子计算与量子信息的数学基础。Von Neumann用希尔伯特空间的闭子空间表示量子物理系统的性质,构成正交模格,其元素有明确的物理意义,但无法刻画叠加性质;Bob Coecke填加... 量子计算机将成为计算机科学未来的发展方向之一,量子逻辑是反映量子计算与量子信息的数学基础。Von Neumann用希尔伯特空间的闭子空间表示量子物理系统的性质,构成正交模格,其元素有明确的物理意义,但无法刻画叠加性质;Bob Coecke填加析取元素来表示叠加性质,借助Heyting代数,基于正交模格构造命题格对量子逻辑进行刻画,命题格中元素有明确的数学含义,但物理意义不够明确。针对后者,文中对命题格中元素的物理含义做出了进一步的解释,认为补充的析取元素代表的物理意义为描述叠加性质时所依赖的“观察者视角”,使得命题格中所有元素都获得了清晰的物理含义,通过阐述量子逻辑在测量时的应用,为量子计算中的隐形传态、超距同步等技术提供了重要的理论依据。 展开更多

关键词 量子计算机 叠加性质 直觉主义逻辑 析取元素 观察者视角 测量

在线阅读 下载PDF 职称材料

命题演算的两个直觉主义系统 被引量：1

4

作者 刘大中 董克诚 《河北大学学报（自然科学版）》 CAS 2000年第4期316-319,共4页

介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 。

关键词 直觉主义逻辑 命题演算 希尔伯特型 自然演绎型

在线阅读 下载PDF 职称材料

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

5

作者 刘大中 董克诚 《河北大学学报（自然科学版）》 CAS 2001年第2期103-106,共4页

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

关键词 命题演算 希尔伯特型 直觉主义逻辑 可构造性 逻辑演绎 推理

在线阅读 下载PDF 职称材料

一阶谓词演算自然演绎型直觉主义系统NDPI

6

作者 刘大中 董克诚 《河北大学学报（自然科学版）》 CAS 2003年第4期422-424,共3页

关键词 谓词演算 自然演绎型 判断 坚钦型 直觉主义逻辑

在线阅读 下载PDF 职称材料

直觉主义类型论中否定构造的研究

7

作者 宋方敏 《南京大学学报（自然科学版）》 CAS CSCD 1991年第2期203-208,共6页

本文详细讨论直觉主义类型论中的否定构造,首先列出它的规则,然后证明一些有关否定的性质,最后证明对于直觉主义命题演算的可证命题在直觉主义类型论中可直接构造出其证明。

关键词 类型论 直觉主义逻辑 否定

在线阅读 下载PDF 职称材料

直觉主义认知逻辑ICDK

8

作者 徐京京 《计算机科学与探索》 CSCD 北大核心 2018年第11期1843-1851,共9页

认知逻辑是研究知识推理和信念变化的模态逻辑的一个分支,在人工智能、多agent系统以及对策论等领域有着广泛应用。为给强调构造性和能行性的计算机科学相关领域的研究提供新的逻辑工具,一批学者开始将直觉主义构造性观点和认知逻辑相结... 认知逻辑是研究知识推理和信念变化的模态逻辑的一个分支,在人工智能、多agent系统以及对策论等领域有着广泛应用。为给强调构造性和能行性的计算机科学相关领域的研究提供新的逻辑工具,一批学者开始将直觉主义构造性观点和认知逻辑相结合,在直觉主义逻辑基础上对认知逻辑展开研究。基于J?ger和Marti对直觉主义分布式知识和公共知识的研究,在直觉主义逻辑框架下同时处理公共知识和分布式知识。针对知识满足的不同性质及不同可达关系特性,建立了含分布式知识和公共知识的两个直觉主义认知逻辑公理系统ICDK和ICDT。通过对模型进行逐次变换的方法构造了典范模型并给出了完备可靠性证明。 展开更多

关键词 直觉主义认知逻辑 分布式知识 公共知识

在线阅读 下载PDF 职称材料

逻辑与哲学——历史的回顾 被引量：1

9

作者 马钦荣 《学术界》 CSSCI 1989年第6期34-40,1,共8页

哲学是思维对存在本性的探究,逻辑学(形式逻辑)则是关于思维的逻辑形式的科学,二者存在着天然的联系。以西方逻辑学的发展为线索,对逻辑学与哲学的关系作了初步考察,並力图说明:没有哲学的思考,逻辑学就不会出现真正的变革,而没有逻辑... 哲学是思维对存在本性的探究,逻辑学(形式逻辑)则是关于思维的逻辑形式的科学,二者存在着天然的联系。以西方逻辑学的发展为线索,对逻辑学与哲学的关系作了初步考察,並力图说明:没有哲学的思考,逻辑学就不会出现真正的变革,而没有逻辑学的发展,一些哲学问题研究的深化也是难以想象的。 展开更多

关键词 逻辑学家 亚里士多德 形式逻辑 直觉主义逻辑 逻辑系统 西方逻辑学 现代逻辑 数理逻辑 可能世界 逻辑形式

在线阅读 下载PDF 职称材料

可重构安全系统建模与配置生成方法研究

10

作者 肖玮 陈性元 +2 位作者 杜学绘 李海玉 陈宇涵 《软件学报》 EI CSCD 北大核心 2018年第12期3635-3647,共13页

以安全重构元为基础,能够提供高灵活性、适应性和可扩展性安全服务的可重构安全计算系统已成为当前安全研究领域的热点问题.目前,关于重构机理的研究主要采取基于功能候选集的静态重构配置生成方法,可重构安全系统作为一种主动安全防御... 以安全重构元为基础,能够提供高灵活性、适应性和可扩展性安全服务的可重构安全计算系统已成为当前安全研究领域的热点问题.目前,关于重构机理的研究主要采取基于功能候选集的静态重构配置生成方法,可重构安全系统作为一种主动安全防御手段,应具有动态自动重构的能力,避免人工介入导致的脆弱性.针对动态自动可重构安全系统的建模以及配置生成过程的描述问题,提出了一种基于直觉主义逻辑扩展的动态自动可重构安全系统逻辑模型SSPE,给出了逻辑模型SSPE上的语法和推理规则,设计了基于SSPE的等级化安全重构元和安全需求建模和表达方法,并给出了基于映射关系的安全重构元描述向逻辑语言的转换规则.最后,以IPSec协议为例,阐述了可重构安全系统重构配置的动态自动推理生成过程.基于直觉主义逻辑的可重构安全系统建模和配置生成方法,为研究可重构安全系统的重构机理提供了新的思路和方法,具有重要的意义. 展开更多

关键词 可重构安全系统 直觉主义逻辑 安全重构元 重构机理

在线阅读 下载PDF 职称材料

Curry-Howard同构理论:研究综述

11

作者 张昱 宋方敏 《计算机科学》 CSCD 北大核心 2002年第4期9-11,共3页

一、引言 理论计算机科学的发展吸取了大量数学和逻辑上的重要成果.逻辑是理论计算机科学十分重要的基础之一,而其中又以直觉主义逻辑对计算机科学的影响最为显著,它的思想比古典逻辑更加切合计算的观点.另一个值得一提的成果就是Alonzo... 一、引言 理论计算机科学的发展吸取了大量数学和逻辑上的重要成果.逻辑是理论计算机科学十分重要的基础之一,而其中又以直觉主义逻辑对计算机科学的影响最为显著,它的思想比古典逻辑更加切合计算的观点.另一个值得一提的成果就是Alonzo Church在1936年提出的λ-演算系统,λ-演算所依据的是一种完全不同于逻辑的思想,它是计算机科学中函数式程序设计语言的理论基础.这是两种无论从语法上还是从语义上去观察都区别甚大的形式系统,然而它们之间却存在着某种奇妙的对应关系,这就是本文所要介绍的Curry-Howard同构理论(Curry-Howard Isomorphism). 展开更多

关键词 计算机科学 Curry-Howard同构理论 直觉主义逻辑 命题演算

在线阅读 下载PDF 职称材料