哥德尔的一阶逻辑完全性证明的原始版本

哥德尔的一阶逻辑完全性定理（1929）是数理逻辑的基石。当代的逻辑学学生学习数理逻辑时大都直接接触Henkin（1949）的改良证法,该法简明扼要,并将原证法的“关于可数语言的限制”扩展至“任意基数的语言”。本文用改进的当代逻辑学术语简要重述了哥德尔的一阶逻辑完全性定理的原始证明,这一证明在很大程度上已经为人所遗忘。作者并择要指出原证明中未声明地使用了Konig引理（1926）。     

从现代逻辑观点看中国古代的有效推理

中国古代逻辑也是研究推理和论证的。推理和论证的主要目的是揭示一个命题为真的原因或理由。推理关系是一种 ＂必然地得出＂ 的关系。墨子提出了四种推理模式：＂辟＂、＂侔＂、＂援＂、＂推＂,而且把 ＂推＂ 又分为两种 ＂止＂,即归纳＂止＂ 式推论和演绎 ＂止＂ 式推论。特别地,墨家提出了 ＂效＂ 作为判定推理是否有效的标准。     

医学院校自然辩证法教学中的例证探析

目前在《自然辩证法》的教学中还存在一些问题,如教材老化、师资力量不足,学生人文素质背景较薄弱等,为了切实使理论和实践相结合,使学生认识到该课程的重要性而学有所用,以医学院校为例,论述了如何将有关医学实例结合到《自然辩证法》的教学过程中去,以切实有效地提高这门课的教学效果。     

护理执行用药医嘱的伦理学思考

护理人员在医疗机构推行临床合理用药的过程中承担着十分重要的任务。加强护理人员的道德教育,提高护理人员的素质,提高药物使用业务知识水平,提高与药物临床使用相关的护理技能,真正体现医疗机构推行的"以人为本"的护理理念,为患者的健康、康复负责。     

2000年～2009年国内胃食管反流病误诊文献回顾分析

为探讨胃食管反流病(GERD)误诊现状、原因和对策,对2000年～2009年10年间国内公开发表的GERD误诊报道文献97篇进行回顾性分析。既往10年间共报道GERD误诊病例2629例,共涉及38个病种,其中最常见的误诊病种是冠心病/心绞痛(48.04%)、慢性咽炎(24.23%)、支气管炎(10.27%)、支气管哮喘(8.56%)。主要误诊原因是GERD非典型表现繁杂,非消化科医生缺乏相关知识,忽视相关鉴别诊断。心血管、耳鼻喉、呼吸科医生是强化GERD认识的重点人群。     

低疟区疟疾导致胸外科术后高热的诊治体会

探讨疟疾导致术后高热的诊治方法,回顾性研究15例疟疾导致术后高热患者的诊治经过,其中1例确诊患者给予氯喹治疗后痊愈,14例疑似患者经氯喹试验性治疗后痊愈,9例患者随访1年均无复发。因此,对曾有输血史或疟疾史的术后高热患者,排除感染或变态反应后,可给予氯喹试验性治疗,无需等待确切的病原学结论。     

军事生物技术的"生物政治"问题研究

现代生物技术在军事领域的广泛应用,触及安全、伦理、法律等诸多问题.为寻找其共性,寻求共同解决机制,引入"生物政治"概念,并分析了军事生物技术领域"生物政治"涉及的多样性主体、生物政治关注的若干问题,以及就某些热点问题进行评述.旨在为生物科技时代,生物技术在军事领域的研究和应用提供有益探索.     

从指南看TIA概念的演变及临床意义

短暂性脑缺血发作(TIA)的概念从20世纪50年代提出至今已有50余年,随着临床研究的深入和神经影像学技术的进步,人们对TIA的认识发生了深刻的变化.美国心脏协会(AHA)、美国卒中协会(ASA)在2009年6月发表最新指南提出TIA是由脑、脊髓或视网膜局灶性缺血引起的短暂性神经功能障碍,且无急性脑梗死证据.本文对新指南进行了解读,并对TIA概念的演变进行了简单回顾,同时探讨这种演变的临床意义.     

急性肺损伤生物标志物研究进展

急性肺损伤是-临床常见的呼吸系统急危重症,是多个危险因素直接或间接引起肺部损伤的连续病理过程,低氧血症为其特征,其发病机制复杂,病亡率高,目前临床上仍缺乏有效的早期诊断方法,严重影响了疾病的预后,因此需寻找一个简单有效的诊断方法,如血清生物标志物的测定等来帮助本病的诊断以取得更好的疗效.     

从指南看TIA概念的演变及临床意义

短暂性脑缺血发作(TIA)的概念从20世纪50年代提出至今已有50余年,随着临床研究的深入和神经影像学技术的进步,人们对TIA的认识发生了深刻的变化。美国心脏协会(AHA)、美国卒中协会(ASA)在2009年6月发表最新指南提出TIA是由脑、脊髓或视网膜局灶性缺血引起的短暂性神经功能障碍,且无急性脑梗死证据。本文对新指南进行了解读,并对TIA概念的演变进行了简单回顾,同时探讨这种演变的临床意义。