Role of the Disease in the Psychological Impact of Pre-Symptomatic Testing for SCA2 and FAP ATTRV30M: Experience with the Disease, Kinship and Gender of the Transmitting Parent

To identify possible factors affecting the psychological impact of pre-symptomatic testing for spinocerebellar ataxia type 2 (SCA2) and familial amyloid polyneuropathy (FAP ATTRV30M), we studied (1) the effect of previous experience with the disease in the family, (2) kinship with the closest affected relative and (3) gender of affected parent, when adapting to test results; as well as (4) differences in the course of psychological wellbeing in 63 subjects ( 28 at-risk for FAP ATTRV30M, and 35 at risk for SCA2), who pursued predictive testing for these diseases, in Cuba and in Portugal. Our research shows that individuals with little or no experience with the disease in their family exhibited more anxiety; at-risk subjects for SCA2 or FAP ATTRV30M who had a first degree relative with the disease showed lower levels of anxiety and depression during pre-symptomatic testing. Also those with an affected mother had lower levels of depression, either immediately, or one year after receipt of test results. Adaptation to pre-symptomatic testing results differed for subjects at-risk for the two different conditions. Unlike the FAP ATTRV30M families, carriers for SCA2 reported pathological levels of depression immediately after-testing (3 weeks), although those levels had returned to normal levels at 6 months. Subjects at-risk for FAP ATTRV30M tended to have less anxiety than those tested for SCA2, at the one-year follow-up. Overall, depression levels improved over time, while anxiety remained more constant. A longer awareness of the disease in the family, closer kinship, and a transmitting mother all lessened the impact of pre-symptomatic testing, as expressed by the post-test levels of anxiety and depression.     

Pastoral care and AIDS: Assessing the stress and satisfaction from caring for persons with AIDS

Members from religious communities in New York City (17 men, 8 women) who volunteer pastoral care to persons with AIDS completed and returned through the mail the (AIDS) Caregiver Scale and the Attitudes toward AIDS Scale. Results indicated that satisfaction from providing care was related to pastoral training, an understanding of the spiritual nature of death, and a positive attitude toward persons with AIDS. Self-reported stress from providing care was inversely related to pastoral training to deal with death. The pastoral volunteers also reported greater satisfaction and lower stress from caregiving than volunteer buddies from upstate New York.     

Cut-Free Tableau Calculi for some Intuitionistic Modal Logics

In this paper we provide cut-free tableau calculi for the intuitionistic modal logics IK, ID, IT, i.e. the intuitionistic analogues of the classical modal systems K, D and T. Further, we analyse the necessity of duplicating formulas to which rules are applied. In order to develop these calculi we extend to the modal case some ideas presented by Miglioli, Moscato and Ornaghi for intuitionistic logic. Specifically, we enlarge the language with the new signs Fc and CR near to the usual signs T and F. In this work we establish the soundness and completeness theorems for these calculi with respect to the Kripke semantics proposed by Fischer Servi.     

Key pecking as a function of response-shock and shock-shock intervals in unsignalled avoidance

Five pigeons were exposed to an unsignalled avoidance procedure where key pecks were maintained through shock postponement. Functions obtained showed an inverse relationship between rate of responding and length of the response-shock interval, while changes in the shock-shock interval had no systematic effect on response rates. The rate of shocks delivered generally decreased with increases in length of both response-shock and shock-shock intervals. Results show that key pecking in pigeons, maintained through an unsignalled avoidance procedure, was affected by changes in response-shock and shock-shock intervals in the same manner as other responses in pigeons and in rats.     

Spiritist Hospital Chaplaincy in Brazil: 5 Years of Documented Experience

Spiritist Hospital Chaplaincy in Brazil has been growing significantly in recent years, with the implementation of new services through the work of Spiritist Medical Associations (SMAs) in different regions of the country. This article describes the importance of historical interconnections from the advent of spiritism in the world and its introduction in Brazil to the emergence of Spiritist Hospital Chaplaincy in our country and presents the documented experience over 5 years of spiritist chaplain care, in the period from 2012 to 2016, guided by the SMA of Piracicaba at the Unimed Hospital of Piracicaba (São Paulo). We documented 41,914 visits to 13,983 inpatients and an analysis of these records allowed us to reflect on the importance of this service and confirm its expansion and acceptance by different contemporary religious beliefs.     

Some Notes on Boolos’ Semantics: Genesis,Ontological Quests and Model-Theoretic Equivalence to Standard Semantics

The main aim of this work is to evaluate whether Boolos’ semantics for second-order languages is model-theoretically equivalent to standard model-theoretic semantics. Such an equivalence result is, actually, directly proved in the “Appendix”. I argue that Boolos’ intent in developing such a semantics is not to avoid set-theoretic notions in favor of pluralities. It is, rather, to prevent that predicates, in the sense of functions, refer to classes of classes. Boolos’ formal semantics differs from a semantics of pluralities for Boolos’ plural reading of second-order quantifiers, for the notion of plurality is much more general, not only of that set, but also of class. In fact, by showing that a plurality is equivalent to sub-sets of a power set, the notion of plurality comes to suffer a loss of generality. Despite of this equivalence result, I maintain that Boolos’ formal semantics does not committ (directly) second-order languages (theories) to second-order entities (and to set theory), contrary to standard semantics. Further, such an equivalence result provides a rationale for many criticisms to Boolos’ formal semantics, in particular those by Resnik and Parsons against its alleged ontological innocence and on its Platonistic presupposition. The key set-theoretic notion involved in the equivalence proof is that of many-valued function. But, first, I will provide a clarification of the philosophical context and theoretical grounds of the genesis of Boolos’ formal semantics.     

TMS over the superior temporal sulcus affects expressivity evaluation of portraits

When viewing a portrait, we are often captured by its expressivity, even if the emotion depicted is not immediately identifiable. If the neural mechanisms underlying emotion processing of real faces have been largely clarified, we still know little about the neural basis of evaluation of (emotional) expressivity in portraits. In this study, we aimed at assessing—by means of transcranial magnetic stimulation (TMS)—whether the right superior temporal sulcus (STS) and the right somatosensory cortex (SC), that are important in discriminating facial emotion expressions, are also causally involved in the evaluation of expressivity of portraits. We found that interfering via TMS with activity in (the face region of) right STS significantly reduced the extent to which portraits (but not other paintings depicting human figures with faces only in the background) were perceived as expressive, without, though, affecting their liking. In turn, interfering with activity of the right SC had no impact on evaluating either expressivity or liking of either paintings’ category. Our findings suggest that evaluation of emotional cues in artworks recruit (at least partially) the same neural mechanisms involved in processing genuine biological others. Moreover, they shed light on the neural basis of liking decisions in art by art-naïve people, supporting the view that aesthetic appreciation relies on a multitude of factors beyond emotional evaluation.     

A Proof-theoretical Analysis of Semiconstructive Intermediate Theories

In the 80's Pierangelo Miglioli, starting from motivations in the framework of Abstract Data Types and Program Synthesis, introduced semiconstructive theories, a family of large subsystems of classical theories that guarantee the computability of functions and predicates represented by suitable formulas. In general, the above computability results are guaranteed by algorithms based on a recursive enumeration of the theorems of the whole system. In this paper we present a family of semiconstructive systems, we call uniformly semiconstructive, that provide computational procedures only involving formulas with bounded complexity. We present several examples of uniformly semiconstructive systems containing Harrop theories, induction principles and some well-known predicate intermediate principles. Among these, we give an account of semiconstructive and uniformly semiconstructive systems which lie between Intuitionistic and Classical Arithmetic and we discuss their constructive incompatibility.