简介
目录
第1章 一阶逻辑
1 命题逻辑的证明方法
2 不用联结词和量词的一阶逻辑系统
3 一阶逻辑的公理系统
第2章 模态逻辑
1 模态系统
2 正规模态系统
3 模态谓词逻辑
第3章 时态逻辑
1 语言
2 解释
3 形式系统
4 时态逻辑的完全性
5 禁对称性和完全性
6 判定问题
7 带量词的时态逻辑
8 时态逻辑与模态逻辑
9 其他时态词
第4章 条件句逻辑
1 形式系统
2 邻域模型论
3 关系模型论
4 球形系统模型论
5 择类函数模型论
6 诸语义之比较
5 量化条件句逻辑
第5章 多值逻辑
1 卢卡西维兹的三值逻辑
2 布奇瓦尔的三值逻辑
3 克利尼的三值逻辑
4 卢卡西维兹的m+1值逻辑
5 卢卡西维兹的无穷值逻辑
6 后承关系
7 演算
8 多值谓词逻辑
9 波斯特代数
第6章 相干逻辑
1 纯相干蕴涵部分
2 相干命题逻辑
3 相干命题逻辑的关系语义
第7章 直觉主义逻辑
1 直觉主义命题逻辑
2 直觉主义谓词逻辑
3 克里普克语义
4 完全性
第8章 弗协调逻辑
1 弗协调命题逻辑
2 弗协调模态命题逻辑
3 弗协调时态命题逻辑
第9章 哥德尔不完全性定理
1 形式算术
2 递归函数
3 算术化
4 数字可表示性
5 哥德尔不全性定理
1 命题逻辑的证明方法
2 不用联结词和量词的一阶逻辑系统
3 一阶逻辑的公理系统
第2章 模态逻辑
1 模态系统
2 正规模态系统
3 模态谓词逻辑
第3章 时态逻辑
1 语言
2 解释
3 形式系统
4 时态逻辑的完全性
5 禁对称性和完全性
6 判定问题
7 带量词的时态逻辑
8 时态逻辑与模态逻辑
9 其他时态词
第4章 条件句逻辑
1 形式系统
2 邻域模型论
3 关系模型论
4 球形系统模型论
5 择类函数模型论
6 诸语义之比较
5 量化条件句逻辑
第5章 多值逻辑
1 卢卡西维兹的三值逻辑
2 布奇瓦尔的三值逻辑
3 克利尼的三值逻辑
4 卢卡西维兹的m+1值逻辑
5 卢卡西维兹的无穷值逻辑
6 后承关系
7 演算
8 多值谓词逻辑
9 波斯特代数
第6章 相干逻辑
1 纯相干蕴涵部分
2 相干命题逻辑
3 相干命题逻辑的关系语义
第7章 直觉主义逻辑
1 直觉主义命题逻辑
2 直觉主义谓词逻辑
3 克里普克语义
4 完全性
第8章 弗协调逻辑
1 弗协调命题逻辑
2 弗协调模态命题逻辑
3 弗协调时态命题逻辑
第9章 哥德尔不完全性定理
1 形式算术
2 递归函数
3 算术化
4 数字可表示性
5 哥德尔不全性定理
哲学逻辑研究
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
