从塔尔斯基式符合论到不可定义论——戴维森真理论的心路历程

戴维森的真理论经历了一个从"塔尔斯基式符合论"最终到"不可定义论"的心路历程.早期他反对传统的事实符合论,赞同塔尔斯基的满足符合论,后来转向一种融贯式符合论;受罗蒂的批评,戴维森呈现出一种"客观性实用论"的真理观;最后戴维森以对霍维奇的冗余论的批判为例,认为任何人都没有也不可能提出一个一般性的真之定义,主张"真之不可定义"的思想.通过这一历程,戴维森表明了真之概念的有用性、客观性、实践性和基始性特点,从而为其真之语义论立场提供了有力的理论论证.     

“真”是否有本质——基于真理符合论与紧缩论的比较

传统意义上的真之符合论把"真"理解为思想与世界的关系,强调"真"的属性与作用;真之紧缩论则以真的透明性为直觉,涵盖了包括弗雷格紧缩思想、冗余论、代语句理论和极小主义理论在内的几种理论,这些理论的核心思想认为真谓词仅仅起着逻辑句法作用,它的出现不能给语句增添任何实体属性。于是,"真是否有本质"成为符合论与紧缩论争论的焦点,这一争论也成为区分不同真之理论的新标准。     

真理论的新进展--最小主义及其批评

本文简单评析了传统真理论的争论：符合论、融贯论和实用论，并引入了现代理论框架：弗雷格的“透明论旨”、塔尔斯基的“真理图式”以及蒯因的“去引号论”。霍维奇的最小主义主张真理的等值图式，并将真理概念限定为语义功能，从而提出真理是形而上学琐屑的。笔者质疑了最小主义将命题作为真理载体的做法，认为真理概念具有形而上学中立性而非形而上学琐屑性。并尝试突破真理的现代框架，提出完整的真理论应该包括“真”和“理”。     

使真者与真理符合论

使真者与真理符合论共享相同的真理直觉,即实在是真理的本体论基础,这使一些学者认为使真者原则是符合论的一个版本。然而,不少使真者的拥趸反对将使真者原则纳入符合论的阵营中,他们提出了两类论证来辩护这一做法：其一,符合关系是对称关系,而使真关系是反对称的;其二,符合论是一种真理论,而使真者原则不能是真理论,否则会犯循环定义的谬误。通过分析这两类论证,可以表明它们不是判定性的,不仅如此,一个恰当的使真者定义能够使使真者原则成为符合论的一个版本。     

符合论VS融贯论?

一般认为,符合论与融贯论是相互竞争、无法共存的理论。对这种通常的理解,本文试图从真理定义与真理标准的区分出发来进行质疑。本文要论证,在定义与标准的区分下,符合论提供定义,而融贯论提供标准。为此,本文将讨论对符合论之核心概念事实的各种批评,以及融贯论者使融贯论成为真理定义的各种努力。文章最后要展现一种新的理解两者之关系的可能性。     

真理论论证中的预设性谬误:以融贯论为例

"真"这一概念的特殊性决定了我们并不能合法地评判一个对真的定义是否为真.然而,真理论领域内很多意见的表达却忽视了真理论论证的这一界限,他们用隐含某种真理论立场的论证来反驳另一种真理论观点,由此犯下窃取论题的预设性谬误.通过分析和举例,我们将发现很多试图反驳融贯论的论证实际上预先假定了另一种真理论立场成立,这些反驳因而并...     

塔斯基论自然语言的不一致性

塔斯基的不一致性论证表明自然语言由于蕴涵说谎者悖论而是不一致的。索姆斯认为塔斯基的论证不仅证明了自然语言的不一致性还表明存在真的矛盾。格瑞·雷和帕特森则论证说塔斯基没有证明自然语言的不一致性。这三者都误解了塔斯基的论证,即误解了它在塔斯基的真谓词的不可定义性论证中的作用、它的出发点和它能得到的推论。在塔斯基看来,自然语言的不一致性是由它具有普遍性这个经验事实所导致的。通过重构塔斯基的论证不难发现该论证并不需要预设包含说谎者语句的T-语句是真的或可断定,也不需要假定矛盾本身是真的或可断定。     

达米特论指称和涵义

达米特认为形而上学陈述是关于实在图像刻画的"争论的陈述类"(Disputed class of statements),所以提供一种支配这些陈述的逻辑规律的意义理论就成为必要;而选择合适的语义理论作为基础,乃是构建这种意义理论的第一步.他在<形而上学的逻辑基础>中,提出了一种辩护主义的意义理论.文章通过指称和涵义来论证达米特在对弗雷格一塔斯基经典语义理论的批判并提出"直觉主义的内在解释"时,已经开始拒斥实在论,所以达米特作为意义理论基础的"语义理论"需要在反实在论的前提下来理解;这和"真"的直觉主义理解以及直觉主义逻辑规律的自我辩护是一致的.     

作为反馈机制的真理概念--兼论戴维森的真理理论

戴维森的真理-意义理论基于对符合论与融贯论两种理论传统的内在缺陷的超越以及对奎因、塔斯基等人的技术手段的拓展.然而戴维森的理论内部存在技术上和哲学上两方面的问题.本文在继承和超越戴维森理论的基础上提出一种理解"真理概念"的视角,继承之处在于把真理概念放在交往、解释活动中,超越之处在于把真理概念作为交往、解释活动中的反馈中介.作为反馈机制的真理概念可以作为一种真理理论的起点.     

论戴维森意义理论的基本原则

戴维森的意义理论有其独特的基本原则。从采用约定-T作为意义理论的形式表征,提出彻底的解释理论作为一种解释性的真之语义论,到论证绝对的真之理论,是其真之语义论的特殊形式,戴维森意义理论全面贯彻了整体论原则。该理论从追求一种自然语言的意义理论的着重点和采用意义理论的形式表征模式与解释模式到辩护和确定约定-T式的真理论的绝对形式,深入贯穿了语义组合性原则。在戴维森意义理论采用真之外延性研究道路的必要性、可行性和可靠性的整个理论的内容构架中,真始终发挥着轴心作用,贯穿着以真通达意义的语义论思想。     

Theories,theoretical models,truth

This paper was written with two aims in mind. A large part of it is just an exposition of Tarski's theory of truth. Philosophers do not agree on how Tarski's theory is related to their investigations. Some of them doubt whether that theory has any relevance to philosophical issues and in particular whether it can be applied in dealing with the problems of philosophy (theory) of science.In this paper I argue that Tarski's chief concern was the following question. Suppose a language L belongs to the class of languages for which, in full accordance with some formal conditions set in advance, we are able to define the class of all the semantic interpretations the language may acquire. Every interpretation of L can be viewed as a certain structure to which the expressions of the language may refer. Suppose that a specific interpretation of the language L was singled out as the intended one. Suppose, moreover, that the intended interpretation can be characterized in a metalanguage L ⁺. If the above assumptions are satisfied, can the notion of truth for L be defined in the metalanguage L ⁺ and, if it can, how can this be done?     

从符合论的观点看逻辑真理

从真理符合论的观点看,逻辑真理与一般的事实真理有本质的不同.我们认为,逻辑真理不应看作是真理,而只是一类逻辑有效式,它们与逻辑推理的普遍有效式是一致的.逻辑学的任务就是探寻逻辑真理.     

真与意义:语句真的两种解读——显现于戴维森意义理论中的“真”

真与意义是从逻辑与哲学的不同视角对语句真的两种不同解读,戴维森敏锐地捕捉到这一点,并成功地以经典逻辑的真理论为基础构建了其成真条件意义理论,实现了对自然语言意义的彻底解释。戴维森对自然语言中意义理论的探寻方式,无疑也给了我们很重要的启示。     

HNC理论框架下的军语概念体系研究

传统的军语研究建立在军事学、术语学、词汇学、社会语言学、认知语言学、修辞学等学科基础上,文章探讨基于HNC语义网络下军语表达形式的特点,力求通过建立一种新的模式使军事术语能用于自然语言的计算机处理,在此基础上可进一步推动军语辞书编纂、军语的机器翻译等研究。     

奎因的整体知识论及其后果

奎因通过“语义上溯”,在“观察句”和“观察陈述”层面上建立外部刺激与科学理论之间的证据联系来解决知识论问题。奎因认为,由于观察范畴的假并不提供结论性的反驳,因而在理论和预言矛盾的情况下,我们绝不能指出某些引起这些矛盾的句子,相反,科学理论始终是作为整体的系统要么受到怀疑,要么被修正;科学认识中没有分析命题和综合命题的区分,也没有还原论的确证路径,哲学家和科学家在一条破船上航行,没有起点也没有终点。     

西药名词的音译研究

西药名词是专业名词,大多源自外语,主要通过音译的方式进入汉语词汇系统。汉语的特点特别是汉字的表意特征决定了西药名词的音译不仅仅涉及语音的对应,音译的模式以及用字对于译名的最终确定有重要影响。文章以人民卫生出版社的《汉英医学大词典》中的西药名词为研究对象,对西药名词的音译模式和用字进行考查,对目前西药名词音译存在的问题进行讨论,最后提出规范音译西药名词的思考和建议。     

弗雷格与达米特意义理论的特征差异及其根源--从逻辑哲学的观点看

弗雷格意义理论与达米特意义理论是两种不同形态的意义理论。论文从理论构建的出发点、理论核心概念——“真”概念的诠释、认知因素在意义理论中的地位等三个方面分析了二者差异的根源，以此表明“真”概念是意义理论的核心概念，“真”概念从实在论的形态到反实在论形态的转化导致了意义理论从实在论形态到反实在论形态的转型，由此生动昭示和例证了当代意义理论研究中的认知转向。     

基因语义性质的哲学和实证考察

本文从语义悖论切入“存在”性质的哲学考察,消解了逻辑哲学中的诸多歧义性,然后,在无歧义的语义学基础上,讨论并明确了逻辑形式语言和基因信息语言的性质同一关系,并将量化了的真值函项和逻辑编码的各种信息特征与生物信息分子和基因编码的种种物理生化性质相对应,从而使得二者的性质同一关系能够在可测量或实验的条件下得到证明。