创伤性截瘫患者的人文关怀

截瘫是一种严重的残疾,其中大部分是由外伤导致脊髓损伤而引起的。在目前的急救护送、诊治方法和康复治疗中仍然存在很多不足。中国的人文关怀有着深厚的传统根基,已经渗透到各个领域。本文就如何应用人文关怀的精神关爱截瘫患者,更好地构建和谐社会谈几点看法。     

社会群体中的偏好逻辑

在许多多主体偏好逻辑系统中,主体之间是没有联系的,因而无法描述主体间的偏好互动。借鉴＂The Logic in the Community＂一文中称为＂群体压力＂的例子对偏好的影响,本文在＂The Logic in the Community＂所提出的系统构架上,加入偏好算子和两个动态算子,通过构造归约公理说明这些算子可以被无偿添加,并借助这些规约公理证明了系统的完全性。     

直言推理系统

本文构造了直言推理的一个系统MA,内容包括直接推理和三段论,但未考虑单称命题。此系统实际上是名辞逻辑系统MZ的子系统,精确地说是关于类名及其否定和由它们形成的本辞的系统。文中证明了系统MA的可靠性和完全性,并提出了它的自然推理系统。     

从一个康复“缺憾”个案看科学思维方法的意义

本文就一例截瘫患者从因分娩诱发患病、误诊误治到康复治疗实施的过程进行分析,通过总结在诊断、治疗和康复过程中的失误与经验,讨论我们在日常的工作中如何正确建立科学思维方法以及利用科学思维方法解决实际问题,以达到提高自身诊疗水平和独立思考能力的目的。     

一个多值逻辑的一阶谓词系统

鞠实儿曾提出一个开放类三值命题逻辑系统,这一逻辑也可以推广到任意m值逻辑情形,成为一个联结词函数完全的逻辑。本文将对推广的命题逻辑系统L^＊建立一种一阶谓词系统,并证明其可靠性、完全性。     

蒙爱的人

我是一名高位截瘫患者,至今已经历了两年多的卧床和轮椅生活。那是1992年2月4日的一场意外的车祸,使我胸椎压缩性骨折,导致剑突截面以下呈完全性截瘫。辗转青岛、文登等几所大医院,先后行两次减压手术,中、西医用尽了办法,都未见效果。于是,我回到莱西老家,开始了这漫长的卧床和轮椅上的生活。     

布尔模态的公理化（英文）

布尔模态(即模态生成算子补、交、并)涉及到了完全性问题。并模态是模态可定义的,但是补和交都不是。这意味着证明包含这三个模态的逻辑的完全性不是一件简单直接的事情。Gargov和Passy使用复制方法从整体上处理这三个模态,但是,这个方法不适用于强完全性,也不能单独处理这三个模态。本文改进了这个方法,使得改进后的方法更具一般性,并且没有这两个不足之处。