紧缩真理论的多元化发展

传统的紧缩真理论似乎自诞生之初就是与真之符合论对立的，而且这种传统的紧缩论在其发展过程中一直是存在缺陷的。20多年来，对紧缩真理论的研究呈现多元化发展的态势。在阐释稳健的紧缩论、反紧缩论、弱紧缩论、双面真的紧缩论基础上，指出必须在保持一致性的前提下努力探寻一种新的紧缩论，从而更加客观地反映真之本质。     

从塔尔斯基转向看公理化真理论

塔尔斯基的语义真理论是逻辑发展史上的一座里程碑。它带来了真理论研究的塔尔斯基转向：在研究基础上,发生了从本体论或认识论到语言学的转向;在研究动力上,发生了从揭示真之本质到克服语义悖论的转向;在研究主题上,发生了从研究真之本质到研究真之规律的转向;在研究进路上,发生了从下定义到公理化的转向。公理化真理论是在塔尔斯基转向的背景下发生和发展起来的新型真理论。理解塔尔斯基转向是理解公理化真理论的一把钥匙。     

真之符合论与真之紧缩论:一种基于塔斯基真理论的分析

塔斯基提出的真之定义T模式,引发了有关真之符合论和真之紧缩论的争论.从本质上看,T模式包含了对真之符合论核心主张的承诺.而真之紧缩论则被看成是T模式去引号后的结果.其实,紧缩论和符合论最大的区别在于各自的关注点不同.符合论关注“真”的实质,属于形而上学领域;紧缩论则关注“真”这个词,属于语用学领域.但同时,二者又能够基于T模式得到统一.     

真之视野中的亚里士多德逻辑

亚里士多德开创了逻辑,为人们提供了一种求真的工具。在哲学上,亚里士多德提出了真之符合论,在这一思想影响下,为达到求真,亚里士多德建立了他的逻辑学说。纵观其哲学与逻辑思想,可以看出,亚里士多德的逻辑学说是围绕“必然地得出”这一观念形成的,而这一观念来源于其求真思想。求真是逻辑的本质,求真的外在形式表现为推理这一技术手段。亚里士多德创立的逻辑是通过推理达到求真的科学。     

破解说谎者悖论

说谎者悖论是学界探索不止的千年难题.应当从思维和存在关系的角度,建立正确的语言层面理论,以作为分析说谎者悖论的方法.语言可以划分成外延、内涵和形式三个层面,三个层面之间存在重合、透明和转换的关系.解析说谎者悖论,关键也是理解语句名称与被代表的语句本身之间的层面关系,不能混淆.断定"真"与断定"假"的作用不同:断定"真",具有转换语言层面的功能,因此我们允许一个语句断定自身为真;而断定一个语句为"假"则使它定位于内涵层面,因此从断定自身为假的语句推不出矛盾等价式来.运用类似的方法同样可以解析说谎者悖论的变体.     

西方真之理论的三次转向

自20世纪以来,西方关于真之理论的观点大概出现了三次转向:第一次出现在20世纪初期,伴随着哲学领域的本体论转向而出现.这一时期,真出现在形而上学、逻辑哲学和语言哲学等哲学理论中,真与判断理论相互联系,真成为哲学约定的副产品.第二次出现在20世纪中期,伴随着哲学领域的语言学转向而出现.这一时期,关于真之理论的讨论主要围绕真谓词的使用和意义来展开.第三次出现在20世纪70年代.这一时期,对"何为真之本质?"这一问题的讨论尤为激烈,并且对"真"的讨论不再关注语言分析的方法,而是关注"真的"一词的日常表现,关于真之理论的讨论出现了前所未有的多样性.在当代,真之理论根据哲学研究主题的不同而有各自不同的特点,总体而言,当代真之理论的研究呈现出"多元化"的发展趋势.     

“典型语义悖论”之推理不合逻辑

以“说谎者悖论”和“强化的说谎者悖论”为代表的“典型语义悖论”至今尚未消解,只有借助透彻的语义分析澄清这些语句的含义才能真正做到这一点。分析表明,这两个“悖论”并不是单义句而是多义句,它们都具有无穷多种含义,且在每种含义下均取唯一确定的真值。由此可见,这些“悖论”的推理都犯有直接施推理于多义句的错误,纯属逻辑之误用,根本不合逻辑。长期困扰人类理性的“说谎者悖论”和“强化的说谎者悖论”由此方获彻底消解。与此同时,其他“典型语义悖论”亦可以同样方式予以消解,这就为所有“典型语义悖论”找到了一个非特设性的统一解     

弗雷格论意义与真

弗雷格对于意义和真之条件的表述误导了人们将其视为真之条件的意义理论的倡导者。弗雷格并没有将句子的意义等同于它的真之条件。他的意义理论基于组合性的规则,这些规则规定了一个句子的意义如何由它的构成部分的意义组成。他的意义理论因此完全独立于他的真之理论。     

非特设性——情境语义学解悖方案的重要特征

非特设性是衡量一个解悖方案是否成功的重要标志.但以往许多著名的解悖方案,包括罗素的类型论方案、塔尔斯基的语言层次理论、克里普克的真值间隙论方案,都因没有合理地解决非特设性问题而无法给出悖论问题的合理解释.美国著名逻辑学家巴威斯和艾切曼迪1987年提出的情境语义学解悖方案,则完全避免了特设性的不足,最终实现了说谎者悖论的合理解决,被看作成功地解决悖论问题的典范.     

再论说谎者悖论的消解

说谎者悖论是最典型的语义悖论,有广义和狭义之分,狭义的说谎者悖论是指基本形式的说谎者悖论,广义的说谎者悖论是指基本形式的的说谎者悖论和强化的说谎者悖论。本世纪初以来,解决悖论成了逻辑学界的一大热门课题,继罗素提出用分支类型论来解决说谎者等诘义悖论之后,又出现了许多方案。但是,对说谎者悖论的解决都是不成功的,因为它们都未抓住说谎者悖论的实质问题。本文针对说谎者悖论的实质问题,就说谎者悖论的消解作一番探讨