★“说谎者悖论”的情境语义学解悖方案的奠基之作,当代悖论研究的经典书目。
★.情境语义学创始人乔恩·巴威斯的重要代表作,为“说谎者悖论”这一逻辑学史上的著名悖论提出了情境语义学的解悖方案,有力地推动了悖论研究的发展,影响广泛。
★本书力求“读者友好”,可适用于多层次、多方面的读者。对作为理解前提和知识背景的集合论和以往两种重要解悖方案进行了详细介绍,使读者可以通过对比来理解本书所提出的情境语义学解悖方案及其优势。
★书中在每章结尾精心编制了一些习题和思考题,讲练结合,可帮助读者更熟练地掌握书中涉及的形式技术和逻辑学方法。
本书是当代悖论研究中针对“说谎者悖论”的富有活力的情境语义学解悖方案的奠基之作。本书提出,由于情境具有部分性,可以被不断地扩充,所以说谎者命题会随着情境的变化而表现出不同的真值,而情境的变化就决定着这里不存在任何悖论。本书所提出的这一解悖方案非常符合直观,具有很高的非特设性,有力地推动了悖论研究的发展,并且在一系列相关研究领域中呈现出广泛的解题功能。
......(更多)
乔恩·巴威斯 美国著名逻辑学家、计算机科学与人工智能学家,情境语义学与情境理论的创始人。曾先后任教于美国斯坦福大学和印第安纳大学。著作主要有《可容许集合与结构》(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/ 译者后记
......(更多)
......(更多)