544 1471 1 PB PDF

Sobre Leibniz, Newton e infinitsimos,
das origens do clculo infinitesimal

aos fundamentos do clculo
diferencial paraconsistente
Tadeu Fernandes de Carvalho*
Itala M. Loffredo DOttaviano**
Resumo
Tratamos, neste artigo, do desenvolvimento do clculo infinitesimal, incluindo breves notas
histricas relativas s origens dos infinitsimos e contrapondo as magnitudes infinitesimais de
Leibniz s de Newton. Inclumos, tambm, notas sobre a anlise no-standard de Robinson,
que reintroduz os nmeros infinitesimais nos domnios da matemtica. Destacamos, ainda,
a importncia das idias de Leibniz para o desenvolvimento de extenses no clssicas do
clculo infinitesimal, como o clculo diferencial paraconsistente.
Palavras-chave: infinitsimo; clculo diferencial; lgica paraconsistente.
Abstract
In this paper we present the development of the infinitesimal calculus, including short historical
remarks about the origins of the infinitesimals, and comparing Leibnizs and Newtons conceptions of
infinitesimal magnitudes. We include brief notes about Robinsons non-standard analysis, which
reinstates the infinitesimal numbers in the domains of mathematics. In addition, we highlight
the importance of Leibnizs ideas for the development of non-classic extensions of the infinitesimal
calculus, like paraconsistent differential calculus.
Key-words: Infinitesimal; Differential calculus; Paraconsistent logic.
* Grupo de Estudos e Pesquisas em Educao Matemtica. Centro de Cincias Exatas,

Ambientais e de Tecnologias Faculdade de Matemtica. Pontifcia Universidade
Catlica de Campinas PUC-Campinas. E-mail: tadeu_fc@puc-campinas.edu.br
** Grupo de Lgica Terica e Aplicada CLE/IFCH. Centro de Lgica, Epistemologia e
Histria da Cincia e Departamento de Filosofia. Universidade Estadual de Campinas-

Unicamp. E-mail: itala@cle.unicamp.br
Educ. Mat. Pesqui., So Paulo, v. 8, n. 1, pp. 13-43, 2006

Tadeu Fernandes de Carvalho e Itala M. Loffredo DOttaviano
Introduo
Isaac Newton (1642-1727) e Gottfried Wilhelm von Leibniz (1646-

1716), ainda lembrados como protagonistas da histrica disputa acerca
da paternidade do clculo diferencial e integral, esto no foco de vrias
outras questes conflitantes, tanto dos domnios da matemtica quanto
dos domnios da fsica, da lgica e da filosofia. o caso de sua concepo
de magnitudes infinitesimais e de magnitudes infinitas, cujas aparentes
inconsistncias e contradies so ainda objetos de estudo e discusso.
Pretendemos, no presente trabalho, analisar e discorrer sobre alguns dos
aspectos inconsistentes dos infinitsimos, inclusive sob a tica da lgica
paraconsistente do brasileiro Newton Carneiro Affonso da Costa.
Mas o que so os infinitsimos? Desprezando certas sutilezas que
distinguem suas diferentes concepes, podemos, conforme Bell (1998,
pp. 1-5), consider-los como a menor parte na qual se poderia fracio-
nar um continuum como, por exemplo, a linha reta. Ou, conforme a
Stanford Encyclopedia of Philosophy, em Continuity and Infinitesimals, p. 3,
an infinitesimal may be thought of what remains after a (genuine) con-
tinuum has been subjected to an exaustive methaphysical analysis.... As
quantidades (ou magnitudes) infinitesimais, por outro lado lado, referem-se ao
que poderamos entender como nmeros indefinidamente pequenos menores
do que qualquer nmero real.
Newton e Leibniz introduziram concepes distintas para essas
entidades: os infinitsimos de Leibniz esto fortemente associados com a
lgica e a metafsica, enquanto que os infinitsimos de Newton apresen-
tam forte motivao e conexo com a fsica e os fenmenos naturais. Suas
origens so comuns, porm, remontando poca de Leucipo de Mileto
(que viveu no sculo V a.C, mas do qual no temos informaes precisas
sobre o perodo de vida), criador da doutrina atmica (ou atomismo), e
de seu discpulo Demcrito de Abdera (460-370).
A doutrina atmica de Leucipo e Demcrito contrapunha-se
doutrina dos eleticos, como Parmnides de Elia (530-460), seu funda-
dor, e Zeno de Elia (495-430), caracterizada pela crena na unicidade
e indivisibilidade das entidades verdadeiras e reais, ou seja, pela crena na
continuidade e homogeneidade do espao, do ser e de seus constituintes.
Zeno, a propsito, atravs de seus conhecidos paradoxos, torna-se autor
Os paradoxos de Zeno dizem respeito, basicamente, questo da multiplicidade de

unidades constituintes do continuum, e ao argumento de que o tempo no mais do

14 Educ. Mat. Pesqui., So Paulo, v. 8, n. 1, pp. 13-43, 2006
Sobre Leibniz, Newton e infinitsimos, das origens do clculo infinitesimal
de um dos primeiros e mais marcantes ataques sofridos pelos infinitsi-

mos ao longo de sua histria. Assim como no caso de Zeno, os autores
das inmeras investidas registradas contra os infinitsimos buscavam,
invariavelmente, com base em suas aparentemente incontornveis incon-
sistncias, reduzi-los a fico ou mesmo delrios matemtico-filosficos.
No tardaria mais do que o surgimento de Eudoxo de Cnido (408-355)
e Euclides de Alexandria (325-265) para que esses ataques sistemticos
tivessem sucesso. De fato, as magnitudes infinitesimais no encontrariam
lugar nos espaos euclidianos, ao final da era clssica grega. Suas razes,
no entanto, permaneceriam vivas na Fsica, graas conveniente aceitao
tcita de suas propriedades to inslitas quanto muitas das entidades
s quais eram e continuam sendo aplicadas , bem como na lgica de
Aristteles e em trabalhos de Archimedes de Siracusa (287-212), como
O mtodo (Archimedes, 1950).
Depois de seu ressurgimento formal com Newton e Leibniz, de
sua nova excluso da matemtica, entre meados do sculo XIX e meados
do sculo XX, de seu retorno com a anlise no-standard de Abraham
Robinson (1918-1974) e do advento de lgicas no-clssicas, especial-
mente da lgica paraconsistente de Newton da Costa, os infinitsimos
puderam, finalmente, ser melhor compreendidos e aceitos. Isso no
significa que tenham sido cabalmente decifrados, pois parte de suas
propriedades, aparentemente inconsistentes, s se revela na presena de
um elemento vital e tambm bastante complexo do pensamento cien-
tfico: o conceito de verdade. Conceito subjacente s trs leis bsicas do
pensamento aristotlico: princpio da identidade todo objeto idntico
a si mesmo; princpio da (no-)contradio uma proposio no pode
ser verdadeira e falsa ao mesmo tempo; e princpio do terceiro excludo
toda proposio verdadeira ou falsa, no havendo outra possibilida-
de. Conceito tambm indissocivel do conceito de negao, que teve em
Crsipo de Soles (280-260), introdutor da lgica das proposies, um dos
primeiros a reconhecer o seu importante papel para a lgica. Repousa na
complexidade desses conceitos parte da explicao para o reinado absoluto
da lgica de Aristteles por mais de dois milnios. Reinado que perdurou
que uma sucesso de momentos, como a reta constituda por uma sucesso de pontos.
Sua soluo pode ser considerada um trabalho coletivo, que se estendeu pela histria,
a partir de sua formulao. obra de Newton, Leibniz, Kant, Hume, Weierstrass,
Einstein e da lgica, filosofia e fsica contemporneas.
Educ. Mat. Pesqui., So Paulo, v. 8, n. 1, pp. 13-43, 2006 15

at que novas lgicas surgissem no sculo XX. Lgicas que, associadas

a novas teorias fsicas e matemticas, propiciaram o ressurgimento dos
infinitsimos na matemtica em bases talvez mais slidas.
Leibniz, Newton e os infinitsimos
A noo de infinitsimo, como anteriormente dito, relaciona-se

diretamente com as propriedades do contnuo e remonta Grcia antiga,
por volta do sculo V a.C, aparecendo, por exemplo, na matemtica e
na filosofia dos Pitagricos, de Anaxgoras de Clazomene (499-428), do
filsofo atomista Demcrito e de Aristteles. Mas aparece, de forma mais
explcita e relacionada com as propriedades do clculo, em trabalhos de
Eudoxo e Archimedes (ver Boyer, 1974; Lintz, 1999).
Eudoxo, com base no lema
Se de uma grandeza qualquer se subtrair uma parte no menor

do que sua metade, e do resto se subtrair no menos do que sua
metade, e assim se prosseguir, restar ao final, uma grandeza
menor do que qualquer grandeza da mesma espcie,
desenvolve seu mtodo da exausto, atravs do qual mostra ser possvel

trabalhar de forma finita e precisa no clculo de comprimentos, reas e
volumes.
Archimedes, cerca de um sculo depois, ao utiliz-lo em O mtodo
(Archimedes, 1950), antecipa-se s idias fundamentais da teoria de
limites, diferenciao e integrao, que seriam desenvolvidas apenas a
partir do final do sculo XVII.
Os infinitsimos aparecem no tratado O mtodo, sem magnitude,
por no derivarem da diviso de entes geomtricos, e pela crena de
Archimedes em suas potencialidades, visto j no gozar, poca, da con-
fiana de filsofos e matemticos.
Sua reintegrao matemtica ocorre, de forma mais efetiva, nos
sculos XVI e XVII, graas, em parte, aos trabalhos de Johannes Kepler
(1571-1630), de Galileu Galilei (1564-1642), e de um de seus mais
Referimo-nos, aqui, ao contnuo matemtico, embora a noo de infinitsimo, ou quanti-

dade infinitesimal, possa igualmente ser associada ao contnuo fsico relativo ao espao,
tempo e movimento.

destacados discpulos e sucessor na Universidade de Pisa , Evangelista

Torricelli (1608-1647) (ver Torricelli, 1644), que aplicaram, com relativo
sucesso e rigor, o mtodo infinitesimal fsica e matemtica.
Kepler (1615, pp. 551-646), utiliza transformaes geomtricas
e mtodos infinitesimais no clculo do volume de inmeros slidos de
revoluo, em particular, no clculo do volume de tonis de vinho. Suas
falhas conceituais so compensadas pelo pioneirismo de suas idias.
Galilei (1638) utiliza propriedades dos infinitsimos no estudo de
problemas da mecnica e da dinmica, como no movimento de projteis
e na queda livre de corpos. Um dos resultados obtidos, por exemplo,
assegura que a rea delimitada por uma curva dada pela velocidade de
um mvel em funo do tempo a distncia percorrida pelo mesmo,
no intervalo de tempo considerado. Nessa obra sugerida a existncia
de objetos compostos por partculas minsculas de dimenses infinitesimais,
unidas entre si por uma infinidade de pequenos vazios, o que caracteriza
uma espcie de atomismo matemtico. Galileu, como podemos ver em
Galilei (1890-1909), foi, tambm, um dos primeiros a utilizar o termo
indivisvel, cujo uso mais extensivo, porm, ocorre com seu discpulo Bo-
naventura Cavalieri (1598-1647). Este, em Cavalieri (1966), desenvolve,
mesclando o mtodo da exausto e o mtodo infinitesimal de Kepler, um
novo processo para o clculo geomtrico de reas e de volumes, pelo qual
pode ser considerado um dos mais representativos precursores do clculo
diferencial e integral. Aspectos obscuros de sua obra seriam elucidados
por Torricelli, que em Torricelli (1644) apresenta, de forma pioneira, os
conceitos de derivada e de integral.
Podemos destacar ainda, entre os precursores do clculo diferen-
cial e integral, Ren Descartes (1596-1650), Pierre Simon de Fermat
(1601-1655) e John Wallis (1616-1703) (ver Boyer, 1974; Lintz, 1999).
Baron (1969) apresenta uma comparao entre o mtodo de integrao com recursos
geomtricos de Cavalieri e a integrao clssica.
Wallis, o mais eminente matemtico ingls anterior a Isaac Newton, em 1655, aritme-
tiza, num certo sentido, os indivisveis de Cavalieri (ver Wallis, 1693; Baron, 1969),
substituindo as razes geomtricas de Cavalieri por somas de sries de potncias inteiras
de nmeros naturais; Fermat (1679, ver tambm Fermat, 1891-1922), volume 2,
introduz a representao grfica de funes e estuda problemas de mximos e mni-
mos e de tangncia; e Descartes, em La gomtrie (ver Descartes, 1686) tratado que
integra, praticamente como anexo, a obra Descartes (1637) , cria a geometria analtica
e estuda, algebricamente, propriedades de funes, com o auxlio do clculo.

Mas a paternidade, propriamente, do clculo, dividida entre Newton

e Leibniz.
Newton foi discpulo e sucessor de Barrow (ver Barrow, 1670) em
sua ctedra na Universidade de Cambridge. Motivado em suas pesquisas
na fsica e matemtica, pela fsica de Aristteles e pelo mtodo axiomtico
de Euclides, foi tambm influenciado pelos trabalhos de Wallis, particular-
mente seu trabalho de 1693. Seus trabalhos mais relevantes para o desen-
volvimento do clculo diferencial e integral, na ordem de publicao, so
Philosophiae naturalis principia mathematica (1687), Optics (1704), Universal
aritmethic (1707), Analysis per quantitatum series, fluxiones, ac differentias
(1711), Methodus differentialis (1711), e Methodus fluxionum et serierum
infinitarum (1736) (ver Newton 1671, 1687, 1711 e 1967-1981).
Alguns de seus trabalhos so frutos da compilao de manuscritos
antigos, que relutara em publicar assim que os produzira, como Optics
(1704) e Analysis per quantitatum series, fluxiones, ac differentias (1711),
uma compilao de vrios tratados, dos quais, para o clculo diferen-
cial e integral, o mais importante De analysi per aequationes numero
terminorum infinitas. Escrito originalmente em ingls, De Analysi inclui,
como apndices, os tratados Cubic curves, Quadrature and rectification of
curves by the use of infinite series e Method of fluxiones.
Newton tentou inicialmente, valendo-se de intuies geomtricas
conjugadas com elementos da ento recentemente aperfeioada linguagem
algbrica, dar consistncia lgica e formal ao seu clculo infinitesimal,
construdo como suporte matemtico necessrio construo de um sis-
tema natural baseado em leis naturais universais. Para isso, aperfeioou
o uso do conceito cinemtico de infinitsimo de Barrow e Fermat os
momentary increments (momentos) , mas no evitou a inconsistncia
gerada pelos mesmos, presente no fato de se tratarem de quantidades
ao mesmo tempo no-finitas e no-nulas. possvel que Newton tenha
tido a intuio incompleta das propriedades da moderna teoria de limites,
suficientes, porm, de seu ponto de vista, para permitir que operasse com
Philosophiae naturalis principia mathematica, Livro II, Seo II, Lema II: Inicialmente
explicado que momentos so produzidos por variveis quantitativas chamadas
genita (quantitas genita ou quantidades geradas). Ento enunciado o Lema
O momento de cada genitum igual aos momentos de cada uma des suas partes
geradoras, multiplicados pelos ndices das potncias dessas partes, e por seus coefi-
cientes, continuamente.

a diviso por momentos, desconsiderando-os na seqncia dos clculos,

como se fossem nulos. Tendo assim procedido sem maiores explicaes,
sujeitou-se s crticas daqueles que consideraram ter ocorrido, nos referidos
clculos, de alguma forma, a diviso por zero.
Em Method of fluxiones, Newton apresenta uma nova abordagem
para o clculo, explicitando que suas variveis quantitativas so geradas
pelo movimento e definindo as entidades denominadas fluxes e fluentes.
As quantidades infinitesimais so, pois, trabalhadas cinematicamente, de
tal modo que as variaes infinitesimais da varivel tempo tornam-se parte
do processo que gera magnitudes geomtricas. As quantidades variveis
x recebem o nome de fluentes, e o conceito de derivada obtido a partir
da noo de fluxo x& do fluente x: x& a fluxo do |fluente x; &
x& a fluxo
do fluente x&, etc, enquanto que inversamente, x o fluente do qual
x a fluxo. O momento de um fluente x definido como o acrscimo
ocorrido em x em um perodo indefinidamente pequeno (o) de tempo, e
denotado por o x&.
Newton introduz, atravs dessas entidades, dois tipos clssicos
de problemas do clculo. O primeiro deles equivale a encontrar a flu-
xo associada a fluentes dados, a partir de relaes conhecidas entre os
mesmos, o que corresponde ao processo de diferenciao do clculo usual.
O segundo, um processo inverso do primeiro, equivale determinao
da relao entre as fluxes de dois fluentes, dada a equao que traduz
a relao existente entre tais fluentes, o que corresponde ao processo de
integrao do clculo usual.
Com a persistncia de inconsistncias no processo, Newton, como
terceira alternativa, utilizou as chamadas prime and ultimate ratios (pri-
meiras e ltimas razes), que se aproximam de uma teoria cinemtica de
limites. Contudo, seu trabalho com fluxes e fluentes considerado o de
maior relevncia e brilho.
Leibniz, por volta de 1673, em Paris, recorre a trabalhos de Des-
cartes, de Nicholas Mercator (1620-1687), de Wallis, James Gregory
(1638-1675) e de Henry Oldenburg (1618-1677) para aprofundar seus
Fleuriot e Paulson (1998), usando infinitsimos, conceitos da anlise no-standard,

e recursos do aplicativo Isabelle utilizado para a demonstrao automtica de
teoremas , desenvolvem uma geometria denominada geometria infinitesimal, com a
qual aprofundada a anlise dos resultados introduzidos por Newton em Principia
Mathematica.

conhecimentos matemticos e dar incio ao seu projeto de formalizao

do clculo. Assim como Newton, Leibniz pretendia encontrar um modo
de quantificar fenmenos que variam uniformemente com o tempo, mas
seus objetivos gerais eram diferentes dos de Newton. Leibniz pretendia
dar maior sustentabilidade lgica ao clculo, e se Newton apresentava
uma maior preciso tcnica em seu trabalho, Leibniz apresentava um
maior refinamento lgico e filosfico. do que se vale para incluir em
seus trabalhos, uma reflexo profunda sobre o conceito lgico de igualdade
ou identidade, intimamente relacionado com o conceito de verdade. Por ter
sido o primeiro a formaliz-lo, a Leibniz creditada a autoria do Princpio
da Identidade dos indiscernveis: dois objetos que so indistinguveis, no
sentido de possurem exatamente as mesmas propriedades, no podem
ser, na verdade, dois objetos. Dito de outra forma, esse princpio esta-
belece que se X possui uma propriedade que Y no possui, ento X
diferente de Y.
Sua teoria da verdade, por outro lado, est em conexo com o Prin-
cpio da (no-) contradio e o Princpio da razo suficiente, e impregnada por
sua profunda f e religiosidade. Em Leibniz (2006, Prop. 47), por exemplo,
assim se manifesta sobre a relao entre Deus e as criaturas:
Assim, pois, Deus apenas a unidade primitiva ou substncia

simples originria, e todas as mnadas criadas ou derivadas so
produes suas; e nascem, por assim dizer, por fulguraes con-
tnuas de sua divindade, de momento em momento, limitadas
pela receptividade da criatura, caracterizada pelo atributo de ser
essencialmente limitada.
Sobre a questo da composio do continuum, em particular do

continuum geomtrico, ou da reta, sua posio a de Aristteles: trata-se
de uma entidade que no pode ser resultante da composio de pontos,
meros constituintes das extremidades de segmentos. E como extenso
possvel de segmentos, no pode ser, ela prpria, considerada uma
u-nidade. Mais que isso, o continuum geomtrico considerado por
Leibniz uma entidade ideal, em razo de suas propriedades aparente-
mente contraditrias ou inconsistentes.
Igualmente caracterizadas por propriedades inconsistentes, do
ponto de vista da lgica clssica, so as magnitudes infinitesimais associa-
das ao espao e ao tempo. Leibniz atribui matria, em contrapartida, um

carter discreto, e define suas unidades constituintes como as mnadas

os tomos da matemtica. Embora no caiba aqui um detalhamento desse
conceito, podemos, pelas proposies iniciais de Monadologia (Leibniz,
2006), apresentadas a seguir, conhecer um pouco sobre o pensamento
de Leibniz a esse respeito:
1. A mnada, de que vamos falar nesse tratado, no seno uma
substncia simples, que comparece na formao dos compostos;
simples quer dizer sem partes.
2. necessrio que existam substncias simples, uma vez que
existem compostas; pois o composto no mais do que um
aglomerado, ou agregado, de simples.
3. Por outro lado, onde no h partes, no pode haver extenso,
nem figura, nem divisibilidade. E as tais mnadas so os
verdadeiros tomos da natureza e, em uma palavra, os elementos
das coisas.
Leibniz, em Nova methodus pro maximus et minimis, itemque tangentibus,

quae nec fractas nec irrationales quantitates moratur, et singulare pro illis calculi
genus (Leibniz, 1684, ver Leibniz, 1983), formaliza o clculo diferencial an-
tecipando-se em cerca de trs anos publicao dos Principia Mathematica
de Newton. Nessa obra, utilizando os infinitsimos como instrumentos
teis, embora ficcionais, introduz, sob a notao dx, a noo de diferen-
cial para designar uma quantidade infinitamente pequena, associada a
uma varivel x. As diferenciais so, na verdade, tratadas como segmentos,
dos quais so obtidos os quocientes diferenciais dy/dx. A diferencial e o
quociente diferencial de Leibniz correspondem, respectivamente, ao
momento e fluxo de Newton.
Em Nova methodus aparecem frmulas, como d (xy) = x dy + y
dx e d(x/y) = (y dx x dy)/y2 , em cuja obteno termos como dxdy so
negligenciados por serem infinitesimais uma falta de rigor da qual no
seria poupado, mesmo no interferindo na correo do resultado final.
Com a noo de diferencial, Leibniz estabeleceu, independentemen-
te de Newton, o carter funcional do clculo diferencial e integral, vlido
para variveis associadas a funes contnuas: uma varivel (independente)
y e uma varivel (dependente) x so interdependentes quando uma varia-
o infinitesimal de x acarreta uma variao infinitesimal de y.

Em De geometria recondita et analysi indivisibilium atque infinitorum

(Leibniz, 1686, ver Leibniz, 1983), Leibniz sistematiza o clculo integral,
estabelecendo a notao bsica definitiva para o mesmo, como a notao
x , depois modificada para x dx, para a integrao usual.
Embora o clculo de Newton seja, conceitualmente falando, equi-
valente ao de Leibniz, este ltimo acabou sendo universalmente adotado,
em funo de sua maior adequao notacional situao que perdura
ainda hoje.
Dentre os crticos do clculo infinitesimal, o bispo anglicano Geor-
ge Berkeley (1685-1753) foi o mais notrio. Prova disso que Berkeley
(1734, The analyst), mesmo no sendo a obra que concentra as discusses
mais profundas sobre as inconsistncias do mtodo infinitesimal, a mais
citada. O Item VI de The analyst, de Berkeley (2002) ilustra bem a averso
de Berkeley a tais entidades e ao uso que delas fazem os seus adeptos, que
pejorativamente classifica como modernos analistas:
VI. And yet in the calculus differentialis, which Method serves to all
the same Intents and Ends with that of Fluxions, our modern Analysts
are not content to consider only the Differences of finite Quantities: they
also consider the Differences of those Differences, and the Differences of
the Differences of the first Differences. And so on ad infinitum. That is,
they consider Quantities infinitely less than the least discernible Quantity;
and others infinitely less than those infinitely small ones; and still others
infinitely less than the preceding infinitesimals, and so on without end or
limit. Insomuch that we are to admit an infinite succession of infinitesimals,
each infinitely less than the foregoing, and infinitely greater than the
following. As there are first, second, third, fourth, fifth &c. Fluxions,
so there are Differences, first, second, third, fourth, &c. in an infinite
Progression towards nothing, which you still approach and never arrive
at. And (which is most strange) although you should take a Million of
Millions to the least given Quantity, it shall be never the bigger. For this
is one of the modest postulata of our modern Mathematicians, and it is
a corner-stone or Ground-work of their Speculations.
Crticas como as de Berkeley, contra as quais se insurgiram sim-

patizantes da nova anlise de Newton, como James Jurin (1684-1750)
(ver Jurin, 1734, 1735) e Benjamin Robbins (1707-1751) (ver Robins,
1735), no impediam a divulgao dos trabalhos de Newton e de Leibniz.
Os matemticos suios Jacques Bernoulli (1654-1705) e Jean Bernoulli

(1667-1748), irmos que mantiveram assdua correspondncia com

Leibniz, foram os seus primeiros divulgadores (ver Bernoulli, 1744). Jean
foi professor do Marqus Guillaume F. A. de lHospital (1661-1704), entre
1690 e 1692, a quem teria cedido, supe-se que por via de um obscuro
acordo, descobertas que seriam usadas na redao do primeiro livro so-
bre o clculo infinitesimal, de de lHospital (1696). Nessa obra dado o
melhor tratamento, at ento, ao carter inconsistente das quantidades
infinitesimais, graas axiomatizao utilizada por lHospital, da qual
destacamos os postulados seguintes.
Pode-se tomar, indiferentemente, qualquer uma de duas quantidades que
diferem entre si por uma quantidade infinitamente pequena.
Uma linha curva pode ser considerada como uma coleo de infinitos
segmentos, todos de comprimento infinitesimal, ou seja, pode ser aproximada por
uma linha poligonal com quantidade infinita de lados, todos de comprimento
infinitesimal.
Nesse trabalho fica clara a relao que existe entre a equao da

reta tangente a uma curva, em um de seus pontos, e os incrementos
infinitesimais considerados.
Porm, nem todo esforo dispendido por Newton e Leibniz no
tratamento formal dos infinitsimos e os avanos obtidos com a obra de
lHospital seriam suficientes para garantir a adequao dos infinitsimos
como base segura para a construo do clculo diferencial e integral. o
que mostram matemticos e filsofos da Academia Real de Cincias de
Paris, cujas opinies divergentes sobre o tema dariam incio a um longo
ciclo de discusses entre adeptos e contrrios nova teoria matemtica
de Newton e Leibniz. Destacam-se entre os seus simpatizantes, Pierre
Varignon (1654,-1722) e Joseph Saurin (1659-1737), e entre seus oposi-
tores, Michel Rolle (1652-1719). Foram estes os protagonistas dos maiores
debates sobre o clculo na Academia Real de Cincias de Paris, entre os
anos de 1700 e 1706.
Varignon, por acreditar na existncia real dos infinitsimos ao
que parece crendo ser esta tambm uma convico de Leibniz , apresenta
uma defesa frgil contra os argumentos de Rolle, nos debates que travaram
entre 1700 e 1701 (ver Pin, 1987; Joven, 1997).
A denominao clculo integral, sugerida por Jacques Bernoulli, foi acatada por Leibniz.

Leibniz, manifestando-se junto Academia de Paris, depois de um

perodo um tanto longo de silncio, declara sua descrena quanto exten-
so material dos infinitsimos, ao consider-los fices teis, embora capazes
de justificar propriedades de objetos com existncia real. Isso desagrada
seus adeptos que, como Varignon, nutriam a crena na existncia real dos
infinitsimos. Os debates se estendem at 1706, com o envolvimento mais
direto de Saurin e Rolle, terminando apenas aps a ao conciliatria de
uma comisso, especialmente criada pela Academia para tal fim. Rolle e
seus partidrios saem com a sensao de vitria, considerando que no
fora apresentada por Saurin ou qualquer de seus partidrios, justificativa
rigorosa para a existncia dos infinitsimos.
Foi assim, com os infinitsimos em vias de serem banidos da ma-
temtica e a teoria de limites j despontando no horizonte matemtico,
que Augustin-Louis Cauchy (1789-1857) faria uma das ltimas tentativas
de seu tempo para consolidar o clculo a partir do uso dos infinitsimos,
considerados, agora, como quantidades fixas e no mais como variveis
tendendo a um limite. Seria, no entanto, mais uma tentativa infrutfera.
Cauchy se concentra, ento, na emergente teoria de limites, e em Cauchy
(1821 e 1826-1829), introduz resultados que o tornam um dos mais
importantes precursores do clculo diferencial e integral moderno.
Os contornos definitivos do clculo diferencial e integral seriam
traados por Karl Theodor Wilhelm Weierstrass (1815-1897), com sua
aritmetizao, atravs da qual problemas remanescentes dos trabalhos
de Cauchy seriam sanados. Em particular, a Weierstrass so creditadas
a definio rigorosa de limite atravs dos s e s, e as correspondentes
definies de continuidade, diferenciabilidade e outras noes afins. Entre
seus poucos artigos publicados em vida, destaca-se o de 1854, no qual
introduzida a teoria de funes abelianas. As obras completas de Weierstrass
so editadas apenas entre 1894 e 1927 (Weierstrass 1894-1927), com
uma reedio em 1967.
Destacamos, entre outros matemticos que contribuiram efetiva-
mente para a consolidao da moderna anlise, baseada na teoria de limi-
tes, Cantor com sua teoria do infinito e resultados sobre nmeros ordinais
e cardinais, indispensveis tanto para a lgica quanto para a matemtica
contemporneas (ver Bochenvski, 1951 e 1961; Boyer, 1974).
O retorno dos infinitsimos ao cenrio da matemtica se d com
Abraham Robinson (1918-1974), que em 1996 (reedio revisada da

primeira edio publicada em 1966) apresenta uma nova teoria para a

anlise matemtica, baseada nos infinitsimos e com o uso da teoria de
modelos. Esboada em 1960, essa teoria apresentada em novembro do
mesmo ano em seminrio realizado na Universidade de Princeton, Estados
Unidos, e depois, em janeiro de 1961, no encontro anual da Association
for Symbolic Logic, quando , ento, publicada nos Proceedings of the Royal
Academy of Sciences of Amsterdam (ver Robinson, 1961), sob o ttulo Non-
Standard Analysis. Tendo sido editada como livro em 1966, foi revisada por
Robinson em 1973, e teve sua segunda edio lanada em 1974 verso
que reeditada em 1996 (ver Robinson, 1996). O tratamento a dispen-
sado por Robinson s quantidades infinitesimais reflete de forma precisa,
segundo Stroyan e Luxemburg (1976), as idias originais de Leibniz.
Robinson (1996) estabelece um modelo no-standard de ordem
superior para a aritmtica e um modelo no-standard para a anlise, os
quais preservam suas operaes e propriedades usuais. O primeiro baseia-
se numa extenso no standard do conjunto dos nmeros naturais,
denotada por *, cujos elementos, que incluem nmeros naturais infinitos,
so chamados nmeros hipernaturais. O segundo baseia-se numa extenso
do conjunto dos nmeros reais, denotada por *, que inclui nmeros
reais infinitos e infinitsimos, denominados nmeros hiper-reais. Dentre
suas principais propriedades, destacamos aquelas expressas pelos dois
resultados a seguir, que caracterizam sua relao de ordem e definem os
infinitsimos.
Princpio da Extenso
a) O conjunto dos nmeros reais forma um subconjunto do conjun-

to dos nmeros hiper-reais, e a relao de ordem x < y para os nmeros
reais um subconjunto da relao de ordem para nmeros hiper-reais.
b) H um nmero hiper-real que maior do que zero, mas menor
do que todo nmero real positivo.
c) Para toda funo real f de uma ou mais variveis, corresponde
uma funo hiper-real f* com o mesmo nmero de variveis, sendo f*
denominada uma extenso natural de f.
Uma conseqncia da propriedade (a) que a reta real parte da
reta hiper-real.

Definio
Um nmero hiper-real b um infinitsimo positivo se b positivo

e menor do que todo nmero real positivo.
Um nmero hiper-real b um infinitsimo negativo se b negativo
e maior do que todo nmero real negativo.
Um nmero hiper-real b um infinitsimo se b um infinitsimo
positivo, ou um infinitsimo negativo, ou zero.

Uma conseqncia fundamental dos resultados acima que pode-
mos aplicar funes reais ordinrias, como as que definem as operaes
aritmticas sobre o conjunto dos reais, a nmeros hiper-reais. o caso,
por exemplo, da adio, +, cuja extenso denotada por +*.
H. Jerome Keisler (ver Keisler, 1976) utiliza a anlise no-standard
de Robinson para, em 1969, na Universidade de Wisconsin, elaborar uma
proposta experimental para um curso de clculo baseado no uso de infi-
nitsimos, em lugar da teoria de limites, bem aceito e bastante utilizado
pelas universidades norte-americanas nos anos 70.
Numa perspectiva distinta da de Robinson, da Costa prope um
clculo diferencial paraconsistente, como uma das vrias teorias inconsis-
tentes, mas no-triviais, que podem ser desenvolvidas com o uso da lgica
paraconsistente e da teoria paraconsistente de conjuntos, satisfazendo o
assim denominado Princpio de lHospital (ver da Costa, 2000):
On demande quon puisse prendre indiffremment lune pour lautre

deux quantits qui ne diffrent entrelles que dune quantit infiniment
petite: ou (ce qui est la mme chose) quune quantit qui nest augmente
ou diminue que dune autre quantit infiniment moindre quelle, puisse
tre considre comme demeurant la mme...
Pin (1987) analisa as crticas histricas ao mtodo das fluxes de

Newton e, especialmente, s idias de Leibniz, concluindo que a redeno
deste ltimo vem, de certo modo, atravs de Abraham Robinson, em sua
anlise no standard:
Simplificadamente: duas quantidades finitas, que diferem por uma quantidade infi-
nitamente pequena, so iguais.

El Anlisis no-standard viene a otorgar razn a la intuicin de Leibniz,

a legitimar su instalacin en la apora y, al tiempo, redimile de ella,
a procurar um modelo en el que dos magnitudes que difieren por una
magnitud infinitamente pequena son en el registro al menos, que
interessaba a Leibniz equiparables entre s, sin que ello excluya a tal
diferencia del concepto proprio de magnitud. (p. 101)
Os trabalhos de Robinson e de da Costa pem em evidncia a

importncia de se estabelecer, em bases lgicas e conjuntistas rigorosas,
a linguagem sobre a qual desenvolvida a anlise infinitesimal. A cons-
truo de uma anlise que tenha subjacentes, como no caso de da Costa,
uma lgica e uma teoria de conjuntos paraconsistentes, exige ainda mais
profundos cuidados. Por se tratar de algo intimamente relacionado ao
advento das lgicas e teorias de conjuntos no-clssicas, consolidadas ape-
nas na segunda metade do sculo XX, parece-nos conveniente relembrar
aqui, ainda que de forma bem resumida, o caminho trilhado pela lgica,
de Aristteles ao final do sculo XX.
Os princpios estabelecidos por Aristteles para a lgica, em boa
parte reunidos na coleo de trabalhos conhecida como Organon, mais
especificamente nos Analytica priora e no De interpretatione (ver Aristotle,
1978a e 1978b), mantiveram-se aceitos, praticamente sem discusso,
at o final do sculo XIX. Com o aprofundamento das discusses sobre
a natureza desses princpios, novos sistemas lgicos, ditos no-clssicos,
surgiriam especialmente a partir do incio do sculo XX (ver DOttaviano,
1990; DOttaviano e Feitosa, 2003).
A lgica moderna inicia-se no sculo XVII, com Leibniz (ver
Leibniz, 1966; Leibniz, 1983; Couturat, 1903; DOttaviano, 1992,
DOttaviano e Feitosa, 2003), que teria sido, caso seus trabalhos no
tivessem permanecido quase desconhecidos at o incio do sculo XX,
um dos responsveis diretos pelo desenvolvimento da lgica contempo-
rnea, que ocorreu a partir dessa poca. Conforme podemos inferir de
comentrios de Bertrand Russell em A Critical Exposition of the Philosophy
of Leibniz (Russell, 1900, captulo 1), esse desconhecimento teve como
causa principal o fato de Leibniz no ter reunido em uma grande obra,
suas notveis idias e projetos:
1. Reason why Leibniz never wrote a magnum opus
The philosophy of Leibniz, though never presented to the world as a
systematic whole, was nevertheless, as a careful examination shows, an

unusually complete and coherent system. As the method of studying his

views must be largely dependent upon his method of presenting them, it
seems essential to say something, however brief, as to his character and
circumstances, and as to the ways of estimating how far any given work
represents his true opinions.
The reasons why Leibniz did not embody his system in one great work are
not to be found in the nature of that system. On the contrary, it would have
lent itself far better than Spinozas philosophy to geometrical deduction
from definitions and axioms. It is in the character and circumstances of
the man, not of his theories, that the explanation of his way of writing is
to be found. For evervthing that he wrote he seems to have required some
immediate stimulus, some near and pressing incentive. To please a prince,
to refute a rival philosopher, or to escape the censures of a theologian, he
would take any pains. It is to such motives that we owe the Theodicee, the
Principles of Nature and of Grace and the New Essays, and the Letters
to Arnauld. But for the sole purposes of exposition he seems to have cared
little. Few of his works are free from reference to some particular person,
and almost all are more concerned to persuade readers than to provide the
most valid arguments. This desire for persuasiveness must always be born
in mind in reading Leibnizs works, as it led him to give prominence to
popular and pictorial arguments at the expense of the more solid reasons
which be buried in obscurer writings. And for this reason we often find the
best statement of his view on some point in short papers discovered among
his manuscripts, and published for the first time by modern students, such
as Erdmann or Gerhardt. In these papers we find, as a rule, far less
rhetoric and far more logic than in his public manifestoes, which give a
very inadequate conception of his philosophic depth and acumen.
De acordo com da Costa (1992), o sculo XIX foi um dos perodos

ureos da matemtica, e muito influenciou a cultura e o pensamento
em geral do sculo XX, tendo contribudo, direta ou indiretamente,
para o surgimento da lgica matemtica e, principalmente, das lgicas
no-clssicas.
Os passos essenciais para a introduo do mtodo logstico e da
lgica matemtica foram dados por Friedrich L. G. Frege (1848-1925)
o verdadeiro fundador da lgica moderna , em 1977, juntamente com
Bertrand Russell (1872-1970) e Alfred N. Whitehead (1861-1947),
com Russell, em 1908 e Whitehead e Russell (1910-1913).

Seus trabalhos, juntamente com os trabalhos de Hugh McColl

(1837-1909), Janv ukasiewicz (1878-1956), Nicolaj A. Vasiliev (1880-
1940), Luitzen E. J. Brouwer (1881 1966), Alfred Tarski (1902-1983),
Stanislaw Jasvkowski (1906-1965), Kurt Gdel (1906-1978) e, contempo-
raneamente, de Newton Carneiro Affonso da Costa, foram fundamentais
para que se alterasse o panorama da lgica e da matemtica no sculo
XX, com a formalizao da lgica clssica e o advento e multiplicao
das lgicas no-clssicas.
Frege, em Begriffsschrift, apresenta o clculo proposicional, pela
primeira vez, na forma lgica moderna, introduzindo os princpios que
iriam delinear a doutrina logicista. No entanto, se consegue alcanar
com sua linguagem o rigor que faltava a Cantor, falha na concepo de
alguns princpios, como na do Princpio da Compreenso, que implicava
uma importante inconsistncia, descoberta por Russell, e conhecida como
Paradoxo de Russell (ver DOttaviano e Feitosa, 2000 e 2003).
Com os trabalhos de Frege, Cantor e Russell, principalmente,
desencadeia-se a clebre crise dos paradoxos, entre o final do sculo XIX e
o incio do sculo XX, que leva os matemticos a se conscientizarem da
necessidade de uma reviso cuidadosa dos fundamentos da matemtica.
Russell e Whitehead, com Principia mathematica, consolidam a
posio da corrente logicista e formalizam, pela primeira vez, a lgica
clssica, como proposta de soluo para a chamada crise dos fundamentos
da matemtica, com enfoques distintos da corrente formalista de Hilbert e
da corrente intuicionista de Brouwer.
A formalizao da teoria de conjuntos de Cantor e os trabalhos de
Zermelo, Skolem, Fraenkel, von Neumann e Gdel, entre outros, tam-
bm contriburam fortemente para o aperfeioamento dos fundamentos
da matemtica, via lgica clssica.
Alguns filsofos e matemticos, entretanto, buscaram solues
fora do contexto clssico.
ukasiewicz, em 1910 e no artigo ber der satz von widerspru-
ch bei Aristoteles (1910), discute sobre a posio central do Princpio
da (no-) contradio na lgica e discorre sobre a convenincia de uma
reviso das leis bsicas da lgica aristotlica (ver LeBlanc, 2002). Intro-
duz, posteriormente, em 1920, um clculo proposicional trivalente (3),
Com o livro: Sobre o princpio da contradio de Aristteles: estudo crtico.

que generalizado para clculos com uma quantidade finita qualquer de

valores de verdade e, em 1922, para clculos proposicionais com quan-
tidades infinitas de valores de verdade (ver ukasiewicz e Tarski, 1930;
Borkowski, 1970).
Jasvkowski, discpulo de ukasiewicz, motivado por problemas
diversos relativos a contradies, especialmente os concernentes s
convincing reasoning which nevertheless yield two contradictory conclusions,
constri o primeiro sistema de lgica paraconsistente (D2) em 1948 e
1949, restrito, porm, ao caso proposicional (ver Jasvkowski, 1969). O
sistema D2 de Jasvkowski conhecido como lgica discussiva ou lgica dis-
cursiva (ver DOttavianno, 1992).
O brasileiro da Costa, porm, considerado o verdadeiro fundador
das lgicas paraconsistentes, assim como das teorias paraconsistentes de
conjuntos (ver da Costa, 1963a, 1963b e 1974).
Arruda (1980), da Costa e Marconi (1989), DOttaviano (1990 e
1992), DOttaviano e Epstein (1990), da Costa (1992), Carnielli (1992 e
2000), Feitosa (1997), Carnielli e Marcos (2002) e Pizzi (1992), constituem
referncias importantes, que abordam, sob variados enfoques, o processo
de criao e formalizao das lgicas no-clssicas.
A lgica paraconsistente e a teoria paraconsistente

de conjuntos como base para a edificao de um clculo
diferencial paraconsistente
Sejam T uma teoria (dedutiva) e L a lgica subjacente a T, cuja

linguagem possui um smbolo de negao . A teoria T consistente
se no tiver como teoremas duas frmulas da linguagem de L tais que
uma seja a negao da outra, isto , se no tiver teoremas contraditrios;
caso contrrio, T inconsistente, isto , encerra teoremas do tipo A e A.
Portanto, se uma teoria T inconsistente e em sua lgica subjacente so
vlidas as propriedades usuais da conjuno, ento em T ocorrem con-
tradies A A como teoremas, e reciprocamente.
Uma teoria T trivial (ou supercompleta) se toda frmula (ou toda
sentena) de sua linguagem teorema; caso contrrio, T diz-se no-trivial
(ou no-supercompleta).
Uma lgica paraconsistente simplificadamente falando , se pode
servir de base para teorias inconsistentes, porm no triviais, que so ditas

teorias paraconsistentes. Nas lgicas paraconsistentes, o escopo do princpio

da (no-) contradio , num certo sentido, restrito.
De fato, nas lgicas paraconsistentes, o princpio da (no-) contra-
dio no necessariamente invlido, mas em toda lgica paraconsistente,
de uma frmula e sua negao no possvel, em geral, deduzir qualquer
frmula.
As hierarquias de clculos proposicionais paraconsistentes Cn, de
clculos de predicados paraconsistentes Cn* e de clculos de predicados
paraconsistentes com igualdade Cn= de da Costa, 1 n , foram intro-
duzidas em da Costa (1963a, ver tambm 1974 e 1993). Esses sistemas
so apresentados em uma srie de artigos, a partir de 1963 (ver Arruda,
1980 e 1989; da Costa e Marconi, 1989; DOttaviano, 1990). Sobre a
linguagem do clculo proposicional C1 de da Costa, ver Kleene (1952),
da Costa (1963a, 1963b, 1974 e 1993). A negao bsica do sistema C1,
usualmente denominada negao fraca, denotada por . A negao
*, denominada negao forte, desempenha, nesse sistema, papel
equivalente ao da negao clssica. L-se A como negao de A ou
negao fraca de A, e *A como negao forte de A.
A teoria paraconsistente de conjuntos CHU1 de da Costa, de forma
igualmente simplificada, pode ser vista como uma extenso da teoria
de conjuntos CHU (de Church, 1974) intitulada set theory with universal set
, que corresponde teoria CHU0 da hierarquia CHUn, 0 n de
teorias de conjuntos de da Costa. Detalhes sobre essas teorias podem ser
encontrados em da Costa (1964c, 1965, 1967, 1971 e 1974); Arruda e
da Costa (1964 e 1977); Arruda (1964, 1970a, 1970b, 1975a, 1975b e
1980); Rosser (1953); Forster (1995); da Costa (1986 e 1989), Bziau
(1990 e 1993), e Carvalho (2004).
Um clculo diferencial paraconsistente , satisfazendo o Princpio
de lHospital, pode ser construdo se adotarmos como teoria de conjuntos
subjacente a teoria CHU1 de da Costa, com sua lgica subjacente C1=
(ver da Costa, 2000, e da Costa, Bziau, Bueno, 1998, onde esse clculo
esboado). Carvalho (2004) e DOttaviano e Carvalho (2005) analisam
propriedades dos infinitsimos, introduzem resultados sobre continuidade
e diferenciabilidade, e demonstram um Teorema de Transferncia, mos-
trando que esse clculo estende, efetivamente, o clculo clssico.
O passo inicial para a obteno do clculo a construo da
extenso algbrica A para o anel dos nmeros reais, denominada um

hiperanel, com a definio de variveis infinitesimais e o acscimo dos

infinitsimos aos elementos de ; e de uma outra extenso algbrica de
, o quase-anel A, que contm, alm dos elementos de A, tambm
elementos infinitos. Os elementos de A e de A so denominados n-
meros hiper-reais, reais generalizados, ou, simplesmente, g-reais, dentre
os quais incluem-se os nmeros reais usuais: A A. Os nmeros
infinitesimais e nmeros infinitos so definidos como a seguir.
Definio 2.1. Fixados o intervalo I e o ponto a pertencente ao
interior de I, definimos uma varivel infinitesimal como uma funo real
f: I , tal que lim f(x) = 010.
x a
Com o conjunto das variveis infinitesimais, que denotaremos por
V, podemos definir o conjunto dos nmeros hiper-reais.
Definio 2.2. Fixado o intervalo I e a I, o conjunto dos
nmeros hiper-reais, denotado por A, assim definido:
A =def {r, f : r e f V}.
Na definio acima, quando a varivel infinitesimal f a funo

nula, o hiper-real correspondente, r, 0, pode ser identificado com o real
standard r.
Definio 2.3. Chama-se infinitsimo a todo nmero hiper-real da
forma 0, f, em que f uma varivel infinitesimal.
Definio 2.4. Uma varivel infinita uma funo v, v: I
, tal que
lim v(x) = .
x a
Definio 2.5. Um nmero hiper-real infinito, ou simplesmente um g-

real infinito, um par da forma v, 0, em que v uma varivel infinita.
Definio 2.6. O conjunto dos nmeros hiper-reais estendidos, denotado
por A, definido por
A = {a: a A ou a um hiper-real infinito}.
Essas so as estruturas clssicas para a construo do clculo dife-

rencial paraconsistente P.
10 Igualmente podem ser usados limites laterais na definio das variveis infinitesimais,
observando-se que o conceito de limite aqui utilizado o clssico.

Carvalho (2004) introduz o predicado de quase-igualdade 11 e

os conceitos de superestrutura paraconsistente, de monomorfismo entre
uma superestrutura clssica e uma superestrutura paraconsistente, e de
valorao.
O resultado fundamental obtido por Carvalho (2004) um Teorema
de Transferncia,12 que mostra que qualquer frmula um teorema
do clculo diferencial clssico se, e somente se, uma sua interpretao
(traduo) um teorema do clculo diferencial paraconsistente.
Consideraes finais
O Clculo Diferencial e Integral, uma das maiores conquistas da

matemtica, exalta a genialidade, no s de Newton e de Leibniz, mas de
uma legio de lgicos, fsicos, filsofos e matemticos que os antecede-
ram ou que os sucederam, como Archimedes, Kepler, Galileu, Newton,
Leibniz, Gauss, Cauchy e Weierstrass. Os novos caminhos abertos para
a anlise matemtica a partir do sculo XX, com o advento das lgicas
no-clssicas, introduzem na histria da cincia moderna os trabalhos pio-
neiros de ukasiewicz e Jasvkowski, e, especialmente, de Newton da Costa,
reconhecido como o verdadeiro fundador das lgicas paraconsistentes.
O desenvolvimento de teorias matemticas no-clssicas, como o
clculo paraconsistente, justifica-se pelo avano de pesquisas em distintas
reas de conhecimento, como na fsica, na psicologia, no direito, na com-
putao e na prpria matemtica, que nem sempre encontram elementos
de apoio suficientes nas teorias clssicas. o caso da fsica quntica, da
criptografia qntica, da inteligncia artificial, da teoria da informao e
de estudos da mente, entre outros, cujas fronteiras, cada vez mais indefi-
nidas, concorrem para o estabelecimento acelerado de novos paradigmas
e a reviso contnua de suas teorias.
11 O predicado de igualdade generalizada, ou identidade generalizada, denotado por ,

definido por: t1 t2 =def t1 t2 = , com t1 e t2 termos da linguagem, infinitsimo,
e = o predicado primitivo de igualdade de L.
Alm disso, definimos (t1 t2) por: t1 t2 =def t1 t2.
12 Teorema de Transferncia (Carvalho, 2004, p. 190). Sejam as superestruturas R e S, as
funes de interpretao i e i, e o monomorfismo , e seja (x1, x2,...,xn) uma frmula
de L, cujas variveis livres esto entre x1, x2,...,xn. Nessas condies, (x1, x2,...,xn)
vlida em R segundo a valorao vi se, e somente se, ((x1, x2,...,xn)) vlida em S
segundo a valorao vi.

Devemos considerar, por outro lado, o potencial didtico de um

clculo assim desenvolvido. Sabemos que o clculo diferencial e integral
uma disciplina bsica dos cursos de graduao da rea de cincias exatas,
freqentemente alvo de pesquisas e discusses nas academias, motivadas,
principalmente, pelas dificuldades apresentadas pelos alunos em lidar com
as propriedades pouco intuitivas da teoria de limites. O uso dos infinitsi-
mos, em diversos aspectos, bem mais natural e instigante, especialmente
se associado a noes e aplicaes de lgica e teoria de conjuntos, clssicas
e no-clssicas. H. Jerome Keisler, da Universidade de Wisconsin, ao qual
j nos referimos neste trabalho, assim se expressa sobre os infinitsimos no
Prefcio da segunda edio de sua obra Elementary calculus: an infinitesimal
approach13 (1986):
O uso de infinitsimos apresenta trs importantes vantagens para

o estudante. A primeira sua maior afinidade com os aspectos
intuitivos que conduziram criao do clculo. A segunda que
torna mais simples para o estudante, a compreenso e a utilizao
dos conceitos fundamentais de derivada e de integral. A terceira
que apresenta tanto a abordagem via infinitsimos quanto a abor-
dagem tradicional, munindo o estudante de um ferramental extra,
que pode se tornar progressivamente importante no futuro.
E acrescenta mais frente, ainda no Prefcio:
Recentemente, os infinitsimos tm apresentado estimulantes

aplicaes fora da matemtica, notadamente nos campos da econo-
mia e da fsica. Como bastante natural o uso de infinitsimos na
modelagem de processos fsicos e sociais, essas aplicaes tendem
a crescer em variedade e importncia. Essa uma oportunidade
nica para a descoberta de novas aplicaes para a matemtica,
mas por ora poucas pessoas esto preparadas para tirar vantagens
dessa oportunidade.
John L. Bell, destacado matemtico e filsofo, pode ser citado

como um dos grandes divulgadores contemporneos dos infinitsimos.
Em artigos e livros, como em 1998, expe com clareza e originalidade
13 Obra no mais editada , mas que se encontra disponvel, gratuitamente, na pgina de

H. J. Keisler, na Internet.

aspectos matemticos, lgicos e filosficos sobre o assunto, contemplando

tanto linhas avanadas de pesquisa quanto aspectos didticos bsicos.
Atravs de seu site (Professor John L Bell, Western Ontario University),
Bell disponibiliza muitos de seus artigos e notas de aula. Observamos,
porm, que seu clculo infinitesimal tem origem na teoria de categorias,
e no na lgica ao contrrio do que ocorre com a anlise no-standard
de Robinson, que tem origem na lgica clssica e na teoria clssica de
conjuntos, e com o clculo diferencial paraconsistente, baseado na lgica
paraconsistente e na teoria paraconsistente de conjuntos.
Os infinitsimos associados a esses diferentes modelos do clculo
apresentam particularidades que os diferenciam significativamente uns
dos outros. Os infinitsimos adotados por Bell em A primer of infinitesi-
mal analysis, no so inversveis, em razo de admitirem potncias nulas,
enquanto que os da anlise no-standard e os do clculo paraconsistente
so inversveis. Embora distintos em variados aspectos, conservam a
essncia dos infinitsimos de Newton e de Leibniz: seu uso simplifica a
demonstrao da maior parte dos teoremas em que substituem a teoria de
limites, possuem propriedades aparentemente contraditrias que desafiam
os conceitos lgicos clssicos, mas que, convenientemente operadas, no
produzem contradio. E, o que mais importante, podem, como nos
mostram Robinson, Bell e da Costa, ser trabalhados logica e matemati-
camente, de modo a cumprir seu ideal, traado por Newton e Leibniz, de
servir de base segura para o Clculo Diferencial e Integral.
Referncias
ARCHIMEDES (1950). Works of Archimedes. Captulos introdutrios por

T. L. Heath. Nova York, Dover (com o suplemento The method
of Archimedes).
ARISTOTLE (1978a). De interpretatione. In: HUTCHINS, R. M. (ed.).
Great books of the western world. Trad. E. M. Edghill. Chicago,
Encyclopaedia Britannica, v. 8, pp. 23-36.
_____ (1978b). Analytica priora. In: HUTCHINS, R. M. (ed.).
Great books of the western world. Trad. E. M. Edghill. Chicago,
Encyclopaedia Britannica, v. 8, pp. 37-93.
ARRUDA, A. I. (1964). Consideraes sobre os sistemas formais NFn. Tese.
Curitiba, Universidade Federal do Paran.

ARRUDA, A. I. (1970a). Sur les systmes formels NFi de da Costa. Comptes

Rendus de lAcadmie des Sciences de Paris, t. 270A, p. 1081-1084.
_____ (1970b). Sur le systme NF. Comptes Rendus de lAcadmie des Sciences
de Paris, t. 270A, pp. 1137-1139.
_____ (1975a). Remarques sur les systmes Cn. Comptes Rendus de lAcadmie
des Sciences de Paris, t. 280-A, pp. 1253-1256.
_____ (1975b). Le schma de la sparation dans les systmes NFn. Comptes
Rendus de lAcadmie de Sciences de Paris, t. 280A, pp. 1341-1344.
_____ (1980). A survey of paraconsistent logic. In: LATIN AMERICAN
SYMPOSIUM ON MATHEMATICAL LOGIC, 4. 1978, Santiago,
Chile. Mathematical Logic in Latin America: proceedings. Editado por
A. I. Arruda; N. C. A. da Costa e R. Chuaqui. Amsterdam, North
Holland, pp. 1-41.
_____ (1989). Aspects of the historical development of paraconsistent
logic. In: PRIEST, G.; ROUTLEY, R. e NORMAN, J. (eds).
Paraconsistent Logic: essays on the inconsistent. Philosophia Verlag.
ARRUDA, A. I. e COSTA, N. C. A. da (1964). Sur une hirarchie de
systmes formels. Comptes Rendus de lAcadmie de Sciences de Paris,
t. 259, pp. 2943-2945.
_____ (1977). Une smantique pour le calcul C1=. Comptes Rendus de
lAcadmie des Sciences de Paris, t. 284A, pp. 279-282.
BARON, M. E. (1969). The origins of the infinitesimal calculus. Hungary,
Pergamon Press.
BARROW, I. (1670). Lectiones geometricae. Londres, John Collins.
BELL, J. L. (1998). A primer of infinitesimal analysis. Cambridge, Cambridge
University Press.
BERKELEY, G. (1734). The analyst. Londres, J. Tonson.
_____ (2006). The analyst. Dublin, Trinity College. Verso eletrnica
adaptada por David R. Wilkins a partir de texto de 1898, de
George Sampson. www.maths.tcd.ie/pub/HistMath/People/
Berkeley/Analyst/ Acesso em junho.
BERNOULLI, J. (1744). Opera. Genevae, Cramer & Philibert.
BZIAU, J.-Y. (1990). La logique propositionnelle paraconsistante C1 de N. C.
A. da Costa. Paris, Universit Denis Diderot (Paris 7).
_____ (1993). Nouveaux resultats et nouveaux regard sur la logique
paraconsistante C1. Logique et Analyse, n. 141-142, pp. 45-58.

BOCHENSKI, I. M. (1951). Ancient formal logic. Amsterd, North-

Holland.
_____ (1961). A history of formal logic. Nova York, Chelsea Publishing
Co.
BORKOWSKI, L. (1970). Selected works of J. ukaziewicz. Amsterd,
North Holland.
BOYER, C.B. (1974). Histria da matemtica. Trad. E. Gomide. So Paulo,
Edgard Blcher/Edusp.
CARNIELLI, W. A. (1992). Lgicas no-clssicas, teoria da informao e
inteligncia artificial. In: VORA, F. (ed.). Sculo XX: o nascimento
da cincia contempornea. Campinas, Unicamp (Col. CLE, v. 11).
_____ (2000). Possible translations semantics for paraconsistent logics. In: I
WORLD CONGRESS ON PARACONSISTENCY, 1998, Ghent,
Belgium. Frontiers in Paraconsistent Logic: proceedings. Editado por
D. Batens, C. Mortensen, G. Priest, J. P. van Bendegen. Londres,
Kings College Publications, pp. 116-139.
CARNIELLI, W. A. e MARCOS, J. (2002). A taxonomy of C-systems.
In: CARNIELLI, W. A.; CONIGLIO, M. E. e DOTTAVIANO,
I. M. L. (eds). Paraconsistency: the logical way to the inconsistent.
Nova York, Marcel Dekker (Lectures Notes in Pure and Applied
Mathematics, v. 228).
CARVALHO, T. F. (2004). Sobre o clculo diferencial paraconsistente de da
Costa.Tese de doutorado. Instituto de Filosofia e Cincias Humanas,
Universidade Estadual de Campinas.
CAUCHY, A. L. (1821). Cours danalyse de lcole Royale Polytechnique:
1er partie (analyse algbrique) .In: Oeuvres compltes 2. Paris,
Gauthier-Villars, v. 3.
_____ (1826-1829). Rsum des leons sur le calcul infinitesimal: leons
sur le calcul diffrentiel. In: Oeuvres compltes 2. Paris, Gauthier-
Villars, v. 4.
CAVALIERI, B. (1966). Geometria degli indivisibili di Bonaventura Cavalieri.
Lucio Lombardo-Radice (ed.). Turim, Unione Tipografico - Editorice
Torinese (traduo para o Italiano da edio original, em latim,
de 1635, e da verso pstuma aperfeioada, de 1653 Geometria
indivisibilibus continuorum nova quadam ratione promota).

CHURCH, A. (1974). A formulation of the simple theory of types. Journal

of Symbolic Logic, v. 5, pp. 56-68.
COUTURAT, L. (ed.) (1903). Opuscules et fragments indits de Leibniz.
Paris.
DA COSTA, N. C. A. (1963a). Sistemas formais inconsistentes. Tese (Ctedra).
Curitiba, Universidade Federal do Paran.
_____ ( 1963b). Calculs propositionels pour les systmes formels
inconsistants. Comptes Rendus de lAcadmie de Sciences de Paris, t.
257, pp. 3790-3793.
_____ (1964a). Calculs de prdicats pour les systmes formels inconsistants.
Comptes Rendus de lAcadmie de Sciences de Paris, t. 258, pp. 27-29.
_____ (1964b). Calculs de prdicats avec galit pour les systmes formels
inconsistants. Comptes Rendus de lAcadmie de Sciences de Paris, t. 258,
pp. 1111-1113.
_____ (1964c). Sur un systme inconsistant de thorie des ensembles.
Comptes Rendus de lAcadmie de Sciences de Paris, t. 258, pp. 3144-
3147.
_____ (1965). Sur les systmes formels C1, C1, C1=, Di et NFi. Comptes
Rendus de lAcadmie de Sciences de Paris, t. 260, pp. 5427-5430.
_____ (1967). Une nouvelle hirarchie de thories inconsistantes.
Publications du Dpartement de Mathmatiques. Universit de Lyon,
n. 4, pp. 2-8.
_____ (1971). Remarques sur le systme NF1. Comptes Rendus de lAcadmie
de Sciences de Paris, t. 272A, pp. 1149-1151.
_____ (1974). On the theory of inconsistent formal systems. Notre Dame
Journal of Formal Logic, v. 15, n. 4, pp. 497-510.
_____ (1986). On paraconsistent set theory. Logique et Analyse, v. 115,
pp. 361-371.
_____ (1989). Matemtica e paraconsistncia. Curitiba,UFPR (monografias
da Sociedade Paranaense de Matemtica, v. 7).
_____ (1992). O ambiente matemtico no sculo XIX e a lgica do
sculo XX. In: VORA, F. (ed.). Sculo XIX: o nascimento da cincia
contempornea. Campinas, Unicamp (Col. CLE, v. 11).
_____ (1993). Sistemas formais inconsistentes. Curitiba, Universidade Federal
do Paran.

DA COSTA, N. C. A. (2000). Paraconsistent mathematics. In: I WORLD

CONGRESS ON PARACONSISTENCY, 1998, Ghent, Belgium.
Frontiers in Paraconsistent Logic: proceedings. Editado por D. Batens;
C. Mortensen; G. Priest e J. P. van Bendegen. Londres, Kings
College Publications.
DA COSTA, N. C. A.; BZIAU, J. Y. e BUENO, O. (1998). Elementos de
teoria paraconsistente de conjuntos. Campinas, Unicamp (Col. CLE,
v. 23).
DA COSTA, N. C. A. e MARCONI, D. (1989). An overview of
paraconsistent logics in the 80s. The Journal of Non-Classical Logic,
v. 6, n. 1, pp. 5-31.
DE LHOSPITAL, G. F. A. (1696). Analyse des infiniment petits pour
lintelligence des lignes courbes. Paris, Imprimerie Royale.
DESCARTES, R. (1637). Discours de la mthode pour bien conduire sa raison
et chercher la vrit dans les sciences. Leyde, Jean Maire.
_____ (1686). La gomtrie. Paris, Hermann (1. ed. 1637, 2. ed. 1659-
1661).
DOTTAVIANO, I. M. L. (1990). On the development of paraconsistent
logic and da Costas work. The Journal of Non-Classical Logic, v. 7,
pp. 89-152.
_____ (1992). A lgica clssica e o surgimento das lgicas no-clssicas.
In: VORA, F. (ed.). Sculo XIX: o nascimento da cincia contempornea.
Campinas, Unicamp (Col. CLE, v. 11).
DOTTAVIANO, I. M. L e CARVALHO, T. F. (2005). Da Costas
Paraconsistent Differential Calculus and a Transference Theorem.
2nd Indian International Conference on Artificial Intelligence (II CAI
05): proceedings. Pune, India.
DOTTAVIANO, I. M. L. e EPSTEIN, R. L. (1990). A paraconsistent
many-valued propositional logic: J3. In: EPSTEIN, R. L. The
semantic foundations of logic (com a colaborao de W. A. Carnielli,
I. M. L. DOttaviano, S. Krajewski e R. D. Maddux). Dordrecht,
Kluwer Academic Publishers (v. 1: Propositional Logics, pp. 263-
287).
DOTTAVIANO, I. M. L. e FEITOSA, H. A. (2000). Paraconsistent logics
and translations. Synthese, v. 125, n. 1/2, pp. 77-95.

DOTTAVIANO, I. M. L. e FEITOSA, H. A. (2003). Histria da lgica

e o surgimento das lgicas no-clssicas. In: NOBRE, S. (org.).
Coleo Histria da Matemtica para Professores. Rio Claro, Sociedade
Brasileira de Histria da Matemtica (preprint).
FEITOSA, H. A. (1997). Tradues conservativas. Tese de doutorado.
Instituto de Filosofia e Cincias Humanas, Universidade Estadual
de Campinas.
FERMAT, P. (1679). Varia opera mathematica. Editor D. Petri Fermat.
Tolosae (Tolouse). Apud Joannem Pech.
_____ (1891-1922). Oeuvres de Fermat. Editadas por Paul Tannery e Charles
Henry. Paris, Gauthier-Villars et Fils.
FLEURIOT, J. D e PAULSON, L. C. (1998). A combination of Nonstandard
Analysis and geometry theorem proving, with applications to Newtons
Principia. CADE, p. 3-16. Electronic Editor (Springer Link).
FORSTER, T. E. (1995). Set theory with a universal set. Oxford,
Clarendon.
FREGE, G. (1977). Begriffsschriff: eine der arithmetischen nach gebildete
Formelsprache des reinen Denkens. Hildesheim, Georg Olms Verlag
(publicado originalmente em 1879).
GALILEI, G. (1638). Discorsi e dimostrazioni matematiche intorno a due nuove
scienze. Leide, Louis Elsevier (traduo para o italiano da primeira
edio, em latim, de 1635).
_____ (1890-1909). Le opere di Galileo Galilei. Edizione Nazionale.
Florena, Tip. di G. Barbera.
JASKOWSKI, S. (1948). Rachunek zdan dla systemw dedukcyjnych
sprzecznych. Studia Societatis Scientiarum Torunensis, Sectio A, I,
pp. 55-77.
_____ (1949). O konjuncji dyskusyjnej w rachunsku zdn dla systemw
dedukcyjnych sprzeczcych. Studia Societatis Torunensis, Sectio A, I,
pp. 171-172.
_____ (1969). Propositional calculus for contradictory deductive systems.
Studia Logica, n. 24, pp. 143-157.
JOVEN, F. (1997). Los infinitesimales como ficciones utiles para Leibniz:
la polmica en la Academia de Paris. Theoria, segunda poca, v.
12, n. 2, pp. 257-279.

JURIN, J. (1734). Geometry no friend to infidelity... Cambridge, T.

Cooper.
_____ (1735). The minute mathematician... Londres, T. Cooper.
KEISLER, H. J. (1976). Elementary calculus: an infinitesimal approach. 1 ed.
Boston, Prindle, Weber & Schmidt.
KEPLER, J. (1615). Nova stereometria doliorum vinariorum. Lincii, J.
Pancvs.
KLEENE, S.C. (1952). Introduction to metamathematics. Amsterd/Nova
York, North Holland/Van Nostrand.
LeBLANC, O. (2002). ukasiewicz, Aristotle and contradiction. Polish
Philosophy Page. Disponvel em: http://www.fmag.unict.it/PolPhil/
Lukas/LeBlanc.html Acesso em: 3 jan.
LEIBNIZ, G. W. (1684). Nova methodus pro maximis et minimis, itemque
tangentibus, quae nec fractas, nec irrationales quantitates moratur,
et singulare pro illis calculi genus. Acta Eruditorum. Leipzig.
_____ (1686). De geometria recondita et analysi indivisibilium atque
infinitorum. Acta Eruditorum. Leipzig.
_____ (1965). Monadology and Other Philosophical Essays. Trad. Paule A.
M. Schrecker. Indianpolis, Bobbs-Merrill.
_____ (1966). Logical papers. Trad. G. H. R. Parkinson. Oxford, Clarendon
Press.
_____ (1983). Oeuvre concernant le calcul infinitsimal. Trad. J. Peyroux.
Bordeaux, A. Blanchard.
_____ (2006). Los filsofos y sus textos: Monadologa (texto completo). Disponvel
em: http://cantemar.com/cronolista.html. Consulta: 23 maio.
LINTZ, R. (1999). Histria da Matemtica. Blumenau, Editora da FURB,
v. 1.
UKASIEWICZ, J. (1910). O Zasadzie sprzecznosci u Arystotelesa: studium
krytyczne. Krakw, Akademia Umiejetnosci.
_____ (1910). ber den satz von widerspruchs bei Aristoteles. Bulletin
International de lAcadmie des Sciences de Cracovie: Classe dHistoire de
Philosophie, pp. 15-38 (traduo para o ingls em Borkowski, 1970).
UKASIEWICZ, J. e TARSKI, A. (1930). Untersuchungen ber den
Aussagenkalkl. Comptes Rendus des Sances de la Societ des Sciences
et des Lettres de Varsovie. Classe III, v. 23, pp. 30-50 (traduo para
o ingls em Borkowski, 1970).

NEWTON, I. (1687). Philosophiae naturalis principia mathematica. Londres,

Royal Society.
_____ (1711). De analysi per aequationies numero terminorum infinitas.
Londres, William Jones.
_____ (1736). The method of fluxions and infinite series. Ed. John Colson.
Londres (De methodus fluxionum et serierum infinitarum, 1671).
_____ (1967-1981). The mathematical papers of Isaac Newton. Ed. D. T.
Whiteside. Cambridge, Cambridge University Press (8 v.).
PIN, V. G. (1987). Ontologia e histria del calculus (la tarea de Abraham
Robinson). Theoria, segunda poca, v. 2, pp. 97-119.
PIZZI, C. (1992). Consideraes sobre as lgicas no-clssicas. In:
VORA, F. (ed.). Sculo XX: O nascimento da cincia contempornea.
Campinas, Unicamp (Col. CLE, v. 11, pp. 95-99)
ROBINS, B. A. (1735). A discourse concerning the nature and certainty of
Sir Isaac Newtons methods of fluxions and of prime and ultimate ratios.
Londres, W. Innys & R. Manby.
ROBINSON, A. (1961). Non-standard analysis. Proceedings of the Royal
Academy of Sciences, ser. A, n. 64, pp. 432-440. Amsterd.
_____ (1996). Non-standard analysis (edio revisada da 1 ed. de 1966).
Princeton, Princeton University Press.
ROBINSON, A. e ZAKON, E. (1967). A set theoretical characterization
of enlargements. Applications of Model Theory to Algebra, Analysis and
Probability. C.I.T., Holt, Rinehart and Winston, pp. 109-122.
ROSSER, J. B. (1953). Logic for mathematicians. Nova York, McGraw-
Hill.
RUSSELL, B. (1900). A critical exposition of the philosophy of Leibniz.
Cambridge, Cambridge University Press.
_____ (1908). Mathematical logic as based on the theory of types.
American Journal of Mathematics, v. 30, pp. 222-262. Baltimore,
The Johns Hopkins University Press.
STANFORD ENCYCLOPEDIA OF PHILOSOPHY (2006). Continuity
and Infinitesimals. Disponvel em: http://plato.stanford.edu/entries/
continuity/. Acesso em: 19 jan.
STROYAN, K. D. e LUXEMBURG, W. A. J. (1976). Introduction to the
theory of infinitesimals. Nova York, Academic Press.

TORRICELLI, E. (1644). Opera geometrica. Florena, Amatore Massa &

Laurenzo di Landi.
WALLIS, J. (1693). Johannis Wallis opera mathematica (3 v.). Oxoniae, E
Theatro Sheldoniano.
WEIERSTRASS, K. T. Z. (1854). Zur theorie der abelschen functionen.
Crelles Journal. Berlim.
_____ (1894-1927). Mathematische werke von Karl Weierstrass. Berlim,
Mayer & Mller.
WHITEHEAD, A. N. e RUSSELL, B. (1910-1913). Principia mathematica.
Cambridge, Cambridge University Press.
Recebido em jun./2006; aprovado em jun./2006.

544 1471 1 PB PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

544 1471 1 PB PDF

Uploaded by

Copyright:

Available Formats

Sobre Leibniz, Newton e infinitsimos,

das origens do clculo infinitesimal

* Grupo de Estudos e Pesquisas em Educao Matemtica. Centro de Cincias Exatas,

Histria da Cincia e Departamento de Filosofia. Universidade Estadual de Campinas-

Educ. Mat. Pesqui., So Paulo, v. 8, n. 1, pp. 13-43, 2006

Isaac Newton (1642-1727) e Gottfried Wilhelm von Leibniz (1646-

Os paradoxos de Zeno dizem respeito, basicamente, questo da multiplicidade de

de um dos primeiros e mais marcantes ataques sofridos pelos infinitsi-

Educ. Mat. Pesqui., So Paulo, v. 8, n. 1, pp. 13-43, 2006 15

at que novas lgicas surgissem no sculo XX. Lgicas que, associadas

Leibniz, Newton e os infinitsimos

A noo de infinitsimo, como anteriormente dito, relaciona-se

Se de uma grandeza qualquer se subtrair uma parte no menor

desenvolve seu mtodo da exausto, atravs do qual mostra ser possvel

Referimo-nos, aqui, ao contnuo matemtico, embora a noo de infinitsimo, ou quanti-

destacados discpulos e sucessor na Universidade de Pisa , Evangelista

Educ. Mat. Pesqui., So Paulo, v. 8, n. 1, pp. 13-43, 2006 17

Mas a paternidade, propriamente, do clculo, dividida entre Newton

a diviso por momentos, desconsiderando-os na seqncia dos clculos,

Fleuriot e Paulson (1998), usando infinitsimos, conceitos da anlise no-standard,

Educ. Mat. Pesqui., So Paulo, v. 8, n. 1, pp. 13-43, 2006 19

conhecimentos matemticos e dar incio ao seu projeto de formalizao

Assim, pois, Deus apenas a unidade primitiva ou substncia

Sobre a questo da composio do continuum, em particular do

carter discreto, e define suas unidades constituintes como as mnadas

Leibniz, em Nova methodus pro maximus et minimis, itemque tangentibus,

Educ. Mat. Pesqui., So Paulo, v. 8, n. 1, pp. 13-43, 2006 21

Em De geometria recondita et analysi indivisibilium atque infinitorum

Crticas como as de Berkeley, contra as quais se insurgiram sim-

(1667-1748), irmos que mantiveram assdua correspondncia com

Nesse trabalho fica clara a relao que existe entre a equao da

Educ. Mat. Pesqui., So Paulo, v. 8, n. 1, pp. 13-43, 2006 23

Leibniz, manifestando-se junto Academia de Paris, depois de um

primeira edio publicada em 1966) apresenta uma nova teoria para a

a) O conjunto dos nmeros reais forma um subconjunto do conjun-

Educ. Mat. Pesqui., So Paulo, v. 8, n. 1, pp. 13-43, 2006 25

Um nmero hiper-real b um infinitsimo positivo se b positivo

On demande quon puisse prendre indiffremment lune pour lautre

Pin (1987) analisa as crticas histricas ao mtodo das fluxes de

El Anlisis no-standard viene a otorgar razn a la intuicin de Leibniz,

Os trabalhos de Robinson e de da Costa pem em evidncia a

Educ. Mat. Pesqui., So Paulo, v. 8, n. 1, pp. 13-43, 2006 27

unusually complete and coherent system. As the method of studying his

De acordo com da Costa (1992), o sculo XIX foi um dos perodos

Seus trabalhos, juntamente com os trabalhos de Hugh McColl

Com o livro: Sobre o princpio da contradio de Aristteles: estudo crtico.

Educ. Mat. Pesqui., So Paulo, v. 8, n. 1, pp. 13-43, 2006 29

que generalizado para clculos com uma quantidade finita qualquer de

A lgica paraconsistente e a teoria paraconsistente

Sejam T uma teoria (dedutiva) e L a lgica subjacente a T, cuja

teorias paraconsistentes. Nas lgicas paraconsistentes, o escopo do princpio

Educ. Mat. Pesqui., So Paulo, v. 8, n. 1, pp. 13-43, 2006 31

hiperanel, com a definio de variveis infinitesimais e o acscimo dos

Na definio acima, quando a varivel infinitesimal f a funo

Definio 2.5. Um nmero hiper-real infinito, ou simplesmente um g-

Essas so as estruturas clssicas para a construo do clculo dife-

Carvalho (2004) introduz o predicado de quase-igualdade 11 e

O Clculo Diferencial e Integral, uma das maiores conquistas da

11 O predicado de igualdade generalizada, ou identidade generalizada, denotado por ,

Educ. Mat. Pesqui., So Paulo, v. 8, n. 1, pp. 13-43, 2006 33

Devemos considerar, por outro lado, o potencial didtico de um

O uso de infinitsimos apresenta trs importantes vantagens para

E acrescenta mais frente, ainda no Prefcio: