An analytic tableau calculus for a temporalised belief logic

A tableau is a refutation-based decision procedure for a related logic, and is among the most popular proof procedures for modal logics. In this paper, we present a labelled tableau calculus for a temporalised belief logic called TML⁺, which is obtained by adding a linear-time temporal logic onto a belief logic by the temporalisation method of Finger and Gabbay. We first establish the soundness and the completeness of the labelled tableau calculus based on the soundness and completeness results of its constituent logics. We then sketch a resolution-type proof procedure that complements the tableau calculus and also propose a model checking algorithm for TML⁺ based on the recent results for model checking procedures for temporalised logics. TML⁺ is suitable for formalising trust and agent beliefs and reasoning about their evolution for agent-based systems. Based on the logic TML⁺, the proposed labelled tableau calculus could be used for analysis, design and verification of agent-based systems operating in dynamic environments.     

中学教师社会化过程:交互作用视角

本研究以345名教师为研究对象,基于交互作用视角建立框架模型,研究教师社会化前因变量、社会化近端结果和终极结果之间的关系,以揭示教师社会化过程。结果表明:①教师社会化近端结果在组织策略和社会化终极结果之间起部分中介作用,在教师主动策略和社会化终极结果之间起完全中介作用;②同事帮带仅通过促进教师对学校的了解促进教师社会化终极结果;③家长配合一方面直接促进教师工作绩效,另一方面通过角色清晰对社会化终极结果产生积极影响。     

The implication of Rawls�� approach to public reason

Rawls’ appealing to free agreement in the original position cannot be understood as the source of real commitment to principles of social justice. According to the contextualistic interpretation, to establish and clarify the reasonableness of one context, one needs to appeal to the reasonableness of some higher-order contexts. Because the two meta-contexts of global basic structure and domestic basic structure can be seen as higher-order or lower-order context relative to each, depending on concrete cases, by excluding the consideration of global situation that must have effects on the realization of domestic justice, “justice as fairness” is blind both to the global context of domestic justice and to the domestic context of global justice.     

一例一般心理问题的咨询案例分析报告

本文详细介绍了一例因为英语四级考试没有通过引发的一般心理问题的咨询过程。来访者韩某,女,20岁,是一名大二学生,因为英语四级考试没有通过而出现了睡眠质量差,学习效率下降,情绪低落等症状,来访者主动求助于校心理健康中心,迫切希望改变现状,能够正常的学习生活。咨询师在和来访者商议后根据其个性特征和问题的特点采用了合理情绪疗法对其进行干预,帮助她改变了其非理性的信念,经过咨询,来访者情绪好转,可以正确看待困难,取得了比较好的咨询效果。     

Relations of SARS-related stressors and coping to Chinese college students' psychological adjustment during the 2003 Beijing SARS epidemic

This study examined the main and interactive relations of stressors and coping related to severe acute respiratory syndrome (SARS) with Chinese college students' psychological adjustment (psychological symptoms, perceived general health, and life satisfaction) during the 2003 Beijing SARS epidemic. All the constructs were assessed by self-report in an anonymous survey during the final period of the outbreak. Results showed that the relations of stressors and coping to psychological adjustment varied by domain of adjustment. Regression analyses suggested that the number of stressors and use of avoidant coping strategies positively predicted psychological symptoms. Active coping positively predicted life satisfaction when controlling for stressors. Moreover, all types of coping served as a buffer against the negative impact of stressors on perceived general health. These findings hold implications for university counseling services during times of acute, large-scale stressors. In particular, effective screening procedures should be developed to identify students who experience a large number of stressors and thus are at high risk for developing mental health problems. Intervention efforts that target coping should be adapted to take account of the uncontrollability of stressors and clients' cultural preferences for certain coping strategies. A multidimensional battery of psychological adjustment should be used to monitor clients' psychological adjustment to stressors and evaluate the efficacy of intervention.     

Psychometric properties of an instrument for assessing cyber-sex addiction

Psychometric properties of an instrument for assessing cyber-sex addiction. Cyber-sex addiction is a ?new pathology? whose prevalence has grown rapidly in recent years. Therefore, it is important to have validated assessment instruments. The aim of this study was the adaptation and validation of the Internet Sex Screening Test (ISST) for its use in a Spanish population. The instrument was administered to 1239 Spanish college students. The results yielded five components that account for 47.5% of the variance. Internal consistency was .88 and temporal stability was .84. Moreover, the instrument had adequate convergent and discriminant validity and was related to other behaviors such as the use of pornography, internet addiction, number of hours online and sexual frequency. Therefore, this tool is proposed as an appropriate measure to assess cyber-sex addiction.     

日常生活中的教派差异——关于甘肃临潭旧城伊斯兰教的人类学田野报告

本文在田野调查的基础上,描述了甘肃省临潭旧城回族内部在日常宗教实践中存在的区别,展现了地方社会内不同教派在服饰、婚姻策略、宗教生活、丧葬、纪念和墓地安排等方面的差异性,并分析了这些差异性在日常实践层面维系宗教群体延续的作用。同时指出,教派作为人为性的一种社会建构,在社会实践中一旦获得承认,并具有合法延续的可能性时,其教派特征就会在日常生活的不同层面上表达出来。所有这些表达都是宗教群体集体认同的体现,也是日常实践中区分"我群"和"他群"意识的体现,其价值目标还是在于使宗教群体得以延续。     

Do the BSRI and PAQ really measure masculinity and femininity?

The two most used instruments to assess masculinity (M) and femininity (F) are the Bem Sex Role Inventory (BSRI) and the Personality Attributes Questionnaire (PAQ). Two hypotheses will be tested: a) multidimensionality versus bidimensionality, and b) to what extent the two instruments, elaborated to measure the same constructs, classify subjects in the same way. Participants were 420 high school students, 198 women and 222 men, aged 12-15 years. Exploratory factor analysis and internal consistency analysis were carried out and log-linear models were tested. The data support a) the multidimensionality of both instruments and b) the lack of full concordance in the classification of persons according to the fourfold typology. Implications of the results are discussed regarding the supposed theory behind instrumentality/ expressiveness and masculinity/femininity, as well as for the use of both instruments to classify different subjects into the four distinct types.     

The Social Phobia Inventory: screening and cross-cultural validation in Spanish adolescents

Availability of brief, self-report measures to be used as screening instruments is crucial to detect correctly youth with social anxiety disorder and therefore, reach those otherwise under-detected and under-treated. A previous study revealed that the Social Phobia Inventory (SPIN) was potentially an appropriate measure for screening social anxiety among US adolescents. However, there is a lack of information concerning its properties as a screening test in other cultures and languages. This is the main objective of this study, although further validity of the scale is provided as well. The sample consisted of 192 adolescents (a sample composed of 114 subjects with a principal diagnosis of social anxiety disorder; and a group consisting of 78 subjects with no diagnosis of social phobia). Results suggest that the Social Phobia Inventory has demonstrated good psychometric properties and indeed may be used as a screening tool in Spanish-speaking adolescents.     

Dealing with conflicting information: young children's reliance on what they see versus what they are told

Children often learn about the world through direct observation. However, much of children's knowledge is acquired through the testimony of others. This research investigates how preschoolers weigh these two sources of information when they are in conflict. Children watched as an adult hid a toy in one location. Then the adult told children that the toy was in a different location (i.e. false testimony). When retrieving the toy, 4- and 5-year-olds relied on what they had seen and disregarded the adult's false testimony. However, most 3-year-olds deferred to the false testimony, despite what they had directly observed. Importantly, with a positive searching experience based on what they saw, or with a single prior experience with an adult as unreliable, 3-year-olds subsequently relied on their first-hand observation and disregarded the adult's false testimony. Thus, young children may initially be credulous toward others' false testimony that contradicts their direct observation, but skepticism can develop quickly through experience.