全课程育人背景下高校课程思政建设的理论思考 被引量：110

1

作者 齐砚奎 《黑龙江高教研究》 北大核心 2020年第1期124-127,共4页

课程思政建设的必然逻辑来自回应社会变革对课堂教学提出的新要求、促成教师教书育人职责与使命的回归、解决校园思政课程"孤岛"困境的需要;建设过程中存在课程思政改革的准备不足、任课教师的教改动力不足以及教学效果的评... 课程思政建设的必然逻辑来自回应社会变革对课堂教学提出的新要求、促成教师教书育人职责与使命的回归、解决校园思政课程"孤岛"困境的需要;建设过程中存在课程思政改革的准备不足、任课教师的教改动力不足以及教学效果的评价难度较高等困难,如果教改措施不当会出现"形式大于内容"的隐忧;课程思政建设时需要以培养社会主义合格建设者和可靠接班人为理性目标,以尊重不同专业课程的学科性特点为理性原则,以专业课程与思想政治教育和谐共生为理性路径。 展开更多

关键词 课程思政 必然逻辑 实然问题 应然理念

下载PDF 职称材料

论体教融合的应然选择、生成逻辑与实施方略 被引量：10

2

作者 田祖国 郭良如 +1 位作者 胡科 马新宇 《体育文化导刊》 CSSCI 北大核心 2021年第6期96-103,共8页

运用文献资料法、逻辑分析法等,剖析体教融合的应然选择,揭示其生成逻辑,进而提出深化体教融合的实施方略。体教融合是推进现代化体育强国发展目标的必由之路、是培养社会主义建设者和接班人的应有之义、是促进青少年德智体美劳全面发... 运用文献资料法、逻辑分析法等,剖析体教融合的应然选择,揭示其生成逻辑,进而提出深化体教融合的实施方略。体教融合是推进现代化体育强国发展目标的必由之路、是培养社会主义建设者和接班人的应有之义、是促进青少年德智体美劳全面发展的重要举措,其生成逻辑历经体教结合、教体结合、体教融合3个发展阶段。深化体教融合的实施方略:不忘本来——体教自审正本清源;吸收外来——体教交流互鉴繁荣;面向未来——体教创新聚焦时代。 展开更多

关键词 体育教育 体教融合 应然选择 生成逻辑 实施方略

下载PDF 职称材料

“启发式教学”与师范生培养模式改革 被引量：1

3

作者 周兰桂 《湖南人文科技学院学报》 2017年第5期82-87,共6页

"创新型人才"的培养呼唤"启发式教学",同时也呼唤精品教师的培养与卓越教育的培育。匹配于启发式教学的教育思想方法,给师范生培养模式改革提出相对应的学理逻辑:师范生培养模式制订与改革必须服从于实现教师专业... "创新型人才"的培养呼唤"启发式教学",同时也呼唤精品教师的培养与卓越教育的培育。匹配于启发式教学的教育思想方法,给师范生培养模式改革提出相对应的学理逻辑:师范生培养模式制订与改革必须服从于实现教师专业知识结构的系统化、精细化与兼容性;必须服从于实现教师职业能力体系的基础性、示范性与创造性;必须服从于实现课堂策略教学艺术的主体性、双边化与激智性;必须服从于实现教育思想与核心价值的个性化、禀赋观与人才观。针对传统应试教育与现存教育体系的弊端与忧思,师范生培养模式改革也必须满足"内生性"与"外生性"两个层面的现实要求。 展开更多

关键词 大创新时代 启发式教学 师范生培养模式 必然逻辑 现实要求

下载PDF 职称材料

命题逻辑中三元子句集的冗余文字

4

作者 李洁 钟小梅 《计算机科学》 CSCD 北大核心 2022年第S01期109-112,118,共5页

自动推理是人工智能领域研究的核心问题之一。由于在基于归结的自动推理过程中会产生大量的冗余文字和冗余子句,进而影响归结自动推理的效率,因此消除子句集中的冗余文字和冗余子句具有重要的意义。在命题逻辑中,依据必需文字、有用文... 自动推理是人工智能领域研究的核心问题之一。由于在基于归结的自动推理过程中会产生大量的冗余文字和冗余子句,进而影响归结自动推理的效率,因此消除子句集中的冗余文字和冗余子句具有重要的意义。在命题逻辑中,依据必需文字、有用文字、无用文字的相关概念和性质,针对部分三元子句集,分类给出这些三元子句集中冗余文字的判别方法,并通过具体实例对这些判别方法进行说明。 展开更多

关键词 必需文字 有用文字 无用文字 三元子句集 命题逻辑

下载PDF 职称材料

新时代思想建党应有之义和必然逻辑

5

作者 郑宇泽 《黑河学院学报》 2018年第11期3-5,共3页

新时代思想建党的理论遵循着历史和时代内在逻辑的统一性,既有马克思主义经典思想建党观点的传承,又有思想建党新时代实践的具体内容。运用唯物辩证法从实践内容中梳理出新时代思想建党的必然逻辑,利于加深认知新时代思想建党内涵的应... 新时代思想建党的理论遵循着历史和时代内在逻辑的统一性,既有马克思主义经典思想建党观点的传承,又有思想建党新时代实践的具体内容。运用唯物辩证法从实践内容中梳理出新时代思想建党的必然逻辑,利于加深认知新时代思想建党内涵的应有之义是适应新时代党建环境、保证党的先进性和纯洁性及实现党的最高纲领和最低纲领统一事业必然的逻辑要求。 展开更多

关键词 新时代 思想建党 应有之义 必然逻辑

下载PDF 职称材料

语言限制逻辑再限制科学:为什么中国产生不了科学? 被引量：20

6

作者 朱晓农 《华东师范大学学报（哲学社会科学版）》 CSSCI 北大核心 2015年第6期10-28,164,共19页

李约瑟问题"为什么近代科学没有在中国产生"应该是个弱问题,甚至假问题。强问题应该问:为什么中国产生不了科学;真问题应该去探索:为什么欧洲产生科学。爱因斯坦认为科学产生的必要条件之一是演绎逻辑。进一步提出主谓结构的... 李约瑟问题"为什么近代科学没有在中国产生"应该是个弱问题,甚至假问题。强问题应该问:为什么中国产生不了科学;真问题应该去探索:为什么欧洲产生科学。爱因斯坦认为科学产生的必要条件之一是演绎逻辑。进一步提出主谓结构的语言是产生演绎逻辑的必要条件,因为逻辑命题也是主谓结构。汉语有不同于印欧语的语法原理:句子结构以话题—说明为主,主谓结构只是其中一个特例;各层语法单位"词—短语—句子"同构;句子成分的主要功能是起对比作用。这些语法原理规定了中国式推理方式(秦人逻辑)以同构推演和对比推演为主。以往讨论李约瑟问题的大多以政治经济文化地理哲学观念等外因为主,但也许只有在内因确定之后,讨论外因才有意义。由此,提出一个科学产生三期(语言期、逻辑即形式科学期、经验科学期)六阶理论:1A)主谓不占优势的前逻辑阶段,1B)主谓为主语言的逻辑筑基阶段;2A)形式即演绎逻辑阶段,2B)发展出其他形式化系统(各种几何、各种逻辑、数学、电脑语言)的阶段;3A)发展出实证检验的经验科学的个体形态前阶段,并将之系统化范式化的后阶段,3B)经验科学社会化阶段。前五个阶段是由内因决定的思维—工作方式,最后一个阶段才由外因起抑制或促进作用。总之,科学产生的必要条件之一是演绎逻辑,而逻辑最初产生的必要条件是以主谓结构作为主导句式的语言。主谓结构虽然普遍存在,但把它在推理过程中作为唯一合法的句式,这有一定的随机性;也就是说,逻辑的出现在发生学上多少具有偶然性。不过,意识到这一点的重要性并行动起来,把自然语言中非主流的主谓结构提升为推理说理过程中唯一合法的句式,从而促进科学发展,这有一定的必然性。这方面过去一百年来我们在世界上做得名列前茅。如果有意识地在教育中加以重� 展开更多

关键词 语言必要论 主谓结构 演绎逻辑 逻辑起因 科学起源 李约瑟难题

下载PDF 职称材料

一类逻辑方程组的解法研究(英文) 被引量：2

7

作者 丁殿坤 陈贵磊 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2011年第3期245-247,共3页

为了使解由非0非1型逻辑方程构成的逻辑方程组灵活多样化,给出了逻辑方程组成立的充要条件,化逻辑方程组为0型或1型逻辑方程的方法,并给予证明,得到了若两个0型逻辑方程的解集分别为X1、X2,则逻辑方程组的解集为X1+X2;若两个1型逻辑方... 为了使解由非0非1型逻辑方程构成的逻辑方程组灵活多样化,给出了逻辑方程组成立的充要条件,化逻辑方程组为0型或1型逻辑方程的方法,并给予证明,得到了若两个0型逻辑方程的解集分别为X1、X2,则逻辑方程组的解集为X1+X2;若两个1型逻辑方程的解集分别为X3、X4,则逻辑方程组的解集为X3+X4的结论,从而可应用结论解非0非1型逻辑方程构成的逻辑方程组. 展开更多

关键词 非0非1型 充分必要条件 逻辑方程组 解集

下载PDF 职称材料

解读《命名与必然性》 被引量：1

8

作者 余俊伟 《玉溪师范学院学报》 2003年第1期37-41,共5页

克里普克在《命名与必然性》中提出了历史的因果命名理论 ,并认为存在必然后验真理、偶然先验真理 ,这是为模态逻辑作理论上的辩护。其理论是融贯的 ,奎因对模态逻辑的批评是不成立的。《命名与必然性》为模态逻辑作了成功的辩护。

关键词 历史的因果命名理论 必然性 必然后验真理 偶然先验真理 模态逻辑

下载PDF 职称材料

条件逻辑及其部分定理的证明与阐释

9

作者 李建华 刘伟 《云梦学刊》 2010年第2期58-61,共4页

条件逻辑是以充分条件、必要条件、充分必要条件以及它们之间相互关系为研究对象的逻辑理论。运用现代逻辑的手段,深入研究各种条件联系及其它们相互之间的逻辑关系,这对提高我们的认识能力、有效从事实践具有指导意义。在给出的定义的... 条件逻辑是以充分条件、必要条件、充分必要条件以及它们之间相互关系为研究对象的逻辑理论。运用现代逻辑的手段,深入研究各种条件联系及其它们相互之间的逻辑关系,这对提高我们的认识能力、有效从事实践具有指导意义。在给出的定义的基础上,我们可以证明有关充分条件、必要条件、充分必要条件的大量定理,条件逻辑就是由定义和定理所构成的形式系统。 展开更多

关键词 充分条件 必要条件 充分必要条件 条件逻辑 形式系统

下载PDF 职称材料

论DNA鉴定的概率和逻辑理论依据

10

作者 周伟芬 《重庆理工大学学报（社会科学）》 CAS 2007年第6期86-90,共5页

在界定DNA、基因、概率等概念涵义的基础上,阐明DNA鉴定的理论依据是遗传学原理和逻辑推理,同时指出,DNA鉴定结论概率的高低主要是由做鉴定时所采用逻辑推理的种类不同所决定的,从而使人们对DNA鉴定有较全面的认识并懂得如何去评价某一... 在界定DNA、基因、概率等概念涵义的基础上,阐明DNA鉴定的理论依据是遗传学原理和逻辑推理,同时指出,DNA鉴定结论概率的高低主要是由做鉴定时所采用逻辑推理的种类不同所决定的,从而使人们对DNA鉴定有较全面的认识并懂得如何去评价某一个案DNA鉴定的结论。 展开更多

关键词 基因 DNA鉴定 概率 必然性逻辑推理 或然性逻辑推理

下载PDF 职称材料

0-1型与非0非1型逻辑方程构成的逻辑方程组的解法

11

作者 丁殿坤 张序萍 王汝亮 《新疆师范大学学报（自然科学版）》 2008年第2期17-20,共4页

为了使解逻辑方程组灵活、方便、多样化,文章给出了由0-1型与非0非1型逻辑方程构成的逻辑方程组成立的充要条件、化逻辑方程组为0型或1型逻辑方程的方法,得到了若两个0型逻辑方程的解集分别为S1、S2,则逻辑方程组的解集为S1+S2;若两个1... 为了使解逻辑方程组灵活、方便、多样化,文章给出了由0-1型与非0非1型逻辑方程构成的逻辑方程组成立的充要条件、化逻辑方程组为0型或1型逻辑方程的方法,得到了若两个0型逻辑方程的解集分别为S1、S2,则逻辑方程组的解集为S1+S2;若两个1型逻辑方程的解集分别为S3、S4,则逻辑方程组的解集为S3+S4的结论。从而可应用结论解由0-1型与非0非1型逻辑方程构成的逻辑方程组。 展开更多

关键词 0-1型 非0非1型 充要条件 逻辑方程组 方法

下载PDF 职称材料