Terminology matters! Why difference is not incompleteness and how early child bilinguals are heritage speakers

This paper integrates research on child simultaneous bilingual (2L1) acquisition more directly into the heritage language (HL) acquisition literature. The 2L1 literature mostly focuses on development in childhood, whereas heritage speakers (HSs) are often tested at an endstate in adulthood. However, insights from child 2L1 acquisition must be considered in HL acquisition theorizing precisely because many HSs are the adult outcomes of child 2L1 acquisition. Data from 2L1 acquisition raises serious questions for the construct of incomplete acquisition, a term broadly used in HL acquisition studies to describe almost any difference HSs display from baseline controls (usually monolinguals). We offer an epistemological discussion related to incomplete acquisition, highlighting the descriptive and theoretical inaccuracy of the term. We focus our discussion on two of several possible causal factors that contribute to variable competence outcomes in adult HSs, input (e.g., Sorace, 2004; Rothman, 2007; Pascual y Cabo & Rothman, 2012) and formal instruction (e.g., Kupisch, 2013; Kupisch et al., 2014) in the HL. We conclude by offering alternative terminology for HS outcomes.

Complementary use of modeling grammars

Conceptual modeling continues to be an important means for graphically capturing the requirements of an information system. Observations of modeling practice suggest that modelers often use multiple modeling grammars in combination to articulate various aspects of real-world domains. We extend an ontological theory of representation to suggest why and how users employ multiple conceptual modeling grammars in combination. We provide an empirical test of the extended theory using survey data and structured interviews about the use of traditional and structured analysis grammars within an automated tool environment. We find that users of the analyzed tool combine grammars to overcome the ontological incompleteness that exists in each grammar. Users further selected their starting grammar from a predicted subset of grammars only. The qualitative data provides insights as to why some of the predicted deficiencies manifest in practice differently than predicted.

Inverse Sensitivity Analysis of Singular Solutions of FRF matrix in Structural System Identification

The problem of structural damage detection based on measured frequency response functions of the structure in its damaged and undamaged states is considered. A novel procedure that is based on inverse sensitivity of the singular solutions of the system FRF matrix is proposed. The treatment of possibly ill-conditioned set of equations via regularization scheme and questions on spatial incompleteness of measurements are considered. The application of the method in dealing with systems with repeated natural frequencies and (or) packets of closely spaced modes is demonstrated. The relationship between the proposed method and the methods based on inverse sensitivity of eigensolutions and frequency response functions is noted. The numerical examples on a 5-degree of freedom system, a one span free-free beam and a spatially periodic multi-span beam demonstrate the efficacy of the proposed method and its superior performance vis-a-vis methods based on inverse eigensensitivity.

Truth, Proof and Gödelian Arguments : A Defence of Tarskian Truth in Mathematics

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion.

Lionhearts of the Playworld : An ethnographic case study of the development of agency in play pedagogy

This is an ethnographic case study of the creation and emergence of a playworld – a pedagogical approach aimed at promoting children’s development and learning in early education settings through the use of play and drama. The data was collected in a Finnish experimental mixed-age elementary school classroom in the school year 2003-2004. In the playworld students and teachers explore different social and cultural phenomena through taking on the roles of characters from a story or a piece of literature and acting inside the frames of an improvised plot. The thesis takes under scrutiny the notion of agency in education. It produces theoretically grounded empirical knowledge of the ways in which children struggle to become recognized and agentive actors in early education settings and how their agency develops in their interaction with adults. The study builds on the activity theoretical and sociocultural tradition and develops a methodological framework called video-based narrative interaction analysis for studying student agency as developing over time but manifesting through the situational material and discursive local interactions. The research questions are: 1. What are the children’s ways of enacting their agency in the playworld? 2. How do the children’s agentive actions change and develop over the spring? 3. What are the potentials and challenges of the playworld for promoting student agency? 4. How do the teachers and the children deal with the contradiction between control and agency in the playworld? The study consists of a summary part and four empirical articles which each have a particular viewpoint. Articles I and II deal with individual students’ paths to agency. In Article I the focus is on the role of resistance and questioning in enabling important spaces for agency. Article II takes a critical gender perspective and analyzes how two girls struggled towards recognition in the playworld. It also illuminates the role of imagination in developing a sense of agency. Article III examines how the open-ended and improvisational nature of the playworld interaction provided experiences and a sense of ‘shared agency’ for the students and teachers in the class. Article IV turns the focus on the teachers and analyzes how their role actions in the playworld helped the children to enact agency. It also discusses the challenges that the teachers faced in this work and asks what makes the playworld activity sustainable in the class. The summary part provides a critical literature review on the concept of agency and argues that the inherently contradictory nature of the phenomenon of agency has not been sufficiently theorized. The summary part also locates the playworld intervention in a historical frame by discussing the changing conceptions of adulthood and childhood in the West. By focusing on the changing role of play and art in both adults’ and children’s contemporary lives, the thesis opens up an important but often neglected perspective on the problem of promoting student agency in education. The results illustrate how engaging in a collectively imagined and dramatized pretend play space together with the children enabled the teachers to momentarily put aside their “knower” positions in the classroom. The fictive roles and the narrative plot helped them to create a necessary incompleteness and open-endedness in the activity that stimulated the children’s initiatives. This meant that the children too could momentarily step out of their traditional classroom positions as pupils and initiate action to further the collective play. Engaging in this kind of unconventional activity and taking up and enacting agency was, however, very challenging for the participating children and teachers. It often contradicted the need to sustain control and order in the classroom. The study concludes that play- and drama-based pedagogies offer a unique but undeveloped potential for developing educational spaces that help teachers and children deal with the often contradictory requirements of schooling.

Yhteisön ja yhteiskunnan ehdoilla : Seurakuntien ja kuntien yhteistyö vuorovaikutuksen näkökulmasta

In this research, the cooperation between Finnish municipalities and Evangelical Lutheran parishes is studied from the standpoint of institutional interaction. The most essential theoretical background for the study is the differentiation thesis of the secularization theory. Cooperation from the viewpoints of both organizations is examined using the functional approach. Furthermore, the market theory and other theories are applied in order to place the studied phenomenon in the wider context of the theories of the sociology of religion. Sacralization in modern society and its relationship with the differentiation thesis of the secularization theory are in the theoretical foci. In addition, along with a descriptive examination of cooperation, the normative sides of the phenomenon are discussed. The survey was conducted among all municipalities and parishes in continental Finland. The questionnaires were sent to all municipal managers of youth work and afternoon activities and to all managers of child, youth and social work in the parishes. The response rate for the municipalities was 73.9 % and for the parishes 69.5 %. In addition, two qualitative data were utilized. The aim of the study is to scrutinize what kind of limitations of differentiation can be caused by the interaction between the secular and the religious. In order to solve the problem, an empirical study of sacralization in the modern context is required. For this purpose, the survey was carried out to determine the effects of the religious on the secular and the impact of the secular on the religious. In the articles of the study the following relationships are discussed: the positions of municipalities and parishes in relation to the state and civil society; cooperation in relation to differentiation; sacralization in relation to the differentiation thesis and cooperation in relation to pluralism. The results of the study highlighted the significance of the cooperation, which was contrary to the secularization theory connected to religious sacralization. The acceptance of the appearance of religion in cooperation and parishes support for municipal function was high in municipalities. Religious cooperation was more active than secular cooperation within all fields. This was also true between fields: religiously orientated child work was more active than the societally orientated social work of the church. Religious cooperation in modern fields of activity underlined sacralization. However, the acceptance of sacralization was weaker in cities than rural areas. Positive relationships between the welfare function of municipalities and the religious function of parishes emphasized the incompleteness of differentiation and the importance of sacralization. The relationship of the function of municipalities with parishes was neither negative nor neutral. Thus, in the most active fields, that is, child work and the traditional social work of the church, the orientation of parishes in cooperation supported the functions of both organizations. In more passive fields, that is, youth work and the societal social work of the church, parishes were orientated towards supporting the municipal function. The orientation of municipalities to religion underlined the perception that religious function is necessary for cooperation. However, the official character of cooperation supported accommodation to the requirements of societal pluralism. According to the results, sacralization can be effective also at the institutional level. The religious effect of voluntary cooperation means that religious sacralization can also readjust to modern society. At the same time, the results of the study stressed the importance of institutional autonomy. Thus, the public sector has a central role in successful cooperation. The conditions of cooperation are weakened if there is no official support of cooperation or adjustment to the individual rights of modern society. The results called into question the one-directional assumptions in the secularization paradigm and the modernization theory in the background. In these assumptions, religion that represents the traditional is seen to give way to the modern, especially at the institutional level. Lack of an interactional view was identified as a central weakness of the secularization paradigm. In the theoretical approach created in the study, an interactional view between religious and secular institutions was made possible by limiting the core of the differentiation thesis to autonomy. The counter forces of differentiation are despecialization and sacralization. These changes in the secularization theory bring about new interactivity on the institutional level. In addition to the interactional approach, that is, the secularization and sacralization theory created as a synthesis of the study, interaction between the religious and the secular is discussed from the standpoint of multiple modernities. The spiritual welfare role of religion is seen as a potential supporter of secular institutions. Religion is set theoretically amongst other ideologies and agents, which can create communal bonds in modern society. Key words: cooperation, municipalities, parishes, sacralization, secularization, modernization, multiple modernities, differentiation, interaction, democracy, secularism, pluralism, civil society

Stalinismin lyhyt kurssi : Suomalaiset Moskovan Lenin-koulussa 1926-1938

This study of the Finns at the International Lenin School (ILS) reflects history of the Soviet Union during Stalin's era, history of the Communist International (Comintern) as well as history of Finnish communism. The life span of the ILS (1926-1938) matches up with creating and establishing the power structures of Stalinism. Both the ILS and Finnish Communism in the USSR became casualties of the Great Terror (1937-1938). After the WW2, however, the Soviet education was appreciated inside the Communist Party of Finland (CPF). If Finland would have become People's Democracy, the former ILS students would have composed the inner circle of the new "democratic" government. The Finnish teachers of the ILS were leaders of the CPF that was headquartered in Moscow. At the ILS studied in total 141 Finnish communists. The purpose of the ILS was to educate the communist parties' leading stratum of functionaries. They were supposed to internalize current values, methods and discipline of the Bolsheviks. This study evaluates the effects of the total school experience on the Finns that often ended in another total institution in Finland: prison. The curricula of the ILS consisted of theory of Marxism-Leninism, party history, political economics and themes of campaigns of Stalinism. The ILS year included participation in Bolshevik party life and practical work. During summer excursions (praktikas) the students could acquaint themselves with building of socialism in the Soviet Republics. At the ILS, intention to ideological moulding was not hidden. The students were supposed to adopt the Stalinist identity of the professional revolutionaries of the era. The ILS was saturated with ideology and propaganda. This study analyzes especially uses of history as vehicle of ideological standardisation and as instrument of power. Stalin contributed personally to shortcomings of history writing of the communist party. Later he supervised writing of the inclusive handbook of communism, "History of the All-Union Communist Party. Short Course". Special attention will be paid to the effects of Stalin's intervention at the ILS and inside the CPF. The life of the Finns at the ILS and outside the school is described at grass roots. The dividing line between personal and political is analyzed by charting emotional, intimate and bodily experiences of the Finns of the ILS. The fates of the ILS Finns after the studying or teaching period in Moscow are explored in detail. The protagonist among the teachers is Yrjö Sirola that was called "father of the CPF cadres". The Finnish ILS teachers and the formed students that had remained in the USSR were most severely hit by the Great Terror. The Soviet education had most importance in Finland of post WW2 period. The training at the ILS, however, did not contribute to revolution in Finland. The main heading of the study, "A Short Course of Stalinism", crystallises interpretation of the ILS as seat of learning of ideological unity of Stalinism. On the other hand, the title includes a statement of incompleteness of the Stalinist education if the schooling at the ILS had remained in one year.

Psykoterapia, masennus ja sisäinen tarina

Psychotherapy has been shown to be an effective treatment for depression, but not enough is known about the subjective meanings of therapy for human life. This study focuses on experiences of the effects of psychotherapy, thoughts about changes in depression and meanings of the therapy in the inner narratives of persons who sought psychotherapy for their depression. The study was based on interviews of 14 persons, who took part in the Helsinki Psychotherapy Study (HPS). Half of them took part in short-term solution-focused therapy and half in long-term psychodynamic psychotherapy. The sample included both women and men. Part of them had recovered from their depression by the end of therapy (BDI<10), part had not. Therapy was experienced to have effects on one s immediate feelings, thoughts and social actions. Some barriers were also connected to the therapy and the HPS research frame. The relief of depression was explained by enhanced understanding and perspective changes. Also the therapeutic alliance and factors not connected to therapy were seen to have influence on the experienced changes. The resumption of depression was regarded as the consequence of ill-fitting therapy or therapist, incompleteness of the therapy or other reasons not connected to the therapy itself. With the narrative analysis three interpretations were constructed concerning how the persons had sought for therapy, what was the image they had about themselves and their problems and what were their expectations for the therapy. The interpretations were summed up to the life historical, situational and moral inner narrative. Through the psychotherapy some inner narratives came true. In these cases psychotherapy reinforced the original inner narrative. In other cases psychotherapy did not meet the inner narrative of the person, neither had the narrative changed. For some persons the inner narrative got new forms during the therapy: the analyses showed that psychotherapy had reconstructed the persons conceptions about themselves and their problems, which led to changes in the expectations concerning the therapy. Key words: psychotherapy, depression, inner narrative, qualitative research, analysis of narrative, narrative analysis

Discovering user preferences by using time entries in click-through data to improve search engine results

The search engine log files have been used to gather direct user feedback on the relevancy of the documents presented in the results page. Typically the relative position of the clicks gathered from the log files is used a proxy for the direct user feedback. In this paper we identify reasons for the incompleteness of the relative position of clicks for deciphering the user preferences. Hence, we propose the use of time spent by the user in reading through the document as indicative of user preference for a document with respect to a query. Also, we identify the issues involved in using the time measure and propose means to address them.

A Possible and Necessary Consistency Proof

After Gödel's incompleteness theorems and the collapse of Hilbert's programme Gerhard Gentzen continued the quest for consistency proofs of Peano arithmetic. He considered a finitistic or constructive proof still possible and necessary for the foundations of mathematics. For a proof to be meaningful, the principles relied on should be considered more reliable than the doubtful elements of the theory concerned. He worked out a total of four proofs between 1934 and 1939. This thesis examines the consistency proofs for arithmetic by Gentzen from different angles. The consistency of Heyting arithmetic is shown both in a sequent calculus notation and in natural deduction. The former proof includes a cut elimination theorem for the calculus and a syntactical study of the purely arithmetical part of the system. The latter consistency proof in standard natural deduction has been an open problem since the publication of Gentzen's proofs. The solution to this problem for an intuitionistic calculus is based on a normalization proof by Howard. The proof is performed in the manner of Gentzen, by giving a reduction procedure for derivations of falsity. In contrast to Gentzen's proof, the procedure contains a vector assignment. The reduction reduces the first component of the vector and this component can be interpreted as an ordinal less than epsilon_0, thus ordering the derivations by complexity and proving termination of the process.

On the fundamentals of coherence theory

In the thesis I study various quantum coherence phenomena and create some of the foundations for a systematic coherence theory. So far, the approach to quantum coherence in science has been purely phenomenological. In my thesis I try to answer the question what quantum coherence is and how it should be approached within the framework of physics, the metatheory of physics and the terminology related to them. It is worth noticing that quantum coherence is a conserved quantity that can be exactly defined. I propose a way to define quantum coherence mathematically from the density matrix of the system. Degenerate quantum gases, i.e., Bose condensates and ultracold Fermi systems, form a good laboratory to study coherence, since their entropy is small and coherence is large, and thus they possess strong coherence phenomena. Concerning coherence phenomena in degenerate quantum gases, I concentrate in my thesis mainly on collective association from atoms to molecules, Rabi oscillations and decoherence. It appears that collective association and oscillations do not depend on the spin-statistics of particles. Moreover, I study the logical features of decoherence in closed systems via a simple spin-model. I argue that decoherence is a valid concept also in systems with a possibility to experience recoherence, i.e., Poincaré recurrences. Metatheoretically this is a remarkable result, since it justifies quantum cosmology: to study the whole universe (i.e., physical reality) purely quantum physically is meaningful and valid science, in which decoherence explains why the quantum physical universe appears to cosmologists and other scientists very classical-like. The study of the logical structure of closed systems also reveals that complex enough closed (physical) systems obey a principle that is similar to Gödel's incompleteness theorem of logic. According to the theorem it is impossible to describe completely a closed system within the system, and the inside and outside descriptions of the system can be remarkably different. Via understanding this feature it may be possible to comprehend coarse-graining better and to define uniquely the mutual entanglement of quantum systems.

Sanomattakin selvää? : "Ja", "mutta" ja "että" puheenvuoron lopussa

This study describes the use of utterances ending in the conjunctions "ja" (‘and’), "mutta" (‘but’) or "että" (‘that’/‘so’) in Finnish conversation. It argues that in spoken interaction, these conjunctions are not only used as linking elements but also as final elements in interactional and linguistic units. In contrast to more traditional views, the study shows that final conjunctions do not always indicate incompleteness or project continuation, but that they can also form recognizable points for turn-transition. In these contexts they can be reanalyzed as final particles that leave some aspect of the turn implicit. The data for the study consist of audio-taped telephone conversations and videotaped service encounters. Situated within the framework of conversation analysis and interactional linguistics, the study discusses the interactional uses of conjunction-final turns and their recognizability as possibly complete units in talk-in-interaction. The analysis of conjunction-final utterances focuses on 1) participant orientation, and 2) their recurrent contexts of use. The results show that the recipients of conjunction-final utterances often treat them as sufficient and complete in their contexts by displaying understanding or agreement. When the same speaker continues after a pause, it is not always clear that the continuation was "planned" in advance; it can also be reactive to lack of expected uptake. In these cases, a turn can be analyzed as potentially complete even if the same speaker decides to continue after a pause. In the light of these observations, the study confirms the incremental nature of spoken language. All the final conjunctions under examination have recurrent and recognizable contexts of use. Most typically, a conjunction-final utterance is produced in the service of some earlier claim by the same speaker. The conjunction-final utterance may 1) specify the earlier claim with a detailing list ("ja"), 2) legitimize it by presenting grounds ("että") or 3) partly back down from it by making a concession ("mutta"). Together with the earlier claim, conjunction-final utterances form recognizable discourse patterns that are used for argumentative purposes. In these contexts, conjunctions are used to relinquish the floor instead of functioning as turn-holding devices. In conclusion, the study discusses the emergence of conjunctions as final particles – how their development can be explained. Conjunction-type final particles emerge from recurring situations in which the future course of the conjunction-final turn-so-far is clear enough to remain unsaid, to be left to inference. More specifically, this ability to leave something to inference often lies in the fixed discourse patterns that are conventionalized and predictable and thus reducible.