Investigações das evidências de validade dos testes devem ser contínuas, a fim de aprimorar aspectos teóricos e empíricos, abrangendo o significado dos escores do teste, as consequências e sua utilidade. A presente tese investigou evidências de validade Benton Visual Retention Test ou Teste de Retenção Visual de Benton (BVRT) para a avaliação da memória visual e habilidades visuoconstrutivas na amostra total de normatização do teste no Brasil. Mais especificamente, investigaram-se a Administração A (Memória) e Administração C (Cópia) do BVRT. O primeiro estudo aborda aspectos históricos e conceituais da avaliação neuropsicológica na interface com a Psicometria, as principais funções neuropsicológicas avaliadas pelo BVRT e suas bases neurais. Os três capítulos empíricos investigam fontes de evidência de validade do teste utilizando diferentes técnicas de análise de dados. No Capítulo II, por meio da Modelagem de Rasch, observou-se a necessidade de incluir itens nos dois extremos da escala logit para a Administração C (Cópia). A análise também forneceu uma proposta de avaliação considerando a dificuldade específica de cada item. O Capítulo III investigou a influência de outras variáveis no BVRT tendo se encontrado padrões em forma de U-invertido em função da idade, da infância até a terceira idade, principalmente na memória visual, avaliada pelo BVRT. Ainda, a Modelagem de Equações Estruturais permitiu identificar um efeito fixo da variável Quociente Intelectual (QI) na Administração A (Memória) do BVRT em diferentes grupos etários, sendo que nos grupos dos adultos e idosos observou-se uma relação positiva e significativa entre os anos de estudo e o desempenho no BVRT. No Capítulo IV, realizou-se a comparação de um grupo clínico de pacientes pós-Acidente Vascular Cerebral unilateral e um grupo controle, emparelhado por idade e anos de estudo, e encontrou-se um pior desempenho do grupo clínico no teste, principalmente na Administração C (Cópia). Em complemento, o método de série de casos, evidenciou dissociações fortes e clássicas entre as duas administrações do BVRT. As evidências de validade do BVRT investigadas na presente tese reforçam a necessidade de aprimoramento das características dos itens do teste e ressaltam a importância de se considerar variáveis sociodemográficas, como a idade e anos de estudo, e variáveis cognitivas como o QI na determinação do desempenho do BVRT. A tese contribui para as investigações de diferentes fontes de evidências de validade para o BVRT em amostras brasileiras. A utilidade do BVRT na avaliação clínica de pacientes pós-AVC foi evidenciada, uma vez que o teste permitiu a investigação de déficits de memória visual e habilidades visuoconstrutivas separadamente, o que pode implicar no melhor planejamento dos programas de reabilitação de pacientes. / Tests evidence validity investigations should be continuous to improve theoretical and empirical issues, including scores meaning, consequences and utility. This doctoral dissertation investigated Benton Visual Retention Test (BVRT) evidence validity in evaluating visual memory and visuo-constructive abilities in Brazilian total norming sample of the test. Specifically, were investigated de Adminstration A (Memory) and Administration C (Copy) from BVRT. Chapter I consisted of a review about historical and conceptual aspects in neuropsychology evaluation in relation to psychometrics, the main neuropsychological functions evaluated by BVRT and its neural basis. Three empirical studies were performed in relation to sources of validity evidence using diferent data analysis tecniques. In Chapter II we used Rasch analisys and observed the need of itens in both extremes of logit scale for the Administration C (Copy). In addition, a new strategie of interpretation considering the itens difficulty was presented. Chapter III investigated variables influences on the BVRT scores and showed an inverted-U shaped trend considering the age, in childhood to old age, mainly in visual memory evaluated with BVRT. Still, using Structural Equation Modelling in different age groups we identified a fix effect for IQ in Administration A (Memory) of BVRT and a positive and significative relation between years of shooling and the BVRT performance in adults and old age groups. Last, in Chapter IV, we did a comparative study between a clinical group of unilateral stroke patients and a control group paired by age and years of schooling, and we found a worst performance in the clinical group, mainly at Administration C (Copy). Also, the case series method showed strong and classic dissociations between both BVRT administrations. This doctoral dissertation investigated different sources of evidence validity in Brazilian samples. The results highlighted the utility of the test in clinical evaluation of stroke patients considering that BVRT allowed the evaluation of visual memory and visuoconsttructive abilities separately, what can imply a better planning of patient’s rehabilitation programs.

Esta pesquisa visa apresentar a articulação entre arte e política na trajetória de Mário Pedrosa durante as décadas de 1930 a 1950. Se, na conferência de 1933, sobre a gravurista alemã Käthe Kollwitz, Pedrosa esboçou os princípios de uma estética marxista, que tentou vincular a natureza, a origem e o desenvolvimento da arte com o estágio técnico alcançado pela sociedade e com a luta de classes, de 1942 em diante, a ênfase se deu na especificidade e nas leis próprias do campo artístico. Embora Pedrosa tivesse sempre em mente o processo final de síntese entre arte e revolução social, processou-se uma mudança em seu posicionamento. Este derivou não do afastamento premeditado da política para a dedicação exclusiva à atividade de crítica de arte, mas de um ajuste necessário de Pedrosa para articular de outro modo arte e política, a fim de que os augúrios do campo artístico se concretizassem. / The object of this research is to show the connection between art and politics in Mário Pedrosa´s pathway during the decades of 1930 to 1950. If in his lecture on the German engraver Käthe Kollwitz in 1933 Pedrosa had outlined the principles of a Marxist aesthetics, which tried to link up the nature, origin and development of art with the technical stage reached by society and the class struggle, from 1942 onwards, he put emphasis on the specificity and the proper laws of the artistic field. Although Pedrosa had always in mind the final process of syntesis between art and social revolution, there has been a shift in his position. This derived not from his deliberate withdrawal from politics in order to devote himself exclusively to his role as an art critic, but from a necessary adjustment to connect art with politics in another way, so that the prospects for the artistic field might be achieved.

Este trabalho investiga Aprendizado Indutivo de Máquina como função das linguagens de descrição, utilizadas para expressar instancias, conceitos e teoria do domínio. A ampliação do poder de representação do aprendizado proporcional e abordada no contexto de indução construtiva, no domínio de funções booleanas, com a proposta de uma estratégia de composição de atributos denominada root-fringe. Avaliações experimentais dessa e de outras estratégias de construção de novos atributos foram conduzidas e os resultados analisados. Dois métodos de poda, para tratamento de ruídos, em aprendizado de arvores de decisão, foram avaliados num ambiente de indução construtiva e os resultados discutidos. Devido a limitação do aprendizado proposicional, foram investigadas formas de ampliação dos limites do aprendizado, através da ampliação do poder representacional das linguagens de descrição. Foi escolhida Programação Lógica Indutiva - PLI - que e um paradigma de aprendizado indutivo que usa restrições de Lógica de Primeira Ordem como linguagens de descrição. O aprendizado em PLI só é factível quando as linguagens utilizadas estão restritas e é fortemente controlado, caso contrário, o aprendizado em PLI se torna indecidível. A pesquisa em PLI se direcionou a formas de restrição das linguagens de descrição da teoria do domínio e de hipóteses. Três algoritmos que \"traduzem\" a teoria do domínio de sua forma intencional, para extensional, são apresentados. As implementações de dois deles são discutidas. As implementações realizadas deram origem a dois ambientes experimentais de aprendizado: o ambiente proposicional experimental, do qual fazem parte o ambiente experimental construtivo, e o ambiente experimental relacional. / This work investigates Inductive Machine Learning as a function of the description languages employed to express instances, concepts and domain theory. The enlargement of the representational power of propositional learning methods is approached via constructive induction, in the domain of boolean functions, through the proposal of a bias for composing attributes, namely, the bias root-fringe. Experimental evaluation of root-fringe, as well as other biases for constructing new attributes was conducted and the results analyzed. Two pruning methods for decision trees were evaluated in an environment of constructive induction and the results discussed. Due to the limitations of propositional learning, ways of enlarging the limits of the learning process were investigated through enlarging the representational power of the description languages. It was chosen Inductive Logic Programming - ILP - that is an inductive learning paradigm that uses restrictions of First Order Logic as description languages. Learning using ILP is only feasible when the languages are restricted and are strongly controlled; otherwise, learning in ILP becomes undecidible. Research work in ILP was directed towards restricting domain theory and hypotheses description languages. Three algorithms that \"translate\" the intentional expression of a domain theory into its extensional expression are presented. The implementations of two of them are discussed. The implementations gave rise to two experimental learning environments: the propositional environment, which includes the constructive environment, and the relational environment.

Este trabalho propõe uma heurística construtiva determinística e uma heurística construtiva probabilística para resolver o problema de programação de projetos com custo de disponibilidade de recursos e custo de penalidade por atraso no término do projeto (RACPT - Resource Availability Cost Problem with Tardiness). Os algoritmos combinam a flexibilidade da atividade com a flexibilidade do recurso para selecionar a próxima atividade a ser programada. A data de início de uma atividade é a data mais cedo em que sua execução não gera o maior pico de utilização dos recursos ou a data mais cedo na qual o custo total do projeto for menor. A melhor versão das heurísticas foi obtida após o teste de várias regras de prioridade, conforme a revisão bibliográfica realizada. As heurísticas propostas foram testadas em 360 instâncias de testes e seus resultados foram comparados aos obtidos pela formulação matemática baseada em strip packing e restrições disjuntivas implementada no programa CPLEX. A heurística construtiva determinística gera uma solução viável rapidamente, porém de baixa qualidade. Já a heurística construtiva probabilística gera soluções ótimas ou próximas da ótima para problemas pequenos ou para problemas fáceis e gera soluções muito melhores do que o CPLEX na metade do tempo computacional para os problemas médios e grandes ou para problemas difíceis. Dado os bons resultados obtidos e à implementação no programa VBA for Microsoft Excel, a heurística construtiva probabilística proposta é um método bom e prático para resolução do RACPT. / This work proposes a deterministic constructive heuristic and a probabilistic constructive heuristic for solving the resource availability cost problem with tardiness (RACPT). The algorithms combine the flexibility of an activity with the flexibility of a resource to select the next activity to be scheduled. The start time of the activity is the earliest date in which the activity\'s execution does not create resources usage peak or the earliest date with the lowest total project cost. We tested several priority rules according to the literature review and determined the best version of the heuristics. Afterwards, we tested the proposed heuristics in 360 instances and compared its results with the solutions obtained by the optimization software CPLEX. The RACPT implementation on CPLEX utilized a mathematical formulation based on strip packing concepts and disjunctive constraints. The computational results showed that the deterministic constructive heuristic generates feasible solutions of poor quality in low computational time. The probabilistic constructive heuristic achieved better results. For small instances or easy problems, it found optimal or near-optimal solutions. For medium and large instances or hard problems, it obtained better results than CPLEX in half-computational time. We believe that the probabilistic constructive heuristic is a good and practical method for solving the RACPT. The proposed algorithm produced good results in reasonable computational time and was implemented on the popular software VBA for Microsoft Excel.

O ambiente produtivo denominado job shop representa empresas manufatureiras com características como: alta variedade de produtos, volume baixo de produção e uma fábrica dividida em áreas funcionais. O problema abordado neste trabalho trata da determinação do programa de produção (scheduling) de cada lote de produtos no ambiente job shop, com a premissa de que cada produto a ser elaborado surge através de um pedido realizado pelo cliente com especificações e particularidades próprias. O objetivo do trabalho é apresentar e examinar de forma detalhada as formulações matemáticas do tipo linear inteira mista (PLIM), encontradas na literatura para o ambiente que consideram a função objetivo do makespan. Além disso, se estabelece uma nova formulação matemática que auxilia a simulação do ambiente. Todas as formulações foram comparadas através de suas dimensões e testes computacionais. Adicionalmente são apresentadas três diferentes estratégias de resolução que permitem a exploração de soluções obtidas através de diferentes metodologias. A primeira estratégia estabelece para cada instância uma solução inicial que promove uma redução do número de combinações a serem avaliadas pelo software, a segunda estratégia combina duas formulações tornando uma formulação unificada, e a terceira estratégia, estabelece um processo que utiliza duas formulações de forma consecutiva compondo um procedimento sistemático. Experimentos computacionais indicam que a formulação com melhor desempenho para o problema de job shop é a formulação de Manne (1960) por obter o melhor limitante superior (upper bound). A formulação proposta apresenta o melhor limitante inferior (lower bound). Todas as formulações melhoram seus resultados através do uso das estratégias propostas. / The operational job shop environment, represents manufacturing companies with high product variety, low volume production and an organization divided into functional areas. The problem addressed in this work determines the production schedule of each batch production, with the premise that each product results from a request made by the client with specifications and its own particularities. The main objective here is to present and to examine in detail the mathematical integer - linear program formulations (MILP) from the literature for the job shop classic environment, which considers the makespan objective. Furthermore, a new mathematical formulation is provided to help with the simulation of the environment. All the formulations were compared by mathematical dimensions and computational tests. In addition, three different strategies are presented to promote the exploration of solutions obtained from new methodologies. The first strategy defines an initial solution for each problem and promotes a reduction of the combination number to be evaluated by the software. The second strategy considers the combination of two mathematical formulations under one objective function. The third strategy establishes a procedure in which two mathematical formulations are used consecutively, creating a systematic procedure. Computational experiments demonstrate that the best formulation for the job shop problem is the Manne (1960) formulation, since it obtains the best upper bound. The proposal formulation obtains the best lower bound. All of the formulations improve their results through the use of the proposed strategies.

A inovação tecnológica na construção civil no Brasil e em outros países ainda é bastante tímida, de modo que o setor é frequentemente apontado como tecnologicamente atrasado. O desenvolvimento insuficiente de novas tecnologias e sua pouca utilização, aliados ao desperdício de materiais, à informalidade e à qualidade de vida dos trabalhadores, tornam o custo da construção excessivamente alto. Apesar de ter havido nos últimos anos uma série de avanços na indústria de blocos de concreto, o que permitiu um grande desenvolvimento na qualidade deste produto, sua utilização ainda está restrita quase que exclusivamente a um procedimento artesanal, cuja qualidade final depende da qualidade da mão-de-obra. Neste contexto, a utilização de materiais de construção que permitam montagens rápidas e com qualidade se tornam necessárias. O presente trabalho apresenta componentes para alvenarias, de alto padrão, desenvolvidos no Laboratório de Materiais Avançados à Base de Cimento da Escola de Engenharia de São Carlos. Estes componentes são encaixáveis, com dimensões padronizadas, que permitem o assentamento sem necessidade de argamassa, facilitando sua utilização na construção. Os blocos possuem aberturas para colocação de armaduras e tubulações de telefonia, hidráulica, elétrica, gás, etc., de forma que possam atender às diversas exigências dos usuários. Para tanto, foi desenvolvido um componente para construção em concreto especial colorido, cuja baixa porosidade e permeabilidade e resistência permitem um perfeito acabamento, dispensando chapiscos, rebocos, emboços e pintura, eliminando assim diversas etapas construtivas. Os resultados alcançados apontam a viabilidade da utilização desse componente estrutural para um tipo diferenciado de construção. / The technological innovation for housing construction in Brazil is still quite tiny, so that, this economic sector is frequently noticed as technologically late. The insufficient development of new technologies and its little employ, allies to the waste of materials, informality and labor quality life, turns construction costs extremely high. Although the progresses in the concrete blocks industry in the last years, what allowed a great development on product quality, its use is still restricted almost exclusively to a craft procedure, which final quality depends on the labor quality. In this perspective, the use of materials that allows fast and quality constructions become necessary. This research presents high end masonry elements developed at the LMABC-SET-EESC-USP. These elements are interlockable, with standardized dimensions, what allows the establishment without mortar bedding, facilitating your use in the auto-construction. The blocks were designed with cores for placement of reinforcements or hydraulics, electric, telecom, gas, and other systems, so that they can assist the users several demands. For it, a special masonry component in colored concrete was developed, whose low porosity, permeability and resistance allows perfect finishes, sparing several constructive stages. The reached results points to the viability of the use as structural component for a distinct kind of construction.

O presente trabalho propõe um novo modelo de rede neural artificial voltado a aplicações robóticas, em especial a tarefas de natureza espaço-temporal e de horizonte infinito. Este modelo apresenta três características que o tornam único e que foram tomadas como guia para a sua concepção: auto-organização, representação temporal e aprendizado construtivo. O algoritmo de aprendizagem auto-organizada incorpora todos os mecanismos que são básicos para a auto-organização: competição global, cooperação local e auto-amplificação seletiva. A rede neural é suprida com propriedades dinâmicas através de uma memória de curto prazo. A memória de curto prazo é inserida na estrutura da rede por meio de integradores e diferenciadores, os quais são implementados na camada de entrada da rede. Nesta abordagem existe uma evidente separação de papéis: a rede é responsável pela não-linearidade e a memória é responsável pelo tempo. A construção automática da arquitetura da rede neural é realizada de acordo com uma unidade de habituação. A unidade de habituação regula o crescimento e a poda de neurônios. O procedimento de inclusão, adaptação e remoção de conexões sinápticas é realizado conforme o método de aprendizado hebbiano competitivo. Em muitos problemas práticos, como os existentes na área da robótica, a auto-organização, a representação temporal e o aprendizado construtivo são fatores imprescindíveis para o sucesso da tarefa. A grande dificuldade e, ao mesmo tempo, a principal contribuição deste trabalho consiste em integrar tais tecnologias em uma arquitetura de rede neural artificial de maneira eficiente. Estudos de caso foram elaborados para validar e, principalmente, determinar as potencialidades e as limitações do modelo neural proposto. Os cenários abrangeram tarefas simples de classificação de padrões e segmentação temporal. Os resultados preliminares obtidos demonstraram a eficiência do modelo neural proposto frente às arquiteturas conexionistas existentes e foram considerados bastante satisfatórios com relação aos parâmetros avaliados. No texto são apresentados, também, alguns aspectos teóricos das ciências cognitivas, os fundamentos de redes neurais artificiais, o detalhamento de uma ferramenta de simulação robótica, conclusões, limitações e possíveis trabalhos futuros. / The present work proposes a new artificial neural network model suitable for robotic applications, in special to spatiotemporal tasks and infinite horizon tasks. This model has three characteristics which make it unique and are taken as means to guide its conception: self-organization, temporal representation and constructive learning. The algorithm of self-organizing learning incorporates all the mechanisms that are basic to the self-organization: global competition, local cooperation and selective self-amplification. The neural network is supplied with dynamic properties through a short-term memory. The short-term memory is added in the network structure by means of integrators and differentiators, which are implemented in the input layer of the network. In this approach exists an evident separation of roles: the network is responsible for the non-linearity and the memory is responsible for the time. The automatic construction of the neural network architecture is carried out taking into account habituation units. The habituation unit regulates the growing and the pruning of neurons. The procedure of inclusion, adaptation and removal of synaptic connections is carried out in accordance with competitive hebbian learning technique. In many practical problems, as the ones in the robotic area, self-organization, temporal representation and constructive learning are essential factors to the success of the task. The great difficulty and, at the same time, the main contribution of this work consists in the integration of these technologies in a neural network architecture in an efficient way. Some case studies have been elaborated to validate and, mainly, to determine the potentialities and the limitations of the proposed neural model. The experiments comprised simple tasks of pattern classification and temporal segmentation. Preliminary results have shown the good efficiency of the neural model compared to existing connectionist architectures and they have been considered sufficiently satisfactory with regard to the evaluated parameters. This text also presents some theoretical aspects of the cognitive science area, the fundamentals of artificial neural networks, the details of a robotic simulation tool, the conclusions, limitations and possible future works.

A norma sobre a Coordenação Modular na Construção Civil (hoje NBR 5706) criada no Brasil (um dos países pioneiros) em 1970, teve seus estudos aprofundados nos anos 70 e início dos anos 80. Já em nível mundial, nasce na Alemanha entre as duas grandes guerras mundiais com objetivo de reconstruir o País, para proporcionava velocidade (pela repetitividade) na execução e redução de custos causada pela racionalização e ordenação dos espaços. Em síntese, a Coordenação Modular nada mais é do que a ordenação dos espaços na construção civil. A necessidade presente de qualidade do produto e redução do preço final ao consumidor exige aprimoramento de serviços e redução de custos tornando-o competitivo em um mercado cada vez mais disputado. Neste aspecto, a construção civil pouco avançou. Seus processos são ainda quase artesanais. A Coordenação Modular é a ferramenta mais adequada quando se fala em racionalização de processos, questões ambientais, produtividade (escala industrial), déficit habitacional. Paradoxalmente, apesar dela ser a ferramenta mais adequada, sabe-se que após a extinção do Banco Nacional de Habitação (BNH), os estudos sobre Coordenação Modular foram praticamente abandonados no Brasil. Realizou-se estudo comparativo entre um orçamento com projeto convencional e um orçamento com projeto utilizando a Coordenação Modular. Ainda, por pesquisa documental, verificou-se os custos efetivamente praticados execução de projeto similar (auto-construção), observando os fatores e relação do não avanço da coordenação modular no Brasil. Através de experimento, confirmou-se a redução de custos pelo uso da Coordenação Modular (diminuição de perdas e tempo de mão-de-obra empregada) e que a normalização e fiscalização ineficazes contribuem para a auto-construção influenciando no preço de mercado (em detrimento da qualidade do produto). Entretanto, um programa de qualidade e fiscalização severa atingindo todos os integrantes da cadeia produtiva da construção civil, dos projetos à execução, materiais e órgãos representativos, resultará no sucesso da implantação da Coordenação Modular. / The norm about Modular Coordination in the civil construction (today NBR 5706) began in Brazil (one of the pioneer countries) in 1970, and had its studies deepened in the 70s and beginning the 80s. On world Level, it was born in Germany between the two great world wars with the objective of the reconstruction of the country. Reason: it allowed velocity (by the repetition) in the execution and reduction of costs due to the rationalization and arrangement oh the spaces. In synthesis, the Modular Coordination is nothing more than the ordering of the space in the civil construction. The needed presence of the quality product and the reduction of the final price to the consumer, demands improvement of services and reduction of costs, making it competitive in a market of growing dispute. In this aspect the civil construction had little advance. Its processes are still almost hand-made (with few exceptions). The Modular Coordination is the most adequate tool when talking on rationalization or processes, ambiental affair, productivity (industrial scale), and shortage of homes. Paradoxicaly, although it is the most adequate tool, we know that the suppression of the National Bank of Residence (BNH) the studies about Modular Coordination were practically abandoned in the country. In order to go back to these researches and awake the interest of the productive chain in civil construction throughout the profit in mind, a comparative study was held between a budget with a conventional project and a budget with a project using a Modular Coordination. Furthermore, through documental research, it was verified the cost effectively used in the execution of similar project (self - construction), observing the factors and the list of no advance of the Modular Coordination in Brazil. Thru experiment it was confirmed the reduction of costs by the use of Modular Coordination (diminishing losses and time of hands employed) and that normalization and ineffective inspection contribute to self construction with influence on the market price (with damage to the quality of the product). Nevertheless, a quality program and a severe control covering all the integrants of the productive chain of the civil construction, from the projects to the execution, materials and representative organisms, will result in success for the implantation of Modular Coordination.

Submitted by Caroline Falcao (caroline.rfalcao@ufpe.br) on 2017-06-07T19:18:09Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) 2012-dissertacao-CeciliaCampello.pdf.pdf: 4175966 bytes, checksum: 7dedcf27646b48c368ec56ad81575b77 (MD5) / Made available in DSpace on 2017-06-07T19:18:09Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) 2012-dissertacao-CeciliaCampello.pdf.pdf: 4175966 bytes, checksum: 7dedcf27646b48c368ec56ad81575b77 (MD5) Previous issue date: 2012 / Nestadissertação,expõem-se os procedimentos, análises e considerações obtidas na pesquisa que teve por objetivo.Para a realização desta pesquisa, foi necessária a realização daanálise comparativa das tipologias das sete Casas de Câmara e Cadeia remanescentesem Pernambuco, construídas nos séculos XVIII e XIX com o modelo português.A questão inicial considerada é se o padrão tipológico lusitano se reproduziu fielmente na colônia ou se ocorreram transformações. Considerando a existência de transformações decorrentes no processo de implantação do modelo de Casas de Câmara e Cadeiana colônia, o objetivo principal desta pesquisa é identificar em que aspectos essas mudanças ocorreram, procurando interpretar suas causas e condições.A hipótese formulada originalmente foi que as Casas de Câmara e Cadeia não possuíam a necessidade da imposição do poder através de sua estrutura física, já que este era óbvio. Para confirmar tal hipótese, foram verificados os padrões de proporção, simetria, materiais construtivos, elementos funcionais e estéticos, utilizando como artefato os edifícios e como material de suporte os códices da arquitetura clássica e militar, a iconografia existente, as plantas e fachadas. Como referenciais para análise comparativa foram analisados oito Concelhoslocalizados em Portugal, selecionados a partir do padrão tipológico semelhante e uma sequência cronológica do século XIII ao XVIII, com a intenção de acompanhar astransformações físicas ocorridas neste período. O produto resultante da análise desenvolvida nessa pesquisa confirmou a hipótese inicial e permitiu a elaboração de inferências nas considerações finais deste trabalho, que colaboraram na identificação das influências da cultura expansionista lusitana em suas relações com a colônia. / In this written essay, it has been exposedthe procedures, analyzes and considerations obtained intheresearch aimed at the comparative analysis of seven types of CountyHousesand Jail remnants in Pernambuco, built in the eighteenth and nineteenth centuries withthe portuguese building model.The initial questiontaken into consideration is whether thetypological Lusitanianpattern has beenfaithfully reproduced in the colony or, if there were transformations. The original hypothesis was that,the CountyHouse and Jail did not have the need for the imposition of power through its physical structure, since itwas obvious.To confirm this hypothesis we have accessed the patterns of proportion, symmetry, construction materials, functional and aesthetic elements, using the buildings as artifact and,as support material, thecodices of classical and military architecture, the existing iconography, as well asbuildingsplant.As benchmarks for a comparative analysisa research was done in eight councils located in Portugal, selected from the standard typologicalpatternand,a similar chronological sequence of the thirteenth to the eighteenth centuries, with the intention ofmonitoringthe physical transformations that occurred during this period.The product results based on the development of the analysis ofthis study confirmed the initial hypothesis and allowed anelaborationof inferences in the final considerations of this work, which helped to identify the influences of theLusitanian expansionistculturein its relations with the colony.

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-17T07:04:57Z (GMT). No. of bitstreams: 1 BarreroGuzman_TomasAndres_M.pdf: 584062 bytes, checksum: b969cc9456140851ae30720d7d2f5d09 (MD5) Previous issue date: 2004 / Resumo: O trabalho estuda o papel da negação na logica, abordando os fragmentos positivos da logica proposicional, de forma a atender a dois problemas: a obtenção de teoremas de completude independentes da negação e o problema de paradoxos positivos, como o Paradoxo de Curry. Para o fragmento classico, estuda-se o metodo construtivo de completude proposto por Leon Henkin. Investigam-se as razoes pelas quais este metodo nao pode ser estendido para fragmentos nao-classicos que conseguem evitar a ocorrencia da objeção de Haskel Curry como, por exemplo, os das logicas n-valentes de Jan Lukasiewicz e os (por nos denominados) intuicionistas de Wilhelm Ackermann, quer pelas características da implicação, quer pela presença de um tipo de argumento infinito. O estudo conjunto do metodo de Henkin e do fenomeno da trivialidade positiva permite estabelecer um processo de decidibilidade da logica positiva classica através de um sistema de tablos que utiliza somente recursos metalinguísticos positivos, e propor uma rediscussão a respeito do papel da negação em logica atraves do conceito de paratrivialidade. Nesse contexto discutimos, do ponto de vista conceitual, a relação da logica positiva com o infinito, as possibilidades de se obter uma logica de primeira ordem completa sem negação e o vinculo filosofico entre verdade e significado / Abstract: This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive completeness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this constructive method to on-classical fragments equipped with weaker implications (that avoid Curry?s objection). This is the case, for example, of Jan Lukasiewicz?s n-valued logics and Wilhelm Ackermann?s logic of restricted implication. Besides such problems, both Henkin?s method and the triviality phenomenon enable us to propose a new positive tableau proof system which uses only positive meta-linguistic resources, and to motivate a new discussion concerning the role of negation in logic proposing the concept of paratriviality. In this way, some relations between positive reasoning and infinity, the possibilities to obtain a first-order positive logic as well as the philosophical connection between truth and meaning are discussed from a conceptual point of view / Mestrado / Mestre em Filosofia