作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

达米特直觉主义逻辑哲学思想研究  CNKI文献

达米特是20世纪最有影响的英国哲学家。他的哲学著作有三个特点:一是数量众多,其中,有许多是鸿篇巨著;二是语言晦涩难懂;三是技术性强。在达米特的哲学著作中,尤其是在数学理论的逻辑基础的哲学探讨中,他扬弃了真值条...

余军成 导师:何向东 西南大学 2016-10-01 博士论文

关键词: 达米特 / 直觉主义逻辑 / 结构证明论 / 命题与事实

下载(306)| 被引(2)

达米特逻辑哲学思想研究的现状及反思  CNKI文献

国内外学者普遍重视达米特哲学思想研究,然而,对达米特逻辑哲学思想缺乏系统研究,导致这种现状的主要原因,在于达米特哲学著述的晦涩难懂,就更不用说包括直觉主义逻辑这种技术性更强的逻辑著作。进一步研究达米特的直...

余军成 张学立 《贵州社会科学》 2017年01期 期刊

关键词: 达米特 / 逻辑哲学 / 直觉主义 / 特点

下载(168)| 被引(0)

论直觉主义谓词逻辑的矢列式自然演绎系统  CNKI文献

达米特系统地给出了直觉主义谓词逻辑的矢列式自然演绎系统N。在此基础上,我们给出一个与之等价的系统NSI,进一步探讨这两个系统的特点和证明策略,比较矢列式自然演绎系统与根岑的自然演绎系统的异同,并评价矢列式自然...

余军成 何向东 《湖南科技大学学报(社会科学版)》 2016年05期 期刊

关键词: 直觉主义谓词逻辑 / 矢列式自然演绎系统 / 证明策略

下载(93)| 被引(3)

论达米特的命题与事实观  CNKI文献

在批判性地考察事实与陈述、命题与陈述、事实与命题、命题与实在的关系的基础上,达米特采用以退为进的方法,通过对罗素、维特根斯坦、弗雷格等哲学家的命题与事实观进行分析、比较、反思,最终形成自己的命题与事实观...

余军成 何向东 《科学技术哲学研究》 2016年01期 期刊

关键词: 事实 / 陈述 / 命题 / 思想

下载(164)| 被引(3)

提高批判性思维教育质量的课程要求及其理论根基  CNKI文献

批判性思维教育在国外深受欢迎,以批判性思维能力和气质培养为基本导向。但是,国内关于批判性思维教育的规模不够,在逻辑学和教育学界的相关努力中,长期存在"互不往来"的现象。问题的原因不在于双方对教育理...

余军成 张存建 《贵州工程应用技术学院学报》 2018年02期 期刊

关键词: 批判性思维教育 / 课程 / 理论 / 逻辑

下载(84)| 被引(1)

直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统  CNKI文献

在达米特给出的直觉主义谓词逻辑矢列演算系统L的基础上,构造一个与L等价的系统L~*,这有助于研究直觉主义命题逻辑的可判定性问题。与此同时,还构造经典谓词逻辑的矢列演算系统LK~*以及直觉主义谓词逻辑的矢列演算系统...

余军成 《贵州工程应用技术学院学报》 2019年03期 期刊

关键词: 直觉主义谓词逻辑 / 经典谓词逻辑 / 矢列演算系统

下载(37)| 被引(0)

逻辑学与批判性思维的案例教学法探析  CNKI文献

对案例、案例教学、案例教学法进行了阐释和说明;将传统逻辑关于概念、命题、演绎推理、归纳推理、类比推理、逻辑的基本规律以及现代逻辑关于命题逻辑等知识作为研究批判性思维教学的工具和方法;探讨逻辑学和批判性思...

余军成 《毕节学院学报》 2008年06期 期刊

关键词: 逻辑 / 批判性思维 / 案例教学法

下载(302)| 被引(4)

克里普克的历史因果命名理论探析  CNKI文献

本文选取克里普克(S.Kripke)《命名与必然性》这篇文章作为主要研究对象,力求客观理性探讨克里普克的历史因果命名理论。历史因果命名理论是一个从传统理论过渡并启示现代指称论研究的系统,是语言哲学关于指称论研...

余军成 导师:唐晓嘉 西南大学 2007-05-01 硕士论文

关键词: 专名 / 摹状词 / 指示词 / 本质主义

下载(396)| 被引(2)

关于切割规则的可容许性定理的一个注释  CNKI文献

在《结构证明论》~(1)中,切割规则可容许性定理的证明在经典命题逻辑矢列演算中有四个问题:切割高度计算存在错误;"切割公式仅在左前提中是主公式"与"切割公式不是左前提的主公式"自相矛盾;收缩规...

余军成 刘明元 《贵州民族大学学报(哲学社会科学版)》 2016年05期 期刊

论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统  CNKI文献

在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎...

余军成 《贵州工程应用技术学院学报》 2017年03期 期刊

关键词: 直觉主义谓词逻辑 / 演绎定理 / 矢列式自然演绎系统 / 公理化系统

下载(30)| 被引(1)

概念及其内涵和外延述评  CNKI文献

本文主要对概念及其内涵与外延进行了梳理和比较,并分别进行了评论。

余军成 《安徽文学(下半月)》 2007年01期 期刊

关键词: 概念 / 内涵 / 外延 / 本质属性

下载(430)| 被引(9)

论克里普克的历史因果命名理论  CNKI文献

专名是严格的指示词,摹状词是非严格的指示词。确定名称的指称不必诉诸意义,只需要经过一个历史因果的命名链条,就可以确定一个名称的指称。由严格指示词构成的同一性真命题才是必然的真命题。历史因果命名理论与以往...

余军成 吕进 《毕节学院学报》 2013年09期 期刊

关键词: 专名 / 摹状词 / 严格指示词 / 可能世界

下载(147)| 被引(2)

高校逻辑通识教育的困境、成因及对策研究  CNKI文献

高校逻辑通识教育的困境具体表现在5个方面:师资队伍堪忧;教育观念比较落后;教学方法和手段单一;教学内容脱离实际;授课专业和学生覆盖面窄。在此基础上,提出6条对策:想方设法在全社会为逻辑通识教育营造良好的氛围;广...

余军成 张学立 《西南农业大学学报(社会科学版)》 2012年07期 期刊

关键词: 高校 / 逻辑通识教育 / 困境 / 成因

下载(126)| 被引(2)

中国逻辑史第十五次全国学术研讨会综述  CNKI文献

中国逻辑史第十五次全国学术研讨会于2013年7月26日至29日在河南省鲁山县隆重召开。此次研讨会由中国逻辑学会中国逻辑史专业委员会主办,毕节学院逻辑与文化研究中心、平顶山学院伏牛山文化圈研究中心承办,贵州民族大...

余军成 张学立 《逻辑学研究》 2014年01期 期刊

关键词: 中国逻辑史研究 / 中国古代逻辑 / 研讨会综述

下载(96)| 被引(1)

论经典命题逻辑矢列演算的保持高度收缩定理  CNKI文献

在《结构证明论》中,给出保持高度收缩定理在经典命题逻辑矢列演算中的一个详细而完整的证明过程,得出保持高度收缩的推论并证明了该推论,指出保持高度收缩推论在证明切割规则的可容许性定理上有减少推导步骤的作用。

余军成 和宝珍 《贵州工程应用技术学院学报》 2016年03期 期刊

论《墨经》中的“止”式推理  CNKI文献

在《墨经》中,"止"作为一种重要的推理形式共出现四次:一是利用对当关系推理进行反驳;二是用反例反驳对方用简单枚举归纳推理得出的一般结论;三是用与对方演绎推理的大前提具有反对关系的命题来反驳对方演绎...

余军成 张丽萍 《西南大学学报(社会科学版)》 2011年01期 期刊

关键词: / 《墨经》 / 反驳 / 推理形式

下载(111)| 被引(0)

逻辑、数学与素质教育——以毕节学院逻辑学精品课程建设为...  CNKI文献

从逻辑学精品课程建设发展的需要、大学生就业和深造的需要、学校内涵建设和社会长远发展的需要等三个方面分析"逻辑、数学与素质教育"课程的必要性。从师资力量、资料建设、后勤保障等三个方面论证其可行性...

余军成 张学立 《毕节学院学报》 2009年12期 期刊

关键词: 逻辑、数学与素质教育 / 逻辑学精品课程 / 必要性 / 可行性

下载(99)| 被引(2)

指示词理论述评  CNKI文献

索尔.克里普克是美国著名的逻辑学家和哲学家。他的指示词理论为解决指称问题提供了一种重要的理论和方法,在逻辑哲学、语言哲学、分析哲学等领域影响深远。

余军成 《毕节学院学报》 2007年06期 期刊

关键词: 专名 / 摹状词 / 严格指示词 / 非严格指示词

下载(149)| 被引(1)

NKT语义研究的现状及反思  CNKI文献

自然种类词项(natural kind terms,以下简称NKT)属于通名,是衔接语言哲学和形而上学研究的纽带,指称则是NKT揭示世界的方式。在对经典名称语义理论的反思中,诉诸语用学解决语义问题成为NKT语义研究的一个趋势。从现有...

余军成 张存建 《重庆理工大学学报(社会科学)》 2012年08期 期刊

关键词: 自然种类词项 / 语用学 / 指称

下载(52)| 被引(0)

关于先验偶然命题的批判性思考  CNKI文献

从本体论和认识论两个方面,克里普克论证了"巴黎的标准米尺"是一个先验偶然命题。以语词和世界的关系为切入点,张海澎驳斥了克里普克的先验偶然命题。陈波分析论证了克里普克所举证的命题都不是先验偶然命题...

余军成 《毕节学院学报》 2014年02期 期刊

关键词: 先验性 / 偶然性 / 先验偶然命题 / 严格指示词

下载(46)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状