超模态逻辑K[T_nK]和K[TK_n](英文)

本文的工作是在D.M.Gabbay的一篇论文《超模态逻辑理论:在模态逻辑中的模转换》基础上所做的,主要是将他的两类满足关系扩充到n+1种满足关系,然后在此基础上得到两类一般性的逻辑类K[T_nK]和K[TK_n],其中n≥1。我们得到了一些更为一般性的结论:（1）逻辑类K[T_nK]的定理模式是:对任意n≥1,□^j+（n+1）kp→□^i+（n+1）kp,其中0≤in]的定理模式是:□^1+（n+1）kp→□^（n+1）kp,其中b≥1。不过,□^j+（n+1）kp→□^i+（n+1）kp,其中0≤in]的定理模式,因此,（3）每一个逻辑K[T_nK]都是相应的逻辑K[TK_n]的真扩张,其中n≥1;（4）必然化规则在两类逻辑K[T_nK]和K[TK_n]中都不成立,但是,这样的规则成立,即如果A分别是两类逻辑K[T_nK]和K[TK_n]的定理,那么对于任意n≥1,□ⁿ⁺¹A也分别是逻辑类K[T_nK]和K[TK_n]的定理;（5）等值替换规则在逻辑类K[T_nK]和K[TK_n]下都不封闭;此外,（6）我们将D.M.Gabbay的从超模态逻辑到正规模态逻辑K的两类翻译τ₀和τ₁扩充到n+1类翻译τ₀,τ₁,…,τ_n。在超模态逻辑K[T_nK]和K[TK_n]与正规模态逻辑K之间,我们找到了点模型满足对应理论,即对任意的超模态逻辑公式α,在某个世界ω上为真,当且仅当,在正规模态逻辑K中τ_i（α）在世界ω上也为真。其中τ_i（α）是公式α从超模态逻辑到正规模态逻辑K的翻译。     

论语句的涵义与指称——对弗雷格的涵义-指称理论的一些修正(英文)

弗雷格把语句的涵义看作思想,把语句的指称看作真值。本文接受弗雷格关于语句的涵义-指称的意义结构,但把语句的涵义和指称分别改为语法意义和事态。语句的真或假是语句和它所指称的事态之间的一种关系,类似于名称同它的指称对象之间的实-空关系。弗雷格关于思想的客观性转换为语法意义的客观性,体现为语言共同体成员的主体间性。本文区分了指称对象和指称意向,把指称意向定义为涵义和语境的结合,相当于弗雷格所说的判断。本文还对语句的语法意义和认识论意义作了区分。     

真之同一论与单称命题

麦道的哲学试图抹去心灵与世界之间的本体论间隙。为了实现这一哲学计划,麦道需要接受某种真之同一论。本文认为,麦道所需要的是真之坚实同一论,并且承诺关于罗素式单称命题。本文首先论证真之同一论论题,然后更进一步,在麦道的哲学计划下辩护真之坚实同一论,认为真命题与世界中的事实同一。本文并非要给出一个对同一论或坚实同一论的完整理论,而是试图在麦道的哲学计划下给出一个对坚实同一论的辩护,认为坚实同一论是可行的。     

7-11岁儿童心理状态信息理解与使用的发展特点及关系

采用失言任务和改进的说服任务考察了153名7-11岁儿童的心理理论理解和使用能力的发展状况。结果发现：儿童的失言理解能力和心理状态信息使用能力7-9岁时发展迅速,9岁后趋于稳定;两种能力的发展趋势基本一致,两者呈现中度相关;8-9岁是儿童失言理解和心理状态信息使用发展的转折点。结果表明：心理状态理解和使用的能力是儿童心理理论发展的重要组成部分,两者的发展基本同步。     

批判与建构:规则伦理的问题及亚里士多德德性伦理的启示

西方伦理学中的功利主义和道义论通过压缩和简化,从“人”这里抽出感性或理性,将之归结为人的全部,以此为预设,它们都希望通过构建某种普遍原则一劳永逸地解决道德生活领域的问题,统称为规则伦理.在德性伦理看来,因为对人及其幸福的误解,离开德性论规则,规则伦理知识与伦理生活出现了某种脱节,追寻德性于是成为了解决现代道德问题的出路,而这可以从亚里士多德的德性伦理中寻找智性资源.亚里士多德作为美德伦理系统经典的阐述者,至少可以在三个方面为当代的德性伦理方案提供直接借用的资源:幸福目的论的解释框架为德性伦理学提供了理论基点;对幸福的诠释在一定程度上为德性伦理搭起了生活目的的范式;在德性与规则之间追寻幸福为伦理学把握人类生活、建构德性伦理方案指明了现实途径.     

二参数逻辑斯蒂模型项目参数的估计精度

项目参数的估计精度对于测验的编制尤其是题库的建立十分重要。目前,国内外对项目参数估计精度的研究,大部分是基于在已知项目参数真值的情况下,运用各种参数估计方法产生新的估计值,再和真值进行偏度(BIAS)和均方根差(RMSE)的比较,从而说明该种估计方法的有效性。但是这种方法不能提供不同的参数真值之间的估计误差的变化规律。为了弥补这一缺陷,本文尝试从项目参数估计信息函数的角度出发研究项目参数的估计精度问题。本研究以二参数Logistic模型作为研究对象,首先定义了项目参数的估计信息函数,然后基于完全随机实验设计,通过模拟研究的方法探索影响项目参数的估计精度的因素,实验共设计了(2×3×2)种情形。研究结果表明：(1)项目参数(a,b)的估计精度均随着被试样本量的增大而提高;(2)被试的能力分布对难度参数的估计精度影响较大,对区分度参数的估计精度影响相对较小;(3)难度参数和区分度参数的估计精度都分别受到参数a和参数b的共同作用。     

含有新算符的代数运算规则学习的有效样例设计

为了探索含有新算符的代数运算规则学习的有效样例设计方式,分别采用“转换标记法”和“解释法”设计“指-对数转换”运算和对数运算的样例,考察了初中三年级学生代数运算规则样例学习的迁移效果。结果显示：(1)采用“转换标记法”设计的样例可以明显提高“指-对数转换”规则样例学习的迁移效果;(2)采用“解释法”设计的运算样例,能够明显促进“对数运算规则”的样例学习迁移效果,并与被试的基础知识有关。     

无领导小组讨论的多侧面Rasch模型应用*

采用项目反应理论(IRT)的多侧面Rasch模型(MFRM),分析评价中心技术中无领导小组讨论(LGD)的测评结果,探讨被试能力水平、评委评分宽严度、评分内部一致性、维度难度和评定等级等问题,进而讨论各种偏差。通过 MFRM 分析人事测评结果,可深入了解被试能力的真实差异、甑别维度难度、探查测评误差源,从而完善测评试题编制、评估或诊断评委合格性、提高测评维度与测评目的匹配性,为拓展项目反应理论在人事测评中的应用提供独特视角。     

跨文化护理理论在当代护理教育中的应用

当代护理教育面临教育对象及护理对象文化背景多元化特征.教学中,应根据教学及护理对象的文化差异,以跨文化护理理论为指导,对护理教育的课程设置、教学方法和考核方式进行改革,以灌输学生跨文化护理理念,培养具有跨文化护理意识,适应社会需求的复合型护理人才.     

早期南亚佛教音乐初探

佛教作为世界性的宗教,源于亚洲,但足迹遍及欧亚,他的不同宗派、以及处于不同地域的佛教寺院所形成的佛教音乐,成为世界不同民族音乐特征的一部分。佛教寺院主要聚集于东亚、东南亚和南亚,这三大区域的佛教音乐,虽本质上存在关联,但又有着各自的特点。溯其源头,佛教发源于公元前6世纪的古代印度,并迅速在南亚次大陆