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 Ciencias Humanas / Made available in DSpace on 2018-08-04T03:51:10Z (GMT). No. of bitstreams: 1 Castro_MiltonAugustinisde_D.pdf: 2474337 bytes, checksum: 7ed081ca3994305f5b416383e9264734 (MD5) Previous issue date: 2004 / Doutorado / Filosofia / 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