论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统 被引量：3

1

作者 余军成 《贵州工程应用技术学院学报》 2017年第3期1-8,共8页

在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎系统与公理化系统... 在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎系统与公理化系统之间等价转化的方法论意义及局限性。这些工作有助于从理论和实践上客观地分析和评价这两种证明演算,为同一逻辑的矢列式自然演绎系统与公理化系统之间的等价转化提供方法论上的借鉴意义。 展开更多

关键词 直觉主义谓词逻辑 演绎定理 矢列式自然演绎系统 公理化系统 证明策略

下载PDF 职称材料

论直觉主义谓词逻辑的矢列式自然演绎系统 被引量：2

2

作者 余军成 何向东 《湖南科技大学学报（社会科学版）》 CSSCI 北大核心 2016年第5期30-35,共6页

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

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

原文传递

提高批判性思维教育质量的课程要求及其理论根基 被引量：2

3

作者 余军成 张存建 《贵州工程应用技术学院学报》 2018年第2期61-67,共7页

批判性思维教育在国外深受欢迎,以批判性思维能力和气质培养为基本导向。但是,国内关于批判性思维教育的规模不够,在逻辑学和教育学界的相关努力中,长期存在"互不往来"的现象。问题的原因不在于双方对教育理念及课程的把握,... 批判性思维教育在国外深受欢迎,以批判性思维能力和气质培养为基本导向。但是,国内关于批判性思维教育的规模不够,在逻辑学和教育学界的相关努力中,长期存在"互不往来"的现象。问题的原因不在于双方对教育理念及课程的把握,而在于对批判性思维教育文化语境的重视不够。为此,提升批判性思维教育质量,应当接受一个文化整体性视界,重视逻辑学和认知心理学对批判性思维课程的理论支撑,并为此接受一个广义的逻辑观。 展开更多

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

下载PDF 职称材料

论达米特的命题与事实观 被引量：1

4

作者 余军成 何向东 《科学技术哲学研究》 CSSCI 北大核心 2016年第1期43-47,共5页

在批判性地考察事实与陈述、命题与陈述、事实与命题、命题与实在的关系的基础上,达米特采用以退为进的方法,通过对罗素、维特根斯坦、弗雷格等哲学家的命题与事实观进行分析、比较、反思,最终形成自己的命题与事实观:事实是真命题(思... 在批判性地考察事实与陈述、命题与陈述、事实与命题、命题与实在的关系的基础上,达米特采用以退为进的方法,通过对罗素、维特根斯坦、弗雷格等哲学家的命题与事实观进行分析、比较、反思,最终形成自己的命题与事实观:事实是真命题(思想);实在不是由事实组成而是由事实决定的;命题(思想)是从话语即语言中抽象的且独立存在于语言之中。 展开更多

关键词 事实 陈述 命题 思想 实在

原文传递

可能世界语义下的本体论承诺 被引量：1

5

作者 董英东 何向东 《科学技术哲学研究》 CSSCI 北大核心 2015年第5期57-60,共4页

为了探索内涵语言的双重性,就需要研究外延逻辑语言之外的本体论承诺。拉约(Rayo)建议利用可能世界语义理论解释本体论承诺,认为任意特定的语义都可看作是用来阐述本体论承诺的不同框架,因此,需要在对象的真实存在和根据语义理论指派的... 为了探索内涵语言的双重性,就需要研究外延逻辑语言之外的本体论承诺。拉约(Rayo)建议利用可能世界语义理论解释本体论承诺,认为任意特定的语义都可看作是用来阐述本体论承诺的不同框架,因此,需要在对象的真实存在和根据语义理论指派的对象的存在之间做出区分。在可能世界语义理论中,解释反事实的情况则更加复杂。拉约对奎因的本体论标准的重建进行了剖析,并讨论了克里普克的语义理论及其对本体论承诺的传承。外延逻辑的语义,特别是一阶逻辑,无法跨越某些特定的理论来确定意义问题。可以用外延主义的方法来理解本体论承诺,普特南利用该方法说明了意义是确定的。 展开更多

关键词 可能世界 语义 外延 内涵 承诺

原文传递

高职院校基于创新人才培养的逻辑通识课考量 被引量：1

6

作者 张蕴 余军成 《贵州工程应用技术学院学报》 2015年第3期57-61,共5页

在新的时代背景下,高职院校应将培养创新型人才,即具有创新精神和创造能力,充满可持续发展潜力和职业迁移能力的"职业人"作为高职教育人才培养的重要目标。基于逻辑思维在思维创新过程中的关键作用,应以受教育者逻辑思维素质... 在新的时代背景下,高职院校应将培养创新型人才,即具有创新精神和创造能力,充满可持续发展潜力和职业迁移能力的"职业人"作为高职教育人才培养的重要目标。基于逻辑思维在思维创新过程中的关键作用,应以受教育者逻辑思维素质的培养作为实现人才培养目标的突破口。高职院校应大力推广逻辑通识课程,不断加快逻辑教学研究与课程建设,充分发挥逻辑学科在培养高素质的创新型人才方面的重要作用。 展开更多

关键词 创新 逻辑思维 逻辑通识教学 职业

下载PDF 职称材料

关于奎因的本体论标准的批判

7

作者 董英东 何向东 《科学技术哲学研究》 CSSCI 北大核心 2016年第3期44-48,共5页

奎因提出的本体论承诺的逻辑或语言的标准主要是为了讨论本体论承诺和语义之间的关系,是关于一阶语句的形式分析。对奎因的本体论承诺标准的批判主要有两条可能的进路,其一是对本体论标准的哲学价值的批判分析,其二是对奎因的系统化方... 奎因提出的本体论承诺的逻辑或语言的标准主要是为了讨论本体论承诺和语义之间的关系,是关于一阶语句的形式分析。对奎因的本体论承诺标准的批判主要有两条可能的进路,其一是对本体论标准的哲学价值的批判分析,其二是对奎因的系统化方法的局限性进行批判。语言逻辑的研究由外延研究向内涵研究的转变同样与探索本体论承诺有关。霍奇和拉约分别从这两方面对奎因的本体论标准进行了批判。 展开更多

关键词 本体论 承诺 批判 存在 逻辑

原文传递

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

8

作者 余军成 和宝珍 《毕节学院学报（综合版）》 2016年第3期59-65,共7页

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

关键词 经典命题逻辑矢列演算 保持高度收缩定理 保持高度收缩推论 收缩规则

下载PDF 职称材料

李斯思维的影响因子探析

9

作者 马赛 彭麟淋 《贵州工程应用技术学院学报》 2015年第4期65-69,共5页

人的思维总有地缘和历史的烙印,后期学术及文化的浸染更是不可忽视的原因。李斯思想中既有楚文化开放、积极、张扬、果敢的基因,又有儒家荀子趋利避害、帝王之术的思想,还受法家韩非以利相交、督责之术的影响,同时,秦国残酷的政治文化... 人的思维总有地缘和历史的烙印,后期学术及文化的浸染更是不可忽视的原因。李斯思想中既有楚文化开放、积极、张扬、果敢的基因,又有儒家荀子趋利避害、帝王之术的思想,还受法家韩非以利相交、督责之术的影响,同时,秦国残酷的政治文化也是十分重要的因素。 展开更多

关键词 楚文化 趋利避害 法治 政治文化

下载PDF 职称材料

基于逻辑程序的逻辑信息系统

10

作者 董英东 《贵州工程应用技术学院学报》 2017年第1期38-43,共6页

逻辑信息系统采用一致的方法并利用逻辑程序对信息进行刻画、查询,最后借助信息进行导航、分析和更新。逻辑在逻辑信息系统中,尤其在数据库模型中发挥着重要的作用。为此给出了逻辑信息系统的规则以及建立在系统基础上的程序。在逻辑程... 逻辑信息系统采用一致的方法并利用逻辑程序对信息进行刻画、查询,最后借助信息进行导航、分析和更新。逻辑在逻辑信息系统中,尤其在数据库模型中发挥着重要的作用。为此给出了逻辑信息系统的规则以及建立在系统基础上的程序。在逻辑程序中,通过对逻辑的内涵概念和外延概念的解释,可以对不同的逻辑程序进行优劣的比较,从而为选择最佳的逻辑程序提供标准。 展开更多

关键词 逻辑信息系统 逻辑程序 内涵 外延

下载PDF 职称材料

从人工智能看自然语言的动态逻辑

11

作者 董英东 《科学．经济．社会》 2018年第4期19-24,共6页

本文主要从人工智能视角研究动态的自然语言逻辑,探讨真值条件语义,动态修正和更新等动态系统以及可用来处理单主体和多主体之间的期望和博弈等问题,进而给出动态自然语言语句的一阶的语义,从语句层面转向会话语句和交流中的信息流,并... 本文主要从人工智能视角研究动态的自然语言逻辑,探讨真值条件语义,动态修正和更新等动态系统以及可用来处理单主体和多主体之间的期望和博弈等问题,进而给出动态自然语言语句的一阶的语义,从语句层面转向会话语句和交流中的信息流,并给出相应的语义系统、行为动态逻辑的公理系统,最后给出人工智能语言和计算程序逻辑的实例,探讨自然语言的动态逻辑在人工智能中的应用和哲学问题。 展开更多

关键词 人工智能 自然语言 动态语义 动态逻辑

下载PDF 职称材料

法律推理中的解释和一致性

12

作者 董英东 《贵州工程应用技术学院学报》 2015年第6期74-79,共6页

法律推理在法学理论实践中具有重要的作用,法官在判案的过程中必须理解法律,必须对法律的合理性给出足够的解释,并以此指导其司法实践或者对所给的判决做出辩护。在法哲学中所遇到的问题,多属于法律推理的范畴。可以从解释和一致性两方... 法律推理在法学理论实践中具有重要的作用,法官在判案的过程中必须理解法律,必须对法律的合理性给出足够的解释,并以此指导其司法实践或者对所给的判决做出辩护。在法哲学中所遇到的问题,多属于法律推理的范畴。可以从解释和一致性两方面对"法律推理"进行简洁的辨析,讨论法律推理的不同解释及其和法律的关系。解释和一致性在法律推理中具有重要的作用,法律推理和关于法律的推理是有区别的。 展开更多

关键词 法律推理 解释 一致性 必然的 适合的

下载PDF 职称材料

固定点逻辑和积封闭的关系分析

13

作者 董英东 《贵州工程应用技术学院学报》 2019年第3期1-9,共9页

标准一阶逻辑具有封闭性。其封闭性主要表现在三个方面,其一是在关系下是封闭的,其二是在谓词置换下是封闭的,其三是在某些积构造下也是封闭的。另外,这三条性质在扩充的一阶逻辑语言中也同样成立。通过对基于知识和信息流的认知逻辑中... 标准一阶逻辑具有封闭性。其封闭性主要表现在三个方面,其一是在关系下是封闭的,其二是在谓词置换下是封闭的,其三是在某些积构造下也是封闭的。另外,这三条性质在扩充的一阶逻辑语言中也同样成立。通过对基于知识和信息流的认知逻辑中公开宣告逻辑的扩充,刻画包括PDL和模态μ演算的模态固定点逻辑的模态语言可以定义严格的“积封闭”。均衡博弈为无穷博弈,以模态固定点逻辑为其博弈语义,均衡博弈具有历史约束确定的、有利于构建模态固定点逻辑的语义。 展开更多

关键词 固定点逻辑 积封闭 均衡博弈 信息流

下载PDF 职称材料

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

14

作者 余军成 《贵州工程应用技术学院学报》 2019年第3期10-15,共6页

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

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

下载PDF 职称材料