-
>
传习录
-
>
无障碍阅读典藏版:庄子全书
-
>
素书
-
>
孔子的世界——儒家文化的世界价值
-
>
王阳明全集(全四册)
-
>
生活与忆念
-
>
名家小全集(4册)
模态逻辑中的典范问题研究 版权信息
- ISBN:9787516141069
- 条形码:9787516141069 ; 978-7-5161-4106-9
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>>
模态逻辑中的典范问题研究 本书特色
自上个世纪七十年代以来,模态 逻辑学与计算科学、语言学等学科相 交互,得到了越来越多的关注,对其 自身的理论研究也得到了充分的发 展,形成了以完全理论、对偶理论及 对应理论为主要模块的研究领域。典 范问题源于完全性理论,与对偶理 论、对应理论及有穷模型性等研究方 向皆有密切关联,在典范问题研究中 也发掘出了许多自然且深刻的概念与 方法。裘江杰编著的这本《模态逻辑中的典范问题研 究》分别从典范框架、微观层面上的 公式、宏观层面上的逻辑以及典范逻 辑的可典范公理化、有穷框架性及可 典范公理化的逻辑类等角度系统探讨 了模态逻辑的典范性。 本书适合现代逻辑及相关专业的 研究人员和高校师生参考阅读。
模态逻辑中的典范问题研究 内容简介
裘江杰编著的这本《模态逻辑中的典范问题研究》分为六章。**章是绪论。第二章梳理了对典范问题*核心的概念——典范框架的研究,将探讨典范框架的结构、典范框架的拟模态理论以及典范框架上的拓扑结构等内容。第三章从“微观的层面”上研究典范性,从公式的层面上讨论典范性及典范性与其他的性质,主要是初等性的关系。第四章介绍法因定理与法因问题,它们从“宏观的层面”来理解典范性。第五章则分别从可典范公理化、有穷框架性及可典范公理化逻辑类这三个角度研究典范性,可公理化与有穷框架性与逻辑的可判定性有密切的联系。
模态逻辑中的典范问题研究 目录
**节 预备知识
第二节 典范问题研究简述
第三节 本书的内容安排
第二章 典范框架
**节 典范框架与逻辑
第二节 典范框架的结构
第三节 模态框架的拟模态理论
第四节 模态框架的典范度
第五节 模态框架上的拓扑结构
第三章 典范的公式
**节 典范的模态公式
第二节 强典范公式的一个刻画
第三节 初等的公式
第四节 初等典范的公式
第五节 萨奎斯特公式与归纳公式
第六节 萨奎斯特典范定理
第四章 法因定理与法因问题
**节 法因定理
第二节 初等完全与典范等价的逻辑
第三节 逻辑km
第四节 一个典范但不初等的逻辑
第五章 典范逻辑的几个侧面
**节 典范公理化
第二节 典范公理化的逻辑
第三节 具有有穷框架性的典范逻辑
第六章 代数角度看典范
**节 代数与逻辑
第二节 对偶
第三节 法因定理的代数证明
参考文献
索引
后记
模态逻辑中的典范问题研究 作者简介
裘江杰,1978年生,浙江奉化人,2007年博士毕业于北京大学,目前是中国人民大学哲学院讲师,主要从事符号逻辑研究,在《哲学研究》、《哲学动态》及《逻辑学研究》等刊物上发表过多篇专业论文。
- >
月亮虎
月亮虎
¥14.4¥48.0 - >
回忆爱玛侬
回忆爱玛侬
¥23.0¥32.8 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥9.3¥19.0 - >
二体千字文
二体千字文
¥14.0¥40.0 - >
巴金-再思录
巴金-再思录
¥14.7¥46.0 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥3.5¥10.0 - >
山海经
山海经
¥17.7¥68.0 - >
自卑与超越
自卑与超越
¥12.7¥39.8
-
林中路
¥32.8¥78 -
变老的哲学-反抗与放弃
¥18¥42 -
周国平人文讲演录:人生和性爱的难题
¥14.7¥39.8 -
中国哲学小史
¥14.9¥30 -
极端动物笔记-动物哲学卷
¥15.4¥42 -
宋代理学三书随劄
¥19¥32
冰雪奇缘
¥5.9¥19.8