Sobre o calculo diferencial paraconsistente de da Costa

AUTOR(ES)

Tadeu Fernandes de Carvalho

DATA DE PUBLICAÇÃO

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

ASSUNTO(S)

logica simbolica e matematica calculo diferencial logica analise matematica teoria dos conjuntos

Documentos Relacionados

• Da lógica paraconsistente à quase-verdade: um exame de dois trabalhos de Newton da Costa.
• A Contribuição de José Saturnino da Costa Pereira para o Cálculo das Variações
• Geometria dinâmica e o cálculo diferencial e integral
• Cálculo da elasticidade de cristais líquidos nemáticos através de métodos da geometria diferencial
• O insucesso no ensino e aprendizagem na disciplina de cálculo diferencial e integral