出版日期:2014-6-1
ISBN:9787516141062
作者:裘江杰
页数:255页
内容概要
裘江杰，1978年生，浙江奉化人，2007年博士毕业于北京大学，目前是中国人民大学哲学院讲师，主要从事符号逻辑研究，在《哲学研究》、《哲学动态》及《逻辑学研究》等刊物上发表过多篇专业论文。
书籍目录
第一章绪论
第一节预备知识
第二节典范问题研究简述
第三节本书的内容安排
第二章典范框架
第一节典范框架与逻辑
第二节典范框架的结构
第三节模态框架的拟模态理论
第四节模态框架的典范度
第五节模态框架上的拓扑结构
第三章典范的公式
第一节典范的模态公式
第二节强典范公式的一个刻画
第三节初等的公式
第四节初等典范的公式
第五节萨奎斯特公式与归纳公式
第六节萨奎斯特典范定理
第四章法因定理与法因问题
第一节法因定理
第二节初等完全与典范等价的逻辑
第三节逻辑KM
第四节一个典范但不初等的逻辑
第五章典范逻辑的几个侧面
第一节典范公理化
第二节典范公理化的逻辑
第三节具有有穷框架性的典范逻辑
第六章代数角度看典范
第一节代数与逻辑
第二节对偶
第三节法因定理的代数证明
参考文献
索引
后记
作者简介
《模态逻辑中的典范问题研究》分为六章。第一章是绪论。第二章梳理了对典范问题最核心的概念——典范框架的研究，将探讨典范框架的结构、典范框架的拟模态理论以及典范框架上的拓扑结构等内容。第三章从“微观的层面”上研究典范性，从公式的层面上讨论典范性及典范性与其他的性质，主要是初等性的关系。第四章介绍法因定理与法因问题，它们从“宏观的层面”来理解典范性。第五章则分别从可典范公理化、有穷框架性及可典范公理化逻辑类这三个角度研究典范性，可公理化与有穷框架性与逻辑的可判定性有密切的联系。