预购商品
书目分类
特别推荐
本書是當代悖論研究中針對“說謊者悖論”的富有活力的情境語義學解悖方案的奠基之作。 本書提出，由於情境具有部分性，可以被不斷地擴充，所以說謊者命題會隨著情境的變化而表現出不同的真值，而情境的變化就決定著這裡不存在任何悖論。 本書所提出的這一解悖方案非常符合直觀，具有很高的非特設性，有力地推動了悖論研究的發展，並且在一系列相關研究領域中呈現出廣泛的解題功能。
第Ⅰ篇 引言 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）等。 譯者 賈國恒 河南上蔡人，華東師範大學哲學系副教授，南京大學現代邏輯與邏輯應用研究所兼職研究員。主要從事現代邏輯、邏輯哲學、悖論和情境語義學等領域研究，已出版專著一部、譯著兩部，發表學術論文二十餘篇。
客服公告
热门活动
订阅电子报
