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