Institutional work taken literally: How logics shift as banking lawyers 'get the deal done'

The role of interest and agency in the creation and transformation of institutions, in particular the “paradox of embedded agency” (Seo & Creed, 2002) have long puzzled institutional scholars. Most recently, Lawrence and Suddaby (2006) coined the term “institutional work” to describe various strategies for creating, maintaining and disrupting institutions. This label, while useful to integrate existing research, highlights institutionalists’ lack of attention to work as actors’ everyday occupational tasks and activities. Thus, the objective of this study is to take institutional work literally and ask: How does practical work come to constitute institutional work? Drawing on concepts of “situated change” (Orlikowski, 1996) I supplement existing macro-level perspectives of change with a microscopic, practice-based alternative. I examine the everyday work of English and German banking lawyers in a global law firm. Located at the intersection of local laws, international financial markets, commercial logics and professional norms, banking lawyers’ work regularly bridges different normative settings. Hence, they must constructively negotiate contradictory meanings, practices and logics to develop shared routines that resonate with different normative frameworks and facilitate task accomplishment. Based on observation and interview data, the paper distils a process model of banking transac-tions that highlights the critical interfaces forcing English and German banking lawyers into cross-border sensemaking. It distinguishes two accounts of cross-border sensemaking: the “old story” in which contradictory practices and norms collide and the “new story” of a synthetic set of practices for collaboratively “editing” (Sahlin-Andersson, 1996) legal documentation. Data show how new practices gain shape and legitimacy over a series of dialectic contests unfolding at work and how, in turn, these contests shift institutional logics as lawyers ‘get the deal done’. These micro-mechanisms suggest that as practical and institutional work blend, everyday work-ing practices come to constitute a form of institutional agency that is situated, emergent, dialectic and, therefore, embedded.

Reinsurance trading in Lloyd's of London:balancing conflicting-yet-complementary logics in practice

Drawing on a year-long ethnographic study of reinsurance trading in Lloyd’s of London, this paper makes three contributions to current discussions of institutional complexity. First, we shift focus away from structural and relatively static organizational responses to institutional complexity and identify three balancing mechanisms - segmenting, bridging, and demarcating - which allow individuals to manage competing logics and their shifting salience within their everyday work. Second, we integrate these mechanisms in a theoretical model that explains how individuals can continually keep coexisting logics, and their tendencies to either blend or disconnect, in a state of dynamic tension which makes them conflicting-yet-complementary logics. Our model shows how actors are able to dynamically balance coexisting logics, maintaining the distinction between them, whilst also exploiting the benefits of their interdependence. Third, in contrast to most studies of newly formed hybrids and/or novel complexity our focus on a long-standing context of institutional complexity shows how institutional complexity can itself become institutionalized and routinely enacted within everyday practice.

Logics of marginalisation in health and social care reform:integration, choice, and provider-blind provision

The period 2010–2013 was a time of far-reaching structural reforms of the National Health Service in England. Of particular interest in this paper is the way in which radical critiques of the reform process were marginalised by pragmatic concerns about how to maintain the market-competition thrust of the reforms while avoiding potential fragmentation. We draw on the Essex school of political discourse theory and develop a ‘nodal’ analytical framework to argue that widespread and repeated appeals to a narrative of choice-based integrated care served to take the fragmentation ‘sting’ out of radical critiques of the pro-competition reform process. This served to marginalise alternative visions of health and social care, and to pre-empt the contestation of a key norm in the provision of health care that is closely associated with the notions of ‘any willing provider’ and ‘any qualified provider’: provider-blind provision.

Defining Network Activity Patterns Using First Order Temporal Logics

Part of network management is collecting information about the activities that go on around a distributed system and analyzing it in real time, at a deferred moment, or both. The reason such information may be stored in log files and analyzed later is to data-mine it so that interesting, unusual, or abnormal patterns can be discovered. In this paper we propose defining patterns in network activity logs using a dialect of First Order Temporal Logics (FOTL), called First Order Temporal Logic with Duration Constrains (FOTLDC). This logic is powerful enough to describe most network activity patterns because it can handle both causal and temporal correlations. Existing results for data-mining patterns with similar structure give us the confidence that discovering DFOTL patterns in network activity logs can be done efficiently.

Greece, global fault-lines and the disintegrative logics of Germany’s primacy in Europe

Post-Keynesian, heterodox and Marxist political economists have rightly argued that the eurozone crisis is not a fiscal crisis but a balance of payments crisis, mainly caused by the pivotal position of Germany in the European Monetary Union (EMU) and its neo-mercantilist model of growth (low wage, low inflation and export-led). This view, however, sees the split between core and periphery in the European Union as something created with the introduction of the EMU in 1999. This chapter contends that this is not the case. By putting forth a global fault-lines historical perspective and focusing on the case of Greece, it is argued that the problem is not the introduction of the EMU but the geopolitical and macroeconomic asymmetries between core and periphery in Europe since the inception of what vaguely – and even inaccurately – can be defined as ‘European modernity’. Global fault-lines offer a macro-historical and macroeconomic understanding of crises seen as structural events generated by the evolving and contradictory tendencies of capitalism as a world system. It is not just a political economy perspective but a perspective that encompasses many instances of the social, especially geopolitical and geocultural structures.

Behavioral equivalence of hidden k-logics: an abstract algebraic approach

This work advances a research agenda which has as its main aim the application of Abstract Algebraic Logic (AAL) methods and tools to the specification and verification of software systems. It uses a generalization of the notion of an abstract deductive system to handle multi-sorted deductive systems which differentiate visible and hidden sorts. Two main results of the paper are obtained by generalizing properties of the Leibniz congruence — the central notion in AAL. In this paper we discuss a question we posed in [1] about the relationship between the behavioral equivalences of equivalent hidden logics. We also present a necessary and sufficient intrinsic condition for two hidden logics to be equivalent.

Proof theory for hybrid(ised) logics

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. In a series of papers this process has been detailed and taken as a basis for a speci cation methodology for recon gurable systems. The present paper extends this work by showing how a proof calculus (in both a Hilbert and a tableau based format) for the hybridised version of a logic can be systematically generated from a proof calculus for the latter. Such developments provide the basis for a complete proof theory for hybrid(ised) logics, and thus pave the way to the development of (dedicated) proof support.

Reuse and integration of specification logics: the hybridisation perspective

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of first-order encodings of such hybridised institutions into theories in first-order logic. The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system’s configuration. Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science. This paper offers an overview of this method, proposes some new extensions, namely the introduction of full quantification leading to the specification of dynamic modalities, and exemplifies its potential through a didactical application. It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration.

Through Eurocentric logics : The construction of difference in foreign news discourse on Venezuela

This study aims to explore the construction of difference in foreign news discourse on culturally similar but politically different non-Western subjects. Applying critical discourse analysis (CDA) together with a critique of Eurocentrism, the study examines difference in newspaper constructions of government supporters and oppositional groups in Venezuela. Discursive differences are evident in the strategies used for constructing the two groups with regard to political rationality and violence. Government supporters are associated with social justice, Venezuela’s poor, dogmatic behavior, and the use of political violence. The opposition, in contrast, is constructed as following a Western democratic rationale that stresses anti-authoritarianism. This group is primarily associated with victims of violence. While the opposition is conveyed as being compatible with Eurocentric values and practices, government supporters to great extent deviate from these norms. Such constructions serve to legitimize politico-ideological undercurrents of Eurocentrism, as the defense of liberalism.

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

What is a Fuzzy Bi-implication?

In order to make this document self-contained, we first present all the necessary theory as a background. Then we study several definitions that extended the classic bi-implication in to the domain of well stablished fuzzy logics, namely, into the [0; 1] interval. Those approaches of the fuzzy bi-implication can be summarized as follows: two axiomatized definitions, which we proved that represent the same class of functions, four defining standard (two of them proposed by us), which varied by the number of different compound operators and what restrictions they had to satisfy. We proved that those defining standard represent only two classes of functions, having one as a proper subclass of the other, yet being both a subclass of the class represented by the axiomatized definitions. Since those three clases satisfy some contraints that we judge unnecessary, we proposed a new defining standard free of those restrictions and that represents a class of functions that intersects with the class represented by the axiomatized definitions. By this dissertation we are aiming to settle the groundwork for future research on this operator.

On Fuzzy Implication Classes - Towards Extensions of Fuzzy Rule-Based Systems

Atualmente, há diferentes definições de implicações fuzzy aceitas na literatura. Do ponto de vista teórico, esta falta de consenso demonstra que há discordâncias sobre o real significado de "implicação lógica" nos contextos Booleano e fuzzy. Do ponto de vista prático, isso gera dúvidas a respeito de quais "operadores de implicação" os engenheiros de software devem considerar para implementar um Sistema Baseado em Regras Fuzzy (SBRF). Uma escolha ruim destes operadores pode implicar em SBRF's com menor acurácia e menos apropriados aos seus domínios de aplicação. Uma forma de contornar esta situação e conhecer melhor os conectivos lógicos fuzzy. Para isso se faz necessário saber quais propriedades tais conectivos podem satisfazer. Portanto, a m de corroborar com o significado de implicação fuzzy e corroborar com a implementação de SBRF's mais apropriados, várias leis Booleanas têm sido generalizadas e estudadas como equações ou inequações nas lógicas fuzzy. Tais generalizações são chamadas de leis Boolean-like e elas não são comumente válidas em qualquer semântica fuzzy. Neste cenário, esta dissertação apresenta uma investigação sobre as condições suficientes e necessárias nas quais três leis Booleanlike like — y ≤ I(x, y), I(x, I(y, x)) = 1 e I(x, I(y, z)) = I(I(x, y), I(x, z)) — se mantém válidas no contexto fuzzy, considerando seis classes de implicações fuzzy e implicações geradas por automorfismos. Além disso, ainda no intuito de implementar SBRF's mais apropriados, propomos uma extensão para os mesmos