In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-L f. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, (...) with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples. (shrink)

A recent hypothesis in empirical brain research on language is that the fundamental difference between animal and human communication systems is captured by the distinction between finite-state and more complex phrase-structure grammars, such as context-free and context-sensitive grammars. However, the relevance of this distinction for the study of language as a neurobiological system has been questioned and it has been suggested that a more relevant and partly analogous distinction is that between non-adjacent and adjacent dependencies. Online memory resources are central (...) to the processing of non-adjacent dependencies as information has to be maintained across intervening material. One proposal is that an external memory device in the form of a limited push-down stack is used to process non-adjacent dependencies. We tested this hypothesis in an artificial grammar learning paradigm where subjects acquired non-adjacent dependencies implicitly. Generally, we found no qualitative differences between the acquisition of non-adjacent dependencies and adjacent dependencies. This suggests that although the acquisition of non-adjacent dependencies requires more exposure to the acquisition material, it utilizes the same mechanisms used for acquiring adjacent dependencies. We challenge the push-down stack model further by testing its processing predictions for nested and crossed multiple non-adjacent dependencies. The push-down stack model is partly supported by the results, and we suggest that stack-like properties are some among many natural properties characterizing the underlying neurophysiological mechanisms that implement the online memory resources used in language and structured sequence processing. (shrink)

In the present study, using event-related functional magnetic resonance imaging, we investigated a group of participants on a grammaticality classification task after they had been exposed to well-formed consonant strings generated from an artificial regular grammar. We used an implicit acquisition paradigm in which the participants were exposed to positive examples. The objective of this studywas to investigate whether brain regions related to language processing overlap with the brain regions activated by the grammaticality classification task used in the present study. (...) Recent meta-analyses of functional neuroimaging studies indicate that syntactic processing is related to the left inferior frontal gyrus (Brodmann's areas 44 and 45) or Broca's region. In the present study, we observed that artificial grammaticality violations activated Broca's region in all participants. This observation lends some support to the suggestions that artificial grammar learning represents a model for investigating aspects of language learning in infants [TICS 4 (2000) 178] and adults [Proceedings of the National Academy of Sciences of United States of America 99 (2002) 529]. (shrink)

In the present study, using event-related functional magnetic resonance imaging, we investigated a group of participants on a grammaticality classification task after they had been exposed to well-formed consonant strings generated from an artificial regular grammar. We used an implicit acquisition paradigm in which the participants were exposed to positive examples. The objective of this studywas to investigate whether brain regions related to language processing overlap with the brain regions activated by the grammaticality classification task used in the present study. (...) Recent meta-analyses of functional neuroimaging studies indicate that syntactic processing is related to the left inferior frontal gyrus (Brodmann's areas 44 and 45) or Broca's region. In the present study, we observed that artificial grammaticality violations activated Broca's region in all participants. This observation lends some support to the suggestions that artificial grammar learning represents a model for investigating aspects of language learning in infants [TICS 4 (2000) 178] and adults [Proceedings of the National Academy of Sciences of United States of America 99 (2002) 529]. (shrink)

Participants were unknowingly exposed to complex regularities in a working memory task. The existence of implicit knowledge was subsequently inferred from a preference for stimuli with similar grammatical regularities. Several affective traits have been shown to influence AGL performance positively, many of which are related to a tendency for automatic responding. We therefore tested whether the mindfulness trait predicted a reduction of grammatically congruent preferences, and used emotional primes to explore the influence of affect. Mindfulness was shown to correlate negatively (...) with grammatically congruent responses. Negative primes were shown to result in faster and more negative evaluations. We conclude that grammatically congruent preference ratings rely on habitual responses, and that our findings provide empirical evidence for the non-reactive disposition of the mindfulness trait. (shrink)

The ‘learning society’ expresses principles of a universal humanity and a promise of progress that seem to transcend the nation. The paper indicates how this society is governed in the name of a cosmopolitan ideal that despite its universal pretensions embodies particular inclusions and exclusions. These occur through inscribing distinctions and differentiations between the characteristics of those who embody a cosmopolitan reason that brings social progress and personal fulfilment and those who do not embody the cosmopolitan principles of civility and (...) normalcy. Mapping the circulation of the notion of the ‘learning society’ in arenas of Swedish health and criminal justice, and Swedish and US school reforms is to examine the mode of life of the citizen of this society, the learner, as an ‘unfinished cosmopolitanism’ and also directs attention to its ‘other’—those that are outside. (shrink)

The suitability of the artificial grammar learning paradigm to capture relevant aspects of the acquisition of linguistic structures has been empirically tested in a number of EEG studies. Some have shown a syntax-related P600 component, but it has not been ruled out that the AGL P600 effect is a response to surface features rather than the underlying syntax structure. Therefore, in this study, we controlled for the surface characteristics of the test sequences and recorded the EEG before and after exposure (...) to a grammar. After exposure, a typical, centroparietal P600 effect was elicited by grammatical violations and not by unfamiliar subsequences, suggesting that the AGL P600 effect signals a response to structural irregularities. Moreover, preference and grammaticality classification showed a qualitatively similar ERP profile, strengthening the idea that the implicit structural mere-exposure paradigm in combination with preference classification is a suitable alternative to the traditional grammaticality classification test. (shrink)

This longitudinal study (1994-1996) used the Gordon Personality Inventory to measure nursing students’ self-image (Gordon A), self-values (Gordon B) and interpersonal values (Gordon C). It was performed with students from three colleges of health in the south of Sweden: Jönköping (n = 54), Växjö (n = 24) and Kristianstad (n = 38). The null hypothesis of the study was that the new academic three-year programme did not have the power to change significantly the students’ self-image and professional values. The hypothesis (...) was tested by paired sample Student’s t-test. The result was that, at Jönköping, self-image changed and increased significantly in the dimensions of ‘cautiousness’ and ‘personal relations’, and decreased in ‘sociability’, and increased in the self-value ‘order’. At Växjö the self-image dimensions of ‘original thinking’ and ‘personal relations’ increased, and, at Kristianstad, the students increased their self-image scores in ‘responsibility’. (shrink)

This longitudinal study used the Gordon Personality Inventory to measure nursing students’ self-image, self-values and interpersonal values. It was performed with students from three colleges of health in the south of Sweden: Jönköping, Växjö and Kristianstad. The null hypothesis of the study was that the new academic three-year programme did not have the power to change significantly the students’ self-image and professional values. The hypothesis was tested by paired sample Student’s t-test. The result was that, at Jönköping, self-image changed and (...) increased significantly in the dimensions of ‘cautiousness’ and ‘personal relations’, and decreased in ‘sociability’, and increased in the self-value ‘order’. At Växjö the self-image dimensions of ‘original thinking’ and ‘personal relations’ increased, and, at Kristianstad, the students increased their self-image scores in ‘responsibility’. (shrink)