Sobre o cálculo diferencial paraconsistente de da Costa

Desenvolvemos, nesse trabalho, alguns princípios básicos de um Cálculo Diferencial Paraconsistente. Como elementos motivadores apresentamos, na Introdução, alguns dados sobre o desenvolvimento 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. Apresentamos no Capítulo 1, propriedades básicas das hierarquias dos sistemas Cn, Cn* e Cn=, destacando o sistema C1=, e teorias paraconsistentes de conjuntos, destacando o sistema paraconsistente CHU1, 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, à la da Costa. No Capítulo 3 descrevemos algumas propriedades básicas de superestruturas, e introduzimos superestruturas paraconsistentes, para obter um Teorema de Transferência entre o cálculo clássico e o cálculo paraconsistente.