On the logic of common belief and common knowledge

The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge — whether individual or common — is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in Sections 3 and 4, respectively. It is recalled that Aumann's partitional model of CK is a particular case of a definition in terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular cases of neighbourhood structures. Section 3 reviews the soundness and completeness theorems proved w.r.t. the former structures by Fagin, Halpern, Moses and Vardi, as well as related results by Lismont. Section 4 reviews the corresponding theorems derived w.r.t. the latter structures by Lismont and Mongin. A general conclusion of the paper is that the axiomatization of CB does not require as strong systems of individual belief as was originally thought — onlymonotonicity has thusfar proved indispensable. Section 5 explains another consequence of general relevance: despite the infinitary nature of CB, the axiom systems of this paper admit of effective decision procedures, i.e., they aredecidable in the logician's sense.     

面向人与自然和谐共生的环境党内法规的治理逻辑

建设面向人与自然和谐共生的中国式现代化,中国式法治化是必然要求,其中环境法治不可或缺。中国式的环境法治必然要重视党内法规的特殊法治和治理功能。可从着力发挥党内法规在环境法治中的特殊作用、统筹推进环境综合治理的规范功能、推动构建人类环境命运共同体的制度文明三方面,揭示出环境党内法规所秉持环境系统观、环境效能观、环境文明观的政理法理。环境党内法规有广义和狭义之分,环境党内法规所承载上述治理逻辑的规范样态,不仅包括符合《中国共产党党内法规制定条例》严格形式要件的狭义党内法规,也包括引领环境法治发展的环境政策、起到监督保障等作用的党内环境规范性文件。从环境党内法规的政治功能和规范效力来讲,将以决议、决定、意见、通知等为主要载体的环境政策视为广义的环境党内法规,符合新形势下环境党内法规体系构筑的核心要义。从目前党内法规体系的构成情况看,起到监督保障作用的党内环境规范性文件成为了主力军,但其数量庞杂又单线作战的实践困境使其亟需完善以形成治理合力。因此,应进一步探讨党的环境政策和党内环境规范性文件向狭义党内法规的有机转化,使狭义的环境党内法规成为环境党内法规体系的主体部分。广义视阈下的环境党内法规,在面向人与自然和谐共生的现代化中发挥着规范、治理与重塑的制度功能。环境党内法规通过将党的不成文的环境文明提炼转化为具有约束力的制度形态,从而使其获得长远的效能力和长期的执行力。环境党内法规通过为生态文明建设提供制度赋能,从而全面发挥其环境治理的政治效能、预防效能和发展效能。环境党内法规以党的领导为本质特征的政治结构为环境文明奠基、以人民为中心的人本理念为环境文明铸魂、以党规国法共治为保障的外部制度为环境文明塑形,使其实质上具备了打造人类环境文明新形态的重塑功能。需要注意的是,完备的环境党内法规体系对上述功能的系统发挥尤为重要,因此,面向人与自然和谐共生的环境党内法规,还有待进一步体系化完善。     

逻辑的观念与理论——中国逻辑史研究的两个重要因素

“中国历史上是否存在逻辑学”是国内逻辑学界长期争论的问题。其中,“没有逻辑”说还分为绝对论者和相对论者:绝对论者认为中国古代没有任何形式的逻辑;相对论者认为中国古代虽然没有西方意义上的逻辑,但只有非形式逻辑。之所以学者们在此问题上争论不休,是由于双方对什么是逻辑有不同的理解。在进行中西逻辑学比较之前,首先要确定一种统一的逻辑观念,因为逻辑观念是逻辑理论得以形成的基础。     

老字号品牌价值共创机理及对策研究——基于服务主导逻辑视角

将服务主导逻辑的思维范式引入老字号企业中来,结合消费文化和社会情景价值理论探讨该领域中品牌价值的共创机理,基于理论假设构建研究框架。以北京、上海、福建三个地区的不同行业老字号品牌企业为实证研究对象,对企业员工和消费者进行访谈和问卷调查。通过修正的初始量表,基于PLS-SEM方法对收集的309份有效问卷调查数据应用SPSS22.0和Smart PLS2.0进行分析,验证消费者情感价值共创的中介作用及互联网媒介交互的调节作用。分析结果表明,消费者与老字号企业共同创造价值,历史悠久的老字号品牌企业关注基于互联网媒介下不同利益相关者的互动和协同才能创造品牌价值共创的最理想点,最后为老字号品牌管理提供有益的建议和应对策略。     

深刻领会“不忘初心、牢记使命”主题教育的总要求

【目的/意义】随着世情、民情、国情、党情的深刻变化,我国已经进入中国特色社会主义新时代。新的历史发展方位对中国共产党的党员队伍素质提出了更高更新的要求,以习近平同志为核心的党中央在全党和全国范围内开展了“不忘初心,牢记使命”的主题教育活动。【设计/方法】要把教育活动转化为长效制度,就需要通过对历史的追溯、对现实的脉诊、对理论的发展、对实践的回应和对未来的勾勒,寻求构建中国共产党“不忘初心,牢记使命”长效制度的内在逻辑支撑和外在学理依据。【结论/发现】坚持历史、现实、理论、实践和未来五重逻辑有着巨大的现实意义,回答了构建“不忘初心,牢记使命”制度的历史必然性、现实人民性、理论科学性、革命实践性和未来发展性。阐述和贯彻五重逻辑将为新时代中国共产党建设“不忘初心,牢记使命”的制度提供不竭动力和注入崭新内涵。     

MUX級联网络的組合設計

利用MUX级联网络实现多变量逻辑函数时,为求得最简的级联系统,本文提出了利用剩余函数立方图求取变量划分的快速方法。该法无需借助卡诺图,也不需要进行复杂的运算。结果表明,该法行之有效而且十分方便。     

建国来我国婴幼儿照护服务政策：发展历程、演进逻辑与行动展望

回顾建国后婴幼儿照护服务政策的发展历程可为未来婴幼儿照护服务的发展提供历史镜鉴。梳理已有婴幼儿照护服务政策,可以发现婴幼儿照护服务遵循着以供需矛盾为表征的政策动力机制、以普惠公益为目标的政策服务定位、以责任分担为机制的政策服务路径等演进逻辑。未来应在理顺政府、市场及家庭的定位与职责的基础上增加婴幼儿照护服务的有效供给、加快顶层设计的同时明确婴幼儿照护服务的主管部门、完善政策配套实施的方式上激发婴幼儿照护服务内生发展动力,促进婴幼儿照护服务良性发展。     

关于司法体制改革的若干思考--一些有关司法体制改革的相对"保守"的看法

当前学界流行着关于司法体制改革的一系列观点,它们积极地推动了以往的司法改革,对当前的司法体制改革更具有重要意义。有关司法体制改革的相对保守的看法对照着目前主流观点,从司法体制改革的政治视野、制度逻辑、具体措施等若干方面,强调改革与现实的关联性,简解司法体制改革与政治文明、政党执政规律、人民代表大会制度的相互关系,以及独立司法区划、法官职业化、陪审制度、司法行政事务与司法业务分离等实践课题,关照司法体制改革的中国意义。     

谈高等数学概念中形式逻辑的体现

数学概念教学是高等数学教学中重要的一个环节。本文从形式逻辑的视角 ,分析了数学概念的形成过程和结构 ,并对数学概念中的形式逻辑的体现进行了阐述     

立体标签自动贴标机结构设计

为了减少在产品包装环节中的人员参与,提高包装环节的自动化程度,研制了一种用于立体标签的自动贴标机。 根据产品贴标的流程,采用Pro/E软件进行三维建模和零部件的优化设计,包括传送机构、标签推进机构和折弯机构。 折弯机构中采用了折弯翻板实现对标签的折弯控制;自动贴标机各机构均采用了独立的电机控制,控制系统采用PLC 技术和变频器调速控制,设计了电动机正反转的控制电路图。通过对机械结构和电气控制系统优化设计,得到了满足设 计要求的自动贴标机机构设计参数,实现了对厚度为0.5 mm纸质标签纸的2次折弯并实现贴标过程。该自动标签机的 使用实现了包装过程的自动化,提高产品的包装效率。