Lower complexity bounds in justification logic

Justification Logic studies epistemic and provability phenomena by introducing justifications/proofs into the language in the form of justification terms. Pure justification logics serve as counterparts of traditional modal epistemic logics, and hybrid logics combine epistemic modalities with justification terms. The computational complexity of pure justification logics is typically lower than that of the corresponding modal logics. Moreover, the so-called reflected fragments, which still contain complete information about the respective justification logics, are known to be in~NP for a wide range of justification logics, pure and hybrid alike. This paper shows that, under reasonable additional restrictions, these reflected fragments are NP-complete, thereby proving a matching lower bound. The proof method is then extended to provide a uniform proof that the corresponding full pure justification logics are $\Pi^p_2$-hard, reproving and generalizing an earlier result by Milnikel.

Transactional Memory in a Dynamic Language

Concurrency control is mostly based on locks and is therefore notoriously difficult to use. Even though some programming languages provide high-level constructs, these add complexity and potentially hard-to-detect bugs to the application. Transactional memory is an attractive mechanism that does not have the drawbacks of locks, however the underlying implementation is often difficult to integrate into an existing language. In this paper we show how we have introduced transactional semantics into Smalltalk by using the reflective facilities of the language. Our approach is based on method annotations, incremental parse tree transformations and an optimistic commit protocol. The implementation does not depend on modifications to the virtual machine and therefore can be changed at the language level. We report on a practical case study, benchmarks and further and on-going work.

What do we mean by Female and Male in Neurocognitive Experiments on Language?

For several years now, neuroscientific research has been striving towards fundamental answers to questions about the relevance of sex/gender to language processing in the brain. This research has been effected through the search for sex/gender differences in the neurobiology of language processing. Thus, the main aim has ever been to focus on the differentiation of the sexes/genders, failing to define what sex, what gender, what female or male is in neurolingustic research. In other words, although neuroscientific findings have provided key insights into the brain functioning of women and men, neuropsychology has rarely questioned the complexity of the sex/gender variable beyond biology. What does “female” or “male” mean in human neurocognition; how are operationalisations implemented along the axes of “femaleness” or “maleness”; or what biological evidence is used to register the variables sex and/or gender? In the neurosciences as well as in neurocognitive research, questions such as these have so far not been studied in detail, even if they are highly significant for the scientific process. Instead, the variable of sex/gender has always been thought as solely dichotomous (as either female or male), oppositional and exclusionary of each other. Here, this theoretical contribution sets in. Based on findings in neuroscience and concepts in gender theory, this poster is dedicated to the reflection about what sex/gender is in the neuroscience of language processing. Following this aim, two levels of interest will be addressed. First: How do we define sex/gender at the level of participants? And second: How do we define sex/gender at the level of the experimental task? For the first, a multifactorial registration (work in progress) of the variable sex/gender will be presented, i.e. a tool that records sex/gender in terms of biology and social issues as well as on a spectrum between femaleness and maleness. For the second, the compulsory dichotomy of a gendered task when neurolinguistically approaching our cognitions of sex/gender will be explored.

Early versions in medieval textual traditions. Wolfram’s Parzival as a test case

Wolfram von Eschenbach’s novel Parzival is a courtly romance composed in German language shortly after 1200. In a project, based at the University of Bern, a new critical edition of the poem is prepared in electronic and printed form. It visualizes parallel textual versions, which, depending on particular circumstances of oral performance, have developed in the early stage of the poem’s transmission. Philological research as well as phylogenetic techniques common in the natural sciences, e.g. in molecular biology, have been used to demonstrate the existence of these early textual versions. The article shows how both methods work and how they are applied to the ongoing edition. Exemplary passages to be presented include the text of some rare fragments written in the first decades of the 13th century, which might even go back to the author’s lifetime and which allow to date the existence of the versions they belong to.

Motifs slaves dans les lettres autrichiennes du XIXe siècle: tentative de compréhension et de synthèse dans le cas de Marie von Ebner-Eschenbach

Marie von Ebner-Eschenbach (1830-1916) was born and grew up in Moravia. Despite the fact that her very first language was Czech, all her literary work was written in German ; despite of her Czech origins from her fatherside, all the references to be found in her work concerning the social and national development of the Czech society of that time express, if not animosity, at least a total lack of understanding. Everthing happens as if the author just wanted to confirm and uphold the official views of the Austrian Monarchy. In this article, I’d like to show, mainly on the example of the novel Božena (1876), that a more careful reading which would take into account not only the textual statements of the writer, but as well the composition of the plot and the various behaviors of the Czech and German protagonists, could allow to bring nuances to Ebner-Eschenbach’s position towards the Czech – namely to see that she was perfectly aware and respectful of the cultural diversity and complexity of the Czech lands and that she felt a deep compassion for the claims of the minorities asking for the transformation of the Habsburg Empire into a Federation of free nations.

Retirement as a “language related major life event” and its consequences on the multilingualism of migrants

The present study investigates life stories of established Italian workforce migrants living in the city of Berne, Switzerland, in regard to “language related major life events” (De Bot, 2007). These events are important in terms of changes happening in the linguistic setting during the life span and influence language development. In this sense, during the process of retirement, a new phase of life begins, which, amongst other things, has to be reorganized in relation to social contact and language use. One of my main questions is how the subjects handle the changes happening within and after the process of retirement in respect to the use of different languages and how this “language related major life event” is constructed and described by the migrants. One of these changes happens due to the fact that, after retirement, the social network at the workplace (the primary source of language input) can get (partially) lost and with it, the use of the local language. The fact that migrants living in Berne are confronted with diglossia (Standard German and Swissgerman), that the Canton of Berne is bilingual (German and French) and that the migrants' mother tongue (Italian) is one of the Swiss national languages, makes this question even more interesting. A second question will consider the influence of the fact that most of the subjects in question lived with the idea of return migration, but as shown in a previous study (Alter/Vieillesse/Anziani, NFP 32, 1999), only a third returned back while another third remained in the host country and the final third chose the commuting option. I will first examine these processes, changes and influences by using quantitative questionnaires in order to obtain general information on demographic data, the social situation, and a self-assessment of linguistic skills. Secondly, I will use qualitative interviews to get in-depth information of the subjects’ life stories and language biographies. The results of this project are meant to deliver insight into different aspects that have not been looked at in detail to this point: which factors of the life stories of Italian workforce migrants, who decided to remain in Switzerland after retirement, influence the linguistic changes in general and the ones happening around retirement in particular.

“Jo wunderbar so im apriu kann man nicht mehr erwarten, capisci?” Multilingualism in a German language class for retired Italian migrants in Berne

Our proposal presents some aspects and results of a project of the University of Bern dealing with the consequences of retirement on multilingual competences. Referring to De Bot (2007), who defined "language related major life events" as moments in life relevant for changes in multilingual competences, we assume that retirement can be a turning point in a language biography. Firstly, there are phenomena, such as the cessation of the use of a foreign language, which was formerly related to work. Secondly, retirement might elicit the improvement of foreign language skills as a way to spend excess time after retirement or as a “cognitive exercise”. Many language schools have identified the people of advanced age as a group of major interest and increasingly offer so-called 50+ (fifty plus) courses in their curriculum. Furthermore, the concept of lifelong learning is increasingly gaining importance, as the reference by the European commission (LLP) indicates. However, most of the programs are intended for educated middle-class people and there are considerably fewer offers for people who are less familiar with learning environments in general. The present paper aims at investigating the multilingual setting of an offer of the second kind: a German language course designed for retired, established Italian workforce migrants living in the city of Berne, Switzerland. The multilingual setting is given by the facts that migrants living in Berne are confronted with diglossia (Standard German and Swissgerman dialects), that the Canton of Berne is bilingual (German and French) and that the migrants' mother tongue, Italian, is one of the Swiss national languages. As previous studies have shown, most of the Italian migrants have difficulties with the acquisition of Standard German due to the diglossic situation (Werlen, 2007) or never even learnt any of the German varieties. Another outcome of the linguistic situation the migrants are confronted with in Berne, is the usage of a continuum of varieties between Swissgerman dialect and Standard German (Zanovello-Müller, 1998). Therefore, in the classroom we find several varieties of German, as well as the Italian language and its varieties. In the present paper we will investigate the use of multilingual competences within the classroom and the dynamics of second language acquisition in a setting of older adults (>60 years old), learning their host country’s language after 40 years or more of living in it. The methods applied are an ethnographic observation of the language class, combined with qualitative interviews to gain in-depth information of the subjects’ life stories and language biographies.

The Complexity of Non-Iterated Probabilistic Justification Logic

The logic PJ is a probabilistic logic defined by adding (noniterated) probability operators to the basic justification logic J. In this paper we establish upper and lower bounds for the complexity of the derivability problem in the logic PJ. The main result of the paper is that the complexity of the derivability problem in PJ remains the same as the complexity of the derivability problem in the underlying logic J, which is π[p/2] -complete. This implies that the probability operators do not increase the complexity of the logic, although they arguably enrich the expressiveness of the language.

The Impact of Language Opacity and Proficiency on Reading Strategies in Bilinguals: An Eye Movement Study

Reading strategies vary across languages according to orthographic depth - the complexity of the grapheme in relation to phoneme conversion rules - notably at the level of eye movement patterns. We recently demonstrated that a group of early bilinguals, who learned both languages equally under the age of seven, presented a first fixation location (FFL) closer to the beginning of words when reading in German as compared with French. Since German is known to be orthographically more transparent than French, this suggested that different strategies were being engaged depending on the orthographic depth of the used language. Opaque languages induce a global reading strategy, and transparent languages force a local/serial strategy. Thus, pseudo-words were processed using a local strategy in both languages, suggesting that the link between word forms and their lexical representation may also play a role in selecting a specific strategy. In order to test whether corresponding effects appear in late bilinguals with low proficiency in their second language (L2), we present a new study in which we recorded eye movements while two groups of late German-French and French-German bilinguals read aloud isolated French and German words and pseudo-words. Since, a transparent reading strategy is local and serial, with a high number of fixations per stimuli, and the level of the bilingual participants' L2 is low, the impact of language opacity should be observed in L1. We therefore predicted a global reading strategy if the bilinguals' L1 was French (FFL close to the middle of the stimuli with fewer fixations per stimuli) and a local and serial reading strategy if it was German. Thus, the L2 of each group, as well as pseudo-words, should also require a local and serial reading strategy. Our results confirmed these hypotheses, suggesting that global word processing is only achieved by bilinguals with an opaque L1 when reading in an opaque language; the low level in the L2 gives way to a local and serial reading strategy. These findings stress the fact that reading behavior is influenced not only by the linguistic mode but also by top-down factors, such as readers' proficiency.