本书是关于塔尔斯基真之语义理论的研究。1933年，塔尔斯基发表了著名论文《形式化语言中的真之概念》，在该文中塔尔斯基从否定在自然语言中定义真的可能性出发，区分了对象语言与元语言，并使用满足概念给真做了一个实质上恰当、形式上正确的真之定义，以塔尔斯基的真之定义为核心形成了塔尔斯基的真之语义理论。