说谎者悖论中的T-模式

T-模式是塔斯基提出的与真有关的一个重要模式,即"x是真的当且仅当p",其中p是一个句子,x是这个句子的名字。因其非常符合"真"这个词的直观而成为现代逻辑真理论的一条重要规则。说谎者悖论的产生都与T-模式或其等价式有关。所以研究说谎者悖论必须研究T-模式。T-模式包含两个关键词:"当且仅当"和"真"。文章讨论了这两个关键词在说谎者悖论及其解悖方案中的理解,以及与T-模式有关的另一条规则"(IP)规则"。