| 中文摘要 | 第1-7页 |
| Abstract | 第7-12页 |
| 引言 | 第12-14页 |
| 第一章 基础知识 | 第14-21页 |
| 第一节 定义的真理论及其不足 | 第14-15页 |
| 第二节 公理化真理论的优势 | 第15-17页 |
| 第三节 PA系统及元定理 | 第17-21页 |
| 第二章 类型真理论 | 第21-37页 |
| 第一节 去引号真理论 | 第21-25页 |
| 第二节 组合真理论 | 第25-33页 |
| ·TC系统 | 第26-30页 |
| ·正真的PT系统 | 第30-33页 |
| 第三节 阶层真理论 | 第33-37页 |
| 第三章 无类型真理论 | 第37-73页 |
| 第一节 Friedman-Sheard理论 | 第37-43页 |
| ·FS和修正语义 | 第38-41页 |
| ·FS的证明论强度 | 第41-43页 |
| 第二节 Kripke-Feferman理论 | 第43-51页 |
| ·KF的固定点语义 | 第44-49页 |
| ·KF的形式性质 | 第49-51页 |
| 第三节 部分逻辑的Kripke-Feferman理论 | 第51-58页 |
| ·PKF的形式表述 | 第52-55页 |
| ·PKF的证明论强度 | 第55-58页 |
| 第四节 无类型去引号真理论 | 第58-64页 |
| ·去引号语句的极大一致集 | 第58-61页 |
| ·正的去引号真理论PUTB | 第61-64页 |
| 第五节 确定真理论DT | 第64-73页 |
| ·DT的形式表述 | 第64-66页 |
| ·DT的模型 | 第66-70页 |
| ·DT的强度 | 第70-73页 |
| 第四章 TKF系统和LKF系统 | 第73-89页 |
| 第一节 TKF和LKF建立的背景 | 第73-79页 |
| 第二节 LKF的模型 | 第79-83页 |
| 第三节 TKF和LKF的强度 | 第83-89页 |
| 第五章 公理化真理论与紧缩论 | 第89-101页 |
| 第一节 真概念的意义与功能 | 第89-92页 |
| 第二节 真的保守性 | 第92-95页 |
| 第三节 推理的紧缩论 | 第95-98页 |
| 第四节 弱化的紧缩论 | 第98-101页 |
| 第六章 公理化真理论与悖论语句 | 第101-122页 |
| 第一节 类型真理论对悖论的处理 | 第102页 |
| 第二节 FS对悖论的处理 | 第102-104页 |
| 第三节 KF对悖论的处理 | 第104-107页 |
| 第四节 PKF对悖论的处理 | 第107-112页 |
| 第五节 DT对悖论的处理 | 第112-117页 |
| 第六节 PUTB和LKF对悖论的处理 | 第117-122页 |
| 参考文献 | 第122-126页 |
| 致谢 | 第126-127页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第127页 |