A framework for the transfer of proofs,lemmas and strategies from classical to non classical logics

There exist valuable methods for theorem proving in non classical logics based on translation from these logics into first-order classical logic (abbreviated henceforth FOL). The key notion in these approaches istranslation from aSource Logic (henceforth abbreviated SL) to aTarget Logic (henceforth abbreviated TL). These methods are concerned with the problem offinding a proof in TL by translating a formula in SL, but they do not address the very important problem ofpresenting proofs in SL via a backward translation. We propose a framework for presenting proofs in SL based on a partial backward translation of proofs obtained in a familiar TL: Order-Sorted Predicate Logic. The proposed backward translation transfers some formulasF _TL belonging to the proof in TL into formulasF _SL , such that the formulasF _SL either (a) belong to a corresponding deduction in SL (in the best case) or, (b) are semantically related in some precise way, to formulas in the corresponding deduction in SL (in the worst case). The formulasF _TL andF _SL can obviously be considered aslemmas of their respective proofs. Therefore the transfer of lemmas of TL gives at least a skeleton of the corresponding proof in SL. Since the formulas of a proof keep trace of the strategy used to obtain the proof, clearly the framework can also help in solving another fundamental and difficult problem:the transfer of strategies from classical to non classical logics. We show how to apply the proposed framework, at least to S5, S4(p), K, T, K4. Two conjectures are stated and we propose sufficient (and in general satisfactory) conditions in order to obtain formulas in the proof in SL. Two particular cases of the conjectures are proved to be theorems. Three examples are treated in full detail. The main lines of future research are given.     

LES DIMENSIONS DE LA DETRESSE PSYCHOLOGIQUE: ANALYSE FACTORIELLE CONFIRMATOIRE DE TYPE HIERARCHIQUE*

The study of the hierarchical organization of psychological distress dimensions is plagued by numerous theoretical and methodological problems. The researcher must take into account the respective value of unidimensional and multidimensional conceptualizations and the complex debates between factor analysis experts. The main purpose of the present study is to demonstrate the construct validity of a hierarchical model of psychological distress. The sample consisted of 150 outpatients of the University of Montreal Psychology Clinic which completed the Psychiatric Symptoms Inventory. The results of first-order and second-order confirmatory factor analyses show the value of a hierarchical conceptualization of psychological distress. However, an examination of normalized residuals, total direct effects and modification indexes reveals the inadequacy of some items from the anxiety and cognitive problems subscales. The theoretical implications of these results are discussed.     

Asymmetrical contrast effects induced by luminance and color configurations

In the two experiments, the use of a psychophysical procedure of brightness/darkness cancellation shed light on interactions between spatial arrangement and figure-ground contrast in the perceptual filling in of achromatic and colored surfaces. Achromatic and chromatic Kanizsa squares with varying contrast, contrast polarity, and inducer spacing were used to test how these factors interact in the perceptual filling in of surface brightness or darkness. The results suggest that the neuronal processing of surfaces with apparent contrast, leading to figure-ground segregation (i.e., perceptual organization), is governed by mechanisms that integrate both luminance contrast and spatial information carried by the inducing stimuli, while discarding information on contrast polarity or color. The findings are discussed in relation to earlier observations on brightness assimilation and contrast. They support theories of nonantagonistic neural mechanisms suppressing local contrast or color signs in brightness-based figure-ground percepts. Such mechanisms might be necessary to cancel potentially conflicting polarities in geometrically complex visual stimuli so that perceptual filling in resulting in the most plausible representation of figure and ground can be achieved.     

Children's understanding of ambiguous idioms and conversational perspective-taking

The aim of this study was to test the hypothesis that conversational perspective-taking is a determinant of unfamiliar ambiguous idiom comprehension. We investigated two types of ambiguous idiom, decomposable and nondecomposable expressions, which differ in the degree to which the literal meanings of the individual words contribute to the overall idiomatic meaning. We designed an experiment to assess the relationship between the acquisition of figurative comprehension and conversational perspective-taking. Our sample of children aged 5-7 years performed three conversational perspective-taking tasks (language acts, shared/unshared information, and conversational maxims). They then listened to decomposable and nondecomposable idiomatic expressions presented in context before performing a multiple-choice task (figurative, literal, and contextual responses). Results indicated that decomposable idiom comprehension was predicted by conversational perspective-taking scores and language skills, whereas nondecomposable idiom comprehension was predicted solely by language skills. We discuss our findings with respect to verbal and pragmatic skills.     

Questioning the Specificity of ASRS-v1.1 to Accurately Detect ADHD in Substance Abusing Populations

Objective: To assess the specificity of the Adult ADHD Self-Report Scale (ASRS-v1.1) in detecting ADHD among individuals with substance use disorders (SUDs). Method: A chart review of 183 SUD patients was conducted. Patients were screened for ADHD with the ASRS-v1.1 and were later assessed by a psychiatrist specialized in ADHD. Results: Among SUD patients scoring positive results on the ASRS-v1.1 for the presence of ADHD, the ADHD diagnosis could only be confirmed in 26% of the sample by an expert psychiatrist. Conclusion: The ASRS-v1.1 reports low specificity in detecting ADHD among SUD populations.     

Anxiety Sensitivity and Negative Interpretation Biases: Their Shared and Unique Associations with Anxiety Symptoms

Anxiety sensitivity (AS) is a psychological risk factor for anxiety disorders. Negative interpretation biases are a maladaptive form of information-processing also associated with anxiety disorders. The present study explored whether AS and negative interpretation biases make independent contributions to variance in panic and generalized anxiety symptoms and whether particular interpretation bias domains (e.g., of ambiguous arousal sensations) have specific associations with panic and/or generalized anxiety symptoms. Eighty-nine female undergraduates (44 low AS; 45 high AS) completed measures of AS, interpretation biases, and panic and generalized anxiety symptoms. Findings showed that AS and negative interpretation biases both significantly added to the prediction of anxiety symptoms. Negative interpretations of ambiguous arousal sensations were uniquely associated with panic symptoms, while negative interpretations of ambiguous general and social events were uniquely associated with generalized anxiety symptoms. Findings support the conceptual validity of AS and negative interpretation biases and their unique and shared contributions to anxiety symptoms.     

French adaptation of the Attentional Control Scale: Confirmatory factor analyses and relationship with trait anxiety and efficiency of orienting,alerting, and executive control attentional networks

BackgroundThe Attentional Control Scale (ACS) is a self-report questionnaire that measures individual differences in attentional control.ObjectiveThis study compared four models of the French version of the ACS and examined its links to trait anxiety and three attentional networks (orienting, alerting, and executive control) measured with the Attention Network Test (ANT).ResultsConfirmatory analyses conducted with a sample of 284 university students supported a two-factor (focusing and shifting) model. For 59 participants who completed the ANT, we found a positive correlation between focusing and the executive control network, while shifting was negatively correlated with alerting and orienting. Trait anxiety was negatively correlated with focusing and the alerting and executive control networks.ConclusionResults are discussed with a view to improving the assessment of attentional control, a key executive dimension for emotion regulation and attentional disengagement in anxiety.     

Emotional expression and vocabulary learning in adults and children

A great deal of what we know about the world has not been learned via first-hand observation but thanks to others' testimony. A crucial issue is to know which kind of cues people use to evaluate information provided by others. In this context, recent studies in adults and children underline that informants' facial expressions could play an essential role. To test the importance of the other's emotions in vocabulary learning, we used two avatars expressing happiness, anger or neutral emotions when proposing different verbal labels for an unknown object. Experiment 1 revealed that adult participants were significantly more likely than chance to choose the label suggested by the avatar displaying a happy face over the label suggested by the avatar displaying an angry face. Experiment 2 extended these results by showing that both adults and children as young as 3 years old showed this effect. These data suggest that decision making concerning newly acquired information depends on informant's expressions of emotions, a finding that is consistent with the idea that behavioural intents have facial signatures that can be used to detect another's intention to cooperate.     

When the smile is a cue to familiarity

The question discussed in the two following experiments concerns the effect of facial expressions on face recognition. Famous and unknown faces with neutral or smiling expression were presented for different inspection durations (15 ms vs 1000 ms). Subjects had to categorise these faces as famous or unknown (Experiment 1), or estimate their degree of familiarity on a rating scale (Experiment 2). Results showed that the smile increased ratings of familiarity for unfamiliar faces (Experiments 1 and 2) and for famous faces (Experiment 2). These data are discussed in the framework of current face-recognition models and are interpreted in terms of social value of the smile. It is proposed that the smiling bias found here acts at the level of the decision process.