逻辑再构与实践路向:新时代理想信念教育审思

在中国式现代化建设进程中,强化理想信念教育既是应对意识形态领域挑战的必然选择,也是个人如何实现社会价值、追求全面发展的题中之义。理想信念教育的研究已形成了包括内涵、对象、途径和原则等多个维度,但是由于社会发展变化的复杂性和实践惯性的影响,理想信念教育如何进一步增强教育效果仍然值得关注。站在新的历史方位,应该通过对理想信念教育的实践认知基础、情感条件、意志锻造和行为检验四重逻辑的再构,推动生成式的理想信念教育实践路向,以期培育坚定的马克思主义者。

新时代大学生理想信念教育常态化制度化的逻辑理路与实践进路

中国共产党始终把坚定的理想信念视为建设伟大事业的精神支柱和彰显共产党人本色的政治灵魂,始终强调和重视对青年一代理想信念的培育,持续推进大学生理想信念教育常态化制度化。从历史逻辑看,理想信念教育常态化制度化不断演进发展;从理论逻辑看,中国化马克思主义理想信念教育理论既一脉相承又与时俱进;从现实逻辑看,大学生理想信念教育常态化制度化势在必行。立足新时代,高校要以习近平新时代中国特色社会主义思想为指导,构建“教育理念科学化、教育内容生活化、教育方式多样化、教育资源协同化”的“四位一体”大学生理想信念教育常态化制度化路径,努力为党育人、为国育才。

大学生学习运用马克思主义基本原理的实践逻辑

马克思主义基本原理是对马克思主义基本立场、观点和方法的集中概括,是马克思主义在其形成、发展和运用过程中经过实践反复检验确立起来的具有普遍真理性的理论。马克思主义基本原理是提升大学生思想政治素质的关键课程,能够为青年成才成长提供思想滋养和指明正确方向。新时代大学生自觉学习和运用马克思主义理论就是在教与学的双向互动中,深刻把握马克思主义实践逻辑基础上,将马克思主义转化为自己分析问题解决问题的认识工具和行动指南,在改造自己的主观世界中,不断增强改造客观世界和服务社会发展的本领。

以红色文化赋能青少年理想信念教育的三重逻辑

崇高的理想信念是青少年的政治灵魂和精神支柱,以红色文化赋能青少年理想信念教育,明确红色文化融入青少年理想信念教育的路线图和任务书,要“坚持学思用贯通、知信行统一”,加强政治引领和价值引导,厚植培育青少年政治责任感和历史使命感的文化土壤,确保青少年始终拥有崇高的理想、坚定的信念和高尚的品质,努力成为能担负民族复兴大任的时代新人。

大历史观融入高校理想信念教育:内在逻辑、价值意蕴和推进路径

理想信念教育是催人奋进的动力之源,具有发蒙解惑、价值引领、凝聚人心等重要功能。习近平总书记提出的大历史观兼具马克思主义理论品格和中国特色,对增强理想信念教育实效性具有重要作用。从内在逻辑来看,马克思主义历史唯物主义的基本理论、中华优秀传统文化的历史基因、人的全面发展的价值取向揭示了大历史观融入高校理想信念教育的可能性。从价值意蕴来看,大历史观融入高校理想信念教育在廓清历史虚无主义迷雾、建构历史思维、引领学生坚定历史自信三个方面具有重要意义。从推进路径来看,要深入探究以丰富教育内容、创新教育方法、变革教育载体为主要内容的多维路径,以期促进新时代高校理想信念教育的高质量发展,培育更多具有坚定理想信念的时代新人。

论价值评价中的心理主义

在心理主义看来,价值是通过人的情感相关的表象、意向、信念等一些心理活动呈现出来,由此引发了价值本质理解的情感主义和规范主义、实在论和自然主义、善的内在性和善的工具性之争,并发展出价值哲学两条主线:一条是由舍勒倡导、迈农发展——价值是情感呈现的价值理论;另一条是胡塞尔提倡——价值是意向的本质直观理论。前者主张价值是一种植根于内心深处的情感,情感须通过意向得以呈现,意向又把心理指向的价值世界目的化;本质直观既是一种基底信念,又具有固定意指的特性和内省状态的特点,应把价值理解为依据可接受行为因素而成化的一种心灵状态。当从价值与心理、心理与意向、心理与信念、心理与逻辑的角度,来理解价值评价问题,又引发了价值问题的心理主义与逻辑主义之争。

新时代大学生马克思主义信仰教育蕴含的道理学理哲理

马克思主义是中国革命、建设和改革中的思想指南,具备科学性、革命性和时代性等鲜明特征。面对百年未有之大变局,新时代大学生的马克思主义信仰教育关乎国家未来建设者的培养和中华民族伟大复兴的实现。它不仅关系到大学生个人的全面发展,还关系到高等教育培养什么人、怎样培养人、为谁培养人的问题。从马克思主义信仰道理、学理和哲理三重维度出发,深入解析新时代大学生马克思主义信仰教育的理论意义和实践路径,探索如何将马克思主义信仰体系融入高等教育全过程,为培养新时代德智体美劳全面发展的社会主义建设者和接班人提供科学指导。

基于动态认知逻辑的协议信息

长期以来人们一直都在关注知识问题。在哲学中研究知识和信念性质的理论称为认识论。对认识论的形式化主要是运用模型以及基于数学的方法对知识和信念进行推理。动态认知逻辑的形式模型和一般框架可用于刻画计算机网络相关的异步信息传递系统等多主体系统的重要性质。由于单独运用动态认知逻辑无法很好地刻画协议信息,故可运用动态认知逻辑和认知时间逻辑的组合来刻画协议信息,这种技术在计算机网络系统中具有重要的应用价值。

红色音乐融入大学生理想信念教育的价值意蕴和实践路径

红色音乐记录着中国共产党人英勇奋斗的光辉历程、闪耀着马克思主义的真理光芒、凝聚着党和人民群众干事创业的磅礴伟力,在理想信念教育中具有引领政治方向、丰富教育方式方法、增强育人实效等时代价值,是对新时代大学生开展理想信念教育的宝贵资源。基于对红色音乐融入大学生理想信念教育过程中的若干困境进行分析,围绕将红色音乐融入课堂理论教学、融入校园文化环境建设、增强要素保障三个方面探讨运用红色音乐增强大学生理想信念教育成效的实践路径。

必然逻辑、实然之质、应然理路:新时代中国共产党理想信念教育的三维探赜

新时代中国共产党理想信念教育蕴含着极为深刻的历史逻辑、理论逻辑和实践逻辑这一必然性的逻辑进路,包含着一元主导与多样共存相统合、合规律性与合目的性相统一、意义世界与实践场域相结合这三种实然性的现实表征。在新时代背景下,要不断开创中国共产党理想信念教育的新局面,需要遵循加强思想淬炼、优化多元环境、强化实践锻炼、健全教育机制这一应然性的路径,切实推动新时代中国共产党理想信念教育取得实效。

公平的非否认密码协议及其形式分析与应用

在安全数据通信中 ,数据发送和接收的非否认性是一个极为重要的问题 .近年来 ,实现这种类型的密码协议主要是通过可信第三方参与数据的加密与传送 ,因而 ,可信第三方的可靠性和安全性是系统性能的瓶颈 .提出了一个公平的双方不可否认的密码协议—— N CP( non- repudiation cryptographic protocol) .这个协议解决了可信第三方的性能瓶颈问题 ,是一个更为有效的、安全的密码协议 .用信任逻辑对其进行了形式分析 。

多Agent模糊概率信念逻辑

在经典信念形式化研究中,信念在某一可能世界中的真值取值范围是{0,1}。基于新模糊集合论给出信念真值的模糊真值计算方法,将信念的真值取值范围推广到[0,1]。在这样模糊逻辑框架下,将广义概率Aumann语义推广到广义模糊概率Aumann语义,从而建立多Agent模糊概率信念逻辑。在该逻辑中,给出多Agent模糊概率信念逻辑的语法和语义,并且证明了该逻辑系统的可靠性。

安全协议的形式化描述和分析

Security protocols use cryptography system to complete the tasks of principal identity authentication andseccion key distribution. The correctness of security protocols is of vital importance to ensure the security of the Inter-net application. Formal methods have been proved to be a valid approach to analyze and verify security protocols. Thispaper briefly introduces the three main styles in the field of security protocol analysis and their representative work.After that,it points out the future deveopment direction.

网构软件信任机制的形式化研究

Internet环境下构件群体间信任关系的形式化建模是实现其仿真的关键环节,给出了信念逻辑及信任关系的形式化定义,包括形式化描述、分析、逻辑推理及证明过程,以及信任链建立和传递过程中成立的语义解释和约束条件,并结合PKI模型实例对信任链的建立过程进行了形式化描述与推演.提出了一种可行的最优化信任链搜索算法(GSTC)和多路径信任聚合算法(MPTA).通过仿真实验对比了GSTC算法和RSTC算法、以及MPTA算法在受限和非受限条件下的性能.网构软件信任逻辑形式化方法的建立,揭示了构件间信任逻辑的建立和推理过程,不仅能够满足构件信任方面服务质量的需求,有效的提高整个网络的信任水平;而且有助于解决真实环境下构件实体间存在的安全问题,为构件集群环境下安全控制及信任系统形式化研究提供了有价值的新思路.

Agent-BDI逻辑

阐述了 Agent的形式化描述应该采用含有正规和非正规模态算子的混合模态逻辑为逻辑工具的观点 .建立了 Agent- BDI逻辑的代表系统 A- BI,讨论了它的语法和语义 .特别是给出了非正规模态算子基于 Kripke标准可能世界的新的语义解释 ,证明了 A- BI逻辑系统不但是可靠的 ,而且是完备的 .A- BI逻辑系统恰当地刻画了信念与意图的本质与内在联系 ,可作为 Agent形式化研究的逻辑工具 .

认知逻辑中逻辑全知问题及其解决方法

分析认知逻辑中的逻辑全知问题及其解决方法， 提出一种可以避免逻辑全知的认知逻辑 Ｅ Ｌ，

认识逻辑(1):关于知识和信念的逻辑框架

知识和信念是人工智能领域研究中经常涉及到的两个重要概念．本文讨论了知识和信念的涵义与关系，定义了认识逻辑系统EL，讨论了它的语法和语义，证明了认识逻辑EL不但是可靠的而且是完备的．认识逻辑EL不但可以用来描述人类的认识过程，还可以用于对常识推理以及分布式系统的形式化描述．

基于信度语义的算子模糊逻辑

本文在算子集与值域不同的算子格上，基于信度语义定义了一种归结推理更自然、具有结合性的算子模糊逻辑ＢＡＯＦＬ及一种语义有层次性的、非单调的算子模糊逻辑ＮＭＯＦＬ．

基于行动逻辑的智能主体行为表征研究

在人工智能领域,行为是指智能主体通过感知信息控制执行过程的算法。智能主体典型的行为模型就是BDI(信念、愿望和意图)逻辑框架。BDI主体结构在一些最为重要的多主体系统中得到了广泛应用。动态认知行动逻辑也可以对智能主体的行为进行表征。将BDI逻辑与动态认知行动逻辑融合起来,发展出能够更为有效地对主体不确定性行为进行表示和推理的逻辑是完全可能的。这些研究有助于智能主体不确定性行为的表示和推理,并为分布式人工智能提供形式支持。

一类信仰可推的认证协议

在ＢＡＮ逻辑的基础上，提出了一类信仰可推的认证协议，并论述了此类协议的特点．说明了Ｏｔｗａｙ－Ｒｅｓ协议是该类协议的一种变形．与Ｏｔｗａｙ－Ｒｅｅｓ协议相比，该类协议中的发给服务器Ｓ的消息不经加密，因此提高了信息传送的效率．