贵州省科学技术基金(LKB[2012]02)
- 作品数：5 被引量：1H指数：1
- 相关作者：戚金霞张家锋张学立更多>>
- 相关机构：贵州民族大学贵州工程应用技术学院毕节学院更多>>
- 发文基金：贵州省科学技术基金国家自然科学基金更多>>
- 相关领域：哲学宗教理学政治法律更多>>
- 格值一阶逻辑系统LF(X)中的α-有序语义归结
- 2015年
- 讨论格值一阶逻辑系统LF(X)中α-语义归结方法和有序归结方法的相容性。给出了LF(X)中α-有序语义归结和α-有序语义归结演绎的概念,通过实例说明LF(X)中α-有序语义归结演绎的有效性和不完备性。
- 张家锋曹发生
- 关键词：格值逻辑格蕴涵代数
- 格值逻辑命题逻辑(L_n×L_2)P(X)中广义文字的α-归结性
- 2015年
- 由于格值逻辑中广义文字结构的复杂性,这必然增加判断两个广义文字是否为α-归结对的难度。根据真值域L_n×L_2的结构特性和归结水平α的特点,研究了真值域为一类格蕴涵代数L_n×L_2的格值命题逻辑系统(L_n×L_2)P(X)中0-IESF与其他广义文字之间的α-归结性,得到了两个广义文字可进行α-归结的条件。
- 张家锋曹发生
- 关键词：格值逻辑格蕴涵代数
- 空间曲线实例的解法剖析
- 2016年
- 空间曲线是微分几何的一个重要内容,因其抽象、知识点多,初学者往往感到难以掌握,不容易把各知识点融会贯通,对题目无处下手。根据不同的数学思想方法,从向量函数的性质、挠率公式、伏雷内公式、平面方程四种不同角度对微分几何的一个实例进行了剖析,较全面地介绍了空间曲线的相关知识点和相关思想方法的应用。
- 刘涛
- 关键词：向量函数曲率挠率
- 论新时期国防动员法制建设
- 2016年
- 国防动员法规是国家顺利行使国防动员职能的基本法律依据,是激发公民踊跃参与国防建设的重要手段,是实现动员工作制度化的重要保证。为了全面履行新时期的历史使命,完成多样化的军事任务,必须不断健全和完善我国国防动员法律制度。新时期加强国防动员法规建设,可以从以下方面着手:加强宣传力度,培养法制意识;转变落后观念,树立法治理念;制定立法计划,加快立法步伐;完善执法机制,提升执行力度;强化司法职能,及时化解矛盾。
- 戚金霞
- 关键词：国防动员法制建设
- 逻辑的世界与世界的逻辑——《逻辑哲学论》中的世界建构被引量：1
- 2013年
- 维特根斯坦的《逻辑哲学论》为我们建构了一个世界。这个世界是逻辑的世界,是可能的世界,它由事实构成,而不是由事物构成。因此,这个逻辑世界是有结构的,是可分的,它和语言相对应,具有同构性。世界是逻辑的,逻辑也是世界的。在这里,逻辑是用来表达世界的,如果没有世界的存在,逻辑就成为了多余的东西;同时,逻辑是世界的载体,如果没有逻辑,世界也无法存在,因为它将无所依赖。逻辑世界的构建是为了划界,划出逻辑的世界,也即科学的世界,这个世界的东西是可说的,划定了可说的范围,也就划定了不可说的范围。不可说的范围才是维特根斯坦最根本关注的对象。保留不可说世界的"地盘",也就为伦理和宗教保留了"领地"。不可言说的世界是神秘的世界,信仰的世界,不同于逻辑的世界,我们需要对它保持沉默。
- 戚金霞张学立
- 关键词：《逻辑哲学论》伦理学
