Made available in DSpace on 2016-08-18T18:55:11Z (GMT). No. of bitstreams: 1 SYMONE DALMA FERREIRA PACHECO.pdf: 528352 bytes, checksum: 6fde9c13e451ef471cbe6e2896e5b233 (MD5) Previous issue date: 2008-07-10 / This research analyses the Brazilian legal system of social policy, notably its social security branch, advancing a discussion about the impact of neoliberal fit of Brazilian system of social security. Retook a discussion about the historical construction of Brazilian social security since its formal introduction in Brazilian legal system through Elóy Chaves Statute, analyzing the introduction of its recent system enacted by 1987-1988 National Brazilian Legislature until reach recent legal reforms and the constitutional amendment project (2005). The guiding axis of this research was constructed as of the tension pointed between logics of partition, result of 1988 federal constitutional original text and the logic of capitalization, thinking neoliberal background. it drives to the persistence of that tension and possible alternatives imposes to social security system in the begin of this century. / O presente trabalho de pesquisa tratou de fazer uma análise sobre a Seguridade Social, notadamente no seu eixo da Previdência Social, fazendo uma discussão sobre o impacto do denominado ajuste neoliberal sobre o sistema previdenciário brasileiro. Retomou uma discussão sobre a construção histórica da Previdência, desde a sua instituição formal com a Lei Elóy Chaves, passando pela sua instituição do sistema mais recente, gestado na Assembléia Nacional Constituinte de 1987/88, até chegar às mais recentes reformas e PEC paralela da Previdência (2005). O eixo norteador do trabalho foi construído a partir da tensão apontada entre as lógicas da repartição, produto do texto original da Constituição da República de 1988, e a lógica da capitalização, fundamento do pensamento neoliberal. Aponta para a persistência da tensão e as possíveis alternativas que se impõem ao sistema previdenciário neste início de século.

Orientador: Marcelo Esteban Coniglio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-25T18:45:14Z (GMT). No. of bitstreams: 1 Testa_RafaelRodrigues_D.pdf: 1707390 bytes, checksum: 77a5315394cfd4052cf1fe8733d0559c (MD5) Previous issue date: 2014 / Resumo: A Revisão de Crenças estuda como agentes racionais mudam suas crenças ao receberem novas informações. O sistema AGM, trabalho mais influente desta área apresentado por Alchourrón, Gärdenfos e Makinson, postula critérios de racionalidade para os diferentes tipos de mudança de crenças e oferece construções explícitas para tais - a equivalência entre os postulados e operações é chamado de teroema da representação. Trabalhos recentes mostram como o paradigma AGM pode ser compatível com diferentes lógicas não-clássicas, o que é chamado de AGM-compatibilidade - este é o caso da família de lógicas paraconsistentes que analisamos, as Lógicas da Inconsistência Formal (LFIs, da sigla em inglês). A despeito da AGM-compatibilidade, ao se partir de uma nova lógica sua racionalidade subjacente deve ser entendida e sua linguagem deve ser efetivamente usada. Propomos assim novas construções que de fato capturam a intuição presente na LFIs - é o que chamamos de sistema AGMo. Com isso, possibilitamos a estas lógicas uma nova interpretação, na esteira da epistemologia formal. Em uma abordagem alternativa, ao se partir da AGM-compatibilidade os resultados AGM podem ser diretamente aplicados às LFIs - o que chamamos de sistema AGMp. Em ambas abordagens, provamos os respectivos teoremas da representação sempre que necessário / Abstract: Belief Revision studies how rational agents change their beliefs when they receive new information. The AGM system, most influential work in this area of study investigated by Alchourrón, Gärdenfos and Makinson, postulates rationality criteria for different types of belief change and provides explicit constructions for them - the equivalence between the postulates and operations is called representation theorem. Recent studies show how the AGM paradigm can be compliant with different non-classical logics, which is called the AGM-compliance - this is the case of the paraconsistent logics family we analyze in this thesis, the Logics of Formal Inconsistency (LFIs). Despite the AGM-compliance, when a new logic is taken into account its underlying rationality must be understood and its language should be used. In that way new constructions are proposed, which actually captures the intuition of LFIs - what we call the AGMo system. Thus, we provide a new interpretation for these logics, more in line with formal epistemology. In an alternative approach, by considering the AGM-compliance, we show how the AGM results can be directly applied to LFIs -- resulting the AGMp system. In both approaches, we prove the corresponding representation theorems where needed / Doutorado / Filosofia / Doutor em Filosofia

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-03T21:04:12Z (GMT). No. of bitstreams: 1 Tassinari_RicardoPereira_D.pdf: 1211433 bytes, checksum: 0edefc8fa8eb0b9895dac7b85a9aa2de (MD5) Previous issue date: 2003 / Resumo: Os Teoremas da Incompletude de Gödel têm sido, recorrentemente, citados nos estudos sobre auto-organização, como propiciando exemplos de processos não-mecânicos e verdadeiramente auto-organizados. Um dos fundamentos desses estudos está relacionado às análises que afirmam que os resultados obtidos por Gödel, associados à Tese/Definição de Church sobre calculabilidade, implicam na impossibilidade de uma modelagem mecânica completa de processos relativos à cognição humana. Dois desses processos que podem ser citados como auto-organizados, e cuja não-mecanicidade decorreria dos teoremas de Gödel, seriam os processos de determinação de fórmulas verdadeiras de teorias aritméticas de primeira ordem e de determinação de fórmulas verdadeiras de lógicas de ordens superiores, já que existem resultados lógico-matemáticos de incompletude desses sistemas formais. O objetivo central desta Tese consiste em analisar esses processos de determinação de verdades aritméticas e de verdades de lógicas de ordens superiores, a partir de uma análise dos resultados decorrentes dos teoremas de Gödel e da Teoria da Auto-Organização de Debrun, para mostrar que eles constituem processos não-mecânicos, segundo a acepção da Tese/Definição de Church, e auto-organizados, segundo Debrun. Apresentamos, preliminarmente, uma demonstração cuidadosa do Segundo Teorema da Incompletude de Gödel e uma introdução à Teoria da Auto-Organização de Debrun; bem como realizamos uma análise detalhada de como os resultados obtidos a partir do Segundo Teorema de Gödel permitem concluir que existem processos não-mecânicos, no sentido da Tese/Definição de Church, por argumentos distintos dos utilizados em alguns trabalhos da literatura. Mostramos que sempre existe um sistema formal cujo conjunto de teoremas é exatamente o conjunto de fórmulas determinadas como verdadeiras por qualquer função recursiva parcial que simule a capacidade humana de determinação de verdades aritméticas de primeira ordem e de verdades de lógicas de ordens superiores, enquanto, segundo o Segundo Teorema da Incompletude de Gödel, não existem sistemas formais cujos teoremas sejam todas as fórmulas que conseguimos identificar como verdadeiras / Abstract: Gödel¿s Incompleteness Theorems have been mentioned in the studies on self-organization as providing examples of non-mechanical and truly self-organized processes. One of the fundaments of these studies is related to the analyses that assert that Gödel¿s results, associated to Church¿s Thesis/Definition on calculability, imply the impossibility of complete mechanical modeling of processes related to human cognition. Two of these processes that can be mentioned as self-organized, whose non-mechanicity is implied by Gödel¿s theorems, would be the process of determination of true formulae of first order arithmetical theories and the process of determination of true formulae of higher-order logics, since there are logical-mathematical results on the incompleteness of these formal systems. The central aim of this Thesis is to analyze these processes of determination of first order arithmetical truths and higher-order logical truths, from an analysis of the results from Gödel¿s theorems and Debrun¿s Self-Organization Theory, in order to show that these processes constitute non-mechanical self-organized processes, according to Church¿s Thesis/Definition and Debrun¿s Theory. Preliminarily, we present a careful proof of Gödel¿s Second Incompleteness Theorem and an introduction to Debrun¿s Self-Organization Theory; as well as we analyze, in detail, how the results obtained from Gödel¿s theorems allow us to conclude that non-mechanical processes exists, in the sense of Church¿s Thesis/Definition, by using arguments that do not appear in known papers in the literature. We show that there is always a formal system whose set of theorems is exactly the set of formulae determined as true by any partial recursive function that simulates the human capability of determination of first order arithmetical truths and higher-order logical truths, while, according to Gödel¿s Second Incompleteness Theorem, there is no formal system whose theorems are all the formulae that we can identify as true formulae / Doutorado / Doutor em Filosofia

Orientador : Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencia Humanas / Made available in DSpace on 2018-08-03T23:35:45Z (GMT). No. of bitstreams: 1 Carvalho_TadeuFernandesde_D.pdf: 5853507 bytes, checksum: 96ccd702fdeba40a1a0098acc9416bf8 (MD5) Previous issue date: 2004 / Resumo: O objetivo deste trabalho é desenvolver alguns principios básicos de um Cálculo Diferencw Paraconsistente. Como elementos motivadores para isso, apresentamos, na Introdução, alguns dados sobre o desenvolVÚI1ento do cálculo diferencial, desde suas origens ao advento da anãlise não-standard, bem como relativos à história da lógica e à da teoria de conjuntos, focalizando os sistemas lógicos paraconsistentes e as teorias paraconsistentes de conjuntos. Apresentamos, no Capítulo 1, propriedades básicas das hierarquias dos sistemas eu, Cn' e Cns, I ;S; n ;S; m, de da Costa, destacando o sistema CIs, e a teoria paraconsistente de conjuntos CHUI> de da Costa, respectivamente a lógica e a teoria de conjuntos subjacentes ao cálculo paraconsistente pretendido. No Capítulo 2 apresentamos algumas propriedades clássicas do cãlculo e das entidades infinitesimais, e esboçamos um cãlculo diferencial paraconsistente, à ia da Costa. Finalmente, no Capítulo 3 descrevemos algumas propriedades básicas de superestruturas, e introduzimos o conceito de superestrutura paraconsistente, para obter um Teorema de Transferência, com o qual encerramos o presente trabalho / Abstract: The aim ofthis work is to develop some basic principies ofa Paraconsistent Differential Calculus. We present at the ntroduction as motivation for this intent some notes about the history of differential ca1culus, from its birth to non-standard analysis's arrival, followed by some notes about the history of logic and set theory, focusing paraconsistent 10gica1 systems and paraconsistent set theories, introduced by Newton éameiro Monso da Costa. We present at Chapter 1 some basic properties of da Costa's paraconsistent logics hierarchies eu, Cn * and Cn-, 1 ;S; n;S; m, detaching CI=, and da Costa's paraconsistent system CHU!> once these are the intended Paraconsistent Calculus's logic and set theory. In Chapter 2 we present some classic properties of the differential calculus and infinitesimal entities, and outline a paraconsistent differential ca1culus a Ia da Costa. In Chapter 3 we describe basic properties on superstructures, and introduce paraconsistent superstructures, in order to obtain a Transfer Theorem, with which we end this work / Doutorado / Doutor em Filosofia

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-24T07:00:23Z (GMT). No. of bitstreams: 1 Gomes_EvandroLuis_D.pdf: 65179990 bytes, checksum: eb0820af0f1fcdc2d6afcfdea584cfe4 (MD5) Previous issue date: 2013 / Resumo: A instauração da lógica paraconsistente, o levantamento e a descrição de seus antecedentes históricos, bem como a análise de seus fundamentos filosóficos são aqui apresentados sob a ótica da historiografia contemporânea da lógica. O estádio atual da lógica paraconsistente permite historiar sua instauração e, de modo quase arqueológico, reconstituir a pré-história dessa abordagem e de suas esquematizações lógico-teóricas. Estudamos, particularmente, os efeitos da contradição em contextos racionais e os instrumentos lógico-teóricos de sua contenção, manuseio ou assimilação. Formas de paraconsistência lato e stricto sensu são estabelecidas à medida em que o ex falso, lei lógica que sustém que qualquer fórmula se segue de uma inconsistência formal, se verifica ou não é válida, em teorias e contextos racionais nos quais vigorem, por exemplo, a lógica clássica ou intuicionista. Tal lei lógica não vale nas teorias paraconsistentes, que podem conter inconsistências sem que sejam triviais. Consideramos textos, contextos e marcos do ponto de vista analítico, descritivo e histórico a fim de desvelar as formas de cultivo dessa abordagem. Na Parte I, historiamos a pré-história da paraconsistência. No Capítulo 1, Elementos lógico-paraconsistentes em autores antigos, identificamos e coligimos textos significativos para os primórdios da paraconsistência no pensamento ocidental, a partir dos quais delineamos uma interpretação que vincula elementos paraconsistentes às realizações teóricas de Heráclito de Éfeso, Aristóteles e os estoicos. No Capítulo 2, Elementos lógico-paraconsistentes em autores medievais, estudamos a maturação dos elementos relativos à abordagem da contradição no pensamento racional, herdados, em parte, do período anterior; há fundamentos paraconsistentes em autores como Pedro Abelardo, Pedro Hispano e Guilherme de Ockham, que por sua própria elaboração, elevaram tais elementos à sofisticação daqueles encontrados na polêmica acerca da admissibilidade ou não do ex falso. Na Parte II, historiamos a paraconsistência stricto sensu propriamente dita e seu prelúdio. Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital. / Abstract: The establishment of paraconsistent logic, the quest for and the description of its historical background, as well as the analysis of their philosophical foundations are here presented by the way of contemporary historiography of logic. Nowadays paraconsistent logic stage of development allows writing the history of its instauration and, in a quite archeological way, to rebuilt the prehistory of this approach and their theoretical schemata. We specially study contradiction effects over rational contexts and the logical and theoretical tools for its suppression, handling or absorption. Broad and strict paraconsistency are also confirmed by the level of refusal of the ex falso. Such logical law affirms that every formula follows from a formal inconsistency and, it is related to the formal trivialization of the theories if underlying logic involved were, for instance, classical or intuitionist. In paraconsistent theories, on the other hand, ex falso does not hold in general. Such theories can be inconsistent but being not trivial. We consider texts, contexts and historical marks from analytical, descriptive and historical point of views in order to understand its formation chains. In Part I, we tell the history of the antecedents of paraconsistent approach. In Chapter 1, Paraconsistent logical elements in ancient authors, we identify and gather meaningful texts to the prehistory of paraconsistency in Western thought. From those elements, we outline an interpretation that matches paraconsistent elements to the theoretical achievements of Heraclitus of Ephesus, Aristotle and by the Stoics. In Chapter 2, Paraconsistent logical elements in medieval authors, we study the growing process concerning handling with contradiction in the rational thought, most of them inspired in the treatment of the issue in the former tradition. There are paraconsistent ground, for instance, in the work of Peter Abelard, Peter of Spain and William of Ockham. Such authors, by their own effort, could arise such elements into sophisticated arguments found in their discussion if ex falso is or not admissible. In Part II, we have the history of strict paraconsistent positions properly said and its prelude. Note: The complete abstract is available with the full electronic document / Doutorado / Filosofia / Doutor em Filosofia

Este trabalho tem como objetivo o estudo de uma área da robótica chamada robótica móvel. Um robô móvel deve realizar uma navegação segura e esta é a principal motivação deste trabalho. Para tal foi desenvolvido um simulador de robótica móvel com visualização em 3D. Um dos grandes interesses na área de robótica móvel é a utilização de algoritmos de inteligência artificial. O objetivo deste trabalho é a utilização e simulação de inteligência artificial para o controle destinado ao desvio de obstáculos. As simulações são dinâmicas, ou seja, o robô não tem informação previa do cenário. Os algoritmos de inteligência artificial implementadas neste trabalho são lógica Fuzzy e Neurofuzzy. As contribuições do simulador são: a simulação e visualização em 3D com o cenário modelado em um programa CAD/3D, permite testar diversas configurações antes de testar o robô real, simula o ruído de sensores, utiliza lógica fuzzy e neurofuzzy para o desvio de obstáculos. Os resultados mostram a capacidade do sistema fuzzy para lidar com os dados ruidosos dos sensores assim como a influência das variáveis antecedentes e conseqüentes do sistema fuzzy de no comportamento do robô móvel para o desvio de obstáculos além da capacidade do sistema neurofuzzy de aprender a partir dos dados de treinamento mostrando uma melhoria no resultado das simulações. / This work has as objective the study of an area of the robotics named mobile robotics. A mobile robot must navigate in a safe way and this is the main motivation of this work. To do that a mobile robotics simulator with 3D visualization was developed. One of the great interests in mobile robotics is using artificial intelligence algorithms. The main point of this work is using and simulate artificial intelligence applied in obstacle avoidance control. The simulations are dynamics it means that the robot do not have previous information about the scenery. The artificial intelligence algorithms developed in this work are Fuzzy and Neurofuzzy logics. The simulator contributions are that the simulation and 3D visualization where the scenery is a 3D model from a CAD/3D software besides allows to test many configurations before testing the real robot and simulates noise from sensors and uses fuzzy and neurofuzzy logics to obstacle avoidance. The results show the fuzzy system capability to deal with the noisy data from sensors and how fuzzy variables influences the mobile robot behavior in obstacle avoidance besides the ability of neurofuzzy system to learn from training data showing improvements in the simulation results.

Este trabalho tem como objetivo o estudo de uma área da robótica chamada robótica móvel. Um robô móvel deve realizar uma navegação segura e esta é a principal motivação deste trabalho. Para tal foi desenvolvido um simulador de robótica móvel com visualização em 3D. Um dos grandes interesses na área de robótica móvel é a utilização de algoritmos de inteligência artificial. O objetivo deste trabalho é a utilização e simulação de inteligência artificial para o controle destinado ao desvio de obstáculos. As simulações são dinâmicas, ou seja, o robô não tem informação previa do cenário. Os algoritmos de inteligência artificial implementadas neste trabalho são lógica Fuzzy e Neurofuzzy. As contribuições do simulador são: a simulação e visualização em 3D com o cenário modelado em um programa CAD/3D, permite testar diversas configurações antes de testar o robô real, simula o ruído de sensores, utiliza lógica fuzzy e neurofuzzy para o desvio de obstáculos. Os resultados mostram a capacidade do sistema fuzzy para lidar com os dados ruidosos dos sensores assim como a influência das variáveis antecedentes e conseqüentes do sistema fuzzy de no comportamento do robô móvel para o desvio de obstáculos além da capacidade do sistema neurofuzzy de aprender a partir dos dados de treinamento mostrando uma melhoria no resultado das simulações. / This work has as objective the study of an area of the robotics named mobile robotics. A mobile robot must navigate in a safe way and this is the main motivation of this work. To do that a mobile robotics simulator with 3D visualization was developed. One of the great interests in mobile robotics is using artificial intelligence algorithms. The main point of this work is using and simulate artificial intelligence applied in obstacle avoidance control. The simulations are dynamics it means that the robot do not have previous information about the scenery. The artificial intelligence algorithms developed in this work are Fuzzy and Neurofuzzy logics. The simulator contributions are that the simulation and 3D visualization where the scenery is a 3D model from a CAD/3D software besides allows to test many configurations before testing the real robot and simulates noise from sensors and uses fuzzy and neurofuzzy logics to obstacle avoidance. The results show the fuzzy system capability to deal with the noisy data from sensors and how fuzzy variables influences the mobile robot behavior in obstacle avoidance besides the ability of neurofuzzy system to learn from training data showing improvements in the simulation results.

Orientador: Ricardo Pereira Tassinari / Banca: Ítala Maria Loffredo D'Ottaviano / Banca: Zélia Ramozzi-Chiarotino / Resumo: O objetivo da Dissertação é investigar, na perspectiva da Epistemologia Genética, proposta por Jean Piaget, uma questão que elaboramos a partir de nossos estudos sobre o Ensaio de Lógica Operatória escrito por Piaget, a saber: como o sujeito epistêmico usa e se torna capaz de usar funções proposicionais na estruturação lógico-matemática que ele faz da realidade? Tomando esta questão como fio condutor de nossas pesquisas, procuramos compreender como se constituem as funções proposicionais, um dos elementos fundamentais da Lógica, e quais são suas relações com as operações lógicas do pensamento "natural" realizadas pelo sujeito. Para isso, fizemos, inicialmente, uma breve apresentação do pensamento piagetiano, mostrando, em paralelo, algumas das heranças centrais da história das ideias no pensamento deste autor. Em seguida, situamos o Ensaio no contexto da Epistemologia Genética e apresentamos o que Piaget entende por Lógica, quais são seus objetos e métodos em relação aos outros domínios de estudo, em especial a Epistemologia e a Psicologia. Mostramos que, segundo sua concepção de Lógica, é possível uma coordenação entre Lógica e Psicologia do ponto de vista da Epistemologia Genética, sem que isso implique, necessariamente, em um psicologismo do conhecimento, em especial, um psicologismo do conhecimento lógicomatemático. Com vistas a buscar as condições necessárias ao uso da função proposicional pelo sujeito, centramos nossa análise em uma das passagens psicológicas cruciais à construção humana do pensamento lógico-matemático, que é a passagem da ação sobre a experiência sensível às primeiras estruturações lógico-matemáticas realizadas pelo sujeito. Visando uma contribuição à Epistemologia e à Teoria do Conhecimento, procuramos explicitar, portanto, como a Lógica Operatória... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The aim of the dissertation is to investigate, by Genetic Epistemology, proposed by Jean Piaget, an issue that we developed from our studies of Operating Logic written by Piaget namely: how the epistemic subject uses and becomes capable of using propositional functions in logical-mathematical structuring that he make of reality? Taking this question as our guiding principle of our researches, we seek to comprehend how does the propositional functions constitutes, one of the fundamental elements of Logic, and which are their relations with the operations logic of "natural" thought performed by the subject. Starting up, we made a brief presentation of Piagetian thoughts, showing, simultaneously, some of the central heritages the history of Piaget ideas. Following, we placed the Essay in Genetic Epistemology context and presented what Piaget mean by Logic, what are their objects and methods in relation to other fields of study, particularly in Epistemology and Psychology. We show that, according to his conception of logic, it's possible a coordination between Logic and Psychology from the genetic epistemology standpoint, however it does not necessarily implicate in a psychologism of the knowledge, in especial, a psychologism of the logicalmathematical knowledge. In an eager to seek the necessary conditions for the subject use of the propositional function, we focused our analysis on one of the crucial passages psychological human construction of logical-mathematical thinking which is the way of action on sensory experience to the first logical-mathematical structuring undertaken by the subject. Aiming the contribution to Epistemology and the Theory of Knowledge, we hope to explain, therefore, as the Operating Logic (the logic of operations "natural" thought of the subject), proposed by Piaget in the Treaty and in the Essay, can be used in the particular case of the propositional function... (Complete abstract click electronic access below) / Mestre

Made available in DSpace on 2016-04-28T19:58:50Z (GMT). No. of bitstreams: 1 Selma Simoes.pdf: 2824155 bytes, checksum: 29fcc1f7855f8f660b27079ecf25b30d (MD5) Previous issue date: 2013-04-29 / The aim of this dissertation is to study nonsense in dialogue incorporated in the narrative process, in Lewis Carroll s masterpieces, Alice s Adventures in Wonderland and Through the Looking-Glass, with the purpose to observe the effects of the lack of coherent meaning in writing and rewriting through the characterization art illustration. In reading those works we verified how two ways of narrating/presenting were brought together by Nineteenth-century through the mediation of the logic of nonsense. Such a connection introduced certain markers in the discourse, and these work out a transposition form the logical to the illogical, in both verbal and non-verbal communication. Such an operation produced events of language, of inversion, and of semantic meaninglessness or emptying of meaning, which were interpreted by the readers- illustrators, as modes of artistic exercise by Lewis Carroll, John Tenniel modern and contemporary illustrators that make up the focus of our texts in the analysis and interpretation. In order to understand mediation of the nonsensical word and recognize it in the modes of creative interpretation exercise, we propose three hypothesis which were expectedly demonstrated and interpreted by resorting the multiple theoretical supports. The first demands the correlation and equivalence between the verbal and visual enunciates counterpoising each other in the communication process. The second indicates the perceptive, semantic and artistic markers of differences present in verbal and visual enunciates as indexing units dialogue replies. The last situates word and image as mediated by nonsense devoid of time-frontiers, pushing Carroll s narratives towards a polysemy of values and senses by means of the art to characterize illustration as works of an infinite significance / O objetivo desta dissertação é o estudo da figura do nonsense nas obras Alice no País das Maravilhas(1865) e Através do Espelho(1872),de Lewis Carroll,integrada ao diálogo no processo do narrar,cuja finalidade é observar seus efeitos sobre a escritura e reescritura pela via da arte de caracterização da ilustração.Ao ler e analisar essas obras,identificamos que a aproximação das duas formas de narrar/mostrar dessas narrativas do século XIX,pela mediação da lógica do nonsense,fazem uso de certos marcadores no discurso,e estes executam um trabalho de transposição da lógica para a não lógica,tanto na comunicação verbal quanto não verbal.Esta transmutação produz eventos de linguagem,de inversão,esvaziamento e negação semânticos,trazidos pelos leitores e ilustradores dessas narrativas como modos de exercício do trabalho artístico realizado por Lewis Carroll,John Tenniel,ilustradores modernos e contemporâneos,que constituem o nosso corpus textual de análise e interpretação.Para atender a essa mediação da palavra nonsensical e poder reconhecê-la nos modos do exercício da interpretação criativa,propomos três hipóteses,que foram demonstradas e interpretadas sob múltiplos suportes teóricos:a primeira,prevê a correlação e a equivalência entre o enunciado verbal e o visual que se contrapõem no processo de comunicação;a segunda aponta para os marcadores das diferenças(semânticas,perceptivas e artísticas)presentes no enunciado verbal e visual como unidades de réplicas do diálogo;a terceira situa o diálogo palavra e imagem mediado pelo nonsense sem fronteiras temporais,impulsionando as narrativas de Carroll à polissemia de valores e sentido pela via da arte de caracterizar da ilustração como obras de significância infinita

Vários métodos estatísticos aplicados à medicina diagnóstica sofreram, nas últimas décadas, enormes avanços. Grande parte destes métodos está voltada ao problema de classificar indivíduos em grupos, sendo que os testes diagnósticos ligados a técnicas de Inteligência Artificial compõem nossa principal aplicação desse trabalho. Estes testes estatísticos são descritos como métodos teoricamente capazes de indicar a presença ou a ausência de uma determinada doença, com certa chance de erro. A quantificação destas chances de erro que é, basicamente, o objetivo destes métodos tem servido a inúmeras aplicações e nesse trabalho é utilizada como fonte de evidências para os procedimentos de análises estruturados em Lógica Paraconsistente. Como a Lógica Paraconsistente é uma lógica não-clássica que aceita contradição em sua estrutura sem invalidar as conclusões, e utiliza em suas análises valores evidenciais, aplicamos aqui os conceitos fundamentais de um tipo de Lógica Paraconsistente denominada de Lógica Paraconsistente Anotada com anotação de dois valores LPA2v. Através dos procedimentos estatísticos e os fundamentos da LPA2v o presente estudo objetiva descrever a situação em que o teste produz uma resposta que não é descrita simplesmente como positivo ou negativo, mas por um resultado que pode ser expresso por uma variável categórica ordinal ou por uma variável contínua que pode ser considerada como grau de evidência. Esse processo é realizado utilizando uma dedução lógica que usa os conceitos da Probabilidade Pragmática na qual se pode efetuar uma ligação entre a teoria probabilística de Bayes e os métodos de aplicação da Lógica Paraconsistente Anotada com dois valores LPA2v. Dessa junção surgiram neste trabalho algoritmos Paraconsistentes que descrevem esse processo. Denominamos o processo de adaptação da Teoria de Bayes para a Lógica Paraconsistente de ParaBayes. Para demonstrar os procedimentos que utilizam os conceitos fundamentais da LPA2v em dados probabilísticos foram extraídos valores evidenciais de um banco de dados que se refere à submissão de um conjunto de casos, contendo uma série de evidências e o diagnóstico de Diabetes, em uma comunidade de índias PIMA. São utilizadas no banco de dados índias PIMA as técnicas dos métodos estatísticos e de raciocínio probabilístico de Bayes para levantamento de dados que foram interpretados e modelados como Graus de Evidência capazes de serem analisados pelos Algoritmos da LPA2v. Neste estudo verifica-se que a extração dos Graus de Evidência não invalida as técnicas estatísticas já estabelecidas, mas confere através da LPA2v novas formas de interpretação baseadas nos resultados e produzindo meios que facilitam o tratamento dos dados por ferramentas computacionais elevando o grau de confiança dos diagnósticos. Uma das observações importantes é que o método LPA2v/Bayes proposto utilizado para extrair evidências é capaz de evitar possíveis distorções no formato da curva que possam advir da seleção inadequada de casos de teste. Os resultados obtidos sugerem que em situações nas quais se tenha uma grande quantidade de casos em que as incertezas exijam métodos estatísticos para formar diagnóstico, esta seja uma boa técnica para se adotar em sistemas de apoio a decisão médica. / Several statistical methods applied to the medicine diagnostic suffered, in the last decades, enormous progresses. Great part of these methods come back to the problem from classifying individuals in groups. Tests that use techniques of Artificial Intelligence compose our main main focus. Statistical tests are described as methods capable to indicate the presence or the absence of a certain disease, with a certain chance of error. The quantification of these error chances that is, basically, the objective of these methods has served to countless applications. In this work it is used as source of evidence for the procedures of analysis structured through Paraconsistent Logic. As Paraconsistent Logic is a non-classic logic that accepts contradiction in its structure without invalidating the conclusions and uses in its analysis values attributed to evidences, we applied the fundamental concepts of a type of Logic denominated Paraconsistent Logic Annotated with two values LPA2v. Through the statistical procedures and the foundations of LPA2v the present study aims at describing the situation where the test produces an answer that is not simply described as \"positive\" or \"negative\", but can be expressed by an ordinal variable or by a continuous variable that can be considered as an evidence degree. That process is obtained using a logical deduction that uses the concepts of the Pragmatic Probability where it can make a connection between the probabilistic theory of Bayes and the methods of Paraconsistent Logic, Annotated with two values, LPA2v. Out of that junction Paraconsistent algorithms appeared in this work that describe the whole process. We denominated the process of adaptation of the Theory of Bayes to Paraconsistent Logic of ParaBayes. To demonstrate the procedures that use the fundamental concepts of LPA2v evidence values were extracted from a database comprising a series of evidences and the diagnosis of Diabetes, in a community of PIMA Indians. The PIMA Indian database was a test-bed field for the techniques of the statistical methods and of reasoning probabilistic of Bayes for rising of data that were interpreted and modeled as Degrees of Evidence capable of being analyzed by the Algorithms of LPA2v. In this study it is verified that the extraction of the Degrees of Evidence doesn\'t invalidate the statistical techniques established, but it allows for new forms of interpretations based on the results and producing means that facilitate the treatment of the data, elevating the trust in the diagnostic. One of the important observations is that the proposed method LPA2v/Bayes used to extract evidence is capable to avoid possible distortions in the format of the curve that is usually the result of inadequate selection of test cases. Results suggest that in situations where a great amount of cases have uncertainties this is a good technique to adopt in medical decision support systems.