Calculus infinitesimalis: uma teoria entre a raz o e o mito? Calculus infinitesimalis: a theory between reason and myth?

Neste artigo percorremos parte dos caminhos históricos e lógico-matemáticos que unem o cálculo infinitesimal à análise n o-standard de Abraham Robinson, e esta ao cálculo diferencial paraconsistente - um cálculo proposto por Newton da Costa, que tem como lógica e teoria de conjuntos subjacentes a lógica paraconsistente e a teoria paraconsistente de conjuntos. Exibimos, para esse cálculo, algumas propriedades e conceitos inéditos, incluindo um teorema de transferência que, de forma simplificada, estabelece as condi es sob as quais um teorema do cálculo clássico é, também, um teorema do cálculo paraconsistente. Concluiímos com algumas considera es acerca do ensino do cálculo com ênfase na abordagem infinitesimal. In this paper we go through the historical, logical and mathematical paths which join infinitesimal calculus to the non-standard analysis of Abraham Robinson, and this to paraconsistent differential calculus - a calculus proposed by Newton da Costa, supported by paraconsistent logic and paraconsistent set theory. We present for this calculus, some unpublished concepts and properties, including a transfer theorem establishing the conditions under which a given formula is a theorem of classical calculus if, and only if, there is an "interpretation" of the same which is a theorem of paraconsistent calculus. We conclude the paper with some considerations about the teaching of Calculus with emphasis on use of infinitesimal approach.