《互模拟理论的逻辑研究》从逻辑的角度研究互模拟,主要以模型论、集合论和模态逻辑的知识为背景,意在从历史层面揭示互模拟在模态逻辑和非良基集合论中的发展过程,从理论层面探讨互模拟的基本理论和作用。
《互模拟理论的逻辑研究》的内容主要包括互模拟的发展历程、互模拟的基本理论和性质、互模拟与模态等价之间的关系、基于互模拟的模态模型构造技术、基于互模拟的非良基集合的分类和方程组的解引理、基于互模拟的模态逻辑与非良基集合论之间的内在联系、“双模拟”的概念和性质。
《互模拟理论的逻辑研究》可供数学、逻辑学和计算机专业的研究生阅读.也可供那些对集合论和模型论感兴趣的读者阅读、参考。
更多科学出版社服务,请扫码获取。
适读人群 :本书可供数学、逻辑学和计算机专业的研究生阅读,也可供那些对集合论和模型论感兴趣的读者阅读、参考。
互模拟理论目前属于国际前沿研究课题,在国内外学术界没有见到系统介绍互模拟理论的专著。《互模拟理论的逻辑研究》一书的问世,为逻辑学、数学和计算机科学等领域的学者、师生熟悉和了解互模拟理论打开了方便之门,因此具有毋庸置疑的出版价值。 ——邹崇理(中国社会科学院哲学研究所研究员)
姚从军是我2011年招收,2014年出站的博士后,自此我们结下了师生之缘,我们是亦师亦友的关系。他在中国社会科学院哲学研究所博士后流动站的任务是协助导师完成国家社科基金的重大课题。在做课题的那些日子里,从军尊重师长、勤奋好学,以旺盛的精力攻读了大量专业文献;在研究团队中,他宽容大度,乐于助人,积极参与了团队的各种学术活动,这些都给我留下了深刻的印象。
从军自2002年攻读逻辑学硕士研究生以来,孜孜不倦地专攻现代逻辑,尤其是模态逻辑和语言逻辑。今天呈现在读者面前的《互模拟理论的逻辑研究》一书,是从军承担的国家社会科学基金项目“互模拟理论的逻辑研究”(12BZX060)的结项成果,是他数年辛勤劳作的结晶,是他科研生涯阶段性的标志。祝贺从军的收获!
在20世纪80年代左右,人们在计算机科学、模态逻辑和集合论中大体上同时发现了互模拟的概念。今天,互模拟理论在模态逻辑、集合论和计算机科学领域已经发挥了日益重要的作用。在模态逻辑方面,自从本特姆(Benthem)定理问世之后,互模拟被广泛地运用于模态逻辑的研究中,目前已成为模态逻辑模型论的一个核心概念;在集合论中,互模拟的研究不断向深度和广度扩展,互模拟理论也是非良基集合论的核心;在计算机科学中,互模拟理论广泛地应用在并发系统的研究中。当今,互模拟概念不断被用到新的形式化理论中,这对于逻辑学,特别是哲学逻辑的进一步发展将会起到更大的促进作用。
姚从军(1971- ),男,湖北随州人。南开大学哲学博士,中国社会科学院博士后。中国逻辑学会会员,中国语言逻辑专业委员会常务委员,湖南省逻辑学会副会长,湖南省重大决策咨询专家库专家,湖南省青年骨干教师,永州市青联委员和社科专家。现为湖南科技学院副教授,兼任湘潭大学硕士研究生导师。
姚从军博士的主要研究领域为现代逻辑和语言逻辑,曾主持国家社科基金一般项目2项、中国博士后科学基金项目1项、湖南省社科基金项目3项和湖南省教学改革项目1项,参与国家社会科学基金重大招标项目2项;发表论文50余篇,包括18篇CSSCI来源刊,4篇CSSCI扩展版来源刊,被人大复印报刊《逻辑》转载3篇。2012年获中国博士后科学基金第52批面上资助;2011年获永州市第四届哲学社会科学优秀成果三等奖;2013年获永州市第五届哲学社会科学优秀成果二等奖;2014年获永州市第十届自然科学优秀成果二等奖。
目录
序i
绪论1
第一节研究背景1
第二节研究意义2
第三节研究思路4
第四节主要工作5
第一章 互模拟理论研究概况6
第一节模态逻辑中互模拟理论的研究概况6
一、互模拟产生的动因6
二、互模拟的诞生8
三、互模拟的运用研究10
四、互模拟的纯理论研究12
第二节集合论中互模拟理论的研究概况13
一、互模拟的萌芽(1926—1982)13
二、互模拟的产生及初步研究(1983—1987)15
三、互模拟的深入研究(1988—2001)15
四、互模拟的拓展研究(2002—)17
第一部分互模拟与模态逻辑
第二章 模态逻辑中互模拟的基本理论21
第一节互模拟的定义21
一、加标转换系统及相关概念21
二、互模拟的定义22
第二节互模拟的基本性质24
第三节互模拟证明方法27
第四节互模拟与模态逻辑30
一、基础知识30
二、互模拟及其不变性31
三、互模拟等价性33
四、互模拟与模态等价性之关系34
第三章 互模拟与模型构造38
第一节经典的模态逻辑模型构造方法39
一、不相交的并39
二、生成子模型40
三、有界态射42
第二节两种非经典的模态模型构造方法:凸起和压延45
一、凸起45
二、压延47
第三节模语言等价与模互模拟的商模型51
一、-过滤商模型51
二、模语言等价的商模型53
三、模互模拟的商模型54
四、模语言等价的商模型与模互模拟的商模型之间的关系55
第四章 双模拟58
第一节双模拟的定义和性质58
一、双模拟的定义58
二、模拟和双模拟的一些基本性质60
第二节双模拟与模拟、互模拟之间的关系63
第三节双模拟与模态逻辑66
一、模型上的双模拟定义66
二、有关双模拟的一些事实67
第五章 互模拟和有界互模拟69
第一节基本概念69
第二节集合70
第三节知识结构71
第四节语言72
第五节艾伦芬赫特游戏73
第六节一些结论74
第二部分互模拟与非良基集合
第六章 互模拟与非良基公理81
第一节非良基集合的一些基本理论82
一、关系、集合与外延性83
二、可达点图及其装饰83
三、系统与互模拟85
第二节精确图与非良基公理93
一、精确图像93
二、外延性与BA1(BAFA的弱形式)94
三、外延的且严格的与YAFA95
四、芬斯勒-外延的与FAFA96
五、斯科特-外延的与SAFA96
六、强外延的与AFA98
七、FAFA或AFA98
第三节正则互模拟~与AFA~100
一、正则互模拟~100
二、公理模式AFA~102
三、ZFC+AFA的模型103
第四节正则互模拟≌*与AFA104
一、正则互模拟≌*104
二、非良基公理AFA107
三、AFA与FAFA的等价性107
四、ZFC+AFA的模型108
第五节正则互模拟≌与AFA109
一、正则互模拟≌109
二、非良基公理AFA111
三、SAFA与AFA的等价性112
四、AFA+ZFC的模型115
第六节正则互模拟与AFA115
一、正则互模拟115
二、非良基公理AFA118
三、AFA与AFA的等价性118
四、ZFC+AFA的模型121
第七章 非良基集合论的域和分类122
第一节非良基集合的域122
一、AFA之间的关系122
二、非良基集合的域124
第二节非良基集合的分类127
一、芬斯勒集合的分类127
二、斯科特集合的分类129
三、埃泽尔集合的分类130
第三节关于非良基集合论的一点余论131
第八章 非基础公理AFA与方程组的解133
第一节解引理133
一、从良基论域到非良基论域133
二、模型化方程组和方程组的解134
三、反基础公理AFA的解引理表达135
四、广义平坦方程组和典范平坦方程组137
第二节方程组之间的互模拟关系138
第三节广义方程组和广义解引理141
第四节ZFA的一致性145
一、模型M和Mafa146
二、平坦互模拟方程组148
三、ZFA150
第九章 集合的典范装饰与方程组的典范解155
第一节AFA解引理155
一、AFA集合论155
二、方程和方程组156
三、AFA解引理(在AFA下的解引理)157
第二节互模拟坍塌157
一、迭代互模拟坍塌157
二、完全坍塌162
第三节AFA解引理162
一、典范装饰162
二、典范解163
三、AFA解引理164
第三部分模态逻辑、非良基集合与互模拟
第十章 基于互模拟的模态逻辑与非良基集合论之关系169
第一节互模拟与模态逻辑语义169
一、模态逻辑的克里普克语义169
二、模态逻辑的集合论语义170
三、两种语义之间的关系171
第二节集合上的互模拟与模态等价173
一、集合上的互模拟和模态等价的含义173
二、集合上的互模拟与模态等价的关系173
参考文献177
一、著作177
二、论文类178
后记187