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.     

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.     

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.     

Constraining bridges between levels of analysis: A computational justification for locally Bayesian learning

Different levels of analysis provide different insights into behavior: computational-level analyses determine the problem an organism must solve and algorithmic-level analyses determine the mechanisms that drive behavior. However, many attempts to model behavior are pitched at a single level of analysis. Research into human and animal learning provides a prime example, with some researchers using computational-level models to understand the sensitivity organisms display to environmental statistics but other researchers using algorithmic-level models to understand organisms’ trial order effects, including effects of primacy and recency. Recently, attempts have been made to bridge these two levels of analysis. Locally Bayesian Learning (LBL) creates a bridge by taking a view inspired by evolutionary psychology: Our minds are composed of modules that are each individually Bayesian but communicate with restricted messages. A different inspiration comes from computer science and statistics: Our brains are implementing the algorithms developed for approximating complex probability distributions. We show that these different inspirations for how to bridge levels of analysis are not necessarily in conflict by developing a computational justification for LBL. We demonstrate that a scheme that maximizes computational fidelity while using a restricted factorized representation produces the trial order effects that motivated the development of LBL. This scheme uses the same modular motivation as LBL, passing messages about the attended cues between modules, but does not use the rapid shifts of attention considered key for the LBL approximation. This work illustrates a new way of tying together psychological and computational constraints.     

A truth that’s told with bad intent: An ERP study of deception

Human social cognition critically relies on the ability to deceive others. However, the cognitive and neural underpinnings of deception are still poorly understood. Why does lying place increased demands on cognitive control? The present study investigated whether cognitive control processes during deception are recruited due to the need to inhibit a tendency to state the truth, or reflect deceptive intent more generally. We engaged participants in a face-to-face interaction game and examined event-related brain potentials (ERPs) while participants lied and told the truth with or without deceptive intention. The same medial frontal negative deflection (N450) occurred when participants lied and when they told the truth with deceptive intent. This suggests that the main challenge of lying is not to inhibit a tendency to state the truth. Rather, the challenge is to handle the cognitive conflict resulting from the need to keep others’ mental states in mind while deceiving them.     

Effect of pre- and postcompetition emotional state on salivary cortisol in top-ranking wrestlers

The purpose was three-fold: (1) to investigate the effect of baseline, precompetition, and postcompetition stress on salivary cortisol levels in top-ranking Brazilian wrestlers (N = 17) participating in a national competition; (2) to estimate correlations among three stress measures (perceived stress, salivary cortisol, and physiological stress reaction); and (3) to compare cortisol concentrations between losers and winners. Salivary cortisol was collected at baseline, pre-, and postcompetition. Physiological stress reaction and perceived stress scores were measured just before warm-up for the competition. Analysis showed a significant main effect for testing time. Correlations among the stress measures were not significant. Analysis of covariance between the winners (n = 10) and the losers (n = 7) was also not significant. Salivary cortisol concentrations increased after the intense exercise of competition. The wrestlers did not perceive any physiological effects.