說謊者悖論：真與循環(huán)

定　價(jià)：￥58.00

作　者：	喬恩·巴威斯，約翰·埃切曼迪著
出版社：	南京大學(xué)出版社
叢編項(xiàng)：	當(dāng)代學(xué)術(shù)棱鏡譯叢
標(biāo)　簽：	暫缺

購買這本書可以去

ISBN：	9787305250996	出版時(shí)間：	2022-04-01	包裝：	平裝
開本：	16開	頁數(shù)：	228	字?jǐn)?shù)：

內(nèi)容簡介

　　本書是當(dāng)代悖論研究中針對“說謊者悖論”的富有活力的情境語義學(xué)解悖方案的奠基之作。本書提出，由于情境具有部分性，可以被不斷地?cái)U(kuò)充，所以說謊者命題會隨著情境的變化而表現(xiàn)出不同的真值，而情境的變化就決定著這里不存在任何悖論。本書所提出的這一解悖方案非常符合直觀，具有很高的非特設(shè)性，有力地推動了悖論研究的發(fā)展，并且在一系列相關(guān)研究領(lǐng)域中呈現(xiàn)出廣泛的解題功能。

作者簡介

　　喬恩？？巴威斯美國著名邏輯學(xué)家、計(jì)算機(jī)科學(xué)與人工智能學(xué)家，情境語義學(xué)與情境理論的創(chuàng)始人。曾先后任教于美國斯坦福大學(xué)和印第安納大學(xué)。著作主要有《可容許集合與結(jié)構(gòu)》（1975）、《情境與態(tài)度》（1983，1999）、《說謊者悖論：真與循環(huán)》（1987，1989）、《邏輯中的情境》（1989）、《超級證明》（1994）、《信息流：分布式系統(tǒng)的邏輯》（1997）和《語言、證明與邏輯》（1999）等，主編《數(shù)理邏輯手冊》（1975）和《模型論的邏輯》（1985）等。約翰？？埃切曼迪美國著名邏輯學(xué)家、計(jì)算機(jī)科學(xué)與人工智能學(xué)家?，F(xiàn)任斯坦福大學(xué)人文與科學(xué)學(xué)院帕特里克？？蘇佩斯講習(xí)教授，HAI（Human-Centered AI Institute）聯(lián)席主任，曾任斯坦福大學(xué)常務(wù)副校長（教務(wù)長）。主要著作有《說謊者悖論：真與循環(huán)》（1987，1989）、《超級證明》（1994）、《邏輯后承論》（1999）、《語言、證明與邏輯》（1999）、《塔斯基的世界：修正與擴(kuò)充》（2007）等。關(guān)于譯者賈國恒河南上蔡人，華東師范大學(xué)哲學(xué)系副教授，南京大學(xué)現(xiàn)代邏輯與邏輯應(yīng)用研究所兼職研究員。主要從事現(xiàn)代邏輯、邏輯哲學(xué)、悖論和情境語義學(xué)等領(lǐng)域研究，已出版專著一部、譯著兩部，發(fā)表學(xué)術(shù)論文二十余篇。

圖書目錄

第Ⅰ篇引言
3／第1章說謊者悖論
3／第1節(jié) 一些背景
7／第2節(jié) 悖論診斷
9／第3節(jié) 基本決定
19／第4節(jié) 本書規(guī)劃
20／第5節(jié) 類說謊者悖論清單
27／第2章語句、陳述與命題
27／第1節(jié) 羅素命題
29／第2節(jié) 奧斯汀陳述與命題
32／第3節(jié) 一種形式語言
36／第3章超集的全域
36／第1節(jié) 集合論從Z到A
40／第2節(jié) AFA
46／第3節(jié) ZFC/AFA的相容性
48／第4節(jié) 解方程
53／第5節(jié) 歸納與共歸納定義

第Ⅱ篇羅素命題與說謊者悖論
61／第4章羅素命題的建模
61／第1節(jié) 基本定義
68／第2節(jié) L的羅素語義學(xué)
74／第5章羅素命題的真
74／第1節(jié) 真與此世界
79／第2節(jié) T模式與此世界
84／第3節(jié) 克里普克結(jié)構(gòu)與其他封閉條件
89／第4節(jié) 見證函數(shù)
92／第5節(jié) 悖論性羅素命題
96／第6章羅素闡釋的推論
96／第1節(jié) 更多例子分析
103／第2節(jié) 羅素闡釋的問題
105／第7章語句與羅素命題
106／第1節(jié) 證明論
114／第2節(jié) 悖論句

第Ⅲ篇奧斯汀命題與說謊者悖論
119／第8章奧斯汀命題的建模
120／第1節(jié) 基本定義
124／第2節(jié) 奧斯汀命題的真
127／第9章奧斯汀命題與此世界
127／第1節(jié) 可及的奧斯汀命題
129／第2節(jié) 奧斯汀世界的建模
132／第3節(jié) 奧斯汀世界的T模式
138／第10章奧斯汀語義學(xué)
138／第1節(jié) L的奧斯汀語義學(xué)
142／第2節(jié) 可表達(dá)命題的T封閉
146／第3節(jié) 更多例子分析
151／第4節(jié) 奧斯汀完備性定理
153／第11章羅素闡釋與奧斯汀闡釋的聯(lián)系
153／第1節(jié) 作為對角線論證的說謊者悖論
155／第2節(jié) 映像定理
161／第3節(jié) 悖論句的刻畫
163／第12章否定與否認(rèn)
169／第13章結(jié)語
169／第1節(jié) 悖論的正確處理
172／第2節(jié) 懷疑者的教益
176／參考文獻(xiàn)
179／索引
187／附言
195／譯者后記