Bernard Bolzano:

O conceitualismo e a intuio
na Educao Matemtica
Bernard Bolzano:
Conceptualism and intuition
in Mathematical Education
Humberto Clmaco1
Michael Otte2.

Resumo
Bolzano, conhecido como o pai da arit-
metizao da matemtica, tornou-se conhe-
cido devido clareza exemplar de conceitos,
mas muitos educadores matemticos atuais no
valorizam esta virtude, no percebendo que no
h tanta diferena entre calcular formalmente
ou agir intuitivamente (afinal, no to impor-
tante se as regras de agir so explicitas ou im-
plcitas), desde que sirva para formar conceitos,
que era a preocupao de Bolzano. Neste traba-
lho mostramos a ligao de sua obra com a bus-
ca por clareza e comunicao do conhecimento
(portanto de didtica), e analisamos como sua
noo de didtica pode contribuir para os deba-
tes atuais da Educao Matemtica.
Palavras-chave: Bernard Bolzano. In-
tuio. Explicao. Pensamento conceitual.
Educao Matemtica.
Abstract
Bolzano is known among historians of
mathematics as the father of arithmetization
of mathematics but his pedagogical and di-
dactical efforts are little appreciated among
educators of mathematics. Formal calcula-
tion and the intuitive approach are not so
different as it might appear (and have jointly
dominated mathematical thinking up to the
19th century), such that the real alternative
to such limitations seems to be a thoroughly
conceptual approach to mathematics. Such
were Bolzanos beliefs and the present paper
tries explain that and make Bolzanos appro-
ach fertile to mathematics education and to
mathematical epistemology.
Keywords: Bernard Bolzano. Intuition.
Explanation. Conceptual thinking. Mathema-
tical Education.

1 Professor substituto no Instituto de Matemtica e Estatstica da Universidade Federal de Gois e mestre

pela Universidade Federal de Mato Grosso. E-mail:<haclimaco@yahoo.com>.
2 Professor Emrito do Instituto de Didtica da Matemtica da Universidade de Bielefeld Alemanha e
Professor Visitante do Programa de Ps Graduao em Educao da Universidade Federal de Mato Grosso.
E-mail: <michaelontra@aol.com>.

R. Educ. Pbl. Cuiab v. 19 n. 39 p. 165-180 jan./abr. 2010

 166 Educao em Cincias e Matemtica

Introduo

Neste artigo mostramos que toda a obra de Bolzano est profundamente

ligada sua busca por clareza na comunicao do conhecimento (portanto de
didtica), analisando de que forma sua noo de didtica pode contribuir para os
debates atuais da Educao Matemtica.
Atualmente, quando se discute a relao entre saber cientfico e saber escolar,
entre abstrao e intuio, e quando este debate se revela particularmente
caloroso e intenso na Educao Matemtica por ser a Matemtica talvez o
ramo do conhecimento em que o saber abstrato teve mais alcance, o que justifica
sua capacidade de aplicao nas mais diversas reas e sua quase inquestionvel
obrigatoriedade no ensino em todo o mundo o resgate da obra de Bolzano e seu
dilogo com os grandes clssicos da filosofia das cincias, pode ser um importante
elemento para compreendermos e fundamentarmos melhor este debate.
Bolzano conhecido pelos matemticos como aquele que demonstrou o
Teorema de Bolzano, o Teorema do Valor Intermedirio, e como quem deu
a primeira demonstrao do teorema que, modificado por Weierstrass, ficou com
o nome de Teorema de Bolzano-Weierstrass. Mas, poucos matemticos sabem
que resultados importantes como o critrio de convergncia de Cauchy, bem
como uma definio rigorosa da continuidade e do infinito, foram feitos pela
primeira vez por Bolzano (BOLZANO, 1817/1980; SEBESTIK, 1992).
Na Filosofia, Bolzano conhecido como o primeiro pensador a afirmar
que o pensamento se baseia na maneira como ns o representamos e por isso,
para se buscar a verdade, temos que comear perguntando o que significa uma
proposio. Esta abordagem da Filosofia, muito aceita aps o perodo em que
Bolzano viveu, chamada semntica.
A obra filosfica de Bolzano inseparvel de sua obra matemtica. Bolzano
foi talvez o primeiro matemtico moderno, mas no o nico dentre os criadores
da Matemtica pura (Weierstrass, Grassmann e Dedekind, por exemplo), que se
preocupou com o ensino. Esta preocupao, por sua vez, tem ntima conexo
com sua nfase no rigor matemtico e cientfico. Por isso muito importante
que os debates atuais sobre transposio didtica levem em conta este terico que
foi, talvez, o primeiro que formulou Matemtica pura e, ao mesmo tempo, se
preocupou com a transposio deste conhecimento, tomando essa transposio
com um mtodo de construo da Matemtica.
Toda tentativa de resolver um problema qualquer, ou de responder a uma questo,
deve necessariamente refletir sobre o contexto histrico e filosfico da situao. Neste
artigo, pretendemos oferecer tal reflexo para melhor entender um paradoxo.

R. Educ. Pbl. Cuiab, v. 19, n. 39, p. 165-180, jan./abr. 2010

 Bernard Bolzano: O conceitualismo e a intuio na Educao Matemtica 167

O paradoxo consiste em que a concepo de Matemtica de Bolzano o

resultado de uma preocupao pedaggica e didtica, por um lado, e que, por
outro, esta concepo , nos dias atuais, frequentemente considerada formal,
terica e at mesmo antididtica. Este paradoxo representa um problema objetivo
do ensino de qualquer disciplina, pois se por um lado todo aluno tem de construir
seu prprio conhecimento para realmente entender, por outro, o chamado
discovery learning3 no suficiente para alcanar um nvel satisfatrio. O professor
tem uma tarefa quase impossvel, que consiste em ensinar um conhecimento
sem entreg-lo pronto, pois o aluno s entende aquilo que descobriu por si s
(BROUSSEAU, G.; OTTE, M. 1991).
Desde o Renascimento, com Descartes, considerou-se que a Matemtica
deveria basear se na intuio; Kant acentuaria e fundamentaria tal base: os
modernos (Descartes at Kant) se diferenciaram dos antigos (ou seja, dos
aristotlicos), pela crena em que o fundamento de qualquer conhecimento
o sujeito e suas maneiras de pensar e no o objeto de conhecimento. A
revoluo copernicana da epistemologia de Kant representa, de fato, a ltima
pedra de um castelo que foi construdo pelo menos desde o Renascimento
(SCHMITT, 2008).
Benjamin Nelson chamou a ateno para o fato de que o maior estmulo
da Revoluo Cientfica do sculo XVII resultou de mudanas nos hbitos e
no estilo de pensamento e, especificamente, da busca pela certeza individual.
As Regulae de Descartes, de 1628, so uma expresso clara dessa nova
atitude. Descartes afirma ter que assumir o hbito de confiar s em que
completamente evidente e incapaz de ser duvidado e de rejeitar tudo que
meramente conhecimento provvel (REGULA II).
Descartes tambm contrastou o discurso matemtico, que se destaca por
causa da certeza e da evidencia de suas razes, com a retrica e eloqncia, que
servem mais para persuadir as pessoas do que para educ-las. Geralmente, os
matemticos foram contrastados com os retricos (como telogos ou juristas),
desde o sculo XVI e foi considerado to ridculo exigir demonstraes dos
ltimos como esperar eloquncia dos primeiros, ou seja; Matemtica e
Linguagem foram consideradas opostos.
A racionalidade e a certeza das cincias e da Matemtica foram consideradas
por positivistas e modernos, em geral, consequncias de seu mtodo universal.
As tentativas de aritmetizar a Matemtica e da Geometria de Descartes (1637)
at Hilbert (1899) so uma clara expresso dessa atitude. A cincia aristotlica,

3 Aprendizado por meio da descoberta

R. Educ. Pbl. Cuiab, v. 19, n. 39, p. 165-180, jan./abr. 2010

 168 Educao em Cincias e Matemtica

em contraste, sempre foi caracterizada pela homogeneidade entre mtodo e

objeto. Por exemplo, no eram admitidos mtodos algbricos na prova de
teoremas geomtricos e nem argumentos geomtricos ser usados na lgebra e
na anlise. Da resultou a distino entre provas que provam, ou seja, que s
trazem certeza e convico subjetiva, e provas que explicam, considerando as
primeiras meras verificaes, enquanto as segundas mostrariam os fundamentos
objetivos de tais verdades.
Bolzano, que num certo sentido, retomou Aristteles (JONG, 2001)
fundamentou a Matemtica, em contraste, na noo de prova rigorosa, e
considerava a homogeneidade aristotlica entre mtodo e objeto essencial e por
consequncia distinguiu entre estes dois tipos de provas. Esta distino resulta
da diferenciao entre as coisas que aparecem antes no processo de pensamento,
em contraste com outras que tm prioridade no sentido da estrutura objetiva do
conhecimento. Foi Aristteles o primeiro a nos alertar para o fato de que o que
aparece em primeiro lugar na percepo e no pensamento no necessariamente
o mais fundamental de um ponto de vista objetivo4. Se fosse diferente, e se
tudo fosse tal como aparece diante de ns, ento, todo e qualquer ensino seria
suprfluo e desnecessrio!
Bolzano viveu numa poca em que a transmisso de conhecimento
ganhava importncia, devido ao fato de que ocorriam grandes mudanas na
cincia e na sociedade, exigindo que o conhecimento, que antes era restrito a
poucos, se expandisse.
Assim, a Matemtica deixava de ser algo apenas de uma pequena comunidade
de matemticos, voltada, muitas vezes, para um saber especulativo e pouco
prtico; em particular, as necessidades da Revoluo Industrial exigiram que
a Matemtica passasse a ser objeto de estudo de muitos, e assim surgiram as
primeiras grandes turmas de engenharia.
Bolzano rompeu com a tradio moderna ao tirar do centro das atenes o
sujeito e colocar a comunicao e o sujeito social (no individual) em primeiro
lugar. Por isso, a comparao entre as noes de Matemtica de Kant e de
Bolzano so to frteis e permitem abordarmos temas to amplos!

4 Para mostrar esta diferena, Aristteles apresenta o seguinte exemplo. Seja C apontando para planetas,
B para no brilhante, e A estar perto. Ento verdade estabelecer B de C... Mas tambm verdadeiro
estabelecer A de B; ... Ento A deve se aplicar a C; ento est provado que os planetas esto perto.
Ento este silogismo prova no a razo mas o fato, porque no devido a que planetas no brilham que eles
esto pertos, mas porque eles esto perto eles no brilham (Aristteles, Post. Anal., Livro I, cap. 13, 781-b).

R. Educ. Pbl. Cuiab, v. 19, n. 39, p. 165-180, jan./abr. 2010

 Bernard Bolzano: O conceitualismo e a intuio na Educao Matemtica 169

1. Apresentao de Bolzano e de sua Teoria da Cincia (Wissenschaftslehre)

Bernard Placidus Johann Nepomuk Bolzano nasceu em cinco de outubro
de 1781, em Praga, na Bomia, regio que atualmente faz parte da Repblica
Tcheca, mas que ento compunha o Imprio Austraco. Faleceu em 1848. Estudou
Filosofia, Teologia e Matemtica na Faculdade de Filosofia da Universidade Carl-
Ferdinand de Praga. Aps terminar seus estudos, em 1804, Bolzano tornou-se
padre, e inicialmente pretendia estudar mais a fundo a Matemtica e a Filosofia de
Kant, autor cuja obra estava, na poca, banida da ustria.
Em 1804, Bolzano obteve o ttulo de professor de cincias da religio catlica
na Universidade de Praga e, em 1811, obteve efetivamente o direito de professar
suas prprias doutrinas; mas, em 1819 foi demitido devido s acusaes de estar
associado a supostas intrigas polticas de um de seus alunos, e de heresia, por
expressar seu nacionalismo tcheco, abertamente.
Com a perda da carreira de professor, Bolzano passou a ser sustentado por amigos
e alunos. Foi no mesmo ano de sua aposentadoria forada (1919) que Bolzano
comearia a escrever sua mais importante obra filosfica, Doutrina da Cincia
(Wissenschaftslehre), que seria terminada e publicada somente em 1837. Esta
monumental obra, com suas mais de 5.000 pginas, tem uma importncia maior
na obra de Bolzano, pois nela que ele prope toda uma reformulao da noo de
cincia e justifica filosoficamente sua proposta de fundamentao da Matemtica.
A obra de Bolzano imensa. Foi o primeiro filsofo moderno a propor uma
abordagem semntica da Filosofia. Influenciou muito filsofos de diferentes reas,
como Husserl (1859-1938), Twardowski (1866-1938), Frege (1848-1925), Carnap
(1891-1970), Tarski (1901-1983), Peirce (1839-1914), Wittgenstein (1889-1951),
dentre outros. Deu tambm importantes contribuies para a Matemtica. Sua mais
clebre obra matemtica, no entanto, foi Rein analytischer Beweis des Lehrsatzes,
dass zwischen zwei Werten, die ein entgegengesetztes Resultat gewaehren, wenigstens
eine reelle Wurzel der Gleichung liege5, que pode ser considerada um marco da
aritmetizao da anlise; Bolzano foi chamado por Flix Klein (1849-1925), pelos
princpios formulados neste artigo, de pai da aritmetizao da anlise (KLEIN,

5 Traduo: Prova puramente analtica do teorema que afirma que entre dois valores de sinais opostos existe
pelo menos uma raiz real da equao. o artigo que contm a demonstrao do que hoje conhecido como
Teorema de Bolzano, que um caso particular do Teorema do Valor Intermedirio. Nas prximas ocasies em
que citarmos este artigo, ele ser denominado Prova Puramente Analtica... quando citado no corpo do texto,
e RB quando em citaes (como o padro em alguns artigos em diferentes lnguas, em referncia s iniciais das
duas primeiras palavras que aparecem em maisculo no ttulo do artigo Rein e Beweis). O Teorema de Bolzano
em questo ser sempre escrito em letras maisculas, pois de grande importncia para esta dissertao.

R. Educ. Pbl. Cuiab, v. 19, n. 39, p. 165-180, jan./abr. 2010

 170 Educao em Cincias e Matemtica

1887) e seus mais importantes resultados esto contidos na maioria dos livros
elementares de anlise matemtica (mas veja bem, como j indicvamos, Bolzano
seguindo um ideal aristotlico da cincia no quis aritmetizar a Matemtica toda,
como se diz as vezes!).
Bolzano foi uma das poucas pessoas (ao lado de Gauss, Grassmann, Jacobi, Cauchy
e Fourier) que, no incio do sculo XIX, era apto e culto o suficiente para perceber algo
que escapou a seus contemporneos: que as tentativas de fundamentao da anlise
matemtica feitas por Pascal (1623-1662) e por Leibniz (1646-1716; essa ltima
predominante at o sculo XIX) no mais correspondiam s necessidades colocadas
pela Matemtica desse perodo. Particularmente o desenvolvimento do conceito de
funo matemtica (integrabilidade, diferenciabilidade, etc.) foi insuficiente para a
Matemtica pura, como o mostraram as novas aplicaes na teoria da eletricidade e
do calor, reas que no seguiram facilmente o paradigma da mecnica newtoniana
(lembremo-nos de que todas as leis naturais e todas as regularidades do mundo se
apresentam em termos de funes e relaes funcionais!).
Sua principal obra filosfica chama-se Wissenschaftslehre, que significa
Doutrina da Cincia, escrita entre os anos 1819 e 1837, trata de questes
relativas natureza do conhecimento e das verdades cientficas. dividida em
duas partes, marcadas pela distino objetivo x subjetivo: a primeira composta
pelos volumes I e II (1 a 268), que tratam da natureza e estrutura da cincia no
nvel da ordo essendi (a ordem do ser, ou a ordem essencial das coisas em outras
palavras, de como as representaes, proposies e verdades so em si mesmas);
e a segunda, pelos volumes III, IV e V (269 at 718), que tratam da forma
como os homens conhecem, descobrem e descrevem a realidade cientificamente
(chamada de ordo cognoscendi).
No Wissenschaftslehre, Bolzano define, no 1, cincia (Wissenschaft) como

o conjunto de verdades de um certo tipo que tem a

qualidade que sua parte j conhecida e importante merece
ser apresentada num livro particular. Aquele livro mesmo
que aparentemente foi escrito por algum com o propsito
determinado de representar todas as verdades de uma cincia
numa maneira para serem entendidas o mais facilmente
possvel, eu chamo de manual (ou livro didtico) dessa
cincia. (BOLZANO, 1, 1837/1981)6

6 Para facilitar a leitura em qualquer edio ou idioma, indicaremos o trecho citado por meio do smbolo ,
utilizado por Bolzano, ao invs da pgina; para indicar o ano da obra, utilizaremos o smbolo / para
separar o ano em que a obra foi escrita e o ano da publicao que utilizamos para o presente artigo.

R. Educ. Pbl. Cuiab, v. 19, n. 39, p. 165-180, jan./abr. 2010

 Bernard Bolzano: O conceitualismo e a intuio na Educao Matemtica 171

notvel o fato de que sua obra Doutrina da Cincia, qual Bolzano dedicou
18 anos de sua vida, e que sua principal obra filosfica, traga as definies
de Cincia e Doutrina da Cincia em termos de livro didtico. Ao mesmo
tempo em que foi um grande defensor do rigor e conhecido como o criador da
aritmetizao da anlise, em que distinguiu radicalmente o subjetivo do objetivo e
afirmou que nossas intuies precisam buscar a verdade das coisas, e no as coisas
se adaptarem nossa intuio, como afirmava Kant e muitos de seus seguidores.
Bolzano divide e apresenta o ndice do Wissenschaftslehre, mostrando suas
cinco partes distintas (15):
1. A Doutrina das Premissas (Fundamentallehre). Nesta parte ele demonstra
a existncia de verdades em si e nossa capacidade de reconhec-las. Essa
distino fundamental entre a verdade que algum pensa e as verdades de
fato que existem, mesmo que ningum jamais as tenha pensado, da maior
importncia para ele e vem da a distino entre provas e explicaes;
2. A Doutrina Elementar: a doutrina das representaes (Vorstellungen),
proposies, proposies verdadeiras e concluses;
3. A Epistemologia ou teoria das condies de conhecimento ou cognio;
4. A Arte da Inveno, ou as regras que temos que obedecer na busca de verdades;
5. A Doutrina da Cincia propriamente dita;
A preocupao de Bolzano era com clareza dos fundamentos que tinha o
duplo objetivo de evitar paradoxos e de tornar o conhecimento comunicvel e
compreensvel.
Em muitos dos captulos do Wissenschaftslehre (12, 162, 198, dentre
outros), sobretudo naqueles em que Bolzano define termos antigos de forma
nova, inicia comentando definies de contemporneos e predecessores; nesses
comentrios percebemos sua crtica a Kant e queles que interpretaram de forma
psicolgica as doutrinas kantianas.
Particularmente Kant cuja principal obra, Crtica da Razo Pura, foi editada
no mesmo ano em que Bolzano nasceu (1781) , que colocou a epistemologia em
primeiro lugar, foi considerado por Bolzano seu maior adversrio. No entanto,
foi estudando, criticando e pretendendo corrigir a obra de Kant que Bolzano
construiu sua prpria doutrina. A controvrsia principal foi a respeito da relao
entre geral e particular, entre conceito e intuio (ou percepo). Para Bolzano, o
conceito teve um papel muito mais importante que para Kant.
Muitos dos problemas e at contradies na teoria de conhecimento, na poca
resultavam do fato de que os conceitos foram representados inadequadamente; ciente
disso, Bolzano percebeu que tornar explcito o conhecimento intuitivo, por meio da

R. Educ. Pbl. Cuiab, v. 19, n. 39, p. 165-180, jan./abr. 2010

 172 Educao em Cincias e Matemtica

representao, seria uma contribuio importante para o progresso da Matemtica.

Esta convico de Bolzano foi compartilhada por todos os lgicos do sculo XX.
Durante a poca em que Bolzano viveu, a transmisso do conhecimento
e o ensino se tornavam cada vez mais importantes, e ele compreendeu que as
intuies no podiam ser comunicadas. Esses objetivos se mostram, sobretudo,
no seu artigo Prova puramente analtica..., pois a substituio da Geometria por
nmeros e por variveis representantes de nmeros eram a representao rigorosa
que permitia eliminar, da Matemtica, a intuio. A intuio poderia at ser usada
como meio de comunicao dentro de uma pequena comunidade cientfica de
matemticos profissionais, mas para grandes turmas de profissionais de outras
reas (tais como engenheiros) era necessria uma linguagem geral e rigorosa.
Conforme atesta Otte (2001, p. 42), eram principalmente problemas de ensino
e comunicao que levaram exposio algbrica da anlise..
Bolzano considerava o grande obstculo de sua poca, a afirmao de Kant
de que uma lgica nunca pode ser um rgano (apud BOLZANO, WL, 4), ou
seja, a lgica forneceria as regras de raciocnio, mas no teria contedo prprio.
Bolzano rejeitava tambm as afirmaes de vrios autores de que a lgica seria
apenas formal ou analtica, ou seja, no diria respeito verdade; para ele, este
ponto de vista seria fruto de um preconceito psicolgico daqueles que acreditam
que o objeto da lgica so os pensamentos, ao invs de proposies (8, 12).
Afinal, estas noes se contrapunham ou pelo menos assim era como Bolzano
via as coisas sua noo de busca de clareza nos fundamentos.
O esforo de Bolzano mostrado no Wissenschaftslehre poderia ser resumido da
seguinte forma: tentativa de demonstrar a objetividade da cincia; e que o papel
do homem (ou do cientista, do sujeito cognoscente) buscar compreender e
transmitir esse conhecimento objetivo da melhor forma possvel.
Boa parte do Wissenschaftslehre busca abordar assuntos que Kant tratara na Crtica
da Razo Pura. Por isso, no possvel falar de Bolzano sem abordar a obra de Kant.

2. A semntica como expresso da nova Filosofia

e como forma de transmisso de conhecimento
Antes de Bolzano, era predominante na Filosofia do conhecimento a epistemologia,
em que o estudo sobre os limites da razo e sobre a natureza do conhecimento eram
fundamentais. Kant foi, sem dvidas, o pensador mais influente sobre esta forma de
conceber o conhecimento. Como j foi mencionado, foram chamados de modernos
estes filsofos que consideraram a reflexo sobre as possibilidades e limites do prprio
pensamento e sobre os mtodos da atividade cognitiva como fundamentos do
conhecimento. Esta reflexo o problema central da Crtica da Razo Pura.

R. Educ. Pbl. Cuiab, v. 19, n. 39, p. 165-180, jan./abr. 2010

 Bernard Bolzano: O conceitualismo e a intuio na Educao Matemtica 173

Assim, os modernos se colocaram em oposio aos aristotlicos (como Bolzano),

que acreditaram que a capacidade humana de representao do mundo deveria ser o
fundamento de qualquer conhecimento verdadeiro (SCHMITT, 2008).
Kant criticou a escolstica afirmando que sua busca por explicaes na essncia
das coisas a fazia perder qualquer capacidade de explicar a constante variao dos
fenmenos reais que a vida e a cincia apresentam constantemente. Afirmou que
a lgica, vista por Aristteles e pelos escolsticos como meio de obteno de novos
conhecimentos, seria somente analtica, capaz apenas de prover a compreenso de
um conhecimento j existente. Kant tambm enfatizou a importncia da intuio
e da noo de relao entre idias.
A palavra Epistemologia designa a Filosofia das Cincias, mas com um sentido
mais preciso. essencialmente o estudo crtico dos princpios, dos mtodos e
das hipteses e dos resultados das diversas cincias, destinado a determinar a sua
origem lgica portanto, no psicolgica , o seu valor e a sua importncia
objetiva (LALANDE, 1999, p. 313). Deste ponto de vista, a obra de Kant seria
epistemolgica. Por exemplo, Kant manteve uma noo construtiva da Matemtica
enquanto para Bolzano a Matemtica deveria ser definida pelos seus objetos.
J a Semntica a doutrina dos significados dos signos. Considera as relaes
dos signos com os objetos a que eles se referem; encontra justificao etimolgica
no verbo grego , introduzido por Aristteles para indicar a funo
especfica do signo lingustico, em virtude da qual ele significa, designa
algo. Nesse sentido, era a parte da Lingustica (e mais especialmente da Lgica)
que estuda e analisa a funo significativa dos signos, os nexos entre os signos
lingusticos e suas significaes. A Semntica restringe seu campo de investigao
relao entre signo e referente e constitui junto com a sinttica os dois grandes
captulos da lgica formal pura (ABBAGNANO, 2000, p. 869).
Com a mudana do centro das atenes da cincia, do individual para o
social, ocorre o deslocamento do foco: da epistemologia para a semntica ou para
uma doutrina da cincia. Bolzano e seu Doutrina da Cincia foram uma ntida
expresso desta mudana.
Consequentemente, passou-se da tendncia epistemolgica a buscar certeza
individual, comprovvel por meio da intuio (portanto subjetiva), para a
tendncia a buscar comunicao, ensino, clareza e a coerncia das idias E
portanto a lgica, que fora criticada por Kant, seria revalorizada como instrumento
privilegiado da Filosofia. A compreenso desta transformao fundamental para
compreendermos a evoluo do ensino e da Matemtica.
J vimos, ao comentar a definio de Bolzano de cincia em seu Doutrina da Cincia,
que para ele uma cincia um sistema de proposies. Ora, as caractersticas de uma
proposio so seu sentido e sua verdade. Assim se explica a nova orientao de Bolzano
e sua nova Filosofia (que representava a posio de uma minoria em sua poca).

R. Educ. Pbl. Cuiab, v. 19, n. 39, p. 165-180, jan./abr. 2010

 174 Educao em Cincias e Matemtica

Para Bolzano, conhecimento e, portanto, cincia e teoria so realidades, e no

apenas processos mentais ou julgamentos que fazemos sobre as coisas. A Doutrina
da Cincia, segundo ele, teria objetos prprios, que eram os significados objetivos
dos conceitos e proposies. E por isso, Bolzano acreditava em verdades em si,
proposies em si, dentre outras, e criticou Kant, dizendo que ele tinha confundido
o conhecimento em si com a maneira como ns obtemos o conhecimento.
A preocupao de Bolzano era com a solidez e com a clareza dos fundamentos
do conhecimento, por meio do esclarecimento e da representao das coisas
de forma adequada, pois muitos dos problemas da Cincia e da Matemtica
de sua poca resultavam do fato de que os conceitos no eram representados
adequadamente. Por isso Bolzano via na semntica o meio de obter conhecimento
seguro, e no na epistemologia7. Sua influncia direta ou indireta foi profunda na
Filosofia e na Matemtica, pois aps ele a semntica adquire importncia cada vez
maior na Filosofia, e a matemtica torna-se definitivamente aritmetizada.
Como consequncia da objetividade e realidade que Bolzano atribua tanto
ao conhecimento quanto cincia e teoria a comunicao, os argumentos e
as provas foram para ele essenciais, e aps algumas dcadas passaram a s-lo para
toda a comunidade matemtica. no contexto da necessidade de comunicao
e da transmisso do conhecimento, e, portanto, de didtica, que devemos
compreender a insistncia de Bolzano em obter demonstraes independentes
da evidncia e da convico, enquanto na poca anterior Descartes e Pascal
nesse aspecto, concordantes com Kant afirmavam que nada bvio poderia ser
definido ou provado, nem se preocuparam com a transmisso do conhecimento.

3. A diferena entre Verdade e Conhecimento

Para Kant, a diferena entre verdade e conhecimento no existe, pois o objeto de
conhecimento constitudo na sntese de apercepo, ou seja, constitudo pela
atividade do sujeito. Na Filosofia de Kant os fundamentos do conhecimento foram
concebidos assim, ou seja, como condies subjetivas de quaisquer experincias. Kant foi
um dos filsofos, que chamamos acima de modernos; em contraste com os aristotlicos,
ele considerou o conhecimento uma construo do sujeito epistmico. Uma nova luz,
disse Kant, deve ter cintilado na mente de pessoas como Thales, quando perceberam
que a relao entre o tamanho do mastro e a medida de sua sombra possibilitava o
clculo da altura de uma pirmide, tendo sido dada a medida da sua sombra.

7 No entanto, no desprezou aspectos pragmticos, como em WL, 148, Nota 3, em que afirma que o
sentido de um termo depende da situao e do uso que se faz dele.

R. Educ. Pbl. Cuiab, v. 19, n. 39, p. 165-180, jan./abr. 2010

 Bernard Bolzano: O conceitualismo e a intuio na Educao Matemtica 175

Ento ele achou que no era suficiente meditar na figura como ela
se apresentava diante de seus olhos... e ento empenhar-se em adquirir
conhecimento de suas propriedades, como elas eram, por uma construo
positiva a priori. (KANT, 1787). E certamente, o mastro em si no tem
nenhuma relao positiva com a pirmide como tal, e as concluses tiradas
pelos sujeitos dependem inteiramente e somente das atividades cognitivas do
sujeito. Isso implica que para Kant conhecimento foi conhecimento verdadeiro
e ele no distinguiu entre verdade e conhecimento.
Como o interesse de Bolzano era prioritariamente com fundamentos
seguros do conhecimento, tomava verdade como noo fundamental, pois
ningum poderia afirmar a inexistncia de verdades sem ser inconsistente. A
proposio que afirma que nenhuma proposio verdadeira existe tambm
falsa (afinal, se ela for verdadeira, ento existem verdades) (BOLZANO, WL
30). Mas isso implica que:
1. Todo conhecimento existe em forma de proposies; a Matemtica, em
particular, deveria ser entendida como um sistema de proposies e teoremas
que so ligados por provas e argumentaes. A distino entre conhecimento
e verdade que a propriedade de ser verdadeira ou falsa atribuvel somente
a proposies. Diferentemente, aos conhecimentos expressos por meio de
julgamentos atribumos certeza ou no certeza, e ainda graus diferentes de
certeza, que no cabem s proposies (WL, 26).
2. H um nmero infinito de proposies verdadeiras, pois se p uma
proposio, p verdadeira, uma proposio diferente. Para Bolzano, as
afirmaes Esta casa branca e verdade que esta casa branca, so duas
afirmaes diferentes, pois a primeira um julgamento do sujeito, enquanto a
segunda uma afirmao objetiva sobre um objeto real, cuja verdade independe
de sujeitos. Esta distino o levou a demonstrar, por induo, que existem
infinitas verdades, em sua obra publicada postumamente Paradoxos do Infinito,
ao construir o conjunto infinito de verdades contido pelas afirmaes: p, p
verdadeiro, p verdadeiro verdadeiro, e assim por diante.
Do ponto de vista de Bolzano e sua nova viso, a Matemtica carecia de
fundamentos slidos, e com o aparecimento dos novos recursos do clculo
particularmente, o raciocnio que envolvia o infinito (soma de sries infinitas,
quantidades infinitamente grandes ou infinitamente pequenas) surgiam
contradies e dificuldades em criar critrios objetivos para a verificao da
certido dos resultados (sobre resultados que hoje consideramos errados de
matemticos do calibre de Euler (RUSNOCK, 1997). No era incomum o
recurso ao tempo, ao espao e geometria para justificar resultados algbricos

R. Educ. Pbl. Cuiab, v. 19, n. 39, p. 165-180, jan./abr. 2010

 176 Educao em Cincias e Matemtica

(BOLZANO, 1817/1980), que seriam considerados, a partir de Bolzano, como

mais gerais e mais puros (e que seriam a base da Matemtica pura, a partir do
fenmeno chamado de aritmetizao, ao qual nos referimos no item anterior).
Aristteles fundamentou a lgica pela Ontologia (lgica como Organon).
Para Kant, a lgica s representava as leis de pensamento (lgica como Canon).
Bolzano nem acreditava numa harmonia pr-existente entre a estrutura do
mundo objetivo e a estrutura de conhecimento (como Aristteles), nem
quis seguir o construtivismo e ceticismo de Kant (o famoso objeto em si
que no conhecvel ou alcanvel), mas acreditava que podemos alcanar
conhecimentos que refletem a estrutura verdadeira do mundo objetivo e que
o pensamento determinado pelo seu objeto e por isso deveria usar mtodos
congruentes com os objetos.
O mundo dos objetos tem dois aspectos: o aspecto fenomenal, que
reconhecemos em primeiro e o aspecto essencial, que objetivamente o
primeiro ou mais fundamental, mas que s podemos conhecer por meio da
cincia, cujos dados so os fenmenos. Por isso, Bolzano faz a distino entre
provas que provam e provas que explicam.
Bolzano acreditava que a influncia de Kant sobre a Filosofia da Cincia
era responsvel pela ausncia de fundamentos e a existncia de contradies
na Matemtica. De fato, deve-se reconhecer que a concepo de que todo
conhecimento se baseia nas noes de espao e tempo, defendidas por Kant,
correspondiam, na Matemtica, a paralisar qualquer tentativa slida de
fundamentao.
Assim, Bolzano procurou critrios que separassem o objetivo do subjetivo,
tratando de diferenciar o ato de pensar do contedo do pensamento. O ato
de pensar seria inacessvel, portanto, intil na busca do conhecimento. J o
contedo do pensamento seria o objeto sobre o qual o pensamento opera; desse
ponto de vista, o estudo deste ltimo, e a representao adequada dos objetos
sobre os quais pensamos o que permitiria o acesso verdade.
Bolzano afirmou que se queremos comunicar algo, no podemos nos
preocupar com o processo mental inacessvel, mas sim com o contedo daquilo
pensamos, cuja expresso por meio da representao o que possibilita a
comunicao deste contedo de um sujeito para o outro, da a necessidade de
no mais fundamentar o conhecimento na intuio, mas na representao.
Analogamente com a intuio: Bolzano no nega a existncia da intuio,
mas afirma que ns s temos acesso a seu contedo, matria-prima sobre
a qual a intuio opera, e por isso esse contedo (que so as proposies,
conceitos, e representaes em si) que nos interessa, se queremos obter
conhecimento seguro.

R. Educ. Pbl. Cuiab, v. 19, n. 39, p. 165-180, jan./abr. 2010

 Bernard Bolzano: O conceitualismo e a intuio na Educao Matemtica 177

4. Concluso: o legado de Bolzano e alguns aspectos

da polmica com Kant luz dos dias de hoje

A obra de Bolzano, e particularmente seu artigo Prova puramente analtica...,

significou um marco na Matemtica pura, porque colocou no centro a idia
de que mesmo as questes intuitivas ou subjetivamente bvias deveriam ser
demonstradas em termos de conceitos que no envolviam intuies.
A partir da, prevaleceu a idia de Bolzano de que era necessrio rigor e
abstrao na Matemtica e que com sua expanso e seu ensino, necessrio que
as provas matemticas cumpram um papel de mostrar a ordem dos conceitos.
Conclumos que a exigncia de provas rigorosas nasceu junto com a
Matemtica pura, como ns a conhecemos hoje. E a prpria Matemtica pura
surgiu das necessidades de ensino, conforme atesta Dedekind, ao afirmar que:

[...] minha ateno foi pela primeira vez dirigida a

consideraes que formam o objeto deste texto (Ensaios
sobre a teoria dos nmeros) no outono de 1858. Como
professor na Escola Politcnica de Zurique eu me encontrei
pela primeira vez obrigado leitura sobre os elementos do
clculo diferencial e me senti mais ciente do que nunca
antes da falta de uma fundamentao realmente cientfica
para a aritmtica. (1901, p. 1).

Assim, as provas rigorosas no foram resultado de um capricho ou inveno

de alguns matemticos; nem uma forma particular de conceber ou interpretar
a Matemtica, como alguns autores, como Hanna (1983) e outros, parecem
acreditar. E a Reforma da Matemtica Moderna foi uma tentativa de levar
para as escolas caractersticas que eram prprias da Matemtica pura, desde seu
surgimento no sculo XIX. No foi, portanto, a criao de uma nova Matemtica,
uma nova concepo de ensino, nem uma transposio artificial de conceitos que
no fazem parte da Matemtica atual.
Rigor e abstrao vieram juntos com a aritmetizao. E aritmetizao a prpria
essncia da Matemtica pura, pois representou a idia de que as verdades geomtricas
seriam partes aplicadas ou subordinadas da Matemtica pura (RB, p. 170 (prefcio)).
O desenvolvimento da Matemtica pode ser visto como o resultado de uma
complexa relao entre intuio e conceito, e como um esforo por evitar o uso de
intuies ao formalizar um conceito, no qual a representao desempenha um papel
importante e em que as noes elementares (os axiomas) so aceitos de forma que
permitam a construo de novos conceitos e o desenvolvimento da Matemtica.

R. Educ. Pbl. Cuiab, v. 19, n. 39, p. 165-180, jan./abr. 2010

 178 Educao em Cincias e Matemtica

Aprendemos com Kant que todo conhecimento resultado de uma relao

entre o sujeito e o objeto da cognio, entre intuio e conceito concebidos como
complementares. E de fato, no adequado para a Matemtica pura de hoje que
as definies contrariem nossas intuies, e mesmo algumas definies formais
se fundamentam na intuio. Tambm aprendemos que a abordagem gentica
feita por Kant ou seja, a abordagem que leva em conta aspectos da evoluo,
e, portanto, a histria e a cultura muito importante para explicar grande
parte do desenvolvimento da Matemtica, e seria muito til que historiadores da
Matemtica e matemticos compreendessem isso e abandonassem a noo de que
a histria feita apenas por personalidades geniais.
No entanto, a intuio no uma camisa de fora, e me parece que a
Matemtica tentou ser fiel a ela at que essa fidelidade resultou em contradies
com outras verdades aceitas. Quando no estamos lidando com infinitos,
infinitsimos e dimenses maiores do que trs, frequentemente nossa intuio
plenamente confirmada.
Mas tambm aprendemos que a insistncia de Bolzano em provas que no
utilizassem a intuio e as noes, que para Kant todo ser humano teria de forma inata
as noes de espao e tempo foi o que permitiu o desenvolvimento da Matemtica
pura e sua fundamentao, e que a afirmao kantiana de que a Matemtica seria
sinttica, a priori mostrou-se exagerada. De fato, a abordagem que Bolzano deu
Matemtica foi importante para corrigir os erros de fundamento de sua poca, cuja
abordagem kantiana no resolvia nem apontava caminhos frteis para resolver.
O mtodo utilizado para esta fundamentao, a aritmetizao, resultou numa
grande abstrao. Lidar com objetos que no existem no mundo fsico, psquico
e nem mesmo tm a possibilidade de existir em lugar algum, s possvel por
meio da abstrao. E a capacidade de abstrao e generalizao, ligadas capacidade
de relacionar diferentes ramos do conhecimento, , talvez, o maior legado que a
Matemtica tem, e aquilo de que as outras reas da cincia, e a Filosofia, mais
emprestam da Matemtica.
Mas Bolzano acreditou que a conexo entre objetos e fatos com a Matemtica
seria natural e bvia, e no escolhida ou construda, como aceito na Matemtica
pura moderna. Alm disso, Bolzano no compreendeu como Kant o fez o
papel da experincia para a comunicao.
No entanto, a busca da ordem objetiva foi importante para o desenvolvimento
da Matemtica, e da Filosofia. Se de um lado Kant enfatizou corretamente que ns s
temos conhecimento das coisas por meio de representaes que fazemos a partir da
nossa estrutura, Bolzano afirmou corretamente a necessidade de fazer representaes
que se adqem, o mximo possvel, ao que ele acreditava ser a ordem objetiva das
coisas, e, assim, contribuiu para a revalorizao da noo kantiana de relao.

R. Educ. Pbl. Cuiab, v. 19, n. 39, p. 165-180, jan./abr. 2010

 Bernard Bolzano: O conceitualismo e a intuio na Educao Matemtica 179

Assim, acreditamos que Kant e Bolzano, intuio e conceito, e Epistemologia

e Semntica, so complementares, como vimos em Lalande.
Por fim, esperamos que este artigo contribua para, de um lado, para
inicializao do estudo, no Brasil, das obras de Bolzano, bem como da traduo
de sua obra para o portugus; e a continuidade da reflexo com base em estudos
histricos e filosficos sobre a relao entre intuio e conceito.

Referncias

ABBAGNANO, N. Dicionrio de filosofia. 4. ed. Traduo de BOSI, A. So

Paulo: Mestre Jou, 2000.
BOLZANO, B. Las paradojas del infinito. Mxico: Servicios Editoriales de la
Facultade de Ciencias/UNAM, 1847/1991.
______. Rein analytischer Beweis des Lehrsatzes, dass zwischen zwei Werten,
die ein entgegengesetztes Resultat gewaehren, wenigstens eine reelle Wurzel
der Gleichung liege. Traduo inglesa por S. Russ, Historia Mathematica,
Historia Mathematica, n. 7, p. 156-185, 1817/1980.
______. Der Binomische Lehrsatz und als Folgerung aus ihm der
polynomische, und die Reihen, die zur Berechnung der Logarithmen
und Exponentialgrssen dienen, genauer als bisher erwiesen. Praga: C. W.
Enders, 1816/2004.
______. Rein analytischer Beweis des Lehrsatzes, dass zwischen zwei Werten,
die ein entgegengesetztes Resultat gewaehren, wenigstens eine reelle Wurzel
der Gleichung liege. Prague: Gottloeb Hass, 1817/1905. Ostwalds Klassiker der
exacten Wissenschaften, Leipzig, v. 153, p. 343-395.
______. Wissenschaftslehre, 4 v. (Sulzbach). Sulzbach: Wolfgan Schultz. Reprint
Scientia Verlag Aalen, 1837/1981.
______. Theory of science. TERRELL, B. Boston and Dordrecht: D. Reidel
Publishing Company, 1973.
BROUSSEAU, G.; OTTE, M. The Fragility of Knowledge. In: A Bishop et.
al. (orgs), Mathematical Knowledge: Its Growth through Teaching, Kluwer
Dordrecht 1991, 13-38.
CLMACO, H. A. Prova e Explicao em Bernard Bolzano. Dissertao
(Mestrado em Educao) IE/Universidade Federal do Mato Grosso, Brasil.

R. Educ. Pbl. Cuiab, v. 19, n. 39, p. 165-180, jan./abr. 2010

 180 Educao em Cincias e Matemtica

DEDEKIND, R. Was sind und was sollen die Zahlen? Traduo inglesa de W.
Beman. Courier Dover Publications, 1963.
GEORGE, R.; RUSNOCK, P. Resenha de The Semantic Tradition from
Kant to Carnap: To the Vienna Station, de Albert Coffa. In: Philosophy and
Phenomenological Research, v. LVI, n. 2, 1996.
HANNA, G. Rigorous Proof in Mathematics Education. Toronto: OISE Press,
1983.
KANT, I. Crtica da razo pura. 5. ed. Traduo de M. P. Santos; A. F.
MORUJO. Lisboa: Fundao Calouste Gulbenkian, 2001.
KLEIN, F. (1887). The arithmetizing of mathematics. 965-71. In: EWALD, W.
B. From Kant to Hilbert: a source book in the foundations of mathematics.
Oxford: Oxford University Press, 1996, v. 1.
LALANDE, A. Vocabulrio Tcnico e Crtico da Filosofia. So Paulo: Martins
Fontes, 1999.
LAPOINTE, S. Introduction: Bernard Bolzano: contexte et actualit. In:
LAPOINTE, S. Bernard Bolzano: philosophie de la logique et thorie de la
connaissance. Philosophique v. 31, p. 3-17. Printemps: 2003,.
OTTE, M. B. Russells Introduction to Mathematical Philosophy. Educao
matemtica pesquisa, So Paulo - SP - Brasil, v. 3, n. 1, p. 11-55, 2001.
______. Certainty and explanation in mathematics. In: INTERNATIONAL
CONFERENCE PERSPECTIVES ON MATHEMATICAL PRACTICES.
Bruxelas, 26 a 28 de maro de 2007. Anais... Bruxelas, 2007.
RUSNOCK, P: Bolzano and the traditions of analysis. In: KNNE, W.; SIEBEL,
M.; TEXTOR, M. Grazer Philosophische Studien, Internationale Zeitschrift
fr Analytische Philosophie. n. 53, p. 61-85, 1997.
SCHMITT, A. Die Moderne und Platon, Editora Metzler, Tuebingen/Alemanha
2008).
SEBESTIK, J. Logique et mathmatique chez Bernard Bolzano. Paris: Librarie
Philosophique J. Vrion, 1992.

Recebimento em: 05/09/2008.

Aceite em: 27/11/2008.

R. Educ. Pbl. Cuiab, v. 19, n. 39, p. 165-180, jan./abr. 2010