定 價:58 元
叢書名:當(dāng)代學(xué)術(shù)棱鏡譯叢
- 作者:喬恩·巴威斯,約翰·埃切曼迪
- 出版時間:2022/4/8
- ISBN:9787305250996
- 出 版 社:南京大學(xué)出版社
- 中圖法分類:O144.2
- 頁碼:228
- 紙張:
- 版次:1
- 開本:16開
本書是在當(dāng)代悖論研究中富有活力的情境語義學(xué)解悖方案的奠基之作。本書提出,由于情境具有部分性,可以被不斷地?cái)U(kuò)充,所以說謊者命題會隨著情境的變化而表現(xiàn)出不同的真值,但情境的變化決定著這里不存在任何悖論。這個方案非常符合直觀,具有很高的非特設(shè)性,有力地推動了悖論研究的發(fā)展,并且在一系列相關(guān)研究領(lǐng)域中呈現(xiàn)出廣泛的解題功能。本書訴求“讀者友好”,可適應(yīng)多層次、多方面讀者。它不預(yù)設(shè)讀者通曉作為元理論的集合論ZFCAFA,而是辟出專章來詳細(xì)講述這種新的集合論;也不預(yù)設(shè)讀者熟知其他解悖方案,而是詳細(xì)介紹以往兩種最著名的解悖方案,讓讀者自己通過對比來理解情境語義學(xué)解悖方案及其優(yōu)勢。此外,書中精心編制了很多習(xí)題,可幫助讀者熟練掌握書中涉及的形式技術(shù)。針對不熟悉形式技術(shù)的讀者,本書做了精心布局,即使在閱讀時跳過某些技術(shù)性較強(qiáng)的部分,也不影響對情境語義學(xué)解悖方案的理解。同時,本書還提出了一些未決問題,以促進(jìn)讀者進(jìn)一步思考和研究。
喬恩·巴威斯,著名邏輯學(xué)家、計(jì)算機(jī)科學(xué)與人工智能學(xué)家,情境語義學(xué)與情境理論的創(chuàng)始人。曾先后任教于美國斯坦福大學(xué)和印第安納大學(xué)。約翰·埃切曼迪,著名邏輯學(xué)家、計(jì)算機(jī)科學(xué)與人工智能學(xué)家,F(xiàn)任斯坦福大學(xué)人文與科學(xué)學(xué)院帕特里克·蘇佩斯講習(xí)教授,HAI(Human-CenteredAIInstitute)聯(lián)席主任,曾任斯坦福大學(xué)常務(wù)副校長(教務(wù)長)。
前言
鳴謝
第I篇引言
第1章說謊者悖論
第1節(jié)一些背景
第2節(jié)悖論診斷
第3節(jié)基本決定
第4節(jié)本書規(guī)劃
第5節(jié)類說謊者悖論清單
第2章語句、陳述與命題
第1節(jié)羅素命題
第5節(jié)歸納與共歸納定義
第II篇羅素命題與說謊者悖論
第4章羅素命題的建模
第1節(jié)基本定義
第2節(jié)L的羅素語義學(xué)
第5章羅素命題的真
第1節(jié)真與此世界
第2節(jié)T-模式與此世界
第3節(jié)克里普克結(jié)構(gòu)與其他封閉條件
第4節(jié)見證函數(shù)
第5節(jié)悖論性羅素命題
第6章羅素闡釋的推論
第1節(jié)更多例子分析
第2節(jié)羅素闡釋的問題
第7章語句與羅素命題
第1節(jié)證明論
第2節(jié)悖論句
第III篇奧斯汀命題與說謊者悖論
第8章奧斯汀命題的建模
第1節(jié)基本定義
第2節(jié)奧斯汀命題的真
第9章奧斯汀命題與此世界
第1節(jié)可及的奧斯汀命題
第2節(jié)奧斯汀世界的建模
第3節(jié)奧斯汀世界的T-模式
第10章奧斯汀語義學(xué)
第1節(jié)L的奧斯汀語義學(xué)
第2節(jié)可表達(dá)命題的T-封閉
第3節(jié)更多例子分析
第4節(jié)奧斯汀完備性定理
第11章羅素闡釋與奧斯汀闡釋的聯(lián)系
第1節(jié)作為對角線論證的說謊者悖論
第2節(jié)映像定理
第3節(jié)悖論句的刻畫
第12章否定與否認(rèn)
第13章結(jié)語
第1節(jié)悖論的正確處理
第2節(jié)懷疑者的教益
參考文獻(xiàn)
索引
附言
人類-關(guān)系-動物-研究