Constructive Logic with Strong Negation is a Substructural Logic. I

The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL _ew of the substructural logic FL _ew . In this paper, it is shown that the equivalent variety semantics of N (namely, the variety of Nelson algebras) and the equivalent variety semantics of NFL _ew (namely, a certain variety of FL _ew -algebras) are term equivalent. This answers a longstanding question of Nelson [30]. Extensive use is made of the automated theorem-prover Prover9 in order to establish the result. The main result of this paper is exploited in Part II of this series [40] to show that the deductive systems N and NFL _ew are definitionally equivalent, and hence that constructive logic with strong negation is a substructural logic over FL _ew . Presented by Heinrich Wansing     

On the Closure Properties of the Class of Full G-models of a Deductive System

In this paper we consider the structure of the class FGModS of full generalized models of a deductive system S from a universal-algebraic point of view, and the structure of the set of all the full generalized models of S on a fixed algebra A from the lattice-theoretical point of view; this set is represented by the lattice FACS_s A of all algebraic closed-set systems C on A such that (A, C) ε FGModS. We relate some properties of these structures with tipically logical properties of the sentential logic S. The main algebraic properties we consider are the closure of FGModS under substructures and under reduced products, and the property that for any A the lattice FACS_s A is a complete sublattice of the lattice of all algebraic closed-set systems over A. The logical properties are the existence of a fully adequate Gentzen system for S, the Local Deduction Theorem and the Deduction Theorem for S. Some of the results are established for arbitrary deductive systems, while some are found to hold only for deductive systems in more restricted classes like the protoalgebraic or the weakly algebraizable ones. The paper ends with a section on examples and counterexamples. Dedicated to the memory of Willem Johannes Blok     

Audience with a Healer

Up From Scapegoating: Awakening Consciousness in Groups. 1995. By Arthur D. Colman Wilmette, IL: Chiron.

The Wounded Jung. (1996). By Robert C. Smith Evanston, IL: Northwestern University Press.

The Body: An Encyclopedia for Research in Archetypal Symbolism. 1996. By George R. Elder Boston: Shambhala.

Gifts of Suffering. 1996. By Polly Young-Eisendrath New York; Addison-Wesley Co.

The Religious Function of die Psyche. 1996. By Lionel Corbett London &; New York: Routledge.

Buddhism and the Art of Psychotherapy. 1996. By Hayao Kawai College Station, TX: Texas A &; M University Press.

The Soul's Code: In Search of Character and Calling. 1996. By James Hillman New York: Random House.

Kinds of Power A Guide to Its Intelligent Uses. 1995. By James Hillman New York: Doubleday.

Psychotherapy as a Mutual Process. 1996. By J. Marvin Spiegelman Tempe, AZ: New Falcon Publications.

Soul Cards. By Deborah Koff-Chapin 1995. Langley, WA: The Center for Touch Drawing.     

A modal sequent calculus for a fragment of arithmetic

Global properties of canonical derivability predicates (the standard example is Pr() in Peano Arithmetic) are studied here by means of a suitable propositional modal logic GL. A whole book [1] has appeared on GL and we refer to it for more information and a bibliography on GL. Here we propose a sequent calculus for GL and, by exhibiting a good proof procedure, prove that such calculus admits the elimination of cuts. Most of standard results on GL are then easy consequences: completeness, decidability, finite model property, interpolation and the fixed point theorem.The second author holds a grant from the Consiglio Nazionale delle Ricerche, gruppo G.N.S.A.G.A.     

A simplification of a completeness proof of Guaspari and Solovay

The modal completeness proofs of Guaspari and Solovay (1979) for their systems R and R ^– are improved and the relationship between R and R ^– is clarified.     

Identification accuracy of a single culprit in a multiple-perpetrator mock crime

IntroductionEyewitness identification research has mainly examined the identification accuracy of a single perpetrator but many actual crimes involve not one but several perpetrators.ObjectiveThe aim of the study was to examine the identification accuracy if only one lineup for one of the two perpetrators is presented in a multiple perpetrator crime.MethodThe sample consisted of 180 participants who saw a theft video followed by distraction tasks. One group of participants saw lineups for both of the perpetrators (one target present and one target-absent) whereas the other saw only a single lineup (either target-present or target-absent) for one of the two perpetrators.ResultsParticipants who saw a single lineup did not make more inaccurate identification decisions then participants who saw two lineups. Decision accuracy in the first lineup was not associated with the decision accuracy in the second lineup.ConclusionThe results are discussed in terms of the number of perpetrators and line-up presentation types.     

Calibration processes in a serial talent test

ObjectivesIn the beginning of serial evaluations, raters assess performances without knowledge about following performances. We assume that judges must observe a certain number of performances to calibrate their judgment scale, leading to systematic biases (avoidance of extreme judgments) in the beginning of judgment series. The present experiment investigates how many performance observations are necessary to calibrate internal judgment scales, leading to consistent judgments.DesignA between-group design was used.MethodVideos of a talent-test were presented in different orders. Every performance was presented in early, medium, and late positions. Thirty participants rated these series and we assessed the effect of performance position on performance evaluations.ResultsWe found calibration biases within the first nine performances; after that, evaluations remained stable and consistent.ConclusionCalibration processes are completed after a specific number of judgments; this implies interesting interventions for consistent judgments independent of the position in a series.     

Constructive Logic with Strong Negation is a Substructural Logic. II

The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL _ew of the substructural logic FL _ew . The main result of Part I of this series [41] shows that the equivalent variety semantics of N (namely, the variety of Nelson algebras) and the equivalent variety semantics of NFL _ew (namely, a certain variety of FL _ew -algebras) are term equivalent. In this paper, the term equivalence result of Part I [41] is lifted to the setting of deductive systems to establish the definitional equivalence of the logics N and NFL _ew . It follows from the definitional equivalence of these systems that constructive logic with strong negation is a substructural logic. Presented by Heinrich Wansing     

Fear-then-relief,legitimizing a paltry contribution,and charity

IntroductionThe compliance literature describes multiple techniques of social influence. Some of them have proven effective at inducing compliance in the charity domain. One such technique is referred to as legitimizing a paltry contribution (LPC). There are theoretical grounds on which it can be assumed that this technique will be particularly effective in conditions in which a person feels relief from fear.ObjectiveThe aim of the study was to examine whether people who experience fear-relief sequences are more susceptible to the LPC technique than those in a neutral emotional state.MethodIn two field studies, some people experienced relief from fear, while others remained in a neutral emotional state. The participants were then asked to donate to a worthy cause. A request was formulated either in a standard way, or with the phrase “even a penny will help”.ResultsThe two experiments yielded consistent results. It turned out that the LPC technique was particularly effective when participants had experienced relief from fear.ConclusionsThe aforementioned pattern of results is important for the development of theoretical knowledge about techniques of social influence, and has direct practical implications.     

Suppression and justification processes to reduce in-group bias in a multiculturalism diversity context

IntroductionThis study investigates the impact of an organisational multiculturalism perspective of diversity on in-group bias towards people of foreign origin.ObjectiveWe hypothesise that organisational multiculturalism constitutes a norm which creates a positive context for intergroup relations. We expect that when workers perceive that their organisation recognises group differences, their own values are influenced, namely egalitarian values and perceived value violation. The value-related mediators are conceptualised in the frame of justification-suppression model (Crandall & Eshleman, 2003) respectively as suppression and justification.MethodData were collected from a sample of 402 workers who completed an anonymous questionnaire.ResultsBased on structural equation modelling, results show that the perception of organisational multiculturalism is negatively and indirectly related to in-group bias through both suppression and justification processes.ConclusionThis study highlights that the perception of the normative context of an organisation is related to workers’ attitudes. The results are discussed consistent with the literature on diversity.     

Assessment of job stress factors in a context of organizational change

IntroductionResearch consistently showed that stress and organizational change are closely related.ObjectiveThis study was conducted to identify the psychosocial job characteristics that are responsible for psychological stress in a context of organizational change.MethodAn expanded 30-item version of the Job Content Questionnaire was used to measure psychological demands, decision latitude, supervisor support, coworker support, and organizational difficulties. Online survey responses from 973 employees from the university of Strasbourg were analyzed.ResultsConfirmatory Factor Analyses indicated a poor fit of the five-factor model based on 30 items but an acceptable to good fit of a reduced five-factor model based on 26 items. Results from a stepwise regression showed that the organizational difficulties dimension was the second most important predictor of psychological stress.ConclusionThe implications of these findings for further work on health outcomes of organizational changes closed this study.     

Efficacy of a cognitive-behavioural therapy administered by videoconference for generalized anxiety disorder

IntroductionDelivering psychotherapy by videoconference could considerably extend the accessibility of empirically validated treatments.ObjectiveThe aim of this study was to evaluate the efficacy of a cognitive-behavioural therapy (CBT) for generalized anxiety disorder (GAD), administered via videoconference.MethodFive participants with a primary diagnosis of GAD took part in an experimental multiple baseline case study protocol. The efficacy of the treatment was evaluated using a semi-structured interview, self-report questionnaires, and daily self-monitoring diaries.ResultsThe results demonstrate that overall, participants’ conditions were improved following treatment and they no longer met the diagnostic criteria for GAD in the short-term. Participants’ conditions improved clinically and statistically at each follow-up point, achieving a greater global level of functioning at post-test, as well as at 3-month and 12-month follow-up.ConclusionClinical implications of this new treatment modality and directions for future research are discussed.     

Mobilizing self through short-term dynamic interpersonal psychotherapy: a preliminary report

Background: The key features of short-term dynamic interpersonal psychotherapy (STDIP) are outlined along with the background of its development. Preliminary data demonstrating functional improvement in a small case series of patients is presented.

Methods: Nineteen patients were evaluated at commencement and end of therapy in a pilot study. Instruments used were the Childhood Trauma Questionnaire (CTQ); Beck Depression Inventory (BDI); Brief Symptom Inventory (BSI); COPE (Coping Style Questionnaire); Relationship Styles Questionnaire (RSQ) and Social Adjustment Scale-Self Report (SAS-SR).

Results: This cohort had significantly elevated scores on the CTQ. They demonstrated substantial improvement on measures including the BDI, and several subscales of BSI, COPE, RSQ and SAS-SR.

Conclusions: The small numbers and naturalistic design preclude firm conclusions however the results suggest that STDIP can be used to successfully treat patients, notwithstanding a history of childhood trauma.     

Depressive symptoms and use of perspective taking within a communicative context

Objective: The ability to take the perspective of one's conversational partner is essential for successful communication. We assessed whether individuals who report high levels of depressive symptoms have more difficulty with navigating this interpersonal task. Method: Undergraduate students participated in a computerised communication task that, on some trials, required perspective taking (N=125). Results: When participants were grouped according to their self-reported depressive symptoms, the “dysphoric group” (BDI ≥ 16, n=37) showed more errors than a “non-dysphoric group” (BDI ≤ 10, n=56) on trials requiring participants to use the perspective of the speaker, but not on control trials where perspective taking was not required. The dysphoric group demonstrated slower response times overall. Conclusions: Individuals with moderate to high levels of depressive symptoms are more challenged by using a speaker's perspective to interpret statements.     

Anxiety sensitivity as a predictor of panic disorder symptoms: a prospective 3-year study

Background and Objectives: Anxiety sensitivity (AS) is the fear of anxiety symptoms, a feature proven to be an important vulnerability factor for anxiety pathogenesis. The aim of this study was to examine whether AS (as well as its factors) predicts the onset of panic disorder symptoms when controlling for the contribution of trait anxiety.

Design: We conducted a prospective 3 year follow up study.

Methods: The participants, students at the Humanities and Social Sciences in Zagreb (N?=?1087), completed an Anxiety Sensitivity Index and State-Trait Anxiety Inventory (Trait form) and, after a period of three years, were asked to self-assess criteria for panic disorder (according to the DSM-5).

Results: The predictive validity of AS for the onset of panic disorder symptoms, regardless of trait anxiety, was confirmed. Furthermore, the physical concerns dimension of AS was the only significant predictor of panic disorder symptoms. The optimal cutoff score of 25 on the ASI provides poor to moderate accuracy indices in detecting participants who will manifest panic disorder symptoms in the next three years.

Conclusion: This study contributes to our current understanding of AS as a prospective risk factor for panic disorder symptoms.     

Varieties of Three-Valued Heyting Algebras with a Quantifier

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q ₃ of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q ₃ and we construct the lattice of subvarieties (Q ₃ ) of the variety Q ₃ .     

Step-down approach to behavioural weight loss treatment: a pilot of a randomised clinical trial

Background: In a stepped-down approach, patients begin with a more intensive treatment and are stepped down to a less intensive treatment based on achieving treatment goals. This study compared a standard behavioural weight loss programme (BWLP) to a stepped-down approach to treatment.

Methods: Fifty-two overweight/obese adults (Age: M?=?47?years, SD?=?13.5; female?=?67%) participated in an 18-week BWLP. Half of them were randomly assigned to be stepped down from weekly group meetings based on completion of weight loss goals (3%) every 6?weeks, while the other half remained in their groups regardless of weight loss.

Results: There was a significant difference favouring the BWLP in the proportion of participants who met or exceeded their 3% weight loss goal during the first six weeks. While not statistically significant by the end of treatment, the BWLP participants lost nearly 3% more body weight than stepped-down participants (SC?=?4.9% vs. BWLP?=?7.8%; p?=?.10). Greater self-monitoring was associated with increased likelihood of stepped-care eligibility and higher percent weight loss at the end of treatment (p?<?.01).

Conclusion: There was little evidence to support the efficacy of the stepped-down approach for behavioural weight loss treatment employed in this investigation.     

Brazelton Neonatal Behavioral Assessment Scale: A psychometric study in a Portuguese sample

BackgroundThe Neonatal Behavioral Assessment Scale (NBAS, Brazelton &; Nugent, 1995) is an instrument conceived to observe the neonatal neurobehavior. Data analysis is usually performed by organizing items into groups. The most widely used data reduction for the NBAS was developed by Lester, Als, and Brazelton (1982).ObjectiveExamine the psychometric properties of the NBAS items in a sample of 213 Portuguese infants.MethodThe NBAS was performed in the first week of infant life (3 days ± 2) and in the seventh week of life (52 days ± 5).ResultsPrincipal component analyses yielded a solution of four components explaining 55.13% of total variance. Construct validity was supported by better neurobehavioral performance of 7-week-old infants compared with 1-week-old infants.ConclusionChanges in the NBAS structure for the Portuguese sample are suggested compared to Lester factors in order to reach better internal consistency of the scale.