O uso adequado de ambientes computacionais pode representar um aumento de qualidade e conforto no processo de ensino-aprendizagem de algumas disciplinas. Percebeu-se, através de pesquisa, a inexistência de ferramentas voltadas para o ensino-aprendizagem de cálculo proposicional que atendessem aos critérios estabelecidos para um ambiente de suporte ao aluno (ASA). Como consequência do resultado da pesquisa, este trabalho introduz o conceito e os requisitos básicos de um ASA, concebe e implementa uma ferramenta ASA voltada para o ensino-aprendizagem de cálculo proposicional, acompanhada de um plano de ensino opcional, e os coloca à disposição da comunidade acadêmica. Apresenta também estudos de casos sobre apresentações e usos da ferramenta em vários estágios de desenvolvimento, além da descrição de cada módulo e dos métodos e regras disponibilizados pela ferramenta. Pretende-se que a ferramenta ASA-CalcPro e o plano de ensino sugerido, sejam uma contribuição social positiva e um estímulo ao ensino-aprendizagem de cálculo proposicional. / The adequate use of computational environments can increase the quality and comfort of the teaching-learning process for some of the academic disciplines. A review of the literature reveals the lack of existing tools for the teaching-learning of the propositional calculus that conform to the criteria established for the student support environment (ambiente de suporte ao aluno (ASA)). As a consequence of this conclusion, the current thesis introduces the concept of, and the basic requirements for, an ASA, conceives and implements an ASA tool for the teaching-learning of the propositional calculus, together with an optional teaching plan, and puts both at the disposition of the academic community. The thesis also presents case studies of presentations and uses of the tool at various stages of its development, as well as a description of each module and of the methods and rules made available for use by the tool. It is hoped that the ASA-CalcPro tool and the suggested plan of study will make a positive social contribution and will be a stimulant for the teaching-learning of the propositional calculus.

Orientador: Vicente Lopes Júnior / Coorientador: Gustavo Luiz Chagas Manhães de Abreu / Banca: Michael John Brennan / Banca: Paulo Roberto Gardel Kurka / Resumo: Este trabalho estuda diversas estratégias de controle semi-ativo para a redução de vibração em suspensões veiculares empregando amortecedores magnetoreológicos (MR). A modelagem do amortecedor MR é feita utilizando o modelo de Bouc-Wen modificado. A fim de entender o princípio de funcionamento de um amortecedor MR, uma análise dinâmica é conduzida. Nesta análise o comportamento não linear do amortecedor MR é caracterizado através de laços histeréticos. Quando incorporado ao modelo da suspensão de ¼ de carro, outros efeitos não lineares são evidenciados. Compreendido o comportamento de todo o modelo da suspensão semi-ativa, diversos controladores são estudados e projetados. Este trabalho pode ser dividido em duas frentes. A primeira é o projeto de controladores via LMIs, que possuem uma formulação sólida e permitem o projeto de controladores com altos índices de desempenho. A segunda é o projeto de controladores nebulosos, cuja formulação teórica sobre estabilidade ainda encontra dificuldades, entretanto, é muito utilizada e tem experimentado grandes avanços devido a sua fácil implementação. O controlador nebuloso utilizado neste trabalho foi projetado por um processo automático através da otimização por algoritmo genético. Todos os controladores projetados neste trabalho são comparados com as estratégias de controle passivo. Outras comparações também foram realizadas com o controle semi-ativo utilizando um controlador LQR e um controlador nebuloso do tipo Mamdani sem otimização. Simulações numéricas com diversas excitações de entrada foram conduzidas. O trabalho termina demonstrando a superioridade do controle nebuloso via algoritmo genético e sua potencialidade para o futuro. Houve destaque também para o controlador que reduz a norma H2 via LMI. / Abstract: This work studies several semi-active control strategies for vibration attenuation in vehicle suspensions employing magnetorheological dampers (MR). The modeling of MR damper is made using the Bouc-Wen modified model. In order to understand the principle of operation of an MR damper, a dynamic analysis is conducted. In this analysis the nonlinear behavior of the MR damper is characterized by hysteretic loops. When it is incorporated into the ¼ car suspension model, other nonlinear effects are evident. After this study, different controllers are designed. This work can be divided into two phases. The first one applies controllers projected via by LMIs, which has a solid formulation and allows high performances to the controllers. The second one uses a fuzzy controller, whose theoretical formulation on stability still faces difficulties. However, it is widely used and has been demonstrating great advances due to its easy implementation. The fuzzy controller used in this work was designed by an automatic process through optimization by genetic algorithm. All controllers projected are compared with passive control strategies. Other comparisons were also performed with semi-active control using a LQR controller and a Mamdani fuzzy controller without optimization. Numerical simulations with different input excitations were conducted. The work ends up demonstrating the superiority of the fuzzy controller with genetic algorithm and its potential for the future. There was also a highlight for the controller that reduces the H2 norm by LMIs. / Mestre

O uso adequado de ambientes computacionais pode representar um aumento de qualidade e conforto no processo de ensino-aprendizagem de algumas disciplinas. Percebeu-se, através de pesquisa, a inexistência de ferramentas voltadas para o ensino-aprendizagem de cálculo proposicional que atendessem aos critérios estabelecidos para um ambiente de suporte ao aluno (ASA). Como consequência do resultado da pesquisa, este trabalho introduz o conceito e os requisitos básicos de um ASA, concebe e implementa uma ferramenta ASA voltada para o ensino-aprendizagem de cálculo proposicional, acompanhada de um plano de ensino opcional, e os coloca à disposição da comunidade acadêmica. Apresenta também estudos de casos sobre apresentações e usos da ferramenta em vários estágios de desenvolvimento, além da descrição de cada módulo e dos métodos e regras disponibilizados pela ferramenta. Pretende-se que a ferramenta ASA-CalcPro e o plano de ensino sugerido, sejam uma contribuição social positiva e um estímulo ao ensino-aprendizagem de cálculo proposicional. / The adequate use of computational environments can increase the quality and comfort of the teaching-learning process for some of the academic disciplines. A review of the literature reveals the lack of existing tools for the teaching-learning of the propositional calculus that conform to the criteria established for the student support environment (ambiente de suporte ao aluno (ASA)). As a consequence of this conclusion, the current thesis introduces the concept of, and the basic requirements for, an ASA, conceives and implements an ASA tool for the teaching-learning of the propositional calculus, together with an optional teaching plan, and puts both at the disposition of the academic community. The thesis also presents case studies of presentations and uses of the tool at various stages of its development, as well as a description of each module and of the methods and rules made available for use by the tool. It is hoped that the ASA-CalcPro tool and the suggested plan of study will make a positive social contribution and will be a stimulant for the teaching-learning of the propositional calculus.

Made available in DSpace on 2013-08-07T18:53:08Z (GMT). No. of bitstreams: 1 000423824-Texto+Completo-0.pdf: 6424309 bytes, checksum: 1f3b110bca0fe71d61e0581ebee127c5 (MD5) Previous issue date: 2010 / Correct forced outage diagnosis is fundamental for utilities to establish priorities of investment on improvements in power systems. Thereby it is possible to avoid losses and improve quality of supply service. This dissertation deals a method to diagnose forced outage faults using an integrated system of models based on fuzzy logic and bayesian networks (BN). For the training stage and rule base constitution in fuzzy domain, it is introduced the analysis of a database treated with Knowledge Discovery in Databases (KDD) techniques, allowing map input and output variables of the database. This mapping composed a knowledge base, allowing apply clusters technique on data to visualize overload pattern coherent with power systems. The fuzzy stage evaluates events with more occurrences, using minimal values of acceptance as parameter of answer. The BN part deduces other events faults, prioritizing those considered with low uncertainty. Using 8,000 events obtained by split-half method, the integrated system proved effective with resultant error of 5. 94%. Other analysis were studied aiming conditions to minimize outage assess error, using extended input variables and discarding multiple outputs events. After the discard step, it was obtained 15. 994 events and, for this sample, the total diagnosis error by BN was reduced from 15. 94% to 4. 60%. Considering 172 events, with the inclusion of three input variables, the BN error was reduced from 5. 81% to 1. 16%.The integrated system behavior is also analysed on diagnosis of incoherent data, resulting an error of 84. 38%, showing applicable to detect outage records without electric power characteristics. Through these analyses, the proposed methodology showed effective in forced outage diagnosis. / A correta determinação de causas de desligamentos não programados é fundamental para as empresas de energia definirem prioridades de investimento em melhorias no sistema elétrico. Dessa maneira, é possível evitar perdas e aperfeiçoar a qualidade do serviço de fornecimento. Esta dissertação aborda um método para a identificação de causas de interrupções forçadas utilizando um sistema integrado de modelos baseados em lógica fuzzy e Redes Bayesianas (RB). Para a etapa de treino da RB e estabelecimento de regras no domínio fuzzy, apresenta-se a análise de um banco de dados tratado com técnicas de Knowledge Discovery in Databases (KDD), permitindo o mapeamento de variáveis de entradas e saídas dos dados. Este mapeamento compôs uma base de conhecimentos, possibilitando agrupar dados de forma a visualizar o padrão de sobrecarga coerente com um sistema elétrico. O bloco fuzzy avalia eventos com maiores recorrências, utilizando como parâmetro valores mínimos de aceitação da resposta, e o bloco RB estima as causas dos demais eventos, priorizando as respostas que se consideram com baixa incerteza. Com o método split-half a partir de 8. 000 eventos, o sistema integrado se mostrou eficiente com o erro resultante de 5,94%. Apresentam-se outras análises visando a minimizar o erro de estimação de causas, através da ampliação do número de variáveis de entrada e o descarte de eventos com saídas múltiplas. Após o descarte, obteve-se um total de 15. 994 eventos, sendo que para esta amostra, o erro final de identificação pela RB foi reduzido de 15,94% para 4,60%. Considerando 172 registros, com a inclusão de três variáveis de entrada na base de dados, o erro na RB foi reduzido de 5,81% para 1,16%.Também se verifica que o comportamento do sistema ao avaliar dados incoerentes resultou em erro de 84,38%, mostrando-se a aplicabilidade em detectar registros sem características com um sistema elétrico. Por essas análises, a metodologia proposta mostrou-se eficaz na determinação de causas de desligamentos não programados.

Made available in DSpace on 2013-08-07T18:56:08Z (GMT). No. of bitstreams: 1 000425739-Texto+Completo-0.pdf: 381766 bytes, checksum: 083b67eb1a8183b02048c7442f99d59d (MD5) Previous issue date: 2010 / We investigated the problem of the beginning in Hegel’s Logic, considering the issues that can be trigged by a logic dialetic thought system that suggests the reflection of the beginning. However, we also analized the implications that a new perspective, upon the beginning of the Logic, may launche on some topics of the philosophical tradition, such as: the ones that are reflected on the classical ideal of substance, related to the notion of causuality as well as the comprehention of the method and basis, and Fulda and Puntel’s positions, concerning to the problem. Through the Logic, Hegel offers important elements to the racionality self-exam that aims to understant itself as a subject. Based on the imanent movement of the Concept, the racionality has a bad circle reflexibility, closing in itself, and it does not guarantee a permanent logical space to the new, to the contingent. The problem of the beginning shows that the intention of the absolute knowledge, as suggested Hegel, does not match with the rigorous dialetic process. / Investigaremos o problema do começo da Lógica em Hegel, considerando as questões pertinentes que possam advir de um sistema de pensamento lógico dialético que propõe a reflexão sobre o seu começo. Não obstante, serão examinadas também as implicações que um novo olhar sobre o começo da Lógica possa projetar sobre algumas questões da tradição filosófica, tais como, as refletidas na ideia clássica de substância, com a noção de causalidade a ela vinculada e a compreensão de método e fundamento, bem como as posições de Fulda e Puntel a respeito desse problema. Pela Lógica, Hegel oferece elementos significativos para um autoexame da racionalidade que tem pretensão de autocompreender-se como sujeito. Ancorado no movimento imanente do Conceito, essa racionalidade mostrase inclinada à má reflexividade circular, fechando-se sobre si mesma, sem garantir um espaço lógico permanente para o novo, o contingente. O problema do começo mostra que a pretensão de saber absoluto, como postulou Hegel, é incompatível com um processo dialético rigoroso.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, Programa de Pós-graduação em Engenharia Elétrica, 2012. / Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2012-09-27T15:12:55Z No. of bitstreams: 1 2012_LuizGustavoFlorencio.pdf: 1554783 bytes, checksum: bf39a5fc7d6b25cbdf7268d765b0665d (MD5) / Rejected by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br), reason: Alaíde, O arquivo carregado é de outro trabalho. Por favor, verifique. Obrigada! Jacqueline on 2012-10-04T13:30:48Z (GMT) / Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2012-10-04T15:00:53Z No. of bitstreams: 1 2012_WesleyGongoradeAlmeida.pdf: 2251518 bytes, checksum: 14fca6cffeac84fa4f60de38f24f756e (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2012-10-05T10:34:44Z (GMT) No. of bitstreams: 1 2012_WesleyGongoradeAlmeida.pdf: 2251518 bytes, checksum: 14fca6cffeac84fa4f60de38f24f756e (MD5) / Made available in DSpace on 2012-10-05T10:34:44Z (GMT). No. of bitstreams: 1 2012_WesleyGongoradeAlmeida.pdf: 2251518 bytes, checksum: 14fca6cffeac84fa4f60de38f24f756e (MD5) / O impacto da má qualidade dos dados sobre a tomada de decisão, a confiança organizacional e a satisfação do cliente é bem conhecida. Ademais, fatores emergentes, tais como o aumento no volume dos dados, têm agravado o problema. Nas organizações atuais, sistemas de Business Intelligence (BI) têm oferecido suporte à gestão de negócios e se constituindo uma evolução natural e lógica dos Sistemas de Apoio a Decisão. Neste novo cenário, implementações de soluções de BI tem falhado devido a má qualidade dos dados. Supondo que é possível avaliar a qualidade dos dados com base em metadados, a questão principal, então, é: Como fornecer ao usuário informações relativas à qualidade dos dados? Atrelado a esta questão, encontra-se um segundo fator relevante: Durante muito tempo, preocupou-se com a qualidade dos dados sem levar em consideração a questão da confiança. Esta dissertação apresenta uma nova visão a respeito da qualidade e da confiança dos dados, porque, ao contrário do senso comum, a qualidade dos dados não é o único fator influenciando a confiabilidade dos dados e estes dois conceitos não são necessariamente correlacionados. Baixa qualidade pode ser confiável em algumas situações e dados de alta qualidade podem ter baixa confiança em outro contexto. Em nosso trabalho, a avaliação da confiabilidade dos dados em ambientes de BI é baseada em um conjunto de métricas, obtidas a partir de uma taxonomia dos problemas de qualidade. Para representar a incerteza da avaliação, lógica fuzzy é empregada como método de obtenção de uma pontuação global de confiabilidade. Por fim, a proposta desenvolvida é avaliada através de simulações, de forma a ilustrar sua eficácia e demonstrar um avanço em relação aos métodos estado-da-arte conhecidos da literatura. _______________________________________________________________________________________ ABSTRACT / The impact of poor data quality on decision making, organizational trust and customer satisfaction is well known. Furthermore, emerging factors, such as increasing the volume of data, have aggravated the problem. In today's organizations, Business Intelligence (BI) systems have offered support to business management and providing a natural and logical evolution of Decision Support Systems. In this new scenario, implementations of BI solutions have failed due to poor data quality. Assuming it is possible to assess the quality of data based on metadata, the main question then is: How to provide the user with information relating to data quality? Tied to this question lies a second relevant factor: For a long time, worried about the quality of data without taking into account the question of trust. This dissertation presents a new vision about the quality and trustworthiness of the data, because, contrary to common sense, data quality is not the only factor influencing the trustworthiness of data and these two concepts are not necessarily correlated. Low quality can be unreliable in some situations and high-quality data can have little confidence in another context. In our study, evaluating the trustworthiness of data in BI environments is based on a set of metrics, obtained from taxonomy of quality problems. To represent the uncertainty of the evaluation, fuzzy logic is employed as a method of obtaining an overall score of trustworthiness. Finally, the proposal developed is evaluated through simulations, in order to illustrate its effectiveness and demonstrate an improvement over methods state-of-the-art known from the literature.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2008. / Submitted by Diogo Trindade Fóis (diogo_fois@hotmail.com) on 2009-10-09T14:02:12Z No. of bitstreams: 1 2008_RommelNovaesCarvalho_reduzida.pdf: 2306641 bytes, checksum: a442bd9631a732feaae059332a6a5068 (MD5) / Approved for entry into archive by Gomes Neide(nagomes2005@gmail.com) on 2010-10-15T14:38:05Z (GMT) No. of bitstreams: 1 2008_RommelNovaesCarvalho_reduzida.pdf: 2306641 bytes, checksum: a442bd9631a732feaae059332a6a5068 (MD5) / Made available in DSpace on 2010-10-15T14:38:05Z (GMT). No. of bitstreams: 1 2008_RommelNovaesCarvalho_reduzida.pdf: 2306641 bytes, checksum: a442bd9631a732feaae059332a6a5068 (MD5) Previous issue date: 2008-02-29 / O objetivo geral deste trabalho é pesquisar formalismos para extensão de redes bayesianas (BN) e raciocínio plausível na Web Semântica. Dentre os formalismos para raciocínio plausível, um dos mais utilizados, dada sua flexibilidade, é a rede bayesiana. No entanto, há diversas situações do mundo real e na Web que as BN são incapazes de representar. As duas principais restrições de redes bayesianas são a impossibilidade de representar recursão e situações onde o número de variáveis aleatórias envolvidas é desconhecido. Exatamente para superar essas limitações que utilizaremos o formalismo MEBN (Multi-Entity Bayesian Network), que agrega o poder de expressividade da lógica de primeira ordem (FOL) às redes bayesianas, possibilitando a representação de um número infinito de variáveis aleatórias e a representação de definições recursivas. Na Web Semântica, a linguagem OWL (Ontology Web Language) permite a definição de ontologias, mas por ser baseada na FOL não possui um suporte adequado para possibilitar o raciocínio plausível. Por ser uma implementação de lógica probabilística de primeira ordem, a MEBN é um dos formalismos mais indicados para tal expansão, tendo a linguagem PR-OWL (Probabilistic OWL) sido proposta como uma integração de MEBN e OWL [29, 28, 27]. O presente trabalho de pesquisa propõe alguns refinamentos do formalismo MEBN e da linguagem PR-OWL e apresenta a primeira implementação no mundo de MEBN com a possibilidade de representar e raciocinar em domínios com incerteza através de ontologias probabilísticas baseadas em PR-OWL. Além disso, um novo algoritmo para geração de SSBN (Situation-Specific Bayesian Network) foi proposto. Essa implementação foi feita no UnBBayes [26], ferramenta livre para raciocínio probabilístico, aproveitando o mecanismo de criação e inferência de BN que esta já possui. Para exemplificar uma aplicação de MEBN/PR-OWL, o UnBBayes-MEBN [6] foi utilizado para modelar e raciocinar no domínio fictício Star Trek. Como ontologias probabilísticas possuem um grande potencial de uso no campo da Web Semântica onde a incerteza é tratada de forma probabilística, essa pesquisa representa uma contribuição para os trabalhos que estão sendo realizados pelo URW3-XG (W3C Uncertainty Reasoning for the World Wide Web Incubator Group) [30], criado pelo Consórcio World Wide Web para melhor definir o desafio de representar e raciocinar com a informação incerta disponível na Web. _________________________________________________________________________________ ABSTRACT / The general objective of this work is to research formalisms for extending Bayesian networks (BN) and plausible reasoning in the Semantic Web. Among the formalisms for plausible reasoning, one of the most used, given its flexibility, is BN. However, there are several situations in the real world and in the Web that BN is unable to represent. The two main restrictions of BN are the impossibility of representing recursion and situations where the number of random variables is unknown. It is exactly to overcome those limitations that we will use the MEBN formalism (Multi-Entity Bayesian Network), which joins the expressiveness power of first order logic (FOL) to BN, making possible the representation of an infinite number of random variables and of recursive definitions. In Semantic Web, the OWL language (Ontology Web Language) allows the definition of ontologies, but because it is based in FOL it doesn’t possess an appropriate support to make the plausible reasoning possible. MEBN is one of the most suitable formalisms for such expansion, as it is an implementation of first order probabilistic logic, having the PR-OWL language (Probabilistic OWL) as an integration of MEBN and OWL [29, 28, 27]. This research proposes some refinements for the MEBN formalism and PR-OWL language and it presents the first implementation in the world of MEBN with the possibility to represent and reason in domains with uncertainty through probabilistic ontologies based in PR-OWL. Besides that, a new algorithm for the SSBN generation was proposed. This implementation was made in UnBBayes [26], a free tool for probabilistic reasoning, taking advantage of the BN modeling and inference mechanism that it already has. To exemplify an application of MEBN/PR-OWL, UnBBayes-MEBN [6] was used to model and to reason in the Star Trek toy domain. As probabilistic ontologies have a great potential use in the field of Semantic Web where the uncertainty is treated in a probabilistic way, this research represents a contribution for the work that is being accomplished by the URW3-XG (W3C Uncertainty Reasoning for the World Wide Web Incubator Group) [30], created by the World Wide Web Consortium for best defining the challenge of representing and reasoning with the available uncertain information in the Web.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Arquitetura e Urbanismo, 2007. / Submitted by Larissa Ferreira dos Angelos (ferreirangelos@gmail.com) on 2010-01-05T16:52:07Z No. of bitstreams: 1 2007_MilenaBarattaNAldigueriRodriguez.pdf: 5099618 bytes, checksum: e63c605a1554317529b509bd6ac459af (MD5) / Approved for entry into archive by Joanita Pereira(joanita) on 2010-01-05T18:08:10Z (GMT) No. of bitstreams: 1 2007_MilenaBarattaNAldigueriRodriguez.pdf: 5099618 bytes, checksum: e63c605a1554317529b509bd6ac459af (MD5) / Made available in DSpace on 2010-01-05T18:08:10Z (GMT). No. of bitstreams: 1 2007_MilenaBarattaNAldigueriRodriguez.pdf: 5099618 bytes, checksum: e63c605a1554317529b509bd6ac459af (MD5) Previous issue date: 2007 / O trabalho objetiva discutir a relação entre a presença e a distribuição das pessoas no espaço com as expectativas sociais de seus usuários mediante o estudo de caso do campus da Universidade de Brasília. O trabalho lidará com variáveis formal-espaciais e variáveis sociais. Variáveis formal-espaciais dizem respeito à configuração dos cheios (edifícios) e vazios (lugares abertos) e serão trabalhados mediante a utilização de ferramentas da Sintaxe Espacial. As variáveis sociais dizem respeito à população fixa da UNB: quem são as pessoas, onde estão, fazendo o quê e como avaliam os espaços e serão trabalhadas mediante informações extraídas de questionário aplicado a esta população.O objetivo é entender a lógica social do espaço do campus da UNB: razões formal-espaciais para o fato das pessoas movimentarem-se por onde se movimentam, estarem onde estão, em que concentração/dispersão. _______________________________________________________________________________ ABSTRACT / This paper studies the distribution of people in an university campus – Universidade de Brasília (UNB) – by investigating relationships between configuration, land use and distribution of people in space. Morphological and social variables will be dealt with. Morphological variables will be dealt by means of space syntax tools and social data come from stratified interview with students, teachers and civil servants of the university: who is doing what, where, with whom, and how they evaluate the places. The main point is to understand the social logic of the UNB campus: morphological reasons behind people’s movement and concentration (or otherwise) in spaces.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Humanas, Departamento de Filosofia, 2007. / Texto parcialmente liberado pelo autor. Conteúdo: Resumo. / Submitted by Mariana Fonseca Xavier Nunes (nanarteira@hotmail.com) on 2010-09-17T11:12:30Z No. of bitstreams: 1 2006-Paulo Penteado de Faria e Silva.pdf: 12535 bytes, checksum: 847f237f411bb66ea45c496ecd2ff044 (MD5) / Approved for entry into archive by Lucila Saraiva(lucilasaraiva1@gmail.com) on 2010-10-08T23:31:48Z (GMT) No. of bitstreams: 1 2006-Paulo Penteado de Faria e Silva.pdf: 12535 bytes, checksum: 847f237f411bb66ea45c496ecd2ff044 (MD5) / Made available in DSpace on 2010-10-08T23:31:48Z (GMT). No. of bitstreams: 1 2006-Paulo Penteado de Faria e Silva.pdf: 12535 bytes, checksum: 847f237f411bb66ea45c496ecd2ff044 (MD5) / O presente estudo procura desenvolver uma abordagem filosófica não-exaustiva sobre os principais argumentos envolvidos no debate sobre a adoção de cotas étnico-raciais - uma modalidade de ação afirmativa - nas universidades públicas brasileiras. A pesquisa parte da teoria da argumentação e da lógica informal (estudo dos aspectos da argumentação que não dependem exclusivamente da forma lógica) para compreender uma discussão concreta, como produzida em linguagem natural. Compartilhamos a tese segundo a qual o estudo da linguagem comum é filosoficamente elucidativo. Nosso objetivo primordial é sumariar e criticar os principais argumentos apresentados em alguns padrões dialógicos selecionados, para identificar, em cada um deles, a racionalidade subjacente, certas propriedades características e fundamentos justificatórios, eventuais falácias, bem como a interação entre diversas áreas de argumentos. Almejando alcançar uma compreensão pragmática do debate e epitomar os prós e os contras das cotas raciais nas universidades brasileiras, procuramos sintetizar, da forma mais imparcial possível, os argumentos reais apresentados. Também demos particular atenção a argumentos especificamente desenvolvidos em certos campos argumentativos considerados de interesse, como filosofia, política, direito, sociologia, antropologia, economia, história e educação. Como resultado, pode-se concluir que os argumentos reais não se processam de forma isolada. Ao contrário, o emprego dos mais variados fundamentos, provenientes de diferentes áreas, permite a elaboração de uma verdadeira estratégia argumentativa. Além disso, mesmo argumentos formalmente inválidos, incorretos ou falaciosos podem ser admissíveis no contexto de uma estratégia discursiva particular, na defesa do macroargumento.

La paradoja del mentiroso lleva siglos atormentando la mente de filósofos y  lógicos. El presente texto intenta una solución siguiendo la siguiente tesis: la  paradoja no puede ser resuelta por la lógica dado que lo implicado en ella  trasciende las fronteras de esa disciplina. Lo que trasciende estas fronteras  (establecidas en gran medida por Frege, en tanto padre de la lógica moderna) es el propio ser humano como ser capaz de articular sentido. De ahí la  necesidad de explorar cómo la fenomenología aborda al ser humano para reconcebir también al lenguaje y al tiempo. Este giro será crucial para entender por qué el problema de dicha paradoja es la autorreferencialidad, lo que  también conlleva a reinterpretar qué se entiende por niveles de lenguaje (sea  en la forma de Tarski o de Kripke).