Ce travail propose une présentation et une défense du "sentimentalisme", c’est-à-dire de la théorie philosophique selon laquelle les émotions constituent notre principal accès aux valeurs, et la source de nos jugements évaluatifs. Après avoir brièvement retracé les origines historiques de ce courant (Shaftesbury, Hutcheson, Hume, et Adam Smith), j’examine la littérature psychologique et philosophique actuelle portant sur les émotions. Je propose une définition de la fonction des émotions, en soutenant que ce sont des "attitudes" corporelles et cognitives dotées d’une intentionnalité évaluative. Elles nous permettent ainsi d’apprécier la valeur des objets en fonction de leur pertinence pour nos états motivationnels, tels que nos désirs ou nos sentiments. Je procède ensuite à une analyse des conséquences épistémologiques et métaphysiques que l’on peut dériver de cette thèse. Je montre que les émotions sont susceptibles de jouer un rôle crucial dans notre connaissance des valeurs, en étudiant le débat relatif aux "conditions de correction" des émotions. Je propose de distinguer ici deux caractérisations des conditions de correction qui ne sont généralement pas explicitées dans les débats actuels, que j’appelle la conception "indépendantiste" et la conception "motivationnelle". J’argumente en faveur de la deuxième approche, et je défends la thèse selon laquelle les émotions constituent un accès fiable aux valeurs, lorsqu’elles sont basées sur des motivations qui sont elles-mêmes correctes ou appropriées. Selon cette approche, les valeurs doivent être comprises comme des propriétés réelles et relationnelles. Je m’intéresse enfin plus particulièrement au rôle que les émotions sont susceptibles de jouer dans les jugements moraux. Après avoir écarté les théories innéistes au sujet de la morale, je soutiens que les émotions sont des conditions nécessaires au développement de la moralité. / This dissertation is both a presentation and a defense of "sentimentalism", the philosophical theory according to which emotions constitute our main access to values, and the source of our evaluative judgments. After considering briefly the historical origins of this philosophical approach (Shaftesbury, Hutcheson, Hume, and Adam Smith), I review the current psychological and philosophical literature about emotions. I define the function of emotions, arguing that they are bodily and cognitive "attitudes" that possess an evaluative intentionality. They allow us to appraise the value of objects according to their relevance for our motivational states, like our desires or sentiments. I proceed then to an analysis of the epistemological and metaphysical consequences that we can draw from this thesis. I show that emotions are likely to play a crucial role in our knowledge of values, focusing on the debate about the "correctness conditions" of emotions. I propose a distinction between two characterizations of correctness conditions, which are generally not explicit in the literature, and which I name the "independence" approach and the "motivational" approach. I argue in favor of the latter and I defend the thesis that emotions constitute a reliable access to values, when they are based on motivations that are themselves correct or appropriate. According to this view, values should be conceived as real and relational properties. Finally, I consider the role which emotions may play in our moral judgments in particular. After having rejected nativist accounts of our moral competence, I claim that emotions are necessary conditions to the development of our moral life.

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-07-12T14:15:46Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE_JOSE_DIHEGO_DA_SILVA_OLIVEIRA_CIN_UFPE_2016.pdf: 1113539 bytes, checksum: 124effe0f62c8dd44008517c1e0045ee (MD5) / Made available in DSpace on 2017-07-12T14:15:46Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE_JOSE_DIHEGO_DA_SILVA_OLIVEIRA_CIN_UFPE_2016.pdf: 1113539 bytes, checksum: 124effe0f62c8dd44008517c1e0045ee (MD5) Previous issue date: 2016-03-04 / As computer systems become ubiquitous, the demand for rigorous and compositional development methods increase dramatically. In the component-based model driven development (CB-MDD) approach, complex systems (sometimes intractable by humans) are build from simple elements, called components. To achieve the CB-MDD goals towards becoming a rigorously development discipline, components and composition rules must be formalised. Moreover, as requirements continuously evolve, there must be mechanisms to refine and safely extend component-based systems. The BRIC component model formalises the CB-MDD core concepts and supports a constructive design based on composition rules that preserves behavioural properties, but do not provide support for component model evolution. In this work we propose inheritance and refinement relations for BRIC. We define a congruent semantics for this model that considers component structure and behaviour. We define refinement as a preorder relation, which is monotonic with respect to the BRIC composition rules. We enhance this component model with support for extensibility via inheritance. The proposed relations allow extension of functionality, whilst preserving service conformance, which we define by means of a convergence notion. We also establish an algebraic connection between component extensibility and refinement. As far as we are aware this is the first time componente inheritance relations are developed for a formal and sound CB-MDD approach. We also integrate the aspect-oriented paradigm into BRIC. We contribute with an approach to capture, specify and use aspects to safely evolve component-based systems. We establish that components extended by aspects preserve the proposed convergence relation that guarantees service conformance. Furthermore, we establish a connection between componente inheritance and aspects, presenting inheritance as a mechanism to define families of componentes and aspects to capture orthogonal concerns over them. The practical relevance of the proposed relations is illustrated by three case studies. One is an autonomous healthcare system, which evolve by the addition of new functionalities via inheritance and by the modularisation of its crosscutting concerns in a reusable and maintainable manner with aspects. Another case study is a bank system, whose functionalities are progressively realised and extended by refinement and inheritance, respectively. Finally, we model a P2P system extended by inheritance to reduce the network traffic. / Na medida em que os sistemas computacionais se tornam mais pervasivos, a demanda por métodos de desenvolvimento rigorosos e composicionais cresce dramaticamente. No desenvolvimento baseado em componentes (CB-MDD), sistemas complexos (muitas vezes humanamente intangíveis) são construídos a partir de elementos mais simples, chamados componentes. Para atingir os objetivos desta abordagem na direção de torná-la uma disciplina formal de desenvolvimento, componentes e regras de composição devem ser formalizados. Além disso, considerando que os requisitos de um sistema estão em constante evolução, necessitamos de mecanismos para refinar e estender de forma confiável tais sistemas. O modelo de componentes BRIC formaliza os conceitos chave da abordagem CB-MDD, além de garantir corretude por construção se baseando em regras de composição que preservam propriedades comportamentais. BRIC, porém, por não possuir relações de extensão, não suporta evolução de modelos baseados em componentes. Neste trabalho propomos relações de herança e refinamento para BRIC. Definimos uma semântica congruente que considera tanto a estrutura quanto o comportamento de componentes. Definimos refinamento como uma relação de pré-ordem, a qual é monotônica em relação as regras de composição de BRIC. Estendemos este modelo de componentes com suporte a extensibilidade via herança. As relações propostas permitem extensão de funcionalidade, ao mesmo tempo em que preservam conformidade de serviços, a qual é definida em termos de uma noção de convergência. Estabelecemos também uma conexão algébrica entre extensibilidade de componentes e refinamento. Até onde estamos cientes, este trabalho é pioneiro no desenvolvimento de noções de herança de componentes para uma abordagem CB-MDD formal e consistente. Também integramos o paradigma orientado a aspectos em BRIC. Contribuímos com uma abordagem para capturar, especificar e adotar aspectos no desenvolvimento confiável de sistemas baseados em componentes. Estabelecemos que componentes estendidos por aspectos preservam convergência, o que garante conformidade de serviços. Além disso, desenvolvemos uma conexão entre herança e aspectos, apresentando herança como um mecanismo para definir famílias de componentes e aspectos para capturar conceitos ortogonais sobre as mesmas. Ilustramos a relevância prática das relações propostas através de três estudos de caso. No primeiro, modelamos um sistema autônomo de cuidados médicos, estendido pela adição de novas funcionalidades via herança e pela modularização de conceitos transversais de forma reusável e manutenível via aspectos. Na sequência, modelamos um sistema bancário, cujas funcionalidades são progressivamente implementadas e estendidas pelo uso de herança e refinamento. Finalmente, modelamos um sistema P2P cujo tráfico é reduzido por extensão via herança.

Stand-up comedy has become increasingly popular in Sweden in the late 20th and early 21st centuries. The jokes of stand-up comedians are reflections of contemporary cultural notions and discourses. Stand-up comedy can also be seen as a form a cultural free zone where one is allowed to express oneself in ways that are not possible in other public contexts. In this study I am investigating how Swedish stand-up comedians relate to cultural notions about gender, sexuality, ethnicity/race, places, age, disabilities, social class and mental illness. By applying an intersectional perspective I am able to show how various power structures can interact and strengthen each other. The main empirical material consists of three observations at different stand-up comedy clubs and four interviews with stand-up comedians. By using cultural analysis as an analysis method I am showing how stand-up comedy both reflects and is affected by larger structural patterns and discourses in society. My analysis shows that stand-up comedians are both reproducing and challenging normative cultural notions. A variety of theoretical concepts are used to analyse how standup comedians are joking about prevailing cultural notions. For example am I using gender theories to analyse jokes about notions of gender and sexuality while postcolonial concepts as well as theories about racification are applied in the analysis of jokes connected to cultural notions about race and ethnicity. In some of the jokes different cultural notions are intertwined. Furthermore I am analysing how the stand-up comedians are reflecting over what they are allowed to joke about, depending on their own background and experiences as well as how they are relating to different discourses. Stand-up comedy is still dominated by a masculine discourse that has only recently been challenged by a feminist discourse, which stand-up comedians relate to in different ways. How stand-up comedians navigate between political correctness and the discourse that comedians should be able to joke about everything is also part of my investigation. Finally, I am analysing different comic strategies used by the stand-up comedians in their performances, which affect how they are joking about various cultural notions. Some comedians are joking about themselves in a self-deprecatory way while others invites the audience to join the perspective of an assumed normative community to make jokes about what makes other groups different.

Les systèmes temps-réel critiques doivent exécuter leurs tâches dans les délais impartis. En cas de défaillance, des événements peuvent avoir des catastrophes économiques. Des classifications des défaillances par rapport aux niveaux des risques encourus ont été établies, en particulier dans les domaines des transports aéronautique et automobile. Des niveaux de criticité sont attribués aux différentes fonctions des systèmes suivant les risques encourus lors d'une défaillance et des probabilités d'apparition de celles-ci. Ces différents niveaux de criticité influencent les choix d'architecture logicielle et matérielle ainsi que le type de composants utilisés pour sa réalisation. Les systèmes temps-réels modernes ont tendance à intégrer sur une même plateforme de calcul plusieurs applications avec différents niveaux de criticité. Cette intégration est nécessaire pour des systèmes modernes comme par exemple les drones (UAV) afin de réduire le coût, le poids et la consommation d'énergie. Malheureusement, elle conduit à des difficultés importantes lors de leurs conceptions. En plus, ces systèmes doivent être certifiés en prenant en compte ces différents niveaux de criticités.Il est bien connu que le problème d'ordonnancement des systèmes avec différents niveaux de criticités représente un des plus grand défi dans le domaine de systèmes temps-réel. Les techniques traditionnelles proposent comme solution l’isolation complète entre les niveaux de criticité ou bien une certification globale au plus haut niveau. Malheureusement, une telle solution conduit à une mauvaise des ressources et à la perte de l’avantage de cette intégration. En 2007, Vestal a proposé un modèle pour représenter les systèmes avec différents niveaux de criticité dont les tâches ont plusieurs temps d’exécution, un pour chaque niveau de criticité. En outre, les conditions de validité des stratégies d’ordonnancement ont été définies de manière formelle, permettant ainsi aux tâches les moins critiques d’échapper aux délais, voire d’être abandonnées en cas de défaillance ou de situation d’urgence.Les politiques de planification conventionnelles et les tests d’ordonnoncement se sont révélés inadéquats.Dans cette thèse, nous contribuons à l’étude de l’ordonnancement dans les systèmes avec différents niveaux de criticité. La surcharge d'un système est représentée sous la forme d'un ensemble de tâches pouvant décrire l'exécution sur l'hyper-période de tâches ou sur une durée donnée. Ce modèle nous permet d’étudier la viabilité des tests de correction basés sur la simulation pour les systèmes avec différents niveaux de criticité. Nous montrons que les tests de simulation peuvent toujours être utilisés pour ces systèmes, et la possibilité de l’ordonnancement du pire des scénarios ne suffit plus, même pour le cas de l’ordonnancement avec priorité fixe. Nous montrons que les politiques d'ordonnancement ne sont généralement pas prévisibles. Nous définissons le concept de faible prévisibilité pour les systèmes avec différents niveaux de criticité et nous montrons ensuite qu'une classe spécifique de stratégies à priorité fixe sont faiblement prévisibles. Nous proposons deux tests de correction basés sur la simulation qui fonctionnent pour des stratégies faiblement prévisibles.Nous montrons également que, contrairement à ce que l’on croyait, le contrôle de l’exactitude ne peut se faire que par l’intermédiaire d’un nombre linéaire de préemptions.La majorité des travaux reliés à notre domaine portent sur des systèmes à deux niveaux de criticité en raison de la difficulté du problème. Mais pour les systèmes automobiles et aériens, les normes industrielles définissent quatre ou cinq niveaux de criticité, ce qui nous a motivés à proposer un algorithme de planification qui planifie les systèmes à criticité mixte avec théoriquement un nombre quelconque de niveaux de criticité. Nous montrons expérimentalement que le taux de réussite est supérieur à celui de l’état de la technique. / Real-time safety-critical systems must complete their tasks within a given time limit. Failure to successfully perform their operations, or missing a deadline, can have severe consequences such as destruction of property and/or loss of life. Examples of such systems include automotive systems, drones and avionics among others. Safety guarantees must be provided before these systems can be deemed usable. This is usually done through certification performed by a certification authority.Safety evaluation and certification are complicated and costly even for smaller systems.One answer to these difficulties is the isolation of the critical functionality. Executing tasks of different criticalities on separate platforms prevents non-critical tasks from interfering with critical ones, provides a higher guaranty of safety and simplifies the certification process limiting it to only the critical functions. But this separation, in turn, introduces undesirable results portrayed by an inefficient resource utilization, an increase in the cost, weight, size and energy consumption which can put a system in a competitive disadvantage.To overcome the drawbacks of isolation, Mixed Criticality (MC) systems can be used. These systems allow functionalities with different criticalities to execute on the same platform. In 2007, Vestal proposed a model to represent MC-systems where tasks have multiple Worst Case Execution Times (WCETs), one for each criticality level. In addition, correctness conditions for scheduling policies were formally defined, allowing lower criticality jobs to miss deadlines or be even dropped in cases of failure or emergency situations.The introduction of multiple WCETs and different conditions for correctness increased the difficulty of the scheduling problem for MC-systems. Conventional scheduling policies and schedulability tests proved inadequate and the need for new algorithms arose. Since then, a lot of work has been done in this field.In this thesis, we contribute to the study of schedulability in MC-systems. The workload of a system is represented as a set of jobs that can describe the execution over the hyper-period of tasks or over a duration in time. This model allows us to study the viability of simulation-based correctness tests in MC-systems. We show that simulation tests can still be used in mixed-criticality systems, but in this case, the schedulability of the worst case scenario is no longer sufficient to guarantee the schedulability of the system even for the fixed priority scheduling case. We show that scheduling policies are not predictable in general, and define the concept of weak-predictability for MC-systems. We prove that a specific class of fixed priority policies are weakly predictable and propose two simulation-based correctness tests that work for weakly-predictable policies.We also demonstrate that contrary to what was believed, testing for correctness can not be done only through a linear number of preemptions.The majority of the related work focuses on systems of two criticality levels due to the difficulty of the problem. But for automotive and airborne systems, industrial standards define four or five criticality levels, which motivated us to propose a scheduling algorithm that schedules mixed-criticality systems with theoretically any number of criticality levels. We show experimentally that it has higher success rates compared to the state of the art.We illustrate how our scheduling algorithm, or any algorithm that generates a single time-triggered table for each criticality mode, can be used as a recovery strategy to ensure the safety of the system in case of certain failures.Finally, we propose a high level concurrency language and a model for designing an MC-system with coarse grained multi-core interference.

Uppsatsen “Nuförtiden får man ju inte säga ett skit” ‘ är en debattanalys av Europaparlamentarikers kritik gentemot politisk korrekthet i EU. Studien tar ett avstamp i tidigare forskning berörande populism, euroscepticism, GAL-TAN dimensionen, och applicerar detta till ett inte tidigare tillämpat teoretiskt perspektiv för denna typ av forskning, politisk korrekthet. Syftet med studien är att beskriva och kategorisera de huvudteser samt argument som förs i kritiken gentemot ett påstått PK-etablissemang i EU:s viktigaste och enda demokratiskt valda organ. De huvudteser som återfanns i argumentationen var följande: att EU består av ett etablissemang som underminerar EU-medborgarnas sanna vilja med PK-het, att EU är i politisk kris då yttrandefriheten förtrycks, att EU bär på en dubbelmoral av vilka åsikter som får uttryckas och inte, att EUs överstatlighet försummar nationernas egna intressen, och att PK- etablissemanget i EU förvrider den objektiva sanningen och kallar sina motståndarna för populister likt ett retoriskt vapen. Det nytillämpade teoretiska perspektivet, PK, bidrar med ett nytt synsätt på den politiska debatten och de dimensioner av sociala normer som tycks styra det politiska talrummet.

Introduction to the Theory of Language Correctness. The theme of this Thesis is the novel conceptualization of the subject field, which is, in the Czech context, traditionally dealt with within the theory of language cultivation, from the perspective of the so-called ontological "socialism" (esp. Itkonen, 1978; 2003). The first two chapters explain why the subject field of the (theory of) language cultivation is to be newly approached from this very perspective. The conceptual discussion in the first chapter identifies three underresearched factors (reaction of the Protectorate elites to the Nazi occupation policy; variety-based approach to the "language" and physicalism) that had negative effect to the debate on these questions and therefore they should not be taken into consideration; the terminological discussion in the second chapter supports the claim that it is not suitable to associate the traditional term (theory of) language cultivation with this novel conceptualization. The third chapter introduces in detail the so-called ontological "socialism" according to which there are not only spatiotemporal entities, i.e. language means, but also non-spatiotemporal entities, i.e. language rules qua actually existing social facts, in the subject field of linguistics. The fourth chapter provides a...

This work is comprised of an Introduction and two Parts. Part One treats, by way of historical review and evaluation, the disestablishment of the Christian worldview in a postmodern age. Part Two proposes the means by whichthe Christian worldview might be reestablished. The reestablishment includes the use of some of the benefits of postmodernism by Christians as well as a return to the responsible reading of texts, especially the biblical text. Part One, The Disestablishment of the Christian Worldview, is composed ofthree chapters. Chapter 1chronicles the change that has occurred in Western culture because of the ascendency of postmodernism. It isbest described as a change in authorityfrom the logocentric metanarrative which has characterized Christianity to the deconstructionist rejection of worldviews by postmodern literary critics. Chapter 2 reviews the paradigm shifts that have occurred in belief systemsthat have occurred in the West as a result of this change,and Chapter 3 shows the effects of all this in the culture's principal institutions. Part Two, The Reestablishment of the Christian Worldview, is also composed of three chapters. Chapter 4 shows the impact that postmodernity has had on the efforts now being made on behalf of reestablishing the Christian worldview as a viable intellectual position in Western culture. Chapter 5 is occupied with the negative and positive responses of certain Christian scholars to the challenge of postmodernism, and Chapter 6 closes the study with an extended treatment of the factors that must be in play for a reestablishment of the Christian worldview to occur in Western civilization. / Philosophy, Practical & Systematic Theology / D. Th. (Theology)

This work is comprised of an Introduction and two Parts. Part One treats, by way of historical review and evaluation, the disestablishment of the Christian worldview in a postmodern age. Part Two proposes the means by whichthe Christian worldview might be reestablished. The reestablishment includes the use of some of the benefits of postmodernism by Christians as well as a return to the responsible reading of texts, especially the biblical text. Part One, The Disestablishment of the Christian Worldview, is composed ofthree chapters. Chapter 1chronicles the change that has occurred in Western culture because of the ascendency of postmodernism. It isbest described as a change in authorityfrom the logocentric metanarrative which has characterized Christianity to the deconstructionist rejection of worldviews by postmodern literary critics. Chapter 2 reviews the paradigm shifts that have occurred in belief systemsthat have occurred in the West as a result of this change,and Chapter 3 shows the effects of all this in the culture's principal institutions. Part Two, The Reestablishment of the Christian Worldview, is also composed of three chapters. Chapter 4 shows the impact that postmodernity has had on the efforts now being made on behalf of reestablishing the Christian worldview as a viable intellectual position in Western culture. Chapter 5 is occupied with the negative and positive responses of certain Christian scholars to the challenge of postmodernism, and Chapter 6 closes the study with an extended treatment of the factors that must be in play for a reestablishment of the Christian worldview to occur in Western civilization. / Philosophy, Practical and Systematic Theology / D. Th. (Theology)

Humour has for a long time been regarded as something unproblematic that in general shouldn’t be taken seriously, and humour research has mainly focused its positive functions and effects. However, humour is indeed a social and discursive practise that, just like others, have social implications. The aim of this essay is, informed by an intersectional perspective, to problematize and critically examine stand-up comedy as discursive practise and to make visible how humour build upon dominating discourses in society. The aim is also to examine the self-contradictory dimension of the jokes. In a critical discourse analysis of Özz Nûjen’s show Dålig stämning (2013), using PC (political correctness) as an overall analytical framework, the analytical categories ‘women’ as well as ‘ethnicity and culture’ are focused. My conclusion is that in all cases of Nûjen’s prerogative of interpretation, ‘stupidity’, as the lowest common denominator, sticks to symbols, bodies and phenomenon that are associated with something deviant or negative. By what is not expressed, a white, normative Swedish PC-identity is constructed as the abstract, preferable subject. Nûjen’s stand-up comedy, i.a. in expressions of self-contradiction, proves to mainly reinforce social norms. Consequently, negative preconceptions and biased representations of reality are cemented. Though Nûjen does contribute to sociocultural change to some extent, the elaborations of the jokes in most cases prove to sustain the social order. A renegotiation of identities is therefore made strictly limited. However, in one case, Nûjen does challenge the notion of identities as fixed and essential, when renegotiating the master status and construction of “The ethnical Other woman”.

No description available.