期刊文献+
共找到27篇文章
< 1 2 >
每页显示 20 50 100
糠醛生产现状及前景展望 被引量:5
1
作者 马新起 刘伟 《河南化工》 CAS 1998年第6期13-15,共3页
介绍了国内外生产糠醛的现状,对使用不同催化剂时的各种生产方法进行比较,并对糠醛的开发应用前景进行了展望。建议我国应重视糖醛及其下游产品在应用方面的开发。
关键词 生产方法 呋喃甲醛 远景
下载PDF
逻辑学与批判性思维的案例教学法探析 被引量:5
2
作者 《毕节学院学报(综合版)》 2008年第6期54-59,共6页
对案例、案例教学、案例教学法进行了阐释和说明;将传统逻辑关于概念、命题、演绎推理、归纳推理、类比推理、逻辑的基本规律以及现代逻辑关于命题逻辑等知识作为研究批判性思维教学的工具和方法;探讨逻辑学和批判性思维教学中的各种案... 对案例、案例教学、案例教学法进行了阐释和说明;将传统逻辑关于概念、命题、演绎推理、归纳推理、类比推理、逻辑的基本规律以及现代逻辑关于命题逻辑等知识作为研究批判性思维教学的工具和方法;探讨逻辑学和批判性思维教学中的各种案例和作用,以期提高学生的理性思维和创新能力,并为逻辑学的教学改革进行有益的尝试。 展开更多
关键词 逻辑 批判性思维 案例教学法
下载PDF
论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统 被引量:3
3
作者 《贵州工程应用技术学院学报》 2017年第3期1-8,共8页
在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎系统与公理化系统... 在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎系统与公理化系统之间等价转化的方法论意义及局限性。这些工作有助于从理论和实践上客观地分析和评价这两种证明演算,为同一逻辑的矢列式自然演绎系统与公理化系统之间的等价转化提供方法论上的借鉴意义。 展开更多
关键词 直觉主义谓词逻辑 演绎定理 矢列式自然演绎系统 公理化系统 证明策略
下载PDF
逻辑、数学与素质教育——以毕节学院逻辑学精品课程建设为例 被引量:2
4
作者 张学立 《毕节学院学报(综合版)》 2009年第12期44-46,共3页
从逻辑学精品课程建设发展的需要、大学生就业和深造的需要、学校内涵建设和社会长远发展的需要等三个方面分析"逻辑、数学与素质教育"课程的必要性。从师资力量、资料建设、后勤保障等三个方面论证其可行性。预测开设这门课... 从逻辑学精品课程建设发展的需要、大学生就业和深造的需要、学校内涵建设和社会长远发展的需要等三个方面分析"逻辑、数学与素质教育"课程的必要性。从师资力量、资料建设、后勤保障等三个方面论证其可行性。预测开设这门课程的效益。 展开更多
关键词 逻辑 数学与素质教育 逻辑学精品课程 必要性 可行性 预期效益
下载PDF
提高批判性思维教育质量的课程要求及其理论根基 被引量:2
5
作者 张存建 《贵州工程应用技术学院学报》 2018年第2期61-67,共7页
批判性思维教育在国外深受欢迎,以批判性思维能力和气质培养为基本导向。但是,国内关于批判性思维教育的规模不够,在逻辑学和教育学界的相关努力中,长期存在"互不往来"的现象。问题的原因不在于双方对教育理念及课程的把握,... 批判性思维教育在国外深受欢迎,以批判性思维能力和气质培养为基本导向。但是,国内关于批判性思维教育的规模不够,在逻辑学和教育学界的相关努力中,长期存在"互不往来"的现象。问题的原因不在于双方对教育理念及课程的把握,而在于对批判性思维教育文化语境的重视不够。为此,提升批判性思维教育质量,应当接受一个文化整体性视界,重视逻辑学和认知心理学对批判性思维课程的理论支撑,并为此接受一个广义的逻辑观。 展开更多
关键词 批判性思维教育 课程 理论 逻辑
下载PDF
论《墨经·小取》的语义学思想 被引量:1
6
作者 张丽萍 《毕节学院学报(综合版)》 2012年第9期96-100,共5页
《墨经·小取》用替换与添加的方法形成词义的组合和聚合关系,体现了一定的语义学思想。具体表现在四个方面:词义的细微变化、范围的不同;语法结构在推理前后的不同;词与词组合的亲疏关系不同;动词类别的不同。
关键词 《墨经·小取》 语义学 思想
下载PDF
指示词理论述评 被引量:1
7
作者 《毕节学院学报(综合版)》 2007年第6期51-54,共4页
索尔.克里普克是美国著名的逻辑学家和哲学家。他的指示词理论为解决指称问题提供了一种重要的理论和方法,在逻辑哲学、语言哲学、分析哲学等领域影响深远。
关键词 专名 摹状词 严格指示词 非严格指示词
下载PDF
高职院校基于创新人才培养的逻辑通识课考量 被引量:1
8
作者 张蕴 《贵州工程应用技术学院学报》 2015年第3期57-61,共5页
在新的时代背景下,高职院校应将培养创新型人才,即具有创新精神和创造能力,充满可持续发展潜力和职业迁移能力的"职业人"作为高职教育人才培养的重要目标。基于逻辑思维在思维创新过程中的关键作用,应以受教育者逻辑思维素质... 在新的时代背景下,高职院校应将培养创新型人才,即具有创新精神和创造能力,充满可持续发展潜力和职业迁移能力的"职业人"作为高职教育人才培养的重要目标。基于逻辑思维在思维创新过程中的关键作用,应以受教育者逻辑思维素质的培养作为实现人才培养目标的突破口。高职院校应大力推广逻辑通识课程,不断加快逻辑教学研究与课程建设,充分发挥逻辑学科在培养高素质的创新型人才方面的重要作用。 展开更多
关键词 创新 逻辑思维 逻辑通识教学 职业
下载PDF
论克里普克的历史因果命名理论
9
作者 吕进 《毕节学院学报(综合版)》 2013年第9期49-52,共4页
专名是严格的指示词,摹状词是非严格的指示词。确定名称的指称不必诉诸意义,只需要经过一个历史因果的命名链条,就可以确定一个名称的指称。由严格指示词构成的同一性真命题才是必然的真命题。历史因果命名理论与以往那种或多或少地将... 专名是严格的指示词,摹状词是非严格的指示词。确定名称的指称不必诉诸意义,只需要经过一个历史因果的命名链条,就可以确定一个名称的指称。由严格指示词构成的同一性真命题才是必然的真命题。历史因果命名理论与以往那种或多或少地将名称与意义联系起来的理论都不相同,它从根本上反对名称与意义有任何必然的联系。 展开更多
关键词 专名 摹状词 严格指示词 可能世界 同一性命题
下载PDF
达米特逻辑哲学思想研究的现状及反思
10
作者 张学立 《贵州社会科学》 CSSCI 北大核心 2017年第1期60-65,共6页
国内外学者普遍重视达米特哲学思想研究,然而,对达米特逻辑哲学思想缺乏系统研究,导致这种现状的主要原因,在于达米特哲学著述的晦涩难懂,就更不用说包括直觉主义逻辑这种技术性更强的逻辑著作。进一步研究达米特的直觉主义逻辑与哲学... 国内外学者普遍重视达米特哲学思想研究,然而,对达米特逻辑哲学思想缺乏系统研究,导致这种现状的主要原因,在于达米特哲学著述的晦涩难懂,就更不用说包括直觉主义逻辑这种技术性更强的逻辑著作。进一步研究达米特的直觉主义逻辑与哲学的关系,解决的基本思路是以达米特的直觉主义逻辑作为研究进路和突破口,全面系统地理解和把握直觉主义逻辑思想,对达米特的直觉主义逻辑与哲学的关系进行系统研究。 展开更多
关键词 达米特 逻辑哲学 直觉主义 特点 问题 反思
原文传递
毕节学院逻辑学精品课程的实践与探索
11
作者 张学立 《毕节学院学报(综合版)》 2011年第11期45-47,121,共4页
逻辑学在开发人的智力,培养与提高人的逻辑思维能力等方面,具有其他学科和课程不可替代的重要作用。如何打造毕节学院逻辑学精品课程,提升服务毕节试验区的能力,对于毕节学院的逻辑学教学工作者来说,是一个无法回避且具有重要理论意义... 逻辑学在开发人的智力,培养与提高人的逻辑思维能力等方面,具有其他学科和课程不可替代的重要作用。如何打造毕节学院逻辑学精品课程,提升服务毕节试验区的能力,对于毕节学院的逻辑学教学工作者来说,是一个无法回避且具有重要理论意义和现实意义的课题。我们从重视师资队伍建设、转变教学观念、创新教学内容、编写出版教材、打造精品课程体系,这五个方面精心打造毕节学院逻辑学精品课程,提升服务毕节试验区的能力。 展开更多
关键词 毕节学院 逻辑学 精品课程
下载PDF
NKT语义研究的现状及反思
12
作者 张存建 《重庆理工大学学报(社会科学)》 CAS 2012年第8期12-16,共5页
自然种类词项(natural kind terms,以下简称NKT)属于通名,是衔接语言哲学和形而上学研究的纽带,指称则是NKT揭示世界的方式。在对经典名称语义理论的反思中,诉诸语用学解决语义问题成为NKT语义研究的一个趋势。从现有科学研究对于NKT语... 自然种类词项(natural kind terms,以下简称NKT)属于通名,是衔接语言哲学和形而上学研究的纽带,指称则是NKT揭示世界的方式。在对经典名称语义理论的反思中,诉诸语用学解决语义问题成为NKT语义研究的一个趋势。从现有科学研究对于NKT语义研究的挑战来看,NKT语义研究与NKT所指对象的认知密切相关,有必要从认知的角度重新审视NKT语义研究,给出一个兼有本质认知与解释力两个方面特征的NKT语义解释。 展开更多
关键词 自然种类词项 语用学 指称
下载PDF
《墨经》与训诂学
13
作者 张丽萍 《语文建设》 北大核心 2012年第06X期47-49,共3页
《墨经》有丰富的训诂学材料,其特点可以归纳为三个方面:利用词义的训释来表达墨家的政治观点,利用词义的训释来表达自己对现实世界的认识,《经说》用义界方式训释《经》文时不同于常规。
关键词 墨经 训诂学 特点
下载PDF
论《墨经》中的“止”式推理
14
作者 张丽萍 《西南大学学报(社会科学版)》 CSSCI 北大核心 2011年第1期57-60,190,共4页
在《墨经》中,"止"作为一种重要的推理形式共出现四次:一是利用对当关系推理进行反驳;二是用反例反驳对方用简单枚举归纳推理得出的一般结论;三是用与对方演绎推理的大前提具有反对关系的命题来反驳对方演绎出的个别结论;四... 在《墨经》中,"止"作为一种重要的推理形式共出现四次:一是利用对当关系推理进行反驳;二是用反例反驳对方用简单枚举归纳推理得出的一般结论;三是用与对方演绎推理的大前提具有反对关系的命题来反驳对方演绎出的个别结论;四是反映模态矛盾命题之间的对当关系推理。 展开更多
关键词 《墨经》 反驳 推理形式
下载PDF
从名实关系看《墨经》的语言学思想
15
作者 张丽萍 《毕节学院学报(综合版)》 2011年第12期85-89,共5页
《墨经》中蕴涵了丰富的语言学思想,它的语言学思想是围绕名实关系展开的,共有七方面的特点。
关键词 墨经 名实关系 语言学 思想
下载PDF
中国逻辑史第十五次全国学术研讨会综述
16
作者 张学立 《逻辑学研究》 CSSCI 2014年第1期118-120,共3页
中国逻辑史第十五次全国学术研讨会于2013年7月26日至29日在河南省鲁山县隆重召开。此次研讨会由中国逻辑学会中国逻辑史专业委员会主办,毕节学院逻辑与文化研究中心、平顶山学院伏牛山文化圈研究中心承办,贵州民族大学、河南省逻辑... 中国逻辑史第十五次全国学术研讨会于2013年7月26日至29日在河南省鲁山县隆重召开。此次研讨会由中国逻辑学会中国逻辑史专业委员会主办,毕节学院逻辑与文化研究中心、平顶山学院伏牛山文化圈研究中心承办,贵州民族大学、河南省逻辑学会、郑州成功财经学院协办。有来自全国二十多所高校、科研院所和其他机构的专家学者共六十多名出席了会议,其中,有20多位专家、学者、博士生在会上作了学术报告,内容涵盖了中国逻辑史研究的多个领域。这些报告展示了当下中国逻辑史最新的研究成果。 展开更多
关键词 全国学术研讨会 中国逻辑史 研讨会综述 财经学院 专家学者 专业委员会 逻辑史研究 文化研究
下载PDF
《墨经》训诂失误举隅
17
作者 张丽萍 《毕节学院学报(综合版)》 2010年第11期93-96,共4页
《墨经》是墨家思想的重要组成部分,同时也是后人研究墨家思想的重要依据,但因其版本的错讹、文字的简省、内容的深奥,后人难以读懂和使用。经过前辈学者的不断研究,《墨经》才勉强成为可以读通的著作,但在训诂方面依然存在不足之处。... 《墨经》是墨家思想的重要组成部分,同时也是后人研究墨家思想的重要依据,但因其版本的错讹、文字的简省、内容的深奥,后人难以读懂和使用。经过前辈学者的不断研究,《墨经》才勉强成为可以读通的著作,但在训诂方面依然存在不足之处。本文从《墨经》中选取四条,参照诸家训释,评价其得失,并提出《墨经》训释应当遵守的原则。 展开更多
关键词 《墨经》 训诂 失误
下载PDF
自然种类的命名与严格指称
18
作者 张存建 《毕节学院学报(综合版)》 2013年第5期43-47,共5页
人们根据自然对象对人的影响命名自然种类,这种命名没有给自然种类词项接下来的使用奠定良好的认识论基础。克里普克以命名礼解释自然种类的命名,但不能解释自然种类词项在自然科学探究中的使用。接受克里普克式自然种类词项严格性,则... 人们根据自然对象对人的影响命名自然种类,这种命名没有给自然种类词项接下来的使用奠定良好的认识论基础。克里普克以命名礼解释自然种类的命名,但不能解释自然种类词项在自然科学探究中的使用。接受克里普克式自然种类词项严格性,则需要接受一种实在论。在解释的视域下,克里普克关于自然种类的语义解释为融合科学主义和人本主义展开了一个广阔的理论平台。 展开更多
关键词 自然种类 语义 严格性
下载PDF
论《墨经》的语义学思想
19
作者 张丽萍 《芒种》 北大核心 2012年第13期100-101,共2页
《墨经》包含有丰富的语义学思想。其语义学思想包括词义的色彩、词义的聚合和词义的组合这三个方面的内容。一、词义的色彩一般说来,词义包括理性意义和色彩意义两部分。词的理性意义是与概念相联系的核心意义,是词义中的主要部分;
关键词 语义学 词义系统 理性意义 墨经 色彩意义 反义词 同义词 组合关系 逻辑推理 三个方面
原文传递
论经典命题逻辑矢列演算的保持高度收缩定理
20
作者 和宝珍 《毕节学院学报(综合版)》 2016年第3期59-65,共7页
在《结构证明论》中,给出保持高度收缩定理在经典命题逻辑矢列演算中的一个详细而完整的证明过程,得出保持高度收缩的推论并证明了该推论,指出保持高度收缩推论在证明切割规则的可容许性定理上有减少推导步骤的作用。
关键词 经典命题逻辑矢列演算 保持高度收缩定理 保持高度收缩推论 收缩规则
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部