5. 人造语言和形式化语言

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