This dissertation treats about the relation between information and action in moral judgments. First of all, we explicit the logical problem, called antinomy, present in the descriptive ethics theories which do not admit the prescriptive factor of the moral judgments. Secondly we present the logical problem, called paradox, present in Austin s linguistic theory (which gave rise to the ethical prescriptivism) that does not admit the descriptive factor of moral judgments. After that, we present Hare s theory as synthesis, which gathers descriptive and prescriptive factors, and, because of this, does not make the same mistakes of the theories previously developed. Although, some critics - Geach, Sen and Azevedo accused Hare of being an existential descriptivist. More precisely, Sen and Geach accused him of being descriptivist, whereas Sen and Azevedo accused him of being existentialist. This work shows that those accusations occur because of the failure in the interpretation of the relation between descriptive and prescriptive factors on Hare s formulation about moral judgments. For the author, the supervenience (which guarantees that the moral choices must be the same when the same factual elements are presented) is the fundament of the universalizability (which guarantees that the moral action must be the same independently of the roles played on the moral action). However, these formulations do not prevent that the author of the moral judgment gather more information and start acting differently, which would not be possible for a descriptivist. Because of this, we formulated a symbolic model, which relates cultural pattern, prescribed pattern and value; and, moreover, which shows the temporal aspects and the change aspects. Another issue is about the necessity of the critical thought, for Hare, in the formulation of universal ethics. So, this work will explicit the reasons why Hare cannot be called existential descriptivist. / Esta dissertação trata da relação entre informação e ação nos juízos morais. Primeiramente é explicitado o problema lógico, denominado de antinomia, presentes nas teorias éticas descritivistas que não admitem o fator prescritivo dos juízos morais. Em segundo lugar, é apresentado o problema lógico, denominado de paradoxo, presente na teoria lingüística de Austin (que deu origem ao prescritivismo ético) a qual não admite o fator descritivo dos juízos morais. Posteriormente, a teoria de Hare é apresentada como síntese, que une o fator descritivo e o prescritivo, e que, por isso, não comete os mesmos erros das teorias desenvolvidas anteriormente. Porém, alguns críticos Geach, Sen e Azevedo acusaram Hare de ser um descritivista existencial. Mais precisamente: Sen e Geach o acusaram de ser descritivista; ao passo que Sen e Azevedo o acusaram de ser existencialista. Este trabalho mostra que estas acusações ocorrem pela falha na interpretação da relação entre fator descritivo e prescritivo na formulação de Hare sobre os juízos morais. Para o autor, a superveniência (que garante que as escolhas morais devem ser as mesmas, quando apresentados os mesmos elementos fatuais) é o fundamento da universalizabilidade (que garante que a ação moral deve ser a mesma independente dos papéis representados na ação moral). Mas, essas formulações não impedem que o autor do juízo moral reúna novas informações e passe a agir de forma diferente, o que não seria possível para um descritivista. Por isso, formulamos um modelo simbólico, o qual relaciona padrão cultural, padrão prescrito e valor; e, além disso, que mostra os aspectos temporais e de mudança. Outra questão gira em torno da necessidade do pensamento crítico, para Hare, na formulação de uma ética universal. Dessa forma, neste trabalho ficará explicitado os motivos pelos quais Hare não poder ser chamado de descritivista existencial. / Mestre em Filosofia

Universidade do Estado do Rio de Janeiro / Esta tese é um estudo do imaginário da felicidade no discurso prescritivo/terapêutico de um gênero jornalístico caracterizado por oferecer conselhos, orientações, fórmulas e modelos para a condução da vida em diferentes esferas aqui denominado imprensa conselheira . O objetivo é compreender como daí emerge uma concepção de felicidade cujos aspectos problemáticos seriam abrandados, contrastando com a imagem dessa experiência que emana dos diagnósticos da subjetividade moderna empenhados em denunciar os males da civilização. A partir do exame das imagens dos estados aprazíveis e dos mal-estares elaboradas nesse discurso, dos princípios subjacentes que as organizam e dos aspectos estruturais do aconselhamento midiático à luz da noção de pacificação, formula-se uma interpretação da tendência do imaginário do discurso prescritivo/terapêutico a dissolver os impasses e conflitos identificados como peculiares à experiência moderna da felicidade. Essa interpretação se articula em torno da ideia de controle das emoções e de uma percepção mais geral de que a mídia proporcionaria experiências emocionais num quadro imaginário e que elas seriam caracterizadas pelo abrandamento ou supressão dos aspectos problemáticos. / This thesis contains a study of the imaginary of happiness in the prescriptive/therapeutic discourse of a journalistic style characterized by providing counseling, guidance, formulas and models for people to carry out their lives in different spheres herein named counseling press. The aim is to understand how a concept of happiness, whose problematic aspects would be softened, emerges from it, contrasting with the image of this experience that comes from the diagnosis of modern subjectivity, driven to denounce the illness of civilization. From the analysis of the images of states of easiness and uneasiness , the subjacent principles that underlie them and the structural aspects of press counseling in the light of the notion of pacification, an interpretation of the trend of the imaginary of the prescriptive/therapeutic discourse is formulated to wipe out impasses and conflicts identified as peculiar to the modern experience of happiness. Said interpretation articulates itself around the idea of the control of emotions and of a more general perception that media would provide emotional experiences in an imaginary picture, and that they would be characterized by the softening or suppression of problematical aspects.

Esta tese de doutorado parte da perspectiva inicial de que a gramaticalização se restringe a tratado sobre itens lexicais ou discursivos que se tornam itens gramaticais (o que a enquadraria dentro da Teoria da Variação, inserta esta dentro da Pesquisa Sociolinguística), mas segue em direção a um salto epistemológico que remodele aquela perspectiva, ampliando-a a patamar do qual ela pode ser observada como teoria autônoma, investigativa de fenômenos limítrofes e nem sempre discretos entre linguagem e língua, discurso e texto, descrição e prescrição, oralidade e escrita, léxico e gramática. Desse modo, propugna-se pela visão epistemológica do tema, conduzido, até aqui, de modo puramente ontológico, circunscrito a um (e apenas um) dos muitos espectros que se podem alcançar com a aludida ampliação àquele que vem sendo perquirido como tratado, porém que, segundo se pretende demonstrar, pode e deve ser expandido à malha de uma teoria geral, qual seja a Teoria Geral da Gramaticalização: trata-se, aqui, de seu objetivo geral. Para esse propósito, vale-se a tese de filósofos da linguagem que atuaram sobre essa faculdade ou capacidade humana de forma direta ou indireta desde os seus primórdios ocidentais (como Sócrates, Platão e Aristóteles), passando pelos pensadores mais incisivamente preocupados com os aspectos cognitivos e interativos da linguagem e da língua (como Hegel, Husserl, Saussure, Sapir, Bloomfield, Wittgenstein, Derrida, Chomsky, Labov, Charaudeau, Maingueneau, Ducrot, Coseriu), além de ser necessária a incursão à Gramaticografia mais estrita (como a empreendida por Dionísio da Trácia, Varrão, Arnault e Lancelot, Nebrija, Jerônimo Soares Barbosa, Eduardo Carlos Pereira, Said Ali, Bechara), e, naturalmente, a contribuição filosófica dos pesquisadores sobre a gramaticalização (como Meillet, Vendryès, Bréal, Kurilowicz, Traugott, Heine, Hopper, Lehmann). Uma vez que se tenha mostrado ser verossímil aceitar-se a gramaticalização como teoria autônoma, esta tese pretende legar-lhe o papel instrumental de metodologia auxiliar a muitas entre as que ora se empreendem quando se trata de pesquisas em campos cuja ocupação é a linguagem e a língua: trata-se, aqui, de seu objetivo específico. Para essa duplicidade de metas ou objetivos, será necessário compreender conceitos, categorias e protótipos oriundos da Filosofia da Ciência (Epistemologia), do contraste entre ciências da linguagem e outros ramos do saber, da imersão em Gramaticologia e Gramaticografia (e, em alguns aspectos, em Gramatização e Gramatologia) referentes à Língua Portuguesa, da defesa, enfim, de que o ensino da Gramática Formal (ou Normativa) do idioma privilegia a acepção reflexiva e ativa (plena) dos usos ou atos a que a linguagem só pode chegar por meio do domínio da língua em toda a sua tessitura epistemológica, que gera comunicação e expressividade, raciocínio e emotividade, indo da concretude do discurso ou da oralidade à abstração da entidade pouco ou nada material, que, por sua vez, é mais nitidamente representada pela escrita, seu estágio por assim dizer de forma ainda mais pura, conquanto não excludente da substancialidade com que dialoga de modo incessante no seu constante e dialético passado-futuro ou diversidade-homogeneidade (tese e antítese) de onde emerge o seu presente ou a sua unidade (síntese) / This thesis begins from the initial view that grammaticalization is restricted to tract on lexical or discoursive items that become grammatical items (what would insert it into the Theory of Change, insert into the Sociolinguistics Research), but goes towards an epistemological leap which reshape that perspective, expanding it to the level where it can be seen as an autonomous theory, investigating borderline phenomena between the language and specific languages, speech and text, description and prescription, orality and literacy, vocabulary and grammar. Thus, it intends to show the possibility of the epistemological view of the subject, conducted hitherto purely on an ontological way, restricted to one (and only one) of the many spectra that can be achieved with the expansion alluded, which should be expanded to a general theory, which is the General Theory of Grammaticalization: its overall goal. For this purpose, it is necessary to go to the view of philosophers of language who served on the human faculty or capacity directly or indirectly from its Western origins (such as Socrates, Plato and Aristotle), through the thinkers most pointedly concerned with the cognitive aspects and interactive language and specific languages (as Hegel, Husserl, Saussure, Sapir, Bloomfiled, Wittgenstein, Derrida, Chomsky, Labov, Charaudeau, Maingueneau, Ducrot, Coseriu). The incursion in the Grammaticography will also be required (as undertaken by Dionysius of Thrace, boar, Arnault and Lancelot, Nebrija, Jerome Soares Barbosa, Carlos Eduardo Pereira, Said Ali, Bechara), as well as the philosophical contribution of the researchers on the grammaticalization (as Meillet, Vendryes, Breal, Kurilowicz, Traugott , Heine, Hopper, Lehmann). Since it has been shown to be believable to accept it as a standalone grammaticalization theory , this thesis intends to bequeath his instrumental role in helping many among which we hereby undertake when it comes to research methodology in fields whose occupation is the language and specific languages: its specific goal . For this duplicity goals or objectives , it is necessary to understand concepts , categories and prototypes derived from the philosophy of science (epistemology), the contrast between the language sciences and other branches of learning, immersion in Grammaticology and Grammaticography (and, in some respects, in grammatization and Grammatology ) for the Portuguese language, defending, finally, that the teaching of formal (or normative ) grammar language favors the reflective and active sense of uses or acts that the specific languages can only achieve when they go to the the field of language in all its epistemological possibilities that generates communication and expressiveness, reasoning and emotion, going from the concreteness of speech or of orality to abstraction, which is represented by writing, that not excludes the substantiality that dialogues with unrelenting in its constant dialectic and past-future or homogeneity-diversity (thesis and antithesis), where is its present or its unity (synthesis)

Universidade do Estado do Rio de Janeiro / Esta tese é um estudo do imaginário da felicidade no discurso prescritivo/terapêutico de um gênero jornalístico caracterizado por oferecer conselhos, orientações, fórmulas e modelos para a condução da vida em diferentes esferas aqui denominado imprensa conselheira . O objetivo é compreender como daí emerge uma concepção de felicidade cujos aspectos problemáticos seriam abrandados, contrastando com a imagem dessa experiência que emana dos diagnósticos da subjetividade moderna empenhados em denunciar os males da civilização. A partir do exame das imagens dos estados aprazíveis e dos mal-estares elaboradas nesse discurso, dos princípios subjacentes que as organizam e dos aspectos estruturais do aconselhamento midiático à luz da noção de pacificação, formula-se uma interpretação da tendência do imaginário do discurso prescritivo/terapêutico a dissolver os impasses e conflitos identificados como peculiares à experiência moderna da felicidade. Essa interpretação se articula em torno da ideia de controle das emoções e de uma percepção mais geral de que a mídia proporcionaria experiências emocionais num quadro imaginário e que elas seriam caracterizadas pelo abrandamento ou supressão dos aspectos problemáticos. / This thesis contains a study of the imaginary of happiness in the prescriptive/therapeutic discourse of a journalistic style characterized by providing counseling, guidance, formulas and models for people to carry out their lives in different spheres herein named counseling press. The aim is to understand how a concept of happiness, whose problematic aspects would be softened, emerges from it, contrasting with the image of this experience that comes from the diagnosis of modern subjectivity, driven to denounce the illness of civilization. From the analysis of the images of states of easiness and uneasiness , the subjacent principles that underlie them and the structural aspects of press counseling in the light of the notion of pacification, an interpretation of the trend of the imaginary of the prescriptive/therapeutic discourse is formulated to wipe out impasses and conflicts identified as peculiar to the modern experience of happiness. Said interpretation articulates itself around the idea of the control of emotions and of a more general perception that media would provide emotional experiences in an imaginary picture, and that they would be characterized by the softening or suppression of problematical aspects.

Esta tese de doutorado parte da perspectiva inicial de que a gramaticalização se restringe a tratado sobre itens lexicais ou discursivos que se tornam itens gramaticais (o que a enquadraria dentro da Teoria da Variação, inserta esta dentro da Pesquisa Sociolinguística), mas segue em direção a um salto epistemológico que remodele aquela perspectiva, ampliando-a a patamar do qual ela pode ser observada como teoria autônoma, investigativa de fenômenos limítrofes e nem sempre discretos entre linguagem e língua, discurso e texto, descrição e prescrição, oralidade e escrita, léxico e gramática. Desse modo, propugna-se pela visão epistemológica do tema, conduzido, até aqui, de modo puramente ontológico, circunscrito a um (e apenas um) dos muitos espectros que se podem alcançar com a aludida ampliação àquele que vem sendo perquirido como tratado, porém que, segundo se pretende demonstrar, pode e deve ser expandido à malha de uma teoria geral, qual seja a Teoria Geral da Gramaticalização: trata-se, aqui, de seu objetivo geral. Para esse propósito, vale-se a tese de filósofos da linguagem que atuaram sobre essa faculdade ou capacidade humana de forma direta ou indireta desde os seus primórdios ocidentais (como Sócrates, Platão e Aristóteles), passando pelos pensadores mais incisivamente preocupados com os aspectos cognitivos e interativos da linguagem e da língua (como Hegel, Husserl, Saussure, Sapir, Bloomfield, Wittgenstein, Derrida, Chomsky, Labov, Charaudeau, Maingueneau, Ducrot, Coseriu), além de ser necessária a incursão à Gramaticografia mais estrita (como a empreendida por Dionísio da Trácia, Varrão, Arnault e Lancelot, Nebrija, Jerônimo Soares Barbosa, Eduardo Carlos Pereira, Said Ali, Bechara), e, naturalmente, a contribuição filosófica dos pesquisadores sobre a gramaticalização (como Meillet, Vendryès, Bréal, Kurilowicz, Traugott, Heine, Hopper, Lehmann). Uma vez que se tenha mostrado ser verossímil aceitar-se a gramaticalização como teoria autônoma, esta tese pretende legar-lhe o papel instrumental de metodologia auxiliar a muitas entre as que ora se empreendem quando se trata de pesquisas em campos cuja ocupação é a linguagem e a língua: trata-se, aqui, de seu objetivo específico. Para essa duplicidade de metas ou objetivos, será necessário compreender conceitos, categorias e protótipos oriundos da Filosofia da Ciência (Epistemologia), do contraste entre ciências da linguagem e outros ramos do saber, da imersão em Gramaticologia e Gramaticografia (e, em alguns aspectos, em Gramatização e Gramatologia) referentes à Língua Portuguesa, da defesa, enfim, de que o ensino da Gramática Formal (ou Normativa) do idioma privilegia a acepção reflexiva e ativa (plena) dos usos ou atos a que a linguagem só pode chegar por meio do domínio da língua em toda a sua tessitura epistemológica, que gera comunicação e expressividade, raciocínio e emotividade, indo da concretude do discurso ou da oralidade à abstração da entidade pouco ou nada material, que, por sua vez, é mais nitidamente representada pela escrita, seu estágio por assim dizer de forma ainda mais pura, conquanto não excludente da substancialidade com que dialoga de modo incessante no seu constante e dialético passado-futuro ou diversidade-homogeneidade (tese e antítese) de onde emerge o seu presente ou a sua unidade (síntese) / This thesis begins from the initial view that grammaticalization is restricted to tract on lexical or discoursive items that become grammatical items (what would insert it into the Theory of Change, insert into the Sociolinguistics Research), but goes towards an epistemological leap which reshape that perspective, expanding it to the level where it can be seen as an autonomous theory, investigating borderline phenomena between the language and specific languages, speech and text, description and prescription, orality and literacy, vocabulary and grammar. Thus, it intends to show the possibility of the epistemological view of the subject, conducted hitherto purely on an ontological way, restricted to one (and only one) of the many spectra that can be achieved with the expansion alluded, which should be expanded to a general theory, which is the General Theory of Grammaticalization: its overall goal. For this purpose, it is necessary to go to the view of philosophers of language who served on the human faculty or capacity directly or indirectly from its Western origins (such as Socrates, Plato and Aristotle), through the thinkers most pointedly concerned with the cognitive aspects and interactive language and specific languages (as Hegel, Husserl, Saussure, Sapir, Bloomfiled, Wittgenstein, Derrida, Chomsky, Labov, Charaudeau, Maingueneau, Ducrot, Coseriu). The incursion in the Grammaticography will also be required (as undertaken by Dionysius of Thrace, boar, Arnault and Lancelot, Nebrija, Jerome Soares Barbosa, Carlos Eduardo Pereira, Said Ali, Bechara), as well as the philosophical contribution of the researchers on the grammaticalization (as Meillet, Vendryes, Breal, Kurilowicz, Traugott , Heine, Hopper, Lehmann). Since it has been shown to be believable to accept it as a standalone grammaticalization theory , this thesis intends to bequeath his instrumental role in helping many among which we hereby undertake when it comes to research methodology in fields whose occupation is the language and specific languages: its specific goal . For this duplicity goals or objectives , it is necessary to understand concepts , categories and prototypes derived from the philosophy of science (epistemology), the contrast between the language sciences and other branches of learning, immersion in Grammaticology and Grammaticography (and, in some respects, in grammatization and Grammatology ) for the Portuguese language, defending, finally, that the teaching of formal (or normative ) grammar language favors the reflective and active sense of uses or acts that the specific languages can only achieve when they go to the the field of language in all its epistemological possibilities that generates communication and expressiveness, reasoning and emotion, going from the concreteness of speech or of orality to abstraction, which is represented by writing, that not excludes the substantiality that dialogues with unrelenting in its constant dialectic and past-future or homogeneity-diversity (thesis and antithesis), where is its present or its unity (synthesis)

Introdução: Novas condutas terapêuticas e de prevenção frente à obesidade tornam-se objetos de estudo, entre elas a abordagem Health at Every Size® (HAES®). A abordagem HAES® aponta para o prazer em comer como crucial para a promoção de saúde e sustentabilidade no tratamento. A condenação cultural do prazer em paralelo à negligência do prazer no tratamento da obesidade forma um cenário de crítica, em que a mulher obesa é alvo de múltiplas desvantagens, entre elas a culpabilização do comer. Assumimos, para este estudo, a importância de aprofundar-se nas relações entre novas perspectivas no cuidado à mulher obesa e o estímulo ao prazer em comer. Objetivos: Investigar as percepções de mulheres na condição de obesidade acerca do prazer em comer antes e após uma intervenção interdisciplinar, não prescritiva e pautada na abordagem do HAES®. Métodos: Estudo qualitativo a partir de um ensaio clínico randomizado controlado com seguimento de sete meses nos anos de 2015 e 2016. Incluiu 97 mulheres na condição de obesidade de 25 a 50 anos de idade, com índice de massa corporal entre 30 e 39,9Kg/m², sendo alocadas em dois grupos: Intervenção e Controle. Ao final do estudo, 39 mulheres concluíram no grupo Intervenção (62,90 por cento ) e 19 concluíram no Controle (54,28 por cento ). Para os dois grupos, as atividades tiveram como linha condutora a abordagem do HAES®. O grupo Intervenção trouxe uma proposta original, com oferta de atividade física 3 vezes na semana, acompanhamento nutricional individual e oferta de discussões no formato de cinco oficinas filosóficas. O grupo Controle baseou-se ao modelo tradicional de aplicação da abordagem HAES®, com palestras expositivas bimestrais. A construção dos dados ocorreu a partir de grupos focais. Para análise das transcrições dos grupos, foi realizado o método de Análise de Conteúdo, sendo construídos temas pela técnica de Cutting e Sorting, os quais fundamentaram a argumentação teórica neste estudo. Resultados: Vinte e três temas sobre as percepções do prazer em comer das mulheres estudadas foram construídos. Após a intervenção, foram construídos de maneira significativa para o grupo Intervenção temas sobre maior autocontrole e reflexão sobre os próprios desejos; sensação de empoderamento para escolher o que e quando comer; aumento do prazer em comer acompanhada; aumento do prazer em comer comidas feitas por si própria; aumento dos discursos sobre comer sem culpa; diminuição da sensação de não sentir prazer e ainda diminuição do comer por emoções como ansiedade. Conclusão: A nova intervenção proposta promoveu efeitos positivos na relação das mulheres com o prazer em comer, evidenciando a desculpabilização do prazer em comer e melhora de outros aspectos da prática alimentar, como a comensalidade. Percebemos que este efeito se deu sobretudo a partir do estímulo a um processo reflexivo sobre corpo, comida e saúde, ficando claro que o prazer em comer sem culpa é um desfecho necessário quando falamos da saúde da mulher obesa / Introduction: New therapies and prevention practices directed to obesity become objects of study. The Health at Every Size® (HAES®) approach is one of them. The HAES® approach indicate the pleasure in eating as crucial for health promotion and sustainability of treatments. The cultural condemnation of pleasure and its disregard in the treatment of obesity created a critic scenario in which the obese woman is target of multiple disadvantages, such as blame for eating. We assume, for this study, the importance to deepen the relationship between new approaches to the care of obese woman and the encouragement of pleasure of eating. Objectives: To investigate obese women perceptions about the pleasure of eating, before and after an interdisciplinary, non-prescriptive and based on HAES® approach intervention. Methods: Qualitative study branch of a randomized controlled clinical trial, conducted over seven months in 2015 and 2016. It included 97 obese women, with 25 to 50 years old, with a body mass index between 30 and 39, 9 kg/m². The women were randomized to two groups: intervention and control. At the end, 39 women concluded in the Intervention Group (62.90 per cent ) and 19 in Control Group (54.28 per cent ). The two groups received activities based on HAES® approach. The Intervention Group, however, brought an original proposal, with physical activity 3 times a week, individual nutritional counseling and philosophical discussions in form of workshops. The Control Group received traditional model of HAES® approach application, with bimonthly expository lectures. The data construction occurred from Focus Groups. Analysis of the Focus Groups transcripts was conducted with Analysis of Content method, in which themes were built of Cutting and Sorting technique, and were used to theoretical arguments that substantiated this study. Results: Twenty-three themes about the perceptions of pleasure in eating of the studied women were built. After the intervention, more significantly for the Intervention Group, themes manifested greater self-control on the own desires; increased hunger and satiety response; sense of empowerment to choose what and when to eat; increase of the pleasure in eating accompanied; increase of the pleasure in eating food made by herself; increase of speeches about \"eat without guilt\"; decreased perception of not feeling pleasure and even decreased eating by emotions such as anxiety. Conclusion: The new proposed intervention promoted positive effects on women\'s relationship with pleasure in eating, showing decrease of guilt on pleasure in eating and improvements of other aspects of the eating practices, such as commensality. We realize that this effect occurred mainly due to stimulus to a reflection about body, food and health, becoming clear that the pleasure in eating without guilt is a necessary outcome when we talk about obese woman health

We present a methodology of an agile formal method named eXtreme Formal Modeling (XFM) recently developed by us, based on Extreme Programming concepts to construct abstract models from a natural language specification of a complex system. In particular, we focus on Prescriptive Formal Models (PFMs) that capture the specification of the system under design in a mathematically precise manner. Such models can be used as golden reference models for formal verification, test generation, etc. This methodology for incrementally building PFMs work by adding user stories (expressed as LTL formulae) gleaned from the natural language specifications, one by one, into the model. XFM builds the models, retaining correctness with respect to incrementally added properties by regressively model checking all the LTL properties captured theretofore in the model. We illustrate XFM with a graded set of examples including a traffic light controller, a DLX pipeline and a Smart Building control system. To make the regressive model checking steps feasible with current model checking tools, we need to keep the model size increments under control. We therefore analyze the effects of ordering LTL properties in XFM. We compare three different property-ordering methodologies: 'arbitrary ordering', 'property based ordering' and 'predicate based ordering'. We experiment on the models of the ISA bus monitor and the arbitration phase of the Pentium Pro bus. We experimentally show and mathematically reason that predicate based ordering is the best among these orderings. Finally, we present a GUI based toolbox for users to build PFMs using XFM. / Master of Science

Este trabalho trata da relação entre a teoria formalista do direito elaborada por Ernest Weinrib e sua teoria de fundamentação da responsabilidade civil derivada do formalismo. O objetivo do trabalho é mostrar que, apesar de o formalismo apresentar uma formulação distintiva e inovadora de racionalidade jurídica, que enfatiza a relação entre forma e conteúdo do direito, o modelo de racionalidade jurídica do formalismo não fornece uma explicação adequada para algumas áreas do direito e, especificamente no caso da responsabilidade civil, da responsabilidade objetiva, que, nessa visão, é considerada um erro jurídico. O formalismo jurídico weinribiano é um projeto teórico ambicioso que a um só tempo procura rechaçar posições céticas como os estudos críticos do direito (critical legal studies) e posições instrumentalistas, especialmente a análise econômica do direito e o positivismo jurídico. Ele apresenta uma teoria geral que mostra o direito como um lócus de racionalidade moral imanente e um método, fundado na inteligibilidade imanente, para compreender essa racionalidade e ver o direito como um fenômeno autônomo em relação à política e a outras esferas de racionalidade. O método formalista permite a intelecção do direito como um fenômeno imanentemente coerente por meio da apreensão das estruturas organizadoras e justificadoras implícitas nos arranjos jurídicos, isto é, as formas da justiça corretiva e da justiça distributiva. Com base nisso, o formalismo sustenta que a forma imanente ao direito privado e, consequentemente, à responsabilidade civil é a justiça corretiva. Este trabalho reconstrói criticamente as principais teses que integram o formalismo e que são fundamentais para entender a rejeição à responsabilidade objetiva, considerada uma monstruosidade conceitual, com especial ênfase na premissa epistemológica formalista da inteligibilidade imanente como a melhor maneira de se compreender o direito e na premissa da coerência estrutural que os arranjos jurídicos devem apresentar. A tese discute o modo como o formalismo jurídico se insere no debate metodológico contemporâneo, definindo o formalismo jurídico como uma teoria de avaliação e justificação jurídica e, portanto, dotada de uma dimensão prescritiva, e apresentando o impacto dessa definição na postura que o formalismo assume em relação à responsabilidade objetiva. A tese ainda analisa a relação entre essa dimensão prescritiva e o posicionamento do formalismo em relação à responsabilidade objetiva, rotulando-a de erro jurídico, e conclui com uma discussão sobre as razões desse posicionamento que, argumentase, é equivocado , que se baseiam na assunção das premissas da inteligibilidade imanente e do critério de coerência estrita que marcam o método de conhecimento formalista. / This dissertation focuses on the relationship between juridical formalism as elaborated by Ernest Weinrib and his theory of the foundation of tort law. The dissertation argues that despite formalisms distinctive and innovative account of legal rationality that emphasizes the relationship between laws form and substance, this account does not provide an adequate explanation for specific areas of law. Particularly in the case of tort law it does not adequately explain strict liability, which is deemed a juridical error. Weinribs juridical formalism is an ambitious theoretical project that challenges: skeptical accounts of law, such as critical legal studies; instrumentalists account of law exemplified by economical analysis of law; and juridical positivism. Weinribs theory attempts to explain law as a locus of immanent moral rationality. The theory is based on a methodology that adopts the premise of immanent intelligibility as a way to comprehend this rationality. This approach allows the theorist to grasp law as a phenomenon autonomous from politics and other spheres of rationality. The formalist method allows the intelligibility of law as an immanently coherent phenomenon through the apprehension of the organizing and justifying structures implicit in juridical arrangements, i.e., the forms of corrective justice and distributive justice with which formalism argues that the immanent form of private law and, therefore, of tort law is corrective justice. This dissertation reconstructs critically the main theses that support formalism, which are essential to understanding its rejection of strict liability considered a conceptual monstrosity. This dissertation focuses on the formalist epistemological assumption of immanent intelligibility as the best way of comprehending law and on the premise of internal structural coherence that juridical arrangements should display. This thesis discusses the way in which juridical formalism can be located within the contemporary methodological debate, and defines formalism as an evaluative and justificatory juridical theory. As such, formalism encompasses a prescriptive dimension. This dissertation also identifies how the definition of formalism as a prescriptive theory impacts on its analysis of strict liability. The dissertation then analyses the relationship between this prescriptive dimension and the formalist position regarding strict liability. It concludes that formalisms mistake regarding strict liability can be traced back to its epistemological assumptions regarding immanent intelligibility and coherence.

Made available in DSpace on 2016-03-15T19:46:57Z (GMT). No. of bitstreams: 1 Magali Aparecida Beneton Pieroni.pdf: 386782 bytes, checksum: 0ee8b55a8b424492a24f991d3ae68238 (MD5) Previous issue date: 2010-03-03 / The teaching of portuguese language, generally, is related the teaching of prescriptive grammar in schools and high school.But, how the teacher appropriates the linguistic theories, such as analysis of Do these teachers?speech and language textual guide their teaching activities focus on increasing the interactional communication skills of students? These questions guided this case study, carried State School Madureira Paulo and Castro, located in Tietê, state of Sao Paulo, with 11 Portuguese teachers, through a questionnaire. The analysis showed that, in their teaching practice, not had a conception of grammar defined, based, mostly in the metalanguage. The goal, therefore, this work is to contribute to the debate about teaching English in public schools Sao Paulo, pointing to the social, interactional and functional language to be considered in practice teacher. / O ensino de língua portuguesa, geralmente, está atrelado ao ensino da gramática normativa nas escolas do ensino fundamental e médio. Mas, de que maneira o professor se apropria das teorias linguísticas, como a análise do discurso e a linguística textual? Será que esses mestres orientam suas atividades pedagógicas, buscando ampliar as competências comunicativas interacionais dos alunos? Essas questões nortearam este estudo de caso, realizado na Escola Estadual Paulo Madureira e Castro, situada no município de Tietê, estado de São Paulo, com 11 professores de português, por meio de questionário. As análises evidenciaram que, em sua prática docente, não havia uma concepção de gramática definida, baseando-se, em sua maioria, na metalinguagem. O objetivo, portanto, deste trabalho, é o de contribuir para a reflexão acerca do ensino de língua portuguesa nas escolas públicas de São Paulo, apontando os aspectos social, interacional e funcional da língua a serem considerados na prática docente.

Este trabalho trata da relação entre a teoria formalista do direito elaborada por Ernest Weinrib e sua teoria de fundamentação da responsabilidade civil derivada do formalismo. O objetivo do trabalho é mostrar que, apesar de o formalismo apresentar uma formulação distintiva e inovadora de racionalidade jurídica, que enfatiza a relação entre forma e conteúdo do direito, o modelo de racionalidade jurídica do formalismo não fornece uma explicação adequada para algumas áreas do direito e, especificamente no caso da responsabilidade civil, da responsabilidade objetiva, que, nessa visão, é considerada um erro jurídico. O formalismo jurídico weinribiano é um projeto teórico ambicioso que a um só tempo procura rechaçar posições céticas como os estudos críticos do direito (critical legal studies) e posições instrumentalistas, especialmente a análise econômica do direito e o positivismo jurídico. Ele apresenta uma teoria geral que mostra o direito como um lócus de racionalidade moral imanente e um método, fundado na inteligibilidade imanente, para compreender essa racionalidade e ver o direito como um fenômeno autônomo em relação à política e a outras esferas de racionalidade. O método formalista permite a intelecção do direito como um fenômeno imanentemente coerente por meio da apreensão das estruturas organizadoras e justificadoras implícitas nos arranjos jurídicos, isto é, as formas da justiça corretiva e da justiça distributiva. Com base nisso, o formalismo sustenta que a forma imanente ao direito privado e, consequentemente, à responsabilidade civil é a justiça corretiva. Este trabalho reconstrói criticamente as principais teses que integram o formalismo e que são fundamentais para entender a rejeição à responsabilidade objetiva, considerada uma monstruosidade conceitual, com especial ênfase na premissa epistemológica formalista da inteligibilidade imanente como a melhor maneira de se compreender o direito e na premissa da coerência estrutural que os arranjos jurídicos devem apresentar. A tese discute o modo como o formalismo jurídico se insere no debate metodológico contemporâneo, definindo o formalismo jurídico como uma teoria de avaliação e justificação jurídica e, portanto, dotada de uma dimensão prescritiva, e apresentando o impacto dessa definição na postura que o formalismo assume em relação à responsabilidade objetiva. A tese ainda analisa a relação entre essa dimensão prescritiva e o posicionamento do formalismo em relação à responsabilidade objetiva, rotulando-a de erro jurídico, e conclui com uma discussão sobre as razões desse posicionamento que, argumentase, é equivocado , que se baseiam na assunção das premissas da inteligibilidade imanente e do critério de coerência estrita que marcam o método de conhecimento formalista. / This dissertation focuses on the relationship between juridical formalism as elaborated by Ernest Weinrib and his theory of the foundation of tort law. The dissertation argues that despite formalisms distinctive and innovative account of legal rationality that emphasizes the relationship between laws form and substance, this account does not provide an adequate explanation for specific areas of law. Particularly in the case of tort law it does not adequately explain strict liability, which is deemed a juridical error. Weinribs juridical formalism is an ambitious theoretical project that challenges: skeptical accounts of law, such as critical legal studies; instrumentalists account of law exemplified by economical analysis of law; and juridical positivism. Weinribs theory attempts to explain law as a locus of immanent moral rationality. The theory is based on a methodology that adopts the premise of immanent intelligibility as a way to comprehend this rationality. This approach allows the theorist to grasp law as a phenomenon autonomous from politics and other spheres of rationality. The formalist method allows the intelligibility of law as an immanently coherent phenomenon through the apprehension of the organizing and justifying structures implicit in juridical arrangements, i.e., the forms of corrective justice and distributive justice with which formalism argues that the immanent form of private law and, therefore, of tort law is corrective justice. This dissertation reconstructs critically the main theses that support formalism, which are essential to understanding its rejection of strict liability considered a conceptual monstrosity. This dissertation focuses on the formalist epistemological assumption of immanent intelligibility as the best way of comprehending law and on the premise of internal structural coherence that juridical arrangements should display. This thesis discusses the way in which juridical formalism can be located within the contemporary methodological debate, and defines formalism as an evaluative and justificatory juridical theory. As such, formalism encompasses a prescriptive dimension. This dissertation also identifies how the definition of formalism as a prescriptive theory impacts on its analysis of strict liability. The dissertation then analyses the relationship between this prescriptive dimension and the formalist position regarding strict liability. It concludes that formalisms mistake regarding strict liability can be traced back to its epistemological assumptions regarding immanent intelligibility and coherence.