广义模态逻辑PDF|Epub|txt|kindle电子书版本网盘下载

广义模态逻辑PDF格式电子书版下载

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

目录1

第一章一阶逻辑1

第一节命题逻辑1

一、命题和命题形式1

二、命题逻辑的语言3

三逻辑符号语义学4

四、有效性8

五、命题逻辑公理系统PM13

第二节一阶谓词逻辑19

一、个体词、谓词和量词19

二、 一阶语言22

三、一阶语言的语义学25

四、一阶逻辑公理系统F31

五、带等词的一阶谓词演算FI34

第二章模态命题逻辑系统36

第一节模态36

一、真值模态和非真值模态36

二、命题模态和事物模态37

三、客观模态和主观模态38

四、逻辑模态和物理模态39

笫二节 真值模态命题形式39

一、 一元模态命题形式40

二、二元模态命题形式42

第三节模态命题逻辑系统43

一、模态逻辑系统K44

二、模态逻辑系统T、S4、S5和B53

三、模态函项和模态范式71

第一节 真和可能世界79

第三章 模态命题逻辑语义学79

第二节标准模型86

第三节 标准模型的扩充92

第四节 生成模型96

第四章 模态命题逻辑的系统特征103

第一节可靠性103

第二节 可演绎性和协调性104

第三节极大性109

第四节完备性116

第五章模态谓词逻辑121

第一节模态狭谓词逻辑121

一、含量词的模态命题形式121

二、模态狭胃词逻辑系统FT124

三、模态谓词逻辑系统FS5127

第二节带等词的一阶模态胃词逻辑131

第三节模态谓词逻辑语义学133

第六章模态逻辑系统概观138

第一节路易斯型模态逻辑138

一、路易斯模态逻辑的基本概念138

二、路易斯的系统S1141

三、路易斯的系统S2152

四、路易斯的系统S3155

五、路易斯的系统S4163

六、路易斯的系统S5167

七、哥德尔－费依斯－冯·赖特系统171

八、其他路易斯型的模态系统173

第二节 卢卡西维茨型的模态逻辑179

一、卢卡西维茨的三值模态逻辑179

二、卢卡西维茨的四值模态逻辑182

三、模态代数184

第三节阿克曼型模态逻辑189

第四节 普赖尔型模态逻辑192

第五节其他类型模态逻辑系统203

一、可证明性的逻辑系统203

二、模态逻辑概率的解释205

第七章时态逻辑208

第一节时态命题形式208

第二节极小时态逻辑211

一、极小时态逻辑系统Kt211

二、系统Kt的语义学216

三、系统Kt的扩充222

第三节线性时态逻辑225

一、线性时态逻辑系统CL226

二、无终点线性时态逻辑系统SL230

三、稠密线性系统PL232

四、圆形时态逻辑系统PCr233

第四节 分枝时态逻辑237

第五节 米突时态逻辑241

第六节 日期逻辑244

第七节 以后和以前演算248

第八节 早—迟演算252

第九节量词时态逻辑255

一、量词时态逻辑系统QKt255

二、其他量词时态逻辑系统262

第十节 时态逻辑的可靠性和完备性268

一、时态逻辑的可靠性定理268

二、时态逻辑的完备性定理273

第十一节时间模态280

第八章道义逻辑290

第一节 一元道义逻辑291

一、一元道义命题的基本形式291

二、道义逻辑系统OK294

三、一元道义逻辑系统概述299

第二节二元道义逻辑307

第三节道义逻辑语义学312

第四节道义逻辑与模态逻辑关系319

一、道义算子与模态算子间的关系319

二、道义逻辑归约为模态逻辑问题320

第五节道义悖论问题323

第九章认知逻辑328

第一节 认知命题形式330

一、一元知道逻辑系统333

第二节知道逻辑333

二、二元知道逻辑系统338

三、知道逻辑语义学341

第三节信念逻辑343

一、信念的涵义343

二、 一元信念逻辑344

三 、二元信念逻辑347

四、信念逻辑语义学348

第四节混合认知逻辑350

第五节知道悖论352

第六节接受逻辑358

一、可接受演算359

二、可接受逻辑语义学367

第七节知觉逻辑368

参考文献375