直觉主义逻辑相关论文
<正> 金岳霖学术基金会日前在武汉举行首次金岳霖学术奖颁奖大会。这是我国逻辑学界举行的首次颁奖活动。中国留美学生、匹兹堡大......
直觉主义逻辑中的否定有直观而清晰的含义，意为“不可能”，其强于经典否定；而相干逻辑与弗协调逻辑中的否定缺乏直观性。一般地，非经典......
核证（Justification）的概念自柏拉图以来就是认知研究中的一个重要部分。在现实中，我们通过给出一个证据，即一个核证来证实我们的知识......
<正> 金岳霖学术基金会今年8、9月举办了1990年“金岳霖学术奖”逻辑学科奖的评选活动。评选范围是1984年10月至1990年6月正式发表......
１９９３年国外哲学逻辑研究新进展李小五本年度哲学逻辑研究取得了许多新的进展，各分支学科的研究继续向深度和广度发展。现在分学科综述如......
该文从模糊逻辑的语法和语义着手，扩充到模态词和道义词并建立了相应的逻辑系统，这类逻辑的真值域是Ｚａｄｅｈ格。该文还从软代数的定义出发，建......
一、引言rn理论计算机科学的发展吸取了大量数学和逻辑上的重要成果.逻辑是理论计算机科学十分重要的基础之一,而其中又以直觉主义......
常逻辑公式是不含命题变元的逻辑公式,运用它们可以定义结构类。但反过来某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可......
一、引言理论计算机科学的发展吸取了大量数学和逻辑上的重要成果.逻辑是理论计算机科学十分重要的基础之一,而其中又以直觉主义逻......
布劳威尔的直觉主义把数学理解为心智的构造性活动,只接受心智可构造的数学对象和数学证明。在直觉主义看来,判定一个命题为真必须......
从经典命题逻辑到原始兰贝克演算,基于规则的存废形成了演算的"结构层级".对于自然语言的计算处理来说,各层级系统各有优劣.虽然原......
哲学是思维对存在本性的探究,逻辑学(形式逻辑)则是关于思维的逻辑形式的科学,二者存在着天然的联系。以西方逻辑学的发展为线索,......
在直觉主义逻辑和兰贝克演算之间,各演算的区别由结构规则的去留决定,于是形成了“结构层级”和“子结构逻辑”.在这些层级系统和......
以安全重构元为基础,能够提供高灵活性、适应性和可扩展性安全服务的可重构安全计算系统已成为当前安全研究领域的热点问题.目前,......
介绍了一阶命题演算的两个直觉主义系统，希尔伯特型（HSI）及自然演绎型（NDSI），并证明了这两个系统的等价性，揭示了直觉主义逻辑的内函及与......
学习NDPI (Nature Deduction Predicate Intuitionistic)[1]时,自然会提出这样的问题:如何证明判断"P∨┑P(P是一个命题)"在该系统......
文章通过削弱经典的Friedman-Sheard理论的逻辑基础,讨论了基于直觉主义逻辑的IFS理论。通过将直觉主义逻辑的语义学与修正语义学......
直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的基础。直觉主义逻辑拒斥排中律和间接证明法,认为逻辑主......
根据偏好及其变化是否在逻辑语言及语义模型中有直接的反映，可以将其分为隐偏好和显偏好。本文旨在对含有隐偏好信息的逻辑进行研究......
本文在直觉主义逻辑和海廷算术HA的基础上,重新考察了去引号模式和组合真公理,得到了三种直觉主义的类型真理论:IDT、ICT和SICT,并......
本文试图理清柯尔莫哥洛夫关于直觉主义逻辑、信息论、概率论的批判与建构的逻辑发展脉络;把柯尔莫哥洛夫'复杂性'概念置......
认知逻辑是研究知识推理和信念变化的模态逻辑的一个分支,在人工智能、多agent系统以及对策论等领域有着广泛应用。长期以来,学术......
怪论：“概念无逻辑矛盾的任一物理事件必然在物理世界中存在（或被实现）”可从下列四个易被接受的假设推出：１、经验归纳是不完备的。２、认......
简要介绍了一阶命题演算的希尔伯特型直觉主义系统，运用逻辑演绎的方法证明了此系统的一些定理，其目的在于加深对直觉主义系统中概念......
量子计算机将成为计算机科学未来的发展方向之一,量子逻辑是反映量子计算与量子信息的数学基础。Von Neumann用希尔伯特空间的闭子......
达米特是20世纪最有影响的英国哲学家。他的哲学著作有三个特点:一是数量众多,其中,有许多是鸿篇巨著;二是语言晦涩难懂;三是技术......
本文详细讨论直觉主义类型论中的否定构造,首先列出它的规则,然后证明一些有关否定的性质,最后证明对于直觉主义命题演算的可证命......
<正>意义理论是20世纪语言哲学、逻辑哲学中的重要问题,戴维森、达米特是这一理论的两位领军人物,他们以相对的观点代表了意义理论......
<正> 直觉主义哲学是一种反理性主义的唯心主义哲学思潮。数学研究中的构造主义是一种有关数学基础的观点,它主张自然数及其某些规......
19世纪下半叶,康托尔创立了集合理论,在这个时期的数学家们开始基于集合理论建立数学体系,以期构造较为完美的数学理论。然而,英国......
第三次数学危机之后,为解决数学基础问题而产生的最重要的理论之一是直觉主义理论。从事这一理论研究的学派被称为直觉主义学派。......
直觉主义逻辑作为一个哲学逻辑分支在19世纪80年代产生。直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的......
达米特认为意义理论的比较研究有助于解决实在论与反实在论的争论问题 ,以促使一个“研究纲领”的产生。他的反实在论哲学以其意义......
在对经典逻辑和直觉主义逻辑的原则或观点进行概括性分析的基础上,重点对经典逻辑与直觉主义逻辑之排中律进行对比分析。在经典逻......
Fitch-悖论从可知性原则和"非全知"的观点出发,导出结论"每个真理事实上被知道",该结论对反实在论提出了严苛的挑战。以T.Williams......
直觉主义逻辑是基于布劳维尔在数学中的直觉主义观点所确立起来的逻辑主张。这种逻辑主张逐渐被哲学家、数学家所接受,甚至对科学......
本文立论是围绕着维特根斯坦的前期哲学思想展开的。笔者最初的动机得益于思考这样一个问题——究竟是什么导致了维特根斯坦前后哲......
直觉主义学派奠基人布劳威尔在澄清科学、语言本质的基础上把逻辑规定为一门反映推理语言规律的科学,但他没有意识到:逻辑和数学一......
