孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索

必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究

必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: 作者
出版社: 北京师范大学出版社
2017-11
版次: 1
ISBN: 9787303225224
定价: 62.00
装帧: 平装
开本: 其他
页数: 392页
正文语种: 简体中文
原版书名: Necessity, Implication, World and Relation: research on history and basic theory of modal logic
分类: 历史
26人买过
  • 逻辑学不割断历史，逻辑学是在对语言不断完善的过程中发展起来的，这是撰写本书的两个基本出发点。依据这两个出发点，周祯祥著的《必然蕴涵世界与关系--模态逻辑的历史和基本理论探究》选择了四个基本范畴，必然、蕴涵、可能世界和可通达关系，并且讨论了这四个基本范畴的历史沿革，讨论了逻辑学家对这些范畴的基本观点。本书的第三个出发点是对模态逻辑内容的限定，模态基本理论，原则上限定在模态命题逻辑的范围之内。
                                     第一章 必然
     第一节 古典必然观
     第二节 近代必然观
     第三节 现代必然观
    第二章 蕴涵
     第一节 古典蕴涵
     第二节 从古典蕴涵到现代蕴涵
     第三节 实质蕴涵批判和严格蕴涵
    第三章 可能世界
     第一节 可能世界及其语义学的基本概念
     第二节 可能世界的内涵语义学
     第三节 内涵和K模型的其他概念
    第四章 可通达关系
     第一节 可通达关系的基本概念和性质
     第二节 基本关系R的组合关系
     第三节 关系R的合成
    第五章 模态K系统及其扩张
     第一节 从严格蕴涵系统到K系统
     第二节 正规模态逻辑和模态扩张的相关概念
     第三节 K扩张系统
    第六章 模态树图语义学
     第一节 K树图
     第二节 K的扩张树图
    第七章 K和K扩张系统的完备性
     第一节 K和K扩张系统的可靠性
     第二节 K和K扩张系统树图转换
     第三节 K和K扩张系统的完全性证明
    第八章 典范模型和合成收敛方法
     第一节 典范模型方法
     第二节 基于K的模态逻辑完全性证明
     第三节 收敛性（G）公理及其对应的R性质
    第九章 模态逻辑基本理论的现代视野
     第一节 不完全性、模态语言和模态基本理论的新视角
     第二节 标准翻译
     第三节 关系结构中的不变性结果
    第十章 互模拟概念和模态逻辑
     第一节 互模拟概念
     第二节 结构不变性和有限模型性质
     第三节 更为丰富的模态逻辑和更为丰富的模态语言
    第十一章 模态逻辑、哲学和实在
     第一节 形而上学必然和逻辑必然
     第二节 信念改变及其逻辑理论
     第三节 行动、主体及其逻辑构想
     第四节 模态逻辑基本理论的形而上学思考
    参考文献
    主要逻辑符号
    名词索引
    主要人名译名索引
    后记
  • 内容简介:
    逻辑学不割断历史，逻辑学是在对语言不断完善的过程中发展起来的，这是撰写本书的两个基本出发点。依据这两个出发点，周祯祥著的《必然蕴涵世界与关系--模态逻辑的历史和基本理论探究》选择了四个基本范畴，必然、蕴涵、可能世界和可通达关系，并且讨论了这四个基本范畴的历史沿革，讨论了逻辑学家对这些范畴的基本观点。本书的第三个出发点是对模态逻辑内容的限定，模态基本理论，原则上限定在模态命题逻辑的范围之内。
  • 目录:

                                     第一章 必然
     第一节 古典必然观
     第二节 近代必然观
     第三节 现代必然观
    第二章 蕴涵
     第一节 古典蕴涵
     第二节 从古典蕴涵到现代蕴涵
     第三节 实质蕴涵批判和严格蕴涵
    第三章 可能世界
     第一节 可能世界及其语义学的基本概念
     第二节 可能世界的内涵语义学
     第三节 内涵和K模型的其他概念
    第四章 可通达关系
     第一节 可通达关系的基本概念和性质
     第二节 基本关系R的组合关系
     第三节 关系R的合成
    第五章 模态K系统及其扩张
     第一节 从严格蕴涵系统到K系统
     第二节 正规模态逻辑和模态扩张的相关概念
     第三节 K扩张系统
    第六章 模态树图语义学
     第一节 K树图
     第二节 K的扩张树图
    第七章 K和K扩张系统的完备性
     第一节 K和K扩张系统的可靠性
     第二节 K和K扩张系统树图转换
     第三节 K和K扩张系统的完全性证明
    第八章 典范模型和合成收敛方法
     第一节 典范模型方法
     第二节 基于K的模态逻辑完全性证明
     第三节 收敛性（G）公理及其对应的R性质
    第九章 模态逻辑基本理论的现代视野
     第一节 不完全性、模态语言和模态基本理论的新视角
     第二节 标准翻译
     第三节 关系结构中的不变性结果
    第十章 互模拟概念和模态逻辑
     第一节 互模拟概念
     第二节 结构不变性和有限模型性质
     第三节 更为丰富的模态逻辑和更为丰富的模态语言
    第十一章 模态逻辑、哲学和实在
     第一节 形而上学必然和逻辑必然
     第二节 信念改变及其逻辑理论
     第三节 行动、主体及其逻辑构想
     第四节 模态逻辑基本理论的形而上学思考
    参考文献
    主要逻辑符号
    名词索引
    主要人名译名索引
    后记
查看详情
相关分类
中国史 世界史 地方史志 普及读物 历史研究与评论 史家名著 文物考古 人物传记
相关图书 / 更多
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
必然性效应的相对生物效能
田志恒 译；龚德荫 校
￥15.00 起
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
必然
[美]凯文·凯利 著；周峰、董理、金阳 译
￥0.50 起
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
必然、可能与矛盾 : 乔恩·埃尔斯特《逻辑与社会 》解析
曾庆福 著
￥6.47 起
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
必然
金占明
￥3.00 起
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
必然
Kevin、Kelly（凯文·凯利） 著
￥1.00 起
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
必然与偶然：何兆武谈历史
何兆武 著
￥2.00 起
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
必然（修订版）
Kevin Kelly(凯文·凯利
￥24.80 起
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
必然帝国:新世界的奴役.自由与骗局 美格雷格？格兰丁GregGrandin 著 陈晓霜 叶宪允 译
[美]格雷格·格兰丁（GregGrandin）
￥9.00 起
您可能感兴趣 / 更多
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
2022执业药师职业资格考试·同步练习题集·中药学专业知识（二）
周祯祥；梅全喜；张廷模
￥78.00 起
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
临床中药学·全国中医药行业高等教育“十四五”规划教材
周祯祥、唐德才 著
￥20.00 起
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
张仲景药物学（第3版）(张仲景医学全集）
周祯祥、李晶晶 著
￥10.00 起
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
本草药征
周祯祥 著
￥30.00 起
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
中药学速记（应考掌中宝）
周祯祥 著
￥0.04 起
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
皮尔斯 刘易斯 蒯因——实用主义哲学家和模态逻辑
周祯祥 著
￥12.00 起
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
张仲景医学全书：张仲景药物学（第2版）
周祯祥 编
￥7.00 起
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
细辛古今研究与临床应用
周祯祥 主编
￥50.00 起
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
临床中药研究心得
周祯祥 著
￥27.00 起
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
肝胆病效方230首
周祯祥 编
￥6.80 起
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
新编皮肤病验方荟萃
周祯祥 编
￥50.00 起
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究
新编男科验方荟萃
周祯祥 著
￥15.00 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全