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

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

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

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

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

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

恒河猴对多边形边(角)数识别极限的实验研究

两只恒河猴在实验条件下以正多边形和不规则多边形的边数为刺激实体进行数量辨别训练,以最后测得恒河猴对多边形边(角)数识别的极限。实验结果表明,恒河猴在多边形边数相差为1的条件下,其辨别上限为7:8。这与以前以白色卡片上黑色圆点为刺激实体所得到的实验结果是一致的。     

从系统论看肿瘤的生物靶向性治疗

肿瘤的生物靶向性治疗是恶性肿瘤治疗的新方法,其试图通过在基因水平上调节与肿瘤发生、发展有密切联系的生命物质来达到治愈肿瘤的目的。但临床运用中,生物靶向性治疗的疗效与我们的想象相去甚远。本文运用系统论的观点,分析目前生物靶向性治疗中存在的问题及寻求可能解决的方法。     

元代疫灾述论

元代疫灾严重程度难以想象,为害甚重。据史实考察可以发现：元代疫灾虽是由自然界的破坏力及人与人之间社会关系失调共同作用而引发的,但作用主体是有变化的,且时段划分比较明显。疫灾的时间分布密集,空间分布也较为平衡。元政府在防疫方面也有许多积极举措。     

五个层面的挑战与三大理论难题——试论基因伦理

基因伦理的挑战在基因-检测、基因-治疗、基因-生殖、基因-克隆、基因-生态等五个层面展开,大致包括保护基因隐私、防止基因歧视,生殖细胞能否基因治疗,辅助生殖是否“扮演上帝”,克隆人,转基因的安全性等内容。同时,提出了基因决定论、实体论和主观论以及基因伦理走向何处等理论难题,需要认真研究和讨论。     

知情同意权在手术同意书中的法律探讨——李丽云死亡案引发的思考

李丽云因为丈夫拒签手术同意书而造成“一尸两命”的事件,“拒签”事件击中了医疗法规知情同意权在医疗实施过程中的软肋。如何保护病人的生命权、被救助权和手术权,如何让医院救死扶伤而没有后顾之忧,建议政府部门应该建立相应的“国家担保”制度,使病人得到最为及时有效的抢救和治疗。以免类似的悲剧再次发生。