谓词抽象及其作用

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

对建立我国艾滋病防治督导与评估体系的思考

随着我国艾滋病防治工作的持续深入,定期对艾滋病防治工作进行督导与评估越来越重要。但是,到目前为止,我国尚未建立国家综合协调的艾滋病防治督导与评估体系。通过对建立国家艾滋病防治督导评估体系的必要性、可行性及存在的问题进行分析,围绕如何构建一个统一、综合、有效的督导评估体系提出政策建议。     

教堂幽默

消息泄露 有个牧师病了，临时请了一位以其没完没了的讲道而闻名的牧师来代替他。当他在讲坛上站定，发现包括唱诗班在内一共只来了10个信徒时，     

湖南某村外出务工人员艾滋病知识掌握现状调查及分析

采取匿名问卷调查和个别深入访谈相结合的方式对103名外出务工人员进行调查,表明大部分外出务工人员对艾滋病的传播途径、预防等知识有一定了解,但是不够全面和准确,存在较多误解。今后应加大对外出务工人员的关注,采取更有效的艾滋病健康促进干预措施。     

金刚铃:藏传佛教之器

藏传佛教金刚铃,可将它归为法器与乐器两种:一般作为供奉物,或任何造像的相关器物时会尊崇为法器;实际演奏时又归为乐器。金刚铃在藏传佛教寺院仪轨中有着特殊的地位,但很少被人们关注。本文依据宗教学、音乐学、图像学等研究方法,对藏传佛教法器(乐器)中具有代表性的法器金刚铃的词释义、法相、历时(纵向)性和共时(横向)性,金刚铃中佛学内涵以及诵经仪轨中的运用进行说明。     

ADHD儿童的病因、诊断及心理干预

ADHD是儿童常见的心理障碍,临床表现为以多动为主的行为问题,其病因包括各种生理因素和社会心理因素,参照SDM-Ⅳ提出具体的儿童多动症诊断标准,对儿童多动症的心理干预提出了支持性心理治疗、行为治疗、运动和游戏治疗以及认知——行为治疗等具体的策略。现在的发展趋势是系统的和整合的心理干预。     

安士伟会长赴辽宁指导伊协工作

安士伟会长赴辽宁指导伊协工作５月１５日至１８日，全国政协常委、中国伊协会长安士伟赴沈阳、鞍山视察，指导伊协工作。１６日上午，安会长在沈阳出席了全国首届清真烹饪技术竞赛开幕式。下午，安会长前往沈阳清真南大寺，次日又由省宗教局副局长杨伯文、省伊协副会长杨...     

左前额叶与趋近动机加工的关系

在加工正性情绪时, 前额叶左侧激活水平大于右侧。而正性情绪往往伴随着趋近动机。因此为了探索这种现象反映的究竟是正性情绪加工还是趋近动机加工, 文章总结了两个研究领域中的有关证据：来自特质或状态愤怒情绪与左前额叶相对激活关系领域的研究证据和来自身体姿势变化(包括整体姿势变化和单侧肌肉紧缩)对左前额叶相对激活的影响领域的研究证据。前者的一致发现是：左前额叶参与加工由愤怒情绪引发的趋近动机。后者的一致发现是：不同的身体姿势能够改变左前额叶的相对激活水平。两种领域的研究证据汇聚起来证明左前额叶参与加工趋近动机。文章还指出了将来研究的注意事项和可能方向：精确定义回避型愤怒; 探索愤怒情绪是否在加工晚期诱发趋近或回避动机; 探索不同方式诱发的趋近动机是否在脑机制上存在差异。     

初中生的数学估计能力及其与元认知监控的关系

抽取济南市四所中学初一至初三年级547名学生为被试,采用自行设计的数学估计任务和元认知状态问卷(SMI),考察了初中生数学估计能力的现状及其与元认知监控的关系。结果表明:初中生的估计能力总体较差,未显示出稳定的性别差异。元认知监控的四个维度与数学估计表现均存在显著的正相关。从元认知监控对估计成绩的回归分析来看,自我意识可以显著正向预测估计整体表现。其中,计划可以正向预测估数和估算成绩,自我意识可以正向预测估测和估算成绩。文章特别讨论了数学估计与元认知加工之间的具体联系。     

基督教伦理学与丁光训主教的著作

信仰与社会接触产生了基督教社会伦理学。尽管丁光训主教没有把自己当作是伦理学专家,不过他的神学思想对该领域有着重大的贡献。他在生活中,就是他融入自己生活的社会中发展、形成自己的神学思想。他没有闲暇紧闭在大学图书馆中思考生活而成为一名书斋式的思想家。他常常面对各种困难的伦理问题,以“行动主义神学家”来形容他也许是最好的。