达米特是20世纪最有影响的英国哲学家。他的哲学著作有三个特点:一是数量众多,其中,有许多是鸿篇巨著;二是语言晦涩难懂;三是技术性强。在达米特的哲学著作中,尤其是在数学理论的逻辑基础的哲学探讨中,他扬弃了真值条...
国内外学者普遍重视达米特哲学思想研究,然而,对达米特逻辑哲学思想缺乏系统研究,导致这种现状的主要原因,在于达米特哲学著述的晦涩难懂,就更不用说包括直觉主义逻辑这种技术性更强的逻辑著作。进一步研究达米特的直...
达米特系统地给出了直觉主义谓词逻辑的矢列式自然演绎系统N。在此基础上,我们给出一个与之等价的系统NSI,进一步探讨这两个系统的特点和证明策略,比较矢列式自然演绎系统与根岑的自然演绎系统的异同,并评价矢列式自然...
在批判性地考察事实与陈述、命题与陈述、事实与命题、命题与实在的关系的基础上,达米特采用以退为进的方法,通过对罗素、维特根斯坦、弗雷格等哲学家的命题与事实观进行分析、比较、反思,最终形成自己的命题与事实观...
余军成 何向东 《科学技术哲学研究》 2016年01期 期刊
批判性思维教育在国外深受欢迎,以批判性思维能力和气质培养为基本导向。但是,国内关于批判性思维教育的规模不够,在逻辑学和教育学界的相关努力中,长期存在"互不往来"的现象。问题的原因不在于双方对教育理...
在达米特给出的直觉主义谓词逻辑矢列演算系统L的基础上,构造一个与L等价的系统L~*,这有助于研究直觉主义命题逻辑的可判定性问题。与此同时,还构造经典谓词逻辑的矢列演算系统LK~*以及直觉主义谓词逻辑的矢列演算系统...
对案例、案例教学、案例教学法进行了阐释和说明;将传统逻辑关于概念、命题、演绎推理、归纳推理、类比推理、逻辑的基本规律以及现代逻辑关于命题逻辑等知识作为研究批判性思维教学的工具和方法;探讨逻辑学和批判性思...
本文选取克里普克(S．Kripke)《命名与必然性》这篇文章作为主要研究对象，力求客观理性探讨克里普克的历史因果命名理论。历史因果命名理论是一个从传统理论过渡并启示现代指称论研究的系统，是语言哲学关于指称论研...
在《结构证明论》~(1)中,切割规则可容许性定理的证明在经典命题逻辑矢列演算中有四个问题:切割高度计算存在错误;"切割公式仅在左前提中是主公式"与"切割公式不是左前提的主公式"自相矛盾;收缩规...
余军成 刘明元 《贵州民族大学学报(哲学社会科学版)》 2016年05期 期刊
关键词： 经典命题逻辑矢列演算 / 切割规则的可容许性定理 / 子公式性质 / 一致性
下载（33）| 被引（1）
论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统 CNKI文献
在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎...
本文主要对概念及其内涵与外延进行了梳理和比较,并分别进行了评论。
专名是严格的指示词,摹状词是非严格的指示词。确定名称的指称不必诉诸意义,只需要经过一个历史因果的命名链条,就可以确定一个名称的指称。由严格指示词构成的同一性真命题才是必然的真命题。历史因果命名理论与以往...
高校逻辑通识教育的困境具体表现在5个方面:师资队伍堪忧;教育观念比较落后;教学方法和手段单一;教学内容脱离实际;授课专业和学生覆盖面窄。在此基础上,提出6条对策:想方设法在全社会为逻辑通识教育营造良好的氛围;广...
中国逻辑史第十五次全国学术研讨会于2013年7月26日至29日在河南省鲁山县隆重召开。此次研讨会由中国逻辑学会中国逻辑史专业委员会主办,毕节学院逻辑与文化研究中心、平顶山学院伏牛山文化圈研究中心承办,贵州民族大...
在《结构证明论》中,给出保持高度收缩定理在经典命题逻辑矢列演算中的一个详细而完整的证明过程,得出保持高度收缩的推论并证明了该推论,指出保持高度收缩推论在证明切割规则的可容许性定理上有减少推导步骤的作用。
余军成 和宝珍 《贵州工程应用技术学院学报》 2016年03期 期刊
关键词： 经典命题逻辑矢列演算 / 保持高度收缩定理 / 保持高度收缩推论 / 收缩规则
下载（23）| 被引（0）
在《墨经》中,"止"作为一种重要的推理形式共出现四次:一是利用对当关系推理进行反驳;二是用反例反驳对方用简单枚举归纳推理得出的一般结论;三是用与对方演绎推理的大前提具有反对关系的命题来反驳对方演绎...
逻辑、数学与素质教育——以毕节学院逻辑学精品课程建设为... CNKI文献
从逻辑学精品课程建设发展的需要、大学生就业和深造的需要、学校内涵建设和社会长远发展的需要等三个方面分析"逻辑、数学与素质教育"课程的必要性。从师资力量、资料建设、后勤保障等三个方面论证其可行性...
关键词： 逻辑、数学与素质教育 / 逻辑学精品课程 / 必要性 / 可行性
下载（99）| 被引（2）
索尔.克里普克是美国著名的逻辑学家和哲学家。他的指示词理论为解决指称问题提供了一种重要的理论和方法,在逻辑哲学、语言哲学、分析哲学等领域影响深远。
自然种类词项(natural kind terms,以下简称NKT)属于通名,是衔接语言哲学和形而上学研究的纽带,指称则是NKT揭示世界的方式。在对经典名称语义理论的反思中,诉诸语用学解决语义问题成为NKT语义研究的一个趋势。从现有...
