柯华庆：自然数与ω-规则的哲学探讨

文章来源：

原载《哲学研究》2003年第5期　

投稿和合作请联系邮箱：

[e-mail]

柯华庆，中国政法大学法学院教授、博士生导师，中国政法大学党规研究中心主任，主编中国第一本《党规学》，实效主义法学和改革哲学、党导立宪制、党导民主制和共同自由等理论的创立者。微信：Lawgame。

内容简介

在Cantor和Posy的基础上提出实无穷与潜无穷在本体论和认识论上的分野，直觉主义将无穷问题从本体论转到认识论。
指出Brouwer思想发展的两个阶段对于理解直觉主义一系列概念至关重要。分析了这两个阶段里直觉、构造概念和无穷观所发生的重大变化。
详细分析了自然数概念的构造性、递归函数类及其与ω-规则的关系，指出Brouwer的基本观念是非有穷的序列只有在能构造、能直觉时才能成为数学的对象，从直觉主义角度解决了ω-规则等问题。
从直觉主义数学观、和数学命题的真值性等多角度证明了直觉主义逻辑应该是可构造理论的逻辑，而并非他们自己所宣称的是构造性理论的逻辑，从HQC的不完全语义和完全语义解释证明了HOC事实上是最弱的可构造理论的逻辑。

文章内容纯属作者个人观点，不代表平台观点。感谢作者辛苦付出与创作，版权归属原作者，如有版权问题请联系小编，微信号f1922273801。

感谢您的阅读！《中华好学者》倡导"理性之思想，自主之精神"，专注于学者、学界、学术的发展进步，定期向您推荐中华优秀学者及其文章。

投稿&合作：[e-mail]

微信号: zhonghuahaoxuezhe 

感谢您抽出 · 来阅读此文

中华好学者网站已经上线

点击【阅读原文】进入中华好学者网站

↓↓↓