说谎者悖论：真与循环

作　者：	乔恩·巴威斯约翰·埃切曼迪
出版社：	南京大学出版社
丛编项：	当代学术棱镜译丛
版权说明：	本书为公共版权或经版权方授权，请支持正版图书
标　签：	暂缺

ISBN	出版时间	包装	开本	页数	字数
未知	暂无	暂无	未知	0	暂无

作者简介

　　乔恩？？巴威斯美国著名逻辑学家、计算机科学与人工智能学家，情境语义学与情境理论的创始人。曾先后任教于美国斯坦福大学和印第安纳大学。著作主要有《可容许集合与结构》（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／附言

195／译者后记