Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof

This paper is the final part of the syntactic demonstration of the Arithmetical Completeness of the modal system G; in the preceding parts [9] and [10] the tools for the proof were defined, in particular the notion of syntactic countermodel. Our strategy is: PA-completeness of G as a search for interpretations which force the distance between G and a GL-LIN-theorem to zero. If the GL-LIN-theorem S is not a G-theorem, we construct a formula H expressing the non G-provability of S, so that ⊢_GL-LIN ∼ H and so that a canonical proof T of ∼ H in GL-LIN is a syntactic countermodel for S with respect to G, which has the height θ(T) equal to the distance d(S, G) of S from G. Then we define the interpretation ξ of S which represents the proof-tree T in PA. By induction on θ(T), we prove that ⊢_PA S^ξ and d(S, G) > 0 imply the inconsistency of PA. This revised version was published online in June 2006 with corrections to the Cover Date.     

Effects of practice and task constraints on stiffness and friction functions in biological movements

A dynamical model of the movements of the platform of a ski-simulator was derived from experimental data, using the graphical and statistical methods developed by Beek and Beek (Beek, P. J., & Beek, W. J. (1988). Human Movement Science, 7, 301–342). The data were collected in an experiment in which both amplitude and practice were manipulated. The data were filtered and further reduced to normalised cycles that were averaged within and across subjects. Graphical methods were applied to these averaged normalised cycles to determine the stiffness and friction terms to be included in the model. The relative contribution of each term was assessed by means of multiple regression. The model, which included cubic and quintic Duffing terms and one or two dissipative Van der Pol terms, accounted on average for 99.2% of the variance. The exact parameter setting of the model differed considerably across subjects. For one subject, a qualitatively different model, including Rayleigh instead of Van der Pol terms, provided a better account of the data. Systematic changes of the coefficients in the model, related to amplitude and the duration of practice, were evident.     

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

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

解题策略的同质性和线性逻辑斯谛模型的拟合

为探讨线性逻辑斯谛模型（ＬＬＴＭ）的拟合条件及其和解题策略同质性之间的关系,让被试比较两个负整数指数幂的大小,发现全体被试的数据不能与拉希模型及ＬＬＴＭ相拟合。把被试按其解题策略分成不同策略组后,同一策略组被试的数据可以拟合于拉希模型,但对于ＬＬＴＭ,同一策略组的数据中部分项目的拟合较好,另外一些项目的拟合较差。这一结果表明,解题策略的同质性是ＬＬＴＭ拟合的必要条件,但还不是充分条件。     

面孔倒置效应的研究与理论述评

面孔倒置效应是指, 个体对倒置面孔的再认成绩显著低于对正立面孔的再认成绩, 而且, 与普通物体的倒置效应相比, 面孔的倒置效应更大。研究者们针对面孔倒置效应提出了多种理论假说, 两种主要的理论解释是：第一, 倒置面孔破坏了面孔的结构特征, 影响了面孔的整体加工, 所以, 个体对倒置面孔的再认成绩较差; 第二, 眼睛在面孔加工中起重要作用, 尤其在倒置面孔中的作用更明显, 使得倒置面孔N170波幅较高。ERP和fMRI研究提示, 未来研究需要进一步明确眼睛、注意等在面孔倒置效应中的作用。     

未来取向应对的双阶段序列模型及其时间透视机制

最近的研究表明, 未来取向应对对于应激管理起着不可忽视的重要作用。但预先应对和预防应对的关系及其作用机制, 一直是困扰应对研究者的重要问题。我们的前期工作显示, 序列模型比平行模型能更好地表征预先应对和预防应对的内在关系, 时间透视比威胁知觉更能解释预防应对的前因。本项目首次以时间知觉和内隐态度为切入点, 探索未来取向应对机制的理论模型。研究内容拟包括：(1)以大学生就业为情境, 构建未来取向应对的双阶段序列模型; (2)以大学生入学适应为情境, 用内隐认知充实和验证未来取向应对的序列模型; (3)用时间折扣模型的任务范式, 探讨未来取向应对不同阶段的时间透视机制：(4)用威胁性和中性的阈下面孔作情绪启动, 验证未来取向应对不同阶段的时间透视机制。本研究为发掘预先应对和预防应对的关系及其内在机制, 及基于未来取向应对的干预在心理健康和教育领域的应用奠定了基础。     

El lugar de la interferencia en la percepción de estímulos simultáneos

RESUMEN

En una amplia variedad de tareas de detección de objetivos auditivos y visuales, la ejecución era escasamente influida por el número de no-objetivos simultáneos, pero le afectaba si los objetivos simultáneos debían ser detectados por separado. Se ha sugerido que sólo los objetivos necesitan pasar por un sistema de capacidad limitada que conduce a la conciencia; los no-objetivos pueden ser identificados y rechazados por un procesamiento paralelo e inconsciente. Puesto que las palabras no- objetivo, por ejemplo, se pueden rechazar en base al significado, el estímulo debe ser completamente analizado antes de pasar por el sistema de capacidad limitada. De modo general, la disminución en la ejecución debida a la atención dividida es acusada siempre que la estimulación simultánea (psicofísica, verbal, etc.) se deba identificar por separado, puesto que bajo estas circunstancias cualquier estimulación debe pasar por un sistema de capacidad limitada hasta la conciencia.     

Mind,brain and body. Healing trauma: the way forward

The paper explores an interdisciplinary whole person approach to healing from trauma that conserves our rich inheritance from Jung but also takes on board insights from research in the areas of attachment, trauma and the neurobiology of emotion. It is now over 20 years since insights from neurobiology began to be used to inform clinical practice. The paper reviews key insights which have emerged, along with the ways they enable therapists to help mind, brain and body to heal and the ways in which they clarify why, in clinical practice, we do what we do. Traditionally the emphasis has been on words, interpretations, and meaning‐making. Currently there is greater appreciation of the affective, relational, embodied aspects of therapeutic work and the way in which these relate to traumatic early interactive experience that is held outside of human awareness. The ways in which knowledge of particular systems of connectivity inform understanding of the whole mind‐brain‐body relationship are examined. The way forward for clinical practice to become more focused in order to help clients to heal in mind and body is reviewed.     

STRONG MILITARY FAMILIES INTERVENTION ENHANCES PARENTING REFLECTIVITY AND REPRESENTATIONS IN FAMILIES WITH YOUNG CHILDREN

Military families face many challenges due to deployment and parental separation, and this can be especially difficult for families with young children. The Strong Military Families (SMF) intervention is for military families with young children, and consists of two versions: the Multifamily Group, and a Home‐based psychoeducational written materials program. The Multifamily Group was designed to enhance positive parenting through both educational components and in vivo feedback and support during separations and reunions between parents and children (n = 78 parents). In the present study, we examine parenting reflectivity and mental representations in mothers versus fathers in military families, service members versus civilian spouses/parenting partners, and before versus after participation in the SMF Multifamily Group and Home‐based interventions. Parenting reflectivity and mental representations were coded from the Working Model of the Child Interview (WMCI; C.H. Zeanah & D. Benoit, 1995). Results suggest that neither parenting reflectivity nor WMCI typology differs between mothers and fathers in military families, or between service members and civilian parenting partners. Furthermore, there was substantial stability in parenting reflectivity and WMCI typology from baseline to posttest, but participation in the Multifamily Group, relative to Home‐based, was associated with improvements in both parenting reflectivity and WMCI ratings from baseline to postintervention.     

基于两水平回归模型的调节效应分析及其效应量

使用多元回归法进行调节效应分析在社科领域已常有应用。简述了目前多元回归法的调节效应分析存在的不足,包括人为变换检验模型、自变量和调节变量区分不足、误差方差齐性的假设难以满足、调节效应量指标ΔR²没有直接测量调节变量对自变量与因变量关系的调节程度。比较好的方法是用两水平回归模型进行调节效应分析并使用相应的效应量指标。在介绍新方法和新效应量后,总结出一套调节效应的分析流程,通过一个例子来演示如何用Mplus软件进行两水平回归模型的调节效应及其效应量分析。最后讨论了两水平回归模型的调节效应分析的发展,包括稳健的调节效应分析、潜变量的调节效应分析、有调节的中介效应分析和有中介的调节效应分析等。