0人評分過此書
现代逻辑视域下的哲学逻辑研究
本书以现代逻辑为背景，以哲学逻辑的主要问题为核心，以逻辑的应用和逻辑思想史为补充，旨在为读者提供有关当前哲学逻辑各专题领域的基础知识，包括相关的概念、问题、方法和主要结果，甚至还包括应用。
- 绪论 一个非经典逻辑的群体——哲学逻辑
-
第1章 模态和模态命题形式
-
1.1 模态及其类型
-
1.2 真性模态命题形式
-
1.3 一些著名的模态公式
-
-
第2章 模态逻辑系统
-
2.1 现代模态逻辑的诞生
-
2.2 模态命题逻辑的语言
-
2.3 极小的模态系统K
-
2.4 模态系统D和T
-
2.5 模态系统S4、S5、B
-
2.6 模态归约和模态范式
-
2.7 模态谓词逻辑
-
-
第3章 可能世界语义学基本理论
-
3.1 可能世界语义理论直观思想
-
3.2 可能世界语义模型
-
3.3 可能世界语义理论的意义
-
-
第4章 模态语义图
-
4.1 归谬赋值法
-
4.2 模态语义图基本思想
-
4.3 验证T-有效性语义图
-
4.4 验证S4-有效性语义图
-
4.5 验证S5-有效性语义图
-
-
第5章 时态逻辑
-
5.1 时态命题形式
-
5.2 时间逻辑系统
-
5.3 米突时态逻辑系统
-
5.4 时态逻辑语义学
-
-
第6章 道义逻辑
-
6.1 道义命题形式
-
6.2 一元道义逻辑
-
6.3 二元道义逻辑
-
6.4 道义逻辑语义学
-
-
第7章 认知逻辑
-
7.1 认知命题形式
-
7.2 知道逻辑
-
7.3 信念逻辑
-
7.4 断定逻辑
-
7.5 知道逻辑语义学
-
7.6 信念逻辑语义学
-
-
第8章 多主体认知逻辑系统
-
8.1 多主体系统及其相关概念
-
8.2 知识逻辑和它们的性质
-
8.3 知识逻辑的公理系统
-
-
第9章 多主体完全的认知逻辑
-
9.1 M主体的认知系统
-
9.2 S5m（CDE）的语义学
-
9.3 认知逻辑的发展
-
-
第10章 动态逻辑
-
10.1 动态逻辑的缘起
-
10.2 模态逻辑推广于程序推理
-
10.3 程序推理的层次
-
10.4 命题动态逻辑
-
10.5 一阶动态逻辑QDL
-
-
第11章 多值逻辑
-
11.1 二值性原则突破，多值逻辑诞生
-
11.2 多值逻辑系统
-
11.3 弗晰逻辑和意义逻辑
-
-
第12章 相干逻辑
-
12.1 相干逻辑的缘起和基本思想
-
12.2 相干命题逻辑系统R
-
12.3 相干逻辑自然演绎系统
-
12.4 相干逻辑系统E
-
12.5 相干逻辑语义学
-
-
第13章 部分逻辑
-
13.1 部分逻辑的缘起
-
13.2 部分逻辑的基本概念和基本思想
-
13.3 部分逻辑语义学
-
13.4 一阶部分理论
-
-
第14章 自由逻辑
-
14.1 自由逻辑的缘起
-
14.2 自由逻辑的公理系统
-
14.3 自由逻辑自然演绎系统
-
14.4 自由语义学
-
-
第15章 弗协调逻辑
-
15.1 协调性和足道性
-
15.2 弗协调逻辑的缘起
-
15.3 构建弗协调逻辑的方法
-
15.4 弗协调逻辑系统Cn
-
15.5 弗协调逻辑语义学
-
-
第16章 直觉主义逻辑
-
16.1 直觉主义逻辑的缘起和它的基本思想
-
16.2 直觉主义逻辑公理系统
-
16.3 直觉主义逻辑自然演绎系统
-
16.4 直觉主义逻辑语义学
-
- 参考文献
- 出版地 ： 中國大陸
- 語言 ： 簡體中文
評分與評論
請登入後再留言與評分
PDF
PDF
PDF
PDF
PDF
