Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity

Two classes of π are studied whose properties are similar to those of the protoalgebraic deductive systems of Blok and Pigozzi. The first is the class of N-protoalgebraic π-institutions and the second is the wider class of N-prealgebraic π-institutions. Several characterizations are provided. For instance, N-prealgebraic π-institutions are exactly those π-institutions that satisfy monotonicity of the N-Leibniz operator on theory systems and N-protoalgebraic π-institutions those that satisfy monotonicity of the N-Leibniz operator on theory families. Analogs of the correspondence property of Blok and Pigozzi for π-institutions are also introduced and their connections with preand protoalgebraicity are explored. Finally, relations of these two classes with the (, N)-algebraic systems, introduced previously by the author as an analog of the -algebras of Font and Jansana, and with an analog of the Suszko operator of Czelakowski for π-institutions are also investigated. Presented by Josep Maria Font     

Resolving Nationalist Conflicts: Promoting Overlapping Identities and Pooling Sovereignty—The 1998 Northern Irish Peace Agreement

Nationalist and ethnic conflicts are a continuing source of tension in the post–Cold War period. The underlying factors affecting such conflicts are threat perception, ethnic security dilemmas, and lack of trust between nationalist/ethnic groups. The challenge is to find solutions to these conflicts. International institutions can establish trust and reduce the ethnic security dilemma by providing multiple forums of representation, promoting overlapping identities, and pooling sovereignty. Pooling sovereignty across a number of international representative bodies leads to increased access to governmental policymaking, with each party having a stake in government, and leads to a reduction in political tension and conflict. Thus, international parliamentary institutions may provide a solution to these conflicts. The British-Irish Peace Agreement (Good Friday Agreement) of 1998 is examined as an illustration of this argument.     

中学高年级学生作文能力结构特征的研究

对４９０名高三学生的１８个作文变量的测验资料,运用高阶因素分析法概括出中学高年级学生作文能力结构的三个群因素。第一个是作文能力的因素,它是作文认知活动的各种能力相互作用的一种协调发展程度。第二个是由词汇量、造句等能力组合成的词语能力,它是作文能力结构中的一个活跃因素。第三个是词汇量因素,它独立存在于一阶、二阶因素中,表明它是不同阶段认知活动的一个不可缺的因素。     

A general index of self-reported sleep: the sleep quotient

Utilizing multiple sleep measures, a practice common to virtually all sleep assessments, poses problems both for statistical analyses in the form of inflated Type I error rate and for interpretation by the inability to specify general sleep change. A sleep quotient (SQ) is proposed that appears to overcome these problems. The paper presents archival norms for self-report sleep data, demonstrates the use of these norms in transforming novel data to standardized units, and casts the standardized score in the form of an intelligence quotient, now called a SQ, with a mean of 100 and a standard deviation of 15. Previously published data are reanalyzed by use of SQ scores, methods of interpreting SQ data are demonstrated, and advantages of SQ analyses are described. The SQ appears to be a valid, useful composite sleep index permitting the measurement of general sleep.     

The Judicialization of Religious Freedom: An Institutionalist Approach

Recent years have seen growing interest in the judicialization of religious freedom (JRF). In this article, I identify two distinct meanings of JRF, which are often conflated but which need to be kept separate. I then argue for a stronger institutionalist approach to JRF. An institutionalist approach focuses our attention on both the rules internal to courts, and the relationship of courts to administrative agencies, legislatures, and other governing bodies. I argue that there is room to strengthen our analyses of JRF by paying greater attention to these institutional dynamics. I demonstrate this by highlighting two overlooked features of courts—interpretive rules and access rules—that are particularly important for governing JRF; and by developing a framework that relates the courts to other institutional venues and political actors. In so doing, I identify a number of promising directions for future research into the causes and consequences of JRF.     

Therapeutic processes in group therapy: Intersections between general change mechanisms and motivational stages of change from patient perspective

Intersections between Grawe’s General Psychotherapy and Prochaska’s Transtheoretical Model were investigated in group therapy in a longitudinal design. It was assumed that general change mechanisms have an impact on patients’ stages of change. Specifically, the main hypotheses were that experiential change mechanisms (ECM; clarification of meaning, problem actuation, emotional bond and group cohesion) should be especially relevant for early stages of change (precontemplation and contemplation), whereas behavioral change mechanisms (BCM; resource activation, mastery/coping and task and goals) should be especially relevant for late stages of change (action and maintenance). Therefore, 140 outpatients attending different types of group therapy, with a typical duration of 8 sessions, were investigated. Patients completed the Form for the Evaluation of Therapeutic Processes in Group Therapy (FEPiG), the University of Rhode Island Change Assessment, short version (URICA-S) and several symptomatology measures (BDI-II, BSCL and IIP-32) at two measuring times. Intersections were analysed through correlational analyses, cross-lagged panels and a path-analytic model, supporting the hypotheses. Specifically, results suggested that experiencing ECM at t1 predicted higher levels of reported contemplation at t2. Patients experiencing higher levels of BCM at t1 reported higher levels of action at t2. Clinical implications of the results are discussed.     

The role of the oath in credibility assessment

Based on the adaptive lie detector theory, this study is an examination of whether taking an oath, as context‐general information, increases the credibility of a suspect. The consistency of the testimonies of 6 eyewitnesses was manipulated so that it could be used as individuating information. There were 2 sets of testimonies: one that was consistent and one that was inconsistent. The results supported the adaptive lie detector theory. The participants judged those persons who took an oath to be more credible than those who did not, but this only happened in situations where the testimonies of the eyewitnesses were inconsistent. The theoretical and practical implications of the findings and future directions are then discussed.     

An Institution-independent Proof of Craig Interpolation Theorem

We formulate a general institution-independent (i.e. independent of the details of the actual logic formalised as institution) version of the Craig Interpolation Theorem and prove it in dependence of Birkhoff-style axiomatizability properties of the actual logic.We formalise Birkhoff-style axiomatizability within the general abstract model theoretic framework of institution theory by the novel concept of Birkhoff institution.Our proof destills a set of conditons behind the Craig Interpolation Property, which are easy to establish in the applications. Together with the generality of our approach, this leads to a wide range of applications for our result, including conventional and non-conventional logics (many of them from algebraic specification theory), such as general algebra, classical model theory, partial algebra, rewriting logic, membership algebra, etc. all of them in various versions and with various types of sentences (including infinitary ones). In dependence of axiomatizability properties many other applications are expected for various institutions or logics.     

考试应付与相关因素的研究

本研究运用测量的方法考察了 1 0 0个大学生考试前后的应付方式以及人格、社会支持等因素对应付方式选择的影响作用。结果发现 ,考试应付与情景变化、人格特点和社会支持等因素有关。其中自尊、外向和低精神质人格特点与解决问题指向应付方式使用相关 ,低掩饰性与悲观人格特点与幻想、发泄、否认的消极应付方式使用相关。社会支持在应付中是一种重要的辅助资源 ,缺乏社会支持资源 ,考试过程中倾向于使用自闭的消极应付方式 ,社会支持资源丰富 ,则倾向于使用寻求社会支持的积极应付方式。