36 resultados para Modal logics
Resumo:
Increased mass migration, as a result of economic hardship, natural disasters and wars, forces many people to arrive on the shores of cultures very different from those they left. How do they manage the legacy of the past and the challenges of their new everyday life? This is a study of immigrant women living in transnational families that act and communicate across national borders on a near-daily basis. The research was carried out amongst immigrant women who were currently living in Finland. The research asks how transnational everyday life is constructed. As everyday life, due to its mundane nature, is difficult to operationalise for research purposes, mixed data collection methods were needed to capture the passing moments that easily become invisible. Thus, the data were obtained from photographic diaries (459 photographs) taken by the research participants themselves. Additionally, stimulated recall discussions, structured questionnaires and participant observation notes were used to complement the photographic data. A tool for analysing the activities devealed in the data was created on the assumption that a family is an active unit that accommodates the current situation in which it is embedded. Everyday life activities were analysed emphasizing social, modal and spatial dimensions. Important daily moments were placed on a continuum: for me , for immediate others and with immediate others . They portrayed everyday routines and exceptions to it. The data matrix was developed as part of this study. The spatial dimensions formed seven units of activity settings: space for friendship, food, resting, childhood, caring, space to learn and an orderly space. Attention was also paid to the accommodative nature of activities; how women maintain traditions and adapt to Finnish life or re-create new activity patterns. Women s narrations revealed the importance of everyday life. The transnational chain of women across generations and countries, comprised of the daughters, mothers and grandmothers was important. The women showed the need for information technology in their transnational lives. They had an active relationship to religion; the denial or importance of it was obvious. Also arranging one s life in Finnish society was central to their narrations. The analysis exposed everyday activities, showed the importance of social networks and the uniqueness of each woman and family. It revealed everyday life in a structured way. The method of analysis that evolved in this study together with the research findings are of potential use to professionals, allowing the targeting of interventions to improve the everyday lives of immigrants.
Resumo:
The commodity plastics that are used in our everyday lives are based on polyolefin resins and they find wide variety of applications in several areas. Most of the production is carried out in catalyzed low pressure processes. As a consequence polymerization of ethene and α-olefins has been one of the focus areas for catalyst research both in industry and academia. Enormous amount of effort have been dedicated to fine tune the processes and to obtain better control of the polymerization and to produce tailored polymer structures The literature review of the thesis concentrates on the use of Group IV metal complexes as catalysts for polymerization of ethene and branched α-olefins. More precisely the review is focused on the use of complexes bearing [O,O] and [O,N] type ligands which have gained considerable interest. Effects of the ligand framework as well as mechanical and fluxional behaviour of the complexes are discussed. The experimental part consists mainly of development of new Group IV metal complexes bearing [O,O] and [O,N] ligands and their use as catalysts precursors in ethene polymerization. Part of the experimental work deals with usage of high-throughput techniques in tailoring properties of new polymer materials which are synthesized using Group IV complexes as catalysts. It is known that the by changing the steric and electronic properties of the ligand framework it is possible to fine tune the catalyst and to gain control over the polymerization reaction. This is why in this thesis the complex structures were designed so that the ligand frameworks could be fairly easily modified. All together 14 complexes were synthesised and used as catalysts in ethene polymerizations. It was found that the ligand framework did have an impact within the studied catalyst families. The activities of the catalysts were affected by the changes in complex structure and also effects on the produced polymers were observed: molecular weights and molecular weight distributions were depended on the used catalyst structure. Some catalysts also produced bi- or multi-modal polymers. During last decade high-throughput techniques developed in pharmaceutical industries have been adopted into polyolefin research in order to speed-up and optimize the catalyst candidates. These methods can now be regarded as established method suitable for both academia and industry alike. These high-throughput techniques were used in tailoring poly(4-methyl-1-pentene) polymers which were synthesized using Group IV metal complexes as catalysts. This work done in this thesis represents the first successful example where the high-throughput synthesis techniques are combined with high-throughput mechanical testing techniques to speed-up the discovery process for new polymer materials.
Resumo:
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.
Resumo:
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.
Resumo:
In this thesis we study a few games related to non-wellfounded and stationary sets. Games have turned out to be an important tool in mathematical logic ranging from semantic games defining the truth of a sentence in a given logic to for example games on real numbers whose determinacies have important effects on the consistency of certain large cardinal assumptions. The equality of non-wellfounded sets can be determined by a so called bisimulation game already used to identify processes in theoretical computer science and possible world models for modal logic. Here we present a game to classify non-wellfounded sets according to their branching structure. We also study games on stationary sets moving back to classical wellfounded set theory. We also describe a way to approximate non-wellfounded sets with hereditarily finite wellfounded sets. The framework used to do this is domain theory. In the Banach-Mazur game, also called the ideal game, the players play a descending sequence of stationary sets and the second player tries to keep their intersection stationary. The game is connected to precipitousness of the corresponding ideal. In the pressing down game first player plays regressive functions defined on stationary sets and the second player responds with a stationary set where the function is constant trying to keep the intersection stationary. This game has applications in model theory to the determinacy of the Ehrenfeucht-Fraisse game. We show that it is consistent that these games are not equivalent.
Resumo:
Neurotrophic factors (NTFs) and the extracellular matrix (ECM) are important regulators of axonal growth and neuronal survival in mammalian nervous system. Understanding of the mechanisms of this regulation is crucial for the development of posttraumatic therapies and drug intervention in the injured nervous system. NTFs act as soluble, target-derived extracellular regulatory molecules for a wide range of physiological functions including axonal guidance and the regulation of programmed cell death in the nervous system. The ECM determines cell adhesion and regulates multiple physiological functions via short range cell-matrix interactions. The present work focuses on the mechanisms of the action of NTFs and the ECM on axonal growth and survival of cultured sensory neurons from dorsal root ganglia (DRG). We first examined signaling mechanisms of the action of the glial cell line-derived neurotrophic factor (GDNF) family ligands (GFLs) on axonal growth. GDNF, neurturin (NRTN) and artemin (ART) but not persephin (PSPN) promoted axonal initiation in cultured DRG neurons from young adult mice. This effect required Src family kinase (SFK) activity. In neurons from GFRalpha2-deficient mice, NRTN did not significantly promote axonal initiation. GDNF and NRTN induced extensive lamellipodia formation on neuronal somata and growth cones. This study suggested that GDNF, NRTN and ARTN may serve as stimulators of nerve regeneration under posttraumatic conditions. Consequently we studied the convergence of signaling pathways induced by NTFs and the ECM molecule laminin in the intracellular signaling network that regulates axonal growth. We demonstrated that co-stimulation of DRG neurons with NTFs (GDNF, NRTN or nerve growth factor (NGF)) and laminin leads to axonal growth that requires activation of SFKs. A different, SFK-independent signaling pathway evoked axonal growth on laminin in the absence of the NTFs. In contrast, axonal branching was regulated by SFKs both in the presence and in the absence of NGF. We proposed and experimentally verified a Boolean model of the signaling network triggered by NTFs and laminin. Our results put forward an approach for predictable, Boolean logics-driven pharmacological manipulation of a complex signaling network. Finally we found that N-syndecan, the receptor for the ECM component HB-GAM was required for the survival of neonatal sensory neurons in vitro. We demonstrated massive cell death of cultured DRG neurons from mice deficient in the N-syndecan gene as compared to wild type controls. Importantly, this cell death could not be prevented by NGF the neurotrophin which activates multiple anti-apoptotic cascades in DRG neurons. The survival deficit was observed during first postnatal week. By contrast, DRG neurons from young adult N-syndecan knock-out mice exhibited normal survival. This study identifies a completely new syndecan-dependent type of signaling that regulates cell death in neurons.
Resumo:
The aim of the study was to find out how the consumption of the population in Finland became a target of social interest and production of statistical data in the early 20th century, and what efforts have been made to influence consumption with social policy measures at different times. Questions concerning consumption are examined through the practices employed in the compilation of statistics on it. The interpretation framework in the study is Michael Foucault s perspective of modern liberal government. This mode of government is typified by pursuit of efficiency and search of equilibrium between economic government and a government of the processes of life. It shows aspirations towards both integration and individualisation. The government is based on freedom practices. It also implies knowledge-based ways of conceptualising reality. Statistical data are of specific significance in this context. The connection between the government of consumption and the compilation of statistics on it is studied through the theoretical, socio-political and statistical conceptualisation of consumption. The research material consisted of Finnish and international documentation on the compilation of statistics on consumption, publications of social programmes, and reports of studies on consumption. The analysis of the material focused especially on the problematisations related to consumption found in these documents and on changes in them over history. There have been both clearly observable changes and as well as historical stratification and diversity in the rationalities and practices of consumption government during the 20th century. Consumption has been influenced by pluralistic government, based at different times and in varying ways on the logics of solidarity and markets. The difference between these is that in the former risks are prepared for collectively while in the latter risks are individualised. Despite the differences, the characteristic that is common to these logics is certain kind of contractuality. They are both permeated by the household logic which differs from them in that it is based on the normative and ethical demands imposed on an individual. There has been a clear interactive connection between statistical data and consumption government. Statistical practices have followed changes in the way consumption has been conceptualised in society. This has been reflected in the statistical phenomena of interest, concepts, classifications and indicators. New ways of compiling statistics have in their turn shaped perceptions of reality. Statistical data have also facilitated a variety of rational calculations with which the consequences of the population s consumption habits have been evaluated at the levels of economy at large and individuals.
Resumo:
This study examines Institutional Twinning in Morocco as a case of EU cooperation through the pragmatic, ethical and moral logics of reason in Jürgen Habermas’s discourse ethics. As a former accession tool, Twinning was introduced in 2004 for legal approximation in the context of the European Neighborhood Policy. Twinning is a unique instrument in development cooperation from a legal perspective. With its long historical and cultural ties to Europe, Morocco presents an interesting case study of this new form of cooperation. We will analyse motives behind the Twinning projects on illegal immigration, environment legislation and customs reform. As Twinning is a new policy instrument within the ENP context, there is relatively little preceding research, which, in itself, constitutes a reason to inquire into the subject. While introducing useful categories, the approaches discussing “normative power Europe” do not offer methodological tools precise enough to analyse the motives of the Twinning cooperation from a broad ethical standpoint. Helene Sjursen as well as Esther Barbé and Elisabeth Johansson-Nogués have elaborated on Jürgen Habermas’ discourse ethics in determining the extent of altruism in the ENP in general. Situating the analysis in the process-oriented framework of Critical Theory, discourse ethics provides the methodological framework for our research. The case studies reveal that the context in which they operate affects the pragmatic, ethical and moral aspirations of the actors. The utilitarian notion of profit maximization is quite pronounced both in terms of the number of Twinning projects in the economic sphere and the pragmatic logics of reason instrumental to security and trade-related issues. The historical background as well internal processes, however, contribute to defining areas of mutual interest to the actors as well as the motives Morocco and the EU sometimes described as the external projection of internal values. Through its different aspects, Twinning cooperation portrays the functioning of the pragmatic, ethical and moral logics of reason in international relations.
Resumo:
In view of the current fragmentation in management and organisation studies, we argue that there is a need to elaborate techniques that help reconcile contradictory and superficially incommensurable standpoints. For this purpose, we draw on ‘pre-modern’ Aristotelian epistemological and methodological sources, particularly the idea of ‘saving the appearances’ (SA), not previously introduced into organisation studies. Using SA as our starting point, we outline a methodology that helps to develop reasonable and acceptable intermediary positions in contemporary debates between ‘modernism’ and ‘post-modernism’. We illustrate the functioning of SA in the case of three issues in the philosophy of science where ‘modernist’ and ‘post-modernist’ scholars seem to have incommensurable standpoints: the nature of scientific knowledge; the conception of causality; and the epistemology of practice. We show in particular how to use the logics of ‘qualification’, ‘new conception’, and ‘complementary combination’ to form the basis for mediating positions which could then be accepted by less extreme proponents of both ‘modernism’ and ‘postmodernism’.
Resumo:
This study focuses on personnel managers in crisis situations. The interviewed personnel managers referred to emotions as a central element to be dealt with in a crisis. However, until recently, the exploration of emotions in organisational life has been de-emphasised or ignored. This study aims to bring to the surface aspects of personnel work that have so far been neglected or remained invisible. It specifically examines how personnel managers handle employees’ and their own emotions in a crisis. Based on the interviews, a number of emotional episodes were constructed. They describe the type and context of the crisis and the person(s) whose emotions are handled. The main findings of the study are the five emotion-handling strategies that could be constructed from the data. The negotiation-like manner in which personnel managers handled emotions in crisis situations proved especially interesting. They were actually negotiating emotional value for their organisations. Further, they handled their own emotions within the frame of two logics of appropriateness labelled mothering and guide-following. The episodes described also enabled identification of the values enacted by the personnel managers in handling emotions. The study provides descriptive information on emotion handling, a current and relevant feature in the practice of personnel management. It seeks to offer a frame for developing practical principles that can be helpful in a crisis. It also offers the opportunity to consider a variety of difficult situations that personnel managers may confront in their work.
Resumo:
The paradoxical co-existence of conflicting logics governs practices in cultural organizations. This requires ‘balancing acts’ between artistic and managerial efforts, which are often subjects to struggle among the organizational members. This ethnographic study aims to go beyond either-or thinking on the paradoxical organizational context by examining how the organizational members of an opera house construct views on their organization in dialogical meaning-making processes. Various professional groups, dozens of upcoming productions, increased international cooperation, and global competition combined with scarce financial resources make opera houses a complex though interesting context for organization studies. In order to provide a deeper knowledge of the internal dynamics of an opera organization this thesis takes an interpretative view to examine the ways organizational members construct and make sense of their organization. How is the opera organization constructed by the organizational members? How do the members draw on different logics when relating to their organization? Or what are the elements that characterize the relational processes of organizational identity construction in an opera organization? The thesis aims to answer these questions by providing a detailed description of the everyday life of an opera organization and a particular focus put on organizational identity construction. The processes of organizational identity construction are approached from a relational point of view. This may involve various relations between multiple positions, different professional groups, other organizations in the cultural field or between past and present understandings of an organization. The study shows that the construction of an opera organization involves not only the two conflicting logics of art and economy, but also the logic of a national institution. The study suggests also that organizational identities are constructed through processes related to the dialogics of positions, work and management practices. The dialogics involve various struggles through which the organizational members find themselves between the different organizational aspects such as visiting ‘stars’ and an ensemble or between ‘Finnishness’ of opera productions and internationalization. In addition, the study argues that a struggle between different elements is a general mode of relation in cultural organizations and therefore an inherent and enduring aspect in the organizational identity construction. However, the space of ‘being in between’ involves both the enabling and constraining elements in the dialogical identity construction in the context of cultural organizations, which present the struggle in a more generative light.
Resumo:
Purpose –This paper explores and expands the roles of customers and companies in creating value by introducing a new a customer-based approach to service. The customer’s logic is examined as being the foundation of a customer-based marketing and business logic. Design/methodology/approach – The authors argue that both goods-dominant logics and service-dominant logics are provider-dominant. Contrasting the customer-dominant logic with provider-dominant logics, the paper examines the creation of service value from the perspectives of value-in-use, the customer’s own context, and the customer’s experience of service. Findings –Moving from a provider-dominant logic to a customer-dominant logic uncovered five major challenges to service marketers: Company involvement, company control in co-creation, visibility of value creation, locus of customer experience, and character of customer experience. Research limitations/implications – The paper is exploratory. It presents and discusses a conceptual model and suggests implications for research and practice. Practical implications –Awareness of the mechanisms of customer logic will provide businesses with new perspectives on the role of the company in their customer’s lives. We propose that understanding the customer’s logic should represent the starting-point for the marketer’s business logic. Originality/value – The paper increases the understanding of how the customer’s logic underpins the customer-dominant business logic. By exploring consequences of applying a customer-dominant logic, we suggest further directions for theoretical and empirical research.
Resumo:
The multifaceted passive present participle in Finnish This study investigates the uses of the passive present participle in Finnish. The participle occurs in a variety of syntactic environments and exhibits a rich polysemy. Former descriptions have treated it as a mainly modal element, but it has several non-modal uses as well. The present study provides an overview of its uses and meanings, with the main focus on the factors which trigger the modal reading. In addition, the study contains two case studies on modal periphrastic constructions consisting of the verb 'to be' and the present passive participle, the Obligation construction, e.g., on men-tä-vä [is go-pass-ptc], and the Possiblity construction, e.g., on pelaste-tta-v-i-ssa [is save-pass-ptc-pl-ine]. The study is based on empirical data of 9000 sentences obtained from i) large collections of transcribed material from Finnish dialects, ii) a corpus of modern Finnish newspaper texts, iii) corpora of Old Finnish texts. Both in colloquial and standard Finnish the reading of the participle is highly dependent of the context and determined by such factors as the overall syntactic environment and other co-occurring elements. One of the main findings here is that the Finnish passive present participle is not modal per se. The contextual modal reading arises whenever the state of affairs is conceptualized from the viewpoint of the implied subject of the participle, and the meaning of possibility or obligation depends mostly on whether the situation is pleasant or undesirable. In sections examining the grammaticalization of the Possibility and Obligation constructions, the perspective is diachronic. Both constructions have derived from copula constructions with the passive present participle as a predicate (adjective or adverb). These sections show how a linguistic change can be investigated on the basis of the patterns of usage in the empirical data. The Possibility construction is currently going through a restructuration to a passive verbal complex. The source of this construction is reflected in its present-day use by the fact that it heavily biased towards a small set of verbs. The Obligation construction has grammaticalized to a construction comparable to a compound tense. Patterns of use of the construction show that grammaticalization originates in specific syntactic constructions with an implication of practical necessity. Furthermore, it is shown that the Obligation construction has grammaticalized in different directions in standard and colloquial Finnish. Differing from the study on most typical phenomena investigated in the literature on grammaticalization of modality, the present study opens new perspectives and methods for discussion on these questions.
Resumo:
This study examines the politics and policies of reproductive agency through a redescription of three Finnish policy documents dealing with the declining birth rate: the Government report on the future 'Finland for people of all ages' (2004), Business and Policy Forum EVA report 'Condemned to Diminish?' (Tuomitut vähenemään?) (2003), and the Family Federation's 'Population Policy Program' (2004). The redescription is done with the help of the notion of reproductive agency, which draws on Drucilla Cornell's concepts of the imaginary domain and bodily integrity. The imaginary domain is the moral and psychic space people need in order to form their personality, which is created in constant identificatory processes. The aim of the processes is imaginary coherence. As the personality is embodied, forming one s imaginary coherence always includes attempts for bodily integrity, also entailing attempts to arrive at an understanding of one's procreative capacities. Besides Cornell, I draw on Judith Butler's thinking and comprehend gender performatively as doing, and in relation to that agency as part of the performative process of one's personality. Reproductive agency is understood in this study as the possibilities to live differently the hegemonic forms of procreative life. I deal with three redescriptive themes: the family, economics and gender. The family is a central element in that it is considered the main location of reproduction. With regard to reproductive agency, the documents include problematic conceptions of the family. It is defined as a heterosexual, monogamous, conjugal relationship, which affects reproductive agency in that these notions do not allow for different modes of family life. The second prominent aspect, economics, features on two levels: the macroeconomic level of GDP, employment and competitiveness, and the level of family policies and concern about family finances. Macroeconomic-level argumentation is problematic in the context of reproductive agency because it implies that procreation is a duty of citizens, and thus has effects on values attached to reproductive potential. On the other hand, family policies may advance reproductive agency in supporting families financially. However, such policies also define how the family is understood, thereby affecting reproductive agency. The third theme, gender, intersects with many issues in the policy documents. All three texts consider the roles of men and women differently: women are primarily responsible for the family, and both men's and women's reproductive agency is affected in that the roles in the procreative process are predefined. EVA and the Family Federation see women as the main target of population policies, and consider it legitimate to try to change women s reproductive decisions. Implicit in the notion of reproductive agency is the idea that it should be possible to overcome and live differently the sex difference, but the three documents do not open up opportunities for that. The notion of reproductive agency makes it also possible to question the legitimacy of population policies in general and offers new perspectives on the vocabularies used in the three policy texts, providing insights into the values and logics that support the concepts.
Resumo:
We examine institutional work from a discursive perspective and argue that reasonability, the existence of acceptable justifying reasons for beliefs and practices, is a key part of legitimation. Drawing on philosophy of language, we maintain that institutional work takes place in the context of ‘space of reasons’ determined by widely held assumptions about what is reasonable and what is not. We argue that reasonability provides the main contextual constraint of institutional work, its major outcome, and a key trigger for actors to engage in it. We draw on Hilary Putnam’s concept ‘division of linguistic labor’ to highlight the specialized distribution of knowledge and authority in defining valid ways of reasoning. In this view, individuals use institutionalized vocabularies to reason about their choices and understand their context with limited understanding of how and why these structures have become what they are. We highlight the need to understand how professions and other actors establish and maintain the criteria of reasoning in various areas of expertise through discursive institutional work.