哥德爾及后來學(xué)者發(fā)現(xiàn)的獨(dú)立性現(xiàn)象是當(dāng)代數(shù)學(xué)哲學(xué)討論無法回避的。哥德爾綱領(lǐng)是作為實(shí)在論者的哥德爾對(duì)獨(dú)立性現(xiàn)象的回應(yīng),體現(xiàn)了對(duì)理性的樂觀態(tài)度。在本文中,作者試圖按照樂觀的程度,把哥德爾綱領(lǐng)細(xì)分為不同的版本。武丁計(jì)劃被認(rèn)為是當(dāng)代集合論研究中對(duì)哥德爾綱領(lǐng)最忠實(shí)的實(shí)踐。本文將在上述區(qū)分的基礎(chǔ)上更清晰地定位武丁計(jì)劃,并探討其可能的哲學(xué)后承。 

【文章來源】：自然辯證法通訊. 2020,42(12)北大核心CSSCI

【文章頁數(shù)】：6 頁

【文章目錄】：
一、樂觀的理性主義
二、哥德爾綱領(lǐng)
三、武丁計(jì)劃
結(jié) 論


【參考文獻(xiàn)】：
期刊論文
[1]柏拉圖主義與集合論終極宇宙[J]. 郝兆寬,楊躍.  邏輯學(xué)研究. 2017(04)
[2]連續(xù)統(tǒng)問題與Ω猜想[J]. 郝兆寬,施翔暉,楊躍.  邏輯學(xué)研究. 2010(04)



本文編號(hào)：3558056