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