学科服务 更多>>

关键词： 量词重叠   构式   核心构式义  

摘要： 用构式语法的观念探讨汉语量词重叠的构式义。量词重叠核心构式义反映了人们的一般认知经验,在此基础上生成的构式义是对基本范畴的扩展,构成了以量词重叠家族相似性为范式的“多”义范畴系统。“多”可以体现在时间和空间、动态和静态、事物和动作的不同层面。由此,可以量词重叠构式义范畴为基础构建量词重叠知识体系和框架。

关键词： 探地雷达   无损检测   隧道衬砌   道路结构   道路病害  

摘要： 探地雷达是一种重要的无损检测(探测)手段,起源于国外,引入国内之初主要用于浅部地质调查,目前在工程探测、工程检测中发挥着十分重要的作用。为研究国内探地雷达在不同行业的应用效果和发展程度,本文对国内现行探地雷达标准进行了研究分析。从标准类型、应用行业、标准发布部门、归口管理部门等方面可看出探地雷达的标准化具有较强的针对性,在隧道衬砌检测、道路结构检测方面发展较成熟,在其他常用或新兴行业的标准化相对滞后。为促进探地雷达在其他常用行业或新兴行业的发展,有关部门需加强相应的标准化建设。

关键词： 孟浩然诗   自然范畴   田园意象   意象译介  

摘要： 以孟浩然诗为代表的山水田园诗意境淡雅,风格恬静,注重“情”与“景”的交融,以丰富的自然范畴与田园意象为典型特征,是中国古典诗歌的重要分支。孟诗译介因此成为汉诗译介的重要议题。目前,孟诗译介研究最具挑战的问题莫过于自然范畴的语际转换与田园意象的语际构建。然而,孟诗的现有译本存在自然范畴的多重认知偏差,从而形成同一范畴译本各异、不同范畴译本单一的尴尬境地。因此,基于自然范畴的语内范畴化认知,立足范畴化理论开展自然范畴的语际译介研究是语际构建孟诗田园意象的迫切需要,也是促进孟诗语际传播的必经之路。

关键词： 中国式现代化   中华民族现代文明   中国特色社会主义   中国化时代化的马克思主义   中国人民   中国共产党  

摘要： 范畴是构成理论体系的基本概念,中国化时代化的马克思主义是由一系列科学范畴构成的理论体系。思想进程是历史过程的能动反映,思想体系是在社会实践中发展着的思维成果的理论结晶。中国化时代化的马克思主义,无论是理论体系的发展进程还是理论体系的逻辑构成,都是历史过程在抽象的、理论上前后一贯的形式上的反映。现代化和中国式现代化、中华文明和中华民族现代文明、科学社会主义和中国特色社会主义、马克思主义和中国化时代化的马克思主义、中国人民和中国共产党,是从整体上反映中国共产党百余年奋斗光辉历程的几组基本范畴。推进党的创新理论体系化学理化,要遵循逻辑和历史相统一的原则,梳理并阐明构成理论体系的基本范畴及其相互关系,用逻辑严谨的科学理论体系反映一百多年来中国共产党一以贯之的革命、建设、改革进程及其理论成果,并指引实践向着实现中华民族伟大复兴的目标前进。

关键词： 美学   逻辑学   真理   主观   客观  

摘要： 黑格尔(***)作为德国19世纪唯心主义哲学的代表人物之一,他创立了客观唯心主义体系。黑格尔的哲学尤其强调整体性和客观理性,追求一种事物的普遍真理。黑格尔的思想对于后来的存在主义和马克思的唯物辩证主义有着巨大的影响。文章从黑格尔认识论的角度出发,分析美学中艺术与逻辑、感性与理性之间的辩证关系。

关键词： 原型   范畴   杜鹃意象  

摘要： 原型范畴理论是以维特根斯坦的“家族相似性”理论为基础并逐渐发展起来的。该理论认为,同一范畴各成员并不共享范畴中的所有特征,范畴没有明确的边界,范畴中分为中心成员和边缘成员,它们在范畴中的地位是不平等的。认知语言学派也运用原型理论分析语言,认为原型成员是整个范畴中最典型的成员,范畴其他成员通过隐喻、转喻等机制从原型成员拓展而来。杜鹃意象是古诗词中的常见意象,在代代诗人的构建下逐渐产生了远超其字面意义的意蕴内涵,本文尝试运用原型范畴理论分析古诗词中杜鹃意象的原型传说和原型情感以及从原型神话细节中拓展出的不同要素及其情感流变。

关键词： 共产党人的心学   体系化   研究对象   学科视野   核心范畴  

摘要： 要构建新时代共产党人的心学体系,就必须强化学科意识、厘清其研究对象,强化学科视野、明确其研究内容,确立核心范畴、建构其话语体系,在深刻领悟习近平总书记关于党性修养、党性教育系列论述的思想、理论、学术和历史内涵的基础上,以心学的视野和“第二个结合”的方法,着重围绕“中国梦”“共产党人的初心”“四个自信”三大原创性、标识性概念进行原理化、体系化的阐释,努力揭示习近平总书记“怎么思考”重建当代中国人的精神家园、重振中华民族的“精气神”,“怎么思考”让党员干部始终“永葆初心”、坚定信仰信念,做好习近平总书记相关系列论述的“集成”和“总装”,并依据其内在逻辑理路加以阐述和展开,从而形成全方位、全领域、全要素的新时代共产党人“心学”理论和方法体系。

关键词： Morse-Kelley公理化集合论   实数公理系统   相容性   范畴性   Coq   形式化   机器证明   人工智能  

摘要： 数学定理机器证明是人工智能基础理论的深刻体现.实数理论是数学分析的基础,实数公理系统是建立实数理论的重要方法.Morse-Kelley公理化集合论(MK)作为现代数学的基础,也为实数构建提供了严谨的数学框架和工具.本文使用定理证明器Coq,基于MK对实数公理系统进行了深入探索.在优化了MK形式化代码的基础上,形式化构建了完整的实数公理系统,并通过形式化Landau《分析基础》中的实数模型,证明其相对于MK相容,此外,还形式化证明了实数公理系统所有模型在同构意义下是唯一的,验证了实数公理系统的范畴性.本文全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Coq验证,并在计算机上运行通过,充分体现了基于Coq的数学定理机器证明具有可读性、交互性和智能性的特点,其证明过程规范、严谨、可靠.该系统可方便地应用于拓扑学和代数学理论的形式化构建.谨以此文庆祝我国著名控制系统专家秦化淑研究员九十华诞!

关键词： FAFB   典型性   主观性   原型范畴  

摘要： “不A不B”“没A没B”“无A无B”和“非A非B”四类格式是现代汉语中常用的四字语格式。四类格式在构成机制和内部语义关系上都很类似,但“不A不B”格式的凝固性和使用率都远高于另外三类,同时四类格式在主观性上呈现一个排列关系:“不A不B”>“没A没B”>“无A无B”>“非A非B”。从原型理论出发,将“不A不B”格式看作“FAFB”式的典型格式,并对“FAFB”式的主观性进行探讨。

关键词： 行政法治   行政法治范畴   行政法治品质   中国式行政法治  

摘要： 中华人民共和国成立以来,行政法治的发展既有力支撑和推动了我国整体的法治建设事业,也促进了社会的良性运转。我国行政法治的再发展,既要解决一系列具体体制机制构建和完善的问题,也要在观念层面上不断丰富关于行政法治范畴的认识。与西方行政法治相比,我国行政法治在范畴构成上是十分丰富的。从横向上看,行政法治包括立法规范行政、司法审查行政、行政互相分工以及社会监督行政等多个面向和维度上的内容;从纵向上看,行政法治则是包括心理(道德)、制度以及行为等在内的多层次范畴,分别对应的是以人民为中心的行政理念、健全和优良的行政法制以及实际被约束的行政活动。在对我国行政法治范畴进行再认识的过程中,尤其需要注重提炼和总结具有中国品格的行政法治要素。