广义模态逻辑PDF电子书下载
哲学宗教
- 作 者：弓肇祥着
- 出 版 社：北京：中国社会科学出版社
- 出版年份：1993
- ISBN：7500410638
- 页数：378 页
图书介绍： 查看图书目录点击购买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
相关图书
- 《程序逻辑及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
本类热门
- 1人生没什么不可放下 弘一法师的人生智慧
- 2答案之书
- 3臣服实验
- 4天生不同 人格类型识别和潜能开发
- 5性史1926
- 6被讨厌的勇气 “自我启发之父”阿德勒的哲学课
- 7加缪手记 第1卷
- 8病由心灭
- 9当下的力量 珍藏版
- 10易经真的很容易 修订版
摘要：本文旨在详细探讨“广义模态逻辑.pdf电子书版文档下载”这一主题，从文档的下载途径、内容概述、应用领域以及未来发展趋势四个方面进行深入分析，以期为读者提供全面了解和认识这一领域的参考。
1、下载途径
“广义模态逻辑.pdf电子书版文档下载”的途径多样，包括学术网站、图书馆资源、在线书店等。用户可以通过搜索引擎输入关键词，如“广义模态逻辑下载”、“广义模态逻辑电子书”等，找到相关下载链接。此外，一些学术论坛和社交平台也分享有此类文档的下载资源。
在下载过程中，用户需注意选择正规渠道，确保文档的真实性和安全性。同时，部分文档可能需要付费或注册账号才能下载，用户需根据自身需求进行选择。
值得注意的是，下载过程中要遵守版权法规，尊重原作者的知识产权，避免侵犯他人权益。
2、内容概述
“广义模态逻辑.pdf电子书版文档下载”主要介绍了广义模态逻辑的基本概念、发展历程、研究方法以及应用领域。文档内容丰富，涵盖了从经典模态逻辑到现代广义模态逻辑的演变过程。
在内容上，文档首先阐述了模态逻辑的定义、性质和特点，然后介绍了广义模态逻辑的起源、发展及其在各个领域的应用。此外，文档还探讨了广义模态逻辑与其他逻辑学分支的关系，以及其在人工智能、计算机科学、哲学等领域的应用前景。
通过阅读该文档，读者可以全面了解广义模态逻辑的理论体系，为后续研究提供理论基础。
3、应用领域
广义模态逻辑在多个领域具有广泛的应用，主要包括：
1）人工智能：广义模态逻辑在人工智能领域主要用于知识表示、推理和规划等方面。通过引入模态算子，可以更好地描述现实世界中的不确定性、模糊性和不确定性。
2）计算机科学：广义模态逻辑在计算机科学中的应用主要体现在程序验证、软件工程和形式化方法等方面。通过运用模态逻辑，可以提高软件质量和可靠性。
3）哲学：广义模态逻辑在哲学领域主要用于研究知识、信念、可能性等概念。通过引入模态算子，可以更好地分析哲学问题，如知识论、认识论和形而上学等。
4、未来发展趋势
随着人工智能、计算机科学和哲学等领域的不断发展，广义模态逻辑在未来将呈现以下发展趋势：
1）跨学科研究：广义模态逻辑将与其他学科如认知科学、语言学、心理学等相结合，形成新的研究热点。
2）应用拓展：广义模态逻辑将在更多领域得到应用，如生物信息学、环境科学等。
3）理论创新：在现有理论基础上，广义模态逻辑将不断涌现新的理论和方法，为相关领域的研究提供有力支持。
总结：
本文从下载途径、内容概述、应用领域以及未来发展趋势四个方面对“广义模态逻辑.pdf电子书版文档下载”进行了详细阐述。通过阅读该文档，读者可以全面了解广义模态逻辑的理论体系、应用前景和未来发展趋势。
本文由nayona.cn整理
联系我们
关注公众号
微信扫一扫
支付宝扫一扫
