本书系统地考察了当代形式真理论的研究路径、方法以及所取得的成就。试图从语义学、公理化和哲学三个方面对当代形式真理论进行研究和阐述，主要有三方面，一是考察为真谓词构建的语义学，包括塔斯基对真概念的清晰定义，克里普克为真概念所构造的不动点模型，古普塔等人所创建的修正语义学以及菲尔德创立的带良好条件句的语义学；二是基于语义学考察各种公理化系统，通过公理化形式系统阐明所构造的语义学能揭示真谓词的哪些特性，还有哪些不足；三是结合语义学和公理化系统，对理论进行哲学上的考量和批判。

张亮，苏州大学政治与公共管理学院哲学系副教授，主要从事哲学逻辑研究，并担任江苏省哲学学会第九届理事会副会长，苏州市逻辑学会秘书长。南京大学哲学学院博士学位，并在浙江大学完成博士后研究，主要研究领域为真理论与悖论，在《自然辩证法研究》《哲学动态》等期刊发表多篇论文。 ?