Semantic trees for Dummett's logic LC

The aim of this paper is to provide a decision procedure for Dummett's logic LC, such that with any given formula will be associated either a proof in a sequent calculus equivalent to LC or a finite linear Kripke countermodel.     

Modal Deduction in Second-Order Logic and Set Theory - II

In this paper, we generalize the set-theoretic translation method for poly-modal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to tailor such a translation to work with specific cases of extended modal logics.     

Translating the hypergame paradox: Remarks on the set of founded elements of a relation

In Zwicker (1987) the hypergame paradox is introduced and studied. In this paper we continue this investigation, comparing the hypergame argument with the diagonal one, in order to find a proof schema. In particular, in Theorems 9 and 10 we discuss the complexity of the set of founded elements in a recursively enumerable relation on the set N of natural numbers, in the framework of reduction between relations. We also find an application in the theory of diagonalizable algebras and construct an undecidable formula.     

Is there a modality effect? Evidence for visual recency and suffix effects

In Experiment 1, four groups of 16 subjects performed ordered recall of six-syllable lists in both suffix and nonsuffix conditions. Sequential presentation of the lists varied for each group. In the auditory presentation, the syllables were delivered from one location only and were read aloud by the subjects. For the visual, spatially nondistributed presentation, the syllables appeared in one location only and were read silently. For visual, spatially distributed presentations, the syllables were spread out either vertically or horizontally and were read silently. Very robust recency and suffix effects were found in the auditory presentation, as well as in visual, spatially distributed presentations. In Experiment 2, 16 subjects performed ordered recall of visually presented lists with the items spread out vertically and conflicting spatial and temporal orders. A reliable recency effect was found for the final block of trials. In Experiment 3, 16 subjects performed ordered recall in the same conditions as in Experiment 2, except that they were instructed to recall the temporal order in which the spatial positions would be filled in. A bow-shaped curve and a strong recency effect were obtained.     

The positivity scale

Five studies document the validity of a new 8-item scale designed to measure positivity, defined as the tendency to view life and experiences with a positive outlook. In the first study (N = 372), the psychometric properties of Positivity Scale (P Scale) were examined in accordance with classical test theory using a large number of college participants. In Study 2, the unidimensionality of the P Scale was corroborated with confirmatory factor analysis in 2 independent samples (N1 = 322; N2 = 457). In Study 3, P Scale invariance across sexes and its relations with self-esteem, life satisfaction, optimism, positive negative affect, depression, and the Big Five provided further evidence of the internal and construct validity of the new measure in a large community sample (N = 3,589). In Study 4, test-retest reliability of the P Scale was found in a sample of college students (N = 262) who were readministered the scale after 5 weeks. In Study 5, measurement invariance and construct validity of P Scale were further supported across samples in different countries and cultures, including Italy (N = 689), the United States (N = 1,187), Japan (N = 281), and Spain (N = 302). Psychometric findings across diverse cultural context attest to the robustness of the P Scale and to positivity as a basic disposition. (PsycINFO Database Record (c) 2012 APA, all rights reserved).     

Neurogeometry of Perception: Isotropic and Anisotropic Aspects

Axiomathes - In this paper we first recall geometrical models of neurogeometical in Lie groups and we show that geometrical properties of horizontal cortical connectivity can be considered as a...     

Emotional intelligence and depressed mood in adolescence: A multilevel approach

The aim of the study was to analyze the relationship between individual emotional intelligence, group emotional intelligence and depressed mood in adolescence from a multilevel approach. The study sample comprised 2,182 adolescents (1,127 female and 1,055 male) aged between 12 and 18 years (M = 14.51, SD = 1.55). They attended 14 secondary schools in the Basque Country (northern Spain) and were grouped into 118 different classes. A two-level model (students nested in classes) with three predictor variables of level 1 (attention, clarity and repair of emotions) and one predictor variable of level 2 (class emotional intelligence) was used to examine their influence on depressed mood. The results indicated that clarity and the ability to regulate emotions at the individual level and emotional intelligence at the class level are important for explaining depressed mood. In this way, the study provides an integrative approach to research on the psychosocial well-being of adolescents that takes into account emotional variables located at different levels.     

Verbal and Nonverbal Interactions of Four- and Five-Year-Old Friends in Potential Conflict Situations

Dyads of 4- and 5-year-old friends and nonfriends attending preschools in central Italy were identified by friendship nominations. The 217 dyads of friends and non-friends participated in 2 closed-field tasks designed to simulate real-life situations of potential conflict. In the 4-year-old cohort, there were no significant differences in the behavior of the partners in either of the situations. However, at age 5 years, friends respected the rules of a fast-paced competitive game significantly more than did nonfriends. In discussing how to share a single object (a chocolate egg with a toy inside), 5-year-old friends were more likely to reach agreement than were nonfriends. The results suggest important developmental changes in the processes of negotiation and sharing within the preschool years.     

You better play 7: mutual versus common knowledge of advice in a weak-link experiment

This paper presents the results of an experiment on mutual versus common knowledge of advice in a two-player weak-link game with random matching. Our experimental subjects play in pairs for thirteen rounds. After a brief learning phase common to all treatments, we vary the knowledge levels associated with external advice given in the form of a suggestion to pick the strategy supporting the payoff-dominant equilibrium. Our results are somewhat surprising and can be summarized as follows: in all our treatments both the choice of the efficiency-inducing action and the percentage of efficient equilibrium play are higher with respect to the control treatment, revealing that even a condition as weak as mutual knowledge of level 1 is sufficient to significantly increase the salience of the efficient equilibrium with respect to the absence of advice. Furthermore, and contrary to our hypothesis, mutual knowledge of level 2 induces, under suitable conditions, successful coordination more frequently than common knowledge.