Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals

Second-order quantifier elimination in the context of classical logic emerged as a powerful technique in many applications, including the correspondence theory, relational databases, deductive and knowledge databases, knowledge representation, commonsense reasoning and approximate reasoning. In the current paper we first generalize the result of Nonnengart and Szałas [17] by allowing second-order variables to appear within higher-order contexts. Then we focus on a semantical analysis of conditionals, using the introduced technique and Gabbay’s semantics provided in [10] and substantially using a third-order accessibility relation. The analysis is done via finding correspondences between axioms involving conditionals and properties of the underlying third-order relation. Presented by Wojciech Buszkowski     

Socially anxious adolescents' perception of treatment by classmates

This study addressed the question if socially anxious adolescents have a negatively biased perception of the way they are treated by their peers. A total of 998 high school students from Grades 8-10 were categorized as socially low, middle, or high anxious on the basis of their SAS-A score. The perceived behavior of classmates was measured using three lists that described class behaviors during oral presentations of students, one list was concerned with the behaviors directed towards the student him/herself and the other two with behaviors directed towards a hypothetical high and low socially anxious peer, respectively. The results indicated that high socially anxious students felt negatively treated by their peers and that the other students too perceived that socially anxious classmates were treated more negatively. This suggests that the perception of the high socially anxious students is not distorted but based on the actual treatment they receive from their classmates.     

The Logic of Theory Assessment

This paper starts by indicating the analysis of Hempel’s conditions of adequacy for any relation of confirmation (Hempel, 1945) as presented in Huber (submitted). There I argue contra Carnap (1962, Section 87) that Hempel felt the need for two concepts of confirmation: one aiming at plausible theories and another aiming at informative theories. However, he also realized that these two concepts are conflicting, and he gave up the concept of confirmation aiming at informative theories. The main part of the paper consists in working out the claim that one can have Hempel’s cake and eat it too — in the sense that there is a logic of theory assessment that takes into account both of the two conflicting aspects of plausibility and informativeness. According to the semantics of this logic, α is an acceptable theory for evidence β if and only if α is both sufficiently plausible given β and sufficiently informative about β. This is spelt out in terms of ranking functions (Spohn, 1988) and shown to represent the syntactically specified notion of an assessment relation. The paper then compares these acceptability relations to explanatory and confirmatory consequence relations (Flach, 2000) as well as to nonmonotonic consequence relations (Kraus et al., 1990). It concludes by relating the plausibility-informativeness approach to Carnap’s positive relevance account, thereby shedding new light on Carnap’s analysis as well as solving another problem of confirmation theory. A precursor of this paper has appeared as “The Logic of Confirmation and Theory Assessment” in L. Běhounek & M. Bílková (eds.), The Logica Yearbook 2004, Prague: Filosofia, 2005, 161–176.     

父母-儿童共同活动中的互动与儿童的数学学习

本研究运用结构性观察方法对两组4岁儿童与父母在四种活动中的互动进行了分析与比较。一组儿童为书面数符号测查高分者,二组儿童为书面数符号测查低分者。85对父母一儿童对子参加了4个各有15分钟的共同活动,阅读、数学题、纸和积木,并完成一个微型问卷。结果表明,在这些活动中包含了多种数学知识学习和多种以父母为主导的互动策略;两组对子之间在数学事件频次上无差异,但一组父母更多地运用了一些积极策略,二组父母更多地运用了一些消极策略;二组中有更多儿童对互动表现出消极回应和注意力问题。两个组的父母在家中与儿童一起进行诸如阅读和做数学题的共同活动的频次与质量上表现出差异。     

The Influence of Family and Experimental Context on Cognition in Anxious Children

Examined the influence of family on anxious children's cognition. Research by Barrett, Rapee, Dadds, and Ryan (1996) found anxious children reported increased avoidance after interacting with their parents. They labelled this finding the FEAR effect—Family Enhancement of Avoidant Responses. Whilst some subsequent studies have found similar results, others have not. These contradictory findings question whether the direction of parental influence on anxious children is determined by the perceived demands of the experimental context. Anxious children (N = 101) and their parents were asked to interpret seven ambiguous situations and to discuss what their child would do if the scenario actually occurred. Study 1 found that children in the anxious group and an externalizing control group were more likely to interpret ambiguous situations as threatening than nonclinic children were. Study 2 sought to examine changes in the children's responses from pre- to postfamily discussion, and to identify variables associated with the FEAR effect in anxious families. Interestingly, anxious children whose families completed the discussion task after they (children) had been offered treatment were more likely to show a FEAR effect than anxious families who completed the task as part of assessment. Study 3 examined predictors of enhanced avoidance in anxious families. Treatment context and maternal distress were correlated with the child's increased avoidance following family discussion. Limitations of these studies and directions for future research are discussed.     

Family Relationships as a Predictor of Post-Treatment Drug Abuse Relapse: A Follow-Up Study of Drug Addicts and Their Spouses

This study examined family-of-origin (FO) characteristics of drug addicts and their spouses, who participated in an in-home drug treatment program. Discriminant analysis revealed a set of FO characteristics that differentiated between 25 men who remained drug-free for six months after detoxification and 25 men who suffered a relapse. This set of FO characteristics successfully predicted relapse 30 months later. Men who remained drug-free for the entire period maintained closer relationships with healthy than with unhealthy families, whereas those who relapsed maintained closer relationships with unhealthy families. Compared with those who relapsed, men who remained drug-free also maintained closer relationships with their spouses' families. The findings are discussed in terms of the family system's view of drug abuse, as well as their implications for family-based intervention.     

From Social to Political Identity: A Critical Examination of Social Identity Theory

Interest in the concept of identity has grown exponentially within both the humanities and social sciences, but the discussion of identity has had less impact than might be expected on the quantitative study of political behavior in general and on political psychology more specifically. One of the approaches that holds the most promise for political psychologists is social identity theory, as reflected in the thinking of Henri Tajfel, John Turner, and colleagues. Although the theory addresses the kinds of problems of interest to political psychologists, it has had limited impact on political psychology because of social identity theorists' disinclination to examine the sources of social identity in a real world complicated by history and culture. In this review, four key issues are examined that hinder the successful application of social identity theory to political phenomena. These key issues are the existence of identity choice, the subjective meaning of identities, gradations in identity strength, and the considerable stability of many social and political identities.     

Workplace Innovations in Large, Unionized Canadian Organizations

The study reports workplace innovations in 112 large, unionized Canadian organizations from data collected in 1994 by the Bureau of Labour Information. The frequency of specific workplace innovations and the relationship to organization and bargaining unit characteristics are reported.     

母亲-胎儿关系：概念、测量和影响因素

亲子关系并不仅仅始于出生之后,在怀孕期间孕妇就开始建立与胎儿的关系。母亲-胎儿关系是孕妇在怀孕期间对胎儿所产生的一种对胎儿的认知表征、投入的情感以及与胎儿的互动的关系,具有重要的理论与实践意义。目前用于测量母亲-胎儿关系水平的主要工具为母亲-胎儿依恋量表,母亲孕期依恋量表以及胚胎依恋量表。多种因素会对母亲-胎儿关系产生影响,主要包括孕妇年龄、文化等人口学因素,孕周、孕期检查等怀孕相关因素,以及人格特点、心理健康、社会支持等心理社会因素。未来研究要对研究方法进行整合、更多关注父亲-胎儿关系的发展特点,并尝试探索干预措施来提高这种亲子关系的质量。     

初中青少年自尊发展趋势及影响因素的追踪分析

本研究采用纵向追踪设计, 从整合的视角考察了亲子关系、师生关系、学业压力以及认知自主对初中青少年自尊发展水平和趋势的影响。结果发现：(1)从初一到初三, 青少年的自尊水平和认知自主水平呈现显著的上升趋势, 师生关系亲密度呈现显著的下降趋势, 亲子关系和学业压力没有明显变化; (2)亲子关系和认知自主对初中青少年的自尊发展有着显著的促进作用, 学业压力对初中青少年的自尊发展有着明显的抑制作用, 师生关系对初中青少年的自尊发展没有明显影响。