图书介绍
必然、蕴涵、世界与关系 模态逻辑的历史和基本理论探究PDF|Epub|txt|kindle电子书版本网盘下载
- 周祯祥著 著
- 出版社： 北京：北京师范大学出版社
- ISBN：9787303225224
- 出版时间：2017
- 标注页数：392页
- 文件大小：42MB
- 文件页数：399页
- 主题词：模态逻辑－研究
PDF下载
下载说明
必然、蕴涵、世界与关系 模态逻辑的历史和基本理论探究PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 必然1
第一节 古典必然观1
第二节 近代必然观13
第三节 现代必然观23
第二章 蕴涵34
第一节 古典蕴涵34
第二节 从古典蕴涵到现代蕴涵45
第三节 实质蕴涵批判和严格蕴涵52
第三章 可能世界68
第一节 可能世界及其语义学的基本概念68
第二节 可能世界的内涵语义学79
第三节 内涵和K模型的其他概念90
第四章 可通达关系100
第一节 可通达关系的基本概念和性质100
第二节 基本关系R的组合关系110
第三节 关系R的合成118
第五章 模态K系统及其扩张128
第一节 从严格蕴涵系统到K系统128
第二节 正规模态逻辑和模态扩张的相关概念146
第三节 K扩张系统154
第六章 模态树图语义学162
第一节 K树图162
第二节 K的扩张树图179
第七章 K和K扩张系统的完备性196
第一节 K和K扩张系统的可靠性196
第二节 K和K扩张系统树图转换207
第三节 K和K扩张系统的完全性证明229
第八章 典范模型和合成收敛方法235
第一节 典范模型方法235
第二节 基于K的模态逻辑完全性证明247
第三节 收敛性（G）公理及其对应的R性质256
第九章 模态逻辑基本理论的现代视野269
第一节 不完全性、模态语言和模态基本理论的新视角269
第二节 标准翻译282
第三节 关系结构中的不变性结果289
第十章 互模拟概念和模态逻辑302
第一节 互模拟概念302
第二节 结构不变性和有限模型性质310
第三节 更为丰富的模态逻辑和更为丰富的模态语言321
第十一章 模态逻辑、哲学和实在336
第一节 形而上学必然和逻辑必然336
第二节 信念改变及其逻辑理论346
第三节 行动、主体及其逻辑构想353
第四节 模态逻辑基本理论的形而上学思考365
参考文献379
主要逻辑符号381
名词索引383
主要人名译名索引389
后记391