可能世界理论PDF|Epub|txt|kindle电子书版本网盘下载

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

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

第一章　模态逻辑1

1.1　模态和模态命题形式1

1.1.1　模态1

1.1.2　模态的类型3

1.1.3　真性模态命题形式7

1.2　模态命题逻辑系统9

1.2.1　极小模态命题逻辑系统K9

1.2.2　K的扩充：模态系统T13

1.2.3　模态逻辑系统S415

1.2.4　模态逻辑系统S516

1.2.5　模态逻辑系统B17

1.3　模态谓词演算19

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

1.3.2　模态谓词演算系统QT20

1.3.3　模态谓词演算QS521

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