广义模态逻辑PDF电子书下载
- 电子书积分:13 积分如何计算积分?
- 作 者:弓肇祥著
- 出 版 社:北京:中国社会科学出版社
- 出版年份:1993
- ISBN:7500410638
- 页数:378 页
目录 1
第一章一阶逻辑 1
第一节命题逻辑 1
一、命题和命题形式 1
二、命题逻辑的语言 3
三逻辑符号语义学 4
四、有效性 8
五、命题逻辑公理系统PM 13
第二节一阶谓词逻辑 19
一、个体词、谓词和量词 19
二、 一阶语言 22
三、一阶语言的语义学 25
四、一阶逻辑公理系统F 31
五、带等词的一阶谓词演算FI 34
第二章模态命题逻辑系统 36
第一节模态 36
一、真值模态和非真值模态 36
二、命题模态和事物模态 37
三、客观模态和主观模态 38
四、逻辑模态和物理模态 39
笫二节 真值模态命题形式 39
一、 一元模态命题形式 40
二、二元模态命题形式 42
第三节模态命题逻辑系统 43
一、模态逻辑系统K 44
二、模态逻辑系统T、S4、S5和B 53
三、模态函项和模态范式 71
第一节 真和可能世界 79
第三章 模态命题逻辑语义学 79
第二节标准模型 86
第三节 标准模型的扩充 92
第四节 生成模型 96
第四章 模态命题逻辑的系统特征 103
第一节可靠性 103
第二节 可演绎性和协调性 104
第三节极大性 109
第四节完备性 116
第五章模态谓词逻辑 121
第一节模态狭谓词逻辑 121
一、含量词的模态命题形式 121
二、模态狭胃词逻辑系统FT 124
三、模态谓词逻辑系统FS5 127
第二节带等词的一阶模态胃词逻辑 131
第三节模态谓词逻辑语义学 133
第六章模态逻辑系统概观 138
第一节路易斯型模态逻辑 138
一、路易斯模态逻辑的基本概念 138
二、路易斯的系统S1 141
三、路易斯的系统S2 152
四、路易斯的系统S3 155
五、路易斯的系统S4 163
六、路易斯的系统S5 167
七、哥德尔-费依斯-冯·赖特系统 171
八、其他路易斯型的模态系统 173
第二节 卢卡西维茨型的模态逻辑 179
一、卢卡西维茨的三值模态逻辑 179
二、卢卡西维茨的四值模态逻辑 182
三、模态代数 184
第三节阿克曼型模态逻辑 189
第四节 普赖尔型模态逻辑 192
第五节其他类型模态逻辑系统 203
一、可证明性的逻辑系统 203
二、模态逻辑概率的解释 205
第七章时态逻辑 208
第一节时态命题形式 208
第二节极小时态逻辑 211
一、极小时态逻辑系统Kt 211
二、系统Kt的语义学 216
三、系统Kt的扩充 222
第三节线性时态逻辑 225
一、线性时态逻辑系统CL 226
二、无终点线性时态逻辑系统SL 230
三、稠密线性系统PL 232
四、圆形时态逻辑系统PCr 233
第四节 分枝时态逻辑 237
第五节 米突时态逻辑 241
第六节 日期逻辑 244
第七节 以后和以前演算 248
第八节 早—迟演算 252
第九节量词时态逻辑 255
一、量词时态逻辑系统QKt 255
二、其他量词时态逻辑系统 262
第十节 时态逻辑的可靠性和完备性 268
一、时态逻辑的可靠性定理 268
二、时态逻辑的完备性定理 273
第十一节时间模态 280
第八章道义逻辑 290
第一节 一元道义逻辑 291
一、一元道义命题的基本形式 291
二、道义逻辑系统OK 294
三、一元道义逻辑系统概述 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
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编;包存宽 2020
- 《弗雷格逻辑主义研究》刘靖贤著 2019
- 《卡塞尔不欢迎逻辑》(西)恩里克·比拉-马塔斯著;施杰李,雪菲译 2019
- 《哲学教授送给孩子们的逻辑思考课》冀剑制 2019
- 《逻辑与计算机科学哲学》潘沁著 2019
- 《哈佛逻辑课》(中国)穆臣刚 2019
- 《新时代背景下碳泄漏的法律规制 理论逻辑与实现路径》姜明 2019
- 《确证难题的逻辑研究》顿新国著;张建军主编 2019
- 《普京 权力的逻辑》(德国)胡贝特·塞佩尔 2019
- 《海棠花粉电镜图谱》张往祥著 2018
- 《中等应变速率花岗岩的动态力学特性研究》夏祥著 2018
- 《闻一多与中国学术史》刘殿祥著 2020
- 《民国文化与文学研究文丛 五编 第4册 中国新文学广告图志 上》彭林祥著 2015
- 《马融年谱》吴从祥著 2019
- 《广州城市公共空间形态及其演进》周祥著 2019
- 《现代江南小城镇文学研究》余连祥著 2018
- 《大学生人际关系困惑及干预策略研究》李本祥著 2018
- 《大别山特色文化资源利用研究》余维祥著 2016
- 《党支部领导方法与创新》赵洪祥著 2018
- 《红色旅游的社会效应研究》吴春焕著 2019
- 《中国当代乡土小说文库 本乡本土》(中国)刘玉堂 2019
- 《社会学与人类生活 社会问题解析 第11版》(美)James M. Henslin(詹姆斯·M. 汉斯林) 2019
- 《异质性条件下技术创新最优市场结构研究 以中国高技术产业为例》千慧雄 2019
- 《中国铁路人 第三届现实主义网络文学征文大赛一等奖》恒传录著 2019
- 《莼江曲谱 2 中国昆曲博物馆藏稀见昆剧手抄曲谱汇编之一》郭腊梅主编;孙伊婷副主编;孙文明,孙伊婷编委;中国昆曲博物馆编 2018
- 《中国制造业绿色供应链发展研究报告》中国电子信息产业发展研究院 2019
- 《中国陈设艺术史》赵囡囡著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019