图书介绍
认知逻辑新发展PDF|Epub|txt|kindle电子书版本网盘下载
- 弓肇祥著 著
- 出版社： 北京：北京大学出版社
- ISBN：730108319X
- 出版时间：2004
- 标注页数：328页
- 文件大小：9MB
- 文件页数：340页
- 主题词：认知逻辑－研究
PDF下载
下载说明
认知逻辑新发展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 命题逻辑的语言2
1.1.3 命题逻辑语义学3
1.2 命题演算7
1.2.1 经典命题演算系统CPC7
1.2.2 自然演绎系统NC11
1.3 一阶谓词逻辑15
1.3.1 个体词、谓词和量词15
1.3.2 一阶语言16
1.3.3 一阶逻辑语义学18
1.4 一阶谓词演算21
1.4.1 经典谓词演算系统CQC22
1.4.2 带等词的经典谓词演算CQC＝24
1.4.3 谓词演算自然演绎系统QN25
第二章 认知逻辑概述27
2.1 认知命题形式27
2.2 认知算子和模态31
2.3 模态逻辑35
2.3.1 模态命题形式35
2.3.2 模态逻辑系统36
2.3.3 模态语义学38
2.4 认知逻辑的诞生39
2.5 认知逻辑的发展43
2.5.1 经典认知逻辑（欣迪卡型认知逻辑）43
2.5.2 多主体认知逻辑48
2.5.3 自认知逻辑51
2.5.4 信念变化的逻辑55
第三章 基本知道逻辑59
3.1 “知道”的涵义59
3.2 一元知道逻辑60
3.2.1 知道逻辑系统KP60
3.2.2 知道逻辑系统K463
3.2.3 知道逻辑系统V68
3.3 二元知道逻辑69
3.3.1 知道逻辑系统KG69
3.3.2 其他二元知道逻辑系统79
3.4 知道逻辑语义学80
3.4.1 欣迪卡的模型集语义学81
3.4.2 克里普克语义学84
3.5 直觉主义模态认知逻辑89
3.5.1 直觉主义认知逻辑系统IKT＊89
3.5.2 直觉主义模态系统IZ95
第四章 信念逻辑98
4.1 信念的涵义98
4.2 一元信念逻辑99
4.2.1 信念算子与认知算子之间的关系100
4.2.2 一元信念逻辑系统BJ101
4.3 二元信念逻辑103
4.3.1 构建二元信念逻辑原则103
4.3.2 二元信念逻辑系统BP106
4.3.3 二元信念逻辑系统BKD107
4.3.4 信念逻辑语义学113
4.4 意向和信念的逻辑115
4.4.1 意向及其相关的几个概念115
4.4.2 形式语言和形式语义学116
4.4.3 意向和信念逻辑∑的证明论120
第五章 混合认知逻辑126
5.1 认知系统CKB126
5.1.1 确信逻辑系统C＊126
5.1.2 确信逻辑系统SC127
5.1.3 SC的扩充134
5.2 系统SC的语义学138
5.3 接受逻辑139
5.3.1 可接受系统P△139
5.3.2 P△的选择系统144
5.4 接受逻辑语义学147
5.4.1 克里普克型的接受语义学147
5.4.2 概率语义学149
第六章 多主体认知逻辑系统152
6.1 多主体系统及其相关概念152
6.2 知识逻辑和它们的性质154
6.2.1 语言？n154
6.2.2 可能世界语义学155
6.2.3 知识逻辑的公理系统157
6.3 系统Kn的可靠性和完全性160
第七章 多主体完全的认知逻辑172
7.1 M主体的认知系统172
7.1.1 S5m（CDE）的语言172
7.1.2 S5m（CDE）的证明论174
7.2 S5m（CDE）的语义学179
7.2.1 一般的克里普克模型179
7.2.2 极大协调集和典型模型181
7.2.3 类K？上关系R的性质183
7.3 多主体系统的完全性和可靠性186
7.3.1 证明的思路186
7.3.2 证明（一）187
7.3.3 证明（二）199
第八章 共同知识、协同知识和互知211
8.1 共同信念和共同知识211
8.2 共同信念和共同知识逻辑系统概述212
8.2.1 C的语言212
8.2.2 个体信念的公理和规则213
8.3 共同信念的公理和规则216
8.3.1 公理系统216
8.3.2 极小系统KA217
8.3.3 KC型认知逻辑系统219
8.4 协同知识推理222
8.4.1 协同知识概述222
8.4.2 协同知识推理222
8.5 互知推理224
8.5.1 不完全互知推理225
8.5.2 互知逻辑系统K？225
8.5.3 完全互知推理示例227
8.5.4 用克里普克结构刻画额上有泥孩子的难题228
第九章 自认知逻辑232
9.1 自认知逻辑概述232
9.1.1 基本思想232
9.1.2 自认知逻辑的语言235
9.1.3 自认知逻辑的语义学237
9.1.4 自认知逻辑的证明论240
9.2 自认知理论的稳定扩张241
9.2.1 自认知理论的扩张241
9.2.2 稳定的扩张243
9.2.3 确定认知理论扩张的方法244
9.3 惟一知道逻辑250
9.3.1 惟一知道逻辑的语形和语义251
9.3.2 稳定集合和扩张257
9.3.3 惟一知道与稳定扩张259
9.3.4 惟一知道逻辑的证明论261
9.4 惟一知道关于逻辑264
9.4.1 OKA的语形和语义265
9.4.2 OKA的证明论267
9.5 知识和信念自认知逻辑268
9.5.1 信念算子引入269
9.5.2 系统AELB概述270
9.5.3 静态的自认知扩张276
第十章 信念变化的逻辑280
10.1 信念变化概述280
10.2 信念变化的行为逻辑283
10.2.1 命题动态逻辑284
10.2.2 行为逻辑AL初步288
10.2.3 扩张行为292
10.2.4 收缩行为296
10.2.5 修改行为301
10.2.6 改变信念的能力304
10.3 信念改变推理305
10.3.1 扩张和收缩305
10.3.2 修改、变化函数之间关系308
10.3.3 认知确立次序311
10.3.4 信念修改的途径314
参考文献322