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.     

The import of infancy for individual, family, and societal development: commentary on the special section: does infancy matter?

Across their life spans humans actualize a rich potential for cognitive and behavioral plasticity, a set of developmental changes that require regulation of organism-context relations on the part of both the individual and society. An individual’s action on the context must be started in infancy and maintained in subsequent periods of life for adaptive functioning to occur across ontogeny. The process of the individual acting as an agent of his or her own development is continuous, although the particular ways in which such control is manifested will change in developmentally appropriate ways. As demonstrated by the papers in this special issue, the significance of infancy for the rest of the life-span rests on an integration of this continuity and discontinuity within the person-context developmental system.     

Neuroticism,BIS, and reactivity to discrete negative mood inductions

Research has established relationships between the personality dimensions of neuroticism and BIS and broad negative emotional reactivity. However, few researchers have examined the relationships among neuroticism, BIS, and discrete negative emotional reactivities. The present study examined whether individuals scoring high on neuroticism and BIS were more reactive across four discrete negative mood inductions, relative to those scoring low on these traits. Participants (n = 166) completed personality questionnaires, measures of current mood, viewed a specific mood-inducing film clip (sadness, anger, fear or disgust) and then reported their moods a second time. Results revealed that neuroticism/BIS was associated with high reactivity to the fear and sadness inductions. Neuroticism/BIS did not predict anger or disgust reactivity, but neuroticism/BIS and extraversion/BAS interacted in predicting anger. Although further research is needed to extend generalizability, it appears that neuroticism and BIS predict negative emotional reactivity broadly, but not ubiquitously.     

语言理解中情绪的动态模拟

采用混合实验设计, 句子-图片匹配范式和动态过程再现范式, 以包含静态情绪和动态变化情绪信息的句子为实验材料, 以被试对图片的反应时间为因变量指标, 通过不同时间间隔的设置以及不同的实验程序, 探讨了语言理解中静态情绪和动态情绪的心理模拟及其时间进程。结果表明：(1)被试对情绪的心理模拟与句中的语言描述一致, 情绪语境能够激活被试的经验模拟。(2)被试在句子理解加工的初期就能迅速、即时地模拟静态情绪信息, 且这种模拟具有一定的稳定性和持久性。(3)被试可以对动态变化的情绪进行动态的心理模拟, 不过这种模拟所需的时间要长, 是在句子理解加工的后期完成的。被试对不同情绪变化方向的句子模拟受到原情绪状态的影响, 当阅读由消极情绪向积极情绪变化的句子时, 由于被试固着于原来的消极情绪而发生了模拟积极情绪的困难。     

基于系统动力学的群体情绪传播模型

选取某高校20个教学班级共计614人为被试,采用心理学实证与系统动力学（system of dynamic）与社会网络（social network）建模相结合的研究方法,对群体情绪传播的动力学规律进行了建模,并将模型仿真结果与心理实验结果进行了比对。结果表明,所建立的模型能够较好地刻画出群体情绪传播的动力学规律,具有较高的生态效度。该模型的建立对群体性事件的定量预警与监控提供了基础理论依据。     

Accountability,Collaboration, and Social Change: Ethical Tensions in an Action Research Project to Address Untested Sexual Assault Kits (SAKs)

We conducted a collaborative action research project with stakeholders in Detroit, Michigan, to develop long‐term policy strategies to resolve ~11,000 untested rape kits that were discovered in a police storage facility in August 2009. In our research, we uncovered overwhelming evidence of victim‐blaming behaviors and fundamental disrespect of rape survivors by the police, which directly contributed to their decisions not to submit kits for forensic testing. We had an ethical responsibility to report these negative findings accurately and completely, and in doing so, we were concerned that police stakeholders might disengage from the action research project and hamper our other ethical responsibilities to promote general and public welfare. In this article, we examine the ethical challenges of balancing accountability, collaboration, and social change.     

Using Community Partnerships to Better Understand the Barriers to Using an Evidence‐Based,Parent‐Mediated Intervention for Autism Spectrum Disorder in a Medicaid System

Service use disparities have been noted to impede under‐resourced families' ability to access high‐quality services for their child with autism spectrum disorder (ASD). These disparities are particularly relevant for parent‐mediated interventions and may suggest a lack of fit between these interventions and the needs of under‐resourced community settings. This study used Roger's Diffusion of Innovations theory to guide community partnerships aimed at understanding the perceived compatibility, complexity, and relative advantage of using an evidence‐based, parent‐mediated intervention (Project ImPACT) within a Medicaid system. Three focus groups were conducted with 16 Medicaid‐eligible parents, and three focus groups were conducted with 16 ASD providers operating within a Medicaid system. Across all groups, parents and providers reported general interest in using Project ImPACT. However, primary themes emerged regarding the need to (a) reduce the complexity of written materials; (b) allow for a more flexible program delivery; (c) ensure a strong parent–therapist alliance; (d) involve the extended family; and (e) help families practice the intervention within their preexisting routines. Results are discussed as they relate to the design and fit of evidence‐based, parent‐mediated interventions for under‐resourced community settings.     

中国考试文化的古今嬗变与镜鉴

中国考试文化生态因社会环境、经济土壤、社会结构和国际环境影响而形成从保守封闭性向包容开放性转变的特征。本文从三个层面考察中国考试文化的当代嬗变： 考试观念文化从单一的政治情结向综合人文素质嬗变, 考试制度文化从僵化到创新嬗变, 考试行为文化则从场所、教学行为、主体、应试行为和实践行为考察。通过合理挖掘中国传统考试文化中的道德诉求与和谐理念, 力求凝练出一种具有深厚文化内涵和现代竞争意识的考试文化。     

伊斯兰复兴思潮下的伊斯兰经济思想

20世纪上半叶,伊斯兰教复兴思潮迭起,穆斯林比以往更加明确,伊斯兰教依然是他们解决精神、政治、经济问题的行之有效的途径。20世纪中后期,伊斯兰复兴的浪潮在经济思想领域产生了两方面影响:其一,带动了伊斯兰经济思想的研究。其二,促成了伊斯兰金融体系的建立。     

Bearing the unbearable: ancestral transmission through dreams and moving metaphors in the analtyic field

Abstract: This paper explores how untold and unresolved intergenerational trauma may be transmitted through unconscious channels of communication, manifesting in the dreams of descendants. Unwitting carriers for that which was too horrific for their ancestors to bear, descendants may enter analysis through an unconscious need to uncover past secrets, piece together ancestral histories before the keys to comprehending their terrible inheritance die with their forebears. They seek the relational containment of the analytic relationship to provide psychological conditions to bear the unbearable, know the unknowable, speak the unspeakable and redeem the unredeemable. In the case of ‘Rachael’, initial dreams gave rise to what Hobson (1984) called ‘moving metaphors of self’ in the analytic field. Dream imagery, projective and introjective processes in the transference‐countertransference dynamics gradually revealed an unknown ancestral history. I clarify the back and forth process from dream to waking dream thoughts to moving metaphors and differentiate the moving metaphor from a living symbol. I argue that the containment of the analytic relationship nested within the security of the analytic space is a necessary precondition for such healing processes to occur.