谓词抽象及其作用

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

儿童侵犯性性别差异的社会认知技能视角

影响侵犯性性别差异的因素众多,本研究认为的社会认知技能的性别差异与侵犯性性别差异有密切关系,认知技能是风险因素和行为之间的调节者。女性相比于男性侵犯性行为少与女性神经机制的发展缺陷概率小,生理成熟早,最终发展形成较男性更好的社会认知技能有密切关系。     

中国道教协会会所暨中国道教学院校舍奠基仪式在北京举行

在中央领导的亲切关怀下,在国家宗教事务局的关心帮助下,中国道教协会会所及中国道教学院校舍建设工程已完成了前期各项准备工作,于2008年11月20日上午在北京举行奠基仪式.     

医疗保险支付方式的研究进展

医疗保险支付方式是医疗保险体制改革的重点与难点,直接关系着医疗保险各方的经济利益,影响医疗保险制度的平稳运行,也是医疗保险费用控制的关键。就国内外医疗保险支付方式的研究现状及进展进行综述,并进一步提出医疗保险支付方式的发展趋势。     

“鬼道”、“仙道”与“正一盟威之道”

在汉晋的历史文献中,多称张陵之道教为"鬼道",称其道徒名为"鬼卒". <三国志张鲁传>曰:"鲁遂据汉中,以鬼道教民.自号师君,其来学道者,初皆名鬼卒,受本道已信,号祭酒,各领部众,多者为治头大祭酒."     

中国苏州与美国15岁学生数学学习特征比较

本研究首次采用"学生能力国际评估计划"(PISA)的学生问卷,对苏州市504名15岁学生的数学学习心理及特征进行了调查研究,并与美国学生数据作比较.调查表明:中国苏州大多数学生在数学学习上具有较强的竞争意识与合作意识,他们会运用多种学习策略;那些对数学有更大兴趣和更高动机的学生,有更积极的自我概念和更少的焦虑体验.中美两国学生的数学学习特征性别差异显著.     

干预对学校道德氛围感知的影响

以80名初一学生为对象、以情境投射和角色扮演为两种形式,探讨了学校公正和关爱两种道德氛围感知上干预对学生的影响.结果表明:(1)以公正氛围为内容的干预训练,对提高被试公正氛围感知程度有明显的效果.(2)以关爱氛围为内容的干预训练,则在明显提高被试关爱氛围感知的同时对提高宽恕氛围感知也有明显效果,且有性别差异.(3)情境讨论、角色扮演两种干预方式对提高被试公正、关爱和宽恕的氛围的感知程度都有明显的效果,且有性别差异.     

应激干预对抑郁症患者心率变异性的影响

探讨分别以放松训练和静坐两种干预方式对抗心算对抑郁症患者心率变异性的影响 ,以及正常人、单纯抑郁症患者和伴焦虑症状的抑郁症患者在心率变异性上的差异.结果显示,静息状态下伴焦虑症状的抑郁症患者的交感神经功能亢进,兴奋性高于另外两组;放松训练可以缓解交感神经的紧张程度,并能够较静坐更好得对抗应激引起的交感神经活动增强;静坐对单纯抑郁症患者和对照组有放松作用,但引起伴焦虑症状的抑郁症患者紧张情绪.     

精神疾病患者遭受社会歧视的现状及其原因与对策分析

社会对精神疾病患者的歧视由来已久,这种歧视广泛存在于不同的阶层与民族当中,且各有其特点。其对精神病患者及其家属带来的负面影响是显而易见而且是深刻的,这种影响涉及到了患者生活的各个方面。本文对各种歧视的特点及其深层次原因进行了初步分析和探讨,并对如何减少这种歧视进行了探讨。     

大学生良知内隐观的调查研究

本研究采用社会效度的方法,对346名大学生的良知内隐观进行了调查研究,结果显示:1.大学生良知内隐观所涉及的范围广泛,经因素分析可以把大学生的良知内隐观概括为9个因素;2.大学生认为良知的诸特征中较重要和具有一致性的有:孝敬父母、有责任心、守信、善良、自爱、诚实、真诚、感恩、明辨是非和自尊等;3.年龄对大学生良知内隐观的影响显著,性别和专业对大学生良知内隐观的影响不显著。