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

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