Admissibility of Cut in <Emphasis Type="Italic">LC</Emphasis> with Fixed Point Combinator

The fixed point combinator (Y) is an important non-proper combinator, which is defhable from a combinatorially complete base. This combinator guarantees that recursive equations have a solution. Structurally free logics (LC) turn combinators into formulas and replace structural rules by combinatory ones. This paper introduces the fixed point and the dual fixed point combinator into structurally free logics. The admissibility of (multiple) cut in the resulting calculus is not provable by a simple adaptation of the similar proof for LC with proper combinators. The novelty of our proof—beyond proving the cut for a newly extended calculus–is that we add a fourth induction to the by-and-large Gentzen-style proof. Presented by Robert Goldblatt     

基于等级反应模型的规则空间方法

本研究基于Tatsuoka的规则空间方法, 对理想反应模式与异常反应指标进行了扩展, 推导了多级评分项目下规则空间方法的算法公式。在4种属性层级结构(发散型、收敛型、线型与无结构型)×4种“失误”作答概率(2%、5%、10%与15%)测验情境下, 以属性模式判准率、被试属性判准率、敏感性与特异性为指标, 检验了多级评分项目下规则空间方法的分类准确性。结果表明：(1) 基于多级评分项目构建的异常反应指标, 能有效地对被试进行分类与解释, 且0-1评分项目下异常反应指标及其性质都是多级评分下的特例; (2) 随着“失误”作答概率的增加, 4种属性层级结构的分类准确性都会降低; (3) 线型和收敛型的分类准确性明显好于发散型与无结构型; (4) 纯规则点的分布对规则空间方法的分类准确性有显著影响。     

学习不良儿童对情绪表达规则的认知特点

采用儿童对情绪表达规则的认知访谈故事,比较了学习不良儿童和一般儿童对情绪表达规则认知的发展特点。结果发现,学习不良儿童表情调节知识水平显著低于一般儿童,性别差异不显著,组别与年级交互作用不显著,表明两组儿童发展趋势类似,发展水平不同;学习不良儿童报告出较少的社会定向目标,自我保护目标得分与一般儿童差异不显著;学习不良儿童缺少根据不同人际关系类型灵活运用情绪表达规则的知识,而且较少把情绪表达规则的使用和目标联系起来     

What Is Legal Philosophy?

This article delineates some of the main issues that are debated by philosophers of law. It explores the connections between legal philosophy and other areas of philosophy, while also seeking to specify the distinctiveness of many of the concerns that have preoccupied philosophers of law. It illustrates its abstract points with examples focused on the separability of law and morality, the nature of the rule of law, the nature of rights, justifications for the imposition of punishment, and the identification of basic legal entitlements.     

计算机化分类测验终止规则的类别、特点及应用

计算机化分类测验(Computerized Classification Testing, CCT)能够高效地对被试进行分类, 已广泛应用于合格性测验及临床心理学中。作为CCT的重要组成部分, 终止规则决定测验何时停止以及将被试最终划分到何种类别, 因此直接影响测验效率及分类准确率。已有的三大类终止规则(似然比规则、贝叶斯决策理论规则及置信区间规则)的核心思想分别为构造假设检验、设计损失函数和比较置信区间相对位置。同时, 在不同测验情境下, CCT的终止规则发展出不同的具体形式。未来研究可以继续开发贝叶斯规则、考虑多维多类别情境以及结合作答时间和机器学习算法。针对测验实际需求, 三类终止规则在合格性测验上均有应用潜力, 而临床问卷则倾向应用贝叶斯规则。     

肢体自然重建理念——一种人文关怀治疗

著名的医学家、哲学家Hippocrates在公元前4世纪就指出:医生的责任仅在于促进疾病的自然康复过程,而非阻拦这个过程.患者得以治愈的根据是患者自身存在的康复能力;医生首先必须清楚:自己所治疗的对象是人,是有生命的、有思想的、活在社会上的人,而不是被修理的物件.医生能够做到的只是为患者创造或提供一定的有利于康复的条件.20世纪50年代,前苏联骨科专家Ilizarov发现了张力-应力法则,并因此创造出的牵拉再生、自然重建技术,正是很好地诠释了Hippocrates的思想.     

Extreme Outcomes Sway Risky Decisions from Experience

Whether buying stocks or playing the slots, people making real‐world risky decisions often rely on their experiences with the risks and rewards. These decisions, however, do not occur in isolation but are embedded in a rich context of other decisions, outcomes, and experiences. In this paper, we systematically evaluate how the local context of other rewarding outcomes alters risk preferences. Through a series of four experiments on decisions from experience, we provide evidence for an extreme‐outcome rule, whereby people overweight the most extreme outcomes (highest and lowest) in a given context. As a result, people should be more risk seeking for gains than losses, even with equally likely outcomes. Across the experiments, the decision context was varied so that the same outcomes served as the high extreme, low extreme, or neither. As predicted, people were more risk seeking for relative gains, but only when the risky option potentially led to the high‐extreme outcome. Similarly, people were more risk averse for relative losses, but only when the risky option potentially led to the low‐extreme outcome. We conclude that in risky decisions from experience, the biggest wins and the biggest losses seem to matter more than they should. Copyright © 2013 John Wiley & Sons, Ltd.