条件句逻辑

图书标准信息

• 作者 李小五
• 出版社 人民出版社
• 出版时间 2003-08
• 版次 1
• ISBN 9787010039404
• 定价 35.00元
• 装帧 平装
• 开本 其他
• 纸张 胶版纸
• 页数 673页
• 字数 492千字

【内容简介】

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

【作者简介】

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

【目录】

前言

第1章 绪论

  1 预备知识

  2 条件句及其分类

  3 什么是条件句逻辑

  4 条件句逻辑前史

  5 本书内容安排

第2章 证明论

  1 句子系统的构成

  2 公理化系统的一般性质

  3 各系统的推理力及其相互关系

  4 自然推理系统

  5 量化系统

第3章 择类逻辑

  0 抽象模型论

  1 公式型的择类逻辑

  2 命题型的择类逻辑

  3 外延逻辑

  4 择类谓词逻辑

第4章 关系逻辑

  1 二元关系逻辑

  2 三元关系逻辑

第5章 邻域逻辑

  1 一般邻域逻辑

  2 有序邻域逻辑

  3 球系逻辑

第6章 相信修正逻辑

  1 Gardenfors的相信修正逻辑

  2 Morreau的相信修正逻辑

第7章 代数逻辑

  0 代数基础

  1 经典代数逻辑

  2 半经典代数逻辑

  3 有穷表示性定理

  4 独立性定理

第8章 直陈概率逻辑

  1 句子逻辑（上）

  2 量化逻辑

  3 句子逻辑（下）

第9章 虚拟概率逻辑

  1 Stalnaker的概率逻辑

  2 van Fraassen的概率逻辑

  3 Harper的概率逻辑

第10章 一般概率逻辑

……

第11章 可能世界逻辑的恰当性

第12章 概率逻辑的恰当性

参考文献

重要记号索引

主题词索引