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.

Made available in DSpace on 2014-06-11T19:24:05Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-08-31Bitstream added on 2014-06-13T20:11:53Z : No. of bitstreams: 1 alves_kc_me_bauru.pdf: 5306182 bytes, checksum: 5c2b0012332a04b64dc5352863c7fb42 (MD5) / O contexto tecnológico e convergente proposto pela integração de diferentes plataformas e dispositivos digitais provoca uma reconfiguração dos discursos e estimula a geração de novos modelos comunicacionais. Estes modelos são operacionalizados a partir de lógicas colaborativas e participativas que surgem com a inserção de novas ferramentas caracterizadoras de diálogos e interações entre a audiência e os produtores de conteúdos. Neste cenário há um intercâmbio entre os papéis desempenhados pela audiência e produtos, desconstruindo um antigo esquema comunicacional em que os define como receptor e emissor. A reconfiguração de diálogos e papéis da comunicação televisiva é possibilidade no contexto de implementação da TV digital interativa no Brasil. As novas possibilidades discursivas no campo jornalístico ganharam uma dimensão a partir da Internet com o desenvolvimento da Web 2.0, que permitiu a realização de projetos colaborativos. Na Web 2.0 o jornalismo foi estruturado através dos aspectos de personalização, cooperação e colaboração que são modelados pelas bases comunitárias de produção. Esta prática comunitária permitiu diferentes vertentes da prática jornalística, que foram denominadas de jornalismo open source, user-generated content e prosumersm, citizen journalism e participatory journalism. Nestes modelos de jornalismo a audiência é a principal produtora e consumidora da notícia. As próprias pessoas refletem, elaboraram e divulgam informações que vivenciaram cotidianamente. Entretanto, a apropriação e manutenção da produção jornalística colaborativa recebem uma força essencial com estruturação desta prática a partir de redes sociais. A formação destas redes possibilita a organização comunitária de grupos que compartilham os mesmos interesses e anseios. Dentro deste contexto, a presente pesquisa propõe a modelagem de... / The technological context and convergent proposed by integrating different platforms and digital devices causes a reconfiguration of the discourses and stimulates the generation of new models of communication. These models are operationalized from collaborative and participatory logic that arise with the introduction of new tools for characterizing dialogue and interaction between audience and content producers. In this scenario there is an interchange between the roles played by the audience and producers, desconstructing and old communication scheme that defines them as receiver abd sender. The reconfiguration of dialogues and roles of television communication is possible in the context of implementation of interactive digital TV in Brazil. The new discursive possibilities in the journalistic field have gained a dimension from the Internet with the development of Web 2.0, which allowed the realization of collaborative projects. Web 2.0 journaslism has been structured through the aspects of personalization, cooperation and collaboration that are shaped by community-based production. This community practice allowed different aspects of journalistic practice, which were called open source journalism, user-generated content and prosumersm, citizen journalism and participatory journalism. In these models of journalism, audience is a major producer and consumer of news. The people themselves reflect and disseminate information producing a daily experience. However, ownership and maintenance of collaborative news production receives an essential force in the structuring of this practice from social networks. The formation of these networks allows the community organizing groups to share the same interests and desires. Within this context, this research proposes the modeling of a collaborative process of news production for interactive digital TV from Web 2.0

Orientador: Marcus Vinicius da Cunha / Banca: Divino José da Silva / Banca: Luiz Henrique de Araújo Dutra / Banca: Marcelo Tadeu Motokame / Banca: Vera Teresa Valdemarin / Resumo: Este trabalho apresenta os resultados de uma pesquisa sobre o livro Logic: the theory of inquiry de John Dewey, publicado originalmente em 1938. O objetivo é compreender os argumentos de Dewey acerca da lógica, caracterizada como teoria da investigação, e situá-los no conjunto do pensamento deweyano, de maneira a explicitar sua ligação com temáticas educacionais e políticas, focalizando especialmente a noção de democracia. Para isso, são analisadas também as obras Como pensamos e Democracia e educação, do mesmo autor. O método empregado para exame do Logic conta com duas chaves interpretativas: a primeira advém da teoria da argumentação desenvolvida por Chaïm Perelman e Lucie Olbrechts-Tyteca no livro Tratado da argumentação: a nova retórica, e a segunda, do modelo jurisprudencial de exposição e análise de silogismos elaborado por Stephen Toulmin em Os usos do argumento. / Abstract: This work presents the results of a research on the book Logic: the theory of inquiry by John Dewey, originally published in 1938. The objective is to understand the arguments about the logic proposed by Dewey, characterized as a theory of inquiry, and to situate them throughout the Dewey's thought, so as to clarify its connection with educational and political issues, focusing especially the deweyan notion of democracy. To do so, the work also analyses Democracy and education and How we think by Dewey. The method used to examine Logic has two theoretical sources: first, the theory of arguments developed by Chaim Perelman and Lucie Olbrechts-Tyteca in the book Treatise of argumentation: the new rhetoric; second, the model of juridical exposition and analysis of syllogisms developed by Stephen Toulmin in The uses of argument. / Doutor

A indústria de microeletrônica tem recorrido cada vez mais à metodologia de projeto baseado em células para fazer frente à crescente complexidade dos projetos de circuitos integrados digitais, uma vez que circuitos baseados em células são projetados mais rápida e economicamente que circuitos full-custom. Entretanto, apesar do progresso ocorrido na área de Electronic Design Automation, circuitos digitais baseados em células apresentam desempenho inferior ao de circuitos full-custom. Assim, torna-se interessante encontrar maneiras de se fazer com que circuitos baseados em células tenham desempenho próximo ao de circuitos full-custom, sem que isso implique elevação significativa nos custos do projeto. Com tal objetivo em vista, esta tese apresenta contribuições para um fluxo automático de otimização local para circuitos digitais baseados em células. Por otimização local se entende a otimização do circuito em pequenas janelas de contexto, onde são feitas otimizações considerando o contexto global. Deste modo, a otimização local pode incluir a detecção e isolamento de regiões críticas do circuito e a geração de redes lógicas e de redes de transistores de diferentes topologias que são dimensionadas de acordo com as restrições de projeto em questão. Como as otimizações locais atuam em um contexto reduzido, várias soluções podem ser obtidas considerando as restrições locais, entre as quais se escolhe a mais adequada para substituir o subcircuito (região crítica) original. A contribuição específica desta tese é o desenvolvimento de um método de dimensionamento de subcircuitos capaz de obter soluções com área ativa mínima, respeitando a capacitância máxima de entrada, a carga a ser acionada, e a restrição de atraso imposta. O método é baseado em uma formulação de logical effort, e a principal contribuição é calcular analiticamente a derivada da área para obter área mínima, ao invés de fazer a derivada do atraso para obter o atraso mínimo, como é feito na formulação tradicional do logical effort. Simulações elétricas mostram que o modelo proposto é muito preciso para uma abordagem de primeira ordem, uma vez que apresenta erros médios de 1,48% para dissipação de potência, 2,28% para atraso de propagação e 6,5% para os tamanhos dos transistores. / Microelectronics industry has been relying more and more upon cell-based design methodology to face the growing complexity in the design of digital integrated circuits, since cell-based integrated circuits are designed in a faster and cheaper way than fullcustom circuits. Nevertheless, in spite of the advancements in the field of Electronic Design Automation, cell-based digital integrated circuits show inferior performance when compared with full-custom circuits. Therefore, it is desirable to find ways to bring the performance of cell-based circuits closer to that of full-custom circuits without compromising the design costs of the former circuits. Bearing this goal in mind, this thesis presents contributions towards an automatic flow of local optimization for cellbased digital circuits. By local optimization, it is meant circuit optimization within small context windows, in which optimizations are done taking into account the global context. This way, local optimization may include the detection and isolation of critical regions of the circuit and the generation of logic and transistor networks; these networks are sized according to the existing design constraints. Since local optimizations act in a reduced context, several solutions may be obtained considering local constraints, out of which the fittest solution is chosen to replace the original subcircuit (critical region). The specific contribution of this thesis is the development of a subcircuit sizing method capable of obtaining minimum active area solutions, taking into account the maximum input capacitance, the output load to be driven, and the imposed delay constraint. The method is based on the logical effort formulation, and the main contribution is to compute the area derivative to obtain minimum area, instead of making the delay derivative to obtain minimum delay, as it is done in the traditional logical effort formulation. Electrical simulations show that the proposed method is very precise for a first order approach, as it presents average errors of 1.48% in power dissipation, 2.28% in propagation delay, and 6.5% in transistor sizes.

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.

This paper purports to analyze the verificationist theory of meaning proposed by logical positivism. According to this theory, only sentences verifiably by means of empirical observation have meanings. Our purpose is to show the reasons why the verificationist theory collapses. In order to do so, we will examine both the internal and external critiques to it. Among the internal critiques, we will show the logical positivists’ failed attempts to formulate an adequate weak verification criterion. Among the external critiques, we will focus on the ones formulated by J.L. Austin on the basis of his theory of performative utterances. / El presente trabajo busca analizar la teoría verificacionista del significado propuesta por el positivismo lógico. De acuerdo a esta teoría, solo los enunciados verificables por medio de la observación empírica tienen significado. Nuestro propósito es mostrar las razones por las cuales la teoría verificacionista del significado colapsa. Para ello, examinaremos tanto las críticas internas como externas. En las críticas internas mostraremos los intentos fallidos de los positivistas lógicos en formular un criterio de verificación débil adecuado.  En las críticas externas nos centraremos en las formuladas por J.L. Austin a partir de su teoría de los enunciados realizativos.

Etchemendy’s Critique to Formalism”. John Etchemendy claims that,given the failure of the Tarskian intuitive notion of logical consequence, there isno reason to consider formality as a necessary condition for this relationship.This paper critiques this argument. First, it seeks to show that Etchemendy’scritique to Tarskian analysis assumes two requisites of elucidatory success thatcannot be held together reasonably. Secondly, it shows that, once the previousassumption is rejected, two arguments in favour of the extensional adequacyof the former argument actually support formalism. Finally, this paper reviewssome well known pragmatic considerations in favour of formalism. / John Etchemendy argumenta que, dado el fracaso del análisis tarskianode la noción intuitiva de consecuencia lógica, no hay razones para considerara la formalidad una condición necesaria para dicha relación. En el presentetrabajo critico este argumento. Primeramente, busco mostrar que la crítica deEtchemendy al análisis tarskiano asume dos requisitos de éxito elucidatorio queno es razonable adoptar conjuntamente. En segundo lugar muestro que, rechazadala anterior asunción, dos argumentos a favor de la adecuación extensionalde dicho análisis confieren apoyo al formalismo. Finalmente, menciono algunasconocidas consideraciones de índole pragmática en favor del formalismo.

Yhis article addresses the issue about the differences between the old regulatory bodies and the current Civil Codes. t he author analyzes from the Medieval Period until the present to evidence the change and evolution that made the thinkers to apply the geometric method to Law and how to configure the rules in the Civil Law. Furthermore, it recognizes and analyzes the contributions of e uropean writers and thinkers that promoted the Scientific Revolution of the 17th century, especially the work of the lawyer Gottfried Wilhelm Leibniz. / El presente artículo aborda la temática sobre las diferencias entre los cuerpos normativos antiguos y los Códigos Civiles actuales. El autor realiza un análisis desde la época Medieval hasta la actualidad para evidenciar el cambio y la evolución que hicieron los pensadores para aplicar el método geométrico al Derecho y la forma de configurar de las normas en el Civil Law. Asimismo, se reconoce y analiza los aportes de los escritores y pensadores europeos, que impulsaron la Revolución Científica del siglo XVII, en especial la obra del abogado Gottfried Wilhelm Leibniz.

abstract: Many researchers have pointed out that sentence complexity plays an important role in language maturity. Using cohesive devices is a critical method to composing complicated sentences. Several grammatical researchers give cohesive devices different definitions and categories in the perspective of pure linguistics, yet little is known about the Chinese learners' acquisition situations of cohesive devices in the field of Teaching Chinese as a Foreign Language (TCFL). Combined with these definitions and pedagogical theories, the acquisition situations of four grammatical features of cohesive devices and eleven logical relations are discussed in this thesis. This thesis expects that through discovering different features of cohesive devices among different student levels, educators of Chinese will gain a more comprehensive understanding of the acquisition orders and features of conjunctive devices. In this study, I examine the teaching orders of cohesive devices in selected textbooks from first-year Chinese through fourth-year Chinese. Three groups of students were required to complete two essays based on the same topics and prompts. Twenty-eight valid writing samples are examined in total, including ten writing samples from fourth-year students, another ten from third-year students, and eight from second-year students. The results show that there are no obvious differences among the three levels of students in their use of certain grammatical features and logical relations of cohesive devices. Students in these three levels have difficulty understanding how to connect paragraphs together fluently and accurately in their compositions. Pedagogical implications include some suggestions about designing instructional writing assignments in order to give more clearly pedagogical instructions for teaching cohesive devices. In addition, comprehensible directions that explain which logical relations should be taught every academic year are proposed. / Dissertation/Thesis / M.A. East Asian Languages and Civilizations 2013

Em The Logical Syntax of Language (1937) R. Carnap elabora o seu Princípio de Tolerância Lógica. Trata-se de um princípio lógico-filosófico de grande alcance, que condensa as posições mais consistentes do autor acerca do significado filosófico da pesquisa em lógica formal. A despeito do fracasso do projeto geral de uma filosofia sintática, esse princípio permaneceu como base de todo o pensamento posterior de Carnap. Mais do que isso, influenciou boa parte do melhor trabalho realizado em lógica até hoje, tendo deixado marcas duradouras sobre a filosofia analítica. Neste trabalho, buscamos examinar a origem do Princípio de Tolerância no pensamento de Carnap, como melhor caminho para estabelecer seu significado e implicações. / In The Logical Syntax of Language (1937) R. Carnap develops his Principle of Tolerance in Logic. This is a far-reaching principle for the whole philosophy of logic, and which sums up Carnaps most consistent tenets concerning the philosophical meaning of research in formal logic. Despite the failure of the general project of a syntactical philosophy, the Principle of Tolerance remained the basis for the whole of Carnaps subsequent thought. Moreover, it proved influential in a good deal of the most important work done in logic to this day; it also left permanent traces in analytic philosophy. In this work, we aim at examining the origins of the Tolerance Principle in Carnaps thought, as the best way to establish its significance and implications.