解读塔斯基的语义性真概念——读“语义性真理概念和语义学的基础”

《解读塔斯基的语义性真概念——读“语义性真理概念和语义学的基础”》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、2015年第1期贵州工程应用技术学院学报NO．1．2015第33卷JOURNALOFGUIZHOUUNIVERSITYOFENGINEERINGSCIENCEV01．33(总第174期)GeneralNo．174解读塔斯基的语义性真概念——读“语义性真理概念和语义学的基础”肖伟华(黔南民族师范学院政治法律经济系，贵9-I'l都匀558000)摘要：真的概念在哲学、逻辑学研究中有着十分重要的地位。塔斯基从语义学的角度对真进行了定义：对象语言。中一个闭语句是真的，当且仅当它被所有的序列所满足。对这一定义进行具体解读，分析塔斯基真理理论所提出的“真”定义的实质适"-3性

2、奈件和形式正确性条件，然后分析塔斯基定义‘真’的具体步骤。关键词：对象语言；元语言；满足；真中图分类号：B81文献标识码：A文章编号：2096～0239(2015)()1-0044-07“真”、“真理”问题历来是哲学家们探讨的一个永恒而古老的话题，可以说对“真”的探索贯穿了整个人类哲学史，同样“真”也是逻辑学特别是逻辑语义学中一个非常重要的概念。塔斯基(A1．fredTarski)作为现代逻辑语义学的奠基人，他也是从对“真”的探讨开始的，他在1993年《形式语言中的真概念》一文中提出了奠定语义学基础的语义性真理论。在这篇文章一开始，塔斯基就明确提出：“本文几乎全部

3、是献给一个问题——为真作定义的。它的任务是针对一种给定的语言，建立一个实质上恰当、形式上正确的关于‘真语句’这个词的定义。”为了给真概念下这样“一个令人满意的定义”，塔斯基认为我们要做的前提工作就是先明确“真的”的外延和内涵。关于“真的”外延，塔斯基把语句视为真的承担者，“因为若干原因，把‘真的’这个词项用于语句是最方便妥当的”12183，定义真也就是定义真的语句。“真的”内涵(或意义)，在塔斯基看来，它跟我们日常语言中的大多语词一样，都是是含糊不清的。历史上凡是探讨过这个概念的哲学家们都没能帮助消除这种含糊性。所以，塔斯基希望他的定义能坚持“古典的亚里士多德真理

4、概念”，即：是什么说不是什么，不是什么说是什么，这是假的；是什么说是什么，不是什么则说不是什么，这是真的。塔斯基在考察了当时所有关于真的概念的定义包括符合论、融贯论、实用论、冗余论等之后，发现之前那些定义都不是足够精确和清楚的，都可能导致各种各样的误解，不足以成为他的语义学的一个基本概念，所以他必须重新定义。一、实质适当性条件和形式正确性条件塔斯基认为“真”概念应该满足两个条件：一是实质上恰当，二是形式上正确。塔斯基给出的实质恰当性条件是：(T)x是真的，当且仅当P。口】s6即任何可接受的真理定义都应该以T型等值式的全部实例作为后承。其中“P”可以用“语言中任何由

5、‘真的’这个词所指称的句子代替”【2】86，而x是语句P的名称。收稿日期：2014—03—19作者简介：肖伟华(1982一)，女，山西榆次人，黔南民族师范学院讲师，硕士。研究方向：逻辑哲学、思想政治教育。·44·万方数据引用塔斯基本人的例子：语句“雪是白的”为真，当且仅当雪是白的。“‘雪是白的’出现在等值式左边时带有引号，而出现在右边时则无引号。在右边的是语句本身，在左边的则是语句的名称，”””5名称的指称是右边的句子。乍看起来，似乎是说“真的”是语句名称的性质，其实不然，打引号的作用恰恰是为了强调语句名称指称语句。塔斯基在这里有两点考虑：一是一个语句主语只能是名

6、词或者名词性的表达式，二是不论我们对一个对象做出任何表述，都必须使用对象的名称而不是使用对象本身。打引号只是构造语句名称的一种方法，但决不是唯一的方法，我们也可以用结构摹状名称来达到指称语句的目的。比如：英语语句“Snowiswhite”(“雪是白的”)的名称可以表述为：“句子由三个词组成，第一个词又由英语字幕表中第19、第14、第15和第23个字母组成；第9和第19个字母组成第二个词；第23、第8、第9、第20和第5个字母组成第三个词”。[2185塔斯基强调所有“实质上恰当的”真定义都必须包含T型等值式的所有实例。T只是一个实质恰当性条件，而不是真的定义，只能看

7、作是真的部分定义。塔斯基提出的形式要求“涉及到真的定义应该在其中给出的语言结构，涉及到定义中可以运用的概念以及定义必须遵守的形式规则”。f31126这一要求主要是围绕对象语言和元语言的区分展开的。为什么必须区分对象语言和元语言呢?塔斯基举了一个例子来说明：令符号C是语句“C不是真的”这一语句的缩写，于是我们有：(a)“C不是真的”等同于C然后对语句C的那个带引号的名称，提出T等式的具体说明，即(b)语句“C不是真的”是真的，当且仅当C不是真的从(a)和(b)很容易得到一个悖论：(C)C是真的，当且仅当C不是真的塔斯基指出，之所以会产生悖论有两个原因：一是这里所使用

8、的语言既包