Informal versus formal mathematics

We discuss Kunen’s algorithmic implementation of a proof for the Paris–Harrington theorem, and the author’s and da Costa’s proposed “exotic” formulation for the P = NP hypothesis. Out of those two examples we ponder the relation between mathematics within an axiomatic framework, and intuitive or informal mathematics. The author is Visiting Researcher at IEA/USP, Professor of Communications, Emeritus, at the Federal University in Rio de Janeiro, and a full member of the Brazilian Academy of Philosophy.     

Procrastination: Different time orientations reflect different motives

Because procrastination concerns a person’s ability to meet deadlines, temporal dimension is clearly important to this personality construct. In the present study, the characteristic profile of arousal and avoidant motives of procrastinators were related to past, present, and future time conceptions. Participants (140 women, 135 men; mean age = 49.4, SD = 5.55) completed measures of arousal and avoidance procrastination, and time orientation. Results indicated that avoidant procrastination was associated negatively with present-fatalistic time orientation, and arousal procrastination was associated positively with present-hedonist and negatively with future time orientations. The variance accounted for by time orientations was modest, yet provides further evidence that there are distinct motives for chronic procrastination.     

Morningness in German and Spanish students: a comparative study

Humans show pronounced individual differences in circadian orientation. Transcultural comparisons are interesting since biological (or environmental) factors together with cultural ones may contribute to differences in morningness–eveningness. We compared Spanish and German undergraduates using the Composite Scale of Morningness (CSM) to assess circadian preferences. Confirmatory and multiple groups confirmatory factor analysis were used to assess factor structure and structural invariance across countries. The results showed that a three‐factor model of morningness best characterises the CSM structure of both samples. Partial factorial invariance (factor loadings) across countries was demonstrated for the factors ‘morningness’ and ‘morning alertness’. Scores of both factors were higher in German students. Potential cultural and biological explanations for the differences are discussed. Copyright © 2007 John Wiley & Sons, Ltd.     

Modulation of stress consequences by hippocampal monoaminergic, glutamatergic and nitrergic neurotransmitter systems

Several findings relate the hippocampal formation to the behavioural consequences of stress. It contains a high concentration of corticoid receptors and undergoes plastic modifications, including decreased neurogenesis and cellular remodelling, following stress exposure. Various major neurotransmitter systems in the hippocampus are involved in these effects. Serotonin (5-HT) seems to exert a protective role in the hippocampus and attenuates the behavioural consequences of stress by activating 5-HT1A receptors in this structure. These effects may mediate the therapeutic actions of several antidepressants. The role of noradrenaline is less clear and possibly depends on the specific hippocampal region (dorsal vs. ventral). The deleterious modifications induced in the hippocampus by stress might involve a decrease in neurotrophic factors such as brain derived neurotrophic factor (BDNF) following glutamate N-methyl-D-aspartate (NMDA) receptor activation. In addition to glutamate, nitric oxide (NO) could also be related to these effects. Systemic and intra-hippocampal administration of nitric oxide synthase (NOS) inhibitors attenuates stress-induced behavioural consequences. The challenge for the future will be to integrate results related to these different neurotransmitter systems in a unifying theory about the role of the hippocampus in mood regulation, depressive disorder and antidepressant effects.     

Social comparison and perceived breach of psychological contract: their effects on burnout in a multigroup analysis

This study focuses on the mediator role of social comparison in the relationship between perceived breach of psychological contract and burnout. A previous model showing the hypothesized effects of perceived breach on burnout, both direct and mediated, is proposed. The final model reached an optimal fit to the data and was confirmed through multigroup analysis using a sample of Spanish teachers (N = 401) belonging to preprimary, primary, and secondary schools. Multigroup analyses showed that the model fit all groups adequately.     

Disorders in planning and strategy application in frontal lobe lesion patients

The aim of this study was to investigate deficits in planning ability using an adapted version of the Modified Six Elements Test, from the Behavioral Assessment of the Dysexecutive Syndrome—BADS [Wilson, B. A., Alderman, N., Burgess, P. W., Emslie, H., & Evans, J. J. (1996). Behavioural Assessment of the Dysexecutive Syndrome (BADS). Bury St Edmunds, U.K.: Thames Valley Test Company. Trans. Ricardo O Souza, Sergio L Schmidt. Rio de Janeiro: Cognição]. Subjects were left- and right-frontal lobe lesion patients. Other measures of executive dysfunctions used were verbal fluency, the Wisconsin Card Sorting Test, and the Trail Making Test. These other instruments were sensitive to detect executive deficits in the left frontal lobe lesion group, except the Wisconsin Card Sorting Test, which showed impairment only for the frontal lobe lesion group as a whole. The Modified Six Elements Test detected planning disorders in left frontal lobe lesion patients. The deficit of these patients was due to a greater likelihood to break the rules of the task, that is, in plan-following processes, rather than in planning the strategic approach to solve it.     

Does the type of judgement required modulate cue competition?

According to the comparator process hypothesis (Matute, Arcediano, & Miller, 1996), cue competition in the learning of between-events relationships arises if the judgement required involves a comparison between the probability of the outcome given the target cue and the probability of the outcome given the competing cue. Alternatively, other associative accounts (the Rescorla-Wagner model: Rescorla &Wagner, 1972) conceive cue competition as a learning deficit affecting the target cue-outcome association. Consequently, the comparator process hypothesis predicts that cue competition occurs in inference judgements but not in contiguity ones, for only the first type of judgement implicitly involves such a comparison. On the other hand, the Rescorla-Wagner model predicts cue competition in both inference and contiguity judgements, because it establishes no relevant role for the type of judgement in producing cue competition. In Experiments 1 and 2 we manipulated the relative validity of cues and the type of question (inference vs. contiguity) in a predictive learning task. In both experiments we found a cue competition effect, but no interaction between the relative validity of cues and the type of question, suggesting that the Rescorla-Wagner theory suffices to explain cue competition.