《說謊者悖論 : 真與循環》是一本2022年南京大學出版社出版的圖書。
基本介紹
- 書名：說謊者悖論 : 真與循環
- 作者：[美]喬恩·巴威斯 / [美]約翰·埃切曼迪
- 原作品：The Liar:An Essay on Truth and Circularity
- 譯者：賈國恆
- 出版社：南京大學出版社
- 出版時間：2022年4月
- 頁數：228 頁
- 定價：58 元
- 裝幀：平裝
- ISBN：9787305250996
內容簡介,圖書目錄,作者簡介,
內容簡介
本書是當代悖論研究中針對“說謊者悖論”的富有活力的情境語義學解悖方案的奠基之作。本書提出，由於情境具有部分性，可以被不斷地擴充，所以說謊者命題會隨著情境的變化而表現出不同的真值，而情境的變化就決定著這裡不存在任何悖論。本書所提出的這一解悖方案非常符合直觀，具有很高的非特設性，有力地推動了悖論研究的發展，並且在一系列相關研究領域中呈現出廣泛的解題功能。
圖書目錄
第Ⅰ篇 引言
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／ 附言
195／ 譯者後記
作者簡介
喬恩·巴威斯 美國著名邏輯學家、計算機科學與人工智慧學家，情境語義學與情境理論的創始人。曾先後任教於美國史丹福大學和印第安納大學。著作主要有《可容許集合與結構》（1975）、《情境與態度》（1983,1999）、《說謊者悖論：真與循環》（1987,1989）、《邏輯中的情境》（1989）、《超級證明》（1994）、《信息流：分散式系統的邏輯》（1997）和《語言、證明與邏輯》（1999）等，主編《數理邏輯手冊》（1975）和《模型論的邏輯》（1985）等。
約翰·埃切曼迪 美國著名邏輯學家、計算機科學與人工智慧學家。現任史丹福大學人文與科學學院派屈克·蘇佩斯講習教授，HAI（Human-Centered AI Institute）聯席主任，曾任史丹福大學常務副校長（教務長）。主要著作有《說謊者悖論：真與循環》（1987,1989）、《超級證明》（1994）、《邏輯後承論》（1999）、《語言、證明與邏輯》（1999）、《塔斯基的世界：修正與擴充》（2007）等。
關於譯者
賈國恆 河南上蔡人，華東師範大學哲學系副教授，南京大學現代邏輯與邏輯套用研究所兼職研究員。主要從事現代邏輯、邏輯哲學、悖論和情境語義學等領域研究，已出版專著一部、譯著兩部，發表學術論文二十餘篇。
