20世纪以来,形上学家们一直在关注使真者与使真关系。在使真者形上学中,使真关系被认为是一种跨范畴的关系、内在关系与必然关系,并且每个命题都至少有一个使真者。对于语义学的研究,不同历史时期,则出现了不同的语义学理论,而影响最大的就是真值条件语义学。根据真值条件语义学,一个语句的意义就是其真值条件。近年来,在真值条件语义学框架下,凯特·法恩(Kit Fine)则提出一种使真者语义学。他尝试通过使真者与使真关系对语句的意义进行刻画。根据使真者语义学,一个语句的使真者是状态,任何具有部分整体结构的个体、事实、事件都可以被视为状态。通过对状态的定义,法恩构造了状态空间,在状态空间中,一个状态可能是另外一个状态的部分,不同的状态也可以构成新的状态。法恩甚至认为,存在不可能状态,不可能状态由可能状态构成,它们之间的差异在于可能状态之间的差异。一个语句的意义通常被视为它所对应的某个命题,而根据使真者语义学,一个语句所表达的命题确实包含相应的使真者。另外,法恩认为无法通过肯定语句的使真者确定否定语句的使真者,因此需要引入使假者概念,而否定语句的使真者就是相应肯定语句的使假者。所以,一个语句所表达的命题并不仅仅是其使真者集,而是其使真者集与使假者集构成的序对。对于通过合取、析取等连接词构造而成的复杂语句,法恩通过组合原则,计算出相应的使真者集与使假者集。法恩认为,可以通过使真者语义学解释语义学、语用学上的一些重要关系或难题,比如内容上的部分整体关系、数量隐含、反事实条件句中的等价替换失效。具体而言,语句之间在内容上的部分整体关系要通过它们的使真者之间的关系进行界定;在使用语言的过程中,人们往往预设所断定语句不但为真,而且精确真,这导致了数量隐含现象的发生;在可能世界语义学下逻辑等价的语句,其逻辑功能并非完全等同,因为它们的使真者集对应的转变状态集并不同一,这便解决了反事实条件句中的等价替换失效难题。