Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/279952
Type: TESE
Degree Level: Doutorado
Title: Sobre o calculo diferencial paraconsistente de da Costa
Author: Carvalho, Tadeu Fernandes de
Advisor: D'Ottaviano, Itala Maria Loffredo, 1944-
Abstract: 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
Subject: Costa, Newton Carneiro Affonso da, 1929-
Cálculo diferencial
Análise matemática
Lógica - Estudo e ensino
Lógica simbólica e matemática
Teoria dos conjuntos
Language: Português
Editor: [s.n.]
Date Issue: 2004
Appears in Collections:IFCH - Tese e Dissertação

Files in This Item:
File SizeFormat 
Carvalho_TadeuFernandesde_D.pdf5.72 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.