云南高校图书馆联盟文献共享服务平台- 董英东

董英东: 作品数：23被引量：6H指数：1; 导出分析报告; 供职机构：西南大学政治与公共管理学院更多>>; 发文主题：逻辑模态逻辑逻辑系统归纳逻辑承诺更多>>; 发文领域：哲学宗教自动化与计算机技术自然科学总论理学更多>>; 发文期刊：《唐山学院学报》《自然辩证法研究》《西南大学学报（社会科学版）》《燕山大学学报（哲学社会科学版）》更多>>; 所获基金：贵州省优秀科技教育人才省长资金项目国家社会科学基金贵州省社科规划课题中国博士后科学基金更多>>

关于奎因的本体论标准的批判: 《科学技术哲学研究》2016年第3期44-48,共5页董英东何向东; 国家社会科学基金重大项目(12AZD073);国家社科基金重大项目(15ZDB018);国家社科基金项目(11BZX062);教育部人文社科研究西部项目(12XJA7204001);高层次人才项目(G2012002);贵州省优秀科技教育人才省长基金资助项目(201250);第54批博士后面上资助工程项目(2013M542251); 奎因提出的本体论承诺的逻辑或语言的标准主要是为了讨论本体论承诺和语义之间的关系,是关于一阶语句的形式分析。对奎因的本体论承诺标准的批判主要有两条可能的进路,其一是对本体论标准的哲学价值的批判分析,其二是对奎因的系统化方...; 关键词：本体论承诺批判存在逻辑

可能世界语义下的本体论承诺被引量：1: 《科学技术哲学研究》2015年第5期57-60,共4页董英东何向东; 国家社会科学基金重大项目(12AZD073);贵州省优秀科技教育人才省长基金资助项目([2012]50);贵州省社科规划基金一般项目(14GZYB10);贵州省教育厅一般基金资助项目(12GZJY20);毕节学院高层次人才基金资助项目(G2012003);贵州省科技厅联合基金资助项目(LKB201224);第54批博士后面上资助项目(2013M542251); 为了探索内涵语言的双重性,就需要研究外延逻辑语言之外的本体论承诺。拉约(Rayo)建议利用可能世界语义理论解释本体论承诺,认为任意特定的语义都可看作是用来阐述本体论承诺的不同框架,因此,需要在对象的真实存在和根据语义理论指派的...; 关键词：可能世界语义外延内涵承诺

自然语言的本体论承诺: 《自然辩证法研究》2015年第5期93-98,共6页董英东何向东; 国家社会科学基金重大项目(12AZD073);贵州省教育厅一般基金资助项目(12GZJY20);贵州省科技厅联合基金资助项目(LKB201224); 定义自然语言的本体论承诺比较复杂,需要选择关于自然语言的特定的语义理论,揭示自然语言的本体论承诺依赖对所使用的自然语言的语义装置的研究。逻辑语言是处理自然语言的表达意义的媒介工具,形式工具的表达力依赖所使用的逻辑语言,需...; 关键词：自然语言本体承诺存在

逻辑及其在知识研究中的作用: 《唐山学院学报》2014年第5期9-12,84,共5页董英东; 国家社会科学基金重点项目(11BAZD057);贵州省优秀科技教育人才省长基金资助项目(201250);贵州省社科规划基金项目(14GZYB10);贵州省科技厅联合基金资助项目(LKB201224); 逻辑主要研究语形和语义之间的二元关系,是特殊的形式化的推理系统。演绎推理并不必然要求论证是演绎有效的或者是无效的。演绎推理是不可废止的,但非演绎推理却是可废止的。从知识科学的角度看,逻辑的作用在于提供推理形式化的范式。...; 关键词：归纳逻辑似然推理溯因推理可废止的

模态逻辑中的三值逻辑被引量：1: 《毕节学院学报（综合版）》2014年第8期1-7,共7页董英东; 贵州省优秀科技教育人才省长基金资助项目"动态信息和集合论视野下的博弈逻辑研究"成果之一;项目编号:201250;贵州省社科规划基金项目"基于动态认知逻辑的协议信息研究"成果之一;项目编号:14GZYB10;贵州省教育厅一般基金资助项目"动态信息视域下的认知概率逻辑研究"成果之一;项目编号:12GZJY20;毕节学院高层次人才基金资助项目"信息动态和集合论在博弈论中的应用研究"成果之一;项目编号:G2012003;贵州省科技厅联合基金资助项目"基于逻辑视域的动态信息研究"成果之一;项目编号:LKB201224;第54批博士后面上资助项目"基于动态信息的认知概率逻辑研究"成果之一;项目编号:2013M542251; 每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译...; 关键词：三值逻辑模态逻辑线性翻译辩证逻辑

模态逻辑中转换结构的局限性被引量：1: 《辽宁工程技术大学学报（自然科学版）》2014年第2期284-288,共5页董英东; 贵州省哲学社会科学规划基金资助项目(12GZYB63);贵州省优秀科技教育人才省长基金资助项目([2012]50);贵州省教育厅一般基金资助项目(12GZJY20);毕节学院高层次人才基金资助项目(G2012003);贵州省科技厅联合基金资助项目(LKB201224);中国博士后科学基金面上基金资助项目(2013M542251); 针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽...; 关键词：模态逻辑转换结构典范模型有穷模型性赋值模型朴素模型完全性加标转换

高校逻辑学教学改革探析被引量：1: 《毕节学院学报（综合版）》2013年第12期53-57,共5页董英东方明明; 贵州省优秀科技教育人才省长基金资助项目"动态信息和集合论视野下的博弈逻辑研究"成果之一;项目编号:201250;贵州省教育厅一般基金资助项目"动态视域下的认知概率逻辑研究"成果之一;项目编号:12GZJY20;毕节学院高层次人才基金资助项目"信息动态和集合论在博弈论中的应用研究"成果之一;项目编号:G2012003;贵州省科技厅联合基金资助项目"基于逻辑视域的动态信息研究"成果之一;项目编号:LKB201224;第54批博士后资助项目"基于动态信息的认知概率逻辑研究"研究成果之一;项目编号:2013M542251; 逻辑学传入中国至今,取得了长足的发展,但也面临着一些困境。逻辑学教学改革主要应该从逻辑学教学的课程内容、逻辑学的人才培养、逻辑学教学方法、逻辑学的科研创新等几个方面着手。逻辑学是一门基础性、工具性学科,在培养人的理性思...; 关键词：逻辑学传统逻辑教学改革教学方法策略

组合模态逻辑: 《毕节学院学报（综合版）》2013年第8期1-7,共7页董英东; 贵州省社科规划项目"动态信息和集合论的应用研究"成果之一;项目编号12GZYB63;贵州省优秀科技教育人才省长专项资金项目"动态信息和集合论视野下的博弈逻辑研究"成果之一;贵州省科技厅联合基金项目"基于逻辑视域的动态信息研究"成果之一;项目编号:黔科合J字LKB[2012]24号;贵州省教育厅一般项目"动态信息视域下的认知概率逻辑研究"成果之一;毕节学院高层次人才项目"信息动态和集合论在博弈论中的应用研究";项目编号:G2012003; 通常情况下,不止一个联结词的任意逻辑系统都可以看作是由比它具有更少的联结词的逻辑系统组合而成。特别地,任意的多模态逻辑都可以看作是由单模态逻辑组合而成。所以,在该层含义下,任意的多模态逻辑都可以看作是由模态逻辑组合的结果...; 关键词：组合模态逻辑融合更新积复杂度

王延直《普通应用论理学》出版100周年纪念暨贵州省逻辑学会2012年年会综述: 《毕节学院学报（综合版）》2013年第2期39-41,共3页董英东; 王延直《普通应用论理学》出版100周年纪念暨贵州省逻辑学会2012年年会在贵阳隆重召开,来自省内多所高校和科研院所的40余名代表出席了会议。大会以纪念王延直《普通应用论理学》为核心,就王延直的生平、著述的学术价值进行了研讨,并对...; 关键词：王延直《普通应用论理学》 100周年纪念会

浅议王延直的《普通应用论理学》: 《毕节学院学报（综合版）》2012年第11期38-41,共4页董英东; 贵州省社科规划项目"动态信息和集合论的应用研究"成果之一;项目编号:12GZYB63;贵州省优秀科技教育人才省长专项资金项目"贵州逻辑史--西方逻辑在贵州的转播及影响"阶段性成果之一;项目编号:黔科教办[2008]04号;毕节学院校级项目"信息科学和博弈论中的动态认知概率逻辑研究"成果之一;项目编号:20111010;毕节学院高层次人才项目"信息动态和集合论在博弈论中的应用研究"成果之一;项目编号:G2012003; 王延直先生的《普通应用论理学》一书对传统逻辑学进行了系统而全面的介绍,以中国论理学为名,将西方的传统逻辑知识引入中国,对提高当时国人的理性思维能力起到了重要的作用,但对形式系统方面的研究涉及得较少。; 关键词：论理学归纳推理演绎推理王延直

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

董英东

检索结果分析

署名顺序

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

董英东

检索结果分析

署名顺序

下载全文

用户登录

高级检索检索式检索