扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
心灵元气社
-
>
县中的孩子 中国县域教育生态
-
>
(精)人类的明天(八品)
-
>
厌女（增订本）
-
>
这样学习才高效/杨慧琴
-
>
心理学经典文丛:女性心理学
-
>
中国文化5000年
买过本商品的人还买了
维诺图及其应用研究
¥17.6¥36.0信仰与观看-哥特式大教堂艺术
¥41.5¥68.0论概率
¥22.1¥48.0逻辑与哲学-真与意义融合与分离之争的探究
¥37.4¥68.0模糊偏好关系及其应用
¥35.3¥49.0
条件句逻辑 本书特色
是二元模态算子，所以后者是对前者的概括。从直观的角度来说，条件句逻辑的建立在很大程度上就是为了克服模态逻辑的一个缺陷，即模态逻辑不能很好地刻画关于虚拟条件句、直陈条件句和正常条件句的推理。 本专著的目的是系统地阐述条件句逻辑的基本概念、基本方法、重要成果及其恰当性理论。为了便于读者理解，本书对条件句 逻辑的基本概念、方法以及表述重要成果所需的引理和定理给予详细的证明、必要的分析和比较。 本书布局如下：第1章是绪论。我们给出全书需要的预备知识，也直观地阐述了条件句逻辑的本质。 第2章讨论条件句逻辑的证明论，包括句子系统(公理化系统和自然推理系统)和量化系统的证明论。 第3章到第10章根据不同的形式语义来考察条件句系统的可靠性和完全性。第3章一第5章运用可能世界语义来分别研究择类逻辑、关系逻辑和邻域逻辑。第6章研究相信修正逻辑。这种逻辑在人工智能领域有重要的理论意义。 第7章研究代数逻辑。用代数语义来研究条件句逻辑是一种重要的补充。 第8章一第10章分别研究直陈概率逻辑、虚拟概率逻辑和一般概率逻辑。 *后两章分别研究可能世界逻辑的恰当性和概率逻辑的恰当性，主要讨论条件句逻辑的哲学基础和适用范围。 *后本书给出全书提到的参考文献以及方便查找的两个索引。 在本书修改时，中国社会科学院研究生院哲学系博士生刘奋荣女士阅读了前两章，指出几个排印时的漏洞。北京大学哲学系逻辑研室刘壮虎教授审阅了全书，修改了多处不妥的错误。 …… 本专著的出版得到了刘壮虎教授和北京大学哲学系逻辑教研室周北海教授的推荐，得到中国社会科学院哲学所学术委员会的审定，得到教育部人文社会科学重点研究基地——中山大学逻辑与认知研究所的资助，得到中国社会科学院科研局的资助，得到人民出版社，特别是陈亚明女士的帮助。 作为北京书生科技有限公司书生研究中心的客座研究员，在写作本书期间，得到公司下属的研究中心每月所发的津贴和其他资助。 本专著的研究工作还得到教育部人文与社会科学研究基地重大项目(No．2000ZDXM720.40001)的资助。 在此向上述个人和单位表示我衷心的感谢。 中山大学逻辑与认知研究所 中国社会科学院哲学所 李小五 教授 研究员 2003．5．18
条件句逻辑 内容简介
条件句逻辑是哲学逻辑的一个重要分支，是对（狭义）模态逻辑的重要发展。它的主要目的在于刻画关于虚拟条件句、直陈条件句和正常条件句的推理。本书系统阐述了条件句逻辑的基本概念、基本方法、重要成果及其恰当性理论。为了便于读者理解，本书对条件句逻辑的基本概念、方法以及表述重要成果所需的引理和定理给予详细的证明、必要的分析和比较。本书可以作为逻辑学、哲学、人工智能以及相关领域的科研人员的参考书，也可作为上述领域研究生的教材或参考书。
条件句逻辑 目录
前言
第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章 概率逻辑的恰当性
参考文献
重要记号索引
主题词索引
第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章 概率逻辑的恰当性
参考文献
重要记号索引
主题词索引
展开全部
条件句逻辑 作者简介
李小五，男，1955年1月生于浙江湖州，1986年在北京大学哲学系攻读逻辑学研究生，1989年获硕士学位，1992年调入中国社会科学院哲学所逻辑研究室，2002年8月进入中山大学逻辑与认知研究所。主要著作有《现代归纳逻辑与概率逻辑》、《无穷逻辑》（上下卷），还发表论文20余篇，合著5部、译著1部。现任中山大学逻辑与认知研究所教授，中国社会科学院哲学所研究中心客座研究员。
书友推荐
- >
莉莉和章鱼
莉莉和章鱼
¥19.7¥42.0 - >
史学评论
史学评论
¥16.2¥42.0 - >
有舍有得是人生
有舍有得是人生
¥20.1¥45.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥18.7¥39.8 - >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥17.6¥55.0 - >
中国历史的瞬间
中国历史的瞬间
¥16.7¥38.0 - >
龙榆生：词曲概论/大家小书
龙榆生：词曲概论/大家小书
¥9.2¥24.0 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥9.9¥23.0
本类畅销
-
字海探源
¥25¥78 -
《标点符号用法》解读
¥8.3¥15 -
文言津逮
¥10.2¥28 -
那时的大学
¥12¥28 -
现代汉语通用字笔顺规范
¥19.6¥58 -
2020年《咬文嚼字》合订本
¥23.8¥60
