姚从军
- 作品数：61 被引量：83H指数：6
- 供职机构：中国社会科学院哲学研究所更多>>
- 发文基金：国家社会科学基金湖南省哲学社会科学基金中国博士后科学基金更多>>
- 相关领域：哲学宗教文化科学政治法律理学更多>>
- 互模拟与非良基集合
- 2009年
- 描述两个系统的行为等价性,同态显得太弱,同构又显得太强,寻找一个介于同态与同构之间的概念就导致了互模拟的产生。互模拟有3个发源地,我们只从集合论这个角度来探究互模拟的起源。当人们把研究领域扩展到非良基集合时,通常的外延公理在判断非良基集合相等方面已显得无能为力,因此必须寻找新的更强的标准来断定集合的相等性,互模拟概念在集合论中应运而生。
- 姚从军
- 关键词：互模拟同构
- 互模拟理论的逻辑研究述评
- 2010年
- 在20世纪70年代前后，互模拟理论在许多领域被独立建立。自从范本特姆（Van Benthem）定理问世之后，互模拟被广泛地运用于模态逻辑的研究中，目前已成为模态逻辑模型论的一个核心概念；在集合论中，互模拟的研究不断向深度和广度扩展。当今，互模拟不断地被用到新的形式化理论中，这对于逻辑学，特别是哲学逻辑的进一步发展将起到极大的促进作用。
- 李娜姚从军
- 关键词：逻辑研究模态逻辑哲学逻辑模型论集合论
- 新自由主义思潮评述被引量：11
- 2009年
- 当代中国,社会思潮异常活跃,呈现出空前的多样性,中国思想界出现了影响广泛的自由主义、民族主义和"新左派"等社会思潮,集中反映了中国社会发展进程中的矛盾与冲突,鲜明表达了不同社会阶层、群体在急剧变动的时代的感受与愿望。本文试图重点论述新自由主义的发展脉络与历史,从而洞察到社会历史的情况及其走向。
- 姚从军
- 关键词：社会思潮新自由主义
- 组合范畴语法产生和发展的动因之分析——从句法演算的角度看被引量：2
- 2013年
- AB-演算刻画句法推演能力太弱,许多合语法的语句在AB-演算中没有合适的推演形式。斯蒂德曼(Steedman)在AB-演算基础上增加组合规则,产生了标准的组合范畴语法CCG;CCG刻画推演能力太强,不仅能推演出所有合语法的语句,而且可以推演出不合语法的语句;为制止非法句子的可推演性,就需要对推理规则做出限制,因为各种自然语言的特殊性,这种限制又会因语言而异,导致CCG失去一定的普遍性。鲍德里奇(Jason Baldridge)和克鲁伊夫(Geert-Jan M.Kruijff)把模态词引入CCG,由此产生了多模态组合范畴语法MMCCG;MMCCG摒弃了CCG的限制规则的策略,在词法上控制组合规则的适用性,不同语言语法的区别仅仅体现在词汇上,使语法逻辑走上了完全的词汇主义道路。
- 姚从军邹崇理
- 关键词：组合逻辑
- 互模拟在理论和实践中的应用被引量：1
- 2009年
- 互模拟是连接模态逻辑、计算机科学和集合论领域中许多重要理论的桥梁和纽带。可在扩展模态逻辑中证明一些结果,然后通过互模拟运用到过程理论中去;可以使用扩展模态公式描述不同的非良基集合的域;可以运用非良基集合来研究模态逻辑的可导出性。今天,互模拟因为各种目的广泛地应用在并行系统中;并行理论不仅仅与计算机科学有关,而且用在许多自然现象的模型化中;随着互模拟应用范围的扩大,如何把一个模型的随机部分反映到互模拟概念中去成了互模拟的一个研究方向;概率模型通常在几个应用领域被分析和定义;定义新颖的构造性的状态空间归约技术会大大提高概率模型检测效率,扩展概率模型检测范围。
- 姚从军
- 关键词：互模拟模态逻辑
- 双模拟与模态逻辑
- 2011年
- 首先基于模型上的模拟概念定义了模型上的双模拟概念,并给出双模拟模态不变性和模态等价性的定义。在此基础上,讨论了模态逻辑与双模拟之间的关系;进一步分别在语言ML(τ,Φ)和ML∞(τ,Φ)中分析了模态等价性与双模拟不变性之间的关系;最后证明了正存在模态公式与双模拟之间的关系,并把正存在模态公式刻画为一阶公式双模拟不变部分。
- 姚从军
- 关键词：双模拟模态逻辑
- 社会公平是解决穷人经济学的钥匙被引量：1
- 2009年
- 文章讨论穷人经济学与西奥多·舒尔茨的穷人经济学的区别与联系。西奥多·舒尔茨最初讲的是解决农业的贫困问题,而文章认为穷人经济学更具有普遍意义。正像温总理所说的"世界大多数是贫困人口,如果你懂得了穷人的经济学,那么你就会懂得经济学当中许多重要的原理。"温总理是从宏观经济学的角度来看"穷人的经济学"的。这是一个关乎社会发展公平与和谐的问题,是对传统经济学以增长方式带动效率提升的"富人理论"的一种修正。
- 姚从军
- 关键词：穷人穷人经济学非主流经济学
- 古典命题逻辑与模态命题逻辑的语义之比较
- 2009年
- 模态命题逻辑的语义解释与古典命题逻辑的语义解释相比:语义解释的构成要素增多了,增加了两个元素□和R,且相同要素V的作用范围扩大了;根据语义解释能够得出的永真式的数量增多了,故前者比后者的解释能力也大大增强。
- 姚从军
- 关键词：古典逻辑模态逻辑语义
- 马克思主义信仰是科学的信仰被引量：4
- 2008年
- 马克思主义的根本性质是实践性、革命性和科学性相统一的严密完整的科学思想体系,这一根本性质决定了马克思主义信仰具有科学性和充满人文精神,因此,马克思主义信仰实现了真和善的辩证统一。
- 姚从军
- 关键词：马克思主义人文信仰
- 逻辑学教育技术现代化论
- 2010年
- 现代教育技术应用于教育、教学是教育现代化的时代要求,也是实施素质教育的重要举措。逻辑学教育技术是关于学习过程和学习资源的设计、开发、利用、管理和评价的理论与实践。在逻辑教学中引入了LPL软件,可构造真值表的和一阶逻辑形式证明,学生网上提交并检查作业,增强了学生学习的主动性和创造性,激发了学生学习兴趣,大大提高了学习效率,节省了学习时间。
- 姚从军
- 关键词：教育技术真值表
