塔尔斯基真理的语义理论

真理的语义理论断言：对某个命题是真的的任何断言，可以只作为形式上的需要而做出来，不管表达命题自身用了什么语言。

1933年，塔尔斯基首创“真理”的语义概念（原创）。塔尔斯基在《On the Concept of Truth in Formal Languages》中尝试公式化一种新的真理的理论来解决说谎者悖论。在其中，他做出了很多数学发现，最著名的是塔尔斯基不可定义性定理，它类似于哥德尔不完全定理。粗略的说，该定理声称一个给定语言的句子的真理概念不能在这个语言内被一致性的定义出来。

说明：塔尔斯基关于“真理”的语义理论对于数理逻辑模型论具有关键意义。离开这种理论，无穷小微积分就无从谈起。在数学中，“真理”（Truth）的语义理论这面“大旗”，我们必须举！

袁萌  2月6日