塔尔斯基语义图式(T)正解(.docVIP

塔尔斯基语义图式(T)正解( 秦玮远( （绵阳师范学院 四川绵阳 621000） 内容摘要：著名逻辑学家塔尔斯基在他的《形式语言中的真概念》一文中提出了一个著名的语义图式(T)：X是真的，当且仅当P。对这个语义图式(T)的内涵学界有些人作出了不同的解读，但这些解读未必合塔氏旨意，有的甚至是对塔氏旨意的一种误解。为此，文章从对等值式左右两边作详尽分析的角度入手对塔尔斯基语义图式(T)作了重新解读。 关 键 词：塔尔斯基 语义图式(T) 真 一、塔尔斯基语义图式(T)的得出 众所周知，塔尔斯基在1933年正式发表的《形式语言中的真概念》一文中提出了如下一个著名的语义图式(T)：X是真的，当且仅当P。可以这么说，这一语义图式(T)在我们关于“真”的前理论理解中起到了极其关键的作用。下面，就这一语义图式(T)的要旨加以详细说明。 这一语义图式(T)在日常的自然语言中常常被简单地例示为： （(T)1）“雪是白的”是真的，当且仅当，雪是白的。 （(T)2）如果雪是白的，那么“雪是白的”是真的。 （(T)3）如果雪不是白的，那么“雪是白的”是假的。 实际上，语义下溯的（(T)1）和语义上溯的（(T)2）可以合二为一，有人直接称为(T)语句，有研究者则称之为“日常成真条件等值式”。①这种“日常成真条件等值式”有着两个明显的特征：其一，等值式的左边作为一个语句（比如“‘雪是白的