李小王，男，1955年1月生于浙江湖州，1986年在北京大学哲学系攻读逻辑学研究生，1989年获硕士学位，1992年调入中国社会科学院哲学所逻辑研究室，2002年8月进入中山大学逻辑与认知研究所。主要著作有《现代归纳逻辑与概率逻辑》、《无穷逻辑》（上下卷），还发表论文20余篇，合著5部、译著1部。现任中山大学逻辑与认知研究所教授，中国社会科学院哲学所研究中心客座研究员。

　　条件句逻辑是哲学逻辑的一个重要分支，是对（狭义）模态逻辑的重要发展。它的主要目的在于刻画关于虚拟条件句、直陈条件句和正常条件句的推理。本书系统阐述了条件句逻辑的基本概念、基本方法、重要成果及其恰当性理论。为了便于读者理解，本书对条件句逻辑的基本概念、方法以及表述重要成果所需的引理和定理给予详细的证明、必要的分析和比较。本书可以作为逻辑学、哲学、人工智能以及相关领域的科研人员的参考书，也可作为上述领域研究生的教材或参考书。

　　前言
　　中国社会科学院哲学所逻辑室张家龙研究员在1996年一1999年主持了国家社会科学基金“九五”重点项目《哲学逻辑几个重点分支的进展及其哲学问题系列研究》(批准号：“九五”重点(96AZX024))。1997年这个项目被中国社会科学院科研局列为精品战略”重点管理项目。1999年10月这个项目在结项时又被评为优秀。笔者参与了上述项目的一个子项目的研究工作，并把最终研究成果汇成一本专著，这就是现在呈现给读者的《条件句逻辑》。
　　条件句逻辑是哲学逻辑的一个重要分支，是对模态逻辑¨，的重要发展。从技术的角度来说，模态逻辑研究的口(必然)和》(可能)是一元模态算子，而条件句逻辑研究的条件句算子>是二元模态算子，所以后者是对前者的概括。从直观的角度来说，条件句逻辑的建立在很大程度上就是为了克服模态逻辑的一个缺陷，即模态逻辑不能很好地刻画关于虚拟条件句、直陈条件句和正常条件句的推理。
　　本专著的目的是系统地阐述条件句逻辑的基本概念、基本方法、重要成果及其恰当性理论。为了便于读者理解，本书对条件句 逻辑的基本概念、方法以及表述重要成果所需的引理和定理给予详细的证明、必要的分析和比较。
　　本书布局如下：第1章是绪论。我们给出全书需要的预备知识，也直观地阐述了条件句逻辑的本质。
　　第2章讨论条件句逻辑的证明论，包括句子系统(公理化系统和自然推理系统)和量化系统的证明论。
　　第3章到第10章根据不同的形式语义来考察条件句系统的可靠性和完全性。第3章一第5章运用可能世界语义来分别研究择类逻辑、关系逻辑和邻域逻辑。第6章研究相信修正逻辑。这种逻辑在人工智能领域有重要的理论意义。
　　第7章研究代数逻辑。用代数语义来研究条件句逻辑是一种重要的补充。
　　第8章一第10章分别研究直陈概率逻辑、虚拟概率逻辑和一般概率逻辑。
　　最后两章分别研究可能世界逻辑的恰当性和概率逻辑的恰当性，主要讨论条件句逻辑的哲学基础和适用范围。
　　最后本书给出全书提到的参考文献以及方便查找的两个索引。
　　在本书修改时，中国社会科学院研究生院哲学系博士生刘奋荣女士阅读了前两章，指出几个排印时的漏洞。北京大学哲学系逻辑研室刘壮虎教授审阅了全书，修改了多处不妥的错误。
　　……
　　本专著的出版得到了刘壮虎教授和北京大学哲学系逻辑教研室周北海教授的推荐，得到中国社会科学院哲学所学术委员会的审定，得到教育部人文社会科学重点研究基地——中山大学逻辑与认知研究所的资助，得到中国社会科学院科研局的资助，得到人民出版社，特别是陈亚明女士的帮助。
　　作为北京书生科技有限公司书生研究中心的客座研究员，在写作本书期间，得到公司下属的研究中心每月所发的津贴和其他资助。
　　本专著的研究工作还得到教育部人文与社会科学研究基地重大项目(No．2000ZDXM720.40001)的资助。
　　在此向上述个人和单位表示我衷心的感谢。
　　中山大学逻辑与认知研究所
　　中国社会科学院哲学所
　　李小五  教授  研究员
　　2003．5．18

前言
第一章  绪论
第二章  证明论
第三章  择类逻辑
第四章  关系逻辑
第五章  邻域逻辑
第六章  相信修正逻辑
第七章  代数逻辑
第八章  直陈概率逻辑
第九章  虚拟概率逻辑
第十章  一般概率逻辑
第十一章  可能世界逻辑的恰当性
第十二章  概率逻辑的恰当性

参考文献
重要记号索引
主题词索引