塔斯基对真的定义是“雪是白的”是真的，当且仅当雪是白的。它的妙处就是在这个引号，因为塔斯基第一次区分了元语言和对象语言，当用引号时，这句话是作为对象来研究的，叫对象语言。“当且仅当雪是白的”在元语言中，用来研究它的语言。如果不区分元语言和对象语言，要讨论真的问题就会产生paradox（悖论）。最著名的是说谎者悖论。有人到了克里特岛，一个克里特岛人说所有克里特岛人都说谎。他这句话是真的还是假的？他有没有说谎。类似的说谎者悖论很多，比如“这句话是假的”，或者严格地说方框里的这句话是假的。那这句话是真的还是假的？这就是语义悖论，语义悖论的问题在于没有区分对象语言和元语言。这句话说到这里，那句话没出来。

塔斯基的这个定义非常重要。

语言L 模型（世界）M

项（相当于词，单词） 对象（单词指称的对象）

函数符号 函数

谓词符号 谓词（关系、属性）

句子 事实

这是语言和模型或者语言和世界的关系。比如“花是红的”“草是绿的”“鸟是白的”“水是清的”，这四句话在语言中都是真的。就是雪是白的，当且仅当雪是白的。但是在世界，“花是红的”就错了，“草是绿的”还对，“鸟是白的”也错了，“水是清的”，不知道真假。语言固定，换一个模型，原来真的句子可能假，原来假的句子可能真，原来真的句子不知道真假。