本书是在当代悖论研究中富有活力的情境语义学解悖方案的奠基之作。本书提出,由于情境具有部分性,可以被不断地扩充,所以说谎者命题会随着情境的变化而表现出不同的真值,但情境的变化决定着这里不存在任何悖论。这个方案非常符合直观,具有很高的非特设性,有力地推动了悖论研究的发展,并且在一系列相关研究领域中呈现出广泛的解题功能。本书诉求“读者友好”,可适应多层次、多方面读者。它不预设读者通晓作为元理论的集合论ZFCAFA,而是辟出专章来详细讲述这种新的集合论;也不预设读者熟知其他解悖方案,而是详细介绍以往两种最著名的解悖方案,让读者自己通过对比来理解情境语义学解悖方案及其优势。此外,书中精心编制了很多习题,可帮助读者熟练掌握书中涉及的形式技术。针对不熟悉形式技术的读者,本书做了精心布局,即使在阅读时跳过某些技术性较强的部分,也不影响对情境语义学解悖方案的理解。同时,本书还提出了一些未决问题,以促进读者进一步思考和研究。
乔恩·巴威斯,著名逻辑学家、计算机科学与人工智能学家,情境语义学与情境理论的创始人。曾先后任教于美国斯坦福大学和印第安纳大学。约翰·埃切曼迪,著名逻辑学家、计算机科学与人工智能学家。现任斯坦福大学人文与科学学院帕特里克·苏佩斯讲习教授,HAI(Human-CenteredAIInstitute)联席主任,曾任斯坦福大学常务副校长(教务长)。
前言
鸣谢
第I篇引言
第1章说谎者悖论
第1节一些背景
第2节悖论诊断
第3节基本决定
第4节本书规划
第5节类说谎者悖论清单
第2章语句、陈述与命题
第1节罗素命题
第5节归纳与共归纳定义
第II篇罗素命题与说谎者悖论
第4章罗素命题的建模
第1节基本定义
第2节L的罗素语义学
第5章罗素命题的真
第1节真与此世界
第2节T-模式与此世界
第3节克里普克结构与其他封闭条件
第4节见证函数
第5节悖论性罗素命题
第6章罗素阐释的推论
第1节更多例子分析
第2节罗素阐释的问题
第7章语句与罗素命题
第1节证明论
第2节悖论句
第III篇奥斯汀命题与说谎者悖论
第8章奥斯汀命题的建模
第1节基本定义
第2节奥斯汀命题的真
第9章奥斯汀命题与此世界
第1节可及的奥斯汀命题
第2节奥斯汀世界的建模
第3节奥斯汀世界的T-模式
第10章奥斯汀语义学
第1节L的奥斯汀语义学
第2节可表达命题的T-封闭
第3节更多例子分析
第4节奥斯汀完备性定理
第11章罗素阐释与奥斯汀阐释的联系
第1节作为对角线论证的说谎者悖论
第2节映像定理
第3节悖论句的刻画
第12章否定与否认
第13章结语
第1节悖论的正确处理
第2节怀疑者的教益
参考文献
索引
附言
人类-关系-动物-研究