條件句邏輯 本書特色

是二元模態算子，所以后者是對前者的概括。從直觀的角度來說，條件句邏輯的建立在很大程度上就是為了克服模態邏輯的一個缺陷，即模態邏輯不能很好地刻畫關于虛擬條件句、直陳條件句和正常條件句的推理。 本專著的目的是系統地闡述條件句邏輯的基本概念、基本方法、重要成果及其恰當性理論。為了便于讀者理解，本書對條件句 邏輯的基本概念、方法以及表述重要成果所需的引理和定理給予詳細的證明、必要的分析和比較。 本書布局如下：第1章是緒論。我們給出全書需要的預備知識，也直觀地闡述了條件句邏輯的本質。 第2章討論條件句邏輯的證明論，包括句子系統(公理化系統和自然推理系統)和量化系統的證明論。 第3章到第10章根據不同的形式語義來考察條件句系統的可靠性和完全性。第3章一第5章運用可能世界語義來分別研究擇類邏輯、關系邏輯和鄰域邏輯。第6章研究相信修正邏輯。這種邏輯在人工智能領域有重要的理論意義。 第7章研究代數邏輯。用代數語義來研究條件句邏輯是一種重要的補充。 第8章一第10章分別研究直陳概率邏輯、虛擬概率邏輯和一般概率邏輯。 *后兩章分別研究可能世界邏輯的恰當性和概率邏輯的恰當性，主要討論條件句邏輯的哲學基礎和適用范圍。 *后本書給出全書提到的參考文獻以及方便查找的兩個索引。 在本書修改時，中國社會科學院研究生院哲學系博士生劉奮榮女士閱讀了前兩章，指出幾個排印時的漏洞。北京大學哲學系邏輯研室劉壯虎教授審閱了全書，修改了多處不妥的錯誤。 …… 本專著的出版得到了劉壯虎教授和北京大學哲學系邏輯教研室周北海教授的推薦，得到中國社會科學院哲學所學術委員會的審定，得到教育部人文社會科學重點研究基地——中山大學邏輯與認知研究所的資助，得到中國社會科學院科研局的資助，得到人民出版社，特別是陳亞明女士的幫助。 作為北京書生科技有限公司書生研究中心的客座研究員，在寫作本書期間，得到公司下屬的研究中心每月所發的津貼和其他資助。 本專著的研究工作還得到教育部人文與社會科學研究基地重大項目(No．2000ZDXM720.40001)的資助。 在此向上述個人和單位表示我衷心的感謝。 中山大學邏輯與認知研究所 中國社會科學院哲學所 李小五 教授 研究員 2003．5．18