可能世界理论pdf电子书版本下载

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

可能世界理论PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一章　模态逻辑 1

1.1　模态和模态命题形式 1

1.1.1　模态 1

1.1.2　模态的类型 3

1.1.3　真性模态命题形式 7

1.2　模态命题逻辑系统 9

1.2.1　极小模态命题逻辑系统K 9

1.2.2　K的扩充：模态系统T 13

1.2.3　模态逻辑系统S4 15

1.2.4　模态逻辑系统S5 16

1.2.5　模态逻辑系统B 17

1.3　模态谓词演算 19

1.3.1　含量词的模态命题形式 19

1.3.2　模态谓词演算系统QT 20

1.3.3　模态谓词演算QS5 21

1.4　时态逻辑 23

1.4.1　时态命题形式 23

1.4.2　时态逻辑系统 24

1.4.3　米突时态逻辑系统 30

1.5　道义逻辑 32

1.5.1　道义命题形式 32

1.5.2　一元道义逻辑 33

1.5.3　二元道义逻辑 39

1.6　认知逻辑 41

1.6.1　认知命题形式 42

1.6.2　知道逻辑 42

1.6.3　信念逻辑 47

1.6.4　断定逻辑 49

第二章　经典逻辑语义学 53

2.1　逻辑语义学 53

2.2　模型论语义学初步 54

2.2.1　模型论 54

2.2.2　一阶语言 55

2.2.3　解释 57

2.2.4　赋值、可满足性 59

2.2.5　真、有效和模型 61

2.3　标准语义学的选择 65

2.3.1　代入语义学 66

2.3.2　真值语义学 68

2.3.3　概率语义学 71

第三章　可能世界语义学基本理论 76

3.1　可能世界语义理论直观思想 76

3.2　可能世界语义模型 81

3.2.1　模型 81

3.2.2　关系R的逻辑性质 83

3.2.3　典范模型 86

3.3　关于框架和模型的进一步讨论 88

3.3.1　框架和有效性 88

3.3.2　等价模型和等价框架 89

3.3.3　可辨别模型 91

3.3.4　生成模型和生成框架 92

3.3.5　有穷模型 98

3.3.6　关于模态系统具有有穷模型性的证明 103

3.3.7　可判定性 107

3.3.8　从属框架 108

3.4　模态语义图 110

3.4.1　归谬赋值法 110

3.4.2　模态语义图基本思想 111

3.4.3　验证T-有效性语义图 113

3.4.4　验证S4-有效性语义图 122

3.4.5　验证S5-有效性语义图 123

第四章　可能世界语义理论诸复本 125

4.1　克里普克的可能世界语义学 125

4.1.1　克里普克的模型结构 125

4.1.2　克里普克的语义表 127

4.2　欣迪卡的模型集和分配范式 129

4.2.1　模型集和模型系统 129

4.2.2　分配范式和可能世界 132

4.3　蒙塔古的模型关系语义学 140

4.3.1　S的语言 141

4.3.2　S的模型 142

4.3.3　模型间关系 143

4.4　基于时间结构的可能世界语义学 144

4.4.1　时间的结构 144

4.4.2　时间可能世界语义学 150

4.5　条件句的可能世界语义学 153

4.5.1　条件句 153

4.5.2　简化了的斯坦纳克语义学 155

4.5.3　其他的条件句可能世界语义学 157

4.6　道义可能世界语义学 163

4.6.1　道义可能世界 164

4.6.2　一元道义逻辑语义学 165

4.6.3　二元道义逻辑语义学 172

第五章　命题态度语义学 175

5.1　命题态度及其分类 175

5.2　命题态度语义分析中的问题 178

5.3　解决问题的方案 179

5.4　涉及方案Ⅰ的一些理论问题 181

5.5　结构的意义 185

5.5.1　λ-范畴语言 186

5.5.2　间接话语和态度语句 189

5.6　欣迪卡关于命题态度的理论 192

5.7　与方案Ⅱ有关的理论 196

5.8　与方案Ⅲ有关的理论 198

第六章　对可能世界语义学的一种选择——境况语义学 201

6.1　境况语义学的基本概念和基本思想 201

6.2　境况理论 204

6.2.1　抽象境况 204

6.2.2　事件类型 209

6.2.3　约束 213

6.3　境况语义学 218

6.3.1　论述境况和说者关联 218

6.3.2　词和词组的意义 221

6.3.3　逻辑形式和表达式的用法 223

6.3.4　单称语词的意义 224

6.4　态度 227

6.4.1　态度理论的根据 227

6.4.2　知觉态度 230

6.4.3　态度作为对境况的关系 233

6.4.4　作为境况关系看见 236

6.4.5　知道、相信和怀疑 238

第七章　对可能世界的哲学理解 241

7.1　模态实在主义 241

7.1.1　具体的实在主义 242

7.1.2　存在方式论 244

7.1.3　模态新实在主义 246

7.1.4　扩充的模态实在主义 249

7.2　可能主义 250

7.3　代用主义 252

7.4　模态工具主义和模态存在主义 255

7.5　可能世界的定义问题 257

7.6　选择和可能性 260

7.7　跨界识别问题 264

7.8　个体、事态和可能世界 268

7.8.1　个体、性质和关系 268

7.8.2　事态、事件和世界 273

7.8.3　可能世界类型 276

7.9　事物模态和本质主义 279

第八章　可能世界和思维空间 285

8.1　可能世界集合是思维空间的模型 285

8.1.1　思维空间及其特征 285

8.1.2　作为思维空间模型的可能世界集合 287

8.1.3　可能世界的操作 290

8.2　可能世界与逻辑空间 293

8.2.1　逻辑空间中的抽象客体 293

8.2.2　逻辑可能世界 295

8.3　可能世界与艺术境界 298

8.3.1　境界是形象的可能世界 298

8.3.2　心灵可能世界的再创造 301

8.4　价值场是人生理想的可能世界 303

8.4.1　价值可能世界及其类型 304

8.4.2　价值理想可能世界的构建 304

附录1：经典逻辑公理和常用定理 307

附录2：参考文献 311

附录3：人名和学术用语中英文对照 315