Defesas Tese de Tadeu Fernandes de Carvalho Sobre o cálculo diferencial paraconsistente de da Costa Tese Filosofia