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.     

Improvisation: The Astonishing Bridge to Our Inner Music

Musical improvisation is the expressive capacity of a performer fostered by access to their own “productive” (creative) or “reproductive” (mnestic) tonal imagery: a field of consciousness that includes experiences, images that are internal, combined, distorted, associated, or in competition between themselves. In the highly original form of life that is jazz, narrating means directing time: a time of epiphanies and introversions, of intuitions and revelations, of syncopated rhythms and aesthetic insights, which appear and disappear on the edges of interference between consciousness and the unconscious. The performing urgency of gestures, voices, and sounds, although arranged in the same scene, highlights the difference in individual time. In this intense activity of opposition and resolution the experience becomes an unstable territory that rests on the capacity of the body to remember, decide, anticipate, and invent. The ego reveals itself to be an emerging representation of our nerve structures and, even if conscious organization continues to be attributed to it, its role is not at all crucial. Unity, if anything, means coordination. The conscious ego is the expression of the body. In its ultimate form its unity is a biological problem.     

Serial dependence in position occurs at the time of perception

Observers perceive objects in the world as stable over space and time, even though the visual experience of those objects is often discontinuous and distorted due to masking, occlusion, camouflage, or noise. How are we able to easily and quickly achieve stable perception in spite of this constantly changing visual input? It was previously shown that observers experience serial dependence in the perception of features and objects, an effect that extends up to 15 seconds back in time. Here, we asked whether the visual system utilizes an object’s prior physical location to inform future position assignments in order to maximize location stability of an object over time. To test this, we presented subjects with small targets at random angular locations relative to central fixation in the peripheral visual field. Subjects reported the perceived location of the target on each trial by adjusting a cursor’s position to match its location. Subjects made consistent errors when reporting the perceived position of the target on the current trial, mislocalizing it toward the position of the target in the preceding two trials (Experiment 1). This pull in position perception occurred even when a response was not required on the previous trial (Experiment 2). In addition, we show that serial dependence in perceived position occurs immediately after stimulus presentation, and it is a fast stabilization mechanism that does not require a delay (Experiment 3). This indicates that serial dependence occurs for position representations and facilitates the stable perception of objects in space. Taken together with previous work, our results show that serial dependence occurs at many stages of visual processing, from initial position assignment to object categorization.     

Short-term effects of a multi-disciplinary cardiac rehabilitation programme on psychological well-being, exercise capacity and weight in a sample of obese in-patients with coronary heart disease: a practice-level study

Given that many patients referred to cardiac rehabilitation (CR) are obese, diet therapy, exercise training, nutritional and psychological counselling for both obesity and psychological distress should be included as important components in all CR programmes. In this practice-level, observational study we evaluated the short-term within-group effects of a four-week multi-factorial inpatient CR programme specifically addressed to weight loss, fitness improvement and psychological health increase on 176 obese in-patients with coronary heart disease (CHD). Outcome measures were exercise capacity measured with estimated metabolic equivalents (METs), body mass index (BMI) and psychological well-being (PGWBI). Results show statistically significant improvements in all the PGWBI sub-scales and total score, except in general health (p = 0.393). No moderation effects were found for BMI class, age, diabetes and ejection fraction (EF). METs significantly increased by 30.3% (p < 0.001) and BMI decreased by 1.37 points (p < 0.001). Significant correlations were found between BMI and weight reductions with PGWBI anxiety and total score improvements. This multi-disciplinary CR programme including diet therapy, exercise training and psychological counselling provides indication for short-term within-group effectiveness on functional exercise capacity, BMI and PGWBI in a sample of obese in-patients with CHD. However, controlled studies are needed to corroborate the results we found.     

Preference for unreliable reinforcement in children with mental retardation: the role of conditioned reinforcement

We examined the effects of conditioned reinforcement on children's choice between reliable (100%) and unreliable (50%) reinforcement under various stimulus conditions in a concurrent-chains procedure. The study was conducted across three experiments. Experiments 1 and 2 were conducted under conditions similar to basic laboratory work and consisted of participants selecting from one of two black boxes (placed on a table) that were correlated with different reinforcement schedules. In Experiment 3, we assessed a participant's preference for unreliable reinforcement during conditions in which the target responses were aggression and mands. Results of the three experiments showed that the participants preferred unreliable reinforcement under certain conditions. Findings are discussed regarding the role of specific stimuli (i.e., items correlated with a reinforcement schedule, adult reactions) as conditioned reinforcers and how they may influence children's preference for a response (e.g., aggression, self-injury) that produces reinforcement on a leaner schedule than a socially desirable response (e.g., mands).     

The influence of maternal child-rearing attitudes and teaching behaviors on preschoolers' delay of gratification

This study was an exploratory examination of the influence of mothers' teaching behaviors, strategies, and child-rearing attitudes on their children's ability to delay gratification. In an externally imposed delay of gratification situation, 30 mothers from a rural university community taught their children strategies that could help them refrain from touching a brightly wrapped present when the mothers left the room. Results showed that mothers of children who did not delay gratification exhibited teaching behaviors and child-rearing attitudes consistent with a permissive parenting style, whereas mothers of children who did delay gratification exhibited teaching behaviors and child-rearing attitudes consistent with an authoritative parenting style. The results of this study are discussed with respect to the development of children's self-control and self-regulatory abilities.     

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.     

Reactions to perceived deprivation in ingroup and outgroup: a cross-cultural comparison

An experiment is reported in which the reactions of observers to the relative and absolute deprivation of others are assessed. Eighty German and 80 Italian subjects made decisions about ingroup (own nationality) or outgroup (foreign) protagonists suffering high or low relative and absolute deprivation. Results showed that subjects were more likely to take social action that violated some rule when the protagonist was in high rather than low absolute deprivation. Racist subjects were somewhat more likely to satisfy the request of a deprived ingroup protagonist whereas non-racist subjects favoured the deprived outgroup. No differences emerged for non-deprived protagonists. Overall, Germans tended to take social action only when the protagonist suffered high absolute deprivation whereas Italians took action regardless of degree of absolute deprivation. © 1998 John Wiley & Sons, Ltd.