可能世界的名字

1星价 ¥23.0 (4.8折)

2星价￥23.0 定价￥48.0

作者：刘新文

出版社：中国社会科学出版社

本类榜单：哲学/宗教

分类：哲学/宗教 > 哲学 > 哲学理论

温馨提示：5折以下图书主要为出版社尾货，大部分为全新（有塑封/无塑封），个别图书品相8-9成新、切口有划线标记、光盘等附件不全详细品相说明>>

买过本商品的人还买了

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

周祯祥著

¥23.6¥62.0

暂无评论

图文详情

ISBN：9787516199626
装帧：一般胶版纸
册数：暂无
重量：暂无
开本：32开
页数：162
出版时间：2017-03-01
条形码：9787516199626 ; 978-7-5161-9962-6

本书特色

由刘新文、祝瑞等*的《可能世界的名字(精)》主要有以下内容：**，比较全面研究了作为模态逻辑新分支的混合逻辑，这些研究对象是以这一族逻辑中的*小系统为主；第二，在介绍可证性逻辑新阶段发展成果——核证逻辑的基础上，建立了混合的核证逻辑的*小系统，解决了国际*名逻辑学家Melvin Fitting在2010年提出的未解决问题。本书中的内容，不仅推动了国际、国内逻辑学界相关问题的研究进展，对于国内哲学界了解可能世界语义学、可证性等哲学概念的发展也具有重要意义。

内容简介

由刘新文、祝瑞等著的《可能世界的名字(精)》主要有以下内容：**，比较全面研究了作为模态逻辑新分支的混合逻辑，这些研究对象是以这一族逻辑中的*小系统为主；第二，在介绍可证性逻辑新阶段发展成果——核证逻辑的基础上，建立了混合的核证逻辑的*小系统，解决了国际著名逻辑学家Melvin Fitting在2010年提出的未解决问题。本书中的内容，不仅推动了国际、国内逻辑学界相关问题的研究进展，对于国内哲学界了解可能世界语义学、可证性等哲学概念的发展也具有重要意义。

前言 **章可能世界的名字一模态逻辑背景二混合逻辑的理论意义三混合逻辑简史第二章基本模态逻辑与时态逻辑一语言与逻辑二关系语义学三正规模态逻辑的公理系统四普通模态语言的表达能力第三章基本混合逻辑一基本混合语言二混合语言三混合逻辑四 Ku@和Ku 第四章一般完全性结果第五章混合时态逻辑一 Past算子二时态第六章混合语言的扩充一强力的模态词二模态约束词第七章可判定性、复杂性和内插性第八章证明方法简介一预备知识二加标演绎第九章后承演算一后承演算SC二后承@-演算三非标准的后承演算第十章自然推演系统一普通自然推演系统二布劳纳系统第十一章表列系统一混杂演算二 @-演算第十二章消解证明一 HyloRes二基于消解的自然推演系统第十三章混合的核证逻辑背景二基本混合核证逻辑三进一步的问题参考文献索引

展开全部