本书内容分为三个部分：算术、真和悖论。**部分\算术\部分主要阐述形式真理论在二十世纪三十年代的成果，包括了哥德尔不接近性定理中与真理论密切相关的技术思想和方法，重点阐述了塔斯基不可定义性定理及其相关的延伸性结果。这一部分为后续理论提供了技术与思想两方面的准备。第二部分\真\部分除阐述了塔斯基的语言层次理论之外，主要阐述六十年代直到*近逻辑学家围绕真与悖论问题而建立起的占主流地位的几个基本理论，包括里普、赫兹伯格、古普塔、贝尔纳普、莱特格布等人的理论。这一部分侧重于真在形式语言中的可定义性问题的探究。第三部分\悖论\部分是笔者自2005年以来在形式真理论领域一系列成果的总结和发展。这部分侧重于与真相关的悖论的可描述性问题的探索。总体说来，**部分是全书的基础，而第二、三部分则是全书的主体，内容上各有侧重。我们希望提供这种构架把形式真理论的基本理论与*新成果进行融会贯通，既全面系统地阐述形式真理论的核心理论，又深入研究领域的腹地开拓新问题为形式真理论的发展指明新的研究课题和研究方向。熊明，1973年生，云南昭通人，先后就读于北京大学哲学系、中山大学数学系，获哲学学士、硕士学位、理学博士学位。麻省理工学院语言学与哲学系访问学者。现为华南师范大学政治与行政学院教授、博士生导师。主要研究方向为真理论与数学基础，出版专著一部、教材一部，在靠前靠前学术期刊上发表论文二十余篇。代表作品有论文“AnIntuitionistic Characterization of Classical Logic”(Journal of Philosophical Logic，2008)、“Tarski’S Theoremand Liar-like Paradoxes”(Logic Journal of the IGPL，2014)和专著《塔斯基定理与真理论悖论》。成果获金岳霖学术奖、洪谦哲学奖、广东省哲学社会科学奖、中国逻辑学会科研奖等多个奖项。
