基本医疗卫生改革的政治伦理、市场逻辑与未来走向

基本医疗卫生改革是当前实现“2030健康中国”和新时代下践行人民健康优先战略的一项制度创新。然而,现实中改革仍面临医疗资源配置不均和医疗服务供给效率不高的双重困境。本质上,医疗服务具有公利性与私利性二元属性,进而延伸出立足于公利性属性,基本医疗卫生改革应当坚守“人人公平享有”的政治伦理,鉴于私利性属性改革需要维护医疗市场主体合法逐利的正当权利,政府公利性创造与市场私利驱动是辩证性的哲学思考。我国医改未来应以公民健康与福祉共享为价值依归,始终坚持政府严守底线、市场有序竞争、社会和谐稳定的发展主线。

     

De Re Language,De Re Eliminability,and the Essential Limits of Both

De re modality is eliminable if there is an effective translation of all wffs into non-de re equivalents. We cannot have logical equivalence unless logic has odd theses, but we can have material equivalence by banning all essences, something the non-de re facts let us do, or by giving everything such humdrum essences as self-identity and banning the more interesting ones. Eliminability cannot be got from weaker assumptions, nor independent ones of even modest generality. The net philosophical import is that, quite apart from the merits of essentialism, de re language has scant utility.     

The Relation between Formal and Informal Logic

The issue of the relationship between formal and informal logic depends strongly on how one understands these two designations. While there is very little disagreement about the nature of formal logic, the same is not true regarding informal logic, which is understood in various (often incompatible) ways by various thinkers. After reviewing some of the more prominent conceptions of informal logic, I will present my own, defend it and then show how informal logic, so understood, is complementary to formal logic.     

早期宫颈癌术式选择的比较研究

根治性子宫切除术与保留生育功能的根治性宫颈切除术均可用于早期宫颈癌患者的手术治疗。根据生物-心理-社会医学模式的要求,本文采用比较治疗学的方法,对这两种手术方式,从适应证、手术方式、并发症、疗效等方面进行比较,为宫颈癌临床科学决策提供借鉴。     

急性肾损伤肾脏替代治疗模式的临床决策

急性肾损伤是指病程3个月内的,包括血、尿、组织学及影像学检查所见的肾脏结构与功能异常。目前,急性肾损伤肾脏替代治疗的模式尚无明确定论。常用的模式有间断性血液透析、持续性肾脏替代治疗、杂合式肾脏替代治疗、腹膜透析。临床上应根据患者的年龄、病因、病情危重程度、所在医院的条件和经济状况等选择合适的治疗模式。     

Quantized Linear Logic,Involutive Quantales and Strong Negation

A new logic, quantized intuitionistic linear logic (QILL), is introduced, and is closely related to the logic which corresponds to Mulvey and Pelletier's (commutative) involutive quantales. Some cut-free sequent calculi with a new property quantization principle and some complete semantics such as an involutive quantale model and a quantale model are obtained for QILL. The relationship between QILL and Wansing's extended intuitionistic linear logic with strong negation is also observed using such syntactical and semantical frameworks.     

关于健康观认知构造的中日比较研究

本研究的目的是揭示大学生关于健康观的认知构造,并对中日大学生健康观的认知构造进行比较。通过对收集到的日常生活的健康观数据进行处理,制成了一个包含50个项目的问卷,然后对收集到的儿8名日本大学生和81名中国大学生的数据进行了因子分析,得到了健康观认知构造的五个因子,即“自律性”(因子Ⅰ)、“主观自我”(因子Ⅱ)、“身体因素”(因子Ⅲ)、“心理因素”(因子Ⅳ)、“健康习惯”(因子Ⅴ)。中日学生的健康观认知结构在Ⅰ、Ⅲ、Ⅳ因子上存在差异。     

Propositions, Sets, and Worlds

If we agree with Michael Jubien that propositions do not exist, while accepting the existence of abstract sets in a realist mathematical ontology, then the combined effect of these ontological commitments has surprising implications for the metaphysics of modal logic, the ontology of logically possible worlds, and the controversy over modal realism versus actualism. Logically possible worlds as maximally consistent proposition sets exist if sets generally exist, but are equivalently expressed as maximally consistent conjunctions of the same propositions in corresponding sets. A conjunction of propositions, even if infinite in extent, is nevertheless itself a proposition. If sets and hence proposition sets exist but propositions do not exist, then whether or not modal realism is true depends on which of two apparently equivalent methods of identifying, representing, or characterizing logically possible worlds we choose to adopt. I consider a number of reactions to the problem, concluding that the best solution may be to reject the conventional model set theoretical concept of logically possible worlds as maximally consistent proposition sets, and distinguishing between the actual world alone as maximally consistent and interpreting all nonactual merely logically possible worlds as submaximal. I am grateful to the Netherlands Institute for Advanced Study in the Humanities and Social Sciences (NIAS), Royal Netherlands Academy of Arts and Sciences (KNAW), for supporting this among related research projects in philosophical logic and philosophy of mathematics during my Resident Research Fellowship in 2005-2006.     

Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs

There is an exponential speed-up in the number of lines of the quantified propositional sequent calculus over Substitution Frege Systems, if one considers proofs as trees. Whether this is true also for the number of symbols, is still an open problem. This revised version was published online in June 2006 with corrections to the Cover Date.