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.

Untersuchungen zur Fachsprache der Ökologie und des Umweltschutzes im Deutschen und Finnischen : Bezeichnungsvarianten unter einem geschichtlichen, lexikographischen, morphologischen und linguistisch-pragmatischen Aspekt

The work integrates research in the language and terminology of various fields with lexicography, etymology, semantics, word formation, and pragmatics. Additionally, examination of German and Finnish provides the work with perspective of contrastive linguistics and the translation of texts in specialized fields. The work is an attempt to chart the language, vocabulary, different textual types, and essential communication-connected features of this special field. The study is primary concerned with internal communication within the field of ecology, but it also provides a comparison of the public discussion of environmental issues in Germany and Finland. The work attempts to use textual signs to provide a picture of the literary communication used on the different vertical levels in the central text types within the field. The dictionaries in the fields of environmental issues and ecology for the individual text types are examined primarily from the perspective of their quantity and diversity. One central point of the work is to clarify and collect all of the dictionaries in the field that have been compiled thus far in which German and/or Finnish ware included. Ecology and environmental protection are closely linked not only to each other but also to many other scientific fields. Consequently, the language of the environmental field has acquired an abundance of influences and vocabulary from the language of the special fields close to it as well as from that of politics and various areas of public administration. The work also demonstrates how the popularization of environmental terminology often leads to semantic distortion. Traditionally, scientific texts have used the smallest number of expressions, the purpose of which is to appeal to or influence the behavior of the text recipient. Particularly in Germany, those who support or oppose measures to protect the environment have long been making concerted efforts to represent their own views in the language that they use. When discussing controversial issues competing designations for the same referent or concept are used in accordance with the interest group to which the speaker belongs. One of the objectives of the study is to sensitize recipients of texts to notice the euphemistic expressions that occur in German and Finnish texts dealing with issues that are sensitive from the standpoint of environmental policy. One particular feature of the field is the wealth and large number of variants designating the same entry or concept. The terminological doublets formed by words of foreign origin and their German or Finnish language equivalents are quite typical of the field. Methods of corpus linguistics are used to determine the reasons for the large number of variant designations as well as their functionality.

Primestoimenno-otnositel'nye konstrukcii v sovremennom russkom jazyke

Relative Constructions with Pronominal Heads in Contemporary Russian Chapter 1 introduces the distinctive syntactic and semantic properties of Russian relative constructions (RCs), which are then divided into two main classes according to the type of the head phrase. The study concentrates on RCs with pronominal heads, which are systematically compared with noun-headed RCs. Chapter 2 clarifies the categorization of pronouns in Russian. The conclusion is that Russian pronouns include only personal, reflexive and wh-pronouns. The remaining words that are traditionally seen as pronouns are actually functional equivalents of determiners. This idea leads to the suggestion that RCs with these determiner-like words as the only constituent of the head phrase are actually headed by zero pronouns. In the other type of RCs with pronominal heads, the head position is occupied by wh-pronouns with clitics expressing different types of indefiniteness and quantification. Comparison of the two types of pronoun-headed RCs shows that the wh-heads and zero-heads share a number of common properties with respect to the grammatical gender, number and person as well as to the semantic distinction between animates and inanimates. The rest of Chapter 2 gives an overview of various uses of wh-pronouns in Russian and an experimental analysis of RCs headed by pronominal adverbs. Chapter 3 discusses fundamental differences between RCs with noun and pronominal heads. One of the main findings is that the choice of the relative pronoun (kto 'who' and chto 'what' versus kotoryj 'which') is motivated by a tendency to reproduce maximally the essential grammatical and semantic properties of the antecedent. Chapter 4 gives a detailed description of the determiner-like words and wh-based heads used in the two types of RCs with pronominal heads. In addition, several issues related to the syntax and semantics of free relatives are discussed. The conclusion is that there is no need to establish a separate category of free relatives in Russian. Chapter 5 discusses the syntax and semantics of correlative and free concessive constructions. They share a number of properties with pronoun-headed RCs and the two are often confused in Russian linguistics. However, a detailed analysis shows that these constructions must be distinguished from RCs. The study combines the methods of functionally-oriented Russian structuralism with some insights from generative syntax.

Zur Sättigung der Valenz in den Kleinen Meldungen des Typus Notiz : Eine pragmatisch fundierte Analyse

Valency Realization in Short Excerpts of News Text. A Pragmatics-funded analysis This dissertation is a study of the so-called pragmatic valency. The aim of the study is to examine the phenomenon both theoretically by discussing the research literature and empirically based on evidence from a text corpus consisting of 218 short excerpts of news text from the German newspaper Frankfurter Allgemeine Zeitung. In the theoretical part of the study, the central concepts of the valency and the pragmatic valency are discussed. In the research literature, the valency denotes the relation among the verb and its obligatory and optional complements. The pragmatic valency can be defined as modification of the so-called system valency in the parole, including non-realization of an obligatory complement, non- realization of an optional complement and realization of an optional complement. Furthermore, the investigation of the pragmatic valency includes the role of the adjuncts, elements that are not defined by the valency, in the concrete valency realization. The corpus study investigates the valency behaviour of German verbs in a corpus of about 1500 sentences combining the methodology and concepts of valency theory, semantics and text linguistics. The analysis is focused on the about 600 sentences which show deviations from the system valency, providing over 800 examples for the modification of the system valency as codified in the (valency) dictionaries. The study attempts to answer the following primary question: Why is the system valency modified in the parole? To answer the question, the concept of modification types is entered. The modification types are recognized using distinctive feature bundles in which each feature with a negative or a positive value refers to one reason for the modification treated in the research literature. For example, the features of irrelevance and relevance, focus, world and text type knowledge, text theme, theme-rheme structure and cohesive chains are applied. The valency approach appears in a new light when explored through corpus-based investigation; both the optionality of complements and the distinction between complements and adjuncts as defined in the present valency approach seem in some respects defective. Furthermore, the analysis indicates that the adjuncts outside the valency domain play a central role in the concrete realization of the valency. Finally, the study suggests a definition of pragmatic valency, based on the modification types introduced in the study and tested in the corpus analysis.

Konstrukcija mnimosti : K poètike "Voskovoj persony" Ju. Tynjanova

The subject of this work is the poetics of «The Wax Effigy», a short novel or novella by Jurii Tynianov, Russian writer, literary critic, historian of literature and prominent literary theoretician. The plot structure of the novel is based upon a real event, the creation by Bartolomeo Carlo Rastrelli in 1725 of a wax sculpture of the first Russian emperor, Peter the Great. «Construction of the Sham» consists of three chapters, an introduction and a conclusion. Due to the fact that Tynianov was at the same time a prose writer and theoretician of literature it seemed important to consider the reception of his prose and his works on literary theory in relationship to each other. The introduction is devoted to this task. The first chapter is about the history of the creation of the novel and its reception. Tynianov stopped writing one short story in order to write the novel; these two works have some common traits. It seems almost obvious that his work on the first text was a real step toward the creation of the second. In the first story there is an opposition of dead/alive which is semantic prefiguring of a central motif in «The Wax Effigy». An analysis of the reception of the novel demonstrated that almost every critic writing about the novel has described it as nonsense. Critics considered Tynianov's work in terms of «devices» and «content» and could not understand how devices are related to the content of the novel: the novel was thought as a signifier without any signified. Implicitly, critics thought the signified of the novel as a traditional one of the historical novel, as the historiosophical «idea», embodied in the system of literary devices. In this case literature becomes something instrumental, a kind of expression of extraliterary content. In contradistinction to that Tynianov considered literary semantics as an effect of the literary structure. From his point of view the literary sense is immanent to the process of signification accomplished inside the literary text. The second chapter is devoted to a rhetorical analysis of the opposition dead/alive. Tynianov systematically compares both terms of the opposition. As a result of this strategy the wax effigy of the dead emperor becomes «as if» alive and the world of living people «as if» dead. The qualifier «as if» refers to the fact that Tynianov creates an ambiguous semantic system. This rhetoric is related to European Romanticism and his «fantastic literature» (Merimé, Hoffmann, Maupassant etc.). But Tynianov demonstrates a linguistic origin of the strange fantoms created by romantics; he demystifies these idols by parodying the fantastic literature, that is, showing «how it was done». At the same time, the opposition mentioned above refers to his idea of «incongruity» which plays a prominent role in Tynianov s theory but has never been conceptualised. The incongruity is a inner collision of the literary text; from Tynianov's point of view the meaning of the work of literature is always a dynamic collision of semantically heterogeneous elements struggling with each other. In «The Wax Effigy» Tynianov creates a metalevel of the work demonstrating the process of creation of the literary sense. The third chapter is a reconstruction of Tynianov's conception of the historical prose, specifically of the mechanisms by which historical facts are transformed into literary events. Tynianov thought that the task of the historical novelist is to depict his hero as an actor, to demonstrate that as a wearer of many masks he is a creator of appearances, ambiguities. Here, in the «figure of fiction» (Andrei Belyi), the very idea of the historical prose and rhetoric employed in «The Wax Effigy», history and literature meet each other. In his last theoretical work, «On parody» Tynianov writes about the so-called sham structure of parody. In his opinion every parody is a text about other texts and «serious» work which could be read at the same time as a text about «reality». This twofold structure of parody is that of «The Wax Effigy»: that text speaks about ambiguities of the history and about ambiguities of the literary sense, about social reality of the past and - about the working of the literature itself. «The Wax Effigy» is written as a autoreflective text, as an experiment in literary semantics, as a system of literary ambiguities - of hero, rhetoric and the text itself. The meaning of the novel is created not by the embodiment extraliterary idea, but by the process of signification accomplished inside the work of literature. In this sense Tynianov's novel is parody, a break with the tradition of the historical novel preceding «The Wax Effigy».

Kaukainen rakkaus : Saavuttamattomuuden semantiikka Kaija Saariahon oopperassa

L Amour de loin: The semantics of the unattainable in Kaija Saariaho s opera Kaija Saariaho (born 1952) is one of the most internationally successful Finnish composers there has ever been. Her first opera L Amour de loin (Love from afar, 1999-2000) has been staged all over the world and has won a number of important prizes. The libretto written for L Amour de loin by Amin Malouf (born 1949) sets the work firmly in the culture of courtly love and the troubadours, which flourished in Occitania in the South of France during the Middle Ages. The male lead in the opera is the troubadour Jaufré Rudel, who lived in the twelfth century and is known to have taken part in the Second Crusade in 1147-1148. This doctoral thesis L Amour de loin: The semantics of the unattainable in Kaija Saariaho s opera, which comes within the field of musicology and opera research, examines the dimensions of meaning contained in Kaija Saariaho s opera L Amour de loin. This hermeneutic-semiotic study is the first doctoral thesis dealing with Saariaho to be completed at the University of Helsinki. It is also the first thesis-level study of Saariaho s opera to be completed anywhere in the world. The study focuses on the libretto and music of the opera, that is to say the dramatic text (L Amour de loin 1980), and examines on the one hand the dimensions of meaning produced by the dramatic text and on the other, the way in which they fix the dramatic text in a historical and cultural context. Thus the study helps to answer questions about the dimensions of meaning contained in the dramatic text of the opera and how they can be interpreted. The most important procedural viewpoint is Lawrence Kramer s hermeneutic window (1990), supplemented by Raymond Monelle s semiotic theory of musical topics (2000, 2006) and the philosophical concept of Emmanuel Levinas (1996, 2002) in which the latter acts as an instrument for semantic interpretation to build up an analysis. The analytical section of the study is built around the three characters in the opera, Jaufré Rudel, Clémence the Countess of Tripoli, and the Pilgrim. The study shows that the music of Saariaho, who belongs to the third generation of Finnish modernists, has become distanced from the post-serial aesthetic towards a more diatonic form of expression. There is diatonicity, for instance, in the sonorous individuality of the male lead, which is based on the actual melodies of the historical Jaufré Rudel. The use of outside material in this context is exceptional in the work of Saariaho. At the same time, Saariaho s opera contains a wealth of expressive devices she has used in her earlier work. It became apparent during the study that, as a piece of music, L Amour de loin is a many layered and multi-dimensional work that does not unambiguously represent any single stylistic trend or aesthetic. Despite the composer s post-serial background and its abrasive relationship with opera, L Amour de loin is firmly attached to the tradition of western opera. The analysis based on the theory of musical topics that was carried out in the study, shows that topics referring to death and resurrection, used in opera since the seventeenth century, appear in L Amour de loin. The troubadour topic, mainly identified with the harp, also emerges in the work. The study also shows that the work is firmly attached to the tradition of western opera in other aspects, too, such as the travesti or trouser role played by the Pilgrim, and the idea of deus ex machina derived from Ancient Greek theatre. The study shows that the concept of love based on the medieval practices of courtly love, and the associated longing for another defined by almost 1,000 years of western culture, are both manifested in the semantics of Kaija Saariaho s opera which takes its place in the contemporary music genre.

Constructive Perspectives on Inductive Logic

Constructive (intuitionist, anti-realist) semantics has thus far been lacking an adequate concept of truth in infinity concerning factual (i.e., empirical, non-mathematical) sentences. One consequence of this problem is the difficulty of incorporating inductive reasoning in constructive semantics. It is not possible to formulate a notion for probable truth in infinity if there is no adequate notion of what truth in infinity is. One needs a notion of a constructive possible world based on sensory experience. Moreover, a constructive probability measure must be defined over these constructively possible empirical worlds. This study defines a particular kind of approach to the concept of truth in infinity for Rudolf Carnap's inductive logic. The new approach is based on truth in the consecutive finite domains of individuals. This concept will be given a constructive interpretation. What can be verifiably said about an empirical statement with respect to this concept of truth, will be explained, for which purpose a constructive notion of epistemic probability will be introduced. The aim of this study is also to improve Carnap's inductive logic. The study addresses the problem of justifying the use of an "inductivist" method in Carnap's lambda-continuum. A correction rule for adjusting the inductive method itself in the course of obtaining evidence will be introduced. Together with the constructive interpretation of probability, the correction rule yields positive prior probabilities for universal generalizations in infinite domains.

Tarskin totuus : Totuuden määrittelemisen taustaehtoja ja seurauksia

Tutkielma esittelee Alfred Tarskin formalisoitujen kielien totuusmääritelmän filosofisia ja loogisia taustaehtoja ja seurauksia. Tutkimuksen keskeisimmät menetelmät ovat filosofinen analyysi ja matemaattinen logiikka. Keinona on myös aatehistoriallinen tutkimus. Keskeisin tutkimuksen kohde on Alfred Tarskin artikkeli "Der Wahrheitsbegriff in den formalisierten Sprachen", 1935 (julkaistu käännöksenä teoksessa Logic, Semantics, Metamathematics, Papers from 1923 to 1938, Clarendon Press, Oxford, 1956). Tarskin alkuperäinen totuusmääritelmä formalisoiduille kielille ja totuuden määrittelemättömyystulos ovat esitetty nykyaikaisella notaatiolla. Analyyttisen ja historiallisen lähestymisen kautta Tarskin totuusmääritelmän ja malliteorian suhteita selvennetään absoluuttisen ja suhteellisen totuuskäsityksen avulla. Ajatusta formaalisista kielistä ennalta annetusti tulkittuina kielinä esitellään ja sen historiallisia taustoja selvitetään. Tämän idean olennaisuus todetaan Tarskin 1930-luvun totuusmääritelmän muodostumiselle. Eräiden käännöksen käsitteeseen liittyvien epäselvyyksien esiin nostaminen ja aksiomaattisten totuusteorioiden ja totuusmääritelmän suhteen esitteleminen ovat osa tutkielman loogista osuutta. Näiden lisäksi tutkielma esittelee S. Shapiron ja J. Ketlandin totuusteoreettisen deationismin kritiikkiä, jossa käytetään Tarskin totuusmääritelmää vastaavaa totuusteoreettista aksiomatisointia.

Naiset rajalla : Kyöpeli, Nainen, Naara(s), Neitsyt, Morsian, Akka ja Ämmä Suomen paikannimissä

Women at the boundary. Kyöpeli ( ghost, devil, elf, fairy, enchantress, witch ), Nainen ( woman ), Naara(s) ( female animal, derogatory term for a woman ), Neitsyt ( young, [virgin] woman ), Morsian ( bride ), Akka ( old woman, wife, grandmother ) and Ämmä ( [old] woman, wife, grandmother ) in Finnish place names This study examines a total of about 4,000 Finnish place names which include a specific that refers to a woman: Kyöpeli, Nainen, Naara(s), Neitsyt, Morsian, Akka or Ämmä. The study has two main objectives. First, to interpret the place names in the data, that is, to examine the words included in the data and establish their background and to differentiate names of different ages. In establishing the background of a name, the type of place (e.g. lake, hill or marsh) and its location, as well as the semantics of the feminine specific, are taken into account. The connotations of words referring to a woman are also studied. Words that refer to a woman are often affective and susceptible to changes in meaning, which is reflected in the history of place names. The second main objective is to recognise and highlight mythological place names. Mythology is pivotal for the interpretation of many place names with a feminine specific. The criteria for mythological names have not been explicitly discussed in Finnish onomastics until now, and I seek to determine such criteria in this study with the help of the data. Mythological place names often refer to large and significant natural localities, which are in many cases important boundaries for the community. Names for smaller localities may also be mythological if they refer to a place with a key location or a special topography (e.g. steep or rocky places). I also discuss the stories involved with specific places in the data, such as stories about supernatural beings. Each of the name groups discussed in the study has its own profile. For example, Naara(s) names are so old that naara is no longer understood to refer to a woman. These names have thus often been misinterpreted in onomastics. Names beginning with Morsian, on the other hand, appear to be of fairly recent origin and may be attributed to an international cautionary tale. Names beginning with Nais, Neitsyt, Akka and Ämmä highlight the duality of the data. They include both old names for important natural localities or boundaries and more recent names for modest dwellings, small cultivated areas and useless marshy ponds. This distribution of place names may reflect a cultural shift that changed the status of women in the community.

Konstruktioner och valens : Verbfraser med åt i ett jämförande perspektiv

Det har knappast undgått någon som är språkligt medveten att finlandssvenskan och sverigesvenskan skiljer sig åt till vissa delar. Olikheterna återfinns på olika språkliga nivåer. Mest kända och omskrivna är de lexikologiska skillnaderna, dvs. skillnaderna på ordplanet. Betydligt mindre uppmärksamhet har ägnats syntaktiska skillnader, dvs. skillnader i hur satser och meningar byggs upp. För att öka kunskapen om finlandssvensk syntax initierade Språkvetenskapliga nämnden vid Svenska litteratursällskapet i Finland projektet Svenskan i Finland – syntaktiska drag i ett jämförande perspektiv, som pågick åren 2004–2006. Min avhandling har kommit till inom ramen för det projektet. Prepositionerna (t.ex. av, i, på, för, till, åt osv.) är så kallade funktionsord som har till uppgift att binda samman de mer betydelsetunga orden till satser och meningar. Den finlandssvenska prepositionsanvändningen skiljer sig i viss mån från den sverigesvenska, och ”åt” är en av de prepositioner som ofta lyfts fram som exempel. Finlandssvenskarna säger t.ex. ”han gav en bok åt Lena” i stället för ”han gav en bok till Lena” eller ”han gav Lena en bok”. De säger ”berätta något åt någon” (i stället för ”för”) och de säger ”ringa åt någon” i stället för ”ringa någon”. Ett huvudsyfte med min undersökning är att ta reda på hur pass stora skillnaderna är om man ser till samtliga belägg på ”åt” i ett material och inte bara till sådana som man fäster sig vid för att man vet att de avviker i finlandssvenskan. Undersökningen är korpusbaserad. Det betyder att jag letat efter alla belägg på kombinationer av verb och prepositionen ”åt” i rätt stora textmassor som finns tillgängliga i elektronisk form. Materialet ligger i Språkbanken i Finland och omfattar huvudsakligen tidningstext och skönlitteratur. Jag har använt mig av en textmassa på sammanlagt ungefär 40 miljoner löpande ord, drygt 23 miljoner finlandssvenska och drygt 19 miljoner sverigesvenska. Det materialet gav ca 20 000 åt-belägg att studera, och det visade sig något oväntat att ”åt” inte alls är vanligare i finlandssvenskan än i sverigesvenskan när det gäller skriftspråk, åtminstone inte i professionella skribenters språk. Om man kompenserar för att den finlandssvenska och den sverigesvenska korpusen inte är helt lika i fråga om genrefördelning och ålder, kommer man fram till i stort sett samma frekvens för ”åt” i båda korpusarna. För den närmare analysen av vilka mönster åt-beläggen uppvisar har jag först och främst utnyttjat konstruktionsgrammatik men också ramsemantik och valensteori. Konstruktionsgrammatiken är ingen enhetlig teori, men tanken om grammatiska konstruktioner är gemensam. Konstruktioner representerar allt från generella syntaktiska mönster till specifika mönster för språkliga enskildheter. Uppfattningen om vad som ska inbegripas i begreppet varierar, men definitionen av ”konstruktion” som ”par (eller konstellationer) av form och betydelse” är gemensam. ”Konstruktion” avser aldrig konkreta belägg i texter eller yttranden utan alltid det abstrakta mönstret bakom dessa. Och varje yttrande är resultatet av att en stor mängd konstruktioner samverkar. I min analys har jag utgått ifrån att beläggen med ”åt” kan återföras på olika konstruktioner eller mönster utifrån vad som är gemensamt för grupper av belägg. Jag har sett på vad åt-frasen i samverkan med verbet har för funktion i beläggen. En åt-fras är syntaktiskt en prepositionsfras och består av en preposition och en rektion. Exempelvis utgör ordparet ”åt skogen” en prepositionsfras där ”skogen” är rektion. Ur mitt material har jag kunnat abstrahera fram fem övergripande mönster där referenten för rektionen har olika så kallade semantiska roller. Åt-frasen kan i kombination med verbet ange mål eller riktmärke, som i t.ex. svänga åt höger, dra åt helvete, ta sig åt hjärtat, luta åt en seger för IFK. Den kan för det andra ange mottagare (t.ex. ge varsin kaka åt hundarna, bygga en bastu åt sina svärföräldrar, skaffa biljetter åt en kompis). För det tredje kan åt-frasen avse en referent som har nytta (eller skada) av en aktion (t.ex. klippa häcken åt grannen, ställa in digitalboxen åt sin moster). Åt-frasen kan slutligen avse den eller det som är föremål antingen för en kommunikationsaktion (vinka åt sin son, skratta åt eländet) eller en attityd eller känsla (glädja sig åt framgången). Utöver dessa huvudmönster finns det ett antal smärre grupper av belägg som bildar egna mönster, men de utgör sammanlagt under 3 % i bägge korpusarna. Inom grupperna kan undermönster urskiljas. I t.ex. mottagargruppen representerar ”ge varsin kaka åt hundarna” överföringskonstruktion, ”bygga en bastu åt sina svärföräldrar” produktionskonstruktion och ”skaffa biljetter åt en kompis” ombesörjningskonstruktion. Alla typer är gemensamma för bägge materialen, men andelen belägg som representerar de olika typerna skiljer sig betydligt. I det sverigesvenska materialet står t.ex. det mönster där åt-frasen avser mål eller riktmärke för en mycket större andel av beläggen än i finlandssvenskan. Också andelen belägg där åt-frasen avser någon som har nytta (eller skada) av en aktion är mycket högre i det sverigesvenska materialet. I det finlandssvenska materialet står i gengäld mottagarbeläggen för över 50 % av beläggen medan andelen i det sverigesvenska materialet är bara 30 %. Inom gruppen utgör belägg av produktions- och ombesörjningstyp dessutom en mindre andel i det finlandssvenska materialet än i det sverigesvenska. Dessa står till sin funktion nära den typ som avser den som har nytta av aktionen. De konkreta beläggen på överföring (ge varsin kaka åt hundarna) utgör en större andel i det finlandssvenska materialet än i det sverigesvenska (ca 8 % mot 3 %), men typiskt för båda materialen är hög kollokationsgrad (”kollokation” avser par eller grupper av ord som uppträder oftare tillsammans än de statiskt sett skulle göra vid helt slumpmässig förekomst). Största delen av mottagarbeläggen utgörs av fraser av typen ”ge arbete åt någon, ge eftertryck åt något, ge liv åt något; ägna tid åt något, ägna sitt liv åt något, ägna uppmärksamhet åt något”. De här slutsatserna gäller alltså skriftspråk. I talspråk ser fördelningen annorlunda ut. Typiskt för prepositionen ”åt” är överhuvudtaget hög kollokationsgrad. Det förefaller som om språkanvändarna har tydliga, färdiga mallar för var ”åt” kan komma in. Det enda mönster som verkar helt produktivt, i den meningen att elementen är i stort sett fritt kombinerbara, är kombinationer av verb och åt-fras där åt-frasen avser den som har nytta av något. Att någon utför något för någons räkning verkar överlag kunna uttryckas med prepositionen ”åt”: t.ex. ”tvätta bilen åt pappa, ringa efter en taxi åt kunden”. Till och med belägg av typen ”hon drömde åt honom att bli ordinarie adjunkt” förekommer i någon mån. Konstruktionen är produktiv i båda språkvarieteterna men uppenbart är att konstruktion med mottagare har tolkningsföreträde i vissa fall i finlandssvenskan: ”Filip skrev ett brev åt sin syster” tolkas av sverigesvenskar som att Filip skrev brevet för systerns räkning, medan finlandssvenskar överlag uppenbarligen tolkar det som att Filip skrev till sin syster, att systern var mottagare av brevet. Ungefär 20 % av alla belägg i båda materialen representerar fall där ”åt” utgör partikel. Verb och ”åt” är närmare förbundna med varandra än när ”åt” utgör normal preposition. Exempel på partikelbelägg är ”han kom inte åt strömbrytaren, det gick åt mängder med saft, landet får dra åt svångremmen, de roffade åt sig de bästa platserna”. Också partikelmaterialet ser på ett generellt plan väldigt lika ut i båda språkvarieteterna. Den största skillnaden uppvisar den reflexiva typen ”roffa åt sig”. Medan typen är mycket homogen i det sverigesvenska materialet är variationen större i det finlandsvenska. Dels uppträder fler verb i kombinationen (han köpte åt sig ett par jeans), dels vacklar ordföljden (han nappade åt sig ett paraply ~ han nappade ett paraply åt sig). Att ”åt” används mer i vissa funktioner i finlandsvenskan brukar förklaras med påverkan från finskans allativ (ändelsen -lle: hän antoi kirjan Astalle > hon gav en bok åt Asta). Allt tyder dock på att den finlandssvenska åt-användningen delvis är en relikt. I äldre sverigesvenska källor träffar man på ”åt” i sådana kontexter som numera är typiska för finlandsvenskan. Det finlandssvenska språkområdet ligger ute i periferin i relation till det språkliga centrum som förändringar sprider sig från (för svenskans del främst Stockholmstrakten) och typiskt för perifera områden är att de uppvisar ålderdomliga drag också när inga kontaktfenomen spelar in. Allativen kan naturligtvis ha bidragit till att bevara användningen av ”åt” i finlandssvenskan. Att det är just ”åt” som används” beror antagligen på att prepositionen har flest funktioner gemensamt med allativen rent kognitivt om man jämför med de betydligt mer frekventa prepositionerna ”till” och ”för”. Uppenbart är också att åt-användningen därtill lever sitt eget liv i finlandssvenskan. I vissa varieteter av finlandssvenska kan man t.ex. höra yttranden av typ ”alla fiskarna dog åt dom”. Som språklig enskildhet har det ingen finsk förebild med allativ. Yttrandet är ett exempel på töjning av en svensk konstruktion. Modell finns dels i det mönster där åt avser den som har nytta eller skada av något, dels i relationell användning av ”åt”: han är hantlangare åt Eriksson ~ han är Erikssons hantlangare. Vid språkkontakt är det överlag konstruktioner som har förebild i det låntagande språket som lånas in från det långivande språket, medan konstruktioner som saknar förebild är betydligt mindre benägna att vinna insteg.

Efficient Content-based Routing, Mobility-aware Topologies, and Temporal Subspace Matching

Event-based systems are seen as good candidates for supporting distributed applications in dynamic and ubiquitous environments because they support decoupled and asynchronous many-to-many information dissemination. Event systems are widely used, because asynchronous messaging provides a flexible alternative to RPC (Remote Procedure Call). They are typically implemented using an overlay network of routers. A content-based router forwards event messages based on filters that are installed by subscribers and other routers. The filters are organized into a routing table in order to forward incoming events to proper subscribers and neighbouring routers. This thesis addresses the optimization of content-based routing tables organized using the covering relation and presents novel data structures and configurations for improving local and distributed operation. Data structures are needed for organizing filters into a routing table that supports efficient matching and runtime operation. We present novel results on dynamic filter merging and the integration of filter merging with content-based routing tables. In addition, the thesis examines the cost of client mobility using different protocols and routing topologies. We also present a new matching technique called temporal subspace matching. The technique combines two new features. The first feature, temporal operation, supports notifications, or content profiles, that persist in time. The second feature, subspace matching, allows more expressive semantics, because notifications may contain intervals and be defined as subspaces of the content space. We also present an application of temporal subspace matching pertaining to metadata-based continuous collection and object tracking.

Essays in Philosophical Moral Psychology

The dissertation consists of four essays and a comprehensive introduction that discusses the topics, methods, and most prominent theories of philosophical moral psychology. I distinguish three main questions: What are the essential features of moral thinking? What are the psychological conditions of moral responsibility? And finally, what are the consequences of empirical facts about human nature to normative ethics? Each of the three last articles focuses on one of these issues. The first essay and part of the introduction are dedicated to methodological questions, in particular the relationship between empirical (social) psychology and philosophy. I reject recent attempts to understand the nature of morality on the basis of empirical research. One characteristic feature of moral thinking is its practical clout: if we regard an action as morally wrong, we either refrain from doing it even against our desires and interests, or else feel shame or guilt. Moral views seem to have a conceptual connection to motivation and emotions – roughly speaking, we can’t conceive of someone genuinely disapproving an action, but nonetheless doing it without any inner motivational conflict or regret. This conceptual thesis in moral psychology is called (judgment) internalism. It implies, among other things, that psychopaths cannot make moral judgments to the extent that they are incapable of corresponding motivation and emotion, even if they might say largely the words we would expect. Is internalism true? Recently, there has been an explosion of interest in so-called experimental philosophy, which is a methodological view according to which claims about conceptual truths that appeal to our intuitions should be tested by way of surveys presented to ordinary language users. One experimental result is that the majority of people are willing to grant that psychopaths make moral judgments, which challenges internalism. In the first article, ‘The Rise and Fall of Experimental Philosophy’, I argue that these results pose no real threat to internalism, since experimental philosophy is based on a too simple conception of the relationship between language use and concepts. Only the reactions of competent users in pragmatically neutral and otherwise conducive circumstances yield evidence about conceptual truths, and such robust intuitions remain inaccessible to surveys for reasons of principle. The epistemology of folk concepts must still be based on Socratic dialogue and critical reflection, whose character and authority I discuss at the end of the paper. The internal connection between moral judgment and motivation led many metaethicists in the past century to believe along Humean lines that judgment itself consists in a pro-attitude rather than a belief. This expressivist view, as it is called these days, has far-reaching consequences in metaethics. In the second essay I argue that perhaps the most sophisticated form of contemporary expressivism, Allan Gibbard’s norm-expressivism, according to which moral judgments are decisions or contingency plans, is implausible from the perspective of the theory of action. In certain circumstances it is possible to think that something is morally required of one without deciding to do so. Morality is not a matter of the will. Instead, I sketch on the basis of Robert Brandom’s inferentialist semantics a weak form of judgment internalism, according to which the content of moral judgment is determined by a commitment to a particular kind of practical reasoning. The last two essays in the dissertation emphasize the role of mutual recognition in the development and maintenance of responsible and autonomous moral agency. I defend a compatibilist view of autonomy, according to which agents who are unable to recognize right and wrong or act accordingly are not responsible for their actions – it is not fair to praise or blame them, since they lacked the relevant capacity to do otherwise. Conversely, autonomy demands an ability to recognize reasons and act on them. But as a long tradition in German moral philosophy whose best-known contemporary representative is Axel Honneth has it, both being aware of reasons and acting on them requires also the right sort of higher-order attitudes toward the self. Without self-respect and self-confidence we remain at the mercy of external pressures, even if we have the necessary normative competence. These attitudes toward the self, in turn, are formed through mutual recognition – we value ourselves when those who we value value us. Thus, standing in the right sort of relations of recognition is indirectly necessary for autonomy and moral responsibility. Recognition and valuing are concretely manifest in actions and institutions, whose practices make possible participation on an equal footing. Seeing this opens the way for a kind of normative social criticism that is grounded in the value of freedom and automomy, but is not limited to defending negative rights. It thus offers a new way to bridge the gap between liberalism and communitarianism.

Sampled longest common prefix array

When augmented with the longest common prefix (LCP) array and some other structures, the suffix array can solve many string processing problems in optimal time and space. A compressed representation of the LCP array is also one of the main building blocks in many compressed suffix tree proposals. In this paper, we describe a new compressed LCP representation: the sampled LCP array. We show that when used with a compressed suffix array (CSA), the sampled LCP array often offers better time/space trade-offs than the existing alternatives. We also show how to construct the compressed representations of the LCP array directly from a CSA

Fast in-memory XPath search using compressed indexes

A large fraction of an XML document typically consists of text data. The XPath query language allows text search via the equal, contains, and starts-with predicates. Such predicates can be efficiently implemented using a compressed self-index of the document's text nodes. Most queries, however, contain some parts querying the text of the document, plus some parts querying the tree structure. It is therefore a challenge to choose an appropriate evaluation order for a given query, which optimally leverages the execution speeds of the text and tree indexes. Here the SXSI system is introduced. It stores the tree structure of an XML document using a bit array of opening and closing brackets plus a sequence of labels, and stores the text nodes of the document using a global compressed self-index. On top of these indexes sits an XPath query engine that is based on tree automata. The engine uses fast counting queries of the text index in order to dynamically determine whether to evaluate top-down or bottom-up with respect to the tree structure. The resulting system has several advantages over existing systems: (1) on pure tree queries (without text search) such as the XPathMark queries, the SXSI system performs on par or better than the fastest known systems MonetDB and Qizx, (2) on queries that use text search, SXSI outperforms the existing systems by 1-3 orders of magnitude (depending on the size of the result set), and (3) with respect to memory consumption, SXSI outperforms all other systems for counting-only queries.