剧情简介：本书内容分为三个部分：算术、真和悖论。第一部分算术部分主要阐述形式真理论在二十世纪三十年代的成果，包括了哥德尔不完全性定理中与真理论密切相关的技术思想和方法，重点阐述了塔斯基不可定义性定理及其相关的延伸性结果。这一部分为后续理论提供了技术与思想两方面的准备。第二部分真部分除阐述了塔斯基的语言层次理论之外，主要阐述六十年代直到最近逻辑学家围绕真与悖论问题而建立起的占主流地位的几个基本理论，包括克里普克、赫兹伯格、古普塔、贝尔纳普、莱特格布等人的理论。这一部分侧重于真在形式语言中的可定义性问题的探究。第三部分悖论部分是笔者自2005年以来在形式真理论领域一系列成果的总结和发展。这部分侧重于与真相关的悖论的可描述性问题的探索。总体说来，第一部分是全书的基础，而第二、三部分则是全书的主体，内容上各有侧重。我们希望提供这种构架把形式真理论的基本理论与新成果进行...(展开全部)
作者：熊明
出版社：科学出版社
ISBN：9787030519627
