说谎者悖论:真与循环
全新正版 假一赔十 可开发票
￥ 27.84 4.8折 ￥ 58 全新
仅1件
北京东城
认证卖家担保交易快速发货售后保障
作者(美)乔恩·巴威斯,(美)约翰·埃切曼迪
出版社南京大学出版社
ISBN9787305250996
出版时间2022-04
四部分类子部>艺术>书画
装帧平装
开本16开
定价58元
货号1202632358
上书时间2024-09-16
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
关于作者
乔恩•巴威斯 美国有名逻辑学家、计算机科学与人工智能学家，情境语义学与情境理论的创始人。曾先后任教于美国斯坦福大学和印第安纳大学。著作主要有《可容许集合与结构》（1975）、《情境与态度》（1983,1999）、《说谎者悖论：真与循环》（1987,1989）、《逻辑中的情境》（1989）、《不错证明》（1994）、《信息流：分布式系统的逻辑》（1997）和《语言、证明与逻辑》（1999）等，主编《数理逻辑手册》（1975）和《模型论的逻辑》（1985）等。
约翰•埃切曼迪 美国有名逻辑学家、计算机科学与人工智能学家。现任斯坦福大学人文与科学学院帕特里克•苏佩斯讲习教授，HAI（Human-CenteredAIInstitute）联席主任，曾任斯坦福大学常务副校长（教务长）。主要著作有《说谎者悖论：真与循环》（1987,1989）、《不错证明》（1994）、《逻辑后承论》（1999）、《语言、证明与逻辑》（1999）、《塔斯基的世界：修正与扩充》（2007）等。
关于译者
贾国恒 河南上蔡人，华东师范大学哲学系副教授，南京大学现代逻辑与逻辑应用研究所兼职研究员。主要从事现代逻辑、逻辑哲学、悖论和情境语义学等领域研究，已出版专著一部、译著两部，发表学术论文二十余篇。
目录
第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节 怀疑者的教益
参考文献
索引
附言
译者后记
内容摘要
《说谎者悖论：真与循环》是在当代悖论研究中富有活力的情境语义学解悖方案的奠基之作。本书提出，由于情境具有部分性，可以被不断地扩充，所以说谎者命题会随着情境的变化而表现出不同的真值，但情境的变化决定着这里不存在任何悖论。这个方案很好符合直观，具有很高的非特设性，有力地推动了悖论研究的发展，并且在一系列相关研究领域中呈现出广泛的解题功能。
本书力求“读者友好”，可适用于多层次、多方面的读者。它不预设读者通晓作为元理论的集合论ZFC／AFA，而是辟出专章来详细讲述这种新的集合论，也不预设读者熟知其他解悖方案，而是详细介绍以往两种的解悖方案，让读者自己通过对比来理解情境语义学解悖方案及其优势。此外，书中精心编制了很多习题，可帮助读者熟练掌握书中涉及的形式技术。针对不熟悉形式技术的读者，本书做了精心布局，即使在阅读时跳过某些技术性较强的部分，也不影响对情境语义学解悖方案的理解。同时，本书还提出了一些未决问题，以促进读者进一步思考和研究。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价