形式真理论是用数理逻辑的方法研究真与悖论问题的理论，本书分三个部分对这一领域的基本成果与最新进展进行系统的介绍。第一编阐述形式真理论在20世纪30年代的主要成果，包括哥德尔对角线引理和塔斯基不可定义性定理，第二编介绍从20世纪30年代末直到近期，逻辑学家围绕真与悖论问题建立的主要理论，包括塔斯基、克里普克、赫兹贝格尔、古普塔、贝尔纳普、莱特格布等的理论，第三编是笔者自2005年以来在形式真理论领域获得的一系列成果的总结和发展，主要包括Z模式的相对化、悖论的悖论度、悖论的自指性与循环性。