Toposes in Logic and Logic in Toposes

The purpose of this paper is to justify the claim that Topos theory and Logic (the latter interpreted in a wide enough sense to include Model theory and Set theory) may interact to the advantage of both fields. Once the necessity of utilizing toposes (other than the topos of Sets) becomes apparent, workers in Topos theory try to make this task as easy as possible by employing a variety of methods which, in the last instance, find their justification in metatheorems from Logic. Some concrete instances of this assertion will be given in the form of simple proofs that certain theorems of Algebra hold in any (Grothendieck) topos, in order to illustrate the various techniques that are used. In the other direction, Topos theory can also be a useful tool in Logic. Examples of this are independence proofs in (classical as well as intuitionistic) Set theory, as well as transfer methods in the presence of a sheaf representation theorem, the latter applied, in particular, to model theoretic properties of certain theories.     

Seven-month-olds detect ordinal numerical relationships within temporal sequences

Previous evidence has shown that 11-month-olds represent ordinal relations between purely numerical values, whereas younger infants require a confluence of numerical and non-numerical cues. In this study, we show that when multiple featural cues (i.e., color and shape) are provided, 7-month-olds detect reversals in the ordinal direction of numerical sequences relying solely on number when non-numerical quantitative cues are controlled. These results provide evidence for the influence of featural information and multiple cue integration on infants’ proneness to detect ordinal numerical information.     

Multisensory integration affects visuo-spatial working memory

In the present study, we investigate how spatial attention, driven by unisensory and multisensory cues, can bias the access of information into visuo-spatial working memory (VSWM). In a series of four experiments, we compared the effectiveness of spatially-nonpredictive visual, auditory, or audiovisual cues in capturing participants' spatial attention towards a location where to-be-remembered visual stimuli were or were not presented (cued/uncued trials, respectively). The results suggest that the effect of peripheral visual cues in biasing the access of information into VSWM depend on the size of the attentional focus, while auditory cues did not have direct effects in biasing VSWM. Finally, spatially congruent multisensory cues showed an enlarged attentional effect in VSWM as compared to unimodal visual cues, as a likely consequence of multisensory integration. This latter result sheds new light on the interplay between spatial attention and VSWM, pointing to the special role exerted by multisensory (audiovisual) cues.     

Decomposability of the Finitely Generated Free Hoop Residuation Algebra

In this paper we prove that, for n > 1, the n-generated free algebra in any locally finite subvariety of HoRA can be written in a unique nontrivial way as Ł₂ × A′, where A′ is a directly indecomposable algebra in . More precisely, we prove that the unique nontrivial pair of factor congruences of is given by the filters and , where the element is recursively defined from the term introduced by W. H. Cornish. As an additional result we obtain a characterization of minimal irreducible filters of in terms of its coatoms. Presented by Daniele Mundici     

How grammar can cope with limited short-term memory: simultaneity and seriality in sign languages

It is known that in American Sign Language (ASL) span is shorter than in English, but this discrepancy has never been systematically investigated using other pairs of signed and spoken languages. This finding is at odds with results showing that short-term memory (STM) for signs has an internal organization similar to STM for words. Moreover, some methodological questions remain open. Thus, we measured span of deaf and matched hearing participants for Italian Sign Language (LIS) and Italian, respectively, controlling for all the possible variables that might be responsible for the discrepancy: yet, a difference in span between deaf signers and hearing speakers was found. However, the advantage of hearing subjects was removed in a visuo-spatial STM task. We attribute the source of the lower span to the internal structure of signs: indeed, unlike English (or Italian) words, signs contain both simultaneous and sequential components. Nonetheless, sign languages are fully-fledged grammatical systems, probably because the overall architecture of the grammar of signed languages reduces the STM load. Our hypothesis is that the faculty of language is dependent on STM, being however flexible enough to develop even in a relatively hostile environment.     

The ontogenetic ritualization of bonobo gestures

Great apes communicate with gestures in flexible ways. Based on several lines of evidence, Tomasello and colleagues have posited that many of these gestures are learned via ontogenetic ritualization—a process of mutual anticipation in which particular social behaviors come to function as intentional communicative signals. Recently, Byrne and colleagues have argued that all great ape gestures are basically innate. In the current study, for the first time, we attempted to observe the process of ontogenetic ritualization as it unfolds over time. We focused on one communicative function between bonobo mothers and infants: initiation of “carries” for joint travel. We observed 1,173 carries in ten mother–infant dyads. These were initiated by nine different gesture types, with mothers and infants using many different gestures in ways that reflected their different roles in the carry interaction. There was also a fair amount of variability among the different dyads, including one idiosyncratic gesture used by one infant. This gestural variation could not be attributed to sampling effects alone. These findings suggest that ontogenetic ritualization plays an important role in the origin of at least some great ape gestures.     

Adolescence and the Changing Context of Optimal Experience in Time: Italy 1986–2000

This study focused on the daily activities and related quality of experience of two distinct groups of Italian high school students analyzed in 1986 and 2000. Altogether, 120 participants, aged between 15 and 18, were administered the experience sampling method, a procedure providing on-line repeated samplings of daily time budget and associated quality of experience. In particular, attention was paid to optimal experience, characterized by a balance between environmental challenges and personal skills, intrinsic motivation, involvement, and well-being. In spite of the time gap, no major differences in the daily activity distribution were detected. Adolescents in both groups spent most of their time studying at school and at home, interacting, watching TV, carrying out maintenance, and engaging in structured leisure activities. The use of new technologies (computers, internet, mobile phones) emerged in the data gathered in 2000. As concerns the quality of experience, each daily activity showed a specific experiential profile recurring in both groups. Studying at home and engaging in structured leisure activities were primarily associated with optimal experience, as was using new technologies in 2000. These results shed light on students' preferential engagement in specific domains and allowed us to explore the active role of adolescents in shaping their future. Findings also highlighted the importance of providing adolescents with meaningful activities in order to foster their personal growth, well-being, and social integration.     

The Contribution of Job Happiness and Job Meaning to the Well-Being of Workers from Thriving and Failing Companies

In a time of global economic crisis, workers’ well-being is of paramount concern for both organizations and society at large. Conceptualizations within positive psychology distinguish between hedonic and eudaimonic well-being components, and call for the need to include them in an integrated perspective. Within this framework, the present study aimed at investigating the impact of situational uncertainty on eudaimonic and hedonic well-being, and the spillover effects of work into individuals’ lives. Data were collected from 85 Italian employees at a thriving insurance company and at a failing one. Participants were administered Job Content Questionnaire, Eudaimonic and Hedonic Happiness Investigation, Satisfaction with Life Scale, and Psychological Wellbeing Scales. Data were analyzed through hierarchical regression analyses. Concerning well-being at work, employees at the failing company reported higher job insecurity and lower job happiness compared to employees at the thriving company, while job meaning scores did not differ between groups. Concerning general well-being, an unexpected positive association was found between positive relations and situational uncertainty. A spillover effect of job happiness and meaning on life satisfaction, environmental mastery, and autonomy was also detected. In particular, a moderating effect of job meaning was identified, showing that attributing high importance to one’s job had wide affective consequences, spilling over to global life evaluations. Findings bring forward practical suggestions for well-being promotion, in terms of shifting domain importance (Wu Journal of Happiness Studies 10:37–47, 2009), and investing in multiple life areas (Sirgy and Wu Journal of Happiness Studies 10:183–196, 2009) for the promotion of a balanced life.     

Intuitive Heuristics Linking Perfectionism, Control, and Beliefs Regarding Body Shape in Eating Disorders

A number of correlational studies have established a clear association between perfectionism, control and beliefs regarding body shape in eating disorders (EDs). The aim of this study is to test the effectiveness of the above- mentioned associations in exploring the presence of intuitive heuristics. Intuitive heuristics can be conceived as as mental shortcuts, cognitive processes that are highly susceptible to irrational biases. Forty one non clinical female controls and 27 in-patient females with an ED diagnosis participated in an experimental task that tested whether participants would show an intuitive rather than a logically based link between perfectionism in different domains (study, work, hygiene) and a thin body shape. In the healthy female participants the occurrence of proposed link was noted in the hygiene domain only, while ED participants showed this intuitive association in all the domains explored: study, work, and hygiene. The study confirms in clinical ED sample a wider employment of heuristics associating perfectionism and thinness that is based on purely intuitive irrational reasoning.