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.     

Phonological transformations in Spanish-speaking aphasics

Thirty-seven aphasic patients whose native language is Spanish were divided into four groups: (1) Broca's, (2) Wernicke's, (3) Conduction, and (4) Anomia. Phonological errors produced on repetition and object-naming tasks were analyzed in terms of type of transformation and degree of similarity between target and errors in terms of shared distinctive features. Segmental transformations were of the following types: (1) pure substitution, (2) pure addition, (3) deletion, (4) reduplicative addition (doublet creation)—anticipatory (right to left) or perseverative (left to right), (5) reduplicative substitution (doublet creation)—anticipatory or perseverative, and (6) mutual exchanges. Pure substitutions were the most prevalent, exchanges, the least. Some error types were found to differentiate significantly between aphasic populations. We suggest that different mechanisms may underlie the same error type for different aphasic populations.     

Major depression can be prevented

The 2009 Institute of Medicine report on prevention of mental, emotional, and behavioral disorders (National Research Council & Institute of Medicine, 2009b) presented evidence that major depression can be prevented. In this article, we highlight the implications of the report for public policy and research. Randomized controlled trials have shown that the incidence of major depressive episodes can be significantly reduced. Meta-analyses suggest that 22% to 38% of major depressive episodes could be prevented with currently available methods. We argue that if major depressive episodes can be prevented, the health care system should provide routine access to evidence-based depression prevention interventions, just as it provides inoculations for other common and debilitating health problems. At the same time, researchers should pursue the major directions advocated by the Institute of Medicine report to increase the enduring effectiveness of future prevention interventions. These directions include taking a developmental perspective, learning to identify groups at high risk, and testing evidence-based interventions that are likely to have the widest reach. Scientific evidence has shown that clinical depression can be averted. Our societies must take action to reduce clinical depression to the lowest possible level. This article is one of three in a special section (see also Biglan, Flay, Embry, & Sandler, 2012; Yoshikawa, Aber, & Beardslee, 2012) representing an elaboration on a theme for prevention science developed by the 2009 report of the National Research Council and Institute of Medicine.     

Emotions in context: Anger causes ethnic bias but not gender bias in men but not women

Emotions influence information processing because they are assumed to carry valuable information. We predict that induced anger will increase ethnic but not gender intergroup bias because anger is related to conflicts for resources, and ethnic groups typically compete for resources, whereas gender groups typically engage in relations of positive interdependence. Furthermore, we also predict that this increased ethnic intergroup bias should only be observed among men because men show more group‐based reactions to intergroup conflict than women do. Two studies, with 65 and 120 participants, respectively, indeed show that anger induction increases ethnic but not gender intergroup bias and only for men. Intergroup bias was measured with an implicit measure. In Study 2, we additionally predict (and find) that fear induction does not change ethnic or gender intergroup bias because intergroup bias is a psychological preparation for collective action and fear is not associated with taking action against out‐groups. We conclude that the effect of anger depends on its specific informational potential in a particular intergroup context. These results highlight that gender groups differ on a crucial point from ethnic groups and call for more attention to the effect of people's gender in intergroup relations research. Copyright © 2012 John Wiley & Sons, Ltd.     

Lactation deficit in OFA hr/hr rats may be caused by differential sensitivity to stress compared with Wistar and Sprague Dawley rats

OFA hr/hr (OFA) rats present a major lactation deficit that impairs offspring survival. To explore whether abnormal stress responsiveness causes this deficit, we compared their hormonal (prolactin, progesterone, and corticosterone) responses to stress (room change and 2-min ether exposure) with those of Wistar and Sprague Dawley (SD) rats. We tested responses during the estrous cycle, pregnancy, lactation, after ovariectomy, and ovarian steroid hormone priming, and responses to suckling. We evaluated hypothalamic expression of receptors for prolactin (PRLRlong) and the isoforms of receptors for progesterone (PRA and B) and estrogen (ERα and β) in late pregnancy. We tested whether administration of an anxiolytic (diazepam) improved lactation. Ether exposure increased circulating levels of the three hormones in the three strains of rats, cycling and ovariectomized, but was less effective in pregnancy and lactation. Elevated estrogen level (estrus and estradiol-treated ovariectomized rats) potentiated the prolactin response more in SD and OFA rats than in Wistar rats. Elevated progesterone level (late pregnancy, lactation, progesterone-treated ovariectomized rats) inhibited the prolactin response less in OFA than in SD or Wistar rats. Ether exposure inhibited the prolactin and oxytocin responses to suckling only in OFA rats. Diazepam treatment increased pup survival rate and the prolactin response to suckling. Hypothalamic total PR mRNA content, assayed by RT-PCR, was higher in pregnant OFA rats compared with SD and Wistar rats, but the PRB/PRA protein ratio determined by Western blot was lowest in Wistar rats, intermediate in OFA rats, and highest in SD rats. The heightened sensitivity to stress of lactating OFA rats may contribute to their lactational deficit and be caused by a combination of hypoprolactinemia and reduced inhibitory capacity of progesterone.     

A New Look at Transgenerational Trauma Transmission: Second‐Generation Latino Immigrant Youth

Transgenerational trauma, which was first documented in the 1960s to describe trauma symptoms experienced by descendants of holocaust survivors, has been linked to psychological and physiological transmission factors. Although traumatization still occurs among contemporary immigrant groups, particularly Latino immigrants, little attention has been paid to the experiences of these individuals. The authors present the relevant cultural considerations and conditions that support the need for proactive assessment of transgenerational trauma in U.S.‐born Latino youth. El trauma transgeneracional, que fue documentado por primera vez en los años 60 para describir los síntomas de trauma experimentados por descendientes de los supervivientes del holocausto, ha sido relacionado con factores de transmisión psicológicos y fisiológicos. Aunque la traumatización todavía ocurre entre grupos de inmigrantes en la actualidad, particularmente en inmigrantes latinos, se ha prestado escasa atención a las experiencias de estos individuos. Los autores presentan las consideraciones y condiciones culturales relevantes que apoyan la necesidad de realizar una evaluación proactiva del trauma transgeneracional en la población de jóvenes latinos nacidos en los Estados Unidos.     

Can representational trajectory reveal the nature of an internal model of gravity?

The memory for the vanishing location of a horizontally moving target is usually displaced forward in the direction of motion (representational momentum) and downward in the direction of gravity (representational gravity). Moreover, this downward displacement has been shown to increase with time (representational trajectory). However, the degree to which different kinematic events change the temporal profile of these displacements remains to be determined. The present article attempts to fill this gap. In the first experiment, we replicate the finding that representational momentum for downward-moving targets is bigger than for upward motions, showing, moreover, that it increases rapidly during the first 300 ms, stabilizing afterward. This temporal profile, but not the increased error for descending targets, is shown to be disrupted when eye movements are not allowed. In the second experiment, we show that the downward drift with time emerges even for static targets. Finally, in the third experiment, we report an increased error for upward-moving targets, as compared with downward movements, when the display is compatible with a downward ego-motion by including vection cues. Thus, the errors in the direction of gravity are compatible with the perceived event and do not merely reflect a retinotopic bias. Overall, these results provide further evidence for an internal model of gravity in the visual representational system.     

Academic Misconduct in Portugal: Results from a Large Scale Survey to University Economics/Business Students

The phenomenon of cheating in higher education is of overwhelming importance in that the students engaging in these acts are unlikely to have the skills necessary for their future professional life. Despite its relevance, the empirical evaluation of cheating in universities has been almost exclusively focused on the US context. Little is known about cheating at the European level, let alone in Portugal. Even less is explored at the regional level. In this paper we present evidence on the perception of cheating by Portuguese undergraduate students of economics/business degrees. We undertake a large-scale survey, involving 2675 students from all Portuguese mainland public universities (10). We found that copying-favourable environments are associated with a higher propensity to cheat. Moreover, in universities where ‘codes of honour’ exist, this propensity tends to be lower. Finally, the propensity to copy seems to be highly influenced by the cultural systems and socially-related factors of different regions.     

A new era for Estudios de Psicología / Una nueva era de Estudios de Psicología

Abstract

The journal Estudios de Psicología enters a new era, in which all issues will be dedicated to monographic themes. These themes may be proposed by either the journal Editor or authors themselves, who may submit a positioning article on a topic in the frontiers of psychology (as defined in a previous Editor’s comment, here translated into English and reproduced in its entirety) that will be sent to peer review. If the topic and the article are found to be of interest and relevance, its authors will become the Invited Editors of the monographic issue, and a call for papers will invite authors to send their articles on the chosen topic. The reasons behind this new method, as well as its implications, are presented and discussed.