条件句逻辑

定　价：¥35.00

作　者：	李小五著
出版社：	人民出版社
丛编项：	逻辑与认知文库
标　签：	哲理逻辑

购买这本书可以去

ISBN：	9787010039404	出版时间：	2003-08-01	包装：	胶版纸
开本：	20cm	页数：	673	字数：

内容简介

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

作者简介

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

图书目录

前言
第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章概率逻辑的恰当性
参考文献
重要记号索引
主题词索引