An Operational Logic of Proofs with Positive and Negative Information

The logic of proofs was introduced by Artemov in order to analize the formalization of the concept of proof rather than the concept of provability. In this context, some operations on proofs play a very important role. In this paper, we investigate some very natural operations, paying attention not only to positive information, but also to negative information (i.e. information saying that something cannot be a proof). We give a formalization for a fragment of such a logic of proofs, and we prove that our fragment is complete and decidable.     

The relevance of attachment theory to a contemporary Jungian view of the internal world: internal working models, implicit memory and internal objects

In this paper I examine the various meanings of the term 'internal object' and the differences between various theoretical models for the formation of internal objects. I suggest that the idea in attachment theory of 'internal working models' emphasizes the internal world as one consisting of unconscious internalized patterns of emotional relationships. The term 'internal object' lacks this clarity and the different meanings it carries within differing theoretical frameworks are a source of confusion. I describe the role implicit memory plays in the formation of 'internal working model's and suggest that these offer us an alternative explanation for unconscious fantasy and for object relationships to that of instinctual drives. This model is then brought to bear on contemporary Jungian concepts of the internal world, with a suggestion that, seen in this light, Jung's formulation of the concept of the complex has many features in common with the 'internal working model' of attachment theory.     

Latent variables should remain as such: Evidence from a Monte Carlo study

Use of subject scores as manifest variables to assess the relationship between latent variables produces attenuated estimates. This has been demonstrated for raw scores from classical test theory (CTT) and factor scores derived from factor analysis. Conclusions on scores have not been sufficiently extended to item response theory (IRT) theta estimates, which are still recommended for estimation of relationships between latent variables. This is because IRT estimates appear to have preferable properties compared to CTT, while structural equation modeling (SEM) is often advised as an alternative to scores for estimation of the relationship between latent variables. The present research evaluates the consequences of using subject scores as manifest variables in regression models to test the relationship between latent variables. Raw scores and three methods for obtaining theta estimates were used and compared to latent variable SEM modeling. A Monte Carlo study was designed by manipulating sample size, number of items, type of test, and magnitude of the correlation between latent variables. Results show that, despite the advantage of IRT models in other areas, estimates of the relationship between latent variables are always more accurate when SEM models are used. Recommendations are offered for applied researchers.     

Substance or System as Foundational Metaphor for a Contemporary Christian World View?

Natural scientists increasingly employ the notion of system, i.e. organized groups of individual entities in dynamic interrelation, as a controlling metaphor in their analysis of physical reality, thereby reflecting a new emphasis on ecology and a holistic approach to reality. A.N. Whitehead’s understanding of the reciprocal cause-and-effect relation between constituent actual entities and the governing structure of the “society” to which they belong provides philosophical grounding for this new methodology and removes the danger of regarding systems as completely deterministic rather than open-ended and self-organizing. Likewise, a systems-oriented approach to the Christian doctrines of the Trinity, the Incarnation and Eschatology clears up residual ambiguities in the traditional understanding of those same beliefs.     

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

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

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.     

DC:0–5: DIAGNOSTIC CLASSIFICATION OF MENTAL HEALTH AND DEVELOPMENTAL DISORDERS OF INFANCY AND EARLY CHILDHOOD

The significant growth in the clinical literature on early childhood psychopathologysince the publication of the Diagnostic Classification of Mental Health and Developmental Disorders of Infancy and Early Childhood: Zero to Three–Revised (DC:0–3R; ZERO TO THREE) in 2005 necessitated substantial revisions to the manual, which resulted in the publication of the DC:0–5: Diagnostic Classification of Mental Health and Developmental Disorders of Infancy and Early Childhood: Zero to Five (ZERO TO THREE) in 2016. In addition to the decision to extend the early childhood diagnoses to include children through age 5 years, significant revisions were made to many diagnoses, and new diagnostic categories were added such as the Relationship Specific Disorder of Infancy/Early Childhood. Other additions, such as guidance for the development of a Cultural Formulation for the young child and his or her family and the inclusion of functional impairment criteria also contribute to making the DC: 0–5a substantially more comprehensive and robust diagnostic framework than its predecessor.