A Deep Inference System for the Modal Logic S5

We present a cut-admissible system for the modal logic S5 in a formalism that makes explicit and intensive use of deep inference. Deep inference is induced by the methods applied so far in conceptually pure systems for this logic. The system enjoys systematicity and modularity, two important properties that should be satisfied by modal systems. Furthermore, it enjoys a simple and direct design: the rules are few and the modal rules are in exact correspondence to the modal axioms. Presented by Heinrich Wansing     

Putting the system back into systems change: a framework for understanding and changing organizational and community systems

Systems change has emerged as a dominant frame through which local, state, and national funders and practitioners across a wide array of fields approach their work. In most of these efforts, change agents and scholars strive to shift human services and community systems to create better and more just outcomes and improve the status quo. Despite this, there is a dearth of frameworks that scholars, practitioners, and funders can draw upon to aid them in understanding, designing, and assessing this process from a systemic perspective. This paper provides one framework--grounded in systems thinking and change literatures--for understanding and identifying the fundamental system parts and interdependencies that can help to explain system functioning and leverage systems change. The proposed framework highlights the importance of attending to both the deep and apparent structures within a system as well as the interactions and interdependencies among these system parts. This includes attending to the dominant normative, resource, regulative, and operational characteristics that dictate the behavior and lived experiences of system members. The value of engaging critical stakeholders in problem definition, boundary construction, and systems analysis are also discussed. The implications of this framework for systems change researchers and practitioners are discussed.     

语篇阅读中高级目标推理的机制

建构主义理论和最小假设模型是有关推理研究的两个比较系统的理论。建构主义理论认为在自然阅读过程中,读者会即时产生高级目标推理,而最小假设模型认为在自然阅读过程中,高级目标推理不会即时产生。该研究采用词汇判断和命名的方法,250ms和500ms两种延时程序,以较连贯的自然语篇为实验材料,对语篇阅读中的高级目标推理机制进行了研究。实验结果发现,被试在阅读过程中即时产生了高级目标推理,这与建构主义理论的预测相一致。     

成就目标的一种新分类——四分法

在成就目标二分法和三分法的基础上,依据能力划分的两个维度-能力的界定维度和效价维度,Pintrich和 Elliott等人提出了成就目标的四分法,将成就目标分成掌握-接近目标,关注于掌握新的知识和提高自己的能力;掌握-回避目标,关注于避免完不成任务或避免失去已有的知识技能;成绩-接近目标,关注于表现得比他人优秀和胜过他人和成绩-回避目标,关注于避免表现得比他人更差或更愚蠢4种类型。实证研究表明,四分法不仅完善了成就目标的分类研究,而且也为提高个体的成就水平提供了理论依据。     

个人目标取向、课堂目标结构及文化因素与学业求助策略的关系研究

本研究以982名初中学生为被试,采用验证性因素分析和多元回归方法对个人目标取向、课堂目标结构及文化因素与学业求助策略的关系进行研究。结果表明:(1)个人目标取向可以区分出任务取向、趋向型自我取向和逃避型自我取向,它们对学业求助的影响是不同的,只有逃避型自我取向的学生才倾向于作不利于学习的执行性求助。(2)课堂目标结构对学业求助有影响 ,在任务取向的课堂里 ,学生倾向于作工具性求助。(3)文化因素对学业求助有影响。认同中国求助格言的学生愿意作工具性求助,在意他人评价的学生倾向于回避求助或作执行性求助。(4)个人目标取向、课堂目标结构和文化因素对不同年级学生学业求助的影响模式不同。     

员工被上司信任感的形成机制

员工感知到上级对自己的信任是成功建立上下级信任关系的重要前提。然而,学界和业界对员工被上司信任感的形成机制却知之甚少。符号互动理论与社会信息加工理论为深入探究员工被信任感产生的机理提供了理论视角。根据这两个理论,我们提出授权与培养这两种管理行为是影响员工被上司信任感产生的重要因素;授权与培养对员工被上司信任感影响的有效性依赖于员工的目标导向、上司的可信度以及团队焦虑水平;员工被上司信任感的产生会影响员工的忠诚与敬业奉献,影响程度受制于上司所面临的管理风险。     

The Effect of Intra- and Intergroup Leadership on Group Goal Attainment in a North-South Gaming Simulation

This research investigated the role of leadership functions in a context of intergroup negotiation by using a simulation game of inter-regional conflict and cooperation (SIRC²). As a part of their social psychology course, 151 undergraduate students participated. It was hypothesized that there are four leadership factors in an intergroup context: in-group performance, in-group maintenance, out-group negotiation performance, and out-group relation maintenance. According to a factor analysis, however, the functions of in-group performance and out-group performance merged into the same category and could not be differentiated independently. Moreover, this research provided evidence that opportunities for intergroup communication and the amount of resources available to each group can facilitate these leadership functions. This study also found links between leadership functions and group outcomes. In a group with members who were homogeneous and facing common survival problems, the in-group/out-group performance function facilitated the achievement of the group goal. On the other hand, in a group with members with different roles, and who were self-sufficient for survival, the in-group maintenance function facilitated the achievement of the group goal. Moreover, in the intergroup context, the out-group relationship maintenance function was also important for group goal attainment. These results were interpreted using the path–goal theory and Fiedler's contingency theory.     

A PRELIMINARY ANALYSIS OF INTERACTIVE EFFECTS BETWEEN COMMON CLASSROOM CONTINGENCIES AND METHYLPHENIDATE

To assess the drug—behavior interaction effects with an 8-year-old boy with attention deficit hyperactivity disorder, common classroom antecedent (e.g., seating arrangement) and consequent (e.g., peer prompts) stimuli were alternated within a school day while drug conditions (methylphenidate vs. placebo) were alternated across days. The results suggested that peer attention maintained disruptive behavior when methylphenidate was absent but not when it was present.