超模态逻辑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的翻译。     

反思当今设计对农村的偏失

设计在我国的发展非常迅速,但是对农村地区文化与生活的关注却远远不够。通过对城乡设计的不均衡现象的反思,以期能引起设计界对农村设计文化的重视,并通过设计来重建农村文化精神。在后工业社会,设计变成了过去各自单方面发展的科学技术和人文文化之间一个基本的和必要的链条或者第三因素。设计文化产生于"人造物"的生产过程中,又回归最本质、最基本的生活与生产中——即通过解决衣、食、住、行中的问题,来提供美的感受,满足人们的精神需求。设计,是一种最贴近人们生活的文化形态。     

从“呼喊派”到“全能神”：论当前“类基督教”的邪教蜕变现象（下）

从“呼喊派”蜕变而成的“全能神”,是当前大肆冒用基督教的名义、以“类基督教”面目出现的极端邪教组织。本文结合当前“呼喊派”、“全能神”活动及其防范处置,对这两大“类基督教”的组织、教义、变异、危害等进行全面辨析,明确提出必须政治、宗教与社会三大稳定一体推进,加强防范“类基督教”邪教蜕变的严峻挑战。     

先秦推类方法的模式构造及有效性问题

援类而推的方法,是中国先秦时代特有的并广泛使用的一种思维方法。对于这种推类方法,古代先贤只给出了一系列的语义说明,没有而且也不可能给出一个形式语言的语形说明。如借助现象对事物的状态和功能及其所具有的规律进行描述的科学认识方法,我们今天可以尝试着给它构造一个推理模式,并通过分析它的思维进程、根据、推导原则及违反原则的错误,展现它的特点、能够成立的有效性及世代相传的普遍适用性。并进而了解其背后的逻辑原则、文化传统、人文精神,从逻辑与文化的角度增强我们对传统思维方法论意义、文化认同意义的感受。并在全球化的浪潮中,在越来越广泛的文化交流与沟通中,促进对传统思维方式的辩证扬弃,促进不同文化之间思维方式的沟通。     

类伦理与环境代际正义的实现

在个体道德、群体道德与类道德三种道德样态中,类道德体现了人类实践行为的整体性,它蕴含着人与自然以及当代人与后代人的双重伦理规定,既表达了人对自然的关怀意识,又体现了当代人对后代人的责任品质,它以一种整体性的道德品格促进环境代际正义的实现。     

中国逻辑史视野下的先秦易学与名辩学

19世纪以来的中国逻辑史研究,比照西方逻辑,仅仅将先秦的名辩学看成是中国逻辑史的主要部分。其间虽有对《周易》的涉及,但也是浅尝辄止。本文从《周易》经、传产生的年代,特别是《周易》经、传所蕴涵的逻辑内容与先秦名辩逻辑的代表人物孔子、惠施、邓析等人的思想对比,说明先秦易学逻辑对名辩逻辑产生了深刻的影响。得出《周易》的经、传发轫了中国古代逻辑中的推类理论,而名辩学尤其是墨家辩学的推类理论则是对自《周易》以来的推类逻辑传统的总结和提高的结论。     

2000-2009年国内心理学论文研究热点的计量分析

使用共词分析法,本研究绘制了2000-2004年度和2005-2009年度国内心理学论文所表征的研究领域的战略坐标图,通过提取两个时间段内被CNKI收录的核心期刊论文所标引的关键词,并借助因子分析、聚类分析,揭示了本学科的研究热点。结果表明：学科内部结构正在发生变化、研究范围进一步拓展、实证主义仍是主流研究方法取向、核心成熟的研究类团仍待出现。     

2007《中国成人血脂异常防治指南》解读

《中国成人血脂异常防治指南》（以下简称《指南》）在吸收国内外循证医学证据和经验的基础上,结合我国人群的特点来制定的,尤其是在血脂异常分层切点的确定上,参照我国的流行病学资料,更符合国人的情况。在危险分层上本《指南》将高血压单列,等同于任何其他3项危险因素的集合,对极高危人群的确定更明确,目标值也符合临床实际,更加强调了血脂异常的非药物治疗,以及药物治疗中他汀类药物的地位,并且要关注调脂治疗中的监测。     

语义类标记在中国手语词词汇识别和语义提取中的作用

通过2个实验, 考察了语义类标记在中国手语词汇识别和语义提取中的作用。实验1采用手语词汇判断任务, 比较了有、无语义类标记的手语词汇识别。实验2采用语义决定任务, 探讨了语义类标记对手语词语义提取的影响。结果表明, 语义类标记影响聋生对手语词的识别和语义提取。聋生识别有语义类标记的手语词显著快于识别无语义类标记的手语词。当语义类标记与手语词的语义一致时, 能够促进聋生对手语词的语义提取; 当语义类标记与手语词的语义不一致, 会干扰聋生对手语词的语义提取。中国手语词语义类标记效应的发现, 丰富了中国手语词词汇认知的理论, 对聋人的语言教学和概念教学具有重要的启示。     

浅谈设计的创新

以人为本的创新设计构成了设计的内涵。创新的本质和目的是为了更好地为人服务。人既具有社会性,也具有自然性,人类创造着文明的同时也要受到自然环境的制约。当代的设计师大多已经意识到创新设计决不仅仅只是创造一个奇特的外观,它应该在历史中是前进的,能够反映人类创造的文化成果,是为了人本身以及人与自然协调发展的,同时还要体现出设计师聪明才智的设计活动和作品。