真之公理化理论

沃克尔·哈尔巴赫（Volker Halbach），德国慕尼黑路德维希-马克西米安大学的哲学博士，目前为英国牛津大学哲学教授，新学院讲师，研究员和导师。曾在德国康斯坦茨大学，马堡菲利普斯大学，美国加州大学埃尔温分校等校任教或访学。其专长是逻辑学和数学哲学，专攻真理问题，是目前真理论中采取公理化进路的代表性人物。哈尔巴赫教授已就真理及相关问题在国际一流刊物上发表了40余篇论文，并担任多家权威杂志的审稿人或评阅人，是目前国际学术界研究真理问题最活跃的哲学家之一。

邵强进（1971.9.7-2020.5.25），祖籍浙江金华，出生江西德兴。复旦大学哲学学院教授；上海市逻辑学会副会长兼秘书长、常务理事；上海市思维科学研究会副会长；中国逻辑学会副秘书长、常务理事。邵强进教授的主要研究领域为逻辑哲学、逻辑思想史、逻辑与思维方式、中国传统管理思维等，近期研究重点为逻...

(展开全部)

沃克尔·哈尔巴赫（Volker Halbach），德国慕尼黑路德维希-马克西米安大学的哲学博士，目前为英国牛津大学哲学教授，新学院讲师，研究员和导师。曾在德国康斯坦茨大学，马堡菲利普斯大学，美国加州大学埃尔温分校等校任教或访学。其专长是逻辑学和数学哲学，专攻真理问题，是目前真理论中采取公理化进路的代表性人物。哈尔巴赫教授已就真理及相关问题在国际一流刊物上发表了40余篇论文，并担任多家权威杂志的审稿人或评阅人，是目前国际学术界研究真理问题最活跃的哲学家之一。

邵强进（1971.9.7-2020.5.25），祖籍浙江金华，出生江西德兴。复旦大学哲学学院教授；上海市逻辑学会副会长兼秘书长、常务理事；上海市思维科学研究会副会长；中国逻辑学会副秘书长、常务理事。邵强进教授的主要研究领域为逻辑哲学、逻辑思想史、逻辑与思维方式、中国传统管理思维等，近期研究重点为逻辑悖论、公理化真理论、实用主义逻辑、逻辑应用，主要论著包括《逻辑与思维方式》《逻辑真》等，主要译著包括《皮尔士传》《杜威全集·晚期著作》第12卷《逻辑：探究的理论》等，主要讲授课程包括《<逻辑哲学论>导读》《逻辑学导论》《逻辑哲学》《中外逻辑史》《论证有效性分析》《应用逻辑专题》等。《<逻辑哲学论>导读》获得2013年复旦大学精品课程，2014年上海市重点课程；《逻辑与思维方式》获得上海市教委颁发的2011年上海市优秀教材二等奖；2011年获得上海市教委颁发的上海市研究生优秀成果指导教师荣誉称号。

丛书序
前言
【第一部分 基础】
第1章 定义化和公理化的真理论 3
第2章 真之对象 8
第3章 塔斯基 13
· · · · · · (更多)

丛书序
前言
【第一部分 基础】
第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
· · · · · · (收起)