2018-09-14

逻辑学家兼哲学家阿尔弗雷德·塔斯基（Alfred Tarski）也以一种类似的方式解决了说谎者悖论：要定义“真的”一词，就不能让“真的”这个词出现在定义中。

首先，塔斯基将“真的”定义为目标语言L，目标语言要通过所谓的T句描述出来。描述的方式并不重要，我们只需要知道塔斯基做到了不提到“真的”这个词，就将T句表达了出来，写出来是这个样子的：

“‘雪是白色的’在L句中为真”，当且仅当雪是白色的时候。”

“‘草是绿色的’在L句中为真”，当且仅当草是绿色的时候。

换句话说，如果你想说“雪是白色的”是可以做到的，只要把“在L句中为真”加进来就可以了。而一旦你这样做了，在谈论的就不是L本身了，而是元语言L1。目标语言之所以被称为目标语言，是因为它谈论的是某个具体的目标。而对比来看，元语言L1谈论的是目标语言的句子本身。元语言中既包含了“在L句中为真”，也包含了“在L句中为假”。我们还有元元语言，谈论的是元语言的句子本身。在这类句子中，我们可以说“‘“雪是白色的”在L句中为真’在L1句中为真”。