余军成

作品数：20被引量：18H指数：2
导出分析报告
供职机构：西南大学更多>>
发文主题：墨经《墨经》反驳逻辑学达米特更多>>
发文领域：哲学宗教语言文字文化科学自然科学总论更多>>
发文期刊：《贵州社会科学》《逻辑学研究》《科学技术哲学研究》《贵州民族大学学报（哲学社会科学版）》更多>>
所获基金：贵州省教育厅高等学校人文社会科学研究项目中央高校基本科研业务费专项资金国家社会科学基金教育部人文社会科学研究基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
达米特逻辑哲学思想研究的现状及反思
《贵州社会科学》2017年第1期60-65,共6页余军成 张学立 
中央高校基本科研业务费专项资金一般项目"达米特直觉主义逻辑演绎思想研究"(SWU1609140);国家社会科学基金西部项目"中西方必然推理比较研究--以<九章算术>刘徽注为对象"(11XZX009)
国内外学者普遍重视达米特哲学思想研究,然而,对达米特逻辑哲学思想缺乏系统研究,导致这种现状的主要原因,在于达米特哲学著述的晦涩难懂,就更不用说包括直觉主义逻辑这种技术性更强的逻辑著作。进一步研究达米特的直觉主义逻辑与哲学...
关键词：达米特 逻辑哲学 直觉主义 特点 问题 反思 
论直觉主义谓词逻辑的矢列式自然演绎系统被引量：2
《湖南科技大学学报（社会科学版）》2016年第5期30-35,共6页余军成 何向东 
中央高校基本科研业务费专项资金一般项目(SWU1609140);国家哲学社会科学基金重大项目(14ZDB016);国家哲学社会科学基金重点项目(12AZD073)
达米特系统地给出了直觉主义谓词逻辑的矢列式自然演绎系统N。在此基础上,我们给出一个与之等价的系统NSI,进一步探讨这两个系统的特点和证明策略,比较矢列式自然演绎系统与根岑的自然演绎系统的异同,并评价矢列式自然演绎系统的历史地...
关键词：直觉主义谓词逻辑 矢列式自然演绎系统 证明策略 
关于切割规则的可容许性定理的一个注释被引量：1
《贵州民族大学学报（哲学社会科学版）》2016年第5期103-117,共15页余军成 刘明元 
中央高校基本科研业务费专项资金一般项目“达米特直觉主义逻辑演绎思想研究”[项目编号:SWU1609140];国家社会科学基金西部项目“中西方必然推理比较研究--以《九章算术》刘徽注为对象”[项目编号:11XZX009]
在《结构证明论》^(1)中,切割规则可容许性定理的证明在经典命题逻辑矢列演算中有四个问题:切割高度计算存在错误;"切割公式仅在左前提中是主公式"与"切割公式不是左前提的主公式"自相矛盾;收缩规则指代含混;"切割规则的任何一个前提不...
关键词：经典命题逻辑矢列演算 切割规则的可容许性定理 子公式性质 一致性 可判定性 
论达米特的命题与事实观被引量：1
《科学技术哲学研究》2016年第1期43-47,共5页余军成 何向东 
贵州省教育厅高校人文社会科学研究青年项目(10QN35);国家哲学社会科学基金重大项目(14ZDB016);国家哲学社会科学基金项目(11BZX062);国家社会科学基金项目(11XZX009)
在批判性地考察事实与陈述、命题与陈述、事实与命题、命题与实在的关系的基础上,达米特采用以退为进的方法,通过对罗素、维特根斯坦、弗雷格等哲学家的命题与事实观进行分析、比较、反思,最终形成自己的命题与事实观:事实是真命题(思...
关键词：事实 陈述 命题 思想 实在 
关于先验偶然命题的批判性思考
《毕节学院学报（综合版）》2014年第2期39-44,共6页余军成 
贵州省教育厅高校人文社会科学研究项目"克里普克的历史因果命名理论研究"成果之一;项目编号:10QN35;毕节学院科学研究基金项目"克里普克的历史因果命名理论研究"成果之一;项目编号:20071016
从本体论和认识论两个方面,克里普克论证了"巴黎的标准米尺"是一个先验偶然命题。以语词和世界的关系为切入点,张海澎驳斥了克里普克的先验偶然命题。陈波分析论证了克里普克所举证的命题都不是先验偶然命题的适当例证。龙小平深入分析...
关键词：先验性 偶然性 先验偶然命题 严格指示词 指称定义 
中国逻辑史第十五次全国学术研讨会综述
《逻辑学研究》2014年第1期118-120,共3页余军成 张学立 
中国逻辑史第十五次全国学术研讨会于2013年7月26日至29日在河南省鲁山县隆重召开。此次研讨会由中国逻辑学会中国逻辑史专业委员会主办，毕节学院逻辑与文化研究中心、平顶山学院伏牛山文化圈研究中心承办，贵州民族大学、河南省逻辑...
关键词：全国学术研讨会 中国逻辑史 研讨会综述 财经学院 专家学者 专业委员会 逻辑史研究 文化研究 
论克里普克的历史因果命名理论
《毕节学院学报（综合版）》2013年第9期49-52,共4页余军成 吕进 
贵州省教育厅高校人文社会科学研究项目"克里普克的历史因果命名理论研究"成果之一;项目编号10QN35;毕节学院科学研究基金项目""成果之一;项目编号:20071016
专名是严格的指示词,摹状词是非严格的指示词。确定名称的指称不必诉诸意义,只需要经过一个历史因果的命名链条,就可以确定一个名称的指称。由严格指示词构成的同一性真命题才是必然的真命题。历史因果命名理论与以往那种或多或少地将...
关键词：专名 摹状词 严格指示词 可能世界 同一性命题 
自然种类的命名与严格指称
《毕节学院学报（综合版）》2013年第5期43-47,共5页张存建 余军成 
贵州省哲学社会科学规划课题"基于逻辑视域的自然种类词项指称机制研究"成果之一;项目编号:12GZQN26;江苏师范大学科研基金项目"自然种类词项指称机制研究"成果之一;项目编号:12XWR011;毕节学院科学研究基金项目"克里普克的历史因果命名理论研究"成果之一;项目编号:20071016
人们根据自然对象对人的影响命名自然种类,这种命名没有给自然种类词项接下来的使用奠定良好的认识论基础。克里普克以命名礼解释自然种类的命名,但不能解释自然种类词项在自然科学探究中的使用。接受克里普克式自然种类词项严格性,则...
关键词：自然种类 语义 严格性 
论《墨经·小取》的语义学思想被引量：1
《毕节学院学报（综合版）》2012年第9期96-100,共5页余军成 张丽萍 
教育部人文社会科学研究规划基金项目"<墨经>释义研究"。项目编号:12YJA740074;贵州省教育厅高校人文社会科学研究项目"高亨<墨经校诠>通假字研究"。项目编号:102C116
《墨经·小取》用替换与添加的方法形成词义的组合和聚合关系,体现了一定的语义学思想。具体表现在四个方面:词义的细微变化、范围的不同;语法结构在推理前后的不同;词与词组合的亲疏关系不同;动词类别的不同。
关键词：《墨经·小取》 语义学 思想 
NKT语义研究的现状及反思
《重庆理工大学学报（社会科学）》2012年第8期12-16,共5页余军成 张存建 
贵州省哲学社会科学规划课题"基于逻辑视域的自然种类词项指称机制研究"(12GZQN26);贵州省教育厅高校人文社会科学研究项目"克里普克的历史因果命名理论研究"(10QN35)
自然种类词项(natural kind terms,以下简称NKT)属于通名,是衔接语言哲学和形而上学研究的纽带,指称则是NKT揭示世界的方式。在对经典名称语义理论的反思中,诉诸语用学解决语义问题成为NKT语义研究的一个趋势。从现有科学研究对于NKT语...
关键词：自然种类词项 语用学 指称 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部