A definition of abstract logic is presented. This is used to explore and compare some abstract logics, such as logics with generalised quantifiers and infinitary logics, and their properties. Special focus is given to the properties of completeness, compactness, and the Löwenheim-Skolem property. A method of comparing different logics is presented and the concept of equivalent logics introduced. Lastly a proof is given for Lindström's theorem, which provides a characterization of elementary logic, also known as first-order logic, as the strongest logic for which both the compactness property and the Löwenheim-Skolem property, holds.

In this thesis the making and experiencing of the exhibition “Sundi Mongo – A village in Congo” is examined through ethnographical interviews with former and present employees at the Museum of Ethnography in Stockholm. The interviews, together with archive material concerning the exhibition, are analyzed with discourse theory in order to examine how discourses of defining Africa construct application and interpretation of the exhibition pieces. A significant element is dislocation, where the exhibition has been standing since 1983 and the meaning of the exhibition is now expressed as changed. This change of meaning is connected to the change of exhibition ideals and changes in the perception of the exhibition model; a real village called Sundi Mongo, located in southwestern Congo. Change and continuity also concerns interpretations of the museum’s cooperation with the Swedish Missionary Association and affective practices surrounding the exhibition pieces and objects in the museum’s collections. The construction of interpretations of the exhibition pieces and objects are also analyzed with the concept of fantasy.

Den här uppsatsen undersökte hur medielogiken uttrycks i Rädda Barnens och Sverige för UNHCR:s videomaterial under flyktingkrisen september 2015. Då majoriteten av den medialiseringsrelaterade forskningen i Sverige har intresserat sig för partiledardebatter och politisk kommunikation finns det en kunskapslucka kring hur medielogiken formar andra sfärer i samhället. Denna studie avsåg att genom semiotisk analys och mulitmodal analys undersöka videomaterial i dessa två ideella organisationer, för att identifiera mediernas berättartekniker i dem. Sammanlagt analyserades fyra videoklipp i två ideella organisationers Facebook-sidor under september 2015 utifrån teorin om semiotik och medielogik. Två tydliga teman i videoklippen framträdde ur resultatet. Dessa benämnde vi som Flyktingkrisen som empati och Flyktingkrisen som verklighet. Ur dessa framkom fyra underteman. Dessa benämnde vi som dramatisering, dokumentering, reklamformat och nyhetsformat. Studiens resultat visade även att medielogiken personifiering förekommer starkt i samtliga av våra studieobjekt. Utifrån detta resultat kunde vi dra slutsatser kring genom vilka stereotyper personifieringen framkom i.   Vår studie bidrar därmed till forskningsfältet med kunskap om stereotyper av flyktingar. I tidigare forskning av Ylva Brune (1998) urskiljs två sorters stereotyper av flyktingar: offer eller hot. Vidare menar Urban Ericsson (2001) att stereotypen den duktige flyktingen tenderar att förekomma i media endast på individnivå. I vårt material fann vi att en flykting gestaltades annorlunda än de stereotyper vi fann i vår tidigare forskning. Vi valde att kalla den här kategorin flyktingen som målmedveten då denne är fast besluten att ta sig fram trots omständigheterna. Vi fann även en icke tidigare dokumenterad framställning av flyktingar som likartad publiken när det gäller välfärdsbakgrund. / The aim of this paper was to examine how media logic’s are expressed in Save the children’s and Sweden for UNHCR’s video material during the migrant crisis. Since the majority of the mediatization research in the Swedish context has focused on the party leaders and political communication, there is a lack of awareness regarding how media logic shapes other spheres in the community. This study’s objective was to examine video material through semiotic and multimodal analysis, to identify media logics. In total four videos from two nonprofit organizations, that were published in September 2015, were analyzed based on the understanding of media logics.  Two distinctive themes appeared in the results. These were titled migrant crisis as empathy and migrant crisis as reality.  From these, four subthemes appeared. These were titled dramatization, documentation, advertising formats and news format. The result shows that personalization occurs strongly in all of our study.  Our study contributes to the research field with knowledge about stereotypes of refugees. We found a new kind of stereotype that we have chosen to call the determined refugee. The choice of name for this category is based on our interpretation of a refugee as determined to survive. In addition to the study’s contribution of how the representation of refugees among nonprofit organizations now take a new form, we also found a not previously documented representation of refugees like the crowd when it comes to the welfare background.  Our study contributes to knowledge about how mediatization is expressed in strategic communication.

This dissertation explores how logic duality, that is the coexistence of two institutional logics in an industry, affects firm strategic behaviors, and how in return firm strategic behaviors contribute (or not) to maintain logics segregated. Theoretically, I investigate the liability firms face when entering industries governed by a different logic, the wayincumbent organizations respond to the conformity demands of logic foreigners, and the determinants of firm-level institutional capital. Empirically, I study investment funds, filmmaking organizations and production firms in the French film industry (1987-2008), and find strong support for the proposed theory. By revealing strategies available to firms in dual-logicsettings and highlighting sources of institutional capital, this study contributes to the strategic management literature. The result is also a contribution to our understanding of why industries resist the "inexorable push towards homogenization" predicted by new institutional theory. By shedding light on the positive and negative effects of logic duality for firms, this work has also implications for practice.

Cette thèse étudie les structures dont la théorie au second ordremonadique est décidable, et en particulier la hiérarchie à pile. Onpeut définir celle-ci comme la hiérarchie pour $n$ des graphesd'automates à piles imbriquées $n$ fois ; une définition externe, partransformations de graphes, est également disponible. Nous nousintéressons à l'exemple des ordinaux. Nous montrons que les ordinauxplus petits que $epsilon_0$ sont dans la hiérarchie, ainsi que des graphesporteurs de plus d'information, que l'on appelle "graphecouvrants''. Nous montrons ensuite l'inverse : tous les ordinaux de lahiérarchie sont plus petits que $epsilon_0$. Ce résultat utilise le fait queles ordres d'un niveau sont en fait isomorphes aux structures desfeuilles des arbres déterministes dans l'ordre lexicographique, aumême niveau. Plus généralement, nous obtenons une caractérisation desordres linéaires dispersés dans la hiérarchie. Dans un troisièmetemps, nous resserons l'intérêt aux ordres de type $omega$ --- les mots infinis --- pour montrer que les mots du niveau 2 sont les motsmorphiques, ce qui nous amène à une nouvelle extension au niveau 3 / This thesis studies the structures with decidable monadic second-ordertheory, and in particular the pushdown hierarchy. The latter can bedefined as the family for $n$ of pushdown graphs with $n$ timesimbricated stacks ; another definition is by graph transformations. Westudy the example of ordinals. We show that ordinals smaller that $epsilon_0$are in the hierarchy, along with graphs called "covering graphs'', which carry more data than ordinals. We show then the converse : allordinals of the hierarchy are smaller than $epsilon_0$. This result uses thefact that linear orders of a level are actually isomorphic to thestructure of leaves of deterministic trees by lexicographic ordering, at the same level. More generally, we obtain a characterisation ofscattered linear orders in the hierarchy. We finally focus on the caseof orders of type $omega$ --- infinite words --- and show that morphicwords are exactly words of the second level of the hierarchy. Thisleads us to a new definition of words for level 3

The verification of real-time systems has gained much interest in the formal verification community during the past two decades. In this thesis, we investigate two real-time verification problems that benefit from the techniques normally used in untimed verification. The first part of this thesis is concerned with the monitoring of real-time specifications. We study the expressiveness of metric temporal logics over timed words, a problem that dates back to early 1990s. We show that the logic obtained by extending Metric Temporal Logic (MTL) with two families of new modalities is expressively complete for the Monadic First-Order Logic of Order and Metric (FO[<,+1]) in time-bounded settings. Furthermore, by allowing rational constants, expressive completeness also holds in the general (time-unbounded) setting. Finally, we incorporate several notions and techniques from LTL monitoring to obtain the first trace-length independent monitoring procedure for this logic. The second part of this thesis concerns a decision problem regarding UAVs: given a set of targets (each ascribed with a relative deadline) and flight times between each pair of targets, is there a way to coordinate a flock of k identical UAVs so that all targets are visited infinitely often and no target is ever left unvisited for a time longer than its relative deadline? We show that the problem is PSPACE-complete even in the single-UAV case, thereby corrects an erroneous claim from the literature. We then complement this result by proposing an efficient antichain-based approach where a delayed simulation is used to prune the state space. Experimental results clearly demonstrate the effectiveness of our approach.

Pendant près de deux siècles, les générations d'horlogers bisontins se sont transmis valeurs, savoirs,passion pour ce métier qui s'est ancré fortement dans le territoire bisontin. Lorsque l'innovationtechnique du quartz remet en question la production horlogère traditionnelle dans les années 1970,la fabrication de montres disparait. Lui succède alors une activité centrée sur les “microtechniques”,présentée communément comme l'héritière des savoirs horlogers. Quelle est la nature véritable decet héritage ? Dans le cadre de notre thèse, nous tentons de répondre à cette question, en analysantle processus de reconversion de l'industrie horlogère vers les microtechniques. Nous cherchons àcomprendre comment des catégories professionnelles autrefois réunies autour d'un projet communet réunies par une culture collective fortement cohésive se désolidarisent dans un contexte de crise.Les places occupées dans le système initial ont lentement façonné des identités spécifiques,masquées pourtant par la culture collective. Dans une période d'instabilité provoquée par desbouleversements environnementaux, ces identités s'affirment et les normes, représentations etvaleurs de chaque groupe produisent des logiques d'acteurs différentes. Le groupe capable de puiserdans ses ressources pour s'adapter aux transformations de l'environnement acquiert le pouvoir, qued'autres perdent en refusant le changement. L'orientation de l'activité vers le secteur desmicrotechniques peut donc être envisagée comme une stratégie favorable à la pérennisation dessavoirs d'une des catégories en présence. Plutôt qu'un simple phénomène d'ajustement à desnouvelles contraintes économiques et techniques, le changement peut donc être analysé – aussi –comme un phénomène microsocial, résultat de logiques d'acteurs et de luttes pour la maîtrise del'avenir d'une industrie territorialisée / For nearly two centuries, generations of clockmakers from Besançon have transmitted their values,knowledges and passion for this job that has deeply rooted into Besançon territory. In the 70's, thenew "quartz" technic questioned the traditional clock-making and the traditional watchmakingdisappeared. Then come the turn of an activity based on microtechnics, wich is seen as the legacy ofclock-making knowledge. What is the true nature of this legacy ? Throughout our Phd, we fried toanswer this question, analysing how the watchmaking industry evolved to microtechnics. We triedto anderstand how the professional categories, that used to be united around a common project andunited by a higly cohesive culture, set apart in a crisis time. The jobs wich were initially occupedcreated little by little some specific identities, hidden however by the global culture. In this periodof relative instability caused by environnemental changes, these identities assert and the normes,representations and values of each group create different logics. The group wich is abble to drowfrom it's own resources to adapt itself to the environnemental changes gets the power that otherslose when they refuse these changes. Thus, the orientation of this activity to the microtecnics sectorcan be conceived as a stratégy wich would help the knowledge of one of the present categoriesperpetuate. Rhater than a simple adjusting phenomenon to new economical and technical contraints,this change can therefore be also analysed as a microsocial phenomenon resulting from logics andfights to master the future of this territorialized industrie

Cette thèse explore les antécédents et conséquences de l'illégitimité organisationnelle. Comment l'illégitimité organisationnelle émerge-t-elle? Pourquoi persiste-t-elle? En utilisant une approche fondée sur les logiques institutionnelles, j'étudie la matérialisation d'une catégorie stigmatisée, et comment la variance en termes de désapprobation au sein de cette catégorie peut signaler une certaine proximité vis-à-vis d'une logique de champ, et se révéler bénéfique.Les enjeux que représentent les transferts et manipulations de l'illégitimité favorisent l'apparition d'échanges sociaux dans lesquels les acteurs se rejettent la faute.Ces questions sont étudiées empiriquement dans le contexte de l'industrie de la banque d'investissement aux Etats-Unis dans la période d'après crise, à partir de 2007. Plus particulièrement, j'observe la perception de cette industrie dans la presse écrite. Ce travail de recherche révèle la nature stratégique des évaluations sociales négatives et délivre des enseignements pour la gestion de l'image de l'entreprise et les politiques publiques / This dissertation explores the antecedents and outcomes of organizational illegitimacy. How do organizational illegitimacy emerge? Why does it persist? Using an institutional logis perspective, I investigate the materialization of a stigmatized category, and how variance in disapproval within this category can signal proximity to a field-level logic and yield beneficial outcomes.The stakes of transferring and manipulating illegitimacy set the stage for blame games at the field of organizational level. These questions are examined in the empirical context of the US investment banking industry in the aftermath of the 2007 crisis. I focus in particular on its perception in print media. This work sheds light on the strategic nature of negative social evaluations, and provides implications for corporate image management and policy practice

L’ambition de cette thèse n’est pas de poser objectivement les rapports qu’entretient À la recherche du temps perdu avec le cinéma(tographe), pour la simple et bonne raison que ceux-ci sont à peu près inexistants, du strict point de vue de l’objectivité. N’ayant jamais mis les pieds dans un lieu qui projette ce type bien particulier d’images en mouvement, Proust n’est pas un écrivain intéressé par ce qu’on nomme aujourd’hui « cinéma ». On ne trouve que peu souvent son nom dans les anthologies faisant état des écrivains du début du siècle dernier qui ont commenté le spectacle des vues animées. Si par hasard il y est, on cite généralement les passages du Temps retrouvé, où est assez sévèrement critiqué le « défilé cinématographique des choses ». Que la critique de Proust à l’endroit du cinéma(tographe) soit une critique essentiellement négative n’est pas en soi gênant et ne contredit pas nécessairement le besoin de faire le point sur cette question. Il nous faut seulement adopter une vision plus artiste du problème, ou du moins accepter que le cinéma n’est pas limité à un seul mode d’existence stable : « cinéma » est en fait un pot-pourri d’idées, de concepts et de pratiques qui est voué au changement, et c’est précisément ce changement qui est digne d’intérêt. Une telle relativisation de l’idée de « cinéma » nous permettra d’explorer les différentes séries d’images et les séries techniques qui parcourent le roman de Proust et ses adaptations écraniques, afin de voir si elles sont en mesure de recouper l’une ou l’autre des fonctions que l’on a pu attribuer au cinéma au cours de son histoire. La présente thèse est donc en quelque sorte le procès-verbal des définitions du cinéma qu’a pu nous offrir notre lecture de Proust. Elle est aussi celui des différentes lectures que le cinéma nous permet de faire de la Recherche, des lectures « cinématographiques ». / This thesis does not objectively study ongoing relations between In Search of Lost Time and the cinema medium for the simple reason that, from the strict point of view of objectivity, they are almost non-existent. Having never set foot in a place that shows this particular type of moving images, Proust is not interested in what is now called “cinema”. At best, his name infrequently appears in anthologies of the early 20th century’s writers who commented this kind of spectacle. If by chance he is, the excerpts generally selected are the ones of Time Regained where the “cinematic parade of things” is quite severely criticized. But Proust’s criticism of cinema, albeit an essentially negative one, is not that much inconvenient and does not particularly contradict the need to investigate the matter. We just have to think the problem in a more artistic way, or at least to accept that cinema is not limited to a stable, single mode of existence: “cinema” is – and should be – a potpourri of ideas, concepts and practices that is bound to change, and it is precisely that change that is worth investigating. Such a relativization of the idea of “cinema” will allow us to explore different series of images and series of techniques that run in Proust's novel and its screen adaptations, while letting us see if they are able to match some functions that have been attributed to cinema during its history. This thesis therefore intends to be a record of cinema’s definitions that our reading of Proust’s work could offer. It is also a record of the many readings of In Search of Lost Time that cinema allows us, “cinematographic” readings.

Ce travail de recherche vise à utiliser la sociologie néo-institutionnelle et ses concepts clés tels que les logiques institutionnelles et le travail institutionnel pour analyser comment les acteurs agissent sur les institutions au niveau d'une filière agricole. Nous avons choisi de vérifier l'applicabilité de notre cadre théorique dans un contexte empirique subissant un changement institutionnel, la filière légumes mauricienne. Pour valider le cadre théorique choisi, nous avons tout d'abord mené un terrain exploratoire. A travers une analyse thématique des enquêtes, nous avons identifié les logiques institutionnelles qui orientent les actions de nos principaux acteurs dans la filière légumes mauricienne, et les types et formes de travail institutionnel entreprit par les acteurs en place et nouveaux de la filière légumes. Cette thèse permet de conclure que l'étude du travail institutionnel dans une dynamique de filière agricole a toute son importance car l'approche sociologique permet aux chercheurs de mieux appréhender le comportement des acteurs de la filière.Mots clés : sociologie néo-institutionnelle, logique institutionnelle, travail institutionnelle, filière agricole, analyse de contenu thématique, analyse qualitative comparée. / This research work aimed at using sociological neo institutionalism and its key concepts, institutional logics, and institutional work to understand the work undertaken by actors in an agricultural value chain. We have chosen the Mauritian vegetable value chain, in the context of an institutional change, as a field of study to apply the theoretical concepts. An exploratory study was carried out to validate the theoretical framework selected. Thematic content analysis allowed us to identify the institutional logics of the vegetable value chain as well as the different types and forms of institutional work undertaken by the incumbent and new actors. This research work allows us to conclude that the use of the concept of institutional work to understand the dynamics of an agricultural value chain is important as the sociological lens enables researchers to better understand actors' behavior in a value chain.Key words: sociological neo institutionalism, institutional logics, and institutional, agricultural value chain, thematic analysis, qualitative comparative analysis