Implication is a logical connective corresponding to the rule of causality "if ... then ...". Implications allow one to organize knowledge of some field of application in an intuitive and convenient manner. This thesis explores possibilities of automatic construction of all valid implications (implicative theory) in a given field. As the main method for constructing implicative theories a robust active learning technique called Attribute Exploration was used. Attribute Exploration extracts knowledge from existing data and offers a possibility of refining this knowledge via providing counter-examples. In frames of the project implicative theories were constructed automatically for two mathematical domains: algebraic identities and parametrically expressible functions. This goal was achieved thanks both pragmatical approach of Attribute Exploration and discoveries in respective fields of application. The two diverse application fields favourably illustrate different possible usage patterns of Attribute Exploration for automatic construction of implicative theories.

Resource integration, as it relates to value creation, has recently been a key aspect of the discussions about service-dominant (S-D) logic. However, the majority of research pays relatively little explicit attention to the process of theorizing and the epistomological and ontological assumptions upon which the theorizing process is based. This article addresses these issues. The processes that relate to theorizing and developing strong theory are discussed. We then examine how to conceptualize ‘resources’ and ‘resource integration’ following differing ontological and epistemological assumptions that guide the theorizing process. Research recommendations to help navigate through the finer details underlying the theorizing process and to advance a general theory of resource integration are developed.

Recently, verification and analysis of data words have gained a lot of interest. Metric temporal logic (MTL) and timed propositional temporal logic (TPTL) are two extensions of Linear time temporal logic (LTL). In MTL, the temporal operator are indexed by a constraint interval. TPTL is a more powerful logic that is equipped with a freeze formalism. It uses register variables, which can be set to the current data value and later these register variables can be compared with the current data value. For monotonic data words, Alur and Henzinger proved that MTL and TPTL are equally expressive and the satisfiability problem is decidable. We study the expressive power, satisfiability problems and path checking problems for MLT and TPTL over all data words. We introduce Ehrenfeucht-Fraisse games for MTL and TPTL. Using the EF-game for MTL, we show that TPTL is strictly more expressive than MTL. Furthermore, we show that the MTL definability problem that whether a TPTL-formula is definable in MTL is not decidable. When restricting the number of register variables, we are able to show that TPTL with two register variables is strictly more expressive than TPTL with one register variable. For the satisfiability problem, we show that for MTL, the unary fragment of MTL and the pure fragment of MTL, SAT is not decidable. We prove the undecidability by reductions from the recurrent state problem and halting problem of two-counter machines. For the positive fragments of MTL and TPTL, we show that a positive formula is satisfiable if and only it is satisfied by a finite data word. Finitary SAT and infinitary SAT coincide for positive MTL and positive TPTL. Both of them are r.e.-complete. For existential TPTL and existential MTL, we show that SAT is NP-complete. We also investigate the complexity of path checking problems for TPTL and MTL over data words. These data words can be either finite or infinite periodic. For periodic words without data values, the complexity of LTL model checking belongs to the class AC^1(LogDCFL). For finite monotonic data words, the same complexity bound has been shown for MTL by Bundala and Ouaknine. We show that path checking for TPTL is PSPACE-complete, and for MTL is P-complete. If the number of register variables allowed is restricted, we obtain path checking for TPTL with only one register variable is P-complete over both infinite and finite data words; for TPTL with two register variables is PSPACE-complete over infinite data words. If the encoding of constraint numbers of the input TPTL-formula is in unary notation, we show that path checking for TPTL with a constant number of variables is P-complete over infinite unary encoded data words. Since the infinite data word produced by a deterministic one-counter machine is periodic, we can transfer all complexity results for the infinite periodic case to model checking over deterministic one-counter machines.

Syftet med studien är att beskriva och analysera hur aktörer inom animalieindustrin legitimerar sin verksamhet, detta med utgångspunkt i de logiker som uttrycks och verkar i aktörers utsagor i samtal om hållbarhet och klimat. Analysen sker genom ett logikperspektiv som fokuserar på hur fortsatta investeringar i animalieproduktion som idé motiveras och ges legitimitet i en samtid där konsumtion och produktion av animalier sägs vara oförenligt med ett hållbart klimat. Vidare studeras gränsdragningar och positioner aktörerna skapar i samtal om kött och klimat och hur hållbarhet som kulturellt begrepp konstrueras. Studien baseras huvudsakligen på #Köttpodden av Svenskt Kött och digitala utsagor från LRF:s och Svenskt Kötts hemsidor. Resultatet av studien är att aktörerna använder olika logiker för att legitimera fortsatt produktion och konsumtion av animalier. Hållbarhet kulturaliseras i aktörernas utsagor för att överensstämma med egna befintliga sammanhang, vilket legitimerar fortsatta investeringar i animalieproduktion vilken föreställs vara en hållbar praktik.

Hegel führt die traditionelle formale Logik, wie sie in Kants Konzept der reinen allgemeinen Logik ihre für ihn abschließende Gestalt erfahren hat, innerhalb seiner Systematik auf die Psychologie der produktiven Einbildungskraft und des Denkens zurück. Kants Konzeption der transzendentalen Logik, und mit ihr die neuzeitliche Erkenntnistheorie, wird aus gesamtsystematischer Hinsicht in der Philosophie des subjektiven Geistes verortet, und insbesondere in der Phänomenologie des Geistes und der Psychologie der Anschauung und Vorstellung. In logischer Hinsicht leistet Kant nach Hegel nur eine Übersetzung phänomenologischer Inhalte der psychologischen Vorstellung in relativ unterentwickelte und isolierte objektivlogische Strukturen (reine Reflexions- und wesentliche Verhältnisbestimmungen), wodurch er über den psychologischen Reflex des Begriffs nicht hinauskommt. Der logische Inhalt bzw. der objektive Gedanke dagegen basiert in seiner formalen Dimension auf die Realisierung des Begriffs im Prozess der endlichen Teleologie, aus deren Perspektive auch phänomenologische und logische Dimensionen von Struktur- und Verhältnisbestimmungen differenziert werden können (Inhalte der kontemplative Erwägung der Konstruktionsbedingungen des unausgeführten subjektiven Zwecks im ersten Fall, Funktionalität von Strukturverhältnissen im Prozess der Ausführung des subjektiven Zwecks im zweiten Fall). Der logische Inhalt ist konkret im Vergleich zum phänomenologischen Inhalt der psychologischen Vorstellung und abstrakt im Vergleich zum realsystematischen Inhalt als Korrelat der absoluten Methode. / Within his system Hegel relegates traditional formal logic, as it found its fulfillment in Kant´s concept of pure general logic, to the psychology of productive imagination and thought. Kant´s conception of transcendental logic, and with it a modern epistemological standpoint more generally, is also allocated in the philosophy of subjective spirit, and more specifically in the phenomenology and the psychology of intuition and representation. From a logical standpoint Kant does not, according to Hegel, go beyond translating phenomenological contents of the psychological representation into the relatively simple structures of the determinations of reflection and essential relations, thereby staying within the realm of the mere psychological reflex of the concept. Determinate logical content or objective thought on the contrary is based in its formal dimension on the actualization of the concept in the process of finite teleology. From this perspective it is possible to coherently distinguish between phenomenological and logical dimensions of structural and relational determinations (contents of the contemplative assessment of the conditions of construction of the yet unexecuted subjective finite end on the one hand, functionality of structural relations in the process of executing this end on the other). The logical content is concrete compared to the phenomenological one and abstract compared to the content of the real parts of the system as the correlate of absolute logical method.

Abstrakt   Denna uppsats undersöker delegeringen av makrotillsyn i Sverige. Makrotillsyn är ett nytt politikområde som vuxit fram efter den internationella finansiella krisen 2007–2009 och har tydliga internationella, EU- och nationella aspekter. Utifrån Lombardi & Moschellas (2017) studie med tre hypoteser; att delegeringen vilar på funktionell, idémässig eller symbolpolitisk logik, intervjuas centralt placerade beslutsfattare inom området makrotillsyn för att kunna beskriva vilken logik som gäller. Studien visar att det är frågan om tre beslutsprocesser, Den ena hanterar bankinriktade makrotillsynsverktyg, vilket följer en funktionell logik och är teknokratstyrd. Utformningen av denna process har påverkats avsevärt av policydokument upprättade av internationella experter knutna till centralbanks- och tillsynsmiljön och har egenskaper av en internationell/EU-baserad horisontell nätverksprocess. Den andra beslutsprocessen hanterar hushållsinriktade makrotillsynsverktyg som bäst förklaras med en symbolpolitisk logik. Den är i huvudsak nationell och har karaktär av en korporativ och politiserad process. Den tredje beslutsprocessen är utformningen av ramverket för makrotillsyn och har internationellt, EU- och nationellt inslag som har karaktär av en nätverksprocess. Delegeringslogiken av makrotillsyn i Sverige beskrivs bäst med en idémässig logik men med tydliga inslag av symbolpolitisk logik där nya idéer har fått genomslag i tillsynen. Delegeringen av makrotillsyn har utformats utifrån den befintliga institutionella konfigurationen och det har inte genomförts några större förändringar för att kunna utforma en effektiv makrotillsyn. Makrotillsynen är utformad för att hantera marknadsobalanser och incitamentsproblem där synen är att marknaden inte kan hantera kreditcykliska och sammanlänkningseffekter på ett effektivt sätt.

<p>Uppsatsen gör en första ansats att utifrån befintliga organisationsteorier definiera de faktorer vilka påverkar Försvarsmakten och R3-organisationen. Oganisations-teorierna pekar på yttre krafter så som politik, ekonomi och teknologi samt inre logik-faktorer, vilka består av sociala processer som utvecklas och påverkar det klimat som präglar en organisation.</p><p>Förutom yttre krafter och inre logik, påverkar även organisationsformen en organisation. Inom Försvarsmakten och dess underorganisationer, däribland R3, är organisationsformen till övervägande del hierarkisk. Ett välanpassat och dubbelriktat informationsutbyte mellan de olika nivåerna inom hierarkin gör den välfungerande och effektiv. Inom R3-organisationen finns detta informationsutbyte bland annat mellan funktionsutvecklaren och utbildningsförbanden. Klimatet samt funktionen inom detta utbyte påverkar organisationens effektivitet och optimering. Framtiden är till del oviss och utveckling, omvärld och resurser förändras ständigt. Genom att sträva efter att vara en lärande organisation kan Försvarsmakten tillgodogöra organisationen de kunskaper som individerna innehar och förvärvar. En lärande organisation investerar i människor och deras fortlöpande lärande. Viktigt är att öka det subjektiva och objektiva handlingsutrymmet för individerna i syfte att gynna lärprocessen, vilket utvecklar hela organisationen. Det ökade internationella samarbetet Försvarsmakten strävar mot, främjar rimligtvis effektivitet och optimering på så vis att kunskapsprocesserna utvecklar och vidgar de referensramar individ och organisation har.</p><p>Fortsatt forskning kan bland annat ge svar på hur det internationella samarbetet skall utvecklas för att ge ytterligare positiva aspekter avseende den lärande organisationen och dess utveckling.</p> / <p>The author of this essay is Elisabet Hökerberg, a Cadet at the Swedish Armed Forces Technical School, Halmstad. The essay is written as a part of the Officer Education.</p><p>The objective of this study is to research and examine the main factors which affect the potential for an organization to function as effectively as possible. The essay also aims at describing the most preferable climate characterizing an optimal and effective organization. Factors such as politics, technical boundaries and economies are external factors which affect an organization and are often difficult for the organization to influence. These external factors also have a direct effect on the inner logic that characterizes the relations and climate between the members of the organization. Inner logics are social processes which develop without the members’ direct awareness of them. Opportunism is a typical inner logic factor.</p><p>In order to increase efficiency and realize the objectives of the organization it is important for those in command to handle these inner logics with care and to be aware of their importance. To realize the objective of an organization the executive staff must have the ability, will and means to lead and guide their employees towards the Managing Directors’ intended objective.</p><p>The Swedish Armed Forces is no exception and the external powers and inner logics influence the military organization just as it does a regular company. The hierarchic organization which the military organization constitutes also affects its efficiency and optimising. In order to make a hierarchic organization function with effectiveness it is of importance that the vertical and horizontal boundaries are flexible and variable.</p><p>The result of the study shows that the conception of <em>learning organisations</em> can be an important part of the way towards an organization with minimized negative affection from the inner logic factors. The learning organisation has the ability to assimilate not only the available knowledge of the employees, but also encourages them to incorporate new. By investing in knowledge in this way the personnel readily understand their own importance in the way towards the objective, which leads to a more efficient organization.</p>

Den regionala utvecklingspolitikens karaktär har under de senaste decennierna skiftat dramatiskt. Utvecklingen har gått från centralstyrning till allt större regionalt självbestämmande. Från en inriktning på stödinsatser och regional utjämning till en starkare betoning av tillväxt i landets samtliga delar. Begreppet tillväxt har vunnit mark och man talar allt oftare om en regional tillväxtpolitik.  Samtidigt som man i stor utsträckning betonar den ekonomiska tillväxten finns också en ambition att bredda begreppet med en ekologisk och social dimension. Tilltron till att man genom statliga interventioner kan styra samhällsutvecklingen i Sverige har länge varit stark och stora resurser har avsatts för satsningar inte minst inom området för regionalpolitik. Själva logiken bakom interventionerna har dock sällan klarlagts.  I avhandlingen görs det utifrån en specifik regionalpolitisk insats, nämligen resurscentra för kvinnor. Det blir då tydligt hur regionalpolitiken, i form av policyn bakom interventionen, vilar på motsägelsefulla underliggande logiker vilka praktiken sedan i sin tur måste balansera. Något som i flera fall ger upphov till organisatoriska problem i verksamheten. Resurscentra för kvinnor utgör en regionalpolitisk satsning som funnits sedan mitten av 1990-talet och vars tillkomst och utformning delvis kan förstås mot bakgrund av den utveckling av regionalpolitiken som beskrivits ovan. Inrättandet skedde utifrån att man konstaterat att kvinnor varit missgynnade inom regionalpolitiken. Ett genusperspektiv där man i högre utsträckning tog hänsyn till kvinnors lokala och regionala villkor och förutsättningar efterfrågades därför. Som konsekvens av detta inrättades regionala resurscentra för kvinnor i samtliga län, många lokala resurscentra bildades också. Antalet har varierat över tid men det har i Sverige rört sig om ett hundratal regionala och lokala resurscentra. I avhandlingen står särskilt två län i fokus; Södermanland och Västmanland med två regionala och sjutton lokala resurscentra. Avhandlingen som bygger på en studie av resurscentraverksamheten i Södermanland och Västmanland 2004-2006 visar hur flera av de organisatoriska problem verksamheten i praktiken brottas med kan förstås i relation till en motsägelsefull regionalpolitik. Vid en närmare studie av policyn bakom resurscentra kan den förstås som vilandes på tre olika och delvis självmotsägande underliggande logiker. Logiker som verksamheten i praktiken måste hantera och som många gånger ger upphov till motstridiga krav. / The characteristics of regional development policy during the past decades have altered dramatically. The trend has changed from central control to an increasingly larger regional independence; from a focus on support and regional equalization to a stronger emphasis on growth in all parts of the country. The general emphasis has been on economic growth, but there is also an ambition to widen the concept with an ecological and social dimension. The credence of controlling the development of society by means of interventions by the state has for a long time been strong and great resources have been reserved for interventions, not least in the area of regional development. However, the logic behind these interventions has seldom been investigated. This is done in the thesis in which the logic behind the specific regional policy intervention Resource centers for women is derived. From this perspective it becomes apparent how the regional policy, in the shape of the policy behind the intervention, is based on contradicting logics which the resource centers have to balance. This proves to be an unfeasible balance act where the intrinsic inconsistencies cause organizational problems.   Resource centers for women is a regional policy intervention that has been present since the mid 1990s and its establishment and formation can be understood by the background described above. The reason for its founding was that observations had been made that women were disfavored in regional policy. As a result of this, a request was raised of a gender perspective, where women’s local and regional terms were given larger attention. This led to the establishment of Resource centers for women in all Swedish counties; many local resource centers were also founded. The actual number of centers in Sweden has varied over time but there have been around 100 regional and local resource centers. In the thesis, two regions have the center of attention; Södermanland and Västmanland with two regional and 17 local resource centers. The thesis, which is based on a case study of the Resource centers in Södermanland and Västmanland 2004-2006, shows how several of the organizational problems can be understood in relation to a contradicting regional policy. A policy based on three separate and partly contradicting logics that have to be handled in practice by the organization and often is the cause of contradicting requirements.

This thesis consists in six articles and a comprehensive summary. • The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in the last 25 years. The research areas associated with AGM was divided in three parts: criticisms, where we discussed some of the more common criticisms of AGM. Extensions where the most common extensions and variations of AGM are presented and applications where we provided an overview of applications and connections with other areas of research. • Article I elaborates on the connection between partial meet contractions [AGM85] and kernel contractions [Han94a] in belief change theory. Also both functions are equivalent in belief sets, there are notequivalent in belief bases. A way to define incision functions (used in kernel contractions) from selection functions (used in partial meet contractions) and vice versa is presented. It is explained under which conditions there are exact correspondences between selection and incision functions so that the same contraction operations can be obtained by using either of them. • Article II proposes an axiomatic characterization for ensconcement-based contraction functions, belief base functions proposed byWilliams and relates this function with other kinds of base contraction functions. • Article III adapts the Fermé and Hansson model of Shielded Contraction [FH01] as well as Hansson et all Credibility-Limited Revision [HFCF01] for belief bases, to join two of the many variations of the AGM model [AGM85], i.e. those in which knowledge is represented through belief bases instead of logic theories, and those in which the object of the epistemic change does not get the priority over the existing information as it is the case in the AGM model. • Article IV introduces revision by comparison a refined method for changing beliefs by specifying constraints on the relative plausibility of propositions. Like the earlier belief revision models, the method proposed is a qualitative one, in the sense that no numbers are needed in order to specify the posterior plausibility of the new information. The method uses reference beliefs in order to determine the degree of entrenchment of the newly accepted piece of information. Two kinds of semantics for this idea are proposed and a logical characterization of the new model is given. • Article V focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. This essay proposes for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction,proposed by Hansson [Han94a] to construct classical AGM contractions and belief base contractions. • Article VI relates AGM model with the DFT model proposed by Carlos Alchourrón [Alc93]. Alchourrón devoted his last years to the analysis of the notion of defeasible conditionalization. His definition of the defeasible conditional is given in terms of strict implication operator and a modal operator f which is interpreted as a revision function at the language level. This essay points out that this underlying revision function is more general than AGM revision. In addition, a complete characterization of that more general kind of revision that permits to unify models of revision given by other authors is given. / QC 20110211

Uppsatsen gör en första ansats att utifrån befintliga organisationsteorier definiera de faktorer vilka påverkar Försvarsmakten och R3-organisationen. Oganisations-teorierna pekar på yttre krafter så som politik, ekonomi och teknologi samt inre logik-faktorer, vilka består av sociala processer som utvecklas och påverkar det klimat som präglar en organisation. Förutom yttre krafter och inre logik, påverkar även organisationsformen en organisation. Inom Försvarsmakten och dess underorganisationer, däribland R3, är organisationsformen till övervägande del hierarkisk. Ett välanpassat och dubbelriktat informationsutbyte mellan de olika nivåerna inom hierarkin gör den välfungerande och effektiv. Inom R3-organisationen finns detta informationsutbyte bland annat mellan funktionsutvecklaren och utbildningsförbanden. Klimatet samt funktionen inom detta utbyte påverkar organisationens effektivitet och optimering. Framtiden är till del oviss och utveckling, omvärld och resurser förändras ständigt. Genom att sträva efter att vara en lärande organisation kan Försvarsmakten tillgodogöra organisationen de kunskaper som individerna innehar och förvärvar. En lärande organisation investerar i människor och deras fortlöpande lärande. Viktigt är att öka det subjektiva och objektiva handlingsutrymmet för individerna i syfte att gynna lärprocessen, vilket utvecklar hela organisationen. Det ökade internationella samarbetet Försvarsmakten strävar mot, främjar rimligtvis effektivitet och optimering på så vis att kunskapsprocesserna utvecklar och vidgar de referensramar individ och organisation har. Fortsatt forskning kan bland annat ge svar på hur det internationella samarbetet skall utvecklas för att ge ytterligare positiva aspekter avseende den lärande organisationen och dess utveckling. / The author of this essay is Elisabet Hökerberg, a Cadet at the Swedish Armed Forces Technical School, Halmstad. The essay is written as a part of the Officer Education. The objective of this study is to research and examine the main factors which affect the potential for an organization to function as effectively as possible. The essay also aims at describing the most preferable climate characterizing an optimal and effective organization. Factors such as politics, technical boundaries and economies are external factors which affect an organization and are often difficult for the organization to influence. These external factors also have a direct effect on the inner logic that characterizes the relations and climate between the members of the organization. Inner logics are social processes which develop without the members’ direct awareness of them. Opportunism is a typical inner logic factor. In order to increase efficiency and realize the objectives of the organization it is important for those in command to handle these inner logics with care and to be aware of their importance. To realize the objective of an organization the executive staff must have the ability, will and means to lead and guide their employees towards the Managing Directors’ intended objective. The Swedish Armed Forces is no exception and the external powers and inner logics influence the military organization just as it does a regular company. The hierarchic organization which the military organization constitutes also affects its efficiency and optimising. In order to make a hierarchic organization function with effectiveness it is of importance that the vertical and horizontal boundaries are flexible and variable. The result of the study shows that the conception of learning organisations can be an important part of the way towards an organization with minimized negative affection from the inner logic factors. The learning organisation has the ability to assimilate not only the available knowledge of the employees, but also encourages them to incorporate new. By investing in knowledge in this way the personnel readily understand their own importance in the way towards the objective, which leads to a more efficient organization.