哲学逻辑导论

   本书是一本初等哲学逻辑的教科书。本书介绍了多种哲学逻辑，如模态逻辑、认知逻辑、时态逻辑、道义逻辑、条件句逻辑、直觉主义逻辑、多值逻辑等，每种哲学逻辑刻画一个对象（某个概念或某个问题），同时给出了用于刻画这个对象的逻辑理论的定义，并给予这些定义以合理性辩护。
本书适合于逻辑学、哲学等专业的高校师生阅读，也可供对逻辑学感兴趣的读者阅读。

丛书序
前言
第1章 引言
1.1 逻辑是什么
1.2 逻辑学史概述
1.3 从数理逻辑到哲学逻辑
1.4 哲学逻辑的分类
1.5 关于本书
第2章 预备知识
2.1 集合
2.2 命题逻辑
第3章 模态逻辑
3.1 关系结构
3.2 模态逻辑的句法
3.3 对模态逻辑公式的解读
3.3.1 真势模态逻辑
3.3.2 认知逻辑
3.3.3 时态逻辑
3.3.4 道义逻辑
3.4 模态逻辑的模型和语义
3.5 最小正规模态逻辑K
3.6 真势模态逻辑
3.7 模态公式与框架性质的对应关系
3.8 真势模态逻辑的公理系统
第4章 认知逻辑
4.1 认知逻辑的句法
4.2 信念逻辑的模型和语义
4.3 信念逻辑的公理系统
4.4 知识逻辑的模型和语义
4.5 知识逻辑的公理系统
4.6 多主体知识逻辑
4.7 多主体知识逻辑中的群体知识算子
4.7.1 E算子
4.7.2 D算子
4.7.3 C算子
4.8 逻辑全知问题及其解决方案
4.8.1 觉知逻辑
4.8.2 不可能状态语义
4.8.3 组模型
4.9 认知悖论
4.9.1 怀疑主义悖论
4.9.2 彩票悖论
4.9.3 摩尔悖论
4.9.4 可知悖论
4.9.5 意外考试悖论
第5章 时态逻辑
5.1 时态逻辑的句法
5.2 时态逻辑的模型和语义
5.3 时态逻辑的公理系统
5.4 线性时间时态逻辑
5.5 线性时间时态逻辑的公理系统
5.6 分支时间时态逻辑
5.7 其他类型的时态逻辑
5.7.1 更多模型条件
5.7.2 其他时态词
5.7.3 时间段时态逻辑
5.7.4 时空和分支时空
5.8 时态逻辑应用例
第6章 时态逻辑与认知逻辑的应用
6.1 模型检测中的计算树逻辑
6.2 智能体和多智能体系统中的BDI逻辑
6.3 认证协议验证的BAN逻辑
第7章 道义逻辑
7.1 道义逻辑的句法
7.2 道义逻辑的模型和语义
7.3 道义逻辑的公理系统
7.4 一种早期的道义逻辑
7.5 标准道义逻辑的问题
7.6 条件道义逻辑
第8章 条件句逻辑
8.1 实质蕴涵及其问题
8.2 条件句逻辑的句法
8.3 反事实条件句和可能世界
8.4 条件句逻辑的模型和语义
8.5 条件句逻辑的公理系统
第9章 直觉主义逻辑
9.1 数学确定性的丧失
9.1.1 无理数的发现
9.1.2 欧氏几何的第五公设问题
9.1.3 无穷小概念
9.1.4 罗素悖论
9.1.5 形式主义
9.1.6 逻辑主义
9.1.7 直觉主义
9.2 直觉主义逻辑的句法
9.3 直觉主义逻辑的观念
9.4 直觉主义逻辑的模型和语义
9.5 直觉主义逻辑的公理系统
第10章 多值逻辑
10.1 多值逻辑的句法
10.2 卢卡西维茨的三值逻辑
10.3 卢氏三值逻辑的解释和公理化
10.4 卢卡西维茨的多值逻辑
10.5 波斯特的n值逻辑
10.6 克林的三值逻辑
10.6.1 克林强三值逻辑
10.6.2 克林弱三值逻辑
10.7 博奇瓦尔三值逻辑
第11章 相干逻辑
11.1 变元共享
11.2 相干逻辑的句法与公理系统
11.3 相干逻辑的模型和语义
第12章 悖论与“真”理论
12.1 悖论句子的真值
12.2 修正理论
12.3 不动点理论
参考文献