《回眸塔斯基—对塔斯基真理定义理论的若干思考》由会员分享，可在线阅读，更多相关《回眸塔斯基—对塔斯基真理定义理论的若干思考（30页珍藏版）》请在金锄头文库上搜索。
1、 回眸塔斯基对塔斯基真理定义理论的若干思考摘要本文旨在对曾被誉为二十世纪逻辑学、哲学上三大突出成就之一的塔斯基的语义真理定义理论作些必要的探讨。主要由四部份组成：第一部分阐述悖论对真理定义的严重威胁。只要采取真理表达式“命题P 是真的”，就不可避免地导致语义悖论，使定义真理的努力化为徒劳。第二部分精要地介绍一下塔斯基真理定义的内容。包括他对悖论根源的分析、对元语言和对象语言的区分，对类演算中元语言的构造，对真理的定义四个方面。第三部分从正面评价了塔斯基理论的意义。他开创了逻辑语义学的先河，树立了分析方法的典型。掀起了世界范围对真理定义的热烈探讨。 第四部分对塔斯基的理论进行若干反思。借先批判他
2、的语言层次论中的不足，分t 析了他的“结构摹状名称”的错误。之后对“真理定义不能在自然语言中进行”作一番考察，认为问题不在于自然语言本身，而在于我们混淆了语言的阶和语言的层次。然后分析总结“逻辑真”与“事实真”的关系，认为“逻辑真”是“事实真”的必要而非充分必要条件。最后，在更宏阔的层面上对刚过去一个世纪以来的语言哲学进行反思，认为哲学不等于语言逻辑分析，真理定义问题最终只能是哲学认识论问题，而非语言逻辑、 问题。卜、，。A b s t r a c tT h i sa r t i c l e c o n s i s t i n go ff o u rp a r t s ，i s 删a tp w
3、 b i n gi n t oA l f r e dT a r s k i Sd e f t n i t i o nt l l e o r ) ro fs e m a n t i ct r u t h ，w h i c hw a so n c eh i g h l yt h o u g h to fa so n eo ft h et I l r e em o s to u t s t a n d i n ga c h i e v e m e n t so fl o g i ca n dp h i l o s o p h yi nt h e2 0 t hc e n t u r y T h ef
4、h s tp a r ti l l u s t r a t e st h eg r e a tr i s ko fd e f i n i n gt r u t h W h e nd e f i n i n gt r u t h ，s e m a n t i cp a r a d o xs e e m si n e v i t a b l ep w v i d e dt h et r u t he x p r e s s i o nP r o p o s i t i o nPi st r u ei st a k e n ，m a k i n gt h ee f f o r t so fd e f
5、 i n i n gt r u t hf r u i t l e s s T h es e c o n dp a r td e a l sb r i e f l yw i t ht h ec o n t e n to fT a r s k i sd e f i n i t i o nt h e o r yo ft r u t h ，i n c l u d i n gh i sa n a l y s i sa b o u tt h er o o to fp a r a d o x ，h i sd i s t i n g u i s h i n gb e t w e e nm e t a l a
6、n g u a g ea n do b j e c tl a n g u a g e ，h i sa t t e m p t so fc o n s t r u c t i n gm e t a l a n g u a g e ，釉dh i sd e f t n i t i o no ft r u t h ，T h et h i r dp a r ti ss o m cp o s i t i v ee v a l u a t i o n sa b o u tT a r s k i st h e o r y H ei n i t i a t e dl o g i cs e m a n t i c
7、 sa n dat y p i c a lm e t h o do fa n a l y s i s ，a n da r o u s e daw o r l d w i d ed i s c u s s i o na b o u tt h ed e f t n i t i o no ft r u t h T h el a s tp a r to f f e r st h o u g h t f u li n s i g h ti n t oT a r s k i st h e o r y F i r s t l y 。i te r i t i e i -Z e 8h i st h e o r
8、yo fl a n g u a g eh i e r a c h i c a lo r g a n i z a t i o n ，a n a l y s e st h em i s t a k e si I lh i ss t r u c t u r a l - d e s c r i p t i v en a l n e T h e ni tm a k e ss o m ei n s p e c t i o ni n t ot h ep r o b l e r l l 一t h ed e f i n i t i o no ft r u t hi si m p o s s i b l ei n
9、n a t u r a ll a n g u a g e ，h d d i n gt h ev i e wt h a tt h eq u e s t i o ni sn o tr o o t e di nn a t u r a ll a n g u a g ei t s e l f ，b u to r g a n i a t e sf r o mt h ef a c tt h a tW ec o n f u s el a n g u a g eo r d e r sw i t hl a n g u 哪 el e v e l s A f t e rt h a t ，i td i s c u s
10、s e st h er d a -t i o nb e t w e e nl o g i c a lt r u t ha n dl i C t l l a lt r u t h ，a n dp o i n t so u tt h a tt h ef o r m e ri st h el a t t e r sn e c e s s a r yc o n d i t i o n 。b u tn o ti t ss u f l ! j i e i e n t - a n d n e c e s s a r yc o n d i t i o n F m a l 1 y ，w i t hab r o
11、a d e rs i g h t ，t h i sa r t i c l em a k e 8s o m ei n t r o s p e c t i o na b o u tt h el a n g u a g ep h i l o s o p h yi nt h ep a s tc e n t u r y ，a n ds i n c e r e l yb e l i e v e st h a tp h i l o s o p h yi sd i f f a t m t f r o m 州a n a l y s i so fl a n g u a g e ，a n dt h a tt h e
12、d e f i n i t i o no ft r u t hi saq u e s t i 砸o fe p i s t e m o l o g y ，i n s t e a do f1 a ；I l a 窘el o g i c 导言真理问题是一个古老的哲学问题。古希腊时期，柏拉图和亚里士多德已经开始对真理问题进行研究；直到近代，哲学家们把真理问题当作认识论中的一个根本问题；二十世纪以来的西方语言哲学对真理问题作了大量的研究，主要探讨两个方面的问题：第一是真理的定义，第二是真理的标准。对于这两个问题，语言哲学家们提出了多种理论。本文旨在对这些理论之一塔斯基的语义真理定义理论作些必要的探讨。一、
13、真理定义的黑洞悖论众所周知，亚里士多德把真理定义为“言是者是，言非者非即为真，言是者非，言非者是即为假。”换言之，真理就是命题与客观事物相符合。他说，“一个人的存在这一事实带来了关于这个人存在着的命题的真理性。因为，如果一个人存在着，我们断定这个人存在着的命题就是真的。这个人存在着这一事实是该命题所以为真的原因，因为该命题的真或假取决于这个人存在或不存在。”o在近代，洛克也认为“所谓真理，顾名思义，不是别的，而是按照实在事物的契合与否而进行的各种标记的分合。”o在现代，逻辑原子论者维特根斯坦试图从语言和世界之间的严格对应关系或图象关系来论证他的真理观。在他看来，命题的真假取决于命题与它所描述的
14、事实之间是否存在着符合关系，或者说，取决于命题是否成为它所描述的事实的图象。如果一个命题符合它所描述的事实，成为这个事实的图象，那么这个命题便是真的，否则就是假的。罗素的早期也持与维特根斯坦相似的观点。但是，真理表达式“命题P 是真的”不可避免地导致一个矛盾，这个矛l 一盾是由于采用了“真的”这个真理谓词( t m t lp r e d i c a t e ) 而导致的悖论：克利特岛的埃皮米尼德宣布“所有克利特岛人都是说谎者。9 9 如果这句话是真的，那他说的这句话便是假的；如果这句话是假的，那么这句话便是真的。( 注：在我看来，如果这句话是假的，那么他说的这句话是真假不定的，因为根据逻辑方阵
15、的差等关系，上假下不定。) 改进了的“说谎者悖论”可以这样表述：f 甲( 命题) ：乙命题是真的；t L ( 命题) ：甲命题是假的；如果断定甲是真的，那么根据乙，则甲是假的；如果断定甲是假的、那么根据乙，则甲是真的；如果断定乙是真的，那么根据甲，则乙是假的；如果断定乙是假的，那么根据甲，则乙是真的。以上“说谎者悖论”是一个语义悖论，它简直象一个语义“黑洞”，把在自然语言中给真理下定义的努力化为徒劳。二、塔斯基真理定义略述艾尔弗雷德塔斯基( A l f r e d T a r s k i ，波裔美籍，1 9 0 2 1 9 8 3 ) 是众多试图给真理下定义的逻辑哲学家之一。他在逻辑学和哲学上
16、的影响，恐怕主要是他对“真”的定义所奠定的。他注意到，语义悖论产生的根源在于自然语言的语义封闭性或自指性( s e l f - r e f e r e n c e ) ，于是，他别出心裁地绕过“自然语言”这个“死角”，选择在形式语言中给真理下“一个内容上适当，形式上正确”的定义，以克服悖论的困扰。2 1 塔斯基对悖论产生根源的分析塔斯基认为，语义悖论产生的原因之一是自然语言没有精确的形式结构，存在着语句的自指性( s e l f - r e f e r e n c e ) 的局限，属于“语义上封闭”的语言。所谓“语义上封闭的”语言，他是这样描述的：“我们已经暗含地假定，在悖论构成的语言中，不仅包含了这种语言的表达式，也包含了这些表达式的名称，还包含了象真的这个词项的语义学词项；我们还假定所有决定这个词项的适当使用的语句都能在这种语言中得到断定。具有这些性质的语言以后将称为语义上封闭的。”这就是说，在这种语言中，不仅包含所期望的表达式，而且包含这些表达式的名称以及象“真的”那样用
