直觉主义逻辑相关论文
近几年,许多逻辑学家意识到信息在逻辑中的重要地位而转向对信息的研究,出现了不少研究成果,代表性的有[vanBenthem,1993a,1996,20......
布劳威尔的直觉主义把数学理解为心智的构造性活动,只接受心智可构造的数学对象和数学证明。在直觉主义看来,判定一个命题为真必须......
从经典命题逻辑到原始兰贝克演算,基于规则的存废形成了演算的"结构层级".对于自然语言的计算处理来说,各层级系统各有优劣.虽然原......
在直觉主义逻辑和兰贝克演算之间,各演算的区别由结构规则的去留决定,于是形成了“结构层级”和“子结构逻辑”.在这些层级系统和......
以安全重构元为基础,能够提供高灵活性、适应性和可扩展性安全服务的可重构安全计算系统已成为当前安全研究领域的热点问题.目前,......
介绍了一阶命题演算的两个直觉主义系统，希尔伯特型（HSI）及自然演绎型（NDSI），并证明了这两个系统的等价性，揭示了直觉主义逻辑的内函及与......
直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的基础。直觉主义逻辑拒斥排中律和间接证明法,认为逻辑主......
根据偏好及其变化是否在逻辑语言及语义模型中有直接的反映，可以将其分为隐偏好和显偏好。本文旨在对含有隐偏好信息的逻辑进行研究......
本文在直觉主义逻辑和海廷算术HA的基础上,重新考察了去引号模式和组合真公理,得到了三种直觉主义的类型真理论:IDT、ICT和SICT,并......
本文试图理清柯尔莫哥洛夫关于直觉主义逻辑、信息论、概率论的批判与建构的逻辑发展脉络;把柯尔莫哥洛夫'复杂性'概念置......
认知逻辑是研究知识推理和信念变化的模态逻辑的一个分支,在人工智能、多agent系统以及对策论等领域有着广泛应用。长期以来,学术......
简要介绍了一阶命题演算的希尔伯特型直觉主义系统，运用逻辑演绎的方法证明了此系统的一些定理，其目的在于加深对直觉主义系统中概念......
量子计算机将成为计算机科学未来的发展方向之一,量子逻辑是反映量子计算与量子信息的数学基础。Von Neumann用希尔伯特空间的闭子......
达米特是20世纪最有影响的英国哲学家。他的哲学著作有三个特点:一是数量众多,其中,有许多是鸿篇巨著;二是语言晦涩难懂;三是技术......
<正>意义理论是20世纪语言哲学、逻辑哲学中的重要问题,戴维森、达米特是这一理论的两位领军人物,他们以相对的观点代表了意义理论......
<正> 直觉主义哲学是一种反理性主义的唯心主义哲学思潮。数学研究中的构造主义是一种有关数学基础的观点,它主张自然数及其某些规......
19世纪下半叶,康托尔创立了集合理论,在这个时期的数学家们开始基于集合理论建立数学体系,以期构造较为完美的数学理论。然而,英国......
<正> 首先我想声明两点. 第一,我对直觉主义是一个外行.既未曾选读过有关的课程,也未曾和直觉主义者碰面过,因此我对直觉主义逻辑......
第三次数学危机之后,为解决数学基础问题而产生的最重要的理论之一是直觉主义理论。从事这一理论研究的学派被称为直觉主义学派。......
直觉主义逻辑作为一个哲学逻辑分支在19世纪80年代产生。直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的......
达米特认为意义理论的比较研究有助于解决实在论与反实在论的争论问题 ,以促使一个“研究纲领”的产生。他的反实在论哲学以其意义......
在对经典逻辑和直觉主义逻辑的原则或观点进行概括性分析的基础上,重点对经典逻辑与直觉主义逻辑之排中律进行对比分析。在经典逻......
Fitch-悖论从可知性原则和"非全知"的观点出发,导出结论"每个真理事实上被知道",该结论对反实在论提出了严苛的挑战。以T.Williams......
直觉主义逻辑是基于布劳维尔在数学中的直觉主义观点所确立起来的逻辑主张。这种逻辑主张逐渐被哲学家、数学家所接受,甚至对科学......
本文立论是围绕着维特根斯坦的前期哲学思想展开的。笔者最初的动机得益于思考这样一个问题——究竟是什么导致了维特根斯坦前后哲......
直觉主义学派奠基人布劳威尔在澄清科学、语言本质的基础上把逻辑规定为一门反映推理语言规律的科学,但他没有意识到:逻辑和数学一......
