必然、蕴涵、世界与关系 模态逻辑的历史和基本理论探究PDF电子书下载
哲学宗教
- 作 者：周祯祥着
- 出 版 社：北京：北京师范大学出版社
- 出版年份：2017
- ISBN：9787303225224
- 页数：392 页
图书介绍：逻辑学不割断历史，逻辑学是在对语言不断完善的过程中发展起来的，这是撰写本书的两个基本出发点。依据这两个出发点，本书选择了四个基本范畴，必然、蕴涵、可能世界和可通达关系，并且讨论了这四个基本范畴的历史沿革，讨论了逻辑学家对这些范畴的基本观点。本书的第三个出发点是对模态逻辑内容的限定，模态基本理论，原则上限定在模态命题逻辑的范围之内。 查看图书目录点击购买PDF全本电子书 上一篇：谈美书简下一篇：问我 不可思议的答案之书 《必然、蕴涵、世界与关系 模态逻辑的历史和基本理论探究》目录 标签：模态 蕴涵 探究 逻辑 必然
第一章 必然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
相关图书
- 《程序逻辑及C语言编程》卢卫中，杨丽芳主编 2019
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编；包存宽 2020
- 《“互联网+”环境下图书馆的发展与管理探究》张欣着 2019
- 《弗雷格逻辑主义研究》刘靖贤着 2019
- 《互联网+时代的日语教学模式探究》郭晓雪着 2019
- 《中医学原理探究》祝世讷 2019
- 《卡塞尔不欢迎逻辑》（西）恩里克·比拉-马塔斯着；施杰李，雪菲译 2019
- 《探究辅导员思想教育工作新思路》徐姗姗 2019
- 《哲学教授送给孩子们的逻辑思考课》冀剑制 2019
- 《逻辑与计算机科学哲学》潘沁着 2019
作者其它书籍
- 《中风偏瘫 脑萎缩 痴呆 最新治疗原则与方法》孙作东着 2004
- 《水面舰艇编队作战运筹分析》谭安胜着 2009
- 《王蒙文集 新版 35 评点《红楼梦》 上》王蒙着 2020
- 《TED说话的力量 世界优秀演讲者的口才秘诀》（坦桑）阿卡什·P.卡里亚着 2019
- 《燕堂夜话》蒋忠和着 2019
- 《经久》静水边着 2019
- 《魔法销售台词》（美）埃尔默·惠勒着 2019
- 《微表情密码》（波）卡西亚·韦佐夫斯基，（波）帕特里克·韦佐夫斯基着 2019
- 《看书琐记与作文秘诀》鲁迅着 2019
- 《酒国》莫言着 2019
出版社其它书籍
- 《大学计算机实验指导及习题解答》曹成志，宋长龙 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《大学生心理健康与人生发展》王琳责任编辑；（中国）肖宇 2019
- 《大学英语四级考试全真试题 标准模拟 四级》汪开虎主编 2012
- 《大学英语教学的跨文化交际视角研究与创新发展》许丽云，刘枫，尚利明着 2020
- 《北京生态环境保护》《北京环境保护丛书》编委会编着 2018
- 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
- 《大学英语综合教程 1》王佃春，骆敏主编 2015
- 《大学物理简明教程 下 第2版》施卫主编 2020
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
本类热门
- 1人生没什么不可放下 弘一法师的人生智慧
- 2答案之书
- 3臣服实验
- 4天生不同 人格类型识别和潜能开发
- 5性史1926
- 6被讨厌的勇气 “自我启发之父”阿德勒的哲学课
- 7加缪手记 第1卷
- 8病由心灭
- 9当下的力量 珍藏版
- 10易经真的很容易 修订版
摘要：本文以《必然、蕴涵、世界与关系 模态逻辑的历史和基本理论探究.pdf电子书版文档下载》为中心，从历史渊源、基本理论、应用领域和发展趋势四个方面对模态逻辑进行了深入探讨，旨在揭示模态逻辑在哲学、逻辑学以及相关领域的重要地位和作用。
1、历史渊源
模态逻辑的历史可以追溯到古希腊时期，当时的哲学家们开始探讨“必然”和“可能”等概念。然而，真正意义上的模态逻辑研究始于19世纪末，德国哲学家弗雷格提出了“模态算子”的概念。此后，模态逻辑逐渐发展成为一门独立的学科，并在20世纪得到了迅速发展。本文首先回顾了模态逻辑的历史渊源，梳理了其发展脉络，为后续的理论探讨奠定了基础。
在历史渊源方面，模态逻辑的发展经历了多个阶段。从古希腊哲学到19世纪末的弗雷格，再到20世纪的卡尔纳普和蒙塔格等学者，模态逻辑逐渐形成了较为完整的理论体系。这一过程中，许多哲学家和逻辑学家对模态逻辑的发展做出了重要贡献，如康德、罗素、维特根斯坦等。
此外，模态逻辑的发展还受到了其他学科的影响，如数学、哲学、计算机科学等。这些学科的研究成果为模态逻辑提供了丰富的素材和理论支持，使得模态逻辑在各个领域得到了广泛应用。
2、基本理论
模态逻辑的基本理论主要包括模态算子、模态公式和模态推理等。本文从这三个方面对模态逻辑的基本理论进行了详细阐述。
首先，模态算子是模态逻辑的核心概念，它表示事物的必然性和可能性。常见的模态算子有“必然”、“可能”、“不可能”等。通过对模态算子的研究，可以揭示事物在不同世界中的状态和关系。
其次，模态公式是模态逻辑的基本语言，它由模态算子、命题变元和逻辑连接词组成。通过对模态公式的分析，可以研究不同世界之间的关系，以及事物在不同世界中的状态。
最后，模态推理是模态逻辑的重要研究内容，它探讨如何从已知模态公式推导出新的模态公式。通过对模态推理的研究，可以揭示模态逻辑的推理规则和证明方法。
3、应用领域
模态逻辑在哲学、逻辑学、计算机科学、人工智能等领域有着广泛的应用。本文从这三个方面对模态逻辑的应用领域进行了探讨。
在哲学领域，模态逻辑被用来研究必然性、可能性、现实性等概念，有助于深入理解事物的本质和规律。在逻辑学领域，模态逻辑为逻辑推理提供了新的工具和方法，有助于提高推理的准确性和有效性。在计算机科学和人工智能领域，模态逻辑被广泛应用于知识表示、推理、规划等领域，为这些领域的发展提供了有力支持。
此外，模态逻辑在法律、语言学、心理学等领域也有着一定的应用。例如，在法律领域，模态逻辑可以用来分析法律条文中的必然性和可能性，有助于提高法律条文的准确性和可操作性。
4、发展趋势
随着科技的不断进步，模态逻辑在各个领域的发展呈现出以下趋势：
首先，模态逻辑与其他学科的交叉融合日益加深，如认知科学、认知心理学等。这有助于从不同角度研究模态逻辑，推动其理论体系的完善。
其次，模态逻辑在应用领域的发展不断拓展，如大数据分析、智能决策等。这有助于提高模态逻辑在各个领域的应用价值。
最后，模态逻辑的研究方法不断创新，如形式化方法、计算机辅助推理等。这有助于提高模态逻辑的研究效率和准确性。
总结：
本文从历史渊源、基本理论、应用领域和发展趋势四个方面对模态逻辑进行了深入探讨，揭示了模态逻辑在哲学、逻辑学以及相关领域的重要地位和作用。随着科技的不断进步，模态逻辑在未来将发挥更加重要的作用。
本文由nayona.cn整理
联系我们
关注公众号
微信扫一扫
支付宝扫一扫
