本書是在當代悖論研究中富有活力的情境語義學解悖方案的奠基之作。本書提出,由于情境具有部分性,可以被不斷地擴充,所以說謊者命題會隨著情境的變化而表現(xiàn)出不同的真值,但情境的變化決定著這里不存在任何悖論。這個方案非常符合直觀,具有很高的非特設性,有力地推動了悖論研究的發(fā)展,并且在一系列相關研究領域中呈現(xiàn)出廣泛的解題功能。本書訴求“讀者友好”,可適應多層次、多方面讀者。它不預設讀者通曉作為元理論的集合論ZFCAFA,而是辟出專章來詳細講述這種新的集合論;也不預設讀者熟知其他解悖方案,而是詳細介紹以往兩種最著名的解悖方案,讓讀者自己通過對比來理解情境語義學解悖方案及其優(yōu)勢。此外,書中精心編制了很多習題,可幫助讀者熟練掌握書中涉及的形式技術。針對不熟悉形式技術的讀者,本書做了精心布局,即使在閱讀時跳過某些技術性較強的部分,也不影響對情境語義學解悖方案的理解。同時,本書還提出了一些未決問題,以促進讀者進一步思考和研究。
喬恩·巴威斯,著名邏輯學家、計算機科學與人工智能學家,情境語義學與情境理論的創(chuàng)始人。曾先后任教于美國斯坦福大學和印第安納大學。約翰·埃切曼迪,著名邏輯學家、計算機科學與人工智能學家。現(xiàn)任斯坦福大學人文與科學學院帕特里克·蘇佩斯講習教授,HAI(Human-CenteredAIInstitute)聯(lián)席主任,曾任斯坦福大學常務副校長(教務長)。
前言
鳴謝
第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的羅素語義學
第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章奧斯汀語義學
第1節(jié)L的奧斯汀語義學
第2節(jié)可表達命題的T-封閉
第3節(jié)更多例子分析
第4節(jié)奧斯汀完備性定理
第11章羅素闡釋與奧斯汀闡釋的聯(lián)系
第1節(jié)作為對角線論證的說謊者悖論
第2節(jié)映像定理
第3節(jié)悖論句的刻畫
第12章否定與否認
第13章結(jié)語
第1節(jié)悖論的正確處理
第2節(jié)懷疑者的教益
參考文獻
索引
附言
人類-關系-動物-研究