Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication

In this work we develop goal-directed deduction methods for the implicational fragment of several modal logics. We give sound and complete procedures for strict implication of K, T, K4, S4, K5, K45, KB, KTB, S5, G and for some intuitionistic variants. In order to achieve a uniform and concise presentation, we first develop our methods in the framework of Labelled Deductive Systems [Gabbay 96]. The proof systems we present are strongly analytical and satisfy a basic property of cut admissibility. We then show that for most of the systems under consideration the labelling mechanism can be avoided by choosing an appropriate way of structuring theories. One peculiar feature of our proof systems is the use of restart rules which allow to re-ask the original goal of a deduction. In case of K, K4, S4 and G, we can eliminate such a rule, without loosing completeness. In all the other cases, by dropping such a rule, we get an intuitionistic variant of each system. The present results are part of a larger project of a goal directed proof theory for non-classical logics; the purpose of this project is to show that most implicational logics stem from slight variations of a unique deduction method, and from different ways of structuring theories. Moreover, the proof systems we present follow the logic programming style of deduction and seem promising for proof search [Gabbay and Reyle 84, Miller et al. 91].     

Perceptual evaluation of the speech before and after fluency shaping stuttering therapy

An often-cited criterion for assessing the effect of a stuttering therapy is the ability of the stutterers to produce normally fluent speech. Many modern stuttering therapies use special techniques that may produce stutter-free speech that does not sound completely normal. The present study investigates this problem in the framework of the Dutch adaptation of the Precision Fluency Shaping Program.

Pre-, post-, and -year follow-up therapy speech samples of 32 severe stutterers who were treated in a four-week intensive therapy are compared with comparable samples of 20 nonstutterers. For that aim the samples were rated on 14 bipolar scales by groups of about 20 listeners. The results show that the speech of the stutterers in all three conditions differs significantly from the speech of the nonstutterers. The pretherapy speech takes an extreme position on a Distorted Speech dimension, due to the large proportion of disfluencies. The posttherapy speech has extremely low scores on a Dynamics/Prosody dimension, a‘1 while the follow-up therapy speech differs from the normal speech on both dimensions, but now the distances are smaller. These results are discussed in relation to the severity of the stuttering problem in the group of treated stutterers. Finally, implications for future research on therapy evaluation are discussed.     

The deceleration of inappropriate comments by a natural consequence

The characters of this study were two boys in a class for pupils with learning disabilities. The subject was a nine-year-old boy who emitted certain inappropriate comments in class. The manager throughout this study was a peer of the subject.Following a period of initial assessment, which revealed that the inappropriate verbalizations occurred about twice each day, the peer-manager, contingent on each inappropriate remark, moved away from the subject to another desk. Furthermore, before he moved, he explained to the subject why he was displeased. The peer-manager, after a period of time, returned to his original location contingent on appropriate verbalizations of the subject.This technique proved effective in that the subject rarely responded inappropriately throughout the remainder of the school term. Further, it was reported that follow-up observations taken the next year, when the pupil was in a different class, revealed that the inappropriate verbalizations had not reoccurred.     

Perceived characteristics of “competent” people

The purpose of this research was to determine the specific behaviors and cues which 104 assessors perceived as indicating the presence of psychological variables shown to be related to competent job behavior. The cue systems utilized were found to be reminiscent of theory Y conceptions of effective job behavior. Implications of the lack of correlation of cue utilization with assessor characteristics are discussed.     

Exploring changes during life and career design dialogues

This article describes the processes of change that occur during career counseling based on the ‘making oneself self’ model (Guichard, 2008; Guichard, 2009). This counseling intervention process forms part of the more general paradigm of life designing (Savickas et al., 2009). The main goal for this counseling is fostering “reflexivity” of individuals with regard to their investment in their various spheres of life. Three career counseling interviews were conducted using both methods of dialogues for life and career design dialogues (LCDD) and self-confrontation (Larsen, Flesaker, & Foundation, 2008; Valach, Michel, Dey, & Young, 2002). Each interview is described with a focus on the changes perceived by the interviewees in relation to their initial reason for consulting as well as on their dialogues with the counselor, who facilitated these changes and provided support for them. The analysis of the dialogues suggests the existence of a three-step evolution supporting the changes. On the basis of these data, the discussion examines the reflexive approach in its theoretical, methodological and practical dimensions.     

Cognitive adjustment as an indicator of psychological health at work: Development and validation of a measure

Based on organizational socialization literature (e.g., Bauer, Bodner, Erdogan, Truxillo, & Tucker, 2007; Kammeyer-Mueller & Wanberg, 2003; Saks, Uggerslev, & Fassina, 2007) and Conservation of Resources theory (COR theory; Hobfoll, 1989, 2001), this article aims to develop a conceptualization and a measurement of cognitive adjustment at work (CAW), as an indicator of psychological health in the workplace. Two studies, including three independent samples (N_A = 296, N_B = 350, N_C = 139), were conducted to test an operational proposal of CAW. In Study 1, exploratory and confirmatory factor analyses, as well as reliability and temporal invariance analyses, were performed to test the structure of both the construct and the instrument. In Study 2, nomological network analysis was conducted. Results suggest strong empirical support for the structure and validity of CAW, defined as a second-order factor, which includes task adjustment, work group adjustment and organizational adjustment.     

General and Realm-Specific Self-Efficacy: Connections to Life Functioning

This project examined how the synthesis of general and realm specific self-efficacy is related to life functioning. In two studies 760 participants provided information on their levels of general self-efficacy, specific self-efficacy in the realms of positive affect, sleep, exercise and study, and quality of functioning in these realms. Higher general self-efficacy was significantly associated with realm specific self-efficacy across the realms of positive affect, sleep, study, and exercise. Both higher general self-efficacy and higher realm-specific self efficacy were associated with positive affect, quality of sleep and study skills. Realm-specific self-efficacy mediated the relationships between general self-efficacy and functioning in the realms of positive affect, sleep, and study. Structural equation modeling indicated paths from general self-efficacy to latent variables comprised of realm-specific self-efficacy. Different types of realm-specific self-efficacy together contributed to explaining variance in general self-efficacy. The results provide support for a hierarchical model of self-efficacy. The findings provide a platform for future longitudinal research and experimental intervention research examining the causal inter-relationships of general self-efficacy, realm-specific self-efficacy, and functioning.