猜想與反駁 · 5. 人造語言和形式化語言

人們常說，塔爾斯基的真理理論只適用於形式化語言系統。我認為這種說法不正確。眾所周知，塔爾斯基的真理理論需要一種帶某種程度人為性的語言——一種對象語言；它還需要區分對象語言和元語言，而這種區分有一定程度的人為性。然而，雖然通過把某種謹慎引入日常語言，我們使它喪失了「自然」性，帶上了人為性，但是，我們不一定使它形式化：雖然每種形式化語言都是人造的，但並非每種服從某些規定的規則，或者建基於多少清楚地表述的規則的（所以是「人工的」）語言都一定是完全形式化的語言。在我看來，承認存在一整套不同程度上人為的但不是形式化的語言，是相當重要的，對於真理論的哲學評價尤為重要。