Hoje, diante das contínuas mudanças e do mercado competitivo, as empresas e organizações têm sempre a necessidade de adaptar suas práticas de negócios para atender às diferentes exigências de seus clientes e manter-se em vantagem com relação às suas concorrentes. Para ajudá-las a atingir esta meta, uma proposta promissora é o Desenvolvimento Baseado em Componentes (DBC), cuja ideia básica é a de que um novo software possa ser construído rapidamente a partir de componentes pré-existentes. Entretanto, a montagem de sistemas corporativos mais confiáveis e tolerantes a falhas a partir da integração de componentes tem-se mostrado uma tarefa relativamente complexa. E a necessidade de garantir que tal integração não falhe tornou-se algo imprescindível, sobretudo porque as consequências de uma falha podem ser extremamente graves. Para que haja uma certa garantia de que o software seja tolerante a falhas, devem ser realizadas atividades de testes e verificação formal de programas. Isto porque ambas, em conjunto, procuram garantir ao desenvolvedor que o sistema resultante da integração é, de fato, confiável. Mas a viabilidade prática de execução destas atividades depende de ferramentas que auxiliem sua realização, uma vez que a execução de ambas constitui um alto custo para o desenvolvimento do software. Tendo em vista esta necessidade de facilitar a realização de testes e verificação nos sistemas baseados em componentes (DBC), este trabalho de Mestrado se propõe a desenvolver um ambiente integrado para a verificação e teste de protocolos para a coordenação do comportamento excepcional de componentes. / Nowadays, because of continuous changes and the competitive market, companies and organizations have the necessity to adapt their business practices in order to satisfy the different requirements of their customers and then, keep themselves in advantage among their competitors. To help them to reach this aim, a promising purpose is the Component-Based Development (CBD), whose basic idea is that a new software can be built in a fast way from preexisting components. However, mounting more reliable and fault-tolerant corporative systems from components integration is a relatively complex task. And the need to assure that such integration does not fail becomes something essential, especially because the consequences of a failure can be extremely serious. To have a certain guarantee that the software will be fault-tolerant, testing activities and formal verification of programs should be done. This is because both, together, try to assure to developer that the resulting system of the integration is, in fact, reliable. But the practical feasibility of executing these activities depends on tools which support it, once both executions have a high cost to software development. Having the necessity to make test and verification easier in systems based in components (CBD), this work has, as main objective, the development of an integrated environment for verification and test of protocols to the coordination of components exceptional behaviour.

O constante aumento da velocidade de processamento, devido principalmente à utilização de um número cada vez maior de processadores, tem propiciado grandes avanços no projeto e na construção de sistemas computacionais paralelos. Entretanto o desempenho de muitas aplicações é afetado pela latência das operações de Entrada e Saída de dados. Para solucionar esse problema, sistemas de arquivos paralelos, que oferecem acesso paralelo aos dados armazenados em diversos discos, vêm sendo desenvolvidos. O desenvolvimento desses sistemas complexos pode ser beneficiado pela adoção de Técnicas de Descrição Formal (TDFs), durante as fases de projeto e especificação dos mesmos, as quais podem ser aliadas a técnicas de implementação durante as demais fases. Neste sentido, este projeto propõe uma abordagem baseada em frameworks e na TDF Extended State Transition Language (Estelle), para a especificação formal, validação, implementação e teste de sistemas dessa categoria. Um framework conceitual que descreve um sistema funcional é apresentado, e dois estudos de caso são desenvolvidos dando origem a dois sistemas de arquivos derivados do framework. Uma metodologia para a validação, que usa ferramentas de simulação, é apresentada. Um dos estudos de caso é implementado semi-automaticamente, a partir de sua especificação formal Estelle, e comparações de desempenho com o mesmo sistema implementado manualmente são realizadas. / The constant increase of processing speed, mainly due to the use of a large number of processors, has allowed an improvement in the design and building of parallel computation systems. However, the performance of several types of applications is affected by the latency originated from Input/Output operations on data. In order to solve this problem parallel file systems, which allow parallel access to the data stored on a set of discs, have been developed. The design of such complex systems can benefit from the adoption of implementation techniques allied with Formal Description Techniques (FDTs). Aimed to introduce the use of FDTs in the development cycle of distributed parallel file systems, this work proposes an approach, based on framework and the FDT Extended State Transition Language (Estelle), for the formal specification, validation, implementation and testing of systems belonging to this domain. A conceptual framework that describes a basic functional system is presented, and two case studies are developed from it. A methodology for Estelle specification validation that makes use of simulation tools is also proposed in this work. One of the systems, developed as a case study, is semi-automatically implemented from its Estelle formal specification, and performance comparisons with a hand-coded implementation of the same system are done.

[pt] Este trabalho procurou conhecer a proposta para a educação formal da Fundação Fé e Alegria, a partir de um estabelecimento estadual de ensino: o Colégio Frei Antônio, em Tocantínia - TO. Inicialmente, este percurso foi instigado por uma pesquisa realizada com escolas católicas estadunidenses. Houve o estudo de documentos sobre a educação católica no Brasil, sobre a trajetória e ideário da Fundação Fé e Alegria e sobre a história da escola estadual em foco. Para uma aproximação da realidade da escola escolhida foram realizadas observações de campo, entrevistas semi-estruturadas e aplicação de questionários na escola, junto à direção e os corpos docente e discente e também entrevista junto a uma liderança indígena local. Como o Colégio Frei Antônio é perpassado pela riqueza da cultura indígena xerente, a análise dos dados coletados procurou discutir a aquisição da língua portuguesa como um instrumental na luta pelos direitos indígenas. Considerou- se, ainda, o conjunto de relações existentes na escola como um modo de vivência de valores comunitários. / [en] In this study we tried to understand the formal educational proposition of the Fé e Alegria Foundation from the standpoint of the School of Father Antonio, a public school of the State of Tocantins (TO), in Brazil. The choice for the approach used in this study was largely motivated by a research conducted by North American Catholic schools. We studied documents about Catholic education in Brazil, about the philosophy and aims of Fé e Alegria Foundation and about the history of the public school in focus. In order to get the closest possible to the reality of the school object of our study, several field observation were taken such as the use of semi-structured interviews and questionnaires. This work was done with the direction of the school, the teachers, students and the local area Indian leadership. Since the School of Father Antonio in its history reflects the richness of the Xerente culture, the analyses of the data collected in the field tried to discuss the acquisition of the Portuguese language as an instrument in the Indians quest for their rights. For the sake of this study the community values experienced in the school were also considered.

O constante aumento da velocidade de processamento, devido principalmente à utilização de um número cada vez maior de processadores, tem propiciado grandes avanços no projeto e na construção de sistemas computacionais paralelos. Entretanto o desempenho de muitas aplicações é afetado pela latência das operações de Entrada e Saída de dados. Para solucionar esse problema, sistemas de arquivos paralelos, que oferecem acesso paralelo aos dados armazenados em diversos discos, vêm sendo desenvolvidos. O desenvolvimento desses sistemas complexos pode ser beneficiado pela adoção de Técnicas de Descrição Formal (TDFs), durante as fases de projeto e especificação dos mesmos, as quais podem ser aliadas a técnicas de implementação durante as demais fases. Neste sentido, este projeto propõe uma abordagem baseada em frameworks e na TDF Extended State Transition Language (Estelle), para a especificação formal, validação, implementação e teste de sistemas dessa categoria. Um framework conceitual que descreve um sistema funcional é apresentado, e dois estudos de caso são desenvolvidos dando origem a dois sistemas de arquivos derivados do framework. Uma metodologia para a validação, que usa ferramentas de simulação, é apresentada. Um dos estudos de caso é implementado semi-automaticamente, a partir de sua especificação formal Estelle, e comparações de desempenho com o mesmo sistema implementado manualmente são realizadas. / The constant increase of processing speed, mainly due to the use of a large number of processors, has allowed an improvement in the design and building of parallel computation systems. However, the performance of several types of applications is affected by the latency originated from Input/Output operations on data. In order to solve this problem parallel file systems, which allow parallel access to the data stored on a set of discs, have been developed. The design of such complex systems can benefit from the adoption of implementation techniques allied with Formal Description Techniques (FDTs). Aimed to introduce the use of FDTs in the development cycle of distributed parallel file systems, this work proposes an approach, based on framework and the FDT Extended State Transition Language (Estelle), for the formal specification, validation, implementation and testing of systems belonging to this domain. A conceptual framework that describes a basic functional system is presented, and two case studies are developed from it. A methodology for Estelle specification validation that makes use of simulation tools is also proposed in this work. One of the systems, developed as a case study, is semi-automatically implemented from its Estelle formal specification, and performance comparisons with a hand-coded implementation of the same system are done.

Hoje, diante das contínuas mudanças e do mercado competitivo, as empresas e organizações têm sempre a necessidade de adaptar suas práticas de negócios para atender às diferentes exigências de seus clientes e manter-se em vantagem com relação às suas concorrentes. Para ajudá-las a atingir esta meta, uma proposta promissora é o Desenvolvimento Baseado em Componentes (DBC), cuja ideia básica é a de que um novo software possa ser construído rapidamente a partir de componentes pré-existentes. Entretanto, a montagem de sistemas corporativos mais confiáveis e tolerantes a falhas a partir da integração de componentes tem-se mostrado uma tarefa relativamente complexa. E a necessidade de garantir que tal integração não falhe tornou-se algo imprescindível, sobretudo porque as consequências de uma falha podem ser extremamente graves. Para que haja uma certa garantia de que o software seja tolerante a falhas, devem ser realizadas atividades de testes e verificação formal de programas. Isto porque ambas, em conjunto, procuram garantir ao desenvolvedor que o sistema resultante da integração é, de fato, confiável. Mas a viabilidade prática de execução destas atividades depende de ferramentas que auxiliem sua realização, uma vez que a execução de ambas constitui um alto custo para o desenvolvimento do software. Tendo em vista esta necessidade de facilitar a realização de testes e verificação nos sistemas baseados em componentes (DBC), este trabalho de Mestrado se propõe a desenvolver um ambiente integrado para a verificação e teste de protocolos para a coordenação do comportamento excepcional de componentes. / Nowadays, because of continuous changes and the competitive market, companies and organizations have the necessity to adapt their business practices in order to satisfy the different requirements of their customers and then, keep themselves in advantage among their competitors. To help them to reach this aim, a promising purpose is the Component-Based Development (CBD), whose basic idea is that a new software can be built in a fast way from preexisting components. However, mounting more reliable and fault-tolerant corporative systems from components integration is a relatively complex task. And the need to assure that such integration does not fail becomes something essential, especially because the consequences of a failure can be extremely serious. To have a certain guarantee that the software will be fault-tolerant, testing activities and formal verification of programs should be done. This is because both, together, try to assure to developer that the resulting system of the integration is, in fact, reliable. But the practical feasibility of executing these activities depends on tools which support it, once both executions have a high cost to software development. Having the necessity to make test and verification easier in systems based in components (CBD), this work has, as main objective, the development of an integrated environment for verification and test of protocols to the coordination of components exceptional behaviour.

Satisfiability (SAT) solvers are commonly used for a variety of applications, including hardware verification, software verification, theorem proving, debugging, and hard combinatorial problems. These applications rely on the efficiency and correctness of SAT solvers. When a problem is determined to be unsatisfiable, how can one be confident that a SAT solver has fully exhausted the search space? Traditionally, unsatisfiability results have been expressed using resolution or clausal proof systems. Resolution-based proofs contain perfect reconstruction information, but these proofs are extremely large and difficult to emit from a solver. Clausal proofs rely on rediscovery of inferences using a limited number of techniques, which typically takes several orders of magnitude longer than the solving time. Moreover, neither of these proof systems has been able to express contemporary solving techniques such as bounded variable addition. This combination of issues has left SAT solver authors unmotivated to produce proofs of unsatisfiability. The work from this dissertation focuses on validating satisfiability solver output in the unsatisfiability case. We developed a new clausal proof format called DRAT that facilitates compact proofs that are easier to emit and capable of expressing all contemporary solving and preprocessing techniques. Furthermore, we implemented a validation utility called DRAT-trim that is able to validate proofs in a time similar to that of the discovery time. The DRAT format has seen widespread adoption in the SAT community and the DRAT-trim utility was used to validate the results of the 2014 SAT Competition. DRAT-trim uses many advanced techniques to realize its performance gains, so why should the results of DRAT-trim be trusted? Mechanical verification enables users to model programs and algorithms and then prove their correctness with a proof assistant, such as ACL2. We designed a new modeling technique for ACL2 that combines efficient model execution with an agile and convenient theory. Finally, we used this new technique to construct a fast, mechanically-verified validation tool for proofs of unsatisfiability. This research allows SAT solver authors and users to have greater confidence in their results and applications by ensuring the validity of unsatisfiability results. / text

Submitted by SANDRA ELIANA DA SILVA LIMONTA null (sandra.limonta@uemg.br) on 2018-04-03T02:11:08Z No. of bitstreams: 1 SANDRA ELIANA DA SILVA LIMONTA.pdf: 2780963 bytes, checksum: c6d0c4729ec3447fa163b958d0a38a9e (MD5) / Approved for entry into archive by Jacqueline de Almeida null (jacquie@franca.unesp.br) on 2018-04-03T18:13:07Z (GMT) No. of bitstreams: 1 Limonta _SES_me_fran.pdf: 2780963 bytes, checksum: c6d0c4729ec3447fa163b958d0a38a9e (MD5) / Made available in DSpace on 2018-04-03T18:13:07Z (GMT). No. of bitstreams: 1 Limonta _SES_me_fran.pdf: 2780963 bytes, checksum: c6d0c4729ec3447fa163b958d0a38a9e (MD5) Previous issue date: 2017-10-27 / O trabalho é um ato intrinsecamente ligado à ação e ideação humana presente em todo o processo histórico da humanidade. Este estudo teve como objeto o primeiro trabalho formal do (a) adolescente mediante condições e possibilidades atuais e como problematização: que oportunidades têm os (as) adolescentes, filhos (as) da classe trabalhadora de se inserirem no mundo do trabalho formal e de efetivar seu primeiro emprego, bem como, que condições o (a) adolescente tem para conquistar sua inserção formal no trabalho e quais critérios de exigência existem para a formalização do primeiro trabalho formal na adolescência? Foi escolhida como cenário desta pesquisa, a cidade de Passos/MG e seu universo a Organização da sociedade civil “Rede Cidadã” que oportuniza trabalho por meio da Lei do Jovem Aprendiz de n. 10.097/2000 e desenvolve o curso de formação técnico-profissional na Universidade Estadual de Minas Gerais (UEMG) - em sua Unidade acadêmica de Passos/MG, espaço em que foram realizadas entrevistas com os participantes da pesquisa, adolescentes vinculados à Rede Cidadã e seus responsáveis legais, a coordenadora e educadora desta instituição e egressos da SAMP, a qual intermediava o primeiro trabalho formal em Passos num período anterior à Rede Cidadã. Esta pesquisa tem o objetivo geral de investigar as possibilidades e as condições da inserção do (a) adolescente no mundo do trabalho formal. Com os resultados da pesquisa bibliográfica e de campo, afirma-se que a inserção de adolescentes no mundo do trabalho está colocada num cotidiano de opressão inserido no sistema capitalista, onde se descortinam situações de exploração em que muitas vezes não é possível continuar qualitativamente o processo de escolarização. O adolescente da classe trabalhadora almeja muitas vezes a sua inserção no mundo do trabalho como uma oportunidade na sociedade de classes de garantir sua subsistência, mas nem sempre há uma visão ontológica do trabalho no sentido de crescimento pessoal. Assim a venda de sua força de trabalho atende a necessidade primordial do movimento dinâmico da marcha capitalista que é absorção da classe trabalhadora, incluindo seus filhos (as). Esta pesquisa revela que apesar da precarização e flexibilização no mundo do trabalho desta sociedade capitalista, poderá quiçá, exercitar a cidadania e a vivência dos direitos, mesmo diante das contradições existentes, da situação de exploração inerente a essa ordem societária de classes. Refletir as possibilidades do acesso do (a) adolescente ao primeiro trabalho formal é um grande desafio que a pesquisadora se propôs. No desenvolvimento desta pesquisa estão os dados que resultaram das entrevistas com os (as) participantes, dialogando sobre o possível acesso ao trabalho formal que oportunize condições dignas a esse (a) jovem trabalhador (a). / Work is an act intrinsically linked to the human action and ideation present in all its historical process of humanity. This study had as its object the first formal work of the adolescent under current conditions and possibilities and as problematization: what opportunities do the adolescents, children of the working class have to enter into the world of formal work and to make effective his first job, as well as, what conditions does the adolescent have to conquer his formal insertion in the work and what criteria of exigency exist for the formalization of the first formal work in adolescence? The city of Passos / MG was chosen as the scenario for this research and its universe the civil society organization Rede Cidadã, which offers work through the Young Apprentice Law n. 10.097 / 2000 and develops the technical-professional training course at the University of the State of Minas Gerais (UEMG) - in academic unit of Passos / MG, a space where interviews were conducted with the participants of the research, adolescents linked to the Rede Cidadã and their legal representatives, the coordinator and educator of this institution and graduates of SAMP, which intermediated the first formal work in Passos in a period before the Rede Cidadã. This research has the general objective of investigating the possibilities and the conditions of the insertion of the adolescent into the formal world of work with the results of the bibliographical and field research, it is affirmed that the insertion of adolescents in the world of work is placed in a daily life of oppression inserted in the capitalist system, where it is possible to discover situations of exploitation in which it is often not possible to continue the process of schooling qualitatively. The working-class adolescent often craves insertion into the world of work as an opportunity in class society to guarantee its subsistence, but there is not always an ontological view of work in the sense of personal growth. Thus the sale of their labor power meets the primordial necessity of the dynamic movement of the capitalist march which is absorption of the working class, including its children. This research reveals that despite the precariousness and flexibilization in the world of work of this capitalist society, it may be that citizenship and the experience of rights, even in the face of existing contradictions, may occur in the exploitative situation inherent to this societal order of classes. Reflecting the possibilities of the adolescent's access to the first formal job is a great challenge that the researcher proposed. In the development of this research are the data that resulted from the interviews with the participants, discussing the possible access to the formal work that provides decent conditions to this young worker.

FRANÇA, Clístenes Chaves de. Pragmática formal, verdade e realismo: do conceito epistêmico à indeterminação da verdade em Jürgen Habermans. 2017. 284f. - Tese (Doutorado) - Universidade Federal do Ceará, Pós-Graduação em Filosofia, Fortaleza (CE), 2017. / Submitted by sebastiao barroso (jrwizard2209@hotmail.com) on 2017-10-04T12:37:52Z No. of bitstreams: 1 2017_tese_ccfrança.pdf: 1989334 bytes, checksum: aee408ece4b644c3838224272d5b1e15 (MD5) / Rejected by Márcia Araújo (marcia_m_bezerra@yahoo.com.br), reason: Estamos devolvendo a tese de CLÍSTENES CHAVES FRANÇA para fazer as alterações indicadas pela bibliotecária Eliene Vieira de Moura: atualizar o brasão da UFC; mudar a fonte da dedicatória e corrigir as referências, que estão em desacordo com a ABNT. Qualquer dúvida sobre as alterações, falar com a referida bibliotecária na Biblioteca das Casas de Cultura Estrangeira/UFC. Lembramos que a tese tem que estar de acordo com o Guia de Normalização da UFC que está disponível no sitio http://www.biblioteca.ufc.br/servicos-e-produtos/normalizacao-de-trabalhos-academicos/. on 2017-10-05T14:27:59Z (GMT) / Submitted by sebastiao barroso (jrwizard2209@hotmail.com) on 2017-10-24T17:19:02Z No. of bitstreams: 1 2017_tese_ccfrança.pdf.pdf: 2088161 bytes, checksum: c62e7784615ddfad6b166812814a4ff3 (MD5) / Approved for entry into archive by Márcia Araújo (marcia_m_bezerra@yahoo.com.br) on 2017-11-07T18:12:01Z (GMT) No. of bitstreams: 1 2017_tese_ccfrança.pdf.pdf: 2088161 bytes, checksum: c62e7784615ddfad6b166812814a4ff3 (MD5) / Made available in DSpace on 2017-11-07T18:12:01Z (GMT). No. of bitstreams: 1 2017_tese_ccfrança.pdf.pdf: 2088161 bytes, checksum: c62e7784615ddfad6b166812814a4ff3 (MD5) Previous issue date: 2017 / The present work exposes and analyzes the theoretical-argumentative route that led Habermas to sustain an antirealist consensual-discursive concept of truth to defend a pragmatic concept that aims to account for the realistic presuppositions inherent to the communicative practices of subjects capable of action and speech. Having initially identified truth as the product of a rational agreement between arguers forged within an ideal speech situation, Habermas was convinced by the criticisms of authors such as Donald Davidson, Ansgar Beckermann, Albrecht Wellmer and Cristina Lafont, of the unsustainability of an antirealist grasp of the truth if, with this concept, we intend to clarify the communicative practices of understanding and intervention in the world of members from a linguistic community. The revision of his concept of truth is performed along with the establishment of a more adequate space in formal pragmatics for non-representational realism and weak naturalism. Knowledge cannot be reduced to mere representation of reality, but rather must incorporate the learning process effected by overcoming the failures concretely experienced in the sphere of action. The revision of his concept of truth is performed along with the establishment of a more adequate space in formal pragmatics for non-representational realism and weak naturalism. Knowledge cannot be reduced to mere representation of reality, but rather must incorporate the learning process effected by overcoming the failures concretely experienced in the action sphere. On the other hand, the de-transcendentalisation of the cognitive structures of the life-world that mediate our experience with the objective world does not authorize a causal explanation of life-world‘s normativity. The distinction between the epistemic concept of justification (rational acceptability) and the non-epistemic concept of truth is at the basis of Habermas's rejection of Richard Rorty's contextualism, since it results from a bad theoretical step that would make it impossible to elucidate our effective communicative practices and would require the reformulation of one's own common sense which would be based on a démodé platonic difference. However, with his pragmatic conception of truth, Habermas defends the existence of an unrenounceable epistemic relationship between truth and justification that finds no support in the discourse sphere. We need to recognize that, in this, what sets in is an epistemic relationship between the process of justification of our beliefs and their rational acceptability and not between the realistically apprehended concept of truth and the justification. In this way, we come to the conclusion that Habermas's pragmatic concept of truth suffers from a fundamental indetermination. This derives from Habermas' refusal to theoretically discuss the relationship between language and world demanded by the realistic non-epistemic apprehension of truth. Habermas argues that the attempt to theoretically explain this relationship would involve metaphysical premises incompatible with a post-metaphysical thought, which implies that our author prefers to bequeath us an indeterminate concept of truth, to advance theoretically in the explanation of what is presupposed by the formal pragmatics itself. / O presente trabalho expõe e analisa o percurso teórico-argumentativo que levou Habermas da defesa de um conceito consensual-discursivo antirrealista da verdade para a defesa de um conceito pragmático que visa dar conta das pressuposições realistas inerentes às práticas comunicativas de sujeitos capazes de ação e fala. Por meio de pesquisa bibliográfica e análise crítica das obras indicadas nas referências, o trabalho mostra que Habermas, tendo inicialmente identificado a verdade como produto de um acordo racional entre argumentantes, forjado no interior de uma situação ideal de fala, vem a ser convencido posteriormente, pelas críticas de autores como Donald Davidson, Ansgar Beckermann, Albrecht Wellmer e Cristina Lafont, da insustentabilidade de uma apreensão antirrealista da verdade se, com este conceito, se pretende esclarecer as práticas comunicativas de entendimento e intervenção no mundo dos membros de uma comunidade linguística. A revisão de seu conceito da verdade é realizada de par com o estabelecimento de um espaço mais adequado na pragmática formal para o realismo não-representacionista e o naturalismo fraco. O conhecimento não pode ser reduzido à mera representação da realidade, mas antes deve incorporar o processo de aprendizagem efetivado pela superação dos malogros concretamente experienciados na esfera da ação. Por outro lado, a destranscendentalização das estruturas cognitivas do mundo da vida que medeiam nossa experiência com o mundo objetivo não autoriza uma explicação causal da normatividade do mundo da vida. A distinção entre o conceito epistêmico da justificação (aceitabilidade racional) e o conceito não-epistêmico da verdade está na base da rejeição de Habermas do contextualismo de Richard Rorty, pois este resulta de um mal passo teórico que inviabilizaria o esclarecimento de nossas práticas comunicativas efetivas e exigiria a reformulação do próprio senso comum o qual se sustentaria em uma diferença platônica démodé. Habermas, contudo, com seu conceito pragmático da verdade, defende a existência de uma relação epistêmica irrenunciável entre verdade e justificação que não encontra amparo na esfera do discurso. Nessa, é necessário reconhecer, o que se instala é uma relação epistêmica entre o processo de justificação de nossas crenças e sua aceitabilidade racional e não entre o conceito da verdade apreendido de maneira realista e a justificação. Dessa forma, este trabalho chega à conclusão de que o conceito pragmático da verdade de Habermas padece de uma indeterminação fundamental. Esta deriva da recusa de Habermas de discutir teoricamente a relação entre linguagem e mundo exigida pela apreensão realista não-epistêmica da verdade. Habermas alega que a tentativa de explicitar teoricamente essa relação envolver-se-ia com premissas metafísicas incompatíveis com um pensamento pós-metafísico, o que implica dizer que ele prefere legar um conceito indeterminado da verdade a avançar teoricamente na explicação daquilo que está pressuposto pela própria pragmática formal.

La lingüística formal solo es posible si realiza un programa de tres exclusiones: la exclusión de la referencia, de la diacronía y del Sujeto. El primero en abrazar este programa fue Saussure y, luego, las diferentes versiones del estructuralismo lo siguieron. Sin embargo, quiero sugerir aquí que una cuarta exclusión es indispensable para entender las teorías que emergen en los límites del estructuralismo (el hiper estructuralismo de Lacan/ Milner) como el programa biologizante del Minimalismo chomskiano y los intentos absolutizantes de Q. Meillassoux: la exclusión del significado. / Formal linguistics is posible only if a program of three exclusions is put into place: exclusion of reference, diachrony and the Subject. The first one to embrace this program was Saussure and then, the different versions of structuralism followed suite. However, I would like to suggest here that a fourth exclusion is needed in order to understand theories that emerge in the outer limits of structuralism (Lacan/Milner’s hyper-structuralism), Chomsky’s biologizing proyect and Q. Meillassoux’s absolutizing attempts: the exclusion of meaning.

CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior / O presente trabalho expÃe e analisa o percurso teÃrico-argumentativo que levou Habermas da defesa de um conceito consensual-discursivo antirrealista da verdade para a defesa de um conceito pragmÃtico que visa dar conta das pressuposiÃÃes realistas inerentes Ãs prÃticas comunicativas de sujeitos capazes de aÃÃo e fala. Por meio de pesquisa bibliogrÃfica e anÃlise crÃtica das obras indicadas nas referÃncias, o trabalho mostra que Habermas, tendo inicialmente identificado a verdade como produto de um acordo racional entre argumentantes, forjado no interior de uma situaÃÃo ideal de fala, vem a ser convencido posteriormente, pelas crÃticas de autores como Donald Davidson, Ansgar Beckermann, Albrecht Wellmer e Cristina Lafont, da insustentabilidade de uma apreensÃo antirrealista da verdade se, com este conceito, se pretende esclarecer as prÃticas comunicativas de entendimento e intervenÃÃo no mundo dos membros de uma comunidade linguÃstica. A revisÃo de seu conceito da verdade à realizada de par com o estabelecimento de um espaÃo mais adequado na pragmÃtica formal para o realismo nÃo-representacionista e o naturalismo fraco. O conhecimento nÃo pode ser reduzido à mera representaÃÃo da realidade, mas antes deve incorporar o processo de aprendizagem efetivado pela superaÃÃo dos malogros concretamente experienciados na esfera da aÃÃo. Por outro lado, a destranscendentalizaÃÃo das estruturas cognitivas do mundo da vida que medeiam nossa experiÃncia com o mundo objetivo nÃo autoriza uma explicaÃÃo causal da normatividade do mundo da vida. A distinÃÃo entre o conceito epistÃmico da justificaÃÃo (aceitabilidade racional) e o conceito nÃo-epistÃmico da verdade està na base da rejeiÃÃo de Habermas do contextualismo de Richard Rorty, pois este resulta de um mal passo teÃrico que inviabilizaria o esclarecimento de nossas prÃticas comunicativas efetivas e exigiria a reformulaÃÃo do prÃprio senso comum o qual se sustentaria em uma diferenÃa platÃnica dÃmodÃ. Habermas, contudo, com seu conceito pragmÃtico da verdade, defende a existÃncia de uma relaÃÃo epistÃmica irrenunciÃvel entre verdade e justificaÃÃo que nÃo encontra amparo na esfera do discurso. Nessa, à necessÃrio reconhecer, o que se instala à uma relaÃÃo epistÃmica entre o processo de justificaÃÃo de nossas crenÃas e sua aceitabilidade racional e nÃo entre o conceito da verdade apreendido de maneira realista e a justificaÃÃo. Dessa forma, este trabalho chega à conclusÃo de que o conceito pragmÃtico da verdade de Habermas padece de uma indeterminaÃÃo fundamental. Esta deriva da recusa de Habermas de discutir teoricamente a relaÃÃo entre linguagem e mundo exigida pela apreensÃo realista nÃo-epistÃmica da verdade. Habermas alega que a tentativa de explicitar teoricamente essa relaÃÃo envolver-se-ia com premissas metafÃsicas incompatÃveis com um pensamento pÃs-metafÃsico, o que implica dizer que ele prefere legar um conceito indeterminado da verdade a avanÃar teoricamente na explicaÃÃo daquilo que està pressuposto pela prÃpria pragmÃtica formal.