-
>
道德经说什么
-
>
电商勇气三部曲:被讨厌的勇气+幸福的勇气+不完美的勇气2
-
>
新时期宗教工作与管理
-
>
帛书道德经
-
>
传习录
-
>
齐奥朗作品·苦论
-
>
无障碍阅读典藏版:庄子全书
模态逻辑中的典范问题研究 版权信息
- ISBN:9787516141069
- 条形码:9787516141069 ; 978-7-5161-4106-9
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>>
模态逻辑中的典范问题研究 本书特色
自上个世纪七十年代以来,模态 逻辑学与计算科学、语言学等学科相 交互,得到了越来越多的关注,对其 自身的理论研究也得到了充分的发 展,形成了以完全理论、对偶理论及 对应理论为主要模块的研究领域。典 范问题源于完全性理论,与对偶理 论、对应理论及有穷模型性等研究方 向皆有密切关联,在典范问题研究中 也发掘出了许多自然且深刻的概念与 方法。裘江杰编著的这本《模态逻辑中的典范问题研 究》分别从典范框架、微观层面上的 公式、宏观层面上的逻辑以及典范逻 辑的可典范公理化、有穷框架性及可 典范公理化的逻辑类等角度系统探讨 了模态逻辑的典范性。 本书适合现代逻辑及相关专业的 研究人员和高校师生参考阅读。
模态逻辑中的典范问题研究 内容简介
裘江杰编著的这本《模态逻辑中的典范问题研究》分为六章。**章是绪论。第二章梳理了对典范问题*核心的概念——典范框架的研究,将探讨典范框架的结构、典范框架的拟模态理论以及典范框架上的拓扑结构等内容。第三章从“微观的层面”上研究典范性,从公式的层面上讨论典范性及典范性与其他的性质,主要是初等性的关系。第四章介绍法因定理与法因问题,它们从“宏观的层面”来理解典范性。第五章则分别从可典范公理化、有穷框架性及可典范公理化逻辑类这三个角度研究典范性,可公理化与有穷框架性与逻辑的可判定性有密切的联系。
模态逻辑中的典范问题研究 目录
**节 预备知识
第二节 典范问题研究简述
第三节 本书的内容安排
第二章 典范框架
**节 典范框架与逻辑
第二节 典范框架的结构
第三节 模态框架的拟模态理论
第四节 模态框架的典范度
第五节 模态框架上的拓扑结构
第三章 典范的公式
**节 典范的模态公式
第二节 强典范公式的一个刻画
第三节 初等的公式
第四节 初等典范的公式
第五节 萨奎斯特公式与归纳公式
第六节 萨奎斯特典范定理
第四章 法因定理与法因问题
**节 法因定理
第二节 初等完全与典范等价的逻辑
第三节 逻辑km
第四节 一个典范但不初等的逻辑
第五章 典范逻辑的几个侧面
**节 典范公理化
第二节 典范公理化的逻辑
第三节 具有有穷框架性的典范逻辑
第六章 代数角度看典范
**节 代数与逻辑
第二节 对偶
第三节 法因定理的代数证明
参考文献
索引
后记
模态逻辑中的典范问题研究 作者简介
裘江杰,1978年生,浙江奉化人,2007年博士毕业于北京大学,目前是中国人民大学哲学院讲师,主要从事符号逻辑研究,在《哲学研究》、《哲学动态》及《逻辑学研究》等刊物上发表过多篇专业论文。
- >
我与地坛
我与地坛
¥16.4¥28.0 - >
推拿
推拿
¥12.2¥32.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥15.7¥45.8 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥21.6¥48.0 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥6.7¥19.0 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
莉莉和章鱼
莉莉和章鱼
¥14.4¥42.0 - >
山海经
山海经
¥18.7¥68.0
-
脑海中的声音:自我对话的历史与科学
¥22.5¥49 -
孔子的智慧-精装典藏新善本
¥14.4¥28 -
水浒传的政治谋略
¥15¥25 -
我的生命哲学(九品)
¥25.9¥58 -
周国平人文讲演录:人生和性爱的难题
¥13.9¥39.8 -
宋代理学三书随劄
¥15.7¥32
多水平统计模型及其在预防和临床医学中的应用
¥60.8¥72.0解析数论基础
¥314.4¥398.0