[pt] O objetivo da dissertação é analisar em que medida a avaliação da conformidade de projetos de engenharia de grandes empreendimentos, conduzidos segundo regime epecista, pode ser utilizada como ferramenta de aprendizagem organizacional pelas entidades envolvidas. No contexto organizacional em que a pesquisa se insere, os objetos de análise são os projetos de três terminais aquaviários a serem operados pela Transpetro: (i) Pecém – Tecem (CE); (ii) Barra do Riacho (ES); e (iii) Ilha Comprida (RJ) e a unidade principal é a Unidade de Implementação de Empreendimentos para Transpetro (IETR) da Petrobras. A metodologia compreende: (i) pesquisa bibliográfica e documental sobre os temas centrais; (ii) seleção do tipo de caso e delimitação das unidades de caso; (iii) proposição do modelo conceitual; (iv) elaboração do estudo de caso; (v) formulação das conclusões do caso e recomendações para as entidades envolvidas. Destacam-se como resultados da pesquisa: (i) a indicação dos documentos críticos nas fases FEED e executiva dos respectivos projetos; (ii) o mapeamento dos principais erros oriundos da incompatibilização entre as disciplinas envolvidas ou decorrentes do não atendimento a requisitos de normas e regulamentos técnicos aplicáveis; e (iii) a proposição de recomendações para as entidades envolvidas. Como conclusão, a pesquisa indica que o modelo conceitual proposto mostrou-se adequado para os fins a que se destina, constituindo um importante instrumento de gestão que poderá ser disseminado em outros contextos organizacionais de avaliação da conformidade de projetos de engenharia. / [en] The objective of this dissertation is to analyze to what extent the conformity assessment of engineering projects in large buildings, conducted according EPC regime, can be used as a tool for organizational learning by the entities involved (contractor, business EPC; subcontractors and certification). In the organizational context in which the research takes place, the objects of analysis are the projects of three waterway terminals of the Transpetro: (i) Pecém - Tecém (CE); (ii) Barra do Riacho (ES); and (iii) Ilha Comprida (RJ) and the main unit is the Unit Implementation of Projects for Transpetro (IETR) from Petrobras. The method comprises: (i) bibliographic and documentary research on the central themes, (ii) selecting the type of case and delimitation of the unit case, (iii) propose of a conceptual model, (iv) preparation of case study, (v) formulation of conclusions and recommendations of the case to entities involved. Stand as the search results: (i) an indication of critical documents in phases FEED and executive of the respective projects, (ii) the mapping of the principal errors that come from the incompatibility between the disciplines involved or arising from the unmet requirements of applicable standards and technical regulations; (iii) to propose recommendations for the entities involved. In conclusion, the research shows that the suggested model was adequate for the purposes for which it is intended, constituting an important management tool and learning that could be disseminated in other organizational contexts of conformity assessment of engineering projects.

[pt] A ditadura militar brasileira causou profundas transformações nas estruturas políticas, econômicas, sindicais e sociais do país. Apesar disto, o tema é pouco tratado pelos estudiosos das organizações, mesmo com indícios da participação empresarial na conspiração que culminou com o golpe de 1964 ou colaboração com órgãos de repressão do Estado. Com o intuito de alterar este quadro, esta pesquisa se propôs a estudar quais eram, como se configuravam e como eram operacionalizadas as práticas de violência cometidas pela Volkswagen do Brasil contra os seus trabalhadores durante a ditadura militar brasileira. A tese subjacente a este objetivo é que a empresa empregou práticas de normalização da violência para que esta pudesse ser praticada indiscriminadamente com o objetivo de aumento de ganhos. Para atingir este propósito este estudo desenvolveu, com base na literatura, um quadro analítico categorizando as práticas de normalização da violência que serviu de base para a leitura dos documentos coletados. Ao todo foram identificadas vinte e duas práticas na literatura que foram agrupadas em seis dimensões. Apoiada na perspectiva histórica, esta pesquisa valeu-se de documentos da época como corpus de pesquisa. Como resultados da pesquisa foi possível identificar que a Volkswagen do Brasil praticava violência física, psicológica, simbólica, econômica e política contra os seus trabalhadores e adotou doze práticas com potencial para normalizar as violências cometidas. / [en] The Brazilian military dictatorship has caused deep changes in the country s political, economic, trade union and social structures. In spite of this, the subject is little touched by the organizations researchers, even with indications of the business participation in the conspiracy that culminated with the coup of 1964 or their collaboration with organs of repression of the State. In order to change this situation, this research aimed to investigate what were and how the violence practices committed by Volkswagen do Brasil against its workers during the Brazilian military dictatorship were configured. The thesis underlying this objective is that this company used violence normalization practices so that it could be practiced indiscriminately for the purpose of increasing earnings. To achieve this goal, this study developed, based on the literature, an analytical framework, categorizing the violence normalization practices that served as a basis for reading the documents collected. Were identified twenty-two practices in the literature, that were grouped into six dimensions. Based on historical perspective, this research was based on documents at time as a corpus of research. As a result of the research it was possible to identify that Volkswagen do Brasil practiced physical, psychological, symbolic, economic and political violence against its workers and adopted twelve practices with the potential to normalize the violence committed.

[pt] A presente dissertação de mestrado intitulada Metrologia nas normas, normas na metrologia foi motivada por recomendações explícitas contidas no Plano Nacional de Metrologia (PNM) - transformado em instrumento da política metrológica brasileira, por força de Resolução Interministerial do CONMETRO, que propôs ações de fortalecimento do sistema brasileiro de normalização, priorizando a implementação de um comitê brasileiro para normalização em metrologia na estrutra orgânica da ABNT. Entendidas como funções complementares da tecnologia industrial, metrologia e normalização são tratadas não apenas como insumos essenciais para desenvolvimento da competitividade industrial e melhoria da qualidade de vida, mas, também, como elementos indissociáveis no equacionamento de vulnerabilidades que restringem o acesso de produtos brasileiros a mercados competitivos em decorrência de barreiras técnicas ao comércio internacional. Assim, no contexto das recomendações apontadas pelo PNM, a pesquisa de mestrado contemplou: (i) estudo do modus operandi dos organismos internacionais de normalização, para se perceber a forma pela qual o insumo metrológico é agregado às normas internacionais; (ii) análise das práticas vivenciadas por organismos nacionais de normalização de países mais industrializados, objetivando apreender suas experiências no desenvolvimento de normas em metrologia; (iii) entrevista junto a especialistas atuantes em metrologia e em normalização, objetivando definir um padrão de atuação para se equacionar a normalização técnica setorial no Brasil; (iv) caracterização dos principais fatos marcantes que impactaram o alavancamento da normalização técnica no País, provendo subsídio para equacionamento dos óbices ainda existentes e (v) análise das carências e vulnerabilidades do sistema brasileiro de normalização, assim consolidando conhecimento e uma visão crítica para planejamento da pesquisa de mestrado que se constituiu na concepção e formulação das bases conceituais de um comitê técnico para normalização em metrologia, proposto para ser implementado na estrutura orgânica da ABNT, entendido como estratégia de fortalecimento do sistema brasileiro de normalização e (vi) pesquisa de demanda por normalização em metrologia. Objetivando diferenciar as demandas por normalização em metrologia das demandas por metrologia na normalização, a pesquisa foi desenvolvida no contexto de três ambientes: (a) junto aos comitês brasileiros de normalização (ABNT/CB) e organismos de normalização setorial (ONS) que integram a estrutura orgânica da Associação Brasileira de Normas Técnicas (ABNT), com o propósito de conhecer necessidades específicas de metrologia na atividade de normalização bem como as dificuldades relacionadas ao uso e aplicação de fundamentos da metrologia como insumo ao processo de normalização técnica; (b) junto a especialistas de metrologia e normalização, para subsidiar o desenvolvimento de uma interface técnica de cooperação e (c) junto a fóruns especialistas de metrologia, para se identificar demandas por normalização, identificadas ao longo das respectivas cadeias hierárquicas de disseminação das unidades de base e derivadas do Sistema Internacional de Unidades (SI). Adicionalmente às bases de dados (caracterização de demandas por normalização em metrologia) que foram consolidadas pelo presente trabalho e que levaram à ampla reflexão sobre a correlação existente entre metrologia nas normas e normas na metrologia, destacam-se os seguintes resultados que também emergiram da presente dissertação de mestrado: (i) desenvolvimento de uma nova área de concentração em normalização técnica, criada no Programa de Pós- Graduação em Metrologia da PUC-Rio; (ii) indução de um processo para geração de conhecimento e formação de recursos humanos em normalização; (iii) a recente cri / [en] The present master s degree dissertation entitled Metrology in standards, standards in metrology was motivated by explicit recommendations included in the National Metrology Plan (PNM) - which became an instrument of the Brazilian metrology policy, by force of a Interministerial Decision from CONMETRO, that had proposed specific actions to strenghten the Brazilian system of standardization, prioritizing the implementation of a technical committe for standardization in metrology within the ABNT structure. As complementary functions of industrial technology, metrology and standardization are treated not only as essential inputs necessary for the development of industrial competitiveness and quality of life enhancement, but also as intrinsic elements in equating vulnerabilities which restrict access of Brazilian products to competitive markets because of technical barriers to international trade. Thus, within the context of recommendations made by PNM, this master s degree research considered: (i) a study of the modus operandi of international standardization organizations, so as to perceive the way through which metrology inputs are added to international standards; (ii) an analysis of practices by national standardization organizations in industrialized countries so as to capture their experience in developing metrology standards; (iii) interviews with active experts in metrology and standardization with the purpose of defining a performance pattern in order to equate technical standards of industry in Brazil; (iv) a description of the most outstanding facts which had an impact on leveraging technical standardization in the country, providing subsidies to equate existingobstacles; (v) an analysis of the shortages and vulnerabilities of the Brazilian standardization system, thus consolidating knowledge and a critical vision in order to plan this master s dissertation which consisted of conceiving and formulating the conceptual fundamentals of a technical committee for standardization in metrology, to be implemented in ABNT s organic structure, as a strategy to enhance the Brazilian standardization system, and (vi) standardization demand research in metrology. With the aim of distinguishing the demand for standardization in metrology from the demand for metrology in standardization, this research was developed along three different lines: (a) at Brazilian standardization committees (ABNT/CB) and industry standardization organizations (ONS) which make up the organic structure of the Brazilian Association for Technical Standards (ABNT), so as to know the specific needs for metrology in standardization activities, as well as, the difficulties related to the use and application of metrology fundamentals as inputs to the technical standardization process; (b) with metrology and standardization experts in order to subsidize the development of the interface of a new cooperation rationale, and (c) research in forum specialized in metrology so as to identify standardization demands, pointed out throughout respective dissemination hierarchical chains of base units and derived from the International System of Units (SI). In addition tothe data bank which was consolidated by study and research developed and which led to a broad reflection on the existing correlation between metrology in standards and standards in metrology, the following results, which also came out of this master s degree dissertation, can be highlighted: (i) development of a new concentration area in technical standardization, created for the Post Graduate Program in Metrology at the Catholic University (PUC-Rio) in Rio de Janeiro; (ii) introduction of a process to build knowledge and development of human resources in standardization; (iii) the recent creation of ABNT/CB-53, the Brazilian Committee for Standardization in Metrology, whose genesis, conception, framework and implementation came out of the current master s degree work in metrology and which, officially , supplies Brazilian society with a technical forum for standardization in metrology. This d

[pt] A articulação entre psicanálise e educação para pensar o mal-estar na escola remonta aos primórdios da constituição da primeira. Se podemos encontrar em S. Freud uma oscilação entre o papel inibidor que caberia à educação e, por outro lado, um veio libertário, na medida em que esta acolhesse em seus objetivos a realidade pulsional na criança, há uma outra linha de pensamento na psicanálise que vai de S. Ferenczi a D. W. Winnicott, que permite outros encaminhamentos para a abordagem deste tema, especialmente na sua expressão atual. Esta tese objetiva investigar o que pode a psicanálise frente ao mal-estar na escola atual usando como ferramentas a genealogia do poder disciplinar e do biopoder em M. Foucault para compreender a emergência da categoria criança-aluno, os conceitos de norma e normalização para discutir os processos de medicalização e de patologização de crianças e de jovens no ambiente escolar na sociedade de controle e, finalmente, o pensamento de D. W. Winnicott e sua teoria do amadurecimento psíquico e seus desdobramentos. Aponta-se, ainda, para a propriedade desta teoria da constituição subjetiva precoce e de seus desdobramentos, que permitem pensar as formas de inserção na cultura, para os encaminhamentos diferentes do mal-estar na escola atual, compreendido como despotencialização do viver criativo. / [en] The articulation between psychoanalysis and education to think about the discontent in school dates back to the beginnings of the constitution of the former. If we can find in S. Freud an oscillation between the inhibiting role which had to be done by education and, on the other hand, a libertarian trace, in that this hosts into its objectives the instinctual reality in the child, there is another line of thought in psychoanalysis that goes from S. Ferenczi to D. W. Winnicott which allows other referrals to this theme approach, especially in its current expression. This thesis aims to investigate what psychoanalysis can do against the discontent in the current school using as tools the genealogy of the disciplinary power and the biopower in M. Foucault to understand the child-student category emergency, the standard and standardization concepts to discuss the medicalization and pathologizing processes of children and youth in the school surroundings in the control society and, finally, D. W. Winnicott s thought and his psychic maturing theory and its developments. It is still aimed to the property of this theory of the early subjective constitution and its developments, which allow to think the forms of insertion into the culture, to the different referrals of the discontent in the current school, understood as creative living disempowerment.

[pt] Este trabalho apresenta um estudo comparativo de três técnicas de melhoria das taxas de reconhecimento de voz em ambiente adverso, a saber: Normalização da Média Cepestral (CMN), Subtração Espectral e Regressão Linear no Sentido da Máxima Verossimilhança (MLLR), aplicadas isoladamente e em concomitância, duas a duas. Os testes são realizados usando um sistema simples: reconhecimento de palavras isoladas (dígitos de zero a nove, e meia), modo dependente do locutor, modelos ocultos de Markov do tipo contínuo, e vetores de atributos com doze coeficientes cepestrais derivados da análise de predição linear. São adotados três tipos de ruído (gaussiano branco, falatório e de fábrica) em nove razões sinal-ruído diferentes. Os resultados experimentais demonstram que o emprego isolado das técnicas de reconhecimento robusto é, em geral, vantajoso, pois nas diversas razões sinal-ruído para as quais os testes são efetuados, quando as taxas de reconhecimento não sofrem um acréscimo, mantém-se as mesmas obtidas quando não se aplica nenhum método de aumento da robustez. Analisando-se comparativamente as implementações isoladas e simultânea das técnicas, constata-se que a simultânea nem sempre é atraente, dependendo da dupla empregada. Apresentam-se, ainda, os resultados decorrentes do uso de modelos ruidosos, observando-se que, embora sejam inegavelmente melhores, sua utilização é inviável na prática. Das técnicas implementadas, a que representa resultados mais próximos ao emprego de modelos ruidosos é a MLLR, seguida pela CMN, e por último pela Subtração Espectral. Estas últimas, embora percam em desempenho para a primeira, apresentam como vantagem a simplicidade e a generalidade. No que concerne as técnicas usadas concomitantemente, a dupla Subtração Espectral e MLLR é a considerada de melhor performance, pois mostra-se conveniente em relação ao emprego isolado de ambos os métodos, o que nem sempre ocorre com o uso de outras combinações das técnicas individuais. / [en] This work presents a comparative study of three techniques for improving the speech recognition rates in adverse environment, namely: Cepstral Mean Normalization (CMN), Spectral Subtraction and Maximum Likelihood Linear Regression (MLLR). They are implemented in two ways: separately and in pairs. The tests are carried out on a simple system: recognition of isolated words (digits from zero to nine, and the word half), speaker-dependent mode, continuous hidden Markov models, and speech feature vectors with twelve cepstral coefficients derived from linear predictive analysis. Three types of noise are considered (the white one, voice babble and from factory) at nine different signal-to-noise ratios. Experimental result demonstrate that it is worth using separately the techniques of robust recognition. This is because for all signal-to-noise conditions when the recognition accuracy is not improved it is the same one obtained when no method for increasing the robustness is applied. Analyzing comparatively the isolated and simultaneous applications of the techniques, it is verified that the later is not always more attractive than the former one. This depends on the pair of techniques. The use of noisy models is also considered. Although it presents better results, it is not feasible to implement in pratical situations. Among the implemented techniques, MLLR presents closer results to the ones obtaneid with noisy models, followed by CMN, and, at last, by Spectral Subtraction. Although the two later ones are beaten by the first, in terms of recognition accuracy, their advantages are the simplicity and the generality. The use of simultaneous techniques reveals that the pair Spectral Subtraction and MLLR is the one with the best performance because it is superior in comparison with the individual use of both methods. This does not happen with other combination of techniques. / [es] Este trabajo presenta un estudio comparativo de tres técnicas de mejoría de las tasas de reconocimiento de voz en ambiente adverso, a saber: Normalización de la Media Cepextral (CMN), Substracción Espectral y Regresión Lineal en el Sentido de la Máxima Verosimilitud (MLLR), aplicadas separada y conjuntamente, dos a dos. Las pruebas son realizados usando un sistema simple: reconocimiento de palabras aisladas (dígitos de cero al nueve, y media), de modo dependiente del locutor, modelos ocultos de Markov de tipo contínuo, y vectores de atributos con doce coeficientes cepextrales derivados del análisis de predicción lineal. Se adoptan tres tipos de ruido (gausiano blanco, parlatorio y de fábrica) en nueve razones señal- ruido diferentes. Los resultados experimentales demuestran que el empleo aislado de las técnicas de reconocimiento robusto es, en general, ventajoso, pues en las diversas relaciones señal ruido para las cuales las pruebas son efetuadas, cuando la tasa de reconocimiento no aumenta, manteniendo las mismas tasas cuando no se aplica ningún método de aumento de robustez. Analizando comparativamente las implementaciones aisladas y simultáneas de las técnicas, se constata que no siempre la simultánea resulta atractiva, dependiendo de la dupla utilizada. Se presentan además los resultados al utilizar modelos ruidosos, observando que, aunque resultan mejores, su utilización em la práctica resulta inviable. De las técnicas implementadas, la que presenta resultados más próximos al empleo de modelos ruidosos es la MLLR, seguida por la CMN, y por último por la Substracción Espectral. Estas últimas, aunque tienen desempeño peor que la primera, tienen como ventaja la simplicidad y la generalidad. En lo que se refiere a las técnicas usadas concomitantemente, la dupla Substracción Espectral y MLLR es la de mejor performance, pues se muestra conveniente en relación al empleo aislado de ambos métodos, lo que no siempre ocurre con el uso de otras combinaciones de las técnicas individuales.

[pt] A teoria da prova tradicional da lógica proposicional trata provas cujos tamanhos podem ser demasiado grandes. Estudos teóricos de prova descobriram diferenças exponenciais entre provas normais ou livres de corte e suas respectivas provas não-normais. Assim, o uso de grafos-de-prova, ao invés de árvores ou listas, para representar provas está se tornando mais popular entre teóricos da prova. Os grafos-de-prova servem como uma forma de proporcionar uma melhor simetria para a semântica de provas e uma maneira de estudar a complexidade das provas proposicionais. O objetivo deste trabalho é reduzir o peso/tamanho de deduções. Apresentamos formalismos de grafos de prova que visam capturar a estrutura lógica de uma dedução e uma forma de facilitar a visualização das propriedades. A vantagem destes formalismos é que as fórmulas e sub-deduções em dedução natural, preservadas na estrutura de grafo, podem ser compartilhadas eliminando sub-deduções desnecessárias resultando na prova reduzida. Neste trabalho, damos uma definição precisa de grafos de prova para a lógica puramente implicacional, logo estendemos esse resultado para a lógica proposicional completa e mostramos como reduzir (eliminando fórmulas máximas) essas representações de tal forma que um teorema de normalização pode ser provado através da contagem do número de fórmulas máximas na derivação original. A normalização forte será uma consequência direta desta normalização, uma vez que qualquer redução diminui as medidas correspondentes da complexidade da derivação. Continuando com o nosso objetivo de estudar a complexidade das provas, a abordagem atual também fornece representações de grafo para lógica de primeira ordem, a inferência profunda e lógica bi-intuitionista. / [en] Traditional proof theory of Propositional Logic deals with proofs which size can be huge. Proof theoretical studies discovered exponential gaps between normal or cut free proofs and their respective non-normal proofs. Thus, the use of proof-graphs, instead of trees or lists, for representing proofs is getting popular among proof-theoreticians. Proof-graphs serve as a way to provide a better symmetry to the semantics of proofs and a way to study complexity of propositional proofs and to provide more efficient theorem provers, concerning size of propositional proofs. The aim of this work is to reduce the weight/size of deductions. We present formalisms of proof-graphs that are intended to capture the logical structure of a deduction and a way to facilitate the visualization. The advantage of these formalisms is that formulas and subdeductions in Natural Deduction, preserved in the graph structure, can be shared deleting unnecessary sub-deductions resulting in the reduced proof. In this work, we give a precise definition of proof-graphs for purely implicational logic, then we extend this result to full propositional logic and show how to reduce (eliminating maximal formulas) these representations such that a normalization theorem can be proved by counting the number of maximal formulas in the original derivation. The strong normalization will be a direct consequence of such normalization, since that any reduction decreases the corresponding measures of derivation complexity. Continuing with our aim of studying the complexity of proofs, the current approach also give graph representations for first order logic, deep inference and bi-intuitionistic logic.

[pt] O objetivo da dissertação é demonstrar os benefícios sociais e ambientais da adoção de normas pela indústria de papel e celulose, ilustrando-se pelo estudo de caso da Suzano Papel e Celulose no contexto de um projeto internacional da ISO. Esse projeto foi concluído em 2013 e teve por objetivo desenvolver estudos de caso para avaliar os benefícios sociais e ambientais das normas focalizando-se cinco empresas de setores industriais distintos de três países – China, Rússia e Brasil. No Brasil, a ABNT coordenou o estudo de caso referente à empresa Suzano Papel e Celulose, que contou com a participação do pesquisador na equipe do projeto, através de uma parceira com a PUC-Rio. Quanto aos fins, a pesquisa pode ser considerada aplicada e descritiva. Quanto aos meios de investigação, a metodologia compreende pesquisa bibliográfica e documental; pesquisa de campo, com entrevistas semiestruturadas para o caso da empresa Suzano Papel e Celulose; descrição do estudo de caso, com análise dos indicadores gerados. Destacam-se como resultados: (i) revisão dos sistemas de mensuração de sustentabilidade corporativa que vêm sendo adotados em nível mundial e nacional; (ii) análise dos resultados do estudo de caso e demonstração da aplicabilidade e efetividade da metodologia baseada no conceito de cadeia de valor introduzido por Porter e no modelo de criação de valor sustentável concebido por Hart e Milstein; (iii) funções da cadeia de valor da empresa que são relevantes para a avaliação dos benefícios sociais e ambientais gerados pela adoção de normas; e (iv) conjunto de indicadores operacionais que deverão ser considerados pelas empresas da indústria de papel e celulose, visando maximizar o valor gerado pelas normas. / [en] The objective of this dissertation is to demonstrate the social and environmental benefits of adoption of standards by pulp and paper companies, within the context of an international project carried out by ISO. This project was concluded in 2013 and aimed to develop five case studies focusing companies from different industrial sectors in three countries – China, Russia and Brazil. In Brazil, the selected company was Suzano Papel e Celulose and the researcher integrated the project team coordinated by ABNT, through a partnership with PUC-Rio. This research can be considered descriptive and applied and the methodology encompasses bibliographical and documental research, field research by means of semi-structured interviews for the case of Suzano Papel e Celulose; description of Suzano s case study with critical analysis of indicators and metrics. The main results can be summarized as follows: (i) a review of measurement systems of corporate sustainability that have been adopted worldwide; (ii) critical analysis of the results from Suzano s case study and demonstration of applicability and effectiveness of the methodology based on concept of value chain introduced by Porter and also on sustainable value model designed by Hart e Milstein; (iii) functions of the company s value chain that are relevant for assessing social and economic benefits generated by the adoption of standards, and (iv) a set of operational indicators to be considered by pulp and paper companies to maximize the value generated by the standards adoption.

[pt] Existem diferentes estilos de cálculos dedutivos, usados para derivar os teoremas de uma lógica. Os mais habituais são os sistemas axiomáticos; mas, do ponto de vista da teoria da prova, os sistemas em dedução natural parecem ser mais interessantes. Essa é a motivação que leva ao desenvolvimento de técnicas que visam a facilitar a transformação de um cálculo dedutivo para o estilo em dedução natural. Esse trabalho se concentra no aspecto de modelar regras para os quantificadores da linguagem considerada e, para isso, faz uso de rótulos. Após uma apresentação intuitiva da técnica desenvolvida, passa-se à exposição de sistemas lógicos tratados pelo método: lógica de ultrafiltros, lógica de filtros, CTL, lógica de Keisler e CTL*. Em cada caso, analisam-se aspectos de teoria da prova. / [en] There are many kinds of deductive calculus. The axiomatic ones are the more usual. However, from the point of view of proof theory, Natural Deduction systems seem to be more interesting. This is the motivation for developping a technique that aims to ease the transformation from deductive calculus to Natural Deduction style. This work concentrates on the aspect of modeling the rules for the quantifiers of the logic considered, and for this purpose labels are used. After an intuitive presentation of the technique developped, some logical systems are treated by the method: ultrafilter logic, filter logic, CTL, Keisler`s logic and CTL*. For each one of them proof-theoretical aspects are analysed.

[pt] O objetivo da dissertação é analisar a dinâmica de aprendizagem organizacional (AO) relativa ao processo de elaboração da Norma Internacional de Responsabilidade Social (ISO 26000), segundo a perspectiva da complexidade social. No contexto da normalização internacional e à luz dos desafios estratégicos enfrentados pela ISO referentes à governança global, parte-se do pressuposto de que a abordagem da complexidade social de AO pode contribuir para uma melhor compreensão do papel da aprendizagem na formação de consenso em dois níveis: entre as diversas categorias de stakeholders e entre países. A metodologia de pesquisa compreende: (i) revisão bibliográfica e documental sobre normalização internacional; sistemas adaptativos complexos; e aprendizagem organizacional, com especial atenção para abordagens integradoras; (ii) descrição do processo de desenvolvimento da norma internacional ISO 26000; (iii) proposição de modelo conceitual que integra normalização internacional e aprendizagem organizacional, segundo a perspectiva da complexidade social; (iv) pesquisa survey junto a especialistas do Grupo de Trabalho ISO-TMB-WG SR e de seu comitê espelho brasileiro; e (v) estudo de caso de AO no processo de elaboração da Norma Internacional ISO 26000, com resultados da pesquisa survey. Esses resultados incluem: (i) a análise da dinâmica de AO relativa ao processo de elaboração da norma ISO 26000; (ii) relação dos principais fatores facilitadores de AO neste caso, considerando os dois níveis de análise; e (iii) recomendações endereçadas à ISO e à ABNT para futuros desenvolvimentos de normas internacionais em ambientes sociais complexos. / [en] The main objective of this dissertation is to analyze the learning dynamics and the specific learning mechanisms experimented by the different groups during the development process of ISO 26000 standard, through the lens of the social complexity perspective of organizational learning (OL). In the context of ISO 26000’s learning process, it was assumed that the social complexity perspective of organizational learning (OL) could be especially useful as it can improve the understanding of the role of learning in a double level of consensus – amongst stakeholders and across countries – in the light of the strategic challenges faced by ISO within the global governance arena. The research methodology comprises: (i) bibliographical and documental review on international standardization; social complex adaptive systems; organizational learning, with special attention to integrative approaches; (ii) review of the development process of ISO 26000 standard; (iii) design of a conceptual model that integrates the international standardization and organizational learning, through the lens of the social complexity perspective; (iv) development and application of a survey questionnaire to representatives of ISO-TMB-WG SR, including its Brazilian Mirror Committee; and (v) description of ISO 26000 study case. The main results can be summarized as follows: (i) learning dynamics analysis of the development process of ISO 26000 standard; (ii) list of main facilitating and constraining factors for OL in this case; and (iii) recommendations addressed to ISO regarding future international standardization processes in social complex environments.

[pt] O objetivo da dissertação é propor uma sistemática de avaliação para programas de normalização empresarial que integre as abordagens conceituais de avaliação de programas e de aprendizagem organizacional e que possa ser aplicada ao Programa de Normalização da Unidade de Terminais Aquaviários da Transpetro. No contexto organizacional no qual a pesquisa se insere, considera-se que a prática da avaliação pode gerar aprendizado organizacional, na medida em que permite a detecção de erros e sinaliza alternativas concretas de ação que gerem aumento da eficiência e da eficácia em suas operações. A motivação da pesquisa surgiu da necessidade da empresa em foco dispor de uma sistemática de avaliação para programas de normalização empresarial, capaz de mensurar a eficiência do referido Programa, em especial quanto ao grau de atendimento da Unidade de Terminais Aquaviários às normas e aos regulamentos técnicos do contexto socioprodutivo no qual a empresa atua. Quanto à metodologia adotada, a investigação da conexão entre avaliação de programas e normalização empresarial seguiu uma orientação preponderantemente dedutiva. Foi proposto um modelo teórico, e, a partir desse arcabouço conceitual, utilizou-se o caso do Programa como evidência empírica. Para tal, adotou-se o método de estudo de caso, tendo sido consideradas práticas de avaliação reportadas na literatura especializada. Destaca-se como resultado, uma sistemática inovadora para a avaliação de programas de normalização empresarial que integra as abordagens conceituais de avaliação de programas e de aprendizagem organizacional. Como conclusão, a pesquisa mostra que a sistemática de avaliação proposta mostrou-se adequada para os fins a que se destina, constituindo um importante instrumento de gestão e de aprendizagem que poderá ser disseminado em outros contextos organizacionais de normalização empresarial. / [en] The objective of this dissertation is two-fold: (i) propose a program evaluation model for enterprise standardization programs based upon two conceptual and interlinked approaches: program evaluation and organizational learning; (ii) to validate the proposed model through a case study on Transpetro s Marine Terminals Standardization Program. In this context, evaluation practice may generate organizational learning to help Transpetro correct standardization program deviations and increase its efficiency and effectiveness towards operational excellence. As a matter of fact, standardization programs are necessary in marine terminals operations where standards are the minimum acceptable requirements to fulfill the goals for the operator, and the maximum requirements provided to the work for the contractor. Additionally, marine terminals should attend sector s regulations, occupational safety guidelines, and environmental management standards. The motivation of this research arose from Transpetro s need to have a program evaluation model capable of measuring efficiency of its Marine Terminals Standardization Program. The methodology encompasses: (i) literature survey on program evaluation and organizational learning; (ii) design of a standardization program evaluation model based on a conceptual framework which links both theoretical approaches; (iii) development of a case study on Transpetro s Marine Terminals Standardization Program; and (iv) formulation of conclusions and suggestions for future research and replication in other organizational contexts. The main results can be summarized as follows: (i) an innovative evaluation model to assess enterprise standardization programs; and (ii) a set of indicators for measuring efficiency and effectiveness of Transpetro s Marine Terminals Standardization Program. As a conclusion, it can be said that the proposed program evaluation model fulfilled expectations and assumptions formulated at the very beginning of this research. According to the opinion of Transpetro s managers and teams involved, the model is a useful management and learning tool for enterprise standardization initiatives and has a large potential for replication in other organizational contexts from the empirical evidences achieved.