Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae

In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from these classes have the finite model property with respect to the class of -formulae, i.e. each -formula has a -model iff it has a finite -model. Roughly speaking, a -formula is logically equivalent to a formula in negative normal form without occurrences of modal operators with necessity force. In the proof we introduce a substantial modification of Claudio Cerrato's filtration technique that has been originally designed for graded modal logics. The main core of the proof consists in building adequate restrictions of models while preserving the semantics of the operators used to build terms indexing the modal operators.     

Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof

This paper is the final part of the syntactic demonstration of the Arithmetical Completeness of the modal system G; in the preceding parts [9] and [10] the tools for the proof were defined, in particular the notion of syntactic countermodel. Our strategy is: PA-completeness of G as a search for interpretations which force the distance between G and a GL-LIN-theorem to zero. If the GL-LIN-theorem S is not a G-theorem, we construct a formula H expressing the non G-provability of S, so that ⊢_GL-LIN ∼ H and so that a canonical proof T of ∼ H in GL-LIN is a syntactic countermodel for S with respect to G, which has the height θ(T) equal to the distance d(S, G) of S from G. Then we define the interpretation ξ of S which represents the proof-tree T in PA. By induction on θ(T), we prove that ⊢_PA S^ξ and d(S, G) > 0 imply the inconsistency of PA. This revised version was published online in June 2006 with corrections to the Cover Date.     

Testing a model of codependency for college students in Taiwan based on Bowen's concept of differentiation

The purpose of this study was to test a model of codependency based on Bowen's concept of differentiation for college students in Taiwan. The relations between family‐of‐origin dysfunction, differentiation of self, codependency traits and related symptoms including low self‐esteem, relationship distress and psychological adjustment problems were examined. Data were collected from 567 college students from 2 large, urban universities in northern Taiwan. Results indicated a significantly negative relationship between levels of codependency and self‐differentiation and that self‐differentiation partially mediated the relationship between family‐of‐origin dysfunction and codependency. The implications of these findings for counselling Taiwanese college students who experience codependency traits and related symptoms as well as suggestions for future research are discussed.     

语义信息在大小数量表征中的作用

本研究采用注意瞬脱实验范式探讨了语义信息在数量表征中的作用。结果发现：（1）在双任务方式中,字母辨认任务对大数（5及以上）的辨认产生干扰,但不影响小数（4及以下）的辨认绩效;（2）数量表征在视野上出现差异性,表现为在小数辨认时,左侧视野呈现绩效高于右侧;大数辨认正好相反,即右侧视野呈现高于左侧。结果表明,语义信息在表征小数和大数中的作用不同：小数的表征无需语言参与;而大数则更多地涉及语义信息,可能需语音回路中无声复述机制的参与。     

Speed of emotional information processing and emotional intelligence

The present study aimed to investigate the relationship between the speed of emotional information processing and emotional intelligence (EI). To evaluate individual differences in the speed of emotional information processing, a recognition memory task consisted of two subtests similar in design but differing in the emotionality of the stimuli. The first subtest required judgment about whether an emotional facial expression in the test face was identical to one of the four emotional expressions of the same individual previously presented. The second subtest required deciding whether the test face with a neutral emotional expression was identical to one of the four neutral faces of different individuals previously presented. Mean response latencies were calculated for “Yes” and “No” responses. All latencies were correlated with other measures of processing speed such as discrimination time and time of figure recognition. However, the emotional expression recognition subtest was hypothesized to require the processing of emotional information in addition to that of facial identity. Latencies in this subtest were longer than those in the face recognition subtest. To obtain a measure of the additional processing that was called for by the emotionality of the stimuli, a subtraction method and regression analysis were employed. In both cases, measures calculated for “No” responses were related to ability EI, as assessed via a self‐report questionnaire. According to structural equation modeling, there was a moderately negative association between latent EI and the latency of “No” responses in the subtest with emotional stimuli. These relationships were not observed for “Yes” responses in the same subtest or for responses in the subtest with neutral face stimuli. Although the differences between “Yes” and “No” responses in their associations with EI require further investigation, the results suggest that, in general, individuals with higher EI are also more efficient in the processing of emotional information.     

The Effect of Social and Situational Factors on the Intended Response to Aggression Among Adolescents

ABSTRACT

In this study, I explored intended response to aggression among adolescents. I drew hypotheses from social identity theory, cost/benefit considerations, and social information processing model. I asked 217 Jewish and Muslim male adolescents in this study to assess their intended use of aggression in 12 hypothetical conflict situations (vignettes), in which I manipulated the opponent's religion, gender, acquaintance, and severity of aggression. I mainly found that male adolescents respond to aggression by same-religion opponents more moderately than to cross-religion aggression; their response is more moderate to cross-gender aggression than to same-gender aggression; response is more moderate to the aggression of familiar opponents than to that of unfamiliar ones; and response is less severe toward moderate than toward severe aggression.     

Using a Training-of-Trainers Approach and Proactive Technical Assistance to Bring Evidence Based Programs to Scale: An Operationalization of the Interactive Systems Framework’s Support System

Bringing evidence based programs to scale was a major initial impetus for the development of the Interactive Systems Framework for Dissemination and Implementation (ISF). The ISF demonstrates the importance of the Support System in facilitating the uptake of innovations in the community (the Delivery System). Two strategies that members of the Support System commonly use are training‐of‐trainers (TOT) models and technical assistance (TA). In this article, we focus on the role of the Support System in bringing evidence‐based programs (EBPs) to scale in the Delivery System using a case example, with special attention on two strategies employed by Support Systems—training‐of‐trainers (TOT) and proactive technical assistance. We then report on findings from a case example from the Promoting Science Based Approaches to Teen Pregnancy Prevention project that furthers our conceptualization of these strategies and the evidence base for them. We also report on the limitations in the literature regarding research on TOTs and proactive TA and provide suggestions for future research on TOTs and proactive TA that will enhance the science and practice of support in the ISF. Special Issue: Advances in Bridging Research and Practice Using the Interactive System Framework for Dissemination and Implementation; Guest Editors: Abraham Wandersman, Paul Flaspohler, Catherine A. Lesesne, Richard Puddy; Action Editor: Emilie Phillips Smith     

Using the Interactive Systems Framework in Understanding the Relation Between General Program Capacity and Implementation in Afterschool Settings

The present study uses the Interactive Systems Framework (ISF) to understand how general capacity influences the implementation of prevention programs in afterschool settings. Eight afterschool sites received the Good Behavior Game (GBG) intervention, a program designed to foster supportive behavioral management and positive youth behavior. In line with the Prevention Support System component of ISF, the intervention afterschool staff were trained and received weekly on-site support from coaches in implementing the GBG. It was found that GBG implementation scores were greatest in afterschool programs that rated high on both organizational- and community-levels of general capacity; high scores on only one level of general capacity resulted in lower implementation scores. Thus, afterschool sites that were more organized, maintained adequate facilities, and developed strong linkages to individuals or organizations in the community scored highest in implementation fidelity and quality. This study highlights the importance of considering interactions among multiple levels of general capacity in efforts to promote evidence-based practices in afterschool settings. Caution should be taken in generalizing findings due to the small sample in this study.     

“Loving Nature” Nature’s Way: Exploring Radical Participation With Nature Through the Metaphor of Complex,Dynamic Self-Systems

The Western metaphor of self-as-identity—as a static, inherently exclusive entity—has been instrumental, historically, to our radical separation from nature, and still hampers a reviving of genuine participation with nature. Suggesting an alternative to this metaphor (informed by literacy as technology), I explore the more nature-informed metaphor of dynamic, complex self-systems, involving both natural and human subsystems. Through this latter metaphor, I re-vision radical participation with nature: in the process of perception, in epistemology/ontology, and in the ways of indigenous, oral cultures. This systems metaphor also sheds contrasting light on literacy-informed, Western ways.     

What Does God Know? Supernatural Agents’ Access to Socially Strategic and Non‐Strategic Information

Current evolutionary and cognitive theories of religion posit that supernatural agent concepts emerge from cognitive systems such as theory of mind and social cognition. Some argue that these concepts evolved to maintain social order by minimizing antisocial behavior. If these theories are correct, then people should process information about supernatural agents' socially strategic knowledge more quickly than non-strategic knowledge. Furthermore, agents' knowledge of immoral and uncooperative social behaviors should be especially accessible to people. To examine these hypotheses, we measured response-times to questions about the knowledge attributed to four different agents--God, Santa Claus, a fictional surveillance government, and omniscient but non-interfering aliens--that vary in their omniscience, moral concern, ability to punish, and how supernatural they are. As anticipated, participants respond more quickly to questions about agents' socially strategic knowledge than non-strategic knowledge, but only when agents are able to punish.