哲学逻辑pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

哲学逻辑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的语义学 1 76

4．模态谓词逻辑系统 90

三、道义逻辑 95

1．道义逻辑的由来 95

2.1 道义逻辑和模态逻辑 99

2．一元道义逻辑系统OT*、OS4*、OS5 99

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、CMORS50 142

4.3 CMORT0、CMORS40、CMORS的语义学 146

4.4 道义悖论的免除 149

5．道义逻辑的发展所面临的问题 156

四、时态逻辑 160

1．时态逻辑概况 160

1.1 时态逻辑简史 160

1.2 时态命题的符号表示 163

1.3 时态命题逻辑诸系统 167

2．极小时态逻辑Kt 170

2.1 Kt的构造 170

2.2 Kt的导出规则和定理 172

2.4 Kt为什么是极小系统？ 180

3．线性时态逻辑 182

3.1 线性时态逻辑CL 184

3.2 无端点线性时态逻辑SL 187

3.3 稠密无端点线性时态逻辑PL 189

3.4 离散线性时态逻辑 192

3.5 循环时态逻辑PCr 193

4．枝形时态逻辑 197

4.1 枝形时态逻辑CR 197

4.2 枝形时态逻辑Kb 199

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