北京市哲学社会科学“十一五”规划项目(06BaZX022)

作品数：7被引量：23H指数：2
导出分析报告
相关作者：张晓君夏年喜郝一江邹崇理刘兰军更多>>
相关机构：中国社会科学院首都师范大学中国社会科学院哲学研究所更多>>
相关期刊：《西南大学学报（社会科学版）》《世界哲学》《哲学研究》《逻辑学研究》更多>>
相关主题：广义量词单调性对称性相交性模态逻辑更多>>
相关领域：哲学宗教自动化与计算机技术经济管理历史地理更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
论广义量词的对称性及相关性质
《西南大学学报（社会科学版）》2011年第S1期207-209,共3页张晓君 
"北京市哲学社会科学‘十一五'规划项目:逻辑语义学研究(06BaZX022)"资助
首先介绍相关的概念;其次,笔者证明了类型为〈1,1〉的广义量词的对称性与单调性的关系定理;然后,笔者给出了该类量词的余对称性、余相交性和余驻留性的定义;接着,笔者提出并证明了关于这三个性质的四个定理;最后,证明了余对称性与单调...
关键词：(余)对称性 (余)相交性 (余)驻留性 单调性 
广义量词的相关性质研究被引量：13
《逻辑学研究》2010年第3期67-79,共13页张晓君 
"北京市哲学社会科学‘十一五'规划项目:逻辑语义学研究(06BaZX022)"的资助
本文是笔者对S.Peters与D.Westerst(?)hl([7])的成果的拓展研究。首先介绍相关的概念。其次,笔者详细证明了类型为〈1,1〉的广义量词的对称性与单调性的关系定理。然后,笔者给出了该类量词的余对称性、余相交性和余驻留性定义,接着笔者...
关键词：对称性 相交性 余对称性和余相交性 单调性 数字三角形 
广义量词的单调性与数字三角形被引量：9
《重庆理工大学学报（社会科学）》2010年第3期18-24,共7页张晓君 郝一江 
北京市哲学社会科学"十一五"规划项目(06BaZX022)资助
回顾了广义量词的背景知识;在介绍数字三角形画法的基础之上,对S.Peters和D.Westerstahl的数字三角形简图进行了改进;在整理相关文献的基础之上,给出了更加全面的广义量词的单调性定义,并给出了更加全面的各种单调性的形式化表述,从而...
关键词：广义量词 单调递增 单调递减 数字三角形 数字三角形简图 
动态逻辑:关于程序的模态逻辑被引量：6
《哲学动态》2009年第11期90-94,共5页郝一江 张晓君 
北京市哲学社会科学"十一五"规划项目(06BaZX022)资助
关键词：动态逻辑 模态逻辑 程序 逻辑性质 数学工具 人工智能 语义分析 自然语言 
论类型逻辑语法的多种表述被引量：2
《哲学研究》2009年第11期119-125,共7页夏年喜 邹崇理 
北京市哲学社会科学"十一五"规划项目(编号06BaZX022)的资助
There are three basic methods presenting type-logical grammar:axiomatic presentation,Gentzen presentation and ND presentation(i.e. natural deduction presentation) . The presentations have the equal ability of deductio...
关键词：逻辑语法 语言学家 逻辑学家 计算过程 语言认知 
贝叶斯主义与指称主义
《世界哲学》2009年第2期33-38,共6页夏年喜 
国家社科基金项目(06BZX051);北京市哲学社会科学"十一五"规划项目(06BaZX022)资助
在意义理论中,指称主义的历史是最为悠久的,它受到的攻击也是最多的。对指称主义的攻击主要是针对同一性替换规则的,有太多的事例说明同一性替换规则不具有普遍性,这种攻击多是建立在归谬论证的基础上的。查尔默斯也认为指称主义是错误...
关键词：指称主义 贝叶斯主义 外延语境 内涵语境 
种属关系与亚里士多德直言三段论
《重庆工学院学报（社会科学版）》2009年第3期26-29,共4页刘兰军 夏年喜 
北京市哲学社会科学"十一五"规划项目(06BaZX022)资助
讨论了亚里士多德在判定三段论成立与否时用到的6条标准:一个词项作另一个词项的谓项、换位法、显示法、反例法、特称前提的不定性质和归谬法。这6条标准是可以用种属关系以及种属关系的准确的语言表述来进行解释的,这说明亚里士多德的...
关键词：直言三段论 种属关系 语言表述 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部