The neuronal basis of bimanual coordination: recent neurophysiological evidence and functional models

Recent physiological studies of the neuronal processes underlying bimanual movements provide new tests for earlier functional models of bimanual coordination. The recently acquired data address three conceptual areas: the generalized motor program (GMP), intermanual crosstalk and dynamic systems models. To varying degrees, each of these concepts has aspects that can be reconciled with experimental evidence. The idea of a GMP is supported by the demonstration of abstract neuronal motor codes, e.g. bimanual-specific activity in motor cortex. The crosstalk model is consistent with the facts that hand-specific coding also exists and that interactions occur between the motor commands for each arm. Uncrossed efferent projections may underlie crosstalk on an executional level. Dynamic interhemispheric interactions through the corpus callosum may provide a high-level link at the parametric programming level, allowing flexible coupling and de-coupling. Flexible neuronal interactions could also underlie adaptive large-scale systems dynamics that can be formalized within the dynamic systems theory approach.

The correspondence of identified neuronal processes with functions of abstract models encourages the development of realistic computational models that can predict bimanual behavior on the basis of neuronal activity.     

Standard Quantification Theory in the Analysis of English

Standard first-order logic plus quantifiers of all finite orders (SFOL) faces four well-known difficulties when used to characterize the behavior of certain English quantifier phrases. All four difficulties seem to stem from the typed structure of SFOL models. The typed structure of SFOL models is in turn a product of an asymmetry between the meaning of names and the meaning of predicates, the element-set asymmetry. In this paper we examine a class of models in which this asymmetry of meaning is removed. The models of this class permit definitions of the quantifiers which allow a desirable flexibility in fixing the domain of quantification. Certain SFOL type restrictions are thereby avoided. The resulting models of English validate all of the standard first-order logical truths and are free of the four deficiencies of SFOL models.     

Cartographic systems and non-linguistic inference

It is often assumed that the capability to make inferences requires language. Against this assumption, I claim that inferential abilities do not necessarily require a language. On the contrary, certain cartographic systems could be used to explain some forms of inferences, and they are capable of warranting rational relations between contents they represent. By arguing that certain maps, as well as sentences, are adequate for inferential processes, I do not mean to neglect that there are important differences between maps and sentences. Instead, the purpose of this paper is to highlight interesting distinctions that might affect the way that cartographic thinking works.     

Free Q-distributive lattices

The dual spaces of the free distributive lattices with a quantifier are constructed, generalizing Halmos' construction of the dual spaces of free monadic Boolean algebras.     

Distributive lattices with an operator

It was shown in [3] (see also [5]) that there is a duality between the category of bounded distributive lattices endowed with a join-homomorphism and the category of Priestley spaces endowed with a Priestley relation. In this paper, bounded distributive lattices endowed with a join-homomorphism, are considered as algebras and we characterize the congruences of these algebras in terms of the mentioned duality and certain closed subsets of Priestley spaces. This enable us to characterize the simple and subdirectly irreducible algebras. In particular, Priestley relations enable us to characterize the congruence lattice of the Q-distributive lattices considered in [4]. Moreover, these results give us an effective method to characterize the simple and subdirectly irreducible monadic De Morgan algebras [7].The duality considered in [4], was obtained in terms of the range of the quantifiers, and such a duality was enough to obtain the simple and subdirectly irreducible algebras, but not to characterize the congruences.I would like to thank my research supervisor Dr. Roberto Cignoli for his helpful suggestions during the preparation of this paper and the referee for calling my attention to Goldblatt's paper [5].     

Modelling simultaneous games in dynamic logic

We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.     

The structure of feared social situations among individuals with a lifetime diagnosis of social anxiety disorder in two independent nationally representative mental health surveys

The present study employed both exploratory and confirmatory factor analytic approaches with nationally representative samples of individuals with a lifetime diagnosis of social anxiety disorder (n=1123; n=3091, respectively) using split-halves of the National Comorbidity Replication Survey (n=9282) and cross-validated with the Canadian Community Health Survey on Mental Health and Wellbeing (n=36,984). Strong support was found for a three-factor solution. This model was obtained from exploratory factor analysis and was further evaluated using two confirmatory factor analytic investigations in the two national samples. The three social situational domains reflected (1) Social Interaction Fears, (2) Observation Fears, and (3) Public Speaking Fears. Individuals with generalized social anxiety disorder (i.e., those who endorsed 7 or more of 13 feared social situations assessed in the survey) were significantly more likely to report Social Interaction Fears and Observation Fears compared to individuals with non-generalized social anxiety disorder (i.e., those who endorsed only 6 or fewer of 13 feared social situations). Individuals with generalized social anxiety were particularly characterized by combinations of Public Speaking Fears plus Social Interaction Fears and Observation Fears. The clinical and classification implications of our study for DSM-V are discussed.     

From IF to BI

We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and Väänänen, and their compositional semantics due to Hodges. We show how Hodges’ semantics can be seen as a special case of a general construction, which provides a context for a useful completeness theorem with respect to a wider class of models. We shed some new light on each aspect of the logic. We show that the natural propositional logic carried by the semantics is the logic of Bunched Implications due to Pym and O’Hearn, which combines intuitionistic and multiplicative connectives. This introduces several new connectives not previously considered in logics of informational dependence, but which we show play a very natural rôle, most notably intuitionistic implication. As regards the quantifiers, we show that their interpretation in the Hodges semantics is forced, in that they are the image under the general construction of the usual Tarski semantics; this implies that they are adjoints to substitution, and hence uniquely determined. As for the dependence predicate, we show that this is definable from a simpler predicate, of constancy or dependence on nothing. This makes essential use of the intuitionistic implication. The Armstrong axioms for functional dependence are then recovered as a standard set of axioms for intuitionistic implication. We also prove a full abstraction result in the style of Hodges, in which the intuitionistic implication plays a very natural rôle.     

Generalized Anxiety Disorder in Older Medical Patients: Diagnostic Recognition, Mental Health Management and Service Utilization

Background Primary care physicians often treat older adults with Generalized Anxiety Disorder. Objective To estimate physician diagnosis and recognition of anxiety and compare health service use among older adults with GAD with two comparison samples with and without other DSM diagnoses. Methods Participants were 60+ patients of a multi-specialty medical organization. Administrative database and medical records were reviewed for a year. Differences in frequency of health service use were analyzed with logistic regression and between-subjects analysis of covariance. Results Physician diagnosis of GAD was 1.5% and any anxiety was 9%, and recognition of anxiety symptoms was 34% in older adults with GAD. After controlling for medical comorbidity, radiology appointments were increased in the GAD group relative to those with and without other psychiatric diagnoses, χ² (2, N = 225) = 4.75, p < .05. Conclusions Most patients with anxiety do not have anxiety or symptoms documented in their medical records.