Anda di halaman 1dari 13

1

A DISTINO ENTRE ANALTICO E SINTTICO FUNDAMENTADA POR


KANT E BOUTROUX

SANTANA, Geslane Figueiredo da Silva


Mestranda em Educao UFMT
geslanef@hotmail.com
NASCIMENTO, Demilson Benedito do
Doutorando em Educao UFMT
demilson@ufmt.br
OTTE, Michael Friedrich
Prof. Dr. do PPGE Orientador UFMT
michaelontra@aol.com

RESUMO: O presente artigo fruto de estudos tericos sobre a formao e aquisio


do conhecimento matemtico. Indagamos: como so os objetos da Matemtica? So
como os objetos das cincias empricas? Refletimos que na formao do conhecimento
ocorrem dois processos chamados de: analtico e sinttico. Esses processos nos ajudam
a compreender as questes sobre os objetos da Matemtica, de tal forma que nosso
desafio e objetivo se tornou compreender estes mtodos. Para dialogar conosco sobre
estes procedimentos, estudamos a Crtica da Razo Pura de Kant, escrita em duas
edies a primeira em 1781 e a segunda em 1787, pois o consideramos como um dos
pilares para a construo do edifcio da cincia moderna. Para Kant a Matemtica,
diferentemente da lgica formal fornece, por um lado, conhecimentos especficos e
novos, por isso ela deveria ser baseada em juzos ou proposies sintticas e por outro
lado, a Matemtica tambm considerada um conhecimento absolutamente necessrio e
independente de qualquer considerao ou experincia emprica. Este o grande enigma
ou mistrio da Matemtica, como foi explicado por Kant h mais de 200 anos atrs.
Para entender este problema analisamos a obra L'idal scientifique des mathmaticiens:
dans l'antiquit et dans le Temps Modernes, escrita em 1920, por Pierre Boutroux.
Neste livro o autor relata sobre a histria da Matemtica procurando descrever acerca da
formao do conhecimento matemtico, a formao dos conceitos e quais idias e
correntes filosficas moveram as pesquisas dos matemticos. Para tanto, Boutroux
trabalha com a distino entre analtico e sinttico e divide a histria da Matemtica em

pocas, que so classificas ora analtica ora sinttica. O processo utilizado por Euclides
considerado como sinttico, j o mtodo trabalhado por Hilbert analtico. Para o
desenvolvimento desta investigao a metodologia utilizada foi a pesquisa terica e
histrico-bibliogrfica. Nossas expectativas so contribuir com a Educao Matemtica.
Palavras-chave: Analtico; Sinttico; Filosofia da Matemtica; Educao Matemtica;

1. Introduo
O ser humano levado pelo desejo de saber mais sobre si e o mundo. Nesta
busca, o homem primitivo aperfeioou sua linguagem, inventou mitos sobre as origens,
a natureza das coisas e a respeito de si prprio. Portanto, havia uma harmonia entre a
metafsica, a lgica e os conceitos cientficos. Boutroux (1920, p. 181-182) afirma que:
No incio o pensador se limitava a constatar e a observar ao seu redor,
como dizia Plato no com seus olhos, cuja viso rude e limitada aos
objetos sensveis, mas com uma capacidade de perceber intelectualmente,
que corresponde ao esprito, e que lhe permite aprender as verdades
matemticas essenciais. Deste modo foram percebidas as harmoniosas
propriedades do mundo dos nmeros e do mundo das figuras, tambm
aquelas de grandeza mensurveis, nas quais operam as snteses da quantidade
e da figura, a reunio da aritmtica e da geometria (traduo nossa).

O edifcio da cincia clssica foi erguido na poca de Galileu (1564-1642),


Descartes (1596-1650), Newton (1643-1727), Leibniz (1646-1716) e Kant (1724-1804).
Contudo, Immanuel Kant apresenta um resumo deste desenvolvimento em termos
epistemolgicos na obra Crtica da Razo Pura, escrita em duas edies 1781 e 1787,
onde reflete sobre os defeitos e contradies da teoria do conhecimento dos racionalistas
e dos empiristas. Partindo do fato que ambos concordavam que a formao do
conhecimento surgia do confronto entre o sujeito e o objeto, uma separao entre sujeito
e mundo, Kant (1997, B75) definiu que:
O nosso conhecimento provm de duas fontes fundamentais do esprito, das
quais a primeira consiste em receber as representaes (a receptividade das
impresses) e a segunda a capacidade de conhecer um objeto mediante
estas representaes (espontaneidade dos conceitos); pela primeira -nos
dado um objeto; pela segunda pensado em relao com aquela
representao (como simples determinao do esprito). Intuio e conceitos
constituem, pois, os elementos de todo o nosso conhecimento, de tal modo
que nem conceitos sem intuio que de qualquer modo lhes corresponda, nem
uma intuio sem conceitos podem dar um conhecimento.

E estas duas fontes se correspondem com dois tipos de lgica: a lgica geral ou
formal que rege os juzes analticos e a lgica transcendental que gerencia os juzos
sintticos.
Quando vemos um objeto, relatamos: vi uma capivara! Estamos mentindo, pois
capivara um conceito que possui diversas representaes em diferentes idiomas. A
formao do conhecimento ocorre quando vemos um objeto e por meio de nossas
intuies (percepo) e conceitos (construes mentais), definimos o objeto em nosso
pensamento, por isso o objeto capivara como ns percebemos e no como na
realidade. Agora neste percurso de observar at se chegar ao ponto de afirmar: vi uma
capivara! Ocorrem dois processos denominados como analtico e sinttico.
Existem muitas definies para as palavras analtico e sinttico, contudo nos
limitaremos estudar as definies apresentadas por Kant e Boutroux. Escolhemos
Kant, julgando que vrias vias na epistemologia moderna tm a Crtica da Razo Pura
como seu ponto de partida. (...) o kantianismo produziu uma terceira via, entre o
positivismo (os herdeiros de Newton) e o idealismo leibniziano, uma via da qual o
Pragmatismo e o Marxismo se originaram e, muito depois, tambm a Epistemologia
Gentica de Piaget (OTTE, 2008, p. 140).
Enquanto, Boutroux em 1920 escreveu o livro L'idal scientifique des
mathmaticiens: dans l'antiquit et dans le Temps Modernes, onde conta a histria da
Matemtica procurando descrever a formao do conhecimento matemtico, a formao
dos conceitos e quais idias e correntes filosficas moveram cada matemtico em sua
poca. Para tanto, o autor trabalha com a distino entre analtico e sinttico e divide a
histria da Matemtica em pocas, que so classificas ora analtica ora sinttica.
A metodologia utilizada ser a pesquisa histrico-bibliogrfica e estudos tericos
sobre o tema proposto. Espera-se contribuir com a Educao Matemtica.

2. A Formao do Conhecimento
A aplicao ou a percepo tem o problema de generalizar do individual para o
geral ou vice versa. Quando se enxerga alguma coisa, como por exemplo, uma mancha
branca ou verde este ato se transforma num conhecimento apenas quando se percebe
que essa mancha branca um cisne ou essa mancha verde uma rvore etc. Ou seja, a
base dos conhecimentos concretos desse tipo no so apenas as percepes, mas sim as

interpretaes ou os juzos perceptveis. Aristteles chamava esta generalizao de


epagoge e acreditava que:
S aprendemos por induo ou por demonstrao. Ora, a demonstrao faz-se
a partir de princpios universais, e a induo, de casos particulares. Mas
impossvel adquirir o conhecimento dos universais por uma via diferente da
induo (...) e induzir impossvel para quem no tem a sensao.
(ARISTTELES apud BLANCHE; DUBUCS, 1996, p. 79-80)

Assim, induzir a partir de Aristteles o ato sinttico bsico de criar conceitos.


Baseados em Aristteles, Blanche e Dubucs (1996, p.79) salientam:

Todo o conhecimento nos vem em ltima anlise da sensao, mas a


sensao por si s no poder fornecer-nos os princpios, porque s incide
sobre o singular, ao passo que temos realmente necessidade, no princpio dos
silogismos, dos universais. pela induo que passamos do singular para o
universal. A induo fornece ao silogismo um meio de demonstrao, e, por
conseguinte, de cincia. Assim, de fato na sensao que todo o
conhecimento tem a sua fonte, mas, a partir da, intervm o raciocnio, sob
duas formas: primeiro, a induo para obter os princpios, seguidamente, a
demonstrao para deles tirar as conseqncias por via silogstica.

Esta demonstrao semelhante ao processo analtico. Analisar significa


separar, igualmente quando algum analisa um quadro, logo comea a identificar que
existe um ponto vermelho, um trao azul etc. Leibniz e os racionalistas em geral
acreditavam que o processo de anlise finito e dessa maneira eles procuravam fornecer
os conceitos simples, com os quais se inicia a sntese.
Mas tanto Aristteles, Kant, Peirce como os empiristas, no acreditavam que a
anlise tem fim, de modo que, jamais se poderia determinar um objeto individual
atravs de uma descrio exaustiva. Quando se mede uma grandeza o resultado
sempre um intervalo de nmeros e no apenas um nmero distinto, por isso, h nmeros
reais que so representados por fraes decimais infinitas. Para Kant o contnuo o
espao, como uma coisa subjetiva, e por este motivo a sntese vem primeiro, ele
escreveu:

Toda a intuio contm em si um diverso que, porm, no teria sido


representado como tal, se o esprito no distinguisse o tempo na srie das
impresses sucessivas, pois, como encerrada num momento, nunca pode cada
representao ser algo diferente da unidade absoluta. Ora, para que deste
diverso surja a unidade da intuio (como, por exemplo, na representao do
espao), necessrio, primeiramente, percorrer esses elementos diversos e
depois compreend-los num todo. Operao a que chamo sntese da
apreenso, porque est diretamente orientada para a intuio, que, sem
dvida, fornece um diverso. Mas este, como tal, e como contido numa

representao, nunca pode ser produzido sem a interveno de uma sntese.


Assim, o primeiro conhecimento puro do entendimento, sobre o qual se funda
todo o seu restante uso, e que tambm totalmente independente de todas as
condies da intuio sensvel, , pois, o principio da unidade originria
sinttica da apercepo. A simples forma da intuio sensvel externa, o
espao, no ainda conhecimento; oferece apenas o diverso da intuio a
priori para um conhecimento possvel. Mas, para conhecer qualquer coisa no
espao, por exemplo, uma linha, preciso tra-la e, deste modo, obter
sinteticamente uma ligao determinada do diverso dado; de tal modo que a
unidade deste ato , simultaneamente, a unidade da conscincia (no conceito
de uma linha), s assim se conhecendo primeiramente um objeto (um espao
determinado). A unidade sinttica da conscincia , pois, uma condio
objetiva de todo o conhecimento, que me no necessria simplesmente para
conhecer um objeto, mas tambm porque a ela tem de estar submetida toda a
intuio, para se tornar objeto para mim, porque de outra maneira e sem esta
sntese o diverso no se uniria numa conscincia. Esta sntese da apreenso
deve tambm ser praticada a priori, isto , relativamente s representaes
que no so empricas. Pois sem ela no poderamos ter a priori nem as
representaes do espao, nem as do tempo, porque estas apenas podem ser
produzidas pela sntese do diverso que a sensibilidade fornece na sua
receptividade originria. Temos, pois, uma sntese pura da apreenso.
(KANT, 1997, B137-B138/A99-A100).

Considerando a geometria, percebe-se que existem duas maneiras de entender


sua objetividade, por um lado, poderia se considerar os objetos da geometria criados
atravs da epagoge, por outro lado pela construo. No primeiro caso um tringulo geral
seria um contnuo de tringulos particulares, ou seja, uma coisa que no
completamente determinada, enquanto no segundo caso a objetividade resulta das
condies objetivas de cada construo.
Para exemplificar, o primeiro caso, pode-se observar o problema na geometria
do tringulo geral, partindo do fato que um diagrama apresenta apenas uma figura
particular, Berkeley se interrogou, se os leitores do Essay Concerning Human
Understanding, escrito por Locke, poderiam ter uma noo sobre qual descrio deveria
corresponder idia de um tringulo geral. Para essa impossibilidade lgica, Berkeley
props uma soluo semitica, dizendo que: devemos reconhecer que uma idia
considerada particular e torna-se geral quando esta utilizada para representar todas as
outras idias particulares do mesmo gnero (BERKELEY, 1975, p.71, traduo nossa).
Neste sentido um tringulo geral uma varivel livre, como nos termos das
descries axiomticas e no um conjunto de tringulos determinados, sendo assim esta
uma idia que governa e produz representaes particulares, cujas propriedades so
essenciais para um tringulo geral, dependendo do contexto e dos objetivos. Se, por
exemplo, a tarefa provar o teorema em que as medianas de um tringulo se
interceptam em um ponto, o tringulo cuja prova pode ser baseada o tringulo

eqiltero sem perda de generalidade, pois o teorema em questo um teorema da


geometria afim e o fato de que qualquer tringulo equivalente a um tringulo
eqiltero sob transformaes afins facilita consideravelmente a realizao da prova,
devido simetria elevada de um tringulo eqiltero. A objetividade de um tringulo
geral neste sentido semitico resulta do fato que somos capazes de provar teoremas
sobre um tal tringulo (PEIRCE, CP 5.181).
Mas este no o ponto de vista de Kant e tambm no o de Newton que no
prefcio de sua obra Philosophiae Naturalis Principia Mathematica escreveu:

A geometria no nos ensina a traar essas linhas, mas exige que sejam
traadas, pois requer que primeiro que se ensine o aprendiz a descrev-las
com exatido, para que ele possa penetrar na geometria, e depois mostra
como se podem resolver problemas atravs dessas operaes. Descrever retas
e crculos so problemas, mas no problemas geomtricos. A soluo desses
problemas exigida da mecnica, e pela geometria se mostra o uso deles,
quando assim solucionados; e a glria da geometria poder, a partir desse
poucos princpios trazidos de fora, produzir tantas coisas. Por isso, a
geometria fundada pela prtica e mecnica nada mais do que o aspecto
universal da mecnica, ou seja, o matemtico, o gemetra s comea quando
os objetos esto prontos (NEWTON, 2002, p. 275)

Newton considerava que a mecnica era base da geometria. Tanto para Kant
como para Newton a exatido da geometria possvel porque os objetos da geometria
so apenas construes, logo os dois adotam a segunda maneira para se entender a
objetividade da geometria, que atravs da construo. A idia apresentada por Kant
estabelece que, primeiro necessrio construir os conceitos na intuio realizando um
processo sinttico e a base deste mtodo pode-se deduzir logicamente, aplicando assim
o processo analtico, ocorrendo que todo analtico depende de um processo construtivo e
sinttico.
Existem ento duas concepes da geometria e da Matemtica em geral, que
poderiam ser chamadas axiomticas e analticas ou construtivas e sintticas. Mas so
como ns acreditamos, na verdade apenas complementares, porm este assunto est fora
das fronteiras deste artigo. A formao do conhecimento matemtico apresentado por
Kant trouxe notvel influncia sobre o pensamento matemtico.

3. O Conhecimento Matemtico para Kant


H muito tempo surgiram perguntas como: a Matemtica uma cincia
conceitual? A Matemtica tem objetos prprios? O que um nmero? O nmero um

objeto ou um conceito criado para os seres humanos? Historicamente o conhecimento


matemtico gerou muitas controvrsias, os empiristas acreditavam que a Matemtica era
baseada nas abstraes e indues das observaes empricas, enquanto os racionalistas
como Leibniz consideravam a Matemtica como um conhecimento conceitual e
analtico.
Kant acreditava que os empiristas estavam errados, pois no conseguiam
explicar a certeza e necessidade dos argumentos matemticos, ao passo que, os
racionalistas no eram capazes de explicar porque o conhecimento matemtico crescia
diferentemente da lgica, que permaneceu a mesma desde os dias de Aristteles. Kant
se prope a explicar como o conhecimento matemtico possvel, ou seja, como a
Matemtica conseguiu encontrar o caminho certo, ou melhor, dizendo como conseguiu
produzir conhecimentos certos e ao mesmo tempo novos?
Querendo unir certeza e objetividade do conhecimento, Kant tomou a cincia de
Newton como seu ponto de partida para uma anlise epistemolgica, como por
exemplo, as observaes de Newton sobre a origem da preciso da Matemtica levaram
Kant a entender que a fonte de conhecimento pode ser encontrada na atividade
construtiva do sujeito, o que implica que esta atividade no pode ser concebida apenas
na dependncia da vontade e imaginao, mas deve estar objetivamente contida no
sujeito (KANT, 1997, passim).
Sendo assim Tringulo, para Kant, no o nome de uma figura como os
empiristas acreditavam e tambm no pode ser aceito como uma idia platnica, mas
sim como uma regra da construo. Um diagrama ou uma figura apenas um
experimento mental e no um smbolo para um conjunto de figuras empricas, por isso,
na geometria possvel provar teoremas universais e ao mesmo tempo novos. Kant
(1997, B 11) prope que a Matemtica universal e necessria, para explicar sua teoria
e responder sua pergunta ele definiu juzos analticos e sintticos:

Em todos os juzos, nos quais se pensa a relao entre um sujeito e um


predicado (apenas considero os juzos afirmativos, porque fcil depois a
aplicao aos negativos), esta relao possvel de dois modos. Ou o
predicado B pertence ao sujeito A como algo que est contido
(implicitamente) nesse conceito A, ou B est totalmente fora do conceito A,
embora em ligao com ele. No primeiro caso chamo analtico ao juzo, no
segundo sinttico. (...) Os primeiros poderiam igualmente denominar-se
juzos explicativos; os segundos, juzos extensivos; porque naqueles o
predicado nada acrescenta ao conceito do sujeito e apenas pela anlise o
decompe nos conceitos parciais, que j nele estavam pensados (embora
confusamente); ao passo que os outros juzos, pelo contrrio, acrescentam ao

conceito de sujeito um predicado que nele no estava pensado e dele no


podia ser extrado por qualquer decomposio. Quando digo, por exemplo,
que todos os corpos so extensos, enuncio um juzo analtico, pois no
preciso de ultrapassar o conceito que ligo palavra corpo para encontrar a
extenso que lhe est unida; basta-me decompor o conceito, isto , tomar
conscincia do diverso que sempre penso nele, para encontrar este predicado;
, pois um juzo analtico. Em contrapartida, quando digo que todos os corpos
so pesados, aqui o predicado algo de completamente diferente do que
penso no simples conceito de um corpo em geral. A adjuno de tal
predicado produz, pois, um juzo sinttico. (....) Que um corpo seja extenso
uma proposio que se verifica a priori e no num juzo de experincia.

Pode parecer estranho o exemplo dos corpos, pois Kant pressupe que no
possvel ver um corpo sem verificar que ele extenso, ou seja, a distino do analtico e
sinttico depende da estrutura mental dos seres humanos, isto , as duas fontes.
A Matemtica, diferentemente da lgica formal, fornece conhecimentos
especficos e novos, por isso, deveria ser baseada em juzos ou proposies sintticas e
ainda deveria ser a priori.
Ento, Kant empenha-se em explicar: como possvel um conhecimento
sinttico e mesmo assim priori, ou seja, como possvel um conhecimento que no
depende da experincia emprica, mas de provas formais? Sua concluso foi que uma
prova matemtica no poderia ser simplesmente uma corrente de argumentos lgicos,
mas deveria depender de uma intuio reflexiva, pois (...) as verdadeiras proposies
matemticas so sempre juzos a priori e no empricos, porque comportam a
necessidade, que no se pode extrair da experincia (KANT, 1997, B15), os juzos ou
as proposies matemticas so baseados em provas que no deixam dvidas,
significando que, a Matemtica no pode ser fruto de uma experincia emprica.
A Matemtica pura, funda todos os seus conhecimentos e juzos no espao e no
tempo, que so intuies puras e servem de fundamento a priori, de tal modo que,
nunca podem ser eliminadas, sendo classificadas por Kant como: simples formas da
nossa sensibilidade que devem preceder toda a intuio emprica (KANT, 1982, p. 51).
Esta faculdade da intuio a priori diz respeito forma, espao e o tempo do
fenmeno e no da matria deste fenmeno, ela s inteiramente compreensvel se a
tomamos apenas como condies formais da nossa sensibilidade e os objetos como
simples fenmenos. Toda percepo na realidade uma interpretao, antes de
percebermos alguma coisa precisamos de conceitos ou formas, pois sempre percebemos
um objeto como uma coisa, no percebemos objetos que no nos trazem um significado
ou uma relao com algo j conhecido (KANT, 1982, passim). Na realidade tudo o que

se pode apresentar aos nossos sentidos (aos sentidos externos no espao, ao sentido
interno no tempo) por ns percebido apenas como nos aparece e no como em si
(Ibid., 1982, p. 53).
A revoluo da epistemologia inaugurada por Kant, no sculo XVII, pressupe a
objetividade do sujeito humano, onde centraliza o sujeito e suas atividades e no mais o
objeto do conhecimento. A partir de Kant novas teorias se desenvolvem durante os
prximos sculos, entretanto no sculo XIX a Matemtica sofre considerveis
transformaes, tem-se ento o incio da chamada Matemtica Moderna, com novas
teorias e diversas preocupaes, entre estas, encontram-se a Educao Matemtica.
Pierre Boutroux (1880-1922) foi uma testemunha destas mudanas e fez
importantes consideraes em relao formao do conhecimento que est
diretamente ligado a distino entre analtico e sinttico.

4. A Distino entre Analtico e Sinttico na Matemtica Moderna Segundo


Boutroux
O matemtico francs Pierre Boutroux foi historiador e filsofo da Matemtica,
o mesmo era sobrinho do matemtico Jules Henri Poincar (1854-1912) e filho do
filsofo mile Boutroux (1845-1921).
Em seu livro L'idal scientifique des mathmaticiens: dans l'antiquit et dans le
Temps Modernes, Boutroux procura delinear o desenvolvimento da Matemtica como
um todo, objetivando trazer uma melhor compreenso sobre a histria da Matemtica.
Para tanto, ele divide essa histria desde a antiguidade at o sculo XIX, em trs
perodos, que podem ser representados pelos seguintes nomes: I. Plato (429-348)
/Euclides (300 a.C-260 a.C); II. Descartes (1596-1650) /Leibniz (1646-1716)/ Kant
(1724-1804); III. Bolzano (1781-1848) /Cantor (1845-1918).
Dentro desses trs perodos, Boutroux os separa em dois ponto de vista o
primeiro ocorre em I e II que so dedicados a um ideal sinttico da Matemtica e
caracterizados por uma harmonia pr-estabelecida entre o objeto e o mtodo, o autor
escreve: (...) supem um tipo de harmonia pr-estabelecida entre o objeto da cincia
matemtica, entre os objetos que esta cincia almeja e os procedimentos que lhe
permitem atingir estes objetos (BOUTROUX, 1920, p.193, traduo nossa). Enquanto
de II para III, acontece uma ruptura, uma revoluo, uma quebra entre os meios e os
objetos da Matemtica, Boutroux (1920, p.184) explica:

10

O que primeiro nos chama a ateno, quando comparamos a Matemtica de


nosso tempo quela das pocas anteriores, a extraordinria diversidade e o
aspecto imprevisto dos caminhos e os desvios nos quais esta enveredou-se,
a aparente desordem em que ela executa suas idas e vindas, so suas
manobras e mudanas de frente contnuas. A bela unidade que Euclides havia
dado a geometria e que Descartes queria conferir lgebra parece
irremediavelmente perdida (traduo nossa).

Segundo Boutroux os matemticos Descartes, Leibniz e Newton desenvolveram


um mtodo sinttico na Matemtica. Este mtodo sinttico um clculo, portanto uma
combinao de signos, que reduzia a cincia a um trabalho de combinao mecnica.
Enquanto o mtodo analtico, na Matemtica, surge por volta da metade do sculo XIX,
o matemtico desta poca pode ser comparado com:

(...) um construtor, um generalizador, o matemtico tornou-se uma espcie de


inspetor, que analisa maneira de um qumico, uma matria estranha e
infinitamente complexa, tambm, se quiser um explorador, com a tarefa de
se orientar em um continente desconhecido, e que busca descobrir as
riquezas, as regies interessantes, sem alis, saber qual lado deve
exatamente avanar e dirigir sua pesquisa para atingir seu objetivo (Ibid.,
1920, p. 211, traduo nossa).

Boutroux chama a geometria analtica de Descartes, bem como a anlise


algbrica de Leibniz de sinttica. Porque ele faz isso? De onde vem esta diferena entre
a percepo dos prprios protagonistas e o historiador?
No livro 13 dos Elementos de Euclides o mtodo analtico descrito como o
mtodo de procura para as condies de um problema, assumimos o procurado como j
encontrado, igualmente na lgebra de Descartes o procurado representado pelo famoso
x e apenas depois se escreve as condies para determinar as caractersticas desse
nmero desconhecido x, por exemplo, seja o procurado um nmero indeterminado x tal
que x-5 = 0. Ento qualquer determinao ou definio contm uma garantia ou
afirmao da existncia do procurado.
Nos nmeros imaginrios diferente, pois se pergunta: existe um x tal que x 2 +
1 = 0? Entre os nmeros reais esse nmero no existe, na realidade pode-se postular a
existncia como um elemento ideal ou imaginrio, adicionar este elemento aos nmeros
reais e depois verificar se o sistema de nmeros to alargado logicamente consistente.
Hilbert apresentava este exemplo para explicar o que significa o novo mtodo
axiomtico, onde no h garantia de existncia, este mtodo ir requerer apenas a
coerncia lgica, portanto (por causa da falta de garantia de existncia) o novo mtodo

11

axiomtico analtico e o velho sinttico. Para Boutroux o processo dedutivo de


Euclides era chamado de processo sinttico, porque ele comeava a construir novas
verdades base dos axiomas, que eram as verdades bsicas, ou seja, o procedimento
sinttico sempre comea com um objeto ou fato dado e a partir desse desenvolve novas
coisas.
Um axioma no sentido moderno uma mera hiptese e suas conseqncias
devem ser desenvolvidas e testadas. A axiomtica moderna no assume o objeto dado,
mas os axiomas so dados apenas como condies, na qual qualquer objeto da teoria em
questo deveria obedecer. Os axiomas so comparveis s leis da natureza e as leis da
natureza no produzem conhecimento por conta prpria, devem ser aplicadas. (OTTE;
PANZA, 1997, passim).
A principal diferena entre o mtodo de Euclides e o mtodo de Peano e Hilbert,
perceptvel por meio de questionamentos levantados em relao aos objetos. Os
objetos da geometria euclidiana so dados e descritos independentemente da teoria, ou
seja, os objetos so dados antes mesmo que a teoria comece a se desenvolver, j os
objetos na teoria de Peano e Hilbert no existem independentemente da teoria e talvez
nem poderiam existir, como no caso em que o sistema de axiomas inconsistente.
De certa forma os objetos na teoria de Peano e Hilbert, so apenas apresentados
em termos de definies hipotticas, ou seja, eles no so fornecidos e a teoria opera
somente base de conceitos ou definies (implcitas ou explicitas), por isso, Hilbert
disse que o ponto de vista que contm uma teoria axiomtica em poucas palavras: deve
ser possvel substituir nas demonstraes geomtricas todas as palavras como ponto,
linha, plano por mesa, cadeira, jarra (HILBERT apud REID, 1970, p. 246, traduo
nossa). Por exemplo, o primeiro axioma da lista de Hilbert: dois pontos distintos
pertencem a uma e apenas a uma reta. Poderia ser: duas mesas distintas pertencem a
uma mesma cadeira e a uma s (DIEUDONN, 1990, p. 55).
Em certo sentido o sinttico a procura do contato com a objetividade e com os
objetos, em contra partida o analtico apenas um pensamento conceitual, que se
estabelece apenas em um nvel terico da linguagem, onde os objetos so
desnecessrios na realidade.
4. Consideraes
Para Boutroux a pesquisa na Matemtica Moderna analtica, como nas teorias
de Peano e Hilbert, enquanto o ensino da Matemtica ocorre de forma sinttica e

12

deveria ser analtica, a cincia moderna descreve um problema, pois como o progresso
da vida, da cincia e da Matemtica to imprevisvel acaba gerando um abismo dentro
da prpria Matemtica entre o progresso ou a inveno, que totalmente irregular, e a
prova que deveria ser regular.
A Matemtica tem ainda esse ideal de mostrar que o conhecimento irregular no
sentido objetivo em termos de provas rigorosas e de argumentos bem estabelecidos,
ento isso realmente comea a caracterizar a Matemtica Moderna, o contraste entre
progresso e fundamentao, entre intuio e lgica, por isso, Kant importante porque
percebeu que h duas fontes, s vezes, duas fontes marcam um contraste. Este contraste
tambm se encontra na educao diariamente, Boutroux (1920, p. 271-272) relata:

Assim como nos mtodos das descobertas e por razes anlogas, o professor
deve dar ao aluno uma exposio da realidade, que extremamente complexa
e densa, na qual o pensador aplica-se a introduzir uma ordem lgica. Ora, de
que maneira alcanar este objeto, se no empregando juntamente com os
diferentes mtodos os diversos pontos de vista? Assim o professor s poder
aproveitar em suas disciplinas a dupla caracterstica, que de fato para ns o
preo da cincia matemtica: a potncia e a flexibilidade do mtodo, a
verdade e a riqueza da matria (traduo nossa).

Na verdade de um lado o que o professor ensina so as provas e os argumentos,


mas o que deveria ser ensinado ao aluno a criatividade e a maneira de inventar novas
teorias com novos teoremas, em vez de s provar teoremas que j existem, deve-se
mostrar como a prpria natureza da Matemtica Moderna, da cincia moderna e da
Educao Matemtica, pois o problema da educao no apenas um problema social e
psicolgico, mas um problema dentro do prprio conhecimento.

5. Referncias
BERKELEY, George (1910). Philosophical Works: including the works on vision.
Introd. and notes by M. R. Ayers. London: Dent; Totowa, N.J.: Rowman and Littlefield,
1975, 358 p.
BLANCHE, Robert e DUBUCS, Jacques (1970). Histria da Lgica. Traduo de
Antnio Ribeiro e Pedro Duarte. Lisboa: Edies 70, 1996.
BOUTROUX, Pierre. LIdal Sientfique des Mathmaticiens: dans lantiquit et
dans les temps modernes. Paris: F. Alcan, 1920. 274p.

13

DIEUDONN, Jean. A formao da Matemtica Contempornea. Traduo de Hafe


Perez. Lisboa: Publicaes Dom Quixote, 1990. 292p.
EUCLIDES. Os Elementos de Euclides. Traduo e introduo de Irineu Bicudo. So
Paulo: Editora UNESP, 2009, 594p.
KANT, Immanuel. Prolegomenos a toda metafsica futura. Traduo de Artur Moro.
Lisboa: Edies 70, 1982. 191p.
KANT, Immanuel (1787). Crtica da Razo Pura. Traduo de Manuela Santos e
Alexandre Morujo. 4. ed. Lisboa: Fundao Calouste Gulbenkian, 1997. 680p.
NEWTON, Isaac. Newton: textos, antecedentes, comentrios. Org. Bernard Cohen;
Richard S. Westfall. Traduo de Vera Ribeiro. Rio de Janeiro: Contraporto: EDUERJ,
2002, 524p.
OTTE, M. A Realidade das Idias: uma perspectiva epistemolgica para a Educao
Matemtica. Cuiab: EdUFMT (no prelo), 2008a.
OTTE, M.: PANZA, M. Mathematics as an Activity and the Analysis - Synthesis
Distinction. In: OTTE, M.: PANZA, M. (eds.), Analysis and Synthesis in Mathematics:
History and Philosophy. Boston Studies in the Philosophy of Science. Vol. 196. Cidade
Kluwer Academic Publishers, 1997, 261-269p.
PEIRCE, Ch. S.:CP= Collected Papaers of Charles Sanders Peirce, V, I-VI, ed. by
Charles Hartshorne and Paul Weill, Cambridge, Mass. (Harvard UP) 1932-1935, V.
VII-VIII, ed by Arthur W. Burks, Cambridge, Mass. (Harvard UP) 1958 (followed by
volume and paragraph).
REID, C. Hibert. Springer Verlag, Heidelberg, 1970.