资源描述：
《浅析塔尔斯基的语言层次论.pdf》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。
1、暨南学报(哲学社会科学)..Vol16No3第61卷第3期JOURNA工OFJ刀可ANUNIVERSITY.1994年7月(Ph如soPhy&SodalSeine沈5Eid石on)Jul1994浅析塔尔斯基的语言层次论林琼、:提要本文从如下三方面对塔尔斯基语言层次论进行分析和探讨一罗素分支类型的、、.启示;二塔尔斯基语言层次论的提出;三塔尔斯基语言层次论的理论意义及其局限性通过以上,,三个方面的论述试图阐明塔尔斯基语言层次论在现代悖论学说史上具有的重要意义指出其理论.具有的局限性关键词语言层次论语义悖论真理定义语义封闭性对象语言元语言,.,塔
2、尔斯基(Alalsik)是波兰著名的逻辑学家一生从事数学和逻辑学研究1933年他发表,.了《形式化语言中的真理概念》一文创立了形式化语言的真理论和逻辑语义学同时提出了.解决语义悖论的形式化方案语言层次论(theiHaeryofaLgnaug这个理论的举响一此es)很大,引起了人们研究悖论的极大兴趣.本文试就塔尔斯基的语言层次论作一些探讨,试图,.指出其局限性阐明其理论意义一罗素分支类型论的启示.罗素提出分支类型论的目的是为了解决语义悖论那么何为语义悖论呢?语义悖论一般,,,“”是指这样两种情形:即由语言表达歧义而形成的悖论(l)是语言歧义悖论
3、例如长角者悖论.(2)是语层、语指歧义悖论,即是指语言表达在不同的层面或不同的指称对象上表示出不,.同的语层意义和语指意义由于混淆不同的语言层次或混淆不同的语言指称所形成的悖论例如,“说谎者”悖论、“鳄鱼的悖论”等.语义悖论是逻辑史上最令人困惑,却散发着诱人魅力的.,`.“,一个古老问题早在古希腊克里特人发现的说谎者悖论就以难题而闻名遐尔;中世纪“”,`”,人们把它称为不可解命题;到了本世纪初它以更严密的形式同集合论悖论一起使逻辑学陷人矛盾的困境之中,构成了自古希腊以来,对逻辑理论的最为严重的挑战,从而再度成为哲学家和逻辑学家所注目的中心之一
4、“”在导致数学基础的第三次危机以及因哥德尔定理而使人们的数学观念发生急剧变化的,,、理论事件中语义悖论并没有受到人们的重视当时人们把目光都集中在象康托悖论罗素悖论、布拉里—福蒂悖论等集合论悖论上。但人们认识到语义悖论在包含矛盾及对逻辑的威,“”胁方面与集合论悖论是完全一样的没有什么理由不解决与古老的说谎者悖论相联系的矛.,“”,盾罗素认为说谎者悖论与集合论悖论本质上是一样的并且认为悖论的根源在于假定,,“”.一类事物可以包括本类的整体作为分子例如一切类的类也还是一个类罗素把这种“”“”,“”`”,类称为不合法的全体认为承认不合法的全体就会引起
5、恶性循环从而导致自相矛盾.,,.罗素于1908年提出了分支类型论思想是:为了解决这种矛盾消除语义悖论其基本把,,同类型的谓词分为不同的层次层次较高的谓词或类不能与层次较低的谓词或类混淆起来,.,既不能把二者等同起来也不能用层次较低的谓词或类描述层次较高的谓词或类否则会“”,“’.违反恶性循环原则形成不合法的全体罗素分支类型论在消除语义悖论方面虽然部分地达到自己的目的,但它付出的代价太大,.“’.,“了几乎使它的成果付之东流这主要是由恶性循环原则所引起的首先恶性循环原’,,则只有在所讨论的全体尚在构造之中而未构造完毕时才能生效对已构成的域它是不
6、适用.,“’,,的其次根据恶性循环原则对尚未完成的域全称命题是不能使用的因为这种量词的使用以个体域封闭为先决条件.但主张分支类型论的人仍按常规使用这种量词,这是说不通.,,的:尽管分支类型论有其局限性但却给人们带来了启示首先它使人们意识到语言是分层次的,有些符合普通语法的句子可能是无意义的,语义悖论的产生可能与混淆不同的语言层次有关.其次,它使人们感到世界似乎是个等级体系,事物可分成不同等级的类型,某类型的事物还可分成不同的次序.我们不能毫无限定地谈论“事物的全体’、.命题的全体”.,.可见语言分层的思想最早是由罗素提出来的罗素在为维特根斯坦
7、的《逻辑哲学论》,“,(1922年)一书所写的导言中也明确地表达了这种思想:每一种语言如维特根斯坦先生所,,,.说的有一种结构关于这种结构在这种语言中一点都不能说但是可以有另一种处理第一种语言结构的语言,这种语言本身有一种新的结构,并且语言的这种系列是可能没有止境’.,.的(维特根斯坦:(逻辑哲学论》商务印书馆1962年版第23页)塔尔斯基正是顺着罗素分支类型论的思路,对语义悖论作了更进一步的研究,提出了语言层次论来消除悖论,从而创立了逻辑语义学.二塔尔斯基语言层次论的提出塔尔斯基是在探讨关于形式语言中的真的概念的过程中,为了消除语义悖论,提
8、出语言层次论的..1对真理的定义问题进行研究:他首先指出真理的定义应满足如下两个标准.l()真理的定义应是实质上充分的(etiarladequaet)也就是说真理的
