下载掌阅APP，畅读海量书库
立即打开
在逻辑学中，条件句逻辑是非常重要的，因为“在某种意义上说，全部逻辑，至少是旨在刻画推理的逻辑，都建立在澄清和研究‘若A则B’的真值和涉及此类条件句的推理的形式有效性之上”。
要研究条件句逻辑，首先要弄清楚什么是条件句，一般来说，学界把形如“如果…，那么…”的语句称之为条件句，“如果”之后的语句称为前件，“那么”之后的语句称为后件。从整体上看，条件句的种类是很多的，条件语句的目的在于说明自然语言中的形如“如果…，那么…”结构的条件陈述句。
从语句的组成结构上看，我们可以把条件句分为简单条件句和复合条件句，所谓简单条件句是指“如果”和“那么”之后的语句都是单个命题构成的，而复合条件句是指“如果”和“那么”之后的语句至少有一个语句是复合命题。在本书中，为了讨论的方便，我们只讨论简单条件句，如果没有专门指出，本书中所提到的条件句都是简单条件句。
如果依据语言学和条件句表述的概念种类之间的概念区别，学界一般把条件句分为直陈条件句（Indicative Conditional）和反事实条件句（Counterfactual Conditionals）两大类，当然，依据这种分类标准，还有其他类型的条件句，为了更好地展开本论题，我们在这里就没有进行细分。
在本章中，我们首先尝试澄清什么样的语句是反事实条件句，接着我们讨论传统的反事实条件句研究路径，进而讨论这种路径碰到的困境。