On the Costs of Nonclassical Logic

Solutions to semantic paradoxes often involve restrictions of classical logic for semantic vocabulary. In the paper we investigate the costs of these restrictions in a model case. In particular, we fix two systems of truth capturing the same conception of truth: (a variant) of the system KF of Feferman (The Journal of Symbolic Logic, 56, 1–49, 1991) formulated in classical logic, and (a variant of) the system PKF of Halbach and Horsten (The Journal of Symbolic Logic, 71, 677–712, 2006), formulated in basic De Morgan logic. The classical system is known to be much stronger than the nonclassical one. We assess the reasons for this asymmetry by showing that the truth theoretic principles of PKF cannot be blamed: PKF with induction restricted to non-semantic vocabulary coincides in fact with what the restricted version of KF proves true.     

Emotionally Focused Family Therapy and Play Therapy Techniques

Emotionally Focused Family Therapy provides a framework for understanding children's behaviors in terms of attachment needs of comfort and support. However, when working with young children, play therapy is often developmentally preferred over “talk therapy.” By integrating play therapy techniques within an Emotionally Focused Family Therapy theoretical framework, therapists can help parents understand and meet their child's needs for affection and comfort. This article will discuss how play therapy techniques can be integrated with an Emotionally Focused Family Therapy theoretical framework for work with young children and their families.     

Standard errors and confidence intervals in within-subjects designs: Generalizing Loftus and Masson (1994) and avoiding the biases of alternative accounts

Repeated measures designs are common in experimental psychology. Because of the correlational structure in these designs, the calculation and interpretation of confidence intervals is nontrivial. One solution was provided by Loftus and Masson (Psychonomic Bulletin & Review 1:476-490, 1994). This solution, although widely adopted, has the limitation of implying same-size confidence intervals for all factor levels, and therefore does not allow for the assessment of variance homogeneity assumptions (i.e., the circularity assumption, which is crucial for the repeated measures ANOVA). This limitation and the method's perceived complexity have sometimes led scientists to use a simplified variant, based on a per-subject normalization of the data (Bakeman & McArthur, Behavior Research Methods, Instruments, & Computers 28:584-589, 1996; Cousineau, Tutorials in Quantitative Methods for Psychology 1:42-45, 2005; Morey, Tutorials in Quantitative Methods for Psychology 4:61-64, 2008; Morrison & Weaver, Behavior Research Methods, Instruments, & Computers 27:52-56, 1995). We show that this normalization method leads to biased results and is uninformative with regard to circularity. Instead, we provide a simple, intuitive generalization of the Loftus and Masson method that allows for assessment of the circularity assumption.     

Tool-use in the brown bear (Ursus arctos)

This is the first report of tool-using behaviour in a wild brown bear (Ursus arctos). Whereas the use of tools is comparatively common among primates and has also been documented in several species of birds, fishes and invertebrates, tool-using behaviours have so far been observed in only four species of non-primate mammal. The observation was made and photographed while studying the behaviour of a subadult brown bear in south-eastern Alaska. The animal repeatedly picked up barnacle-encrusted rocks in shallow water, manipulated and re-oriented them in its forepaws, and used them to rub its neck and muzzle. The behaviour probably served to relieve irritated skin or to remove food-remains from the fur. Bears habitually rub against stationary objects and overturn rocks and boulders during foraging and such rubbing behaviour could have been transferred to a freely movable object to classify as tool-use. The bear exhibited considerable motor skills when manipulating the rocks, which clearly shows that these animals possess the advanced motor learning necessary for tool-use. Advanced spatial cognition and motor skills for object manipulation during feeding and tool-use provide a possible explanation for why bears have the largest brains relative to body size of all carnivores. Systematic research into the cognitive abilities of bears, both in captivity and in the wild, is clearly warranted to fully understand their motor-learning skills and physical intelligence related to tool-use and other object manipulation tasks.     

Observational couple assessment: a cross-model comparison

This study compared the clinical rating scales from the Circumplex Model (CCRS), the McMaster Model of Family Functioning (MCRS) and the Family Health Scales (FHS). A central purpose was to investigate whether observational rating scales designed to measure family functioning can also be used to assess couple functioning. One hundred and sixty-six drug abusing women, receiving primary drug treatment in two metropolitan drug agencies in the southwest of the US, and their partners were videotaped while engaged in three couple tasks prior to receiving any treatment. The main findings indicated that all three rating scales have: (1) sufficient interrater reliability; (2) good construct validity, as reflected in factor analyses; and (3) very good convergent validity. However, there was some concern about whether these scales are as discriminating when measuring couples as they are when assessing families.     

Need for Family Therapy Services for Middle-Class Families in India

This qualitative study explored the needs of Indian middle-class families for family therapy services. Four focus group interviews were conducted with middle-class parents in Madras, India. Participants were introduced to the concept and practice of family therapy and were encouraged to take a more active role in supporting the services they suggested. Participants identified problems faced by Madras middle class families and five different types of services that they were aware of. Three categories of need for family therapy were identified from the narratives of the participants. Several themes fit in each of the three categories. Implications for clinical application are discussed.     

Increases in language lateralization in normal children as observed using magnetoencephalography

Previous functional magnetic resonance imaging (fMRI) studies investigating hemispheric dominance for language have shown that hemispheric specialization increases with age. We employed magnetoencephalography (MEG) to investigate these effects as a function of normal development. In sum, 22 healthy children aged 7-16 years were investigated using two language tasks: a verb-generation (VG) task and a vowel-identification (VI) task. Significant hemispheric differences were found for both tasks in cerebral language areas using oscillatory MEG spectral analyses, confirming the MEG's ability to detect hemispheric specialization for language in children. Additionally, a significant increase of this lateralization as a function of age was observed for both tasks. As performance in the VI task showed no correlation with age, this increase seems to be unrelated to performance. These results confirm an increase in hemispheric specialization as a function of normal brain maturation.     

Combined reasoning by automated cooperation

Different reasoning systems have different strengths and weaknesses, and often it is useful to combine these systems to gain as much as possible from their strengths and retain as little as possible from their weaknesses. Of particular interest is the integration of first-order and higher-order techniques. First-order reasoning systems, on the one hand, have reached considerable strength in some niches, but in many areas of mathematics they still cannot reliably solve relatively simple problems, for example, when reasoning about sets, relations, or functions. Higher-order reasoning systems, on the other hand, can solve problems of this kind automatically. But the complexity inherent in their calculi prevents them from solving a whole range of problems. However, while many problems cannot be solved by any one system alone, they can be solved by a combination of these systems.We present a general agent-based methodology for integrating different reasoning systems. It provides a generic integration framework which facilitates the cooperation between diverse reasoners, but can also be refined to enable more efficient, specialist integrations. We empirically evaluate its usefulness, effectiveness and efficiency by case studies involving the integration of first-order and higher-order automated theorem provers, computer algebra systems, and model generators.