互模拟理论的逻辑研究
正版新书 新华官方库房直发 可开电子发票
￥ 48.75 7.5折 ￥ 65 全新
库存2件
作者姚从军 著
出版社科学出版社
ISBN9787030486202
出版时间2016-07
版次1
装帧平装
开本B5
纸张胶版纸
页数188页
字数249千字
定价65元
货号SC:9787030486202
上书时间2024-05-08
- 在售商品 暂无
- 平均发货时间 13小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
作者简介:
姚从军(1971-)，男，湖北随州人。南开大学哲学博士，中国社会科学院博士后。中国逻辑学会会员，中国语言逻辑专业委员会常务委员，湖南省逻辑学会副会长，湖南省重大决策咨询专家库专家，湖南省青年骨干教师，永州市青联委员和社科专家。现为湖南科技学院副教授，兼任湘潭大学硕士研究生导师。姚从军博士的主要研究领域为现代逻辑和语言逻辑．曾主持国家社科基金一般项目2项、中国博士后科学基金项目1项、湖南省社科基金项目3项和湖南省教学改革项目1项，参与国家社会科学基金重大招标项目2项；发表论文50余篇，包括18篇CSSCI来源刊，4篇CSSCI扩展版来源刊，被人大复印报刊《逻辑》转载3篇。2012年获中国博士后科学基金第52批面上资助；2011年获永州市第四届哲学社会科学优秀成果三等奖；2013年获永州市第五届哲学社会科学优秀成果二等奖；2014年获永州市第十届自然科学优秀成果二等奖。
内容简介:
本书基于逻辑视角，围绕互模拟展开系统而深入的研究。首先，梳理了互模拟在模态逻辑和非良基集合论中的发展历程，讨论了互模拟的性质；其次，阐述了互模拟在模态逻辑中的基本理论，比较互模拟与模态等价之间的关系，运用互模拟拓展模态模型构造技术，并给出"双模拟"概念，分析了"双模拟"的性质作用；再次，阐述了互模拟在集合论中的基本理论，对非良基集合进行分类，并抽象出方程组的解引理；最后，基于互模拟，揭示了模态逻辑与非良基集合论之间的内在联系。
目录:
序
绪论
第一节研究背景
第二节研究意义
第三节研究思路
第四节主要工作
第一章互模拟理论研究概况
第一节模态逻辑中互模拟理论的研究概况
一、互模拟产生的动因
二、互模拟的诞生
三、互模拟的运用研究
四、互模拟的纯理论研究
第二节集合论中互模拟理论的研究概况
一、互模拟的萌芽（1926—1982）
一、互模拟的产生及初步研究（1983—1987）
三、互模拟的深入研究（1988—2001）
四、互模拟的拓展研究（2002—）
第一部分互模拟与模态逻辑
第二章模态逻辑中互模拟的基本理论
第一节互模拟的定义
一、加标转换系统及相关概念
二、互模拟的定义
第二节互模拟的基本性质
第三节互模拟证明方法
第四节互模拟与模态逻辑
一、基础知识
二、互模拟及其不变性
三、互模拟等价性
四、互模拟与模态等价性之关系
第三章互模拟与模型构造
第一节经典的模态逻辑模型构造方法
一、不相交的并
二、生成子模型
三、有界态射
第二节两种非经典的模态模型构造方法：凸起和压延
一、凸起
二、压延
第三节模语言等价与模互模拟的商模型
一、∑—过滤商模型
二、模语言等价的商模型
三、模互模拟的商模型
四、模语言等价的商模型与模互模拟的商模型之
...
— 没有更多了 —
以下为对购买帮助不大的评价