Algorithmic logic. Multiple-valued extensions

Extended algorithmic logic (EAL) as introduced in [18] is a modified version of extended ⁺-valued algorithmic logic. Only two-valued predicates and two-valued propositional variables occur in EAL. The role of the ⁺-valued logic is restricted to construct control systems (stacks) of pushdown algorithms whereas their actions are described by means of the two-valued logic. Thus EAL formalizes a programming theory with recursive procedures but without the instruction CASE.The aim of this paper is to discuss EAL and prove the completeness theorem. A complete formalization of EAL was announced in [20] but no proof of the completeness theorem was given.     

Justice in Transnational Governance

The small portion of philosophical work on global distributive justice that directly discusses particular agents, institutions or practices in global politics tends to focus on a narrow range of the existing set. The emphasis is chiefly on bilateral diplomacy or intergovernmental organisations, to the neglect of a variety of more recent forms of transnational governance, many of which incorporate non‐state actors, have more limited membership, involve informal and dynamic structures, employ cooperative and reflexive methods for ensuring compliance, and operate largely out of the public eye. This article considers how philosophers should conceive of distributive justice in relation to these neglected sites of transnational governance, using the International Organization for Standardization (ISO) as an illustration.     

Examining the psychometric properties of the burnout clinical subtype questionnaire (BCSQ-12) in secondary school teachers

Current Psychology - Based on Farber’s burnout proposal, the first aim of this study was to examine the psychometric properties of the short version of the Burnout Clinical Subtype...     

Coping strategies in obsessive-compulsive patients during Covid-19 lockdown

Background/ObjectiveThe main aim of this study was to compare coping strategies in obsessive-compulsive disorder (OCD) patients and a healthy control group during COVID-19 lockdown and to analyze the relationship with some variables which may influence results (depression, anxiety, comorbidity, subtype of obsession-compulsion). Method: There were 237 participants, 122 OCD and 115 healthy controls, aged 17-61 years old (M = 33.48, SD = 11.13). Results: Groups showed differences in the use of some adaptive strategies (positive reinterpretation, acceptance, humor) and maladaptive (denial, self-blame). Within obsessive-compulsive group, comorbidity affected the greater use of inappropriate strategies (denial, substance abuse and self-blame) while type of obsession-compulsion did not influence use. Anxiety and depression levels were related to the use of less adaptive strategies. Conclusions: These findings strengthen the need for training in the use of effective and adaptive coping strategies, making it necessary to improve clinical follow-up of these patients. It is relevant to be in contact with healthcare professionals, review medication and observe the anxiety and depression levels.     

Hubert's multi-rater kappa revisited

There is a frequent need to measure the degree of agreement among R observers who independently classify n subjects within K nominal or ordinal categories. The most popular methods are usually kappa-type measurements. When R = 2, Cohen's kappa coefficient (weighted or not) is well known. When defined in the ordinal case while assuming quadratic weights, Cohen's kappa has the advantage of coinciding with the intraclass and concordance correlation coefficients. When R > 2, there are more discrepancies because the definition of the kappa coefficient depends on how the phrase ‘an agreement has occurred’ is interpreted. In this paper, Hubert's interpretation, that ‘an agreement occurs if and only if all raters agree on the categorization of an object’, is used, which leads to Hubert's (nominal) and Schuster and Smith's (ordinal) kappa coefficients. Formulae for the large-sample variances for the estimators of all these coefficients are given, allowing the latter to illustrate the different ways of carrying out inference and, with the use of simulation, to select the optimal procedure. In addition, it is shown that Schuster and Smith's kappa coefficient coincides with the intraclass and concordance correlation coefficients if the first coefficient is also defined assuming quadratic weights.     

Age influences domestic dog cognitive performance independent of average breed lifespan

Animal Cognition - Across mammals, increased body size is positively associated with lifespan. However, within species, this relationship is inverted. This is well illustrated in dogs (Canis...     

Family Processes and Treatment Outcome in the MTA: Negative/Ineffective Parenting Practices in Relation to Multimodal Treatment

To elucidate processes underlying therapeutic change in a large-scale randomized clinical trial, we examined whether alterations in self-reported parenting practices were associated with the effects of behavioral, medication, or combination treatments on teacher-reported outcomes (disruptive behavior, social skills, internalizing symptoms) in children with attention-deficit hyperactivity disorder (ADHD). Participants were 579 children with Combined-type ADHD, aged 7–9.9 years, in the Multimodal Treatment Study of Children with ADHD (MTA). We uncovered 2 second-order factors of parenting practices, entitled Positive Involvement and Negative/Ineffective Discipline. Although Positive Involvement was not associated with amelioration of the school-based outcome measures, reductions in Negative/Ineffective Discipline mediated improvement in children's social skills at school. For families showing the greatest reductions in Negative/Ineffective Discipline, effects of combined medication plus behavioral treatment were pronounced in relation to regular community care. Furthermore, only in combination treatment (and not in behavioral treatment alone) was decreased Negative/Ineffective Discipline associated with reduction in children's disruptive behavior at school. Here, children in families receiving combination treatment who showed the greatest reductions in Negative/Ineffective Discipline had teacher-reported disruptive behavior that was essentially normalized. Overall, the success of combination treatment for important school-related outcomes appears related to reductions in negative and ineffective parenting practices at home; we discuss problems in interpreting the temporal sequencing of such process-outcome linkages and the means by which multimodal treatment may be mediated by psychosocial processes related to parenting.     

Competition between antecedent and between subsequent stimuli in causal judgments

In the analysis of stimulus competition in causal judgment, 4 variables have been frequently confounded with respect to the conditions necessary for stimuli to compete: causal status of the competing stimuli (causes vs. effects), temporal order of the competing stimuli (antecedent vs. subsequent) relative to the noncompeting stimulus, directionality of training (predictive vs. diagnostic), and directionality of testing (predictive vs. diagnostic). In a factorial study using an overshadowing preparation, the authors isolated the role of each of these variables and their interactions. The results indicate that competition may be obtained in all conditions. Although some of the results are compatible with various theories of learning, the observation of stimulus competition in all conditions calls for a less restrictive reformulation of current learning theories that allows similar processing of antecedent and subsequent events, as well as of causes and effects.     

Doctor's Expertise and Managing Discrepant Information from Other Sources in Genetic Counseling: A Conversation Analytic Perspective

The study examines a recurrent interactional pattern in genetic counseling. It describes clinical geneticists' responses in situations in which clients have presented information from other sources that is potentially discrepant with information given by the doctor. The data consists of 12 video-recorded sessions of genetic counseling in Finland, and the method is conversation analysis. There are two primary ways the doctors respond: either they accept the client's information as such, but show that it is not discrepant with the doctor's information, or they reject the client's information. In the latter case they mitigate the ‘wrongness’ of the client's information. The clinical geneticists seem to be working with a dilemma: they need to find a balance between ensuring correct understanding of the information and showing respect for the expertise of others. A particularly complex case is also analyzed and reflected on.