-
説謊者悖論
（南京大學出版社出版圖書）
鎖定
説謊者悖論內容簡介
本書是當代悖論研究中針對“説謊者悖論”的富有活力的情境語義學解悖方案的奠基之作。本書提出，由於情境具有部分性，可以被不斷地擴充，所以説謊者命題會隨着情境的變化而表現出不同的真值，而情境的變化就決定着這裏不存在任何悖論。本書所提出的這一解悖方案非常符合直觀，具有很高的非特設性，有力地推動了悖論研究的發展，並且在一系列相關研究領域中呈現出廣泛的解題功能。
[1]
説謊者悖論作者簡介
喬恩·巴威斯 美國著名邏輯學家、計算機科學與人工智能學家，情境語義學與情境理論的創始人。曾先後任教於美國斯坦福大學和印第安納大學。著作主要有《可容許集合與結構》（1975）、《情境與態度》（1983,1999）、《説謊者悖論：真與循環》（1987,1989）、《邏輯中的情境》（1989）、《超級證明》（1994）、《信息流：分佈式系統的邏輯》（1997）和《語言、證明與邏輯》（1999）等，主編《數理邏輯手冊》（1975）和《模型論的邏輯》（1985）等。
約翰·埃切曼迪 美國著名邏輯學家、計算機科學與人工智能學家。現任斯坦福大學人文與科學學院帕特里克·蘇佩斯講習教授，HAI（Human-Centered AI Institute）聯席主任，曾任斯坦福大學常務副校長（教務長）。主要著作有《説謊者悖論：真與循環》（1987,1989）、《超級證明》（1994）、《邏輯後承論》（1999）、《語言、證明與邏輯》（1999）、《塔斯基的世界：修正與擴充》（2007）等。
説謊者悖論目錄
第Ⅰ篇 引言
3／ 第1章 説謊者悖論
3／ 第1節 一些背景
7／ 第2節 悖論診斷
9／ 第3節 基本決定
19／ 第4節 本書規劃
20／ 第5節 類説謊者悖論清單
27／ 第2章 語句、陳述與命題
27／ 第1節 羅素命題
29／ 第2節 奧斯汀陳述與命題
32／ 第3節 一種形式語言
36／ 第3章 超集的全域
36／ 第1節 集合論從Z到A
40／ 第2節 AFA
46／ 第3節 ZFC/AFA的相容性
48／ 第4節 解方程
53／ 第5節 歸納與共歸納定義
第Ⅱ篇 羅素命題與説謊者悖論
61／ 第4章 羅素命題的建模
61／ 第1節 基本定義
68／ 第2節 L的羅素語義學
74／ 第5章 羅素命題的真
74／ 第1節 真與此世界
79／ 第2節 T模式與此世界
84／ 第3節 克里普克結構與其他封閉條件
89／ 第4節 見證函數
92／ 第5節 悖論性羅素命題
96／ 第6章 羅素闡釋的推論
96／ 第1節 更多例子分析
103／ 第2節 羅素闡釋的問題
105／ 第7章 語句與羅素命題
106／ 第1節 證明論
114／ 第2節 悖論句
第Ⅲ篇 奧斯汀命題與説謊者悖論
119／ 第8章 奧斯汀命題的建模
120／ 第1節 基本定義
124／ 第2節 奧斯汀命題的真
127／ 第9章 奧斯汀命題與此世界
127／ 第1節 可及的奧斯汀命題
129／ 第2節 奧斯汀世界的建模
132／ 第3節 奧斯汀世界的T模式
138／ 第10章 奧斯汀語義學
138／ 第1節 L的奧斯汀語義學
142／ 第2節 可表達命題的T封閉
146／ 第3節 更多例子分析
151／ 第4節 奧斯汀完備性定理
153／ 第11章 羅素闡釋與奧斯汀闡釋的聯繫
153／ 第1節 作為對角線論證的説謊者悖論
155／ 第2節 映像定理
161／ 第3節 悖論句的刻畫
163／ 第12章 否定與否認
169／ 第13章 結語
169／ 第1節 悖論的正確處理
172／ 第2節 懷疑者的教益
176／ 參考文獻
179／ 索引
187／ 附言
- 參考資料
-
- 1. 説謊者悖論 (豆瓣) ．豆瓣網[引用日期2022-06-04]
