扫一扫
关注中图网
官方微博
¥20.3(3.3折)?
预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格（不含优惠券部分），仅供参考，未必等同于实际到手价。
促销活动:
本类五星书更多>
-
>
野菊花
-
>
我的父亲母亲 - 民国大家笔下的父母
-
>
吴宓日记续编.第7册.1965－1966
-
>
吴宓日记续编.第4册:1959－1960
-
>
吴宓日记续编.第3册:1957－1958
-
>
吴宓日记续编.第2册:1954－1956
-
>
吴宓日记续编.第1册:1949－1953
必然.蕴涵.世界与关系-模态逻辑的历史和基本理论探究 版权信息
- ISBN：9787303225224
- 条形码：9787303225224 ; 978-7-303-22522-4
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>
必然.蕴涵.世界与关系-模态逻辑的历史和基本理论探究 本书特色
逻辑学不割断历史，逻辑学是在对语言不断完善的过程中发展起来的，这是撰写本书的两个基本出发点。依据这两个出发点，本书选择了四个基本范畴，必然、蕴涵、可能世界和可通达关系，并且讨论了这四个基本范畴的历史沿革，讨论了逻辑学家对这些范畴的基本观点。本书的第三个出发点是对模态逻辑内容的限定，模态基本理论，原则上限定在模态命题逻辑的范围之内。
必然.蕴涵.世界与关系-模态逻辑的历史和基本理论探究 内容简介
逻辑学不割断历史，逻辑学是在对语言不断完善的过程中发展起来的，这是撰写本书的两个基本出发点。依据这两个出发点，本书选择了四个基本范畴，必然、蕴涵、可能世界和可通达关系，并且讨论了这四个基本范畴的历史沿革，讨论了逻辑学家对这些范畴的基本观点。本书的第三个出发点是对模态逻辑内容的限定，模态基本理论，原则上限定在模态命题逻辑的范围之内。
必然.蕴涵.世界与关系-模态逻辑的历史和基本理论探究 目录
**章 必然 **节 古典必然观 第二节 近代必然观 第三节 现代必然观第二章 蕴涵 **节 古典蕴涵 第二节 从古典蕴涵到现代蕴涵 第三节 实质蕴涵批判和严格蕴涵第三章 可能世界 **节 可能世界及其语义学的基本概念 第二节 可能世界的内涵语义学 第三节 内涵和K模型的其他概念第四章 可通达关系 **节 可通达关系的基本概念和性质 第二节 基本关系R的组合关系 第三节 关系R的合成第五章 模态K系统及其扩张 **节 从严格蕴涵系统到K系统 第二节 正规模态逻辑和模态扩张的相关概念 第三节 K扩张系统第六章 模态树图语义学 **节 K树图 第二节 K的扩张树图第七章 K和K扩张系统的完备性 **节 K和K扩张系统的可靠性 第二节 K和K扩张系统树图转换 第三节 K和K扩张系统的完全性证明第八章 典范模型和合成收敛方法 **节 典范模型方法 第二节 基于K的模态逻辑完全性证明 第三节 收敛性（G）公理及其对应的R性质第九章 模态逻辑基本理论的现代视野 **节 不完全性、模态语言和模态基本理论的新视角 第二节 标准翻译 第三节 关系结构中的不变性结果第十章 互模拟概念和模态逻辑 **节 互模拟概念 第二节 结构不变性和有限模型性质 第三节 更为丰富的模态逻辑和更为丰富的模态语言第十一章 模态逻辑、哲学和实在 **节 形而上学必然和逻辑必然 第二节 信念改变及其逻辑理论 第三节 行动、主体及其逻辑构想 第四节 模态逻辑基本理论的形而上学思考参考文献主要逻辑符号名词索引主要人名译名索引后记
展开全部
