說謊者悖論（簡體書）

本書是在當代悖論研究中富有活力的情境語義學解悖方案的奠基之作。本書提出，由於情境具有部分性，可以被不斷地擴充，所以說謊者命題會隨著情境的變化而表現出不同的真值，但情境的變化決定著這裡不存在任何悖論。這個方案非常符合直觀，具有很高的非特設性，有力地推動了悖論研究的發展，並且在一系列相關研究領域中呈現出廣泛的解題功能。本書訴求“讀者友好”，可適應多層次、多方面讀者。它不預設讀者通曉作為元理論的集合論ZFCAFA，而是辟出專章來詳細講述這種新的集合論；也不預設讀者熟知其他解悖方案，而是詳細介紹以往兩種最著名的解悖方案，讓讀者自己通過對比來理解情境語義學解悖方案及其優勢。此外，書中精心編制了很多習題，可幫助讀者熟練掌握書中涉及的形式技術。針對不熟悉形式技術的讀者，本書做了精心佈局，即使在閱讀時跳過某些技術性較強的部分，也不影響對情境語義學解悖方案的理解。同時，本書還提出了一些未決問題，以促進讀者進一步思考和研究。

喬恩·巴威斯，著名邏輯學家、計算機科學與人工智能學家，情境語義學與情境理論的創始人。曾先後任教於美國斯坦福大學和印第安納大學。約翰·埃切曼迪，著名邏輯學家、計算機科學與人工智能學家。現任斯坦福大學人文與科學學院帕特裡克·蘇佩斯講習教授，HAI（Human-CenteredAIInstitute）聯席主任，曾任斯坦福大學常務副校長（教務長）。

前言
鳴謝
第I篇引言
第1章說謊者悖論
第1節一些背景
第2節悖論診斷

第3節基本決定

第4節本書規劃

第5節類說謊者悖論清單

第2章語句、陳述與命題
第1節羅素命題
第5節歸納與共歸納定義

第II篇羅素命題與說謊者悖論

第4章羅素命題的建模
第1節基本定義

第2節L的羅素語義學

第5章羅素命題的真
第1節真與此世界

第2節T-模式與此世界

第3節克裡普克結構與其他封閉條件

第4節見證函數

第5節悖論性羅素命題

第6章羅素闡釋的推論

第1節更多例子分析

第2節羅素闡釋的問題

第7章語句與羅素命題
第1節證明論

第2節悖論句

第III篇奧斯汀命題與說謊者悖論

第8章奧斯汀命題的建模
第1節基本定義

第2節奧斯汀命題的真

第9章奧斯汀命題與此世界
第1節可及的奧斯汀命題

第2節奧斯汀世界的建模

第3節奧斯汀世界的T-模式

第10章奧斯汀語義學
第1節L的奧斯汀語義學

第2節可表達命題的T-封閉

第3節更多例子分析

第4節奧斯汀完備性定理

第11章羅素闡釋與奧斯汀闡釋的聯繫

第1節作為對角線論證的說謊者悖論

第2節映像定理

第3節悖論句的刻畫

第12章否定與否認
第13章結語
第1節悖論的正確處理

第2節懷疑者的教益

參考文獻
索引
附言