Made available in DSpace on 2016-03-15T19:45:39Z (GMT). No. of bitstreams: 1 Debora Luise Souza Xavier.pdf: 1209157 bytes, checksum: 74900aa5b81aac59e56158a0af86f764 (MD5) Previous issue date: 2012-08-15 / El mecanismo comparativo puede expresarse por medio de una amplia gama de expedientes lingüísticos, la cual sobrepasa el simple conjunto de las relaciones adverbiales entre oraciones. Esa diversidad de estructuras es extremamente funcional en la comunicación, dada la frecuencia y la intensidad con que el espíritu humano discrimina las cosas a su alrededor. Así entendido el papel de comparación en el lenguaje, este trabajo adopta una propuesta teórica de orientación funcionalista, que es la que permite la evaluación de los elementos de la lengua vista por las funciones del lenguaje. Como proponen los pioneros Halliday e Hasan (1976), la comparación se hace en el montaje referencial del texto, funcionando con papel cohesivo. De ese modo, su estudio solo se resuelve en la organización textual-discursiva, es decir, dentro de un aparato que integre sintaxis, semántica y pragmática. Con ese aparato teórico-metodológico se objetiva averiguar de qué manera los mecanismos comparativos se activan en el discurso del padre Antônio Vieira y de Sor Juana Inés de la Cruz, en dos textos correlatos y de alto grado argumentativo: los Sermones del Mandato de 1643 y de 1650 y la Carta Atenagórica de 1690. Puesto que el objeto de análisis de esta investigación son textos de lengua portuguesa y de la lengua española, el estudio se dirige a una caracterización de las estructuras comparativas específicas de esas dos lenguas, funcionalmente evaluadas. También se estudian cuestiones relativas a la contextualización de los textos seleccionados. Así, se presentan consideraciones sobre la retórica, el discurso religioso, el género sermón, el tipo textual disertación, el movimiento barroco, la vida y la obra de los autores y las oposiciones implicadas en los textos correlativos. El objetivo del trabajo es verificar cómo se estructuran las comparaciones en los discursos en cuestión y en qué términos manifiestan los contrastes entre la finalidad, las ideas, y los artificios retóricos de cada texto y de cada autor. / O mecanismo comparativo pode ser expresso por meio de uma ampla gama de expedientes linguísticos, a qual extrapola o simples conjunto de relações adverbiais entre orações. Essa diversidade de estruturas é extremamente funcional na comunicação, dada a frequência e a intensidade com que o espírito humano discrimina as coisas a seu redor. Assim entendido o papel de comparação na linguagem, adota-se, neste trabalho uma proposta teórica de orientação funcionalista, que é a que permite a avaliação dos elementos da língua vista pelas funções da linguagem. Como propõem os pioneiros Halliday e Hasan (1976), a comparação se faz na montagem referencial do texto, funcionando com papel coesivo. Desse modo, seu estudo só se resolve na organização textual-discursiva, ou seja, dentro de um aparato que integre sintaxe, semântica e pragmática. É com esse aparato teórico-metodológico que se objetiva averiguar de que maneira os mecanismos comparativos são ativados no discurso do padre Antônio Vieira e de Sor Juana Inés de la Cruz, em dois textos correlatos e de alto grau argumentativo: os Sermões do Mandato de 1643 e de 1650 e a Carta Atenagórica de 1690. Uma vez que esta pesquisa tem como objeto de análise textos de língua portuguesa e da língua espanhola, o estudo se dirige a uma caracterização das estruturas comparativas específicas dessas duas línguas, funcionalmente avaliadas. Também são estudadas questões relativas à contextualização dos textos selecionados. Desse modo, apresentam-se considerações sobre a retórica, o discurso religioso, o gênero sermão, o tipo textual dissertação, o movimento barroco, a vida e a obra dos autores e as oposições implicadas nos textos correlatos. O objetivo do trabalho é verificar como se estruturam as comparações nos discursos em questão e em que termos elas manifestam os contrastes entre a finalidade, as ideias, e os artifícios retóricos de cada texto e de cada autor.

Esta dissertação é um estudo das territorialidades de uma rede de parentes de ciganos distribuídos na Região Metropolitana de Vitória do estado do Espírito Santo, no qual pretende-se compreender o modo como se organizam e se deslocam territorialmente. Guia-se pelas teorias contemporâneas da antropologia na qual entende-se que o conhecimento etnográfico produzido é uma construção resultante da relação entre pesquisador e pesquisados. As categorias ciganas relacionadas às conceituações de espaço, como pouso, embarracar, morador, viajar, são consideradas e costuradas em uma cosmologia cigana onde se vive apoiado. Posteriormente, analisa-se, em que medida, tais categorias se aproximam ou se distanciam, e podem tensionar as categorias analíticas empregadas por teóricos sobre o tema, como o conceito de nomadismo e sedentarismo. / This dissertation is a study of territorialities of a network of gypsy relatives distributed in the metropolitan region of Vitória of Espírito Santo State. The study aims at understanding the way in which gypsies organize themselves and how they move territorially. The study will be guided by anthropological studies in which contemporary literature shows that produced ethnographic knowledge is a structure resulted from the relationship between researcher and subject. The gypsy categories related to the conceptions of space, such as pouso, embarracar, morador, viajar, are perceived and sewn in a gypsy cosmology in which people live apoiado. Thereafter, it will be analyzed to which extent such categories can reevaluate analytical categories employed by theorists on the topic, such as the concept of nomadism and sedentarism.

O objetivo geral desse trabalho é analisar alguns aspectos da teoria do conhecimento e, principalmente, a questão das categorias do pensamento, tal como formulada por duas grandes tradições intelectuais: a filosofia kantiana e a sociologia durkheimiana. Na primeira parte de nosso texto tentamos reconstruir alguns dos argumentos apresentados por Kant na Crítica da Razão Pura. Nos debruçamos sobre as duas deduções kantianas das categorias e tentamos mostrar a existência de uma tensão interna em seu argumento. Na segunda parte de nosso texto, tentamos reconstruir a abordagem durkheimiana das categorias dividindo-a em três passos fundamentais: o argumento das representações coletivas, o argumento das classificações e, por fim, o argumento das categorias. Nesse caso, tentamos mostrar como aquela tensão no interior do argumento kantiano era desenvolvida por Durkheim de modo bastante original. Ao focar seu argumento no caráter extralógico das categorias kantianas, Durkheim parecia abrir o caminho uma abordagem original do conhecimento humano: a sociologia do conhecimento. / The aim of this text is to analyze some aspects of the theory of knowledge and the issue of categories of thought as formulated by two great intellectual traditions: the kantian philosophy and durkheimian sociology. In the first part of our text, we try to reconstruct some of the arguments presented by Kant in the Critique of Pure Reason. We look back on the two kantian \"deductions\" of categories and try to show the existence of an internal tension in this argument. In the second part of our text, we try to reconstruct Durkheim\'s account of categories by dividing it into three main steps: the argument of collective representations, the argument of classifications and, finally, the argument of the categories. In this case, we try to show how that tension inside the kantian argument was developed by Durkheim\'s in a quite original form. By focusing its argument in the extra-logic character of the kantian categories, Durkheim seemed to open the way to an original approach to human knowledge: the sociology of knowledge.

O ponto central dessa dissertação é expor categorialmente as funções de verdade do cálculo proposicional clássico, assim como provar, também categorialmente, que a definição dada se comporta tal como as tabelas de verdade dos operadores. Para tanto é feita uma exposição axiomática de teoria de categorias, salientando as construções e conceitos que servirão para o propósito principal da dissertação. É dada uma maior atenção ao conceito de Topos, estrutura onde as funções de verdade são em princípio construídas. Tal exposição é precedida de uma breve exposição da história de teoria de categorias. Por fim é apresentada uma possível nova estrutra, mais simples que Topos, onde também se constrói as funções de verdade. / The main purpose of this dissertation is to give a categorial account of the truth functions from the classic propositional calculus, as well as to prove, also categorially, that the definition given behave as the truth tables of the operators. For this end, an axiomatic exposition of category theory is made, focusing on constructions and concepts which will be used for the main purpose of the dissertation. More attention is given to the concept of Topos, structure where the truth functions are primarily constructed. Preceded by a brief exposition of Category Theory history. At the end, a new possible structure in which truth functions may be constructed, simpler than a Topos, is presented.

[pt] Considere os seguintes dois tipos de transformções em demonstrações: 1) tornar uma prova mais incompleta, apagando um lema ou uma construção que sejam parte da prova e pondo no lugar um aviso dizendo isso é óbvio; 2) pegar um passo que foi provado por um isso é óbvio, aplicar algum algoritmo que encontre uma demonstração para esse passo, e trocar o aviso pela demonstração de verdade. Nós vamos considerar que a primeira operação vai em direção ao esqueleto da demonstração, e que ela é como uma projeção; a segunda operação é um levantamento de um esqueleto para uma demonstração um pouco mais completa com aquele esqueleto. Nós só estamos interessados em esqueletos que possam ser levantados até provas completas usando algum algoritmo conhecido. Nesta tese descrevemos uma linguagem - o sistema DNC - que permite provar vários fatos sobre categorias usando esqueletos. O método para o levantamento é, a grosso modo, o seguinte: a partir do nome de um termo em DNC nós podemos obter o seu tipo; por uma espécie de Isomorfismo de Curry-Howard um tipo desses pode ser visto como uma preposição numa certa lógica; um algoritmo que obtenha uma demonstração para essa proposição retorna uma árvore de demonstração (uma derivação) num certo sistema de Dedução Natural, e essa árvore pode ser lida como um lambda- termo do tipo dado - ela dá uma construção natural para um objeto daquele tipo, e esse objeto muito frequentemente é exatamente o objeto que esperávamos obter. Derivações em DNC podem ser traduzidas para derivações num Pure Type System com Dicionários (PTSD), e derivações em PTSDs podem ser traduzidas para derivações em Pure Type Systems (PTSs); daí, questões sobre a teoria da prova de DNC se tornam questões sobre a teoria da prova de PTSs, que é bastante bem-conhecida. Não só temos um levantamento de nomes de termos em DNC para provas completas, mas também temos um modo formal de levantar diagramas categóricos expressos na linguagem do DNC para termos em DNC e daí para provas completas; e se mudamos o dicionário embutido num PTSD podemos fazer com que o mesmo esqueleto em DNC represente provas em contextos diferentes; por exemplo, algumas provas que aparentemente estão sendo feitas sobre a categoria dos conjuntos podem ser reinterpretados como provas sobre um topos arbitrário. Usamos essa idéia para apresentar de uma forma simples - em que os passos óbvios omitidos são óbvios num sentido muito preciso - a semântica categárica para alguns PTSs, incluindo PTSs com polimorfismo e tipos dependentes, e os PTSs para quais as derivações em DNC são traduzidas. / [en] Consider the following two kinds of transformation on proofs; the first is to make a a proof more incomplete, by erasing a lemma or a construction from it and replacing it by a tag saying this is obvious; the second kind of transformation takes a step that is proved by a this is obvious tag, applies some kind of prof-search algorithm to it, and replaces the tag by a real proof for that step. We will consider that the first operation goes toward the skeleton towards a more complete proof that had that skeleton as a projection. We are only interested in skeletons can be lifted back to full proofs using some known algorithm. In this thesis we can describe a language - DNC - that lets us prove several categorical facts using skeletons. The method for lifting these skeletons goes like this: from the name of a DNC term we can obtain its type; by a kind of Curry-Howard isomorphism a such type can be seen as a proposition in a certain logic; proof-search for that proposition will obtain a proof-tree for it in a certain system of Natural Deduction, and that proof-tree can be read as a lambda-term of given type - the proof-tree gives a natural construction for an object of the given type, that very often is exactly the object that we were looking for. Derivations in DNC can be translated into derivations in a Pure Type System with Dictionaries (PTSD), and derivations in PTSDs can be translated into derivations in Pure Type Systems (PTSs); so questions about the proof- theory of DNC become questions about the proof-theory of PTSs, whose properties are quite well-known. Also, not only we can lift names of terms in DNC to full proofs in different settings; for example, some proofs that apparently are happening over the category of sets can be reinterpreted as proofs over an arbitrary topos. We use that idea to give a simple presentation (in which the omitted obvious steps are obvious in a very precise sense) of the categorical semantics for some PTSs - and that includes PTSs into which the DNC derivations are translated.

A pesquisa analisou o estado da arte do tema “Educação Alimentar e Nutricional”, considerando artigos científicos, dissertações e teses, publicados na base de dados do Scielo, Biblioteca Digital Brasileira de Teses e Dissertações e Portal de Periódicos da Capes, no período de 1990 a 2010. Os critérios de seleção foram conter no título, palavraschave e resumo os termos “Educação Alimentar e Nutricional” no espaço escolar e não escolar. Oitenta publicações atenderam os critérios. É uma pesquisa qualitativa e documental, que utiliza a análise textual discursiva, para a compreensão dos fenômenos que investiga. (MORAES e GAGLIAZZI, 2011). O objetivo foi contribuir para a construção de um referencial na área e evidenciar os caminhos percorridos pelos autores de estratégias de educação nutricional, ao longo de dez anos. Para melhorar a visualização dos dados, após a seleção do material, foram montados quadros sistematizadores com o conteúdo dos trabalhos selecionados. A construção de categorias temáticas a partir da análise realizada, a identificação da proveniência dos autores das publicações, assim como dos autores referência no assunto, possibilitou a compreensão do conteúdo dos textos pesquisados. Após a análise, verificou-se que, ao longo destes anos, a maioria das pesquisas ocupou-se em avaliar e eficácia de Estratégias de Educação Alimentar e nutricional, questões relativas ao perfil nutricional, práticas alimentares e avaliação dos índices de sobrepeso e obesidade. Apesar da identificação nos textos da preocupação com a autonomia dos sujeitos envolvidos, houve predomínio da racionalidade técnica instrumental, com distanciamento da realidade de vida da maioria dos grupos sociais. Normalmente, as técnicas escolhidas não valorizam o dialogo, o saber popular, as diferenças sociais e econômicas, nem permitem ouvir os sujeitos envolvidos. Os estudos sobre avaliação e identificação de conhecimentos sobre alimentação adequada também foram salientes e fundamentais para a qualidade das estratégias nutricionais posteriormente propostas. Em relação a formação inicial do nutricionista, nota-se a necessidade de aprimorar sua função enquanto educador, sendo importante uma sólida formação pedagógica. Contudo, se por um lado, ao longo destes anos as estratégias de EAN não responderam aos desafios propostos por Boog (1997), ao mesmo tempo, observando as categorias emergidas pela pesquisa, observa-se a preocupação em criar novas estratégias, assim como qualificá-las. O momento é de transição entre os modelos que diferenciam educação de orientação nutricional. / 72 f.

[pt] Este trabalho consiste em uma caracterização inicial das habilidades de processamento presentes nas crianças que adquirem o sistema de número gramatical em português. Foi realizada uma coleta longitudinal de dados de produção durante 4 meses com 2 crianças de 24-28 meses e 21-25 meses, cujo objetivo foi obter dados de produção lingüística semi-espontânea que permitissem identificar exemplos de produção de formas flexionadas em número. Realizaram-se também 3 experimentos de reconhecimento de imagens, com crianças de 18 a 28 meses e 30 a 42 meses, os quais visavam a verificar (i) se a criança distingue nome flexionado em número de nome não-flexionado; (ii) se a criança percebe onde se localiza a marca de número no português em palavras de seu vocabulário e em pseudo- palavras que remetem a objetos inventados; e, por fim, contrastar dados de experimentos semelhantes relativos a gênero gramatical, de modo a averiguar se crianças processam concordância de número no DP. A hipótese de trabalho que orienta esta dissertação é a de que a informação relativa a número contida nos elementos que formam a categoria funcional Determinante (D) é crucial para a identificação do sistema de número no português. Os valores relativos a número identificados nos elementos da categoria D como marcado/não marcado são interpretados semanticamente como singular e plural por meio do mecanismo da concordância, sendo a identificação do número gramatical mais custosa do que a do gênero gramatical em virtude de o número ser um traço opcional e de este traço veicular informação semântica a ser associada a classes morfofonológicas identificadas no Det e no Nome. O modelo de língua assumido nesse estudo é o sugerido pelo Programa Minimalista (Chomsky, 1995). / [en] This work is concerned with the acquisition of the Portuguese number system. Longitudinal production data of two children (24-28 months and 21-25 months) were collected for 4 months in order to verify whether there is evidence of the use of number inflected forms. 3 picture- identification experiments were carried out with children ranging from 18 to 28 months and 30 to 42 months, whose aim was to verify (i) whether children would distinguish number inflected from number uninflected nouns (ii) whether they would process number agreement in the DP and the extent to which they would perceive number incongruence and ungrammaticality as far as number agreement in the DP is concerned. Both nouns from children`s vocabulary and pseudo- nouns were used. The latter was indented to constraint semantic information to the number affix. These data were contrasted with the results on gender (Name, 2002), which suggest that young children (mean age 24 months) perceive gender incongruence between D and N in the processing of a DP. The working hypothesis of this study is that children identify morphological information concerning number and gender within the closed class of determiners. The fact that number is basically an optional feature, which can be expressed in the Noun, would nevertheless, make the acquisition of grammatical number to be relatively more demanding than the identification of grammatical gender. The linguistic framework assumed here is the Minimalist Program (Chomsky, 1995).

Made available in DSpace on 2015-02-04T21:38:45Z (GMT). No. of bitstreams: 1 Sheila Ferreira.pdf: 3099826 bytes, checksum: 5067b4517b84c9fb1bdb2e52a003b5e0 (MD5) Previous issue date: 2008-06-03 / Com a evolução dos supermercados brasileiros desde o inicio do Plano Real em 1994, aconteceram muitas transformações nos modelos de operações não apenas com a adoção de recursos tecnológicos e também de formatos, mix de produtos, oferta de serviços, entre outros. Assim o varejo obteve uma forte tendência de concentração, buscando estar próximo ao seu consumidor. Por estar desenvolvendo praticas para melhor se adaptar a este novo cenário essa dissertação dentro dos princípios adotados pelo ECR Efficient Consumer Response, tem como objetivo de pesquisa analisar mais especificamente o processo de gerenciamento por categorias tendo como metodologia um estudo de caso, entre um fabricante da categoria de refrigerados lácteos e um supermercadista com o formato de loja compacta, levando em consideração a parceria e expectativas estabelecidas pelo supermercadista local e a capacitação industria parceira. Os resultados do estudo demonstram que o processo de GC profere resultados positivos na industria e varejo se os mesmos possuírem cultura organizacional alinhada e recursos mínimos necessários.

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2015-05-13T16:47:26Z No. of bitstreams: 1 ThaisDomenicaMinghelli.pdf: 2621220 bytes, checksum: e0ed0ebf9841f8f189fc10e599159d71 (MD5) / Made available in DSpace on 2015-05-13T16:47:26Z (GMT). No. of bitstreams: 1 ThaisDomenicaMinghelli.pdf: 2621220 bytes, checksum: e0ed0ebf9841f8f189fc10e599159d71 (MD5) Previous issue date: 2011-12-22 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Tendo em vista a demanda por sistemas computacionais cada vez mais eficazes no que tange à recuperação da informação, bem como o grande número de sites jurídicos, ontologias têm se revelado úteis neste sentido. Diante deste cenário, o presente trabalho objetiva investigar o papel da relação de meronímia como uma relação organizadora do conteúdo da área do Direito Processual Penal, especialmente do procedimento do tribunal do júri, a fim de inseri-los em uma ontologia jurídica linguística. Para tanto, recorre-se à ontologia LRI-core, inspirando-se nela para a criação de categorias nucleares embasadoras da pesquisa e estruturadoras da modelagem do domínio. Fundamenta-se a pesquisa na semântica lexical e na classificação de tipos de merônimos de Winston et. al. (1987). Valendo-se do Código de Processo Penal como principal corpus de consulta, selecionam-se e analisam-se suas expressões sob a perspectiva parte-todo. Por fim, ilustra-se no editor de ontologias Protégé a forma como os dados podem ser representados. O resultado desta investigação mostra que a relação de meronímia exerce um importante papel como uma relação organizadora do conteúdo da área do Direito Processual Penal, sendo, assim, relevante para a representação do conhecimento e sua recuperação por meio de ontologias. / According to the demand for more efficient computer systems when it comes to information retrieval, as well as the large number of legal sites, ontologies have proved to be useful in this regard. Based on this scenario, this work aims to investigate the role of meronymy relationship to organize the content of Criminal Procedural Law, especially the procedure of trial by jury in order to place them in a legal linguistic ontology. For this, LRI-core ontology is studied, getting inspiration from it to create core categories to base the research and structure the domain modeling. The research is based in lexical semantics and the meronymy classification of Winston et. al. (1987). Relying on the Code of Criminal Procedure as the main research corpus, linguistic expressions are selected and analyzed under the part-whole perspective. Finally, there are illustrations abouthow data can be represented on the ontology editor Protégé. The result of this investigation shows that the meronymy relationship plays an important role as an organizing relationship of the content area of criminal procedural law, and thus it is relevant to knowledge representation and its recovery by means of ontologies.

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2015-05-28T15:41:52Z No. of bitstreams: 1 Sidney Luiz Mayer.pdf: 1509608 bytes, checksum: 62178963256c9550bb65a125c0dbe024 (MD5) / Made available in DSpace on 2015-05-28T15:41:52Z (GMT). No. of bitstreams: 1 Sidney Luiz Mayer.pdf: 1509608 bytes, checksum: 62178963256c9550bb65a125c0dbe024 (MD5) Previous issue date: 2010 / Nenhuma / O presente trabalho reconstitui o processo de formação do projeto missionário jesuítico para o Maranhão português da segunda metade do século XVII. Trajetória tomada em sua dinâmica própria, isto é, na tensão entre a continuidade e a descontinuidade de seu ser processo. Em outra forma, a presença jesuítica considerada e justificada no trânsito entre as suas principais determinantes: a experiência de missionariedade e as categorias de pensamento pelas quais aquela tomou forma. Este estudo preocupa-se com as circunstâncias da atividade jesuítica na Amazônia seiscentista, nas quais a realidade da Colônia foi experimentada segundo o sistema do pensamento escolástico ibérico, do qual os jesuítas eram os principais representantes. Esta processualidade aparece na análise de dois momentos distintos e complementares da História da Missão jesuítica no norte da América portuguesa: na transição entre a fase fundacional e a fase denominada de expansão, período no qual se destacou a intervenção conflituosa do Padre Antônio Vieira na constante defesa da liberdade dos índios e, posteriormente, na análise da transição do período vieirino à fase de consolidação, obtida pela reestruturação organizacional da Missão e adoção de uma posição conciliatória da parte do Padre João Felipe Bettendorff junto aos colonos portugueses. / The present work reorganizes the Jesuit missionary project for Portuguese Mara- nhão in the second half of the seventeenth century. The course taken in its own dynamic, that is, in the tension between the ongoing continuity and the irruptions of its being process. In another manner, the Jesuit presence, considered after careful thought, and justified in the transit between its determinants: the experience of missionarity and the category of thought, through which it took shape. Drawing out this study, it offers a worrisome feeling that deals with the circumstances of Jesuit activities in the sixteenth century in Amazonia in which the colonial reality that has been tested according to the Iberian scholastic system of thought for which Jesuit were the leading point. That dealing shows in an analysis of two distinct and complementary moments of the Jesuit mission's History in the north of Portuguese American: in the transition between the foundation phase and the phase called enlargement period in which there was on outreaching and conflicting intervention of Father Antonio Vieira in the continuous support of the Indian' freedom, and later on, in the analysis in the "vieirian" period to the consolidation phase, gained by the setting up a new structure of the mission and, as well as the adoption of a friendly position obtained by Father João Filipe Bettendorff towards Portuguese colonial settlements.