Olfactory categorization: A developmental study

This study examined the ability of children to classify fruit and flower odors. We asked four groups of children (4-11years of age) and a group of adults to identify, categorize, and evaluate the edibility, liking, and typicality of 12 fruit and flower odors. Results showed an increase in interindividual agreement with age for the taxonomic (fruit/flower) and function-based (edible/nonedible) categories but not for the hedonic component. So, it seems that this hedonic component is not the explicit basis for this increase in interindividual agreement when categorizing an odor as a fruit/flower odor or as being edible or nonedible. An age-related trend was also observed on the typicality scores: The youngest group of children did not show a typicality gradient, but all of the other groups did. Blackcurrant and lemon were rated as the most typical fruit odors, whereas raspberry and peach were rated as the least typical. For flower odorants, results were not as clear, yet it seems that for all groups lavender was considered as quite typical.     

Intra-individual stability of neuromotor tasks from 6 to 18 years: a longitudinal study

This study investigates the intra-individual stability of the speed of several motor tasks and the intensity of associated movements in 256 children (131 girls, 125 boys) from the Zurich generational study using the Zurich neuromotor assessment battery (ZNA) over a 12-year period from the age of 6 to 18 years. The stability was assessed by correlograms of standard deviation scores calculated from age- and gender-adjusted normative values and compared with standing height and full scale intelligence quotient (IQ). While motor tasks of hand, finger and foot (HFT) and contralateral associated movements (CAM) exhibited a moderate stability (summary measure as correlation coefficients between two measurements made 4 years apart: .61 and .60), other tasks (dynamic balance, static balance and pegboard) were only weakly stable (.46, .47 and .49). IQ and height were more stable than neuromotor components (.72 and .86). We conclude that the moderately stable HFT and CAM may reflect “motor traits”, while the stability of the pegboard and balance tasks is weaker because these skills are more experience related and state-dependent.     

"It's time to take a stand": depicting crosshairs can indeed promote violence

There is abundant evidence that people derive meaning from signs (Krippendorff, 1989 Design Issues 5 9-39) and that signs influence attitudes (Landau et al, 2010 Psychological Bulletin 136 1045 - 1067). We put to a test whether the use of crosshairs in a map can be viewed as representing violence. In a fictive scenario describing a plague of foxes, members of a Dutch household panel were confronted with a map that showed inflicted areas either by crosshairs or by neutral markers (plain circles). Respondents indicated the extent to which they favoured two solutions: killing-by-shooting or capturing-and-relocating. The results show that crosshairs indeed shape people's attitudes more towards the violent solution of shooting the foxes. Therefore, especially when used in heated public debates, the possibly violence-inducing effect of such visual metaphors should not be underestimated.     

Training family therapy students in conceptual and observation skills relating to the therapeutic alliance: an evaluation

This paper describes a training intervention to develop students' conceptual and observation skills relating to the therapeutic alliance (TA) in family therapy. An evaluation methodology was developed and piloted. The knowledge and observation skills of family therapy students pre‐ and post‐training were assessed in comparison to a non‐intervention group of experienced clinicians. Students' mean scores on the knowledge measure improved significantly from 43 per cent to 74 per cent (p<0.001) and on the observation test from 43 per cent to 65 per cent, although this failed to reach statistical significance (p=0.08). There were no significant changes in the clinicians' scores over the same period. The clinicians' knowledge was higher initially, but the students had caught up after six months. In conclusion, training students in conceptual and observational skills relating to the therapeutic alliance may have a measurable effect. A ‘stepwise’ methodology for demonstrating the relationship between training in TA and outcomes for families is proposed.     

Products of Modal Logics. Part 3: Products of Modal and Temporal Logics

In this paper we improve the results of [2] by proving the product f.m.p. for the product of minimal n-modal and minimal n-temporal logic. For this case we modify the finite depth method introduced in [1]. The main result is applied to identify new fragments of classical first-order logic and of the equational theory of relation algebras, that are decidable and have the finite model property.     

Refutation systems in modal logic

Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.Presented byJan Zygmunt     

Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable

We consider modal logics whose intermediate fragments lie between the logic of infinite problems [20] and the Medvedev logic of finite problems [15]. There is continuum of such logics [19]. We prove that none of them is finitely axiomatizable. The proof is based on methods from [12] and makes use of some graph-theoretic constructions (operations on coverings, and colourings).     

Modal logic with names

We investigate an enrichment of the propositional modal language with a universal modality having semanticsx iff y(y ), and a countable set of names — a special kind of propositional variables ranging over singleton sets of worlds. The obtained language _c proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment () of, where is an additional modality with the semanticsx iff y(y x y ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in _c. Strong completeness of the normal _c-logics is proved with respect to models in which all worlds are named. Every _c-logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from to _c are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched.     

Logic for physical space

Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major milestones in the logical representation of space and investigate current trends. In doing so, we do not only consider classical logic, but we indulge ourselves with modal logics. These present themselves naturally by providing simple axiomatizations of different geometries, topologies, space-time causality, and vector spaces.     

Restoration: S. A. Yanovskaya's path in logic

This article presents the story of S. A. Yanovskaya's epiphany—particularly, her shift from hard-line communist orthodoxy and hostility towards ‘bourgeois minded’ Soviet-Russian mathematicians to vigorous support of mathematical logic. In light of this evidence, S. A. Yanovskaya (1896–1966) may be considered as a spiritual leader and administrative founder of modern mathematical research and education in the USSR/Russia.