925 resultados para Logic of proofs
Resumo:
Many critics of Doctorow have classified him as a postmodernist writer, acknowledging that a wide number of thematic and stylistic features of his early fiction emanate from the postmodern context in which he took his first steps as a writer. Yet, these novels have an eminently social and ethical scope that may be best perceived in their intellectual engagement and support of feminist concerns. This is certainly the case of Doctorow’s fourth and most successful novel, Ragtime. The purpose of this paper will be two-fold. I will explore Ragtime’s indebtedness to postmodern aesthetics and themes, but also its feminist elements. Thus, on the one hand, I will focus on issues of uncertainty, indeterminacy of meaning, plurality and decentering of subjectivity; on the other hand, I will examine the novel’s attitude towards gender oppression, violence and objectification, its denunciation of hegemonic gender configurations and its voicing of certain feminist demands. This analysis will lead to an examination of the problematic collusion of the mostly white, male, patriarchal aesthetics of postmodernism and feminist politics in the novel. I will attempt to establish how these two traditionally conflicting modes coexist and interact in Ragtime.
Resumo:
The year 1977 saw the making of the first Latino superhero by a Latino artist. From the 1980s onwards it is also possible to find Latina super-heroines, whose number and complexity has kept increasing ever since. Yet, the representations of spandexed Latinas are still few. For that reason, the goal of this paper is, firstly, to gather a great number of Latina super-heroines and, secondly, to analyze the role that they have played in the history of American literature and art. More specifically, it aims at comparing the spandexed Latinas created by non-Latino/a artists and mainstream comic enterprises with the Latina super-heroines devised by Latino/a artists. The conclusion is that whereas the former tend to conceive heroines within the constraints of the logic of Girl Power, the latter choose to imbue their works with a more daring political content and to align their heroines with the ideologies of Feminism and Postcolonialism.
Resumo:
Neoliberal capitalism and its accompanied austerity measures has had a profound effect on social reproduction throughout Europe. Social reproduction, ie, the process that makes it possible for individuals, families, and society to reproduce itself – is in crisis. The concept of social reproduction utilized in this presentation is framed within the feminist and Marxist tradition. Historically, social reproduction was met through both waged and unwaged work with women playing a predominant role either as waged, predominantly public sector, workers (social workers, teachers, carers, nurses, etc) or as unpaid workers (unpaid carers: mothers, wives, etc.) but now both forms of work are destabilized and undermined. Thus, the crisis in social reproduction. Within this crisis women’s unequal position is further undermined but at the same time progressive women and men are organizing to present alternatives forms of social reproduction. This presentation by utilizing the case of Greece will first outline the neoliberal processes that have caused the crisis in social reproduction. Second, it will present the consequences of social reproduction by highlighting the gender implications. Third, it will discuss the reorganization of social reproduction which is taking place outside the logic of capitalist society and is manifested through the creation of solidarity health clinics and pharmacies, communal kitchens, creation of various forms of bartering etc. This presentation will argue that these forms present glimpses of another society , a society based on principles of solidarity and cooperation. A society worth fighting for. And finally the presentation will conclude by discussing at which level can this crisis be resolved and the role of the social work profession.
Resumo:
Cette thèse propose l’émergence d’une poésie de l’entre deux dans la littérature expérimentale, en suivant ses développements du milieu du vingtième siècle jusqu'au début du vingt-et-unième. Cette notion d’entre-deux poétique se fonde sur une théorie du neutre (Barthes, Blanchot) comme ce qui se situe au delà ou entre l'opposition et la médiation. Le premier chapitre retrace le concept de monotonie dans la théorie esthétique depuis la période romantique où il est vu comme l'antithèse de la variabilité ou tension poétique, jusqu’à l’émergence de l’art conceptuel au vingtième siècle où il se déploie sans interruption. Ce chapitre examine alors la relation de la monotonie à la mélancolie à travers l’analyse de « The Anatomy of Monotony », poème de Wallace Stevens tiré du recueil Harmonium et l’œuvre poétique alphabet de Inger Christensen. Le deuxième chapitre aborde la réalisation d’une poésie de l’entre-deux à travers une analyse de quatre œuvres poétiques qui revisitent l’usage de l’index du livre paratextuel: l’index au long poème “A” de Louis Zukofsky, « Index to Shelley's Death » d’Alan Halsey qui apparait à la fin de l’oeuvre The Text of Shelley's Death, Cinema of the Present de Lisa Robertson, et l’oeuvre multimédia Via de Carolyn Bergvall. Le troisième chapitre retrace la politique de neutralité dans la théorie de la traduction. Face à la logique oppositionnelle de l’original contre la traduction, il propose hypothétiquement la réalisation d’une troisième texte ou « l’entre-deux », qui sert aussi à perturber les récits familiers de l’appropriation, l’absorption et l’assimilation qui effacent la différence du sujet de l’écrit. Il examine l’oeuvre hybride Secession with Insecession de Chus Pato et Erin Moure comme un exemple de poésie de l’entre-deux. A la fois pour Maurice Blanchot et Roland Barthes, le neutre représente un troisième terme potentiel qui défie le paradigme de la pensée oppositionnelle. Pour Blanchot, le neutre est la différence amenée au point de l’indifférence et de l’opacité de la transparence tandis que le désire de Barthes pour le neutre est une utopie lyrique qui se situe au-delà des contraintes de but et de marquage. La conclusion examine comment le neutre correspond au conditions de liberté gouvernant le principe de créativité de la poésie comme l’acte de faire sans intention ni raison.
Resumo:
Cette thèse examine l’interprétation et l’application, par l’Haute Cour d'Israël (HCJ), de principes du droit international de l’occupation et du droit international des droits de la personne dans le traitement de requêtes judiciaires formulées par des justiciables palestiniens. Elle s’intéresse plus particulièrement aux jugements rendus depuis le déclenchement de la deuxième Intifada (2000) suite à des requêtes mettant en cause la légalité des mesures adoptées par les autorités israéliennes au nom d’un besoin prétendu d’accroitre la sécurité des colonies et des colons israéliens dans le territoire occupé de la Cisjordanie. La première question sous étude concerne la mesure dans laquelle la Cour offre un recours effectif aux demandeurs palestiniens face aux violations alléguées de leurs droits internationaux par l’occupant. La recherche fait sienne la position de la HJC selon laquelle le droit de l’occupation est guidé par une logique interne tenant compte de la balance des intérêts en cause, en l’occurrence le besoin de sécurité de l’occupant, d’une part, et les droits fondamentaux de l’occupé, d’autre part. Elle considère, en outre, que cette logique se voit reflétée dans les principes normatifs constituant la base de ce corpus juridique, soit que l’occupation est par sa nature temporaire, que de l’occupation découle un rapport de fiduciaire et, finalement, que l’occupant n’acquiert point de souveraineté sur le territoire. Ainsi, la deuxième question qui est posée est de savoir si l’interprétation du droit par la Cour (HCJ) a eu pour effet de promouvoir ces principes normatifs ou, au contraire, de leur porter préjudice. La réunion de plusieurs facteurs, à savoir la durée prolongée de l’occupation de la Cisjordanie par Israël, la menace accrue à la sécurité depuis 2000 ainsi qu’une politique de colonisation israélienne active, soutenue par l’État, présentent un cas de figure unique pour vérifier l’hypothèse selon laquelle les tribunaux nationaux des États démocratiques, généralement, et ceux jouant le rôle de la plus haute instance judiciaire d’une puissance occupante, spécifiquement, parviennent à assurer la protection des droits et libertés fondamentaux et de la primauté du droit au niveau international. Le premier chapitre présente une étude, à la lumière du premier principe normatif énoncé ci-haut, des jugements rendus par la HCJ dans les dossiers contestant la légalité de la construction du mur à l’intérieur de la Cisjordanie et de la zone dite fermée (Seam Zone), ainsi que des zones de sécurité spéciales entourant les colonies. Le deuxième chapitre analyse, cette fois à la lumière du deuxième principe normatif, des jugements dans les dossiers mettant en cause des restrictions sur les déplacements imposées aux Palestiniens dans le but allégué de protéger la sécurité des colonies et/ou des colons. Le troisième chapitre jette un regard sur les jugements rendus dans les dossiers mettant en cause la légalité du tracé du mur à l’intérieur et sur le pourtour du territoire annexé de Jérusalem-Est. Les conclusions découlant de cette recherche se fondent sur des données tirées d’entrevues menées auprès d’avocats israéliens qui s’adressent régulièrement à la HCJ pour le compte de justiciables palestiniens.
Resumo:
Interactive applications do not require more bandwidth to go faster. Instead, they require less latency. Unfortunately, the current design of transport protocols such as TCP limits possible latency reductions. In this paper we evaluate and compare different loss recovery enhancements to fight tail loss latency. The two recently proposed mechanisms "RTO Restart" (RTOR) and "Tail Loss Probe" (TLP) as well as a new mechanism that applies the logic of RTOR to the TLP timer management (TLPR) are considered. The results show that the relative performance of RTOR and TLP when tail loss occurs is scenario dependent, but with TLP having potentially larger gains. The TLPR mechanism reaps the benefits of both approaches and in most scenarios it shows the best performance.
Resumo:
Coinduction is a proof rule. It is the dual of induction. It allows reasoning about non--well--founded structures such as lazy lists or streams and is of particular use for reasoning about equivalences. A central difficulty in the automation of coinductive proof is the choice of a relation (called a bisimulation). We present an automation of coinductive theorem proving. This automation is based on the idea of proof planning. Proof planning constructs the higher level steps in a proof, using knowledge of the general structure of a family of proofs and exploiting this knowledge to control the proof search. Part of proof planning involves the use of failure information to modify the plan by the use of a proof critic which exploits the information gained from the failed proof attempt. Our approach to the problem was to develop a strategy that makes an initial simple guess at a bisimulation and then uses generalisation techniques, motivated by a critic, to refine this guess, so that a larger class of coinductive problems can be automatically verified. The implementation of this strategy has focused on the use of coinduction to prove the equivalence of programs in a small lazy functional language which is similar to Haskell. We have developed a proof plan for coinduction and a critic associated with this proof plan. These have been implemented in CoClam, an extended version of Clam with encouraging results. The planner has been successfully tested on a number of theorems.
Resumo:
The objective of this study is to analyze the validity of working with proofs in the classroom and to present a partial list of proofs of mathematical formulae of the Brazilian secondary/high school curriculum. The adaptation of the proofs into the knowledge and abilities of a secondary school student should also be considered. How the teaching of proofs is treated in official publications in Brazil and other countries is also described. Working with proofs provides a number of benefits to the students, including: the development of logical reasoning, argumentative capacity, analytical skills on a daily basis, as well as motivation and a better understanding of mathematics as a science. The convenience of including the teaching of proofs in Brazilian secondary school curriculum and the need of a balance between the abstraction of proofs and contextualization of the school programmes is discussed. The approach of the proof teaching in the classroom can become a motivating factor or, conversely, a discouraging one. The conclusion is that it would be very useful to create a reference list covering the mathematical expressions of school programmes with their respective proofs that can be understood by secondary school students.
Resumo:
Mass Customization (MC) is not a mature business strategy and hence it is not clear that a single or small group of operational models are dominating. Companies tend to approach MC from either a mass production or a customization origin and this in itself gives reason to believe that several operational models will be observable. This paper reviews actual and theoretical fulfilment systems that enterprises could apply when offering a pre-engineered catalogue of customizable products and options. Issues considered are: How product flows are structured in relation to processes, inventories and decoupling point(s); - Characteristics of the OF process that inhibit or facilitate fulfilment; - The logic of how products are allocated to customers; - Customer factors that influence OF process design and operation. Diversity in the order fulfilment structures is expected and is found in the literature. The review has identified four structural forms that have been used in a Catalogue MC context: - fulfilment from stock; - fulfilment from a single fixed decoupling point; - fulfilment from one of several fixed decoupling points; - fulfilment from several locations, with floating decoupling points. From the review it is apparent that producers are being imaginative in coping with the demands of high variety, high volume, customization and short lead times. These demands have encouraged the relationship between product, process and customer to be re-examined. Not only has this strengthened interest in commonality and postponement, but, as is reported in the paper, has led to the re-engineering of the order fulfilment process to create models with multiple fixed decoupling points and the floating decoupling point system
Resumo:
Cette thèse propose l’émergence d’une poésie de l’entre deux dans la littérature expérimentale, en suivant ses développements du milieu du vingtième siècle jusqu'au début du vingt-et-unième. Cette notion d’entre-deux poétique se fonde sur une théorie du neutre (Barthes, Blanchot) comme ce qui se situe au delà ou entre l'opposition et la médiation. Le premier chapitre retrace le concept de monotonie dans la théorie esthétique depuis la période romantique où il est vu comme l'antithèse de la variabilité ou tension poétique, jusqu’à l’émergence de l’art conceptuel au vingtième siècle où il se déploie sans interruption. Ce chapitre examine alors la relation de la monotonie à la mélancolie à travers l’analyse de « The Anatomy of Monotony », poème de Wallace Stevens tiré du recueil Harmonium et l’œuvre poétique alphabet de Inger Christensen. Le deuxième chapitre aborde la réalisation d’une poésie de l’entre-deux à travers une analyse de quatre œuvres poétiques qui revisitent l’usage de l’index du livre paratextuel: l’index au long poème “A” de Louis Zukofsky, « Index to Shelley's Death » d’Alan Halsey qui apparait à la fin de l’oeuvre The Text of Shelley's Death, Cinema of the Present de Lisa Robertson, et l’oeuvre multimédia Via de Carolyn Bergvall. Le troisième chapitre retrace la politique de neutralité dans la théorie de la traduction. Face à la logique oppositionnelle de l’original contre la traduction, il propose hypothétiquement la réalisation d’une troisième texte ou « l’entre-deux », qui sert aussi à perturber les récits familiers de l’appropriation, l’absorption et l’assimilation qui effacent la différence du sujet de l’écrit. Il examine l’oeuvre hybride Secession with Insecession de Chus Pato et Erin Moure comme un exemple de poésie de l’entre-deux. A la fois pour Maurice Blanchot et Roland Barthes, le neutre représente un troisième terme potentiel qui défie le paradigme de la pensée oppositionnelle. Pour Blanchot, le neutre est la différence amenée au point de l’indifférence et de l’opacité de la transparence tandis que le désire de Barthes pour le neutre est une utopie lyrique qui se situe au-delà des contraintes de but et de marquage. La conclusion examine comment le neutre correspond au conditions de liberté gouvernant le principe de créativité de la poésie comme l’acte de faire sans intention ni raison.
Resumo:
Cette thèse examine l’interprétation et l’application, par l’Haute Cour d'Israël (HCJ), de principes du droit international de l’occupation et du droit international des droits de la personne dans le traitement de requêtes judiciaires formulées par des justiciables palestiniens. Elle s’intéresse plus particulièrement aux jugements rendus depuis le déclenchement de la deuxième Intifada (2000) suite à des requêtes mettant en cause la légalité des mesures adoptées par les autorités israéliennes au nom d’un besoin prétendu d’accroitre la sécurité des colonies et des colons israéliens dans le territoire occupé de la Cisjordanie. La première question sous étude concerne la mesure dans laquelle la Cour offre un recours effectif aux demandeurs palestiniens face aux violations alléguées de leurs droits internationaux par l’occupant. La recherche fait sienne la position de la HJC selon laquelle le droit de l’occupation est guidé par une logique interne tenant compte de la balance des intérêts en cause, en l’occurrence le besoin de sécurité de l’occupant, d’une part, et les droits fondamentaux de l’occupé, d’autre part. Elle considère, en outre, que cette logique se voit reflétée dans les principes normatifs constituant la base de ce corpus juridique, soit que l’occupation est par sa nature temporaire, que de l’occupation découle un rapport de fiduciaire et, finalement, que l’occupant n’acquiert point de souveraineté sur le territoire. Ainsi, la deuxième question qui est posée est de savoir si l’interprétation du droit par la Cour (HCJ) a eu pour effet de promouvoir ces principes normatifs ou, au contraire, de leur porter préjudice. La réunion de plusieurs facteurs, à savoir la durée prolongée de l’occupation de la Cisjordanie par Israël, la menace accrue à la sécurité depuis 2000 ainsi qu’une politique de colonisation israélienne active, soutenue par l’État, présentent un cas de figure unique pour vérifier l’hypothèse selon laquelle les tribunaux nationaux des États démocratiques, généralement, et ceux jouant le rôle de la plus haute instance judiciaire d’une puissance occupante, spécifiquement, parviennent à assurer la protection des droits et libertés fondamentaux et de la primauté du droit au niveau international. Le premier chapitre présente une étude, à la lumière du premier principe normatif énoncé ci-haut, des jugements rendus par la HCJ dans les dossiers contestant la légalité de la construction du mur à l’intérieur de la Cisjordanie et de la zone dite fermée (Seam Zone), ainsi que des zones de sécurité spéciales entourant les colonies. Le deuxième chapitre analyse, cette fois à la lumière du deuxième principe normatif, des jugements dans les dossiers mettant en cause des restrictions sur les déplacements imposées aux Palestiniens dans le but allégué de protéger la sécurité des colonies et/ou des colons. Le troisième chapitre jette un regard sur les jugements rendus dans les dossiers mettant en cause la légalité du tracé du mur à l’intérieur et sur le pourtour du territoire annexé de Jérusalem-Est. Les conclusions découlant de cette recherche se fondent sur des données tirées d’entrevues menées auprès d’avocats israéliens qui s’adressent régulièrement à la HCJ pour le compte de justiciables palestiniens.
Resumo:
320 p.
Challenging masculinity in CSR disclosures:silencing of women’s voices in Tanzania’s mining industry
Resumo:
This paper presents a feminist analysis of corporate social responsibility (CSR) in a male-dominated industry within a developing country context. It seeks to raise awareness of the silencing of women’s voices in CSR reports produced by mining companies in Tanzania. Tanzania is one of the poorest countries in Africa, and women are often marginalised in employment and social policy considerations. Drawing on work by Hélène Cixous, a post-structuralist/radical feminist scholar, the paper challenges the masculinity of CSR discourses that have repeatedly masked the voices and concerns of ‘other’ marginalised social groups, notably women. Using interpretative ethnographic case studies, the paper provides much-needed empirical evidence to show how gender imbalances remain prevalent in the Tanzanian mining sector. This evidence draws attention to the dynamics faced by many women working in or living around mining areas in Tanzania. The paper argues that CSR, a discourse enmeshed with the patriarchal logic of the contemporary capitalist system, is entangled with tensions, class conflicts and struggles which need to be unpacked and acknowledged. The paper considers the possibility of policy reforms in order to promote gender balance in the Tanzanian mining sector and create a platform for women’s concerns to be voiced.
Resumo:
The question that I will explore in this research dissertation is whether one can defend the rights of homeland minorities as a progressive extension of the existing norms of human rights. This question calls for several deeper inquiries about the nature, the function and the underlying justifications for both human rights and minority rights. In particular, this research project will examine the following issues: on what normative grounds the available norms of human rights and minority rights are justified; if there is any methodic way to use the normative logic of human rights to support substantial forms of minority claims, such as the right to self-determination; whether human rights can take the form of group rights; and finally, whether there is any non-sectarian basis for justifying the minority norms, which can be acceptable from both liberal and non-liberal perspectives. This research project has some implications for both theories of minority rights and human rights. On the one hand, the research employs the topic of minority rights to shed light on deficiencies of the existing political theories of human rights. On the other hand, it uses the political theory to shed light on how existing theories of minority rights could be improved and amended. The inquiry will ultimately clarify how to judge the merit of the claim that minority rights are or should be a part of human rights norms.
Resumo:
This English Literature thesis (European PhD EDGES – Women’s and Gender Studies – 34th cycle) is an investigation into the representation of the monstrous body according to the British writers Mary Shelley, Angela Carter and Jeanette Winterson. The main objective is to observe how the representation of the categories of monstrous, abject and grotesque in Western cultural imagination have been influenced across time and literary genres. In the novels of Shelley, Carter and Winterson, the monstrous subject is configured as an alternative to the anthropocentric ideal embodied by the normative subject, of which Victor Frankenstein is the paradigmatic exponent. Plus, there are places considered anti-topoi within which the monster acquires a situatedness and claims a voice, generating an opposed counter-narrative to the imaginary conveyed by the normative subject. Monstrosity outlined by Shelley in the novels Frankenstein and The Last Man constitutes the starting point of my research, aiming to observe how the discourse of the normative body vs. the anti-normative body intersects with the discourse of the spaces of the centre vs. the spaces of the margin. In Carter's novels The Passion of New Eve and Nights at the Circus, the monstrous female constitutes the embodiment of wills, desires and claims challenging the heteronormative system. The space of otherness in which Carter's monster-woman is confined becomes a possibility of reshaping identity for the Subject, deconstructing the logic of power that moulded her within society. Finally, Winterson creates two monstrous women in Sexing the Cherry and The Passion who move through urban spaces, going from the centre to the margins and testifying to the arbitrariness of the system and its weaknesses. Similarly, in Frankissstein, Winterson recovers Shelley's original novel and transforms it into a parodic and intertextual speculation on the fluidity of identity and the limits of transhumanism.