图书介绍
哲学逻辑PDF|Epub|txt|kindle电子书版本网盘下载
- 陈波著 著
- 出版社： 重庆：重庆出版社
- ISBN：7536611447
- 出版时间：1990
- 标注页数：276页
- 文件大小：7MB
- 文件页数：285页
- 主题词：
PDF下载
下载说明
哲学逻辑PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
一、什么是哲学逻辑？1
1．哲学逻辑的兴起1
2．哲学逻辑的特征13
3．哲学逻辑的范围20
二、模态逻辑27
1．模态逻辑简史27
2．模态命题逻辑系统33
2.1 正规模态命题逻辑诸系统33
2.2 K的定理38
2.3 T、S4、S5的定理46
2.4 模态模态度不可归约的模态50
2.5 模态合取范式（MCNF）52
3．可能世界语义学55
3.1 模型真有效性55
3.2 T-模型S4-模型S5-模型59
3.3 K、T、S4、S5的可靠性和完全性63
3.4 K、T、S4、S5的判定程序70
2.3 Kt的语义学 176
4．模态谓词逻辑系统90
三、道义逻辑95
1．道义逻辑的由来95
2.1 道义逻辑和模态逻辑99
2．一元道义逻辑系统OT*、OS4*、OS599
2.2 OT0、OS40、OS50的构造100
2.3 OT0、OS40、OS50的定理及其模态103
2.4 OT0、OS40、和OS50的语义学117
3．安德森常项和模态逻辑系统OT′、OS4′、OS5′123
3.1 安德森常项S和OT′、OS4′、OS5′的构造123
3.2 OT′、OS4′、OS5′的部分定理125
3.3 OT′、OS4′、OS5′的语义学130
3.4 OT′、OS4′、OS5′和OT·、OS40、OS50之关系133
4．相对道义逻辑系统136
4.1 准备步骤138
4.2 境况化道义逻辑系统CMORT0、CMORS40、CMORS50142
4.3 CMORT0、CMORS40、CMORS的语义学146
4.4 道义悖论的免除149
5．道义逻辑的发展所面临的问题156
四、时态逻辑160
1．时态逻辑概况160
1.1 时态逻辑简史160
1.2 时态命题的符号表示163
1.3 时态命题逻辑诸系统167
2．极小时态逻辑Kt170
2.1 Kt的构造170
2.2 Kt的导出规则和定理172
2.4 Kt为什么是极小系统？180
3．线性时态逻辑182
3.1 线性时态逻辑CL184
3.2 无端点线性时态逻辑SL187
3.3 稠密无端点线性时态逻辑PL189
3.4 离散线性时态逻辑192
3.5 循环时态逻辑PCr193
4．枝形时态逻辑197
4.1 枝形时态逻辑CR197
4.2 枝形时态逻辑Kb199
4.3 CR和Kb之间的差异202
5．时态逻辑的发展所面临的问题206
五、优先逻辑208
1．用公理化方法构造的优先逻辑210
1.1 优先逻辑的基本概念210
1.2 优先逻辑的形式演算216
1.3 关于好、坏的定义的进一步讨论221
2．用语义方法构造的优先逻辑226
2.1 好、坏与优先226
2.2 可接受性标准229
2.3 优先重言式234
2.4 限定的量化和非限定的量化236
六、内涵逻辑239
1．从外延逻辑到内涵逻辑239
1.1 外延逻辑的不足239
1.2 内涵和内涵逻辑245
1.3 内涵逻辑的历程251
2．蒙塔古的内涵逻辑257
2.1 IL的符号257
2.2 IL的语义学259
2.3 IL的公理和推理规则264
2.4 IL的定理268
2.5 IL的可靠性和完全性273
后记274
参考文献275