“什么是真理?”这是一个古老的问题,然而对真理论的系统、严格的逻辑语义学探讨是在上个世纪30年代模型论产生之后。塔斯基于1933年为形式语言提供了形式语义学并试图用模型严格地刻画真谓词。从此,用模型来刻画真谓词成为了研究真谓词的最主要的途径之一。用模型刻画真谓词指的是:为一个带真谓词的语言构造一个模型,在该模型中真谓词有一个一致的解释。除了一致性之外,模型刻画下的真谓词应当尽可能满足人们对真谓词的直觉。塔斯基是第一位对真谓词做严格的语义学研究的逻辑学家。他提出刻画真谓词的标准和语言分层理论,前者为许多学者所认同,而后者则受到了诸多的批评。后者受到批评的根本原因在于,塔斯基的真理论是一种静态的真理论。对某个语言,该语言的真谓词不是通过语言自身动态地去寻求对真谓词的刻画,而是站在语言之外去寻求对真谓词的刻画。在克里普克提出通过不动点方法寻找不动点模型来刻画真谓词之后,通过模型来刻画真谓词的理论如雨后春笋般地冒出。克里普克所使用的不动点方法与塔斯基的方法截然不同。不动点方法构建了一个模型序列,这个模型序列是一个动态地寻找对真谓词刻画的模型序列,在该序列中,克里普克最终选择了（最小）不动点模型来刻画真谓词,这是一种“动”“静”结合的刻画方式。这种刻画方式得到的最小不动点模型具有一些良好的性质并且可以通过“有根性”直觉来进行哲学辩护,但是无论从内在的角度还是从外在的角度来考察,克里普克的最小不动点模型所导致的最小不动点理论都是具有缺陷的。尽管许多哲学家和逻辑学家努力为最小不动点理论辩护,但是通过分析可以看到,这些辩护并不成功,其根本原因在于最小不动点模型在刻画力上的不完全。基于这种原因,由其所得到的内在最小不动点理论又被称为低级的弗完全理论。鉴于通过不动点方法所得到的最小不动点模型是刻画力不完全的,古普塔提出了修正方法。修正方法在很多地方与不动点方法类似,也是通过构建模型序列来寻求对真谓词的刻画。因此,修正方法在实际上是不动点方法的变体。在构建模型序列的过程中起核心作用的是修正规则,修正规则的哲学说明看似简单,实际上困难重重。另外,由于修正规则在极限规则处的不确定性,存在许多种真理修正理论且这些理论各有特点。通过综合前人的发展,菲尔德总结了三个具有良好性质的真理修正理论,并通过分析这三个真理修正理论得出如下结论:在真理修正理论中,关于真谓词的推理规则不保真。另外,由于在真理修正理论中排中律成立,但是存在语句φ使得φ和（?）φ两者都不成立,这在一定程度上也不合直觉。菲尔德通过改进修正方法并且将不动点方法和修正方法结合起来,提出了带良好条件句的真理论,其理论结合了不动点理论和修正理论的优点。菲尔德将不动点方法的简洁性和修正方法所得到的理论的刻画表达力结合起来,使得他的理论克服了不动点理论刻画上的弗完全性和修正方法的复杂性。菲尔德构造了一个模型序列,其中存在类似于克里普克的最小不动点模型的可接受模型。在可接受模型中,T-模式可以被不受限制地满足,并且真概念是透明的。许多直觉上为真但是在最小不动点模型中不为真的语句,在可接受模型中都为真。然而,通过对菲尔德的确定算子的分析,可以发现从根本上来说,菲尔德的真理论仍然是弗完全的,因此其理论被称为高级的弗完全理论。用模型刻画真谓词所面临的一大问题就是强化的说谎者语句的报复,报复问题涉及到模型刻画真谓词的局限性问题。通过分析模型论语言和实际语言可以看到,模型论语言并不能完全地反映实际的语言。因此,相对于模型的真谓词与实际的真谓词是有区别的,相对于模型的真谓词只能在一定程度上反映实际的真谓词。上述所有真理论都是用经典集合论语言所构造的,但是也存在用非经典集合论语言所构造的真理论,其代表是巴威斯等人的情境语义学。尽管在哲学解释上情境语义学与上述真理论差别很大,但是在形式构建上,笔者认为情境语义学与上述理论有许多类似之处:情境语义学对罗素型命题的批评实际上就是对最小不动点理论的弗完全性的批评;而它通过奥斯汀型命题将情境内化于命题的方案,也可以通过模型序列的构建来完成。不同之处在于,由于情境语义学采用的是非良基集合论,这使得它可以通过循环集合直接构造自指命题而不需要通过哥德尔编码来进行,然后通过对循环集合的结构的分析来刻画真谓词并且解决语义悖论问题。总而言之,情境语义学是用非良基集合论对克里普克的（最小）不动点理论的重新阐述。克里普克、古普塔和菲尔德这三人的真理论是近四十年来模型刻画真谓词的主要理论,而情境语义学在某种程度上也与不动点方法密切相关。因而,如果将古普塔的修正方法看做是不动点方法的一个变体,并且不考虑各个模型刻画理论的哲学辩护的话,那么如下断言并非言过其实:不动点方法在近四十年的时间内在用模型刻画真谓词的发展过程中占据了统治地位。本文主要是对模型刻画理论近四十年的发展历史做一个分析。通过深入考察克里普克的最小不动点理论、古普塔等人的真理修正理论和菲尔德的带良好条件句的真理论等主要的真理论,并细致地对这些真理论所使用的方法进行比较,揭示出对真谓词的模型刻画实际上是一个模型序列建构的过程。随着模型序列发展,对真谓词的刻画变得越来越恰当,最终达到稳定状态。这个过程是一个“动”“静”结合的过程,通过动态寻找来达到对真谓词的稳定刻画。笔者明确地指出,“动”指的就是模型序列的发展过程,而“静”指的是模型经过一定过程的发展之后稳定于某一个模型或者某些模型,通过这种方式能达到对真谓词在形式技术上的一个“动”“静”结合的刻画。