算术、真与悖论

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

　　熊明，1973年生，云南昭通人，先后就读于北京大学哲学系、中山大学数学系，获哲学学士、硕士学位、理学博士学位。麻省理工学院语言学与哲学系访问学者。现为华南师范大学政治与行政学院教授、博士生导师。主要研究方向为真理论与数学基础，出版专著一部、教材一部，在国内国际学术期刊上发表论文二十余篇。代表作品有论文“An Intuitionistic Characterization of Classical Logic”（Journal ofPhilosophical Logic，2008）、“Tarski’S Theorem and Liar-like Paradoxes”（Logic Journal o fthe IGPL，2014）和专著《塔斯基定理与真理论悖论》。成果获金岳霖学术奖、洪谦哲学奖、广东省哲学社会科学奖、中国逻辑学会科研奖等多个奖项。