Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

On linear order and computation : The expressiveness of interactive computations on linear orders and computations indexed by ordinals

We solve the Dynamic Ehrenfeucht-Fra\"iss\'e Game on linear orders for both players, yielding a normal form for quantifier-rank equivalence classes of linear orders in first-order logic, infinitary logic, and generalized-infinitary logics with linearly ordered clocks. We show that Scott Sentences can be manipulated quickly, classified into local information, and consistency can be decided effectively in the length of the Scott Sentence. We describe a finite set of linked automata moving continuously on a linear order. Running them on ordinals, we compute the ordinal truth predicate and compute truth in the constructible universe of set-theory. Among the corollaries are a study of semi-models as efficient database of both model-theoretic and formulaic information, and a new proof of the atomicity of the Boolean algebra of sentences consistent with the theory of linear order -- i.e., that the finitely axiomatized theories of linear order are dense.

Locality and order-invariant logics

Malli on logiikassa käytetty abstraktio monille matemaattisille objekteille. Esimerkiksi verkot, ryhmät ja metriset avaruudet ovat malleja. Äärellisten mallien teoria on logiikan osa-alue, jossa tarkastellaan logiikkojen, formaalien kielten, ilmaisuvoimaa malleissa, joiden alkioiden lukumäärä on äärellinen. Rajoittuminen äärellisiin malleihin mahdollistaa tulosten soveltamisen teoreettisessa tietojenkäsittelytieteessä, jonka näkökulmasta logiikan kaavoja voidaan ajatella ohjelmina ja äärellisiä malleja niiden syötteinä. Lokaalisuus tarkoittaa logiikan kyvyttömyyttä erottaa toisistaan malleja, joiden paikalliset piirteet vastaavat toisiaan. Väitöskirjassa tarkastellaan useita lokaalisuuden muotoja ja niiden säilymistä logiikkoja yhdistellessä. Kehitettyjä työkaluja apuna käyttäen osoitetaan, että Gaifman- ja Hanf-lokaalisuudeksi kutsuttujen varianttien välissä on lokaalisuuskäsitteiden hierarkia, jonka eri tasot voidaan erottaa toisistaan kasvavaa dimensiota olevissa hiloissa. Toisaalta osoitetaan, että lokaalisuuskäsitteet eivät eroa toisistaan, kun rajoitutaan tarkastelemaan äärellisiä puita. Järjestysinvariantit logiikat ovat kieliä, joissa on käytössä sisäänrakennettu järjestysrelaatio, mutta sitä on käytettävä siten, etteivät kaavojen ilmaisemat asiat riipu valitusta järjestyksestä. Määritelmää voi motivoida tietojenkäsittelyn näkökulmasta: vaikka ohjelman syötteen tietojen järjestyksellä ei olisi odotetun tuloksen kannalta merkitystä, on syöte tietokoneen muistissa aina jossakin järjestyksessä, jota ohjelma voi laskennassaan hyödyntää. Väitöskirjassa tutkitaan minkälaisia lokaalisuuden muotoja järjestysinvariantit ensimmäisen kertaluvun predikaattilogiikan laajennukset yksipaikkaisilla kvanttoreilla voivat toteuttaa. Tuloksia sovelletaan tarkastelemalla, milloin sisäänrakennettu järjestys lisää logiikan ilmaisuvoimaa äärellisissä puissa.

The Road to Hell Is Paved with Good Interventions : A Pragmatic Examination of Humanitarian Intervention with Special Reference to Kosovo

Kansainvälisen oikeuden alaan kuuluvassa tutkielmassa käsitellään humanitaarisen intervention oikeutusta ja laillisuutta. Tutkimuskysymyksenä on, missä määrin humanitaarisilla näkökohdilla perusteltuja sotilaallisia toimia tai niillä uhkaamista voi pitää kansainvälisoikeudellisesti hyväksyttävänä ja millainen painoarvo ennakkotapauksena olisi annettava NATO-maiden Kosovossa toteuttamalle väliintulolle. Tutkielmassa perehdytään ihmisoikeusajattelun tiettyjen taustaoletusten kritiikkiin. Tarkastelun kohteena ovat erityisesti kannanotot, joiden mukaan ihmisoikeuksia ei voi pitää luonteeltaan universaaleina, sekä kyseiseen kritiikkiin liittyvät väitteet siitä, että ns. hegemonisessa asemassa olevat valtiot hyödyntävät ihmisoikeusargumentteja oikeuttaakseen voimankäyttönsä. Universaalisuuskritiikkiä voidaan pitää pitkälti perusteltuna, mutta nykyinen kansainvälinen yhteisö tarvitsee kuitenkin tietynlaisia yleismaailmallisia normeja voidakseen toimia tehokkaasti. Kritiikin ei voikaan katsoa pätevän humanitaarisen intervention kannalta keskeisiin ihmisoikeusnormeihin kuten kansanmurhan kieltoon, sillä kyseiset velvoitteet suojaavat kansainvälisen yhteisön toimivuutta ja uskottavuutta. Humanitaarisiin argumentteihin liittyy kuitenkin muita ongelmia: niillä on esimerkiksi aika ajoin pyritty oikeuttamaan sotilaallisia toimia, joissa ihmisoikeusnäkökohdat eivät välttämättä ole olleet etusijalla. Ihmisoikeuksille ei ole syytä antaa kansainvälisessä oikeudessa asemaa universaaleina "superargumentteina", jotka eivät olisi kyseenalaistettavissa. YK:n peruskirjan ja kansainvälisen tapaoikeuden näkökulmasta humanitaarisen intervention kaltaiseen voimankäyttöön vaaditaan turvallisuusneuvoston hyväksyntä, jota ei Kosovo-operaatioon saatu. Interventiota voi tässä suhteessa pitää yksiselitteisesti laittomana, sillä sen tueksi esitetyt oikeudelliset argumentit eivät ole vakuuttavia. Tapaukseen liittyvät ihmisoikeusnäkökohdat ovat kuitenkin siinä määrin merkittäviä, että ongelmaan ei ole perusteltua suhtautua tiukan legalistisesti. Operaation hyväksyminen moraaliargumenttien nojalla voisi kuitenkin johtaa nykyisten voimankäyttörajoitusten marginalisoitumiseen, mikä olisi yllä käsitellyn kritiikin valossa ongelmallista. Tutkielmassa nostetaan suositeltavaksi ratkaisuksi lähestymistapa, jossa Kosovon tapaus ymmärretään yksittäisenä oikeudenvastaisena mutta samalla oikeudenulkoisena poikkeustapauksena. Tällöin peruskirjan mukainen voimankäytön sääntely säilyy entisellään ilman että humanitaariset näkökohdat jäisivät tyystin huomiotta. Ratkaisu ei sulje pois mahdollisuutta suhtautua positiivisesti Kosovo-operaation mahdollisesti luomaan "poliittiseen normiin": suuren mittakaavan ihmisoikeusloukkaukset eivät jää Euroopassa seurauksitta. Ilman turvallisuusneuvoston suostumusta toteutettaviin humanitaarisiin interventioihin liittyvien käytännöllisten ja kansainvälisoikeudellisten riskien vuoksi niihin on kuitenkin aihetta suhtautua suurella varauksella.

State Agent, Identity and the "New World Order" : Reconstructing Polish Defence Identity after the Cold War Era

National identity signifies and makes state s defence- and foreign policy behaviour meaningful. National consciousness is narrated into existence by narratives upon one s own exceptionalism and Otherness of the other nations. While national identity may be understood merely as a self-image of a nation, defence identity refers to the borders of Otherness and issues that have been considered as worth defending for. As national identities and all the world order models are human constructions, they may be changed by the human efforts as well; states and nations may deliberately promote communitarian or even cosmopolitan equality and tolerance without borders of Otherness. The main research question of the thesis is: How does Poland constitute herself as a nation and a state agent in the current world order and to what extent have contextual foreign and defence policy interactions changed the Polish defence identity during the post-Cold War era? The main empirical argument of the thesis is: Poland is a narrated idea of a Christian Catholic nation-state, which the Polish State, the Catholic Church of Poland, the Armed Forces of Poland as well as a majority of the Polish nation share. Polish defence identity has been almost impenetrable to contextual foreign and defence policy interactions during the post-Cold War era. While Christian religious ontology binds corporate Poland together, allowing her to survive any number of military and political catastrophes, it simultaneously brings her closer to the USA, raises tensions in the infidel EU-context, and restrains corporate Poland s pursuit of communitarian, or even cosmopolitan, global equality and tolerance. It is not the case that corporate Poland s foreign and defence policy orientation is instinctively Atlanticist by nature, as has been argued. Rather, it has been the State s rational project to overcome a habituated and reified fear of becoming geopolitically sandwiched between Russian and German Others by leaning on the USA; among the Polish nation, support for the USA has been declining since 2004. It is not corporate Poland either that has turned into a constructive European , as has been argued, but rather the Polish nation that has, at least partly, managed to emancipate itself from its habituation to a betrayal by Europe narrative, since it favours the EU as much as it favours NATO. It seems that in the Polish case a truly common European CFSP vis-à-vis Russia may offer a solution that will emancipate the Polish State from its habituated EU-sceptic role identity and corporate Poland from its narrated borders of Otherness towards Russia and Germany, but even then one cannot be sure whether any other perspective than the Polish one on a common stand towards Russia would satisfy the Poles themselves.

Future chemistry teachers use of knowledge dimensions and high-order cognitive skills in pre-laboratory concept maps

This poster describes a pilot case study, which aim is to study how future chemistry teachers use knowledge dimensions and high-order cognitive skills (HOCS) in their pre-laboratory concept maps to support chemistry laboratory work. The research data consisted of 168 pre-laboratory concept maps that 29 students constructed as a part of their chemistry laboratory studies. Concept maps were analyzed by using a theory based content analysis through Anderson & Krathwohls' learning taxonomy (2001). This study implicates that novice concept mapper students use all knowledge dimensions and applying, analyzing and evaluating HOCS to support the pre-laboratory work.

Word order and tonal shape in the production of focus in short Finnish utterances

This paper presents results from a study on the production of Finnish prosody. The effect of word order and the tonal shape in the production of Finnish prosody was studied as produced by 8 native Finnish speakers. Predictions formulated with regard to results from an earlier study pertaining to the perception of promi- nence were tested. These predictions had to do with the tonal shape of the utterances in the form of a flat hat pattern and the effect of word order on the so called top-line declination within an adver- bial phrase in the utterances. The results from the experiment give support to the following claims: the temporal domain of prosodic focus is the whole utterance, word order reversal from unmarked to marked has an effect on the production of prosody, and the pro- duction of the tonal aspects of focus in Finnish follows a basic flat hat pattern. That is the prominence of a word can be produced by an f 0 rise or a fall, depending on the location of the word in an utterance. The basic accentual shape of a Finnish word is then not a pointed rise/fall hat shape as claimed before since it can vary depending on the syllable structure and the position within an ut- terance.

Psychosocial processes of health behaviour change in a lifestyle intervention : Influences of gender, socioeconomic status and personality

Background: The onset of many chronic diseases such as type 2 diabetes can be delayed or prevented by changes in diet, physical activity and obesity. Known predictors of successful behaviour change include psychosocial factors such as selfefficacy, action and coping planning, and social support. However, gender and socioeconomic differences in these psychosocial mechanisms underlying health behaviour change have not been examined, despite well-documented sociodemographic differences in lifestyle-related mortality and morbidity. Additionally, although stable personality traits (such as dispositional optimism or pessimism and gender-role orientation: agency and communion) are related to health and health behaviour, to date they have rarely been studied in the context of health behaviour interventions. These personality traits might contribute to health behaviour change independently of the more modifiable domain-specific psychosocial factors, or indirectly through them, or moderated by them. The aims were to examine in an intervention setting: (1) whether changes (during the three-month intervention) in psychological determinants (self-efficacy beliefs, action planning and coping planning) predict changes in exercise and diet behaviours over three months and 12 months, (2) the universality assumption of behaviour change theories, i.e. whether preintervention levels and changes in psychosocial determinants are similar among genders and socioeconomic groups, and whether they predict changes in behaviour in a similar way in these groups, (3) whether the personality traits optimism, pessimism, agency and communion predict changes in abdominal obesity, and the nature of their interplay with modifiable and domain-specific psychosocial factors (self-efficacy and social support). Methods: Finnish men and women (N = 385) aged 50 65 years who were at an increased risk for type 2 diabetes were recruited from health care centres to participate in the GOod Ageing in Lahti Region (GOAL) Lifestyle Implementation Trial. The programme aimed to improve participants lifestyle (physical activity, eating) and decrease their overweight. The measurements of self-efficacy, planning, social support and dispositional optimism/pessimism were conducted pre-intervention at baseline (T1) and after the intensive phase of the intervention at three months (T2), and the measurements of exercise at T1, T2 and 12 months (T3) and healthy eating at T1 and T3. Waist circumference, an indicator of abdominal obesity, was measured at T1 and at oneyear (T3) and three-year (T4) follow-ups. Agency and communion were measured at T4 with the Personal Attributes Questionnaire (PAQ). Results: (1) Increases in self-efficacy and planning were associated with three-month increases in exercise (Study I). Moreover, both the post-intervention level and three-month increases (during the intervention) in self-efficacy in dealing with barriers predicted the 12-month increase in exercise, and a high postintervention level of coping plans predicted the 12-month decrease in dietary fat (Study II). One- and three-year waist circumference reductions were predicted by the initial three-month increase in self-efficacy (Studies III, IV). (2) Post-intervention at three months, women had formed more action plans for changing their exercise routines and received less social support for behaviour change than men had. The effects of adoption self-efficacy were similar but change in planning played a less significant role among men (Study I). Examining the effects of socioeconomic status (SES), psychosocial determinants at baseline and their changes during the intervention yielded largely similar results. Exercise barriers self-efficacy was enhanced slightly less among those with low SES. Psychosocial determinants predicted behaviour similarly across all SES groups (Study II). (3) Dispositional optimism and pessimism were unrelated to waist circumference change, directly or indirectly, and they did not influence changes in self-efficacy (Study III). Agency predicted 12-month waist circumference reduction among women. High communion coupled with high social support was associated with waist circumference reduction. However, the only significant predictor of three-year waist circumference reduction was an increase in health-related self-efficacy during the intervention (Study IV). Conclusions: Interventions should focus on improving participants self-efficacy early on in the intervention as well as prompting action and coping planning for health behaviour change. Such changes are likely to be similarly effective among intervention participants regardless of gender and educational level. Agentic orientation may operate via helping women to be less affected by the demands of the self-sacrificing female role and enabling them to assertively focus on their own goals. The earlier mixed results regarding the role of social support in behaviour change may be in part explained by personality traits such as communion.

Bullying and organisational politics in competitive and rapidly changing work environments

This paper argues that workplace bullying can in some cases be a form of organisational politics, that is, a deliberate, competitive strategy from the perspective of the individual perpetrator. A cross-sectional study conducted among business professionals revealed that there was a correlation between a politicised and competitive climate and bullying. This finding implies that globalisation, increased pressures for efficiency, and restructuring, which limits the number of management positions and thereby contributes to increased internal competition, may lead to more bullying. The findings have important implications for management, since the possible political aspects of bullying must be taken into account in order to be able to undertake successful prevention and intervention measures.

The British Intervention in South Russia 1918-1920

Soon after the Bolshevik Revolution of 1917, a three-year civil war broke out in Russia. As in many other civil wars, foreign powers intervened in the conflict. Britain played a leading role in this intervention and had a significant effect on the course of the war. Without this intervention on the White side, the superiority of numbers in manpower and weaponry of the Bolsheviks would have quickly overwhelmed their opponents. The aim of this dissertation is to explain the nature and role of the British intervention on the southern, and most decisive, front of the Civil War. The political decision making in London is studied as a background, but the focus of the dissertation is on the actual implementation of the British policy in Russia. The British military mission arrived in South Russia in late 1918, and started to provide General Denikin s White army with ample supplies. General Denikin would have not been able to build his army of more than 200,000 men or to make his operation against Moscow without the British matériel. The British mission also organized the training and equipping of the Russian troops with British weapons. This made the material aid much more effective. Many of the British instructors took part in fighting the Bolsheviks despite the orders of their government. The study is based on primary sources produced by British departments of state and members of the British mission and military units in South Russia. Primary sources from the Whites, including the personal collections of several key figures of the White movement and official records of the Armed Forces of South Russia are also used to give a balanced picture of the course of events. It is possible to draw some general conclusions from the White movement and reasons for their defeat from the study of the British intervention. In purely material terms the British aid placed Denikin s army in a far more favourable position than the Bolsheviks in 1919, but other military defects in the White army were numerous. The White commanders were unimaginative, their military thinking was obsolete, and they were incapable of organizing the logistics of their army. There were also fundamental defects in the morale of the White troops. In addition to all political mistakes of Denikin s movement and a general inability to adjust to the complex situation in Revolutionary Russia, the Whites suffered a clear military defeat. In South Russia the Whites were defeated not because of the lack of British aid, but rather in spite of it.

Examining effectiveness of an immigrant labor market integration intervention. The role of acculturation, discrimination, self-efficacy, outcome expectances, action and coping planning.

The designing of effective intervention tools to improve immigrants’ labor market integration remains an important topic in contemporary Western societies. This study examines whether and how a new intervention tool, Working Life Certificate (WLC), helps unemployed immigrants to find employment and strengthen their belief of their vocational skills. The study is based on quantitative longitudinal survey data from 174 unemployed immigrants of various origins who participated in the pilot phase of WLC examinations in 2009. Surveys were administered in three waves: before the test, right after it, and three months later. Although it is often argued that the unemployment among immigrants is due either to their lack of skills and cultural differences or to discrimination in recruitment, scholars within social psychology of behavior change argue that the best way of helping people to achieve their goals (e.g. finding employment) is to build up their sense of self-efficacy, alter their outcome expectances in a more positive direction or to help them to construct more detailed action and coping plans. This study aims to shed light on the role of these concepts in immigrants’ labor market integration. The results support the theories of behavior change moderately. Having positive expectances regarding the outcomes of various job search behaviors was found to predict employment in the future. Together with action and coping planning it also predicted increase in job search behavior. The intervention, WLC, was able to affect participants’ self-efficacy, but contrary to expectations, self-efficacy was found not to be related to either job search behavior or future labor market status. Also, perceived discrimination did not explain problems in finding employment, but hints of subtle or structural discrimination were found. Adoption of Finnish work culture together with strong family culture was found to predict future employment. Hence, in this thesis I argue that awarding people diplomas should be preferred in immigrant integration training as it strengthens people’s sense of self-efficacy. Instead of teaching new information, more attention should be directed at changing people’s outcome expectances in a more positive direction and helping them to construct detailed plans on how to achieve their goals.