论文关键词：蕴涵 反事实条件句 共存性理论 相似性理论 语用概念
论文摘要：反事实条件句与实质蕴涵和严格蕴涵不同，历史上解决反事实条件句的理论主要有共存性理论和相似性理论，但这两种理论都存在一定的局限性。实际上，反事实条件句是一个语用概念，它表达了对某种事件或现象的情感或意向，与主体有密切的关系。
一
在日常语言中，条件句一般可分为直陈条件句和虚拟条件句两大类，虚拟条件句又叫反事实条件句，它一般具有“如果p，那么q”的形式，其前件与事实相反或者不太可能为真，但前件与后件之间存在一定的联系，并且前件如果得到满足的话，那么后件所表达的事物或情况就会发生或有可能发生。例如：
（1）如果他早到5分钟的话，那么他就可以赶上那趟火车了。
（2）如果我是小李的话，我会选择教师这一职业。
（3）如果这支石蜡蜡烛已经被放入沸水壶中，那么它就已经溶化掉了。
以上都是反事实条件句，也叫反事实蕴涵，我们一般用符号“p□→q”（读作“p反事实蕴涵q”），“□→”是反事实蕴涵符号。
反事实蕴涵与实质蕴涵不同。实质蕴涵只考虑一个条件句的前件与后件之间的真假关系，不考虑前件与后件之间有无内容上的联系，而反事实蕴涵则要考虑前件与后件之间内容上的联系。例如：
（1）如果2+2=5，那么雪是白的。
（2）如果2+2=5，那么雪是黑的。
（3）如果我是隐身人，那么没有人能看见我。
这三个条件句的前件都是假的，如果按照实质蕴涵来分析，它们都是真的，因为只要前件为假，那么不管后件的真假如何，也不管前件与后件之间有无内容上的联系，这三个条件句总是真的。但是如果从反事实蕴涵来看，条件句（1）和（2）由于其前件与后件之间没有内容上的联系，因此，它们都是假的，只有（3）才是真的，因为如果假设有一天我真的成了科学幻想小说中的隐身人，那么按照“隐身人”这个词的涵义，就会有“没有人能看见我”的情况发生。
反事实蕴涵也不同于严格蕴涵，严格蕴涵反映的是前件与后件之间具有的逻辑必然的联系，而反事实蕴涵反映的前件与后件之间的联系，主要是基于经验和自然规律等，因此，一个有效的反事实条件句的前件与后件之间未必具有逻辑上的必然联系。例如前面的例（1）就是一个反事实条件句，但是由其前件“他早到5分钟”推出后件“他就可以赶上那趟火车了”的主要依据是说话人以往的经验，前件与后件之间并没有逻辑上的必然联系。
二
对于反事实条件句的研究，20世纪五六十年代以来，一个称之为条件句逻辑的哲学逻辑分支发展起来了，它所研究的主要是反事实条件句的形式特征或语义特征，并且构造了为数不少的公理化的条件句逻辑系统，这些不同的系统给予反事实条件句以不同的刻画。
一般说来，对反事实条件句的研究大体是沿着两个方向进行的。一个方向是20世纪五六十年代古德曼（N·Goodman）、塞拉斯（W·S·Sellars）、雷切尔（N·Rescher）等人提出的共存性理论，也叫反事实条件句的元语言理论。这个理论认为一个形式为p□→q的反事实条件句，其前件p与后件q之间并不具有直接的逻辑推论关系，从前件p不能直接推出后件q，人们之所以认为p□→q是真的，是因为人们在前件p中预设了某些规律和真命题，并且这些预设的规律和真命题与前件p是共存的，也就是与前件p是相容的，正是从这些真命题和前件p一起可推出后件q。例如，反事实条件句“如果我是小李的话，我会选择教师这一职业”，其前件“我是小李”和后件“我会选择教师这一职业”之间并没有直接的逻辑推论关系，但是，当人们预设了另外一些条件，诸如小李有什么性格、特长、文化背景，而具有那种特点和素质的人适合做教师等等，并且由这些条件和前件“我是小李”一起可以推出后件时，那么人们自然会认为这个反事实条件句是真的了。
但是，这个理论存在着一些问题，因为在反事实条件句中，前件的背后预设的理论的双重作用形成了关于反事实条件的基本悖论：预设的理论越强，从前件到后件的结论基础就越巩固，但前件的合法性也就越脆弱。因此，对于一个成功的反事实分析，必须保持微妙的均衡：预设的理论必须弱到足以承认反事实假设，也必须强到足以承认一个清晰的结论。
正因为如此，逻辑学家刘易斯（D.Lewis）、斯塔尔内克（R.Stalnaker）等人于20世纪六七十年代提出用可能世界的集合来刻画反事实条件句的真值，即认为反事实条件是关于可能世界的，并且根据这些世界的特征而被刻划为真的或者假的，这就像在同样的方式下，“雪是白的”这个陈述根据现实世界中是否真的存在白雪而被认为是真的或是假的，这一理论也叫反事实条件句的本体论理论。刘易斯认为，可能世界是可以按照相似性来进行分类的。对于任何一个可能世界Wi来说，只要确定了一种相似性，就可以相应地找到一个包含Wi的可能世界集合Si，Si中的每一个可能世界都至少在某种程度上与Wi相似。要求的相似性程度越高，根据这种相似性程度所确定的可能世界集合Si就越小。最高的相似性是要求在一切方面都与Wi相同，这时只有Wi本身符合这一要求，因此，对应于这种相似性的可能世界集合Si就是由唯一的可能世界Wi组成的集合{Wi}。如果降低相似性要求，那么对应的可能世界集合Si就会随之扩大。如果我们仅仅要求在逻辑上与Wi相似，那么所确定的Si就是所有的可能世界的集合。由此可见，对于任何一个可能世界Wi，通过不断降低相似性的要求，可以获得一系列可能世界的集合Si1、Si2、Si3……，其中Si1就是{Wi}，它是根据最高的相似性要求获得的，接下去的那些集合一个比一个大，后者包括前者，即Sin∈Sin＋1(n=1,2……)。
正是从上述认识出发，刘易斯给出了形式为p□→q的反事实条件句的真值条件，即p□→q在可能世界Wi为真，当且仅当它满足下列条件之一：
（1）对于任何Sin（n=1,2……），p在Sin的每一个可能世界中都为假；
（2）存在一个Sik，使得p在Sik的某个可能世界中为真，并且对于Sik中的每个可能世界来说，只要p在这个可能世界中为真，那么q在其中也为真。
在此基础上，刘易斯建立了反事实条件句逻辑的形式系统VC，并构造了相应的语义模型。
斯塔尔内克对反事实条件句的真值要求有所不同，他提出下列真的条件：“一个条件句为真当且仅当在其前件为真极小的修正状态（也就是指使其前件为真的最相似的可能世界）中其后件为真。”即“一个条件句‘如果p，那么q’在一个可能世界W中为真，当且仅当q在f（p,W）中为真，f（p,W）称为与W最接近的p在其中为真的世界。”例如：“如果你取得第一流成绩，那么你获得助学金”是真的，如果在与你确实取得第一流成绩的世界相比最相似的世界就是获得了助学金的世界。再如，“如果奥斯瓦尔德没有刺杀肯尼迪，那么别人刺杀了肯尼迪”是真的，如果在实际情况的极小修正状态中我们假设奥斯瓦尔德没有刺杀肯尼迪，而肯尼迪仍被刺杀。“如果英镑没有贬值，那么经济衰退将继续”是真的，如果在一个不存在英镑贬值的可能世界相比尽可能接近的可能世界中经济衰退还在继续。
但是，刘易斯、斯塔尔内克等人的工作也存在着一些问题，一是没有考虑反事实条件句前、后件之间内容上的联系。二是许多从经典观点看有效的逻辑规则相对相似性分析不能成立。这主要表现在：假言易位原则不成立，例如，“如果天下雨，那么天将不下大雨。所以，如果天下大雨，那么天将不下雨。”这个原则的前提可以是真的，但结论却是荒谬的。最接近的、天下雨的可能世界可能是天下小雨的世界，但最接近的，天下大雨的可能世界不可能是根本不下雨的世界。另一个不成立的原则是前件加强原则，它具有下列形式：“如果p，那么q。所以，如果p并且r，那么q”。从经典观点看，这个原则是有效的，因为如果前提为真则p为假或q为真，在这种情况下，“p并且r”为假或者q为真，所以“如果p并且r，那么q”是真的。这个原则的一个反例是：“如果我把糖放到我的茶中，那么这茶的味道将相当好。所以如果我把糖和柴油放到我的茶中，那么这茶的味道将相当好。”在最接近的，我把糖放到我的茶中的可能世界中，这茶的味道将相当好；但最接近的，我把糖和柴油放到我的茶中的可能世界中，这茶的味道将相当差。另外，传递性原则在这种情况下也不成立，即“如果p，那么q，并且如果q，那么r。所以，如果p，那么r”将不会有效。例如：“如果我早一点到火车站，那么我就赶上火车了”与“如果我赶上火车，那么我就可以按时到达目的地”这两个反事实条件句均为真，但“如果我早一点到达火车站，那么我就可以按时到达目的地”却不一定真。
