揭示伟大思想的实践源头和思想源头——“习近平在地方工作系列采访实录学习感悟”组文编辑谈

任何理论都有其实践源头和思想源头。习近平新时代中国特色社会主义思想的实践源头和思想源头,无疑要循着这一伟大思想的主要创立者习近平的成长历程去追索。近年来,中共中央党校出版社陆续推出了习近平在地方工作的采访实录。我刊第一时间跟进书籍出版,围绕发掘习近平新时代中国特色社会主义思想的孕育发展过程,揭示这一伟大思想的理论逻辑、历史逻辑、实践逻辑,展开组稿、选稿、编稿。     

“党是最高政治领导力量”的逻辑探析

<正>党的二十大报告强调,“中国特色社会主义最本质的特征是中国共产党领导,中国特色社会主义制度的最大优势是中国共产党领导,中国共产党是最高政治领导力量”。“党是最高政治领导力量”这一重大论断是习近平新时代中国特色社会主义思想的一个重要内容,深刻揭示了党在国家政治体系、制度体系和治理体系中总揽全局、协调各方的核心统领地位,体现了深刻的理论逻辑、法治逻辑、实践逻辑和历史逻辑。     

世界历史视角下中国式现代化的三重逻辑

现代化并非某个单一国家转变的过程,而是一种世界性的历史进程。中国式现代化的发展无法摆脱世界历史发展而单独存在,世界历史进程也少不了中国式现代化的实践与创新。从理论逻辑来看,中国式现代化开启于世界现代生产力的进步,也紧握这一核心任务走上了现代化之路。从历史逻辑来看,中国式现代化在与世界历史的互动中实现了“追赶—超越”。从实践逻辑来看,中国式现代化为世界现代化进程做出了巨大贡献。     

感悟思想伟力 汲取真理力量——不断开辟马克思主义中国化时代化新境界

习近平总书记在党的二十大报告中指出：“中国共产党为什么能,中国特色社会主义为什么好,归根到底是马克思主义行,是中国化时代化的马克思主义行”,明确提出了“开辟马克思主义中国化时代化新境界”这一重大命题。^[1]这是以习近平同志为核心的党中央科学总结党的百年奋斗历史经验得出的重大结论,深刻揭示了中国共产党能、中国特色社会主义好与中国化时代化的马克思主义行之间的内在逻辑,彰显了我们党高度的思想自觉和理论自信,宣告了当代中国共产党人的庄严历史责任。     

习近平法治思想融入“马克思主义基本原理”课教学研究

习近平法治思想融入“马克思主义基本原理”课教学是学习贯彻习近平法治思想,推进社会主义法治教育,提升思政课教学效果的重要举措。本文聚焦为何要融入、何以能融入、融入什么、如何融入四重维度,深入研究习近平法治思想融入原理课教学的现实价值、逻辑前提、原则内容和路径机制,推动习近平法治思想融入原理课教学落地落实落细。     

当代中国航天技术责任化自主创新的哲学基础与实践逻辑

当前,中国正由航天大国迈向航天强国。中国航天技术的发展是在马克思主义科技观指导下,特别是在习近平新时代中国特色社会主义思想中的科学技术观指导下,航天科技企业贯彻落实了科技向善的理念,取得了显著的成效。截至目前,中国在航天领域取得了一系列重大成就,如长征系列运载火箭、嫦娥探月工程、火星探测、天宫空间站等等。这些成就得益于中国航天科技工作者践行的责任化自主创新,其体现了哲学基础与实践逻辑的统一。     

习近平新时代中国特色社会主义思想的新定位新阐释——学习二十大党章修正案

党的二十大党章修正案中，对习近平新时代中国特色社会主义思想的定位进行了新的科学概括和全面系统的阐述，在全党全国各族人民迈上全面建设社会主义现代化国家新征程、向第二个百年奋斗目标进军之际，不仅用“两个结合”阐释了习近平新时代中国特色社会主义思想创立的历程，拓展了习近平新时代中国特色社会主义思想所回答的重大时代课题核心要义，同时用“六个是”重要判断全面阐述习近平新时代中国特色社会主义思想的科学定位，有利于推动全党统一意志、统一行动，深入学习贯彻习近平新时代中国特色社会主义思想，更好发挥这一科学理论的根本指导作用。     

基于逻辑判断的虚拟拆装技术研究

虚拟拆装技术是虚拟现实技术在机械制造与维修领域的重要应用,它以虚拟环境的建立为前提条件,用一定的逻辑思想流程实现人机交互功能。对虚拟拆装训练系统逻辑思想进行了阐述,对拆装系统开发方法进行了深入的分析,重点研究了实现虚拟拆装过程中的逻辑判断规则,针对系统开发过程中所要解决的关键问题,创建了具体的操作-响应模型:父体操作-响应模型和子体操作-响应模型,并对这两种模型的运算方式进行了具体分析与深入的研究。     

论军事经济理论体系的逻辑起点

文章对传统的以军品为军事经济理论体系的逻辑起点的学术观点进行了深刻的理论反思,提出了应把国家安全这种公共产品作为建构我国新时期军事经济理论体系的逻辑起点,并在此基础上认真分析了这一逻辑起点与其中各子范畴系统逻辑起点的相互关系。     

军事经济学学科的概念和逻辑问题考辨

中国军事经济学的研究和发展已近八十年,但军事经济学学科核心概念的模糊和逻辑体系的混乱问题却一直存在。例如,“亦称”式表述模糊了“军事经济学”的相关概念,混乱了军事经济学领域相关概念的逻辑定位。只有澄清了概念和逻辑问题,才可能解决“军事经济学”领域应用对策性研究相对薄弱和其他一些现实性问题。     

新时代以人民为中心发展理念的实践逻辑

以人民为中心发展理念是习近平新时代中国特色社会主义思想的根本政治立场和鲜明特征,应在实践逻辑中深刻把握其精髓要义。从实践价值来看,新时代以人民为中心发展理念,有利于夯实党的执政基础,是中国式现代化的特征体现,为中国特色社会主义建设指明了方向,为世界人类发展提供了中国经验。从实践要求来看,新时代以人民为中心发展理念在中国式现代化本质要求中,实现以人民为中心的发展目标。     

论军事经济预警的逻辑

实现国民经济承受力与战争需要的均衡,是军事经济追求的目标,建立军事经济预警系统,在军事经济运动偏离均衡状态时发出警报,对军事经济的均衡发展具有重要意义。文章阐述了军事经济预警的概念,分析了军事经济预警的逻辑过程,论述了军事经济预警的逻辑体系。     

培育和弘扬社会主义核心价值观

习近平总书记强调,要把培育和弘扬社会主义核心价值观作为凝魂聚气、强基固本的基础工程。广大民兵作为群众思想骨干,在构建社会主义核心价值体系中肩负重要职责、发挥重要作用,一定要认真学习贯彻习近平总书记的重要讲话精神,切实增强思想自觉和行动自觉,积极培育和弘扬社会主义核心价值观,努力做时代的先锋、社会的楷模。     

国防资源配置理论体系逻辑论

国防资源配置,一直是经济学家关心和不断进行探索的重要课题。文章在较深入地分析马克思、资本主义经济学家和我国现代经济学界的资源配置理论及逻辑的基础上,论述了国防资源配置的逻辑体系,认为其基本逻辑线索是:人们对国防安全品的需求——社会存在可用于军事或国防领域的资源——作为人们利益代表的政府提供国防安全品“生产”的必要条件——大量的国防资源配置行为——供给相应的国防安全品。内容包括国防资源配置的逻辑起点、前提、配置条件、配置行为、逻辑终点等。     

八提“不容易”，习近平这篇重要文章意味深长

<正>第19期《求是》杂志发表中共中央总书记、国家主席、中央军委主席习近平的重要文章《推进党的建设新的伟大工程要一以贯之》。这是习近平在新进中央委员会的委员、候补委员和省部级主要领导干部学习贯彻习近平新时代中国特色社会主义思想和党的十九大精神研讨班上讲话的一部分。在这篇近万字的长文中,习近平8次提到"不容易",意味深长。     

《矛盾》不能作为自相矛盾的典范--兼从语用逻辑视角看《矛盾》

普通逻辑对韩非寓言《矛盾》的解析是含混的、模糊的 ,是违反逻辑的 ;韩非寓言《矛盾》并不能作为自相矛盾的典范。按照语用逻辑的有关规则和语言交际的背景约定等进行分析 ,《矛盾》并不矛盾。对《矛盾》进行严格解析 ,其意义超过了对《矛盾》本身的理解 ,因为这种解析有利于人们的逻辑精神和科学思维方式的培养。     

党史学习教育融入高校思想政治理论课的三重逻辑

将党史学习教育融入高校思想政治理论课，是贯彻落实党的二十大精神、着力培养新时代中国青年的应尽之责和特殊使命。从价值逻辑看，党史学习教育融入高校思政课有助于引导学生破除历史虚无主义，树立正确党史观；坚定崇高理想信念，激发学生使命担当；强化高校思政课立德树人实效，提升育人价值。从问题逻辑看，党史学习教育融入高校思政课存在党史教育形式和载体单一化制约学习积极性；教师学科背景的不同致使党史教学水平参差；网络平台多样化冲击着学生的思想价值观念等现实困境。从实践逻辑看，将党史学习教育融入高校思政课需要抓住关键问题，瞄准学生党史学习需求；把握育人主体，提升教师党史育人本领；优化教育渠道，创新课堂党史融入形式。     

邓小平生产力标准思想在历史观上的逻辑结论

邓小平的生产力标准思想对于邓小平理论的全部命题、判断、思想都具有逻辑起点意义。从历史观方面看 ,邓小平生产力标准思想的逻辑结论包括三个方面 :一是生产力标准是衡量社会意识进步与落后的根本尺度 ;二是生产力标准是社会主义初级阶段理论形成的认识论依据 ;三是生产力标准是不发达国家社会发展的最高价值判据。     

谱写新时代中国特色社会主义新篇章的行动指南——学习《习近平谈治国理政》第三卷的体会

习近平新时代中国特色社会主义思想是新时代中国共产党的思想旗帜,是国家政治生活和社会生活的根本指针,是当代中国马克思主义、21世纪马克思主义,必须长期坚持并不断发展。《习近平谈治国理政》第三卷生动记录了党的十九大以来以习近平同志为核心的党中央,团结带领全党全军全国各族人民推动党和国家各项事业取得新的重大进展的伟大实践,集中展示了马克思主义中国化的最新成果,是全面系统反映习近平新时代中国特色社会主义思想的权威著作。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。