-
题名柏拉图主义与集合论终极宇宙
被引量：3
- 1
-
-
作者
郝兆宽
杨跃
-
机构
复旦大学哲学学院
新加坡国立大学数学系
-
出处
《逻辑学研究》
CSSCI
2017年第4期87-98,共12页
-
文摘
假设V=终极L,则连续统假设为真,并且所有关于集合论的独立性问题都可以还原为有关更大无穷的公理,它还为集合论提供了一个对科恩力破免疫的公理化基础。在这个意义上,这将是哥德尔纲领的一个实现。更进一步,如果V=终极L是真的,那么就存在一个独特的集合论模型,从某种意义上说它就是真实的集合宇宙。这一事实本身说明集合的宇宙是一个确定的客观实在,可以看作是支持柏拉图主义的证据。
-
关键词
柏拉图主义
哥德尔纲领
终极L
连续统假设
-
分类号
B81-0
[哲学宗教—逻辑学]
-
-
题名重审哥德尔思想
被引量：1
- 2
-
-
作者
郝兆宽
-
机构
复旦大学哲学学院
-
出处
《科学．经济．社会》
2021年第2期32-38,共7页
-
文摘
本文的主要内容来自《哥德尔纲领》(复旦大学出版社,2018年)一书的序言,在这里做了适当的修改,同时增补了该书第四章的有关内容,主要目的是强调当前哲学界对哥德尔思想的研究还很不够,许多深刻的思想尚待发掘。同时,我们也意识到,哥德尔思想备受冷落的根源在于它不属于当代哲学的任何一个范式。跳出已有的藩篱,在数学实践中寻找哲学的灵感也许是理解哥德尔的一把钥匙。
-
关键词
哥德尔
数学哲学
柏拉图主义
连续统假设
形式主义
数学实践
哥德尔纲领
-
Keywords
G?del
philosophy of mathematics
platonism
continuum hypothesis
formalism
mathematical practice
G?del’s program
-
分类号
B712.59
[哲学宗教—外国哲学]
-
-
题名哥德尔纲领的若干版本
- 3
-
-
作者
杨睿之
-
机构
复旦大学哲学学院
-
出处
《自然辩证法通讯》
CSSCI
北大核心
2020年第12期42-47,共6页
-
基金
国家社会科学基金青年项目——“内模型计划与当代集合论哲学研究”(项目编号:17CZX052)。
-
文摘
哥德尔及后来学者发现的独立性现象是当代数学哲学讨论无法回避的。哥德尔纲领是作为实在论者的哥德尔对独立性现象的回应,体现了对理性的乐观态度。在本文中,作者试图按照乐观的程度,把哥德尔纲领细分为不同的版本。武丁计划被认为是当代集合论研究中对哥德尔纲领最忠实的实践。本文将在上述区分的基础上更清晰地定位武丁计划,并探讨其可能的哲学后承。
-
关键词
乐观的理性主义
哥德尔纲领
武丁计划
-
Keywords
Optimistic view on rationality
Godel’s program
Woodin’s Program
-
分类号
N031
[自然科学总论—科学技术哲学]
-
-
题名哥德尔纲领的实现能支持数学实在论吗?
- 4
-
-
作者
高坤
-
机构
山西大学科学技术哲学研究中心
-
出处
《科学．经济．社会》
2021年第2期49-56,共8页
-
基金
山西省高等学校哲学社会科学研究项目“哥德尔纲领与数学实在论”(2019W014)
-
文摘
哥德尔纲领是由哥德尔提出的一个旨在解决集合论独立性问题的研究方略,它对最近半个世纪的集合论研究产生了巨大的影响。当代集合论的一些最新成果显示,这个纲领有可能面临一个完美的实现。很多人认为,这将有力地支持数学实在论。但更深入的分析表明,哥德尔纲领的真正基础是集合的迭代概念,而非实在论;并且,集合的迭代概念以及践行哥德尔纲领所使用的外在的公理辩护方法,实际上与实在论的立场有潜在的冲突,反倒与反实在论的图景更为契合。
-
关键词
数学哲学
哥德尔纲领
数学实在论
-
Keywords
philosophy of mathematics
G?del’s Program
mathematical realism
-
分类号
O1-0
[理学—数学]
-
