Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems

Fibring is a meta-logical constructor that applied to two logicsproduces a new logic whose formulas allow the mixing of symbols.Homogeneous fibring assumes that the original logics are presentedin the same way (e.g via Hilbert calculi). Heterogeneous fibring,allowing the original logics to have different presentations(e.g. one presented by a Hilbert calculus and the other by asequent calculus), has been an open problem. Herein, consequencesystems are shown to be a good solution for heterogeneous fibringwhen one of the logics is presented in a semantic way and theother by a calculus and also a solution for the heterogeneousfibring of calculi. The new notion of abstract proof systemis shown to provide a better solution to heterogeneous fibringof calculi namely because derivations in the fibring keep theconstructive nature of derivations in the original logics. Preservationof compactness and semi-decidability is investigated.     

Concreteness effects in different tasks: implications for models of short-term memory

This study investigates concreteness effects in tasks requiring short-term retention. Concreteness effects were assessed in serial recall, matching span, order reconstruction, and free recall. Each task was carried out both in a control condition and under articulatory suppression. Our results show no dissociation between tasks that do and do not require spoken output. This argues against the redintegration hypothesis according to which lexical-semantic effects in short-term memory arise only at the point of production. In contrast, concreteness effects were modulated by task demands that stressed retention of item versus order information. Concreteness effects were stronger in free recall than in serial recall. Suppression, which weakens phonological representations, enhanced the concreteness effect with item scoring. In a matching task, positive effects of concreteness occurred with open sets but not with closed sets of words. Finally, concreteness effects reversed when the task asked only for recall of word positions (as in the matching task), when phonological representations were weak (because of suppression), and when lexical semantic representations overactivated (because of closed sets). We interpret these results as consistent with a model where phonological representations are crucial for the retention of order, while lexical-semantic representations support maintenance of item identity in both input and output buffers.     

Does Time Fly 20 m above the Ground? Exploring the Role of Affective Response on Time Perception in a High‐risk Sport

A field study (n = 61) was performed in a Via Ferrata to explore how affective response influences time perception during an arousing activity in a real‐life setting (passing through a 69‐m‐long, 20‐m‐high, two‐rope bridge). Two questionnaires were administered (i) at the end point of the bridge (high‐arousing condition) and (ii) close to the end of the Via Ferrata (low‐arousing condition). Participants assessed their affect (arousal, valence, and dominance) and provided retrospective (duration estimation and passage of time judgments) and prospective (to produce a subjective minute using a stopwatch) temporal judgments. The results showed that the actual performance mediated the relationship between affect and retrospective time perception measures, with the exception of dominance, which directly predicted passage of time judgments. Regarding prospective measures, an increase in arousal was parallel to shorter temporal productions. The results are discussed in terms of the emotional factors underlying time perception in ecological contexts.Copyright © 2017 John Wiley & Sons, Ltd.     

Did the popsicle melt? Preschoolers’ performance in an episodic-like memory task

Episodic memory has been tested in non-human animals using depletion paradigms that assess recollection for the “what”, “where” and “when” (i.e., how long ago). This paradigm has not been used with human children, yet doing so would provide another means to explore their episodic memory development. Using a depletion paradigm, preschool-aged children were presented in two trials with a preferred food that was only edible after a short interval and a less-preferred food that was edible after the short and long intervals. Younger (mean?=?40 months) and older (mean?=?65 months) children tended to choose their preferred food after the short intervals, but did not switch to selecting their less-preferred food after the long intervals. Importantly, their choices did not differ with age. Although older children better remembered “what”, “where”, and “what is where” than did younger children, neither age group successfully estimated “how long ago” an event occurred. Finally, both age groups spontaneously recalled information about Trial 1. We also analysed the relation between the different measures used in the study but no clear patterns emerged. Results are discussed with respect to the cognitive mechanisms necessary to succeed in depletion paradigms and the measurement of episodic memory more broadly.     

Assessing Attachment to Parents and Peers in Middle Childhood: Psychometric Studies of the Portuguese Version of the People in My Life Questionnaire

The People in My Life questionnaire (PIML) is one of the few available self-report measures for assessing children’s representations of the relationship with attachment figures (parents and peers) in middle childhood. The current study presents validation studies of the PIML in a sample of Portuguese children aged between 8 and 12 years (N?=?314) and adolescents aged between 13 and 18 years (N?=?281). The original factor structure, composed of a second-order factor of attachment and three first-order factors (Trust, Communication, and Alienation), was confirmed for both scales (Parents Attachment and Peers Attachment) in the sample of children and replicated in the sample of adolescents using confirmatory factor analyses. The Portuguese version of the PIML showed adequate internal consistency and correlated as expected with measures of intrapersonal and interpersonal functioning (internalizing and externalizing problems, prosocial behavior, quality of life, self-compassion, and emotion regulation strategies). The PIML proved to be a psychometrically robust measure of children’s representations of their relationships with parents and peers, representing an important advance in the measurement of attachment in middle childhood.     

Letter names and phonological awareness help children to learn letter-sound relations

Two experimental training studies with Portuguese-speaking preschoolers in Brazil were conducted to investigate whether children benefit from letter name knowledge and phonological awareness in learning letter-sound relations. In Experiment 1, two groups of children were compared. The experimental group was taught the names of letters whose sounds occur either at the beginning (e.g., the letter /be/) or in the middle (e.g., the letter /‘eli/) of the letter name. The control group was taught the shapes of the letters but not their names. Then both groups were taught the sounds of the letters. Results showed an advantage for the experimental group, but only for beginning-sound letters. Experiment 2 investigated whether training in phonological awareness could boost the learning of letter sounds, particularly middle-sound letters. In addition to learning the names of beginning- and middle-sound letters, children in the experimental group were taught to categorize words according to rhyme and alliteration, whereas controls were taught to categorize the same words semantically. All children were then taught the sounds of the letters. Results showed that children who were given phonological awareness training found it easier to learn letter sounds than controls. This was true for both types of letters, but especially for middle-sound letters.     

Ecological Contexts in Adolescent Pregnancy: The Role of Individual,Sociodemographic, Familial and Relational Variables in Understanding Risk of Occurrence and Adjustment Patterns

Adolescent pregnancy appears today as an intricate tapestry where different dimensions interact. In our study we examined the associations between individual, sociodemographic, familial, and relational variables and their impact on the occurrence of pregnancy and adolescents’ adjustment to it. Participants were Portuguese pregnant and non-pregnant adolescents (N = 833). Ecological contexts were characterized, and individual and relational adjustment (depressive symptoms and quality of life; perceived quality of relationship with significant others—parents, romantic partner and friends) were evaluated. Differences between the ecologies of adolescents in both groups were identified. Familial and relational variables were significantly associated with both the risk of pregnancy and more difficulties in adjustment. Implications for preventive intervention are discussed.     

Recovery of memory from infantile amnesia is developmentally constrained

Episodic memories formed during infancy are rapidly forgotten, a phenomenon associated with infantile amnesia, the inability of adults to recall early-life memories. In both rats and mice, infantile memories, although not expressed, are actually stored long term in a latent form. These latent memories can be reinstated later in life by certain behavioral reminders or by artificial reactivations of neuronal ensembles activated at training. Whether the recovery of infantile memories is limited by developmental age, maternal presence, or contingency of stimuli presentation remains to be determined. Here, we show that the return of inhibitory avoidance memory in rats following a behavioral reactivation consisting of an exposure to the context (conditioned stimuli [CS]) and footshock (unconditioned stimuli [US]) given in a temporally unpaired fashion, is evident immediately after US and is limited by the developmental age at which the reactivations are presented; however, it is not influenced by maternal presence or the time interval between training and reactivation. We conclude that one limiting factor for infantile memory reinstatement is developmental age, suggesting that a brain maturation process is necessary to allow the recovery of a “lost” infantile memory.

Hippocampus-dependent episodic memories formed early in life are rapidly forgotten. This process of forgetting is evolutionarily conserved and is associated with infantile amnesia, the inability of adults to recall early-life memories (Campbell and Spear 1972; Rovee-Collier 1999; Hayne 2004; Josselyn and Frankland 2012; Callaghan et al. 2014; Madsen and Kim 2016; Alberini and Travaglia 2017).Although they are rapidly forgotten, early-life experiences influence brain functions throughout life (Jacobs and Nadel 1985; Meaney et al. 1988; Sroufe et al. 1990; Brunson et al. 2005; Pryce et al. 2005; Mineka and Zinbarg 2006; Bale et al. 2010; Poulos et al. 2014; Perry and Sullivan 2014) and produce long-lasting biological changes in the brain. For example, aversive early-life experiences regulate the expression of hippocampal glucocorticoid receptor and hypothalamic–pituitary–adrenal (HPA) functions in a persistent fashion (Champagne and Curley 2009). Moreover, threatening experiences in early life can predispose individuals to psychopathologies such as post-traumatic stress disorder (PTSD) and mood and anxiety disorders (Heim and Nemeroff 2001). Consistent with this long-lasting influence on behavior, studies in rodent models have shown that, in contrast to what was previously believed, memories formed in infancy (at postnatal days 16–18 [PN16–PN18]) although not expressed, are not lost. Rather, they are stored over the longer term in a latent form and can reemerge at later times, up to adulthood, following behavioral reactivations or artificial stimulation of the neuronal ensembles activated at learning (Travaglia et al. 2016; Guskjolen et al. 2018; Bessières et al. 2020).In our previous studies based on rat inhibitory avoidance (IA), a paradigm in which the animal learns to avoid a context previously paired with a footshock, we confirmed that an infantile episodic learning event given at PN17 resulted in the typical rapid forgetting. We then found that, however, this memory was stored long term in a latent form, as demonstrated by the observation that it could reemerge following a behavioral reactivation consisting of exposure to the training context (conditioned stimulus [CS]) and a later time footshock of the same intensity that was used during training (unconditioned stimulus [US]) but now given in a distinct context. Reexperiencing either the context or the footshock alone failed to reinstate the infantile memory (Travaglia et al. 2016), suggesting that the return of infantile memory is limited by certain boundaries.Several questions about the conditions for the recovery of latent, infantile episodic memories remain to be addressed. First, is infantile memory reinstatement following the unpaired US presentation temporally regulated? Second, is there an age limit for memory reinstatement? Third, given that other types of learning, such as non-hippocampus-dependent cued conditioning, are regulated by the maternal presence during infancy (Moriceau and Sullivan 2006), is infantile episodic memory reinstatement limited or regulated by the presence of the mother? In this study, we set out to address these questions using IA in infant rats.     

“God is in control”: middle-class Pentecostalism and international student migration

In this article I explore the role of Pentecostalism in the lives of middle-class Brazilian students-turned-migrants in Australia. Brazilian students lead precarious lives in Australia. They are transitioning into adulthood, living away from the homeland and without their families for the first time and they experience downward mobility. In addition, they are at the mercy of constant changes in Australian migration policy. Drawing on three years of multi-sited fieldwork in Australia and Brazil in three Pentecostal churches (the Australian megachurches Hillsong and C3 and a Brazilian church), I argue that Pentecostalism supports these students in their migration pathway. This is particularly the case because these are Seeker churches. By focusing on youth culture, entertainment, and informality and by addressing real-life situations, these churches cater to middle-class sensibilities. I also contend that their religious beliefs and practices are interwoven with the students’ narratives of migration to Australia. Thus the students pray for visas, jobs, and sponsorships for permanent residency and they see every obstacle and achievement as God’s work in their lives. For them, God determines whether they can stay or must return home. Importantly, citizenship in God’s kingdom gives them a more significant sense of belonging than that of the Australian state.     

The centrality of the female body in Brazilian culture: Evangelical and Muslim responses

This article aims to analyse how both Evangelical and Islamic religions deal with a central aspect of the construction of the Brazilian national identity: the body. The Brazilian religious field is exposed to this cultural value and reacts to it in different ways. While Islam preaches female modesty, involving the ‘concealment’ of the body and its forms, Evangelicals reinforce part of the Brazilian culture of appreciation and care for physical attributes, albeit using the rhetoric of doing so with moderation and modesty. The data presented here were collected through interviews with religious leaders and through participant observation in the Baptist Church of Lagoinha, in Belo Horizonte, and the Islamic Youth League, in São Paulo, Brazil.