条件句逻辑主要是对发生在某一自然语言里某一特定类句子的逻辑和语义特征进行考察。本文拟就英语语言中的条件句进行分析。英语中的条件句可以分为虚拟条件句和直陈条件句两种。因为这两类条件句有着不同的逻辑和语义特征，这种区分是十分必要的。本文将重点分析虚拟条件句，对于直陈条件句只作简单分析。所谓虚拟条件句是指前件在事实上为假或者不大可能成为现实，但却反映了前件和后件一定的内在联系的条件句。　　在开头部分我先简单介绍了语言学对英语条件句的研究，我认为语言学家们基本上是从表层结构角度来研究的。接下来，我主要从逻辑学角度对条件句做了分析。我从普通逻辑、经典逻辑和非经典逻辑三个角度分析了对虚拟条件句的研究。普通逻辑学中的假言命题可分为充分条件假言命题、必要条件假言命题和充要条件假言命题三类，并且将这三类命题归约为一类，即充分条件假言命题。经典逻辑中将条件句视为实质蕴涵，认为条件句的真主要看前件和后件的真值，并且条件句的真值仅是由前、后件的真值唯一决定。具体说就是，一个实质蕴涵φ→ψ，在φ是假的或ψ是真的这样的情况下，整个句子为真。但实际上，一个条件句的真，并不单单是由前、后件的真值决定的，而是，在前、后件之间还有一定的联系。实质蕴涵并没有刻画出这种前、后件之间的联系。　　在非经典逻辑中，严格蕴涵仅仅是刻画出条件句前、后件之间的物理必然的联系，而没有刻画出其它的联系。而且在严格蕴涵中传递性、逆否性、加强前件原则等论题是有效的，但是它们对英语虚拟条件句来说都是不可靠的，很容易就能找到相应的反例。因而，严格蕴涵不能充分刻画虚拟条件句。　　Chisholm[1946], Goodman[1955],Sellars[1958], Rescher[1964]还有其他一些研究者为条件句提供了一种共存理论(cotenabilitytheories of conditionals)。其基本思想是，在φ和一些规律及真命题组成的某个集共同使得ψ为真时，条件句φ＞ψ为真。但是如何决定其真值条件所需的真命题的恰当集呢，这里出现了循环定义的问题。即使提供了一个非循环定义的共存概念，新的问题又会出现。共存理论也不是适当的条件句理论。而且那些研究者未能对条件句的语义结构提供形式化的模型。直到1968年，Stalnaker的一篇论文《条件句理论》(A Theory ofConditionals)既为条件句提供了形式化的语义，又为条件句逻辑提供了公理化的系统。这一重要的论文促成了哲学逻辑的另一分支——今天称之为条件句逻辑——的开创。　　Stalnaker、Lewis、Pollock和Kratzer等人分别都为条件句提供了一种最小变化语义学。简单说来就是，考虑一个可能世界（集），在它（们）当中φ是真的，而在其它方面与现实世界相差极少。“如果φ那么ψ”在现实世界是真的（假的），当且仅当，ψ在那个可能世界（集）是真的（假的）。　　Aqvist、Nute、Warmbrod等人则为条件句提出了一种小变化理论。认为择类函数对句子φ和世界i挑出的是“足够”接近i的所有的φ-世界，而不是最接近i的所有的φ-世界。　　与最小变化语义学和小变化语义学相反，Gabbay、Fetzer和Nute等人提出了一种最大变化语义学。它不要求在判断条件句φ＞ψ在世界i的真时，所依赖的世界与世界i非常接近或者相似。它要求与世界i相关的世界是在非常小的方面相关，在其他方面相关世界会在任何程度不同于世界i。也就是要求除了必须和世界i分享的特征之外，相关世界与世界i是最大不同的。　　之后，本人对析取前件条件句做了分析。也即对论题SDA:[（φ∨ψ）＞x]→[（φ＞x）∧(ψ＞x)]。的合理性做了说明。许多研究者想要区分有“或者”在前件中的条件句的逻辑形式是（φ∨ψ）＞x还是（φ＞x）∧(ψ＞x)。逻辑学家们还试图对溯因条件句，也即前件中涉及的事态发生于后件涉及的事态的之后的条件句，作出分析。他们想要弄清楚为什么非溯因条件句和溯因条件句比起来，前者通常是真的。　　本人还提到反规律条件句、反自身条件句、反时间条件句，这类条件句分析起来有一定的困难，本文不对它们作出分析;对于might条件句、even if条件句也有所分析。之后，本人对直陈条件句做了较详细的分析:有人认为直陈条件句就是实质蕴涵;有人认为，Stalnaker的选择世界函数语义学是直陈条件句的正确的语义学，Stalnaker的条件句逻辑C2是这些条件句正确的逻辑系统;第三种看法是，直陈条件句没有真值条件，但是它们有概率，这些概率就是对应的标准条件句的概率。　　在文章的最后，本人又指出了对条件句的分析中涉及到的问题:一个是条件句和概率之间的关系问题，第二个问题是因果关系和条件句之间的关联。　　总的说来，熟悉的实质蕴涵和严格蕴涵都不足以充分刻画条件句，一些逻辑学家于是将条件句作为特定的对象，对它们的逻辑和语义特征进行考察。但是，条件句逻辑虽然是一个新的分支，对于条件句，逻辑学家们已经提出了很多种观点，值得进一步加以研究。