theory）和构造主义分析。 鲁伊兹·布劳威尔 阿蘭德·海廷 斯蒂芬·克莱尼 迈克尔·达米特 直觉逻辑 直觉主义算术 直觉类型理论 直觉主义集合论 直觉主义微积分 超直觉主义 反现实主义 BHK释义 直觉类型论 经典逻辑 中间逻辑 线性逻辑 构造性证明 Curry-Howard对应 可计算性逻辑 博弈语义...

直觉主义逻辑或构造性逻辑是最初由阿蘭德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。 直觉...

在数学哲学中，构成主义或构造主义认为要证明一个数学对象存在就必须把它构造出来。如果假设一个对象不存在，并从该假设推导出一个矛盾，对于构成主义者来说，不足以证明该对象存在。（构造性证明） 构成主义常常和直觉主义混淆，实际上，直觉主义只是构成主义的一种。直觉主义强调数学的基础建立在数学家们个人的直觉...

中介逻辑是在直觉主义逻辑和经典逻辑之间的中介，这是在它们包含在直觉主义逻辑中不可证明的定理，而又不等于的经典逻辑的意义上说的。这种逻辑也叫做超直觉主义或次经典逻辑。 有連續統的勢个不同的中介逻辑，通常是向直觉主义逻辑增加一个或多个公理而获得的。 这种逻辑的例子有： 直觉主义逻辑（IPC, Int,...

成主義者容許可列集中存在无穷。对有限主義进行有限主义主张则是極端有限主義。 著名有限主義者利奧波德·克羅內克曾說： 上帝創造整數，其他的都是人類的工作。 雖然大部分現代有限主義者的觀點較弱，但他們的有限主義思想源頭都可以在克羅內克的作品找到。 数学直觉主义 直觉主义类型理论 博弈语义学 构造性证明...

著名数学家和数学流派的数学和哲学思想； 数学方法和数学基础等问题。 现代数学哲学的研究内容包括： 数学基础的研究，羅素的逻辑主义、布勞威爾的直觉主义和希尔伯特的形式主义等流派； 数学悖论的研究，探讨悖论的排除及彻底解决的可能性； 数学本体论的研究，探讨数学的研究对象是否为客观的真实的存在；数学真理性的研究等。...

虑已经推动了其他的工作，比如Japaridze的可计算性逻辑。 Independence Friendly逻辑 直觉主义逻辑 线性逻辑 可计算性逻辑 交互式计算 直觉主义 BHK释义 直觉类型论 经典逻辑 中间逻辑 构造性证明 Curry-Howard对应 可计算性逻辑 Krabbe, E. C. W...

在数学裡，海廷代数（Heyting algebra）是一特殊的偏序集，經由廣義化布爾代數而成，得名於阿蘭德·海廷。海廷代数是作为直觉主义逻辑的模型而產生的，是一種排中律不總是成立的逻辑。完全海廷代数是无点拓扑学的核心。 海廷代数H為一有界格，滿足如下條件：对于在H中的所有a和b，存在一屬於H的最大元素x，使得...

逻辑和其他形式的多值逻辑使用比简单的真和假更多的真值。 在代数上说，集合真、假形成了简单的布尔代数。可以把其他布尔代数用作多值逻辑中的真值集合，但直觉主义逻辑把布尔代数推广为海廷代数。 在topos理论中，topos的主客对象分类器接管了真值集合的位置。 Article on logical constants...

，甚至可以放弃可能产生最大幸福量的行为。这表明，西季威克的伦理思想接近义务论。他还是一个伦理快乐主义者，但绝不是一个与直觉主义相对抗的传统典型的功利主义者。西季威克这种以直觉主义为基础，具有普遍快乐主义和理性利己主义特色的功利主义伦理思想，成为后来的剑桥伦理学派的一个主要特征。同时，他的整个理论，...

1912年布劳威尔获得阿姆斯特丹大学教授职位，并当选为荷兰皇家科学院院士。在此时期，他的研究兴趣主要在数学基础和哲学方面。布劳威尔不同意希尔伯特的形式化主义，对此，他提出的直觉主义可以看作是构造主义的一种变形，坚持数学对象必须可以构造，并不承认排中律。 布劳威尔的思想受到希尔伯特的强烈反对。由于希尔伯特的巨大影响力，20年...