真之公理化理论 邵强进等 哲学的核心概念“真” 公理与规则研究真的演绎系统 9787030682949 科学出版社-图书推荐

书号：9787030682949

作者：邵强进等

装帧：平装

开本：B5

页数：316

字数：401000

出版社：科学出版社

出版时间：2021-03-01

本书用公理化方法研究哲学的核心概念“真”，即将真视为一个不通过其他概念来定义的初始概念，通过一组公理与规则研究真的演绎系统，及其相关的结果。全书分为四个部分，一部分是基础，简述了一些数学上预备性的记号约定，并概述了研究公理化真理论的某些动机。二、三部分分别是类型化的真理和类型自由的真理，给出了公理化真理论及与之相关的结果。四部分是真理之路，主要评估公理化真理论形式结果的哲学含义。

目录

丛书序

前言

一部分 基 础

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

卖贝商城 推荐：真之公理化理论 邵强进等 哲学的核心概念“真” 公理与规则研究真的演绎系统 9787030682949 科学出版社