| 约定T convention T 塔尔斯基定义形式语言中的真句子的原则。由塔尔斯基在1933年发表的论文《形式语言中的真概念》中提出。当用符号‘Tr’指称一切真句子组成的类时，该原则可以叙述如下： 约定T：符号‘Tr’的一个在元语言中陈述的形式上正确的定义称为实质上适当的，如果它有如下的后承： (α)一切由表达式‘x∈Tr(即x是真句子)，当且仅当，p’，通过用所涉及的语言中的任意句子的结构摹状名称代替符号‘x’，且用该句子在元语言中的译文代替符号‘p’以后所得的句子。 (β)句子‘对任何x而言，如果x∈Tr，那么x∈S(即句子组成的类)’，换言之：‘Tr⊆S’。 |