谓词抽象及其作用

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

解决集合论悖论的雷歇尔方案——兼论解决集合论悖论的方法论

关于集合论悖论的解悖方法论研究可谓是既不充分也不成功。通过梳理与分析发现,无论是定性进路上的恶性循环原则与统一解原则还是定量进路上的主观概率与信念修正模式,它们都因不满足解悖的哲学标准而失败。而雷歇尔的方案则整体上是成功的,这一方法论由有效识别要求和成功引入原则有机构成,它不仅满足形式标准,而且以逻辑与数学分析方法为基础,通过诉诸无根据预设对象提供了满意的哲学解释。即使从数学实践标准来看,它也能指导具体理论的成功构建,并有效推动数学发展。当然,它在识别方法与自我指称方面也存在一些不足,但通过在识别方法上引入反证法与生产性原则,在自我指称上区分良性循环与恶性循环可以弥合这些问题。     

主动性人格对学习投入的影响：领悟社会支持和积极情绪的链式中介作用

基于资源保存理论,采用主动性人格量表、领悟社会支持量表、正性-负性情绪量表和学习投入量表对544名在校大学生进行问卷调查,通过结构方程建模来考察主动性人格、领悟社会支持和积极情绪对学习投入的影响。结果发现,主动性人格、领悟社会支持和积极情绪均能够正向预测学生学习投入;领悟社会支持和积极情绪在主动性人格对学习投入的影响中起到链式中介作用。     

听障儿童外部情绪理解研究

通过自编的外部情绪理解问卷,考察了听障儿童表情识别、情绪情景识别和提示物理解等外部情绪理解三个成分的发展状况。结果表明:(1)听力障碍儿童在外部情绪整体理解、表情识别、情绪情景识别和提示物理解四方面的得分都显著低于普通儿童;(2)不同年级听力障碍儿童的外部情绪理解、表情识别、情绪情景识别和提示物理解四方面得分存在显著差异,不同性别听力障碍儿童外部情绪理解差异不显著;年级和性别的交互作用显著;(3)父母听力状况不同的听障儿童,其外部情绪理解水平差异显著。DD儿童的外部情绪整体理解、表情识别和情绪情景识别得分显著高于DH儿童。     

论集合论的模型

本文讨论了ZF的经典模型和非经典模型,梳理了它们的最新动态,并且将ZF的广义代数值模型推广到基于形式不一致逻辑的弗协调集合论。该推广过程的关键在于解决两个问题:第一,这类弗协调集合论是否包含不是一致的集合;第二,在模型中如何处理相等关系=,以便它能够满足莱布尼兹公理。此外,本文构造的广义代数值模型具有一定的可推广性。     

论西方可废止性道义逻辑的形式化研究及其存在的问题

道义逻辑和非单调逻辑是在不同的学科内根据不同的原因产生和发展的,分属两种不同的逻辑。但受人工智能理论的启发,西方研究人工智能的专家和逻辑学家逐渐认识到道义理论和非单调推理之间有很大的关系,把两者结合起来研究,不但可以解决道义逻辑中的令人棘手的悖论问题,还可以为道义逻辑提供更为完美的理论框架。于是,在道义逻辑的研究中出现了一种新的方向:与非单调推理相结合,建立具有可废止性的(DEFEASIBLE)道义逻辑系统。目前,国内关于这方面的研究较为陌生,所以我们从语形和语义两个角度对西方可废止性道义逻辑的形式化研究给出系统…     

基于现代美术教学理念的美术教学研究

经济发展和社会进步,我国教育体制发生了极大变化和改革,极大地促进了现代美术教学理念的应用与渗透,对美术教学的开展产生了极其深远的影响。基于现代美术教学理念,开展美术教学,可以为美术教学水平的提升创造有利条件,培养出一大批高质量的美术人才,实现学校教育教学目标。针对基于现代美术教学理念的美术教学展开深入的研究,以供相关人士的借鉴。     

冷静的热情--冷军的艺术成长之路

冷军作为中国具象写实画派的领军人物,以其独特的艺术修养和绘画风格,影响着无数的艺术爱好者。迄今为止,冷军的艺术成长之路可以分为四个阶段:批判现实主义、升华与跨越、传统与回归、散手写生。前两个阶段是对现实社会的批判,带有一定的隐喻;第三个阶段是回归绘画本身;第四个阶段的绘画创作则与以往的写实绘画大有不同,更加偏向写意。冷军在一次次的挑战与突破中实现新的蜕变,也进一步证明了传统绘画在当代绘画中有着不可撼动的地位。     

机械通气患者肠内营养不同输注方式的比较

探讨机械通气患者肠内营养时最佳输注方式及应用时机.选择30例进行机械通气的患者,采用3种输注方式:间歇泵入输注(90min/次,5次/d)、持续泵入输注20h、持续泵入输注14h;每4h监测1次患者胃液残留量及胃液pH值,每种输注方式观察24h.结果3种输注方式下抽取的胃液残留量及测得的胃液pH值差异均有统计学意义(P＜0.05).间歇泵入输注方式较持续泵入输注14h、持续泵入输注20h测得的胃液pH值低,胃液残留量少,机械通气患者早期肠内营养适应后,更适宜采用此输注方式.     

组织水平上的领导—员工交换(LMX)研究——LMX与组织公平

文章以领导-员工交换理论(LMX)研究的发展为线索,着重介绍了国外最新有关组织水平LMX的研究。论述了相关的研究结果和研究方法,用LMX理论与结果公平、程序公平和互动公平的概念讨论工作组织中员工的社会比较过程。最后指出组织水平研究对企业管理的实践意义。