論集合論的模型
作者：李娜; 何建鋒 南開大學(xué)哲學(xué)院
摘要：本文討論了ZF的經(jīng)典模型和非經(jīng)典模型,梳理了它們的最新動(dòng)態(tài),并且將ZF的廣義代數(shù)值模型推廣到基于形式不一致邏輯的弗協(xié)調(diào)集合論。該推廣過程的關(guān)鍵在于解決兩個(gè)問題:第一,這類弗協(xié)調(diào)集合論是否包含不是一致的集合;第二,在模型中如何處理相等關(guān)系=,以便它能夠滿足萊布尼茲公理。此外,本文構(gòu)造的廣義代數(shù)值模型具有一定的可推廣性。
注：因版權(quán)方要求，不能公開全文，如需全文，請咨詢雜志社。
邏輯學(xué)研究雜志
邏輯學(xué)研究雜志， 雙月刊，本刊重視學(xué)術(shù)導(dǎo)向，堅(jiān)持科學(xué)性、學(xué)術(shù)性、先進(jìn)性、創(chuàng)新性，刊載內(nèi)容涉及的欄目：專欄：中國古代邏輯、專欄：數(shù)學(xué)哲學(xué)新進(jìn)展、專欄：現(xiàn)代邏輯前沿、專欄:形式邏輯前沿問題研究等。于2008年經(jīng)新聞總署批準(zhǔn)的正規(guī)刊物。
- CSSCI南大期刊
- 1-3個(gè)月審核
