人们常说,塔尔斯基的真理理论只适用于形式化语言系统。我认为这种说法不正确。众所周知,塔尔斯基的真理理论需要一种带某种程度人为性的语言——一种对象语言;它还需要区分对象语言和元语言,而这种区分有一定程度的人为性。然而,虽然通过把某种谨慎引入日常语言,我们使它丧失了“自然”性,带上了人为性,但是,我们不一定使它形式化:虽然每种形式化语言都是人造的,但并非每种服从某些规定的规则,或者建基于多少清楚地表述的规则的(所以是“人工的”)语言都一定是完全形式化的语言。在我看来,承认存在一整套不同程度上人为的但不是形式化的语言,是相当重要的,对于真理论的哲学评价尤为重要。