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.     

Who Ministers to Whom: Matthew 25:31–46 and Prison Ministry

This essay sees Matthew 25:31–46 as Jesus’ offer of both gift and challenge: disciples will simultaneously minister to and be ministered to by Jesus in jail and prison. Following a consideration of two different dominant ways of interpreting the passage in the literature—what are sometimes called the missionary and the social justice interpretations—and Luther's reading of the passage as falling under the Fifth Commandment, the essay invites the reader to engage the transformative consequences of  “seeing” Jesus imprisoned in the U.S. criminal “justice” system.