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

定　價(jià)：￥58.00

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

購(gòu)買(mǎi)這本書(shū)可以去

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

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書(shū)目錄

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

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

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