truth-condition theories 成真条件论
合集下载
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
反驳5
对于像“并且”这样的复合语句联结词,很容易写出真值 规则,但是有些复合表达式真值是难以界定的。
e.g.: “A并且B” 小李没去上学并且天晴了。 “A因为B” 小李今天没去上学因为天晴了。
反驳6
成真条件论在揭示“真”的概念时借助的是格赖斯的方式,已 经变成了格赖斯主义,而不再是一个优越的选择。(缺乏独创性) 回答1:我们通过塔斯基的T-语句,将意义概念归结为真概念, 在理论上是有益的。 回答2:很多著名的理论像“融贯论”“实用论”都或多或少利 用了格赖斯早期观点。
反驳1
成真条件论只适用于描述的、陈述事实的语言,问题和命令等 根本不为真或为假。
回应:尽管问题或命令不为“真”和“假”,但它们有两种相 反的类似于真的语义值。 反驳:不是所有的非直陈句都有两种相反的性质。
反Hale Waihona Puke 2T语言真定义的可检验性。 (P119)
回应:可检验性弱化了,但没有消失。
反驳3 含有指示代词的语句其语义真值随说话情境变化而变化。
一个语句的成真条件可以看作该语句在其中为真的所有可能世界的 集合。 可能世界理论可以避免戴维森纲领的一些问题,但也会导致更多难 题。
3
可能世界及内涵 语义学
可能世界:一个可选择的世界,事物在那个世界中与我们现在世界 是不同的。 (克里普克)
当两个句子具有相同的成真条件时,它们就在相同的世界中为真; 当它们具有不同的成真条件时,是指存在一些世界,在这些世界中 其中一个语句为真,而另一个语句为假(不在相同的世界中为真)。
K3:一个有意义的主谓句是有意义的,仅当它能识别出某一个别事物 并把某个属性归属于那一事物。 弗雷格观点:主谓句具有由其组成部分的单个意义所构成的复合意义, 并且它根据具有这种复合意义而是有意义的,不论主语是否有指称。
人们可以只看一个Oafish语句,然后根据掌握的真定义,努力通过这 个语句的组成结构来计算该语句的真值。这就是戴维森纲领。 …是真的当且仅当…
S意谓m (“意谓”语义模糊)
S是F当且仅当P
(F是任何形式的谓词,外延与“意谓”相等)
S是真的当且仅当P (T型表达式)
T型表达式能否用于自然语言中?
塔斯基:把规约T的运用范围限制于形式语言系统,他认为自然语 言在语义方面的封闭性容易造成悖论,如说谎者悖论,且语义方面 的模糊性容易导致语言形式的不可规定性,如索引性难题。 戴维森:认为悖论产生的原因是自然语言中量词的辖域过宽,限制 量词辖域就可以解决悖论问题,而自然语言的模糊性可以借助语义 上升法消除。 把约定-T引入自然语言的语境中,那么它就会势必受到经验的影响, 语句的真值会随被说话时间、说话者、说话场合,甚至是听众的变 化而变化。
组合性规则(compositionality):长句子的成真条件由组成它们的较短 句子的成真条件决定。
Oafish: 用诸如Fa、Gb之类的表达式来表述不同短句、句子的联结,其中
a、b为专名,F、G为谓词。 如:“阿尔伯特很胖”表示为“Fa” “贝蒂很贪婪”表示为“Gb” “Fa并且并非Gb”表示的是“阿尔伯特很胖并且贝蒂不贪婪” “Fa并且并非Gb”是真的,当且仅当阿尔伯特很胖并且贝蒂不 是贪婪的
单称词项或谓词既有外延又有内涵 谓词内涵从世界到在那些世界中存在事物集合的函数,这些事物包含 在这些世界的外延范围内。 e.g.: 胖
命题是可能世界的函数。 两个句子是同义的,仅当它们在相同的世界中为真。
4
优点及反驳
优点
对反驳4的解释:“有肾脏的”和“有心脏的”
对反驳5的解释:A因为B 对替换保真问题的解释:Samuel Langhorne Clemens & Mark Twain
值式来给真理定义提供一个明确的标准。 “天下雨了”不是真的。(s) “s”是真的,当且仅当“天下雨了”不是真的。 一般化等值式:X是真的,当且仅当P
例:“雪是白的”为真,当且仅当雪是白的。
( T型等值式)
2
戴维森纲领及反驳
1)意义理论如何对于什么决定特定语句的意义提供指导? 2)“我们有立刻理解长而陌生语句的能力”这一奇特现象的重要原因是 什么? 我们之所以能够理解无限多的英语句子,是因为我们掌握了“有限数量的 特征”以及一些组合规则。
成真条件论:戴维森纲领
内容
1. 前人研究 2. 戴维森纲领及反驳
3. 可能世界及内涵语义学
4. 优点及反驳 5. 总结
1
前人研究
弗雷格:给出一个语句的成真条件就给出了这个语句的意义,这被称
作真值条件论。所有的句子只有真与假两种指称,所有的真句子的指 称都为真,所有的假句子指称皆为假。
塔斯基:提出语义真理论(The semantic theory of truth ),并归纳出T型等
剩余反驳
反驳7: ? 反驳8:意义不是或不只是成真条件。
e.g.: 狗喝水
?
理解
回应1:知道意义
回应2:理解影响行为?
5
总 结
戴维森将塔斯基的T-语句与组合性结合在一起,认为人们可以通过 计算一个长语句组成部分的真值来判断整个语句的真值。 对戴维森理论的反驳中最常见的是(a)许多完全有意义的语句没有 真值;(b)无法判断指称依赖语境表达式的真值;(c)有些句子真 值不由其构成部分的真值决定。
e.g.: 我现在生病了。 T语句:“我现在生病了”是真的当且仅当我现在生病了。
戴维森回答:将T语句做如下修改:“我现在生病了”是真 的当且仅当 p 在 t 时刻生病了。
(真值的影响因素不仅仅是说话人和说话时间)
反驳4
戴维森纲领不能区分那些碰巧有共同外延但意义不同的表达式。
例: 有肾脏的& 有心脏的