条件句逻辑

作品编号：HWK52401

作者：李小五

出版社：人民出版社

出版年：2003-08-01

定价：35.0

ISBN：7010039402

开本：小32开

页数：673

火悟空打分

0.0

共有0人进行评价

我要评价 添加到盒子

条件句逻辑 本书特色

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

条件句逻辑 内容简介

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