Dynamic epistemic logic with branching temporal structures

van Bentham et al. (Merging frameworks for interaction: DEL and ETL, 2007) provides a framework for generating the models of Epistemic Temporal Logic (ETL: Fagin et al., Reasoning about knowledge, 1995; Parikh and Ramanujam, Journal of Logic, Language, and Information, 2003) from the models of Dynamic Epistemic Logic (DEL: Baltag et al., in: Gilboa (ed.) Tark 1998, 1998; Gerbrandy, Bisimulations on Planet Kripke, 1999). We consider the logic TDEL on the merged semantic framework, and its extension with the labeled past-operator “P _ϵ” (“The event ϵ has happened before which. . .”). To axiomatize the extension, we introduce a method for transforming a given model into a normal form in a suitable sense. These logics suggest further applications of DEL in the theory of agency, the theory of learning, etc.     

Keep ‘hoping’ for rationality: a solution to the backward induction paradox

We formalise a notion of dynamic rationality in terms of a logic of conditional beliefs on (doxastic) plausibility models. Similarly to other epistemic statements (e.g. negations of Moore sentences and of Muddy Children announcements), dynamic rationality changes its meaning after every act of learning, and it may become true after players learn it is false. Applying this to extensive games, we “simulate” the play of a game as a succession of dynamic updates of the original plausibility model: the epistemic situation when a given node is reached can be thought of as the result of a joint act of learning (via public announcements) that the node is reached. We then use the notion of “stable belief”, i.e. belief that is preserved during the play of the game, in order to give an epistemic condition for backward induction: rationality and common knowledge of stable belief in rationality. This condition is weaker than Aumann’s and compatible with the implicit assumptions (the “epistemic openness of the future”) underlying Stalnaker’s criticism of Aumann’s proof. The “dynamic” nature of our concept of rationality explains why our condition avoids the apparent circularity of the “backward induction paradox”: it is consistent to (continue to) believe in a player’s rationality after updating with his irrationality.     

Bridging learning theory and dynamic epistemic logic

This paper discusses the possibility of modelling inductive inference (Gold 1967) in dynamic epistemic logic (see e.g. van Ditmarsch et al. 2007). The general purpose is to propose a semantic basis for designing a modal logic for learning in the limit. First, we analyze a variety of epistemological notions involved in identification in the limit and match it with traditional epistemic and doxastic logic approaches. Then, we provide a comparison of learning by erasing (Lange et al. 1996) and iterated epistemic update (Baltag and Moss 2004) as analyzed in dynamic epistemic logic. We show that finite identification can be modelled in dynamic epistemic logic, and that the elimination process of learning by erasing can be seen as iterated belief-revision modelled in dynamic doxastic logic. Finally, we propose viewing hypothesis spaces as temporal frames and discuss possible advantages of that perspective.     

Integration versus conflict between schools of dream theory and dreamwork: integrating the psychological core qualities of dreams with the contemporary knowledge of the dreaming brain

The various ways schools of psychotherapy relate to dreams have been marked by isolationism and mutual conflict rather than self-examination and then integrating the discoveries and methods of other schools. Jung’s method was in opposition to Freud’s psychoanalysis. Existential psychology was dismissive of Freud’s and Jung’s discoveries, while cognitive dream interpretation and cognitive therapy sought other roads entirely. In addition, scientific and neuropsychological dream research has been only insignificantly tied to the psychotherapeutic dream theories. These conflicts and the lack of a comprehensive dream theory has made it convenient for the current rationalist collective consciousness and treatment systems to reject the often times challenging knowledge about ourselves that dreams can provide. This paper describes how contemporary theories of complex cybernetic information networks can create an overriding, constructive framework for uncovering common traits within the above-mentioned branches of dream research and dreamwork. Within this framework, ten core qualities are delineated, supported by both therapeutic knowledge as well as scientific research: 1) Dreams deal with matters important to us; 2) Dreams symbolize; 3) Dreams personify; 4) Dreams are trial runs in a safe place; 5) Dreams are online to unconscious intelligence; 6) Dreams are pattern recognition; 7) Dreams are high level communication; 8) Dreams are condensed information; 9) Dreams are experiences of wholeness; 10) Dreams are psychological energy landscapes. For each core quality I describe short dreamwork sequences from my own practice and a schematic image of how I perceive the overriding interaction between systems in the dreaming brain. For each core quality recommendations for practical dreamwork are provided. Finally, I draw attention to dreams as a huge psychological resource for humankind.     

Integrating core conflictual relationship themes in neurobiological assessment of interpersonal processes in psychotherapy

Interpersonal processes are a key target in counselling and psychotherapy. It is of paramount importance to sharpen their assessment using integrated methods. Hence, this methodological paper describes how fields of research in psychotherapy and neuroimaging can be integrated into one novel complementary neurobehavioural paradigm that can be applied to enhance our understanding of interpersonal processes in psychotherapy. To illustrate this integration, we present selected data from a pre–post pilot study where the authors assessed interpersonal processes in brief treatment for borderline personality disorder using the core conflictual relationship theme, functional magnetic resonance imaging (fMRI) and outcome questionnaires. To do so, they measured individual changes in neural activity using an fMRI task pre‐ and post‐treatment where clients gave feedback on the emotional valence of sentences extracted from their own Relationship Anecdotes Paradigm interviews mixed with neutral ones. In this paper, using data from two participants of said study, we discuss how to implement this methodology and what can be achieved in terms of results.     

Early perception-action coupling: eye movements and the development of object perception

We investigated the scanning strategies used by 2- to 3.5-month-old infants when viewing partly occluded object displays. Eye movements were recorded with a corneal reflection system as the infants observed stimuli depicting two rod parts above and below an occluding box. Stimulus parameters were chosen on the basis of past research demonstrating the importance of motion, occluder width, and edge alignment to perception of object unity. Results indicated that the infants tailored scanning to display characteristics, engaging in more extensive scanning when unity perception was challenged by a wide occluder or misaligned edges. In addition, older infants tended to scan the lower parts of the displays more frequently than did younger infants. Exploration of individual differences, however, revealed marked contrasts in specific scanning styles across infants. The findings are consistent with views of perceptual development stressing the importance of information processing skills and self-directed action to the acquisition of object knowledge.     

计算机模拟动态心理测验

本文通过对心理测验的回顾与计算机模拟文献综合,把传统的纸笔测验与动态心理测验相比较,认为动态心理测验具有目标性、过程性与情境性三个特点,能够适应动态复杂的环境与群体作业任务,并且能够对阶段性的问题作出考察,具有传统的纸笔测验所不具备的优点.同时也提出,计算机模拟测验要更加注意外部效度与构思效度,注意计算机与人的交互作用的局限,才能够避免实验室实验的缺点,达到良好的模拟.     

核心自我评价的代际传递：父母支持和子女基本心理需要满足的链式中介作用

采取整群抽样的方式对407户初中生家庭进行调查,探讨父母支持和子女基本心理需要满足在核心自我评价代际传递过程中的链式中介作用。结果表明：（1）核心自我评价在父母与其初中生子女之间存在代际传递效应;（2）父母支持和子女基本心理需要满足在核心自我评价的代际传递中起链式中介作用;（3）核心自我评价的代际传递效应不存在显著的亲代性别、子代性别、亲子性别差异。研究结果有助于理解核心自我评价的代际传递过程。     

中国人的核心自我评价的理论构想

介绍了西方经典核心自我评价的概念的提出、组成和预测能力,并提出了中国人核心自我评价的理论构想。西方经典核心自我评价包括4种核心特质：自尊、控制点、神经质和一般自我效能。文章对西方经典核心自我评价研究的主要贡献和对我们目前研究的借鉴意义作了分析,提出中国人的核心自我评价的理论构想包括4种核心特质,即善良、才干、处世态度和集体自尊。     

言语产生的认知神经机制

从认知神经科学的角度阐述了言语产生中时间进程及其激活脑区的研究进展。首先简单介绍了言语产生中词汇通达的2种理论观点。在此基础上介绍了运用电生理技术指标LRP和N200,采用双重判断任务范式对言语产生的时间进程的研究。最后论述了有关语言产生的神经心理学研究和脑成像研究,重点阐述了言语产生中时间进程相对应的激活脑区,言语产生的脑区表现出左侧化趋势。