戴维森成真条件意义理论及其启迪

戴维森成真条件意义理论建立在塔尔斯基真之语义论的基础上.戴维森创造性地反用、扩展塔尔斯基的真之语义论,以真概念为原初概念,用外延性的真之定义"约定,T"解释自然语言中的意义问题,成为革命性的尝试,并在哲学界产生了重要的启迪作用.     

塔尔斯基与波普尔的真理观

真理概念是哲学核心范畴之一，对于这一概念的理解，不同学派众说纷纭，主要存在着真理符合论，真理融贯论，实用主义真理论以及真理冗余论等。在逻辑哲学对于逻辑真理是否反映客观现实的讨论中，把逻辑真理与事实真理分裂开来的观点曾成为主流观点。塔尔斯基在语义学上给真理重新下了定义，认为真理的定义要满足两个条件：在实质上是适当的，在形式上是正确的。他的观点被认为是重新建立了真理符合论。波普尔支持塔尔斯基的真理概念，并在这里为自己的真理观和实在论找到了理论依据。     

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

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

语义封闭性、"真矛盾论"与"悖论逻辑"

作为一种逻辑悖论的解决方案,亚相容逻辑主张:悖论及其矛盾性结论是可接受的,而由此向"不足道"的推导却必须予以阻止。普利斯特构建的"悖论逻辑"系统是亚相容方案的重要代表。"悖论逻辑"以"语义封闭性"作为基本诉求,以"真矛盾论"作为哲学说明,通过定义"悖论性的"这一特殊的语义值实现对所谓的"真矛盾"的刻画。然而,由于该系统的否定词在表达能力上具有一定的局限性,"语义封闭性"和"真矛盾论"在其中并非可以兼得。     

鸡蛋、老虎和刽子手——认知悖论解析

认知悖论的研究具有重要的哲学和逻辑意义.从哲学基本问题的视角去分析,对认知悖论的理解就可以豁然开朗.以"意料之外的鸡蛋"、"意料之外的老虎"和"刽子手悖论"三个悖论为例加以分析,可以发现其中的错误都根源于混淆了思维和存在,以及与思维和存在的区分相联系的两种"知道"("后知"和"预知")和两种"真"("反映真"和"预期真")的概念.     

西方真之理论的三次转向

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

当代语义学领域的一次革命性思想实验——初探“戴维森纲领”

戴维森纲领是以“真”概念为原初概念,反用和扩充塔尔斯基真之形式定义模型,解释和刻画自然语言意义的真值条件意义理论的创造性构想。它描绘了一张自然语言外延语义学理论的宏伟蓝图,呈现出内涵问题外延化、贯彻整体论原则等多方面的理论特色,在西方哲学界产生了强烈的反响,被誉为当代语义学领域的一次革命。     

从卡尔纳普的逻辑真概念到奎因的两个教条批判

四十年代关于逻辑真与事实真是否有严格的区分问题,著名哲学家、逻辑学家卡尔纳普和奎因(Willard Van Orman Quine) 曾有过一场争论.这场争论涉及到模态逻辑与哲学的一些重要问题,双方都得到重要的结果.今天重新考察这一历史,有助于我们进一步认识和了解模态逻辑与哲学的关系,以及有助于有关的逻辑与哲学问题的进一步研究.     

塔尔斯基的真理理论及其对语义学的贡献

塔尔斯基以现代逻辑为手段,用逻辑分析和语义分析的方法对唯物主义真理符合论中甚为模糊的内容做出语义学的重新阐述,给“真的”一词下了一个实质上适当、形式上正确的定义,也提出了著名的语言层次论,创建了现代意义上的系统的语义学,从而向世人展示了语义学的非凡魅力,在世界哲学界产生了广泛而深远的影响.     

自由逻辑发展的新阶段 ——构造自由逻辑语义学

构造自由逻辑语义学要解决的基本问题是含无指谓的单称词项的赋值问题.然而,现代逻辑中通常所使用的"真"这个概念不曾直接应用于指谓不存在的对象,这是因为后者不是现实的构成元素.因此,自由逻辑语义学应当提出关于"真"的新概念,或至少应把对应理论做新的概括,这就遇到复杂的哲学问题.在这方面,丘奇、罗素、兰伯特、范·弗拉森、本西文伽等逻辑学家做了许多有益的尝试.