混合空间逻辑
¥
24.64
5.0折
¥
49
九五品
仅1件
作者王轶
出版社浙江大学出版社
ISBN9787308162524
出版时间2016-10
版次1
装帧平装
开本16开
纸张胶版纸
页数500页
字数78000千字
定价49元
上书时间2024-07-21
商品详情
- 品相描述:九五品
- 商品描述
-
基本信息
书名:混合空间逻辑
定价:49.00元
作者:王轶
出版社:浙江大学出版社
出版日期:2016-10-01
ISBN:9787308162524
字数:78000
页码:500
版次:1
装帧:平装
开本:16开
商品重量:
编辑推荐
现代逻辑研究逐渐呈现向深层次和交叉领域发展的态势。对经典逻辑(以在20世纪初叶逐渐走向成熟的数理逻辑及其分支为主体)和“经典”的非经典逻辑(以在20世纪中叶逐渐走向成熟,并在20世纪末叶得到再发展的模态逻辑及其衍生领域为主体)的研究越来越成熟。其中,前者见证了逻辑学与数学交相辉映的时代,而后者则是数理逻辑与哲学、计算机科学等交互发展的舞台。进入新世纪以来,交叉研究的趋势更为显著,逻辑学在同语言学、心理学、社会学和经济学等的许多交叉领域都有新的成果出现。 知识是一个永恒的主题。王轶所著的《混合空间逻辑》,主要涉及混合逻辑、拓扑逻辑和子集空间逻辑等领域,但潜藏于背后并贯穿全书的是对知识与理性的逻辑刻画。
内容提要
混合空间逻辑是模态逻辑的两个子领域——子集空间逻辑和混合逻辑——的交叉分支。该逻辑可用于刻画知识以及认知努力的推理,并且比常见的认知逻辑具有更强的表达能力。王轶所著的《混合空间逻辑》系统化地介绍作者在混合空问逻辑这一领域的研究成果。阅读本书首先掌握命题逻辑和一阶逻辑的基本知识,熟悉模态逻辑相关内容的读者更易于进入本书的核心内容。本书可作为逻辑学、哲学、数学以及计算机等专业的教材,适合相关专业的老师和研究生参阅。
目录
前言插图目录表格目录章绪论1.1关于混合逻辑1.2关于拓扑语义学下的认知逻辑1.3本书章节安排1.4适用读者1.5术语、符号与相关约定1.5.1与形式语言相关的规定1.5.2与语义相关的规定1.5.3与证明系统相关的规定第2章经典模态逻辑2.1模态逻辑简述2.1.1基本模态逻辑2.1.2基本模态逻辑的推广2.1.3公理系统2.1.4常见模态系统2.2认知逻辑简述2.2.1经典认知逻辑(EL)2.2.2公开宣告逻辑(PAL)2.2.3任意公开宣告逻辑(APAL)第3章混合逻辑3.1基本混合逻辑H3.1.1不对称与起名字3.1.2状态名与标签3.1.3公理系统Kh3.2混合逻辑的扩充版本3.2.1混合算子3.2.2混合逻辑3.2.3混合逻辑3.2.4混合逻辑3.3框架完全性的一般性结论3.3.1纯完全性3.3.2萨科维斯特完全性3.4混合语言谱系3.4.1更多的混合算子3.4.2混合逻辑3.4.3混合语言及其语义3.4.4算子间的归约和语言表达能力3.5对应理论和可定义性3.5.1混合语言的一阶翻译3.5.2一阶语言F翻译到H(@)3.5.3模型可定义性3.5.4框架可定义性3.6混合逻辑的根岑演算3.6.1使用一阶语言解说混合语义3.6.2一阶逻辑的根岑演算3.6.3IECI:混合逻辑3.6.4GH(@,↓)与KH(@,↑)之比较3.6.5关于@前缀系统中的子公式性质3.7传统混合逻辑简史第4章拓扑逻辑4.1拓扑模型和子集模型4.2与拓扑空间有关的一些概念4.3谈论知识的拓扑逻辑4.3.1◇作闭包、口作内部4.3.2极小拓扑逻辑S44.4拓扑语义学中的不变性和可定义性4.4.1拓扑标准翻译4.4.2拓扑模型的互模拟4.4.3拓扑空间的可定义性4.5谈论信念的拓扑逻辑4.5.1◇作导集、口作余导集4.5.2极小导集逻辑wK4和信念逻辑KD454.6全称模态算子与差别算子4.7子集空间逻辑初步4.7.1基本语义4.7.2与拓扑逻辑的关系4.7.3公理系统4.7.4拓扑空间逻辑第5章子集空间逻辑5.1经典子集空间逻辑SSL5.2认知情境5.3子集空间逻辑的关系语义学5.3.1子集语义与R语义的弱对偶5.3.2子集语义与DR语义的对偶5.4子集空间逻辑的完全性定理5.4.1典范模型方法失效5.4.2逐步构造法:经由DR 模型5.5谈论认知退化的子集空间逻辑5.5.1知识退化与邻域扩张5.5.2同时谈论认知努力和退化的子集空间逻辑第6章子集语义下的公开宣告逻辑6.1动态性与静态性的语义区分6.1.1形式语义学的类型6.1.2如何在子集语义学中解释公开宣告?6.2语言、语义和表达能力6.2.1语言和子集语义学6.2.2表达能力6.2.3对偶6.3公理系统6.3.1子集语义学下的EL①逻辑6.3.2子集语义学下的EL①逻辑6.3.3子集语义学下的PAL①逻辑第7章混合子集空间逻辑7.1语言、语义及基本设定7.2混合子集空间逻辑的公理系统7.3混合子集空间逻辑的根岑演算7.3.1Cut消去7.3.2可靠性和强完全性7.3.3例:从H2(@)中证明SSL的公理和规则7.3.4一些问题的讨论7.4对应理论7.4.1H2(@,↓)的标准翻译7.4.2空间模型的可定义性第8章混合空间逻辑8.1邻域语义学8.2空间语义学8.3空间语义学与克里普克语义学8.3.1一个形象化的例子8.3.2将空间模型归约为幂集克里普克模型8.4混合空间逻辑8.5混合拓扑逻辑第9章结语9.1鉴往9.2知来参考文献索引后记
作者介绍
王轶,江苏南通人,1981年生,2009年获北京大学逻辑学博士学位,2013年获挪威卑尔根大学信息科学博士学位,目前任教于浙江大学人文学院。主要从事模态逻辑、主体与多主体系统的逻辑和社会网络的理论研究。
序言
— 没有更多了 —
以下为对购买帮助不大的评价