搜索
高级检索
高级搜索
书       名 :
著       者 :
出  版  社 :
I  S  B  N:
文献来源:
出版时间 :
说谎者悖论/当代逻辑理论与应用研究系列/当代学术棱镜译丛
0.00     定价 ¥ 58.00
图书来源: 浙江图书馆(由浙江新华配书)
此书还可采购24本,持证读者免费借回家
  • 配送范围:
    浙江省内
  • ISBN:
    9787305250996
  • 作      者:
    作者:(美)乔恩·巴威斯//约翰·埃切曼迪|责编:陈佳|译者:贾国恒
  • 出 版 社 :
    南京大学出版社
  • 出版日期:
    2022-04-01
收藏
内容介绍
《说谎者悖论:真与循环》是在当代悖论研究中富有活力的情境语义学解悖方案的奠基之作。本书提出,由于情境具有部分性,可以被不断地扩充,所以说谎者命题会随着情境的变化而表现出不同的真值,但情境的变化决定着这里不存在任何悖论。这个方案非常符合直观,具有很高的非特设性,有力地推动了悖论研究的发展,并且在一系列相关研究领域中呈现出广泛的解题功能。 本书力求“读者友好”,可适用于多层次、多方面的读者。它不预设读者通晓作为元理论的集合论ZFC/AFA,而是辟出专章来详细讲述这种新的集合论,也不预设读者熟知其他解悖方案,而是详细介绍以往两种最著名的解悖方案,让读者自己通过对比来理解情境语义学解悖方案及其优势。此外,书中精心编制了很多习题,可帮助读者熟练掌握书中涉及的形式技术。针对不熟悉形式技术的读者,本书做了精心布局,即使在阅读时跳过某些技术性较强的部分,也不影响对情境语义学解悖方案的理解。同时,本书还提出了一些未决问题,以促进读者进一步思考和研究。
展开
目录
第I篇 引言
第1章 说谎者悖论
第1节 一些背景
第2节 悖论诊断
第3节 基本决定
第4节 本书规划
第5节 类说谎者悖论清单
第2章 语句、陈述与命题
第1节 罗素命题
第2节 奥斯汀陈述与命题
第3节 一种形式语言
第3章 超集的全域
第1节 集合论从Z到A
第2节 AFA
第3节 ZFC/AFA的相容性
第4节 解方程
第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节 怀疑者的教益
参考文献
索引
附言
译者后记
展开
加入书架成功!
收藏图书成功!
我知道了(3)
发表书评
读者登录

请选择您读者所在的图书馆

选择图书馆
浙江图书馆
点击获取验证码
登录
没有读者证?在线办证