新时代实现人的现代化的三重逻辑

中国式现代化立足于我国的基本国情,体现了社会主义的本质,它以实现物质富足、精神富有为根本要求,致力于构建人类命运共同体,为新时代中国特色社会主义建设指明了方向。人民群众作为社会主义建设的主体,是中国式现代化的探索者和践行者。中国式现代化的核心是人的现代化,而中国共产党则是领导我国人的现代化事业的核心力量。马克思主义人学所主张的为人类求解放,百年党史中贯穿的为人民谋幸福、为民族谋复兴初心使命,遵循“一元多线”发展观的中国式现代化道路是新时代实现人的现代化的理论、历史和实践逻辑。     

新时代老龄健康权利的平等性、优先性、发展性

健康权是我国公民的一项基本权利,新时代老龄健康权利具有平等性、优先性、发展性。平等性是老龄健康权利的主体特征,它包含健康机会的代际平等和健康结果的代内相对平等,老龄健康权利主体资格及其平等性是由法律赋予并为法律所保护。老龄健康权是基于法权的道德优先权,其优先性主要体现在健康资源分配对老龄弱势群体的适度倾斜,它反映了法律正义和道德正义的有机统一。健康发展不仅指个体生命运动的良性循环状态,而且指一个国家或地区人口健康水平稳步提高的趋势。老龄健康权利的制度伦理保障需要从宏观、中观、微观三个层面协同推进,促进人民健康发展是其价值目标。     

中国政策试点的三重逻辑：历史、理论与实践

政策试点是推动改革的重要制度安排,也是阐释中国共产党领导国家治理现代化历程的关键线索。已有文献较少对中国政策试点的整体逻辑进行提炼。本文基于历史、理论、实践三重逻辑,解析新中国成立70多年政策试点的历史脉络,区分政策试点不同时代的典型特征;探讨“一般号召与个别指导相结合”“摸着石头过河”“顶层设计与基层探索良性互动”的理论谱系;提炼“权威引领的政策试点”“府际互动的学习网络”“多样化的试点模式”“适应性的政策制定”的实践逻辑。历史、理论、实践三重逻辑具有内在统一性,共同揭示了中国政策试点的独特机制：议题驱动的强化学习、高位驱动的专项授权、评价驱动的经验吸纳、注意力驱动的创新迭代。推动政策试点的持续发展,既要总结历史规律,建构具有指导意义的政策试点理论,也要从不断发展的实践中汲取新知识,回应时代性的重大改革议题,更有效地发挥政策试点在全局性改革中的示范带动作用。     

马克思生产工具理论的三重逻辑架构

马克思生产工具理论是马克思主义理论的重要组成部分,其中包含十分重要的概念体系、思想内涵与逻辑架构：其一,生产工具与生产主体的相互构建是马克思生产工具理论形成的逻辑起点;其二,机器工具的应用（包括科学技术的应用）与资本主义生产的合谋同构是马克思生产工具理论成熟的显著标志;其三,生产工具、机器体系与社会化大生产的三维结构是生产工具理论揭示人类社会发展必然趋势的科学依据。这三个方面逻辑关系密切,呈现马克思生产工具理论的体系性和发展的进阶性。     

社会转型时期大学生的价值优先性

本研究以Schwartz开发的价值观量表(SVS)为工具,以北京地区1077位大学生为被试,运用结构方程模型、方差分析等方法考察社会变迁背景下大学生价值观的内容和结构。研究结果发现(1)大学生价值观由4类高阶价值和10类基本价值构成,在总体结构上不存在性别差异。(2)大学生的价值优先性呈现出三个基本特征:价值取向多元、利益指向多元、现实性。鉴于对研究局限的认识,本研究亦对后续研究方向提出建议。     

论公共决策的优先性价值

公共决策关涉价值,且负荷优先性价值。在思想史的维度上,众多学者认同公平是公共决策的优先性价值。在学理层面上,公共决策的公共性和政府的服务性决定公平是公共决策的优先性价值。处于市场经济条件下的政府必须以公共决策的优先性价值为基础正确把握公平与效率的辩证关系。     

伦理实体的宗法模式与唐律的内生逻辑分析

关于“一准乎礼”法理逻辑的伦理建构,是从纵深层面探究唐律礼法融合的内在进路,以动态式的概念推演来揭示唐律的法理逻辑渊源.具体而言,就是以“仁”作为“一准乎礼”的论证基点,以“仁者人也”体现“人之所以为人”的法律终极诉求,从而催生出“己、家、国”之实体层面的逻辑递进性,这是以“仁”一“己”之间的规定性为逻辑起点、以“家国一体”为法律运行环境而构建“一准乎礼”法理逻辑演化的载体形态.     

“中国逻辑”名称困难的辨析——“唯一的逻辑”引发的困惑与质疑

上世纪三十年代,金岳霖先生以欧洲传统演绎逻辑是唯一和普遍的逻辑学观念,对中国逻辑的研究提出了“中国逻辑”的名称能否成立的问题。否认逻辑与文化的联系,坚持逻辑的唯一性和欧洲传统演绎逻辑的唯一性与普遍性,这些是提出“中国逻辑”名称困难的依据。上述观点将会面对由逻辑学研究对象、逻辑学学科性质以及逻辑史所展示的事实所引发的诸多困惑与质疑。逻辑学的研究对象是逻辑思维。逻辑思维不是单纯的自然现象,而是属于人的精神世界。人的精神世界依附于人类的文化,即人的实践活动及其成果的总和。当人类文化呈现出多样性的统一状态时,包括逻辑思维在内的精神世界不仅有共性,也有由民族地域不同而显现的个性。在中国,先秦文化不同于古希腊文化,它的核心是伦理政治与社会人事,它的主要内容是伦理尺度与治国纲纪的构想、建立和实践,它的基本思维取向是现实的需要以及实践中的经验。以“类同”为依据进行“以类取,以类予”推演的“推类”,成为先秦时期逻辑思维中居主导地位的推理类型,同时也成为先秦逻辑学研究的主要内容。中国古代逻辑学是有别于欧洲传统演绎逻辑的。研究中国逻辑离不开对欧洲传统逻辑的借鉴,在这种借鉴研究中,应用比较法的关键有三：第一,被比较的诸对象都把与之相比较的对象视为平等的他者,而不是对立者或规范者;第二,在见其同异中,比较以见其相异乃更为重要。第三,对研究对象的异点给出制约因素的分析,就中国逻辑研究而言,就是“历史分析与文化诠释”。     

“三社联动”的内涵解构与逻辑演绎

"三社联动"是当代中国社会建设的重要实践。梳理既有说法,"三社"可以是三个工作主体,也可以是三个实务要素,从而就有"主体联动"和"要素联动"两种解构视角,前者含于后者之中。为了切实推进"三社联动",应该领悟"三社联动在场境",促进社区议题、社会组织和社会工作的合理联接和恰当互动;应该参鉴社会治理的理念,吸纳社会工作的智慧,发挥社区民众和党政部门的特殊作用,体现操作理性和实践智慧,达成"三社联动"实务过程的优质高效。社会工作者也应该积极参与其中,并体现"液体角色"。     

比较改革前后的中国医疗卫生体制与伦理的优先

中国的医疗卫生问题近几年来一直是一个重大的社会热点问题。过去的市场化的医疗卫生有许多缺陷,特别是有重大的伦理缺陷。通过比较分析中国改革前后的医疗卫生特点,提出了今后中国医疗卫生体制改革以及伦理优先的思想轮廓。     

美国、英国和加拿大健康战略的比较分析

美国、英国和加拿大三国均为发达国家,也是世界上最早开展健康战略研究的几个国家。通过比较美国、英国和加拿大三国的基本卫生状况、健康战略的内容和发展过程,在此基础上,分析了三个国家在制定和实施健康战略过程中的做法与经验,为制定和完善“健康中国2020”战略提出了相关的建议。     

Predicate Logics on Display

The paper provides a uniform Gentzen-style proof-theoretic framework for various subsystems of classical predicate logic. In particular, predicate logics obtained by adopting van Behthem's modal perspective on first-order logic are considered. The Gentzen systems for these logics augment Belnap's display logic by introduction rules for the existential and the universal quantifier. These rules for x and x are analogous to the display introduction rules for the modal operators and and do not themselves allow the Barcan formula or its converse to be derived. En route from the minimal modal predicate logic to full first-order logic, axiomatic extensions are captured by purely structural sequent rules.     

医学专科能力评审的争议及规避策略

医院的医学重点专科建设是医院发展的重要战略,如何认定某医院某专科为地方的重点专科,是一个系统工程。地方卫生行政主管部门如何把握评审认定标准,展示政府执政的公正公平,是十分敏感的问题,它蕴藏着很大的风险。在重点专科的评定过程中如何体现政府形象,规避行政风险,需要认真探讨。结合某市重点专科检查的实际情况进行分析,就此种争议及规避策略提出建议。     

On the Algebraizability of Annotated Logics

Annotated logics were introduced by V.S. Subrahmanian as logical foundations for computer programming. One of the difficulties of these systems from the logical point of view is that they are not structural, i.e., their consequence relations are not closed under substitutions. In this paper we give systems of annotated logics that are equivalent to those of Subrahmanian in the sense that everything provable in one type of system has a translation that is provable in the other. Moreover these new systems are structural. We prove that these systems are weakly congruential, namely, they have an infinite system of congruence 1-formulas. Moreover, we prove that an annotated logic is algebraizable (i.e., it has a finite system of congruence formulas,) if and only if the lattice of annotation constants is finite.     

Monadic Fuzzy Predicate Logics

Two variants of monadic fuzzy predicate logic are analyzed and compared with the full fuzzy predicate logic with respect to finite model property (properties) and arithmetical complexity of sets of tautologies, satisfiable formulas and of analogous notion restricted to finite models.     

Behavioral Algebraization of Logics

We introduce and study a new approach to the theory of abstract algebraic logic (AAL) that explores the use of many-sorted behavioral logic in the role traditionally played by unsorted equational logic. Our aim is to extend the range of applicability of AAL toward providing a meaningful algebraic counterpart also to logics with a many-sorted language, and possibly including non-truth-functional connectives. The proposed behavioral approach covers logics which are not algebraizable according to the standard approach, while also bringing a new algebraic perspective to logics which are algebraizable using the standard tools of AAL. Furthermore, we pave the way toward a robust behavioral theory of AAL, namely by providing a behavioral version of the Leibniz operator which allows us to generalize the traditional Leibniz hierarchy, as well as several well-known characterization results. A number of meaningful examples will be used to illustrate the novelties and advantages of the approach. Presented by Daniele Mundici     

人工智能医疗的三个逻辑

人们对人工智能医疗的发展普遍持乐观态度,仅有少数研究从数据相关的角度对其负面效应表示了谨慎的担心。研究回顾了支撑人工智能医疗发展的技术和市场逻辑指出,是冷战竞赛和经济衰退等历史偶然性导致了人工智能医疗对以错误率为代表的“客观”结果和市场规模、收购金额以及医院成本收益等“主观”价值的片面关注。但以“黑箱化”的方式忽略社会逻辑,尤其是对医疗体制尚不成熟的中国而言,不可避免地会引发专业人才缺口进一步加剧、优质医疗资源进一步集中,以及缺医少药的部分人群始终被排除在新技术的美好蓝图之外等一系列的严重后果。     

Selfextensional Logics with a Conjunction

A logic is selfextensional if its interderivability (or mutual consequence) relation is a congruence relation on the algebra of formulas. In the paper we characterize the selfextensional logics with a conjunction as the logics that can be defined using the semilattice order induced by the interpretation of the conjunction in the algebras of their algebraic counterpart. Using the charactrization we provide simpler proofs of several results on selfextensional logics with a conjunction obtained in [13] using Gentzen systems. We also obtain some results on Fregean logics with conjunction.This paper is a version of the invited talk at the conference Trends in Logic III, dedicated to the memory of A. MOSTOWSKI, H. RASIOWA and C. RRAUSZER, and held in Warsaw and Ruciane-Nida from 23rd to 25th September 2005.     

Embedding Modal Nonmonotonic Logics into Default Logic

We present a straightforward embedding of modal nonmonotonic logics into default logic.