反事实条件句逻辑

出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第53页（789字）

运用数理逻辑方法，对反事实条件句予以处理、刻画的一种逻辑理论或逻辑系统。

反事实条件句指的是“假如语言能生产物质财富的话，那么夸夸其谈的人就会成为世界上最富的人了”的这样一种条件句。对这种条件句，人们尽管明明知道它的前件所陈述的内容在事实上是假的或不大可能成为现实，但还是深信：如果前件所陈述的情况得到满足，那么后件所陈述的情况就一定会发生或很可能发生。因为经验告诉人们，它的前件与后件之间存在着一定的内在联系。由于反事实条件句的前、后件都是假的，所以在日常语言中，它通常是以虚拟语气的形式来表达的。

由于反事实条件句反映前、后件之间在经验内容方面的内在联系，所以它不能表示为实质蕴涵，也不能表示为严格蕴涵。对这一问题作过专门研究的逻辑学家D·K·刘易士(Lewis)在《反事实句》一书中认为反事实条件句是一种基于可能世界的可比相似性关系之上的变化的严格条件句。

在《反事实句》一书中，刘易士以可能世界理论为基础，不仅阐述了反事实条件句的性质，而且给出了反事实条件句的真值条件，即一个反事实条件句是空的真，如果不存在前件容许的可比的相似性系统；一个反事实条件句是非空的真，如果存在某些前件容许的可比的相似性系统，在这个可比的相似性系统内，后件在每个前件成立的世界中都成立。而不满足上面两个条件之一的反事实条件句在可能世界中便是假的。

但由于承认空的真会导致反事实条件句与实质蕴涵之间区别的消失，所以刘易士又引进更强的反事实条件句算子，作出更严格的定义，从而排除空的真的情况。

在讨论了反事实条件句的重要性质之后，刘易士又进一步讨论了可能世界的可比的可能性关系，建立起相应的可比的可能性系统，并在此基础上，建立了V、VC和VCS的公理系统。