塔尔斯基语义图式(t)正解(

《塔尔斯基语义图式(t)正解(》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、塔尔斯基语义图式(T)正解*本文在写作的过程中就某些理论问题请教过清华大学的王路教授和留美学者牟博先生，文章完成后又得到了西南大学何向东教授的悉心指导，在此一并致谢。秦玮远*作者简介：秦玮远（1973——）男，四川绵阳人，绵阳师范学院讲师，主要从事逻辑学研究。（绵阳师范学院四川绵阳621000）内容摘要：著名逻辑学家塔尔斯基在他的《形式语言中的真概念》一文中提出了一个著名的语义图式(T)：X是真的，当且仅当P。对这个语义图式(T)的内涵学界有些人作出了不同的解读，但这些解读未必合塔氏旨意，有的甚至是对塔氏旨意的一种误解。为此，文章从对等值式左右两边作详尽分析的角度入手对塔尔斯基语义图式(T)作

2、了重新解读。关键词：塔尔斯基语义图式(T)真一、塔尔斯基语义图式(T)的得出众所周知，塔尔斯基在1933年正式发表的《形式语言中的真概念》一文中提出了如下一个著名的语义图式(T)：X是真的，当且仅当P。可以这么说，这一语义图式(T)在我们关于“真”的前理论理解中起到了极其关键的作用。下面，就这一语义图式(T)的要旨加以详细说明。这一语义图式(T)在日常的自然语言中常常被简单地例示为：（(T)1）“雪是白的”是真的，当且仅当，雪是白的。（(T)2）如果雪是白的，那么“雪是白的”是真的。（(T)3）如果雪不是白的，那么“雪是白的”是假的。实际上，语义下溯的（(T)1）和语义上溯的（(T)2）可以合

3、二为一，有人直接称为(T)语句，有研究者则称之为“日常成真条件等值式”。①这种提法始于留美学者牟博先生。这种“日常成真条件等值式”有着两个明显的特征：其一，等值式的左边作为一个语句（比如“‘雪是白的’是真的”），其为真显然受制于等值式右边的客观事实（比如，雪客观上确实是白的）。也就是说，等值式左边的真不应当被误解为是思维主体（认识者）通过加上一个“真”谓词②“‘真’谓词”很多人称为“真理谓词”，王路教授认为“真理谓词”的提法很不科学，笔者赞同王路教授的看法，称为“‘真’谓词”。而赋予它的。言外之意，等值式左边的真并不是思维主体（认识者）主观认识的结果。于是，有人认为这种“日常成真条件等值式”是

4、非认识性的。但是，我们务必要分清楚被冠以“日常成真条件等值式”的语句本身和处于塔尔斯基理论体系中的“日常成真条件等值式”。因为，就通常情况而言，“雪是白的”一类语句的内涵都是我们大家共同认可了的毫不含糊的客观事实。即便如此，等值式左边的“雪是白的”作为一个一般真理，我们对它的认识也并不是与生俱来的，而实际上也是一个一个的思维主体（认识者）赋予的结果：甲：雪是白的。乙：雪是白的。丙：雪是白的。……于是我们便一致认可：雪是白的。让我们看一看另外一种情形结果又如何呢？（(T)4）“我的体态有点偏瘦”是真的，当且仅当，我的体态有点偏瘦。这一(T)语句由于不同的思维主体（认识者）对“瘦”的认识不尽相同而

5、势必会导致两种结果。一种是客观上认为我的体态确实有点偏瘦，这便成为“我的体态有点偏瘦”的成真条件；另一种是主观上认为我的体态并不偏瘦，这便导致“我的体态有点偏瘦”不是真的。退一步来讲，说一个语句的真假，实际上也就是说，该语句所指称的东西验之于相应的客观事实而成为真的或假的，因为语句本身的真假无以理解。例如，说语句“xxxxxx”是真的，我们何以理解？如此看来，我们可以说该等值式左边的真不是思维主体（认识者）主观认识的结果，但整个“日常成真条件等值式”语句本身并不能完全排除认识论因素。其二，这种“日常成真条件等值式”的成真关系是一种超语言的关系，即是语言项（语句）（如“雪是白的”）和超语言项（客

6、观实际）（如：雪确实是白的）之间的关系。而这两者之间的关系正好是语义学研究的对象。所以，这种“日常成真条件等值式”显然是语义的。上述分析说明，“日常成真条件等值式”是一种处理非语言之真的语义的等值式。塔尔斯基认为，“日常成真条件等值式”和我们日常使用的自然语言的使用习惯（这种使用习惯久而久之便约定而成了某种构造规则）一起，形成了我们关于“真”的前理论理解的最好的非形式说明。于是，塔尔斯基根据日常自然语言中的日常(T)语句建构了他的图式(T)：X是真的，当且仅当P。这里的“X”表示语言L中的任一语句的名称或它的结构摹状名称，“P”则表示语句本身或者是该语句在语言L中的翻译。按中世纪逻辑学的术语来

7、讲，右边的“P”又称为他指表词（Supposi(T)ioformalis），左边的“X”又称为自指表词（Supposi(T)ioma(T)erialis）。特别说明一下，这里的“P”表面上表现为语言L中的任一语句本身，但按照塔尔斯基的本意应当作“该语句在语言L的元语言ML中的翻译”的理解。因为塔尔斯基主张，语句只能够作为某一特定语言的一部分而成为真的或假的。我们不妨设想有这么一种语言Anglish