作者：(德)沃尔克·哈尔巴赫(Volker H
页数：316页
出版社：科学出版社
出版日期：2021
ISBN：9787030682949
电子书格式：pdf/epub/txt
内容简介
本书是全面阐释公理化真理论发展脉络及其最新研究成果的专著。对于逻辑哲学, 特别是形式化真理论研究具有重要的参考价值。传统对真之讨论的中心在于真如何被定义。近期研究中, 尤其是随着对真展开紧缩论的思考, 倾向于将真视为一个由公理支配的、未经定义的初始概念, 而说谎者导论及类似悖论提出了关于真之某些看似自然的公理问题。在本书中, 贺柏和教授考察了最重要的真之公理, 探究它们的性质, 表明逻辑结果如何影响与真相关的哲学主题。
本书特色
该书原著已被多个国家翻译，受到哲学界、语言学界的欢迎。
目录
目录
丛书序
前言
第一部分 基 础
第1章 定义化和公理化的真理论 3
第2章 真之对象 8
第3章 塔斯基 13
第4章 真与集合论 21
4.1 定义与公理化 21
4.2 悖论和分类 22
第5章 技术准备 25
5.1 皮亚诺算术 25
5.2 真与满足 30
5.3 翻译和递归定理 31
第6章 比较不同的公理化真理论 34
第二部分 类型化的真理
第7章 去引号 43
第8章 经典组合真理论 52
8.1 组合真理论的保守性 56
8.2 保守性和模型论 57
8.3 非标准模型 58
8.4 拉克伦定理 63
8.5 满足类和公理化的真理论 72
8.6 组合真与初等总括 75
8.7 肯定的真 88
第9章 分层 95
9.1 塔斯基分层的公理化 96
9.2 非良基的分层 100
第三部分 类型自由的真理
第10章 类型化的和类型自由的真理论 111
第11章 拒斥类型化的理由 116
第12章 公理与规则 119
第13章 类型自由的真之公理 122
第14章 古典的对称性公理 129
14.1 弗里德曼–希尔德理论和修正语义学 132
14.2 弗里德曼–希尔德理论的证明理论 144
14.3 弗里德曼–希尔德公理化 154
14.4 通过反射表达必然化 157
14.5 缺乏满足 161
第15章 克里普克–费弗曼 164
15.1 不动点语义学 171
15.2 完全性和一致性 180
15.3 克里普克–费弗曼系统的证明论 186
15.4 扩展 194
第16章 在局域逻辑中公理化克里普克的理论 197
16.1 局域的克里普克–费弗曼 200
16.2 关于局域的克里普克–费弗曼的证明论分析 211
第17章 被奠基的真 224
第18章 替代性评价模式 230
第19章 类型自由的去引号系统 234
19.1 去引号语句的第一一致集 234
19.2 去引号语句的第一保守集 239
19.3 肯定去引号 240
19.4 肯定去引号的语义学 243
19.5 肯定去引号的证明论 245
第四部分 真 理 之 路
第20章 经典逻辑 255
20.1 非经典逻辑的代价 257
20.2 克里普克–费弗曼理论的内在逻辑 259
20.3 非经典逻辑的表达力 264
20.4 包含非经典逻辑 266
第21章 紧缩论 269
21.1 去引号论 269
21.2 保守性 274
第22章 反射 282
22.1 反射原理 282
22.2 反射封闭 285
第23章 本体论还原 288
第24章 应用真理论 291
24.1 自然语言中的真 291
24.2 扩展模式 293
参考文献 298
系统索引 310
索引 312
译后记（一） 317
译后记（二） 318
丛书序
前言
第一部分 基 础
第1章 定义化和公理化的真理论 3
第2章 真之对象 8
第3章 塔斯基 13
第4章 真与集合论 21
4.1 定义与公理化 21
4.2 悖论和分类 22
第5章 技术准备 25
5.1 皮亚诺算术 25
5.2 真与满足 30
5.3 翻译和递归定理 31
第6章 比较不同的公理化真理论 34
第二部分 类型化的真理
第7章 去引号 43
第8章 经典组合真理论 52
8.1 组合真理论的保守性 56
8.2 保守性和模型论 57
8.3 非标准模型 58
8.4 拉克伦定理 63
8.5 满足类和公理化的真理论 72
8.6 组合真与初等总括 75
8.7 肯定的真 88
第9章 分层 95
9.1 塔斯基分层的公理化 96
9.2 非良基的分层 100
第三部分 类型自由的真理
第10章 类型化的和类型自由的真理论 111
第11章 拒斥类型化的理由 116
第12章 公理与规则 119
第13章 类型自由的真之公理 122
第14章 古典的对称性公理 129
14.1 弗里德曼–希尔德理论和修正语义学 132
14.2 弗里德曼–希尔德理论的证明理论 144
14.3 弗里德曼–希尔德公理化 154
14.4 通过反射表达必然化 157
14.5 缺乏满足 161
第15章 克里普克–费弗曼 164
15.1 不动点语义学 171
15.2 完全性和一致性 180
15.3 克里普克–费弗曼系统的证明论 186
15.4 扩展 194
第16章 在局域逻辑中公理化克里普克的理论 197
16.1 局域的克里普克–费弗曼 200
16.2 关于局域的克里普克–费弗曼的证明论分析 211
第17章 被奠基的真 224
第18章 替代性评价模式 230
第19章 类型自由的去引号系统 234
19.1 去引号语句的第一一致集 234
19.2 去引号语句的第一保守集 239
19.3 肯定去引号 240
19.4 肯定去引号的语义学 243
19.5 肯定去引号的证明论 245
第四部分 真 理 之 路
第20章 经典逻辑 255
20.1 非经典逻辑的代价 257
20.2 克里普克–费弗曼理论的内在逻辑 259
20.3 非经典逻辑的表达力 264
20.4 包含非经典逻辑 266
第21章 紧缩论 269
21.1 去引号论 269
21.2 保守性 274
第22章 反射 282
22.1 反射原理 282
22.2 反射封闭 285
第23章 本体论还原 288
第24章 应用真理论 291
24.1 自然语言中的真 291
24.2 扩展模式 293
参考文献 298
系统索引 310
索引 312
译后记（一） 317
译后记（二） 318
