合舍系统及其定理的能行证明

以合舍作为唯一初始联结词,在括号表示法中,只需要使用一对左右括号"「」"就可以无歧义地表达所有的逻辑函数,并进而建立包括括号"「」"的引入规则和消去规则在内的自然推演系统NPD1,可以证明该系统与通常的命题逻辑推理系统相等价.通过定义可以给出常见的其他联结词并证明相关定理.受亚里士多德化归思想的启发,构建了系统NPD1的7组化归规则,并给出化归程序;依据此程序,可以将系统内的任一定理能行地化归为一个形如的公式.     

习近平“四史”重要论述的历史优先原则

逻辑与历史的统一,并不等同于逻辑与历史的完全一致,而是内含逻辑与历史的辩证关系.这就必然涉及逻辑与历史何者优先的问题.在这一问题上,马克思反对黑格尔“历史与逻辑相一致”的观点,批判蒲鲁东主义逻辑先于历史的形而上学错误,并在政治经济学研究中论证了历史优先于逻辑的观点.习近平“四史”重要论述确证了马克思的历史优先原则,为新时代意识形态工作指明了方向.为此,应坚持历史优先原则,开展对历史虚无主义的批判.我们既要从“四史”中汲取知识材料和价值养分,推动马克思主义意识形态的理论创新,进而指导具体的意识形态实践,也要从“四史”的群体宣传、社会传播和代际传承着手,致力于解决理论性与感染力的矛盾问题,寻求历史性突破.     

朱熹和孟子解读舜之“怨慕”的不同逻辑

对于舜之“怨慕”,朱熹作出了不同于孟子的解读。这是基于心学、理学内在逻辑的不同。孟子作为私学之儒,和孔子一样,是主张士君子的阳刚人格的,并且从性向善的人性论出发,协调义与利、公与私的关系,而以君臣父子关系都属对待关系;依此,将舜之“怨慕”解读为舜对父母的既怨又慕。朱熹则作为官学之儒,以所谓“气质之性”协调理学先驱荀子的性向恶论,以二歧化思维把天地之性、天理绝对化,以公去私,视君臣父子关系则为下对上的绝对服从关系;依此解读,舜之“怨”只能是自怨。     

马克思“跨越卡夫丁峡谷”的理论研究及现实价值

马克思提出"跨越卡夫丁峡谷"的理论设想,之后列宁通过对该理论的继承与发展推动俄国实现"跨越"。中华人民共和国的成立及社会主义制度的建立是对"跨越论"的又一次成功运用,中国特色社会主义是对"跨越论"的新发展,并在此驱动下向更高层次迈进。历史与现实证明:实现新的跨越,中国共产党的领导是根本政治保障,适应基本国情是根本准则,坚定四个自信是直接动力,坚持以人民为中心,跨越"塔西佗陷阱";深入贯彻新发展理念,跨越"中等收入陷阱";推动构建人类命运共同体,跨越"修昔底德陷阱"。     

20世纪初中国人对马克思思想解读的再评价

19世纪末20世纪初,马克思的思想就传入了中国,梁启超在传统大同思想与社会主义贯通中对它进行解读;早期国民党人在批判资本主义,建构民生主义中对它进行评价;无政府主义在反传统中认同马克思的共产主义。虽然各有局限性,但又各有自身的意义。以十月革命的经验解读马克思主义,遮蔽了对马克思思想早期传播的研究,研究马克思主义在中国的早期传播,对认识马克思主义中国化有重要意义。     

“互联网+”时代档案信息化建设体系建设

随着近年来我国信息技术的快速发展,在"互联网+"时代如何有效开展档案信息化建设成为人们关心的重点问题。结合笔者的研究成果来看,"互联网+"时代有效开展档案信息化建设,要树立"互联网+"思维,围绕档案资源的使用管理需求构建科学完善的档案信息管理体系,使用计算机系统加强对档案资源的分类、整理、利用及研究,以促进宝贵的档案信息资源得到有效利用。鉴于此,本文就"互联网+"时代档案信息化建设体系展开详细研究,并提出具体的研究思路,供广大读者借鉴。