说谎者悖论
作者：[美]乔恩·巴威斯
/
[美]约翰·埃切曼迪
分类：文化
ISBN：9787305250996
出版时间：2022-4
出版社：南京大学出版社
内容简介
★“说谎者悖论”的情境语义学解悖方案的奠基之作，当代悖论研究的经典书目。
★.情境语义学创始人乔恩·巴威斯的重要代表作，为“说谎者悖论”这一逻辑学史上的著名悖论提出了情境语义学的解悖方案，有力地推动了悖论研究的发展，影响广泛。
★本书力求“读者友好”，可适用于多层次、多方面的读者。对作为理解前提和知识背景的集合论和以往两种重要解悖方案进行了详细介绍，使读者可以通过对比来理解本书所提出的情境语义学解悖方案及其优势。
★书中在每章结尾精心编制了一些习题和思考题，讲练结合，可帮助读者更熟练地掌握书中涉及的形式技术和逻辑学方法。
本书是当代悖论研究中针对“说谎者悖论”的富有活力的情境语义学解悖方案的奠基之作。本书提出，由于情境具有部分性，可以被不断地扩充，所以说谎者命题会随着情境的变化而表现出不同的真值，而情境的变化就决定着这里不存在任何悖论。本书所提出的这一解悖方案非常符合直观，具有很高的非特设性，有力地推动了悖论研究的发展，并且在一系列相关研究领域中呈现出广泛的解题功能。
章节介绍
第Ⅰ篇 引言
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／ 译者后记
网盘地址：
书友评论
-
埃连卡1998的评论
看到五十多页。
-
holly2007的评论
形式邏輯，天花亂墜，基金加持，不知講甚。