Lambda Calculus and Intuitionistic Linear Logic

The introduction of Linear Logic extends the Curry-Howard Isomorphism to intensional aspects of the typed functional programming. In particular, every formula of Linear Logic tells whether the term it is a type for, can be either erased/duplicated or not, during a computation. So, Linear Logic can be seen as a model of a computational environment with an explicit control about the management of resources.This paper introduces a typed functional language ! and a categorical model for it.The terms of ! encode a version of natural deduction for Intuitionistic Linear Logic such that linear and non linear assumptions are managed multiplicatively and additively, respectively. Correspondingly, the terms of ! are built out of two disjoint sets of variables. Moreover, the -abstractions of ! bind variables and patterns. The use of two different kinds of variables and the patterns allow a very compact definition of the one-step operational semantics of !, unlike all other extensions of Curry-Howard Isomorphism to Intuitionistic Linear Logic. The language ! is Church-Rosser and enjoys both Strong Normalizability and Subject Reduction.The categorical model induces operational equivalences like, for example, a set of extensional equivalences.The paper presents also an untyped version of ! and a type assignment for it, using formulas of Linear Logic as types. The type assignment inherits from ! all the good computational properties and enjoys also the Principal-Type Property.     

Multisensory-mediated auditory localization

Multisensory integration is a powerful mechanism for maximizing sensitivity to sensory events. We examined its effects on auditory localization in healthy human subjects. The specific objective was to test whether the relative intensity and location of a seemingly irrelevant visual stimulus would influence auditory localization in accordance with the inverse effectiveness and spatial rules of multisensory integration that have been developed from neurophysiological studies with animals [Stein and Meredith, 1993 The Merging of the Senses (Cambridge, MA: MIT Press)]. Subjects were asked to localize a sound in one condition in which a neutral visual stimulus was either above threshold (supra-threshold) or at threshold. In both cases the spatial disparity of the visual and auditory stimuli was systematically varied. The results reveal that stimulus salience is a critical factor in determining the effect of a neutral visual cue on auditory localization. Visual bias and, hence, perceptual translocation of the auditory stimulus appeared when the visual stimulus was supra-threshold, regardless of its location. However, this was not the case when the visual stimulus was at threshold. In this case, the influence of the visual cue was apparent only when the two cues were spatially coincident and resulted in an enhancement of stimulus localization. These data suggest that the brain uses multiple strategies to integrate multisensory information.     

Do Coping Strategies Discriminate Eating Disordered Individuals Better Than Eating Disorder Features? An Explorative Study on Female Inpatients with Anorexia and Bulimia Nervosa

The purpose of this explorative research was to examine how the COPE (Coping Orientation to Problem Experienced Inventory), an established instrument for measuring coping styles, and EDI-2 (Eating Disorder Inventory-2), a widely used questionnaire for assessing psychological and behavioural features of eating disorders (ED), discriminate among healthy individuals, inpatients with anorexia nervosa (AN) and inpatients with bulimia nervosa (BN). A discriminant analysis approach was used. Results showed that coping styles such as positive attitude, planning and social support are even more discriminative variables than eating disorder features. Implications for further studies are discussed.     

Why should we abandon the mental logic hypothesis?

Two hypotheses on deductive reasoning are under development: mental logic and mental models. It is often accepted that there are overwhelming arguments to reject the mental logic hypothesis. I revise these arguments and claim that they are either not conclusive, or point at problems which are troublesome for the mental model hypothesis as well.     

Duration perception in crossmodally-defined intervals

How humans perform duration judgments with multisensory stimuli is an ongoing debate. Here, we investigated how sub-second duration judgments are achieved by asking participants to compare the duration of a continuous sound to the duration of an empty interval in which onset and offset were marked by signals of different modalities using all combinations of visual, auditory and tactile stimuli. The pattern of perceived durations across five stimulus durations (ranging from 100 ms to 900 ms) follows the Vierordt Law. Furthermore, intervals with a sound as onset (audio-visual, audio-tactile) are perceived longer than intervals with a sound as offset. No modality ordering effect is found for visualtactile intervals. To infer whether a single modality-independent or multiple modality-dependent time-keeping mechanisms exist we tested whether perceived duration follows a summative or a multiplicative distortion pattern by fitting a model to all modality combinations and durations. The results confirm that perceived duration depends on sensory latency (summative distortion). Instead, we did not find evidence for multiplicative distortions. The results of the model and the behavioural data support the concept of a single time-keeping mechanism that allows for judgments of durations marked by multisensory stimuli.     

Uncovering the Best Skill Multimap by Constraining the Error Probabilities of the Gain-Loss Model

The Gain-Loss model is a probabilistic skill multimap model for assessing learning processes. In practical applications, more than one skill multimap could be plausible, while none corresponds to the true one. The article investigates whether constraining the error probabilities is a way of uncovering the best skill assignment among a number of alternatives. A simulation study shows that this approach allows the detection of the models that are closest to the correct one. An empirical application shows that it allows the detection of models that are entirely derived from plausible assumptions about the skills required for solving the problems.     

Emotionally Focused Couple Therapy With Neurodegenerative Diseases: A Pilot Study

ABSTRACT

This research wants to verify the effectiveness of couple's treatment, when a neurodegenerative disease affects one of the two partners. The disease affects not only the ailing individual, but also the dynamics within the couple. Fourteen patients affected by neurodegenerative diseases participated in an emotionally focused couple therapy (EFT) with their spouses. We collected a measure of the quality of life (SF-36) and relationship satisfaction (DAS) at the beginning and at the end of the treatment for both partners. The results show an improvement in quality of life and couple contentment, underlining the usefulness of such a psychotherapeutic intervention on the couple.     

Infants' individuation of agents and inert objects

Using the violation-of-expectancy method, we investigated 10-month-old infants' ability to rely on dynamic features in object individuation processes. Infants were first familiarized to events in which two different objects repeatedly appeared and disappeared, one at a time from behind a screen; at test, the screen was removed, revealing either one or two objects. In Experiment 1, one self-moving non-rigid agent and one inert object were involved in each trial, while in Experiment 2 two different agents were presented. Infants preferred to look at one-object outcomes in Experiment 1, but they did not show any preference for one- or two-object outcomes in Experiment 2. The results suggest that infants can use dynamic information to detect agents in complex individuation tasks before they can rely on shape or surface features. We propose that the sortals agent and inert object appear in development before 12 months without a substantial contribution of linguistic experience. These findings may motivate a revision of current theories on the development of kind-based individuation and object files.