-
>
(精)清儒学案-九品(全10册)
-
>
素书
-
>
(精)周桂钿文集:秦汉思想研究(全7册)
-
>
海德格尔形式显示的实存哲学
-
>
毛泽东读书笔记解析.4:历史卷
-
>
中国学术名著丛书-杨树达:老子古义 周子古义
-
>
(精)斐多:柏拉图对话录(毛边本)
模态逻辑中的典范问题研究 版权信息
- ISBN:9787516141069
- 条形码:9787516141069 ; 978-7-5161-4106-9
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>>
模态逻辑中的典范问题研究 本书特色
自上个世纪七十年代以来,模态 逻辑学与计算科学、语言学等学科相 交互,得到了越来越多的关注,对其 自身的理论研究也得到了充分的发 展,形成了以完全理论、对偶理论及 对应理论为主要模块的研究领域。典 范问题源于完全性理论,与对偶理 论、对应理论及有穷模型性等研究方 向皆有密切关联,在典范问题研究中 也发掘出了许多自然且深刻的概念与 方法。裘江杰编著的这本《模态逻辑中的典范问题研 究》分别从典范框架、微观层面上的 公式、宏观层面上的逻辑以及典范逻 辑的可典范公理化、有穷框架性及可 典范公理化的逻辑类等角度系统探讨 了模态逻辑的典范性。 本书适合现代逻辑及相关专业的 研究人员和高校师生参考阅读。
模态逻辑中的典范问题研究 内容简介
裘江杰编著的这本《模态逻辑中的典范问题研究》分为六章。**章是绪论。第二章梳理了对典范问题*核心的概念——典范框架的研究,将探讨典范框架的结构、典范框架的拟模态理论以及典范框架上的拓扑结构等内容。第三章从“微观的层面”上研究典范性,从公式的层面上讨论典范性及典范性与其他的性质,主要是初等性的关系。第四章介绍法因定理与法因问题,它们从“宏观的层面”来理解典范性。第五章则分别从可典范公理化、有穷框架性及可典范公理化逻辑类这三个角度研究典范性,可公理化与有穷框架性与逻辑的可判定性有密切的联系。
模态逻辑中的典范问题研究 目录
**节 预备知识
第二节 典范问题研究简述
第三节 本书的内容安排
第二章 典范框架
**节 典范框架与逻辑
第二节 典范框架的结构
第三节 模态框架的拟模态理论
第四节 模态框架的典范度
第五节 模态框架上的拓扑结构
第三章 典范的公式
**节 典范的模态公式
第二节 强典范公式的一个刻画
第三节 初等的公式
第四节 初等典范的公式
第五节 萨奎斯特公式与归纳公式
第六节 萨奎斯特典范定理
第四章 法因定理与法因问题
**节 法因定理
第二节 初等完全与典范等价的逻辑
第三节 逻辑km
第四节 一个典范但不初等的逻辑
第五章 典范逻辑的几个侧面
**节 典范公理化
第二节 典范公理化的逻辑
第三节 具有有穷框架性的典范逻辑
第六章 代数角度看典范
**节 代数与逻辑
第二节 对偶
第三节 法因定理的代数证明
参考文献
索引
后记
模态逻辑中的典范问题研究 作者简介
裘江杰,1978年生,浙江奉化人,2007年博士毕业于北京大学,目前是中国人民大学哲学院讲师,主要从事符号逻辑研究,在《哲学研究》、《哲学动态》及《逻辑学研究》等刊物上发表过多篇专业论文。
- >
自卑与超越
自卑与超越
¥17.1¥39.8 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥14.3¥21.0 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥6.1¥19.0 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥8.4¥14.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥20.7¥39.8 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥40.8¥48.0 - >
中国历史的瞬间
中国历史的瞬间
¥17.9¥38.0