( 二) Heim 理论

　　Heim 在 1994 年 MIT 的会议中加强了 Warm-brod 的理论。在反事实条件句的语义方面，Heim仍继承严格蕴含的解释; 并且，类似于 Warmbrod理论中的可通达关系 R，她增加的语境变量是可通达函数 f。这样就可以处理更为复杂的反事实条件句———嵌套的反事实条件句，从而弥幸 Warmbrod理论的不足。相比 Warmbrod 的理论，虽然 Heim的理论在技术上更为灵活，但它仍着重说明语境不变的情况下反事实条件句是单调的这一点，还是无法处理语境变化的的反事实条件句序列

　　( 三) von Fintel 理论

　　von Fintel 认为，当我们判断一个反事实条件句 p□→q 在 w 中的真值时，如果由 w 通过当前的可通达函数 f 得到的可能世界集中不包含 p - 世界，那么我们就需要对 f 做极小扩展以使得由 w 通过扩展后的可通达函数得到的可能世界集中至少存在一个 p - 世界，然后我们再对 p□→q 相对于这一新的可通达函数做严格条件句的解释。von Fintel 的理论解释了 ( 7) 和 ( 8) 的非对称性，而成功的关键就在于可通达函数这一语境变量能够追踪到所有之前考虑过的反事实假设所引入的那些可能世界，且在判断当下的反事实条件句的真值时用到它们。

　　von Fintel 指出，虽然我们在做研究时可以假定所讨论的一个句子是孤立的或者一段话中的语境是不变的，但实际生活中日常语言并非如此，语境总是在不断变化的，并且促使语境发生改变的驱动力之一就是语言本身。鉴于此，von Fintel 进一步讨论了动态语境中推理的有效性问题。

　　( 四) Gillies 理论

　　Gillies 对反事实条件句的解释与 von Fintel 相类似，von Fintel 理论中的语境变量是可通达函数，而 Gillies 理论中的语境变量是超域。，Gillies 指出一个反事实条件句改变语境的潜力就是对超域中域的消减，即消去超域里面的那些不包含前件世界的域，直到其中最小的域中包含前件世界为止。然后，如果在新的超域的最小域中的所有前件世界上后件也成立，则该反事实条件句为真。，Gillies 将他本人的理论与 von Fintel 的理论做了对比之后，指出他的理论的优势在于能够解释另一类 von Fin-tel 理论不能解释的反事实条件句序列一一 Hegel 序列。被 Gillies 称之为 Hegel 序列的反事实条件句序列是其中包含可能 - 反事实条件句 ( might—coun-terfactual) 的如下序列:

　　( 12) 如果擦这根火柴，它会燃。但是，擦这根火柴且又可能没有氧，它不会燃。

　　( 12) 中的第二个句子即为可能一反事实条件句，与之相区别，其中的第一个句子一般被称为会- 反事实条件句 ( would - counterfactual) 。在 Lewis的经典条件句逻辑中，可能 - 反事实条件句是由会- 反事实条件句定义出来的。在 Gillies 看来，形如 ( 11) 这样的 Hegel 序列是可接受的，但是与( 11) 对应的相反 Hegel 序列却不然:

　　( 13) 如果擦这根火柴且又可能没有氧，它不会燃。但是，如果擦这根火柴，它会燃。鉴于此，Gillies 认为反事实条件句的动态解释理论也应当能够解释 Hegel 序列和与其对应的相反Hegel 序列的非对称性。由于 Gillies 能够解释可能- 反事实条件句以及 Hegel 序列的一致性，所以他认为自己的理论优于 von Fintel 的理论。

　　如前所说，本文主要从语义学的角度综述了反事实条件句理论的发展。随着现代逻辑的发展，更由于传统的静态语义学孤立地研究一个句子的意义，而不考虑语境的变化，上下文的关系，因而无法处理一个动态的句子序列，这些因素推动着我们采用动态语义学的理论来研究反事实条件句。反事实条件句语义学理论的发展经历了从传统的静态语义学向现代的动态语义学的发展

【反事实条件句语义学理论的发展分析的论文】相关文章：

1.If条件句的原型论文

2.反求工程论文

3.路怒症的心理学理论与实践分析的论文

4.梦想议论文事实论据

5.现代汽车新技术的发展方向分析的论文

6.基于语义识别分析论文

7.地方志的发展史和作用分析的论文

8.《Go for it》教案分析的论文