O objeto de estudo desta tese consiste na análise de narrativas do cotidiano sobre realidades empresarias contemporânea de atuação. Essas narrativas foram emitidas por estudantes em situações de ensino universitário, que visam à formação de atores sociais capacitados para o exercício de um pensamento projetivo, prospectivo e de intervenção, baseado na aplicação de formas científicas de solução de problemas teórico-práticos na ação profissional competente. Esta análise fundamenta-se em categorias teóricas elaboradas por estudiosos de relações entre lógica linguagem e pensamento, e suas aplicações no estudo de processos cognitivos da abstração e argumentação. O corpus empírico de análise consiste em uma seleção de narrativas sobre o conteúdo empresarial, apresentadas por dez estudantes de um Curso Universitário de Administração, em uma disciplina de metodologia de pesquisa aplicada. A análise deste corpus foi realizada com base em categorias teóricas previamente estabelecidas, e em categorias derivadas empiricamente em função dos interesses do estudo, a saber: Classes (palavras)-Mundo (objeto); Estratégias dirigidas à ação - Estratégias dirigidas à compreensão; Concreto-Abstrato; Relações entre Sintaxe-Semântica; Crítica (modus ponens)-Crítica/Argumento; Enunciação do Problema- Origem /Fundamento do Problema. A análise baseou-se em: análise lógica das narrativas; analise da Lógica implícita nos Argumentos; análise Categorial, definido por Destacase que essa análise não tem pretensões de uma demonstração exaustiva destes componentes teóricos, mas sim de ilustrá-los, utilizando-se como referência uma busca por uma apreensão em relação aos obstáculos e ausências manifestos na capacidade intelectual de abstração reflexiva e correspondente argumentação dos estudantes em pauta. A interpretação dos resultados indicou um crescimento na complexidade lógica do pensamento coloquial verbalizado, aliado a uma ausência de representação dos processos racionais a ele subjacentes. Ou seja, a racionalidade contemporânea, alimentada nos centros de produção do pensamento técnico-científico, comunicar-se-ia como forma de conhecimento com tal segmento da sociedade de forma naturalizada. Refletir, então, sobre formas de intervenção pedagógica para a superação destes obstáculos, ao pleno exercício da razão, configuradas nos resultados desta pesquisa / The object of study for this thesis consists of the analysis of narratives of business routines and realities in the contemporary field of action. These narratives were given by college students who aim to become social actors and who are able to exercise prospective, interventionist and forward thought, based on the application of scientific forms in the solution of both theoretical and practical problems in professional contexts. This analysis was founded in theoretical categories and elaborated by scholars of these relations between logics, language and thoughts and its applications to the study of cognitive processes of abstraction and argumentation. The empirical corpus consists of a selection of narratives of a business nature, presented by ten students of a Management Course in a local college, who were undertaking the subject Applied Research Methodology. The investigation of this corpus was realized with basis on previously established theoretical categories and on those categories empirically derived and focused on the interests of the study, being described as follows; Types (words)- World (object); Strategies directed to action- Strategies directed to comprehension; Concrete-Abstract; Relation between Syntax-Semantics; Criticism (modus ponens) and Criticism (argument); Enunciation Problem and Origen(fundamental problem). Therefore, the analysis was based on the application of the categorization to the narratives. In this way the process was divided in three moments: a) logical analysis of the narratives; b) analysis of the Logics implied to them; c) categorial analysis. It is important to emphasize that this analyses does not intend to exhaustively demonstrate these theoretical components but to simply exemplify them using as reference a search for the apprehension of to the obstacles. This also identifies a lack of showing in the intellectual capacity of reflexive abstraction and correspondent ability of argumentation of the students observed. The interpretation of the results indicated growth in the logical complexity of the verbalized colloquial thought, allied to an absence of the rational processes representation related to it. This means that the contemporary rationality fed in the centres of production of technical scientific thought would communicate as a way of knowledge with this sort of segment of society in a naturalized way. To reflect, then, on forms of pedagogical intervention for the overcoming of these obstacles to the full exercise of the reason, configured in the results of this research

Em circuitos integrados complexos, potência e desempenho têm caminhado em direções opostas tornando o desenvolvimento de dispositivos de baixo consumo uma tarefa altamente custosa. Tradicionalmente, empresas de desenvolvimento de circuitos integrados utilizam variadas técnicas para garantir os requisitos de potência, no entanto, técnicas baseadas em biblioteca de células tem se tornado um gargalo para o processo de desenvolvimento. À medida que os projetos aumentam de complexidade e densidade, maior tende a ser a potência dissipada por estes dispositivos, e assim, mais importante torna-se sua redução. Buscando aumentar a capacidade de redução de potência, projetistas tem aplicado diferentes técnicas para cada nível de abstração do fluxo de projeto. No nível físico, de maneira a contornar os limites das bibliotecas de células, o desenvolvimento de células especificamente projetadas tem se tornado uma rotina em projetos com grandes restrições de potência. Observando este requisito, este trabalho visa pesquisar a implementação e otimização de células digitais CMOS (Complementary Metal-Oxide-Semiconductor) estática em nível de transistores, e o emprego de metodologia de projeto livre de biblioteca como um recurso para a concepção de sistemas de baixa potência. De um modo geral, menos transistores são desejáveis para reduzir a dissipação de potência, no entanto, longas cadeias de transistores, necessários para implementar funções lógicas específicas, conduz ao aumento do tempo de transição, e, portanto, maior dissipação de energia. A fim de evitar este efeito, construímos uma função de mapeamento, com base no tamanho dos transistores, de forma a evitar um tempo de transição lento e minimizar o número de transistores. O uso deste método demonstrou ser eficaz para o ajuste fino de circuitos de baixa potência, resultando em uma redução média de 6.35% no consumo dinâmico e de 8.26% no consumo estático em comparação com a metodologia baseada em biblioteca de células. Como trabalho adicional, é apresentado um fluxo automatizado de mapeamento lógico e capaz de gerar redes de transistores específicas para cada projeto, tornando possível sua utilização em ferramentas de desenvolvimento tradicionais. / In complex integrated circuits, power and performance have moved in opposite directions making the design of low-power devices a highly costly task. Traditionally, integrated circuit design companies adopt many techniques to ensure power requirements, however, techniques based on cell library has become a bottleneck for the development process. As the design complexity and density increase, greater will be the power dissipated, and thus its reduction becomes more important. Seeking to increase the power reduction capability, designers have applied different techniques for each level of the design flow abstraction. At the physical level, so as to bypass the limits of cell libraries, the development of specifically designed cells has become a routine for designs with large power constraints. Observing this requirement, this work aims to investigate the implementation and optimization of digital static CMOS (Complementary Metal-Oxide-Semiconductor) cell at transistors level, and the use of library free design methodology as a resource for designing low power systems. In general, fewer transistors are desirable to reduce power dissipation, however, long chains of transistors, necessary for implementing specific logical functions, leads to the increase of the transition time, and hence greater energy dissipation. In order to avoid this effect, we constructed a mapping function, based on transistor size, in order to avoid slow transition time and minimize the number of transistors. The use of this method has proven effective for fine adjustment low power circuits, resulting in an average reduction of 6.35% in dynamic power and 8.26% in static power as compared with the cell library based methodology. As further work, an automated flow set is presented for the logical mapping able to generate specific networks of transistors for each design, making possible their use in traditional design tools.

A integração estruturada e consistente de diversas especificações (ou visões) de um sistema é hoje uma questão essencial na moderna abordagem para especificação e desenvolvimento de software. Neste contexto, precisamos de uma teoria que fale sobre formalismos de especificação e que ao mesmo tempo nos ofereça conceitos e construções para estabelecer-mos relações entre eles. Com este trabalho temos o objetivo de discutir noções rigorosas para idéia de lógica, técnicas fundamentais para relacioná-Ias e mostrar a utilização destes concei¬tos para abordar a questão da interoperabilidade formal, especialmente de provas. Como formalização para idéia de lógica utilizaremos as Instituições de Goguen & Burstall e a extensão de Meseguer para General Logics. Como técnica para rela¬cionar lógicas trabalharemos com os mapeamentos Plain e Simples de Meseguer. Atenção especial é dada à discussão das propriedades destes mapeamentos com vis¬ta à reutilização de componentes lógicos, especialmente da relação de consequência entre fórmulas. Contribuições desta dissertação incluem um tratamento acessível para os con¬ceitos fundamentais necessários para estudar lógicas e sua integração, uma expo¬sição uniforme e detalhada de uma família de sistemas lógicos e uma apresentação categórica desta integração via mapeamentos. / The integration in a sound and structured way of several specifications (or views) of a system is a key research area in (modern) software specification and development. In this context, we need a theory to speak not only about specification logics, but also one that can offer us concepts and constructions to establish relations between these formalisms. In this work we have the purpose of discussing rigorous notions for the idea of logic, presenting fundamental techniques to relate them, and introducing important constructions to approach the problem of formal interoperability, most notably of proofs. As a formalization of the informal idea of a logical system, we use Goguen & Burstall's concept of Institutions and Meseguer's further extension to General Logics. Meseguer's Plain and Simple Maps of Institutions are the tools we use to relate and map logics. Besides, special attention is given for the discussion of the essential properties of these maps concerning the borrowing of logical components, specially of consequence relations. Contributions of this thesis include a smooth presentation of fundamental techniques to study and relate logics, an uniform and detailed exposition of a num¬ber of logical systems, and a categorical formalization of relations between these formalisms by way of maps between institutions.

Esta tese de doutoramento trata da integração da teoria piagetiana com a Ciência da Computação, mais especificamente, a análise de ferramentas computacionais do ponto de vista da lógica operatória. Para isso, foi preciso investigar, em primeiro lugar, a teoria do sujeito individual, no que se refere a função simbólica e reinterpretar estes conceitos no objeto. Neste caso, o objeto e a ferramenta computacional de uso individual. Portanto, somente a partir deste estudo foi possível construir o modelo geral de interação de um sujeito qualquer com uma ferramenta computacional, para depois analisá-la operatoriamente. Em um segundo momento, introduziu-se a teoria do sujeito coletivo que, para caracterizá-lo, foi necessária a compreensão de alguns conceitos relevantes da teoria em questão envolvidos nas noções de interação interindividual e cooperação. A partir de então, foram construídos os modelos interativos mais simples de um sujeito coletivo com três tipos de ferramentas computacionais de uso cooperativo. Para isso, foram abordados alguns aspectos relativos a Computação Cooperativa ou CSCW - Computer Supported Cooperative Work. Da mesma forma que ocorre no nível individual, foram analisadas operatoriamente ferramentas computacionais de uso cooperativo. / This thesis integrates the piagetian theory with Computer Science, more specifically, the computational tools analysis, from an operatory-logical point of view. For that, it was necessary to investigate, in a first step, the individual subject theory, in relation to the symbolic function and to interpret this concept in the object. In that case, the "object" is a computational tool for individual use. After this study it was possible to construct the general interaction model of any subject with a computational tool and to analyse it in an operatory form. In a second step, we introduce the collective subject theory. For that it was necessary to comprehend some relevant concepts of the theory in question involved in the notions of interindividual interaction and cooperation. After that, it was constructed the simplest interactive model of a collective subject in interaction with three types of computational tools for cooperative use. For that, some concepts related to CSCW or Computer Supported Cooperative Work were reported. In the same way that occurred in the individual level, the computational tools for cooperative use were analysed in an operatory form.

Esta dissertação é fruto de uma pesquisa que tem por finalidade interrogar a relação entre a angústia, o tempo e a transferência, a partir dos aportes psicanalíticos. Para tal, parto de uma reflexão acerca da experiência clínica que tive em diferentes instituições públicas, onde as equipes frequentemente deparam-se com uma demanda caracterizada por extrema angústia. Demanda não sem efeitos nas equipes e instituições que, neste contexto, pareciam desafiadas a lançar um olhar crítico sob seu trabalho. Portanto, esta não é apenas uma pesquisa clínica, mas uma pesquisa que interroga a ética e a política do fazer clínico nos diferentes espaços de escuta e de acolhimento do sofrimento mental. Após tecer relações e cortes entre os conceitos de angústia, tempo e transferência, chegamos à construção de uma hipótese sobre posição do analista, na transferência e a composição de um tempo para compreender que possibilite a passagem do sujeito suspenso em urgência à emergência do sujeito do desejo. Trata-se de uma reflexão sobre o que se espera em uma experiência analítica e de que modo ela viabiliza o atravessamento do horror - para o qual a psicanálise não fecha os olhos - e o retorno à condição humana, sabendo que este retorno à vida implica subversivamente a inscrição de uma morte. / This thesis is the result of a research that aims to examine the relationship between anguish, time and transference from the standpoint of the psychoanalytic contributions. In such purpose it starts with interrogations arising from the author’s clinical experience in different public institutions, in which teams were often faced with a demand distinguished by extreme anguish. A demand not without effects on such teams and institutions, which, seemed challenged to cast a critical eye on their work. Therefore, this research not only is a clinical one, but also interrogates the ethics and politics of clinical practice in different mental health care settings. After weaving links and ruptures between the concepts of anguish, time and transference we come to the construction of a hypothesis about the position of the analyst in the transference and the composition of a time to comprehend that allows the passage of the subject suspended in urgency to the emergence of the subject of desire. This is a meditation on the expectations from an analytic experience and the way it enables the crossing of horror — for which psychoanalysis does not close its eyes — and the return to the human condition, knowing that such return to life subversively implies the inscription of a death.

Orientador: Walter Alexandre Carnielli / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-14T17:27:49Z (GMT). No. of bitstreams: 1 Agudelo_JuanCarlosAgudelo_D.pdf: 1223911 bytes, checksum: 92e4a3e06e1921aefd3476374d0726f2 (MD5) Previous issue date: 2009 / Resumo: Neste trabalho levantamos, e investigamos do ponto de vista conceitual, evidências de que a complexidade algorítmica pode ser vista como relativa à lógica. Propomos, para tanto, novos modelos de computação fundados sobre lógicas não-clássicas, estudando suas características quanto à expressabilidade computacional e eficiência. A partir desta visão, sugerimos um novo caminho para estudar a eficiência dos modelos de computação quântica, enfatizando a análise de uma lógica subjacente a tais modelos. O conteúdo da tese está estruturado da seguinte maneira: no primeiro capítulo apresentamos uma análise conceitual da noção de 'computação', indicando como este conceito tem mudado desde os trabalhos fundacionais da década de 1930, e discutindo se o conceito deve ser considerado como puramente físico, puramente lógicomatemático ou uma combinação de ambos. O Capítulo 2 introduz duas versões de 'máquinas de Turing paraconsistentes', usando sistemas lógicos diferentes e obtendo modelos com diferentes poderes computacionais (quanto à eficiência); tal resultado constitui uma primeira evidência a favor da relatividade lógica da computação que queremos defender. Outra evidência na mesma direção é apresentada no Capitulo 3, através da generalização dos circuitos booleanos para lógicas não-clássicas, em particular para a lógica paraconsistente mbC e para a lógica modal S5, e da análise do poder computacional de tais generalizações. O Capítulo 4 consiste numa introdução à computação quântica, para logo (no Capítulo 5) estabelecer algumas relações entre modelos de computação quântica e modelos de computação paraconsistente, de maneira a propor uma interpretação lógica dos modelos quânticos. No capítulo final (Capítulo 6) descrevemos várias relações entre mecânica quântica e lógica paraix consistente, relações estas que sugerem potencialidades com alto grau de relevância a respeito da abordagem paraconsistente dos fenômenos computacionais quânticos e que incitam a continuar explorando esta alternativa. / Abstract: This work provides evidences to view computational complexity as logic-relative, by introducing new models of computation through non-classical logics and by studying their features with respect to computational expressivity and efficiency. From this point of view, we suggest a new way to study the efficiency of quantum computational models consisting in the analysis of an underlying logic. The contents of the thesis is structured in the following way: the first chapter presents a conceptual analysis of the notion of 'computation', showing how this concept evolved since the decade of 1930 and discussing whether it can be considered a pure physical or a pure logic-mathematical concept, or a combination of both paradigms. Chapter 2 introduces two versions of 'paraconsistent Turing machines', by considering different logic systems and obtaining models with different computational capabilities (with respect to efficiency); such a result constitute a first evidence in favor of the logical relativity of computation that we are defending here. Another evidence in the same direction is presented in Chapter 3 through a generalization of boolean circuits to non-classical logics, particularly for the paraconsistent logic mbC and for the modal logic S5, and by analyzing the computational power of such generalizations. Chapter 4 consists in an introduction to quantum computation. This is used in Chapter 5 to establish some relationships between quantum and paraconsistent models of computation, in order to propose a logic interpretation of quantum models. The final chapter (Chapter 6) describes several connections between quantum mechanics and paraconsistent logic; such relationship suggests highly relevant potentialities in favor of the paraconsistent approach to quantum computation phenomena encouraging to continue exploring this alternative. / Doutorado / Logica / Doutor em Filosofia

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-04-11T14:06:58Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_Nilton M. Silva.pdf: 2876212 bytes, checksum: f9ec311d7e39d91817f915d9a4f92caf (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-04-11T14:07:09Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_Nilton M. Silva.pdf: 2876212 bytes, checksum: f9ec311d7e39d91817f915d9a4f92caf (MD5) / Made available in DSpace on 2018-04-11T14:07:09Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_Nilton M. Silva.pdf: 2876212 bytes, checksum: f9ec311d7e39d91817f915d9a4f92caf (MD5) Previous issue date: 2018-02-15 / D'Ambrósio (1996, p.29) points out “that Mathematic programs are often outdated, obsolete and out of context. Due to this more and more students find it difficult to be motivated about this crystallized science.” In the present work, we seek to present proposals for challenging activities, where students are encouraged to think in an autonomous way. To create, to experiment, to establish strategies and to reach solutions. Different from the classroom, where one usually presents ready and finished work, making it only a copy of the method or the technique. / D’Ambrósio (1996, p.29) aponta que “os programas de Matemática consistem em coisas acabadas, mortas e absolutamente fora do contexto e com isso, torna-se casa vez mais difícil motivar alunos para uma ciência tão cristalizada.” No presente trabalho, buscamos apresentar propostas de atividades desafiadoras, em que os alunos são encorajados a pensar de maneira autônoma, a criar, a experimentar, a estabelecer as estratégias para chegar às soluções. Diferente da sala de aula onde, normalmente, se apresenta conhecimentos prontos e acabados, tornando-o apenas reprodutor de métodos e técnicas.

Ao realizar testes de hipóteses simultâneos espera-se que a decisões obtidas neles sejam logicamente consistentes entre si. Neste trabalho, verifica-se sob quais condições testes de Bayes simultâneos atendem às condições lógicas isoladamente ou em conjunto. Demonstra-se que as restrições para que os testes simultâneos atendam essas condições isoladamente são bastante intuitivas. No entanto, ao tentar obedecer as condições conjuntamente, perde-se otimalidade. Além disso, avalia-se a relação entre esses testes de Bayes simultâneos e os testes gerados por estimadores, isto é, mostra-se que, sob algumas condições, tomar uma decisão baseado em um estimador de Bayes é equivalente a tomar uma decisão baseada em um teste de Bayes. Por fim, mostra-se que, se tomamos uma decisão baseada em Estimadores de Máxima Verossimilhança, então essa decisão deve ser igual à tomada por um teste de Bayes e concluímos que essas decisões são admissíveis e obedecem ao Princípio da Verossimilhança. / When performing simultaneous hypotheses testing is expected that the decisions obtained therein are logically consistent with each other. In this work, we find restrictions under which simultaneous Bayes tests meet logical conditions separately or jointly. It is shown that the conditions for the simultaneous tests meet these conditions alone are quite intuitive. However, when trying to obey the conditions jointly, we lose optimality. Furthermore, we evaluate the relationship between these tests and simultaneous Bayes tests generated by estimators, ie, we show that, under some conditions, to choose an estimator based on Bayes decision is equivalent to choosing a decision based on a Bayes test. Finally, we show that if we take a decision based on Maximum Likelihood Estimators, then that decision should be equal to taking a Bayes test and concluded that these decisions are admissible and obey the Likelihood Principle.

Introduction: The argument presented in this thesis is that Wittgenstein's answer to the question - as to how one. proposition can be generated out of another - can show a way in which the reconciliation between logical atomism and Zusammenhangen becomes obvious. In the Preliminaries an exposition of logical atomism and the Zusammenhangen thesis is given. The way in which the problem appears is then briefly exposed. The way towards a solution begins with the elucidation of Wittgenstein's picture theory of meaning and the truthfunctional analysis of a proposition. The problem is clarified in the question which now arises: i.e., given the truth-functional analysis of a proposition,. how can one proposition be generated out of another? The problem is then shown to vanish in the logical construction of a proposition and of propositions. / KMBT_363 / Adobe Acrobat 9.53 Paper Capture Plug-in

The thesis presents the application of cybernetic thinking to the central problem of investment analysis; that of share-price prediction. Cybernetics is seen as an inter-disciplinary study (as opposed to multi-disciplinary) in which the barriers between living and non-living systems are ignored. Suggestions from two independant studies in investment analysis are taken tip and a theory of investment is proposed with a view to utilising the suggestions. The theory is formalised using the simple linear perceptron and methods based on logical calculi are used to analyse the perceptron formulation. The theory is then tested by allowing the perceptron to make predictions and the results of these predictions are discussed in the light of the theoretical analysis. Finally suggestions are made for alternative approaches to investment analysis which could lead to better results.