谓词抽象及其作用

当今,命题模态逻辑作为一种标准的形式工具,已被广泛应用于计算机科学和人工智能的各个领域.然而,与命题模态逻辑不同,通常的一阶模态逻辑语言的表达力是不充分的,这是许多重要问题背后的原因所在,这些重要问题包括:模态逻辑中没能出现与经典逻辑相媲美的赫伯兰(Herbrand)定理、非严格指称问题、同一性问题、罗素的限定摹状词理论、动态逻辑的指派表达等等.美国当代逻辑学家、证明论专家菲汀(M.C.Fitting)充分认识到通常的一阶模态逻辑表达力不充分所产生的弊端,他通过把谓词抽象引入通常的一阶模态逻辑的语形和语义,以一种极其简单和自然的形式加强了一阶模态语言的表达力,从而使上述问题迎刃而解.本文首先介绍谓词抽象的基本思想及其简史,然后重点阐述谓词抽象在模态赫伯兰定理以及其他领域的重要作用.     

舒芬太尼与芬太尼复合罗哌卡因用于小儿术后镇痛效果比较研究

为了观察舒芬太尼或芬太尼复合罗哌卡因用于小儿术后镇痛的效果及其不良反应,选择ASAⅠ-Ⅱ级行择期下腹部手术的小儿50例,随机分为两组,各25例,术后分别使用0．5μg·m^-1舒芬太尼或2μg·ml^-1芬太尼复合0．1％罗哌卡因行硬膜外病人自控镇痛,观察术后24h镇痛效果及其不反应。结果显示,舒芬太尼组术后24h静态和活动时镇痛效果优于芬太尼组（P〈0．05）,恶心、呕吐发生率低,程度轻（P〈0．05）。因此,舒芬太尼复合罗哌卡因可安全用于小儿下腹部术后镇痛,效果优于芬太尼复合罗哌卡因。     

观念运动理论：内涵与证据

人类日常动作有两种类型, 一是是对外界刺激的反应, 是一种自下而上的动作模式, 即感觉运动(sensorimotor)模式; 二是以人们头脑中的观念意图为基础, 由观念引导, 为了实现一个特定的目标而执行特定的动作, 是一种自上而下的动作模式, 即观念运动(ideomotor)模式。观念运动理论(ideomotor theory)所解释的就是以基于意图的动作。该理论经历了长期的演变, 一般动作执行与动作模仿领域内的行为与神经科学研究的证据初步证实了观念运动的理论构想与主要机制：共同编码机制与镜像神经机制。观念运动理论在贯通感知觉与动作方面具有重大意义, 由此还产生了共享环路模型(shared circuits model, SCM)等新近观点。此外, 观念运动理论还强调了目标和预期的重要地位。未来还需加强对动作与意图之间的通路, 以及动作的本体性效果等方面的研究。     

自杀性恐怖主义的心理学述评

自杀性恐怖主义是指为了引起目标对象或公众的注意并散播恐怖气氛, 而自愿采取与选定目标同归于尽的方式残害无辜, 自愿牺牲自己的生命去换取任务的成功, 从而达到某种宗教、政治或社会目的。自杀性恐怖分子并没有单一的心理侧写, 其动机也很复杂。他们可能是出于宗教或政治目的而进行自杀性恐怖袭击, 也可能是基于理性分析而做出的选择。意义追寻模型是将有关自杀性恐怖分子动机的理论和观点连接起来, 形成的一个具有说服力的综合模型。自杀性恐怖主义的性别差异不大, 只是女性可能想要争取性别平等, 也更可能受个人原因的驱使。由于自杀性恐怖分子的真实数据和信息很难搜集, 所以得出的可能只是推测性的结论, 在未来的研究中还需要运用更多其他的实证研究方法。     

试论基督教的神圣原则

基督教伦理是奠立在宗教信仰基础上的伦理形态,道德的存在以神圣的信仰为来源为归宿,自身不构成自足的根据,以神圣性的精神理念为起点和终点,形成了基督教伦理的基本观念和基本原则,并由此引申出一套伦理行为规范,对人的生活中的价值选择和行为模式进行道德建构和道德评判。所以,基督教伦理的实质是将今世的相对性奠立在来世的绝对性之上,用神圣的视野观照世俗的道德,用超越的信念支撑经验的伦理。     

循证医学在ICU中的应用

循证医学(Evidence-Based Medicine,EBM)是指慎重、准确而明智地应用当前所能获得的最佳的研究证据,同时结合医生个人的专业技能和临床经验,并考虑患者的价值和愿望,将三者完美地结合起来制定出对患者最有利的临床决策.然而,ICU中的各项治疗措施常缺乏大规模随机对照试验(RCT)的证据;对于已经实施的RCT同样存在着概念方面的错误,尤其是很多被认为已经RCT验证过的措施实际上并无RCT的证据.尽管如此,但近年来我们终于在临床试验结果方面有了更多积极的进步,一些干预措施已被证明可改善患者的预后.     

心脑血管疾病防治的社区医疗模式初探

心脑血管疾病是严重危害老年人健康的主要慢性非传染性疾病,简捷、方便、费用低廉的高质量社区医疗服务是提高老年人生活和生命质量的需要,建立科学、规范、有效的社区防治管理模式是减少其发病率、致残致死率的关键措施,同时也是构建"社会主义和谐社会"的有效途径,对于"统筹人与自然、人与社会的和谐发展"具有十分重要的现实意义.     

扩散张量成像在脑胶质瘤诊治中的应用

扩散张量成像是目前唯一可以在活体显示大脑内白质纤维走向的磁共振成像技术,对于脑胶质瘤术前诊断,制定手术计划,指导手术及判定预后等方面是非常有帮助的.综述了近年来扩散张量成像技术在脑胶质瘤诊断、治疗及判定预后中的应用价值,并结合文献提出了目前存在的不足.     

临终关怀中的心理支持系统的现状与问题

在回顾临终关怀中心理支持系统的历史的基础上,分析了临终关怀中心理学研究的现状,并从中揭示出临终关怀中心理学研究存在的问题.死亡观念、家庭社会系统、文化系统、临终关怀心理支持系统研究的基本维度,死亡观念同医护人员、家属的心理健康的关系在其中处于突出地位.不同文化背景下死亡恐惧的差异是在建立本土化的临终关怀的心理支持系统中值得重视的问题.     

论唐代道士吴筠的咏史组诗

吴筠是唐代著名道士,其《高士咏》与《览古》诗是前代少见的咏史组诗。《高士咏》的创作目的是为了批判当时社会上的伪隐之风,对历史上的高士进行咏赞。《览古》诗则从道家哲学观、社会观的角度,对历史发展、演变作出了哲学思考,告诫士子应全身远害。其咏史组诗的艺术特色与价值在于:具有浓厚的道家色彩;达到了人物形象塑造的共性与个性的统一;体现出平和冲淡与悲沉凝重两种艺术风格,并有强烈的理性色彩;吴筠的咏史组诗对后世产生了较大的影响。