O DESENVOLVIMENTO DA FILOSOFIA DA MATEMTICA DE

EDMUND HUSSERL
Carlos Eduardo de Carvalho Vargas PUC/PR

Resumo
Este trabalho tem por objetivo mostrar de maneira coerente o desenvolvimento da
filosofia da matemtica de Edmund Husserl, destacando as influncias iniciais
de Brentano e Bolzano. Baseando-se nas pesquisas de Philip Miller, Dallas
Willard e Ortiz Hill, o autor apresenta as trs fases da filosofia da matemtica
husserliana, analisando as caractersticas e obras principais. O autor compara
Husserl e seus contemporneos, discutindo sobre a influncia que Frege,
Dedekind, Cantor, Mach e Twardowski exerceram sobre Husserl. Para justificar
estas relaes, confrontou-se criticamente as pesquisas de Miller, Hill, Beth,
Fidalgo, Dummet, Rollinger e Smith, chegando-se finalmente a uma descrio
breve do contexto pr-fenomenolgico do pensamento husserliano.

Abstract
This research aims to present coherently the development of Husserls philosophy
of mathematics. It points out the Brentano and Bolzanos initials influential.
Established on the Philip Miler, Dallas Willard and Ortiz Hills researches, the
author presents the three phases of Husserls philosophy of
mathematics,analysing the characteristics and principals works. The author
compares Husser and your contemporaines, discussing about the influence of
Frege, Dedekind, Cantor, Mach and Twadorwski on Husserl. To justify these
relations, the author confrontes critically the researches of Miller, Hill, Beth,
Fidalgo, Dummet, Rollinger and Smith. The works concludes with a description
of the context pre-phenomenological of the husserlian thinking.

1 O DESENVOLVIMENTO DE HUSSERL DA MATEMTICA LGICA PURA

Algum poderia se perguntar, ao tomar conhecimento do desenvolvimento histrico da
obra de Edmund Husserl, por que ele passou dos problemas da fundamentao da
matemtica para a fundamentao da lgica? Outras perguntas interessantes que surgem
tambm ao conhecer a obra de Edmund Husserl so as seguinte: por que ele passou de
posies ambiguamente psicologistas para a fenomenologia como filosofia ou cincia
primeira? Como um matemtico se torna um fenomenlogo?
H uma passagem da filosofia da matemtica para a fenomenologia, passando pela filosofia da
lgica e pelos estudos psicolgicos husserlianos. Dallas Willard1 descreveu esse processo como
uma progression of Husserls Problematik from the relatively narrow one of clarifying the
epistemic structure of general arithmetic, to the all-encompassing one of establishing, through
phenomenological research, the line between legitimate and illegitimate claims to know or to be
rational,...2 (WILLARD, 1977).
1

O filsofo que traduziu o volume das obras de Edmund Husserl com seus primeiros trabalhos sobre a
filosofia da lgica e da matemtica para o ingls.
2
Progresso da problemtica de Husserl de uma posio relativamente estreita em relao clarificao
da estrutura epistmica da aritmtica geral, para uma posio totalmente abrangente de estabelecimento,
por meio da pesquisa fenomenolgica, do limite entre as alegaes racionais e irracionais para que o

Analisando a introduo original das Investigaes Lgicas, percebe-se a psicologia era um

instrumento til para a investigao das origens das noes matemticas, mas a relao entre os
aspectos psicolgicos do pensamento lgico com a unidade lgica do contedo deste mesmo
pensamento era algo problemtico para Husserl, que passou a duvidar se the objectivity of
mathematics and science was compatible at all with a psychological grounding of the logical 3 (in
DAHLSTROM, 2003, p. 2). Foi esta dvida que o levou a refletir criticamente sobre a essncia da
lgica, tema dos prolegmenos, e e sobre the relation between the subjectivity of knowing and
the objectivity of the content of knowledge 4 (DAHLSTROM, 2003, p. 2), o que lhe fez suspender
seus questionamentos especficos sobre a filosofia da matemtica e passar para questes
fundamentais acerca da epistemologia e do status da lgica enquanto cincia.
Ressaltar-se- que esta passagem no arbitrria no desenvolvimento filosfico de Husserl, como
enfatizou Walter Biemel, editor da Husserliana5,: esta transio para a lgica was not at all
arbitrary but the result of a coherent development 6 (in MILLER, 1982, p. 26). Uma maneira
simples de perceber esta coerncia notando como o estudo da contigncia psicolgica implica
idealmente no estudo da eideticidade pura: o grande movimento do percurso husserliano apia-se
no fato, definido como estar a individual e contingente; o contedo do fato reenvia para a essncia
necessria, porque pensar a contingncia pensar que prprio da essncia desse fato poder ser
diferente do que . A facticididade implica, pois, uma necessidade [lgica e ontolgica] 7
(LYOTARD, 1999, p. 20).

1.1 AS TRS FASES DA FILOSOFIA DA MATEMTICA DE EDMUND HUSSERL

Pode-se considerar nesse desenvolvimento de Edmund Husserl, as seguintes obras principais, alm
daquelas relacionadas com o assunto e que foram publicadas mais recentemente na Husserliana: a)
sua tese de 1887, ber den Begriff der Zahl. Psychologisch Analysen8; b) Philosophie der
Arithmetik. Logische und psychologische Untersuchungen9, de 1891; c) Logische
Untersuchungen10, de 1900/1901. Em relao aos dois primeiros trabalhos, seguir-se-o os
comentrios de MILLER (1982), o qual delineia trs estgios da filosofia da aritmtica de Edmund
Husserl, mostrando as diferentes concepes assumidas sobre o assunto, a partir da influncia
inicial de seu professor Karl Weierstrass ( MILLER, 1982, p. 1-4).

1.1.1 A PRIMEIRA FASE DA FILOSOFIA DA MATEMTICA HUSSERLIANA

Segundo MILLER (1982), a primeira fase da filosofia da matemtica husserliana ocorreu entre
1886 e 1889, quando Husserl estudou a anlise matemtica como uma cincia baseada no conceito
de nmero, distinguindo, neste assunto, as abordagens da filosofia e da matemtica (MILLER,
conhecimento seja racional... (traduo livre do autor).
3
A objetividade das matemticas e das cincias era plenamente compatvel com a fundamentao
psicolgica da lgica (traduo livre do autor).
4
A relao entre a subjetividade do conhecimento e a objetividade do contedo do conhecimento (traduo
livre do autor).
5
A Husserliana o conjunto das obras publicadas de Husserl em alemo, a partir da organizao inicial do
padre von Breda.
6
No foi arbitrria de maneira alguma, mas o resultado de um desenvolvimento coerente (traduo livre
do autor).
7
Esta lei est justificada, por exemplo, em SANTOS (1966, p. 134-141).
8
Sobre o conceito de nmero (traduo livre do autor). Este livro foi publicado, mas nunca colocado
venda nas livrarias, pois foi editado almost verbatim com a Filosofia da Aritmtica em 1891 e,depois, no
volume XII da Husserliana. .
9
Filosofia da Aritmtica: investigaes psicolgicas e lgicas (traduo livre do autor).
10

Investigaes Lgicas (traduo livre do autor).

1982, p. 4s.). A obra mais importante deste perodo foi: ber den Begriff der Zahl. Psychologische
Analysen (Sobre o conceito de nmero.), 1887 trabalho feito sob a orientao de Carl
Stumpf11.
A primeira grande influncia que Husserl recebeu sobre a fundamentao da matemtica,
particularmente da anlise matemtica, veio de seu professor Karl Weierstrass que trabalhou
magistralmente na aritmetizao da anlise:
Impressed by Karl Weierstrasss work to arithmetize analysis, Edmund Husserl set out in the late
1880s to provide a more detailed analysis of the concepts of arithmetic and a deeper foundation for
its theorems by analyzing the concept of number. The results of those efforts are found in his 1887
On the Concept of Number and his 1891 Philosophy of Arithmetic 12 (HILL, 1994, p. 142).
Dessa unificao da anlise com a aritmtica elementar surgiria uma arithmetica universallis
(MILLER, 1982, p. 3). Husserl possua a inteno de alcanar Grundpunkten der wahren
Philosophie des Kalkls, diesem Desiderat von Jahrhunderten, den Weg zu bahnen13 (HUSSERL,
1970, 7). Este Kalklus no a artimtica usual, mas anlise matemtica, uma rea que comeou
no sculo XVII com Newton e Leibniz (MILLER, 1982, p. 1), mas cujos fundamentos teorticos
ainda eram obscuros, mesmo com o aumento do rigor em termos puramente formais com a
aritmetizao da anlise no sculo XIX (MILLER, 1982, p. 2) .
Foi de Weierstrass que Husserl herdou a meta da formao de uma allgemeine Arithmetik14
(HUSSERL, 1970, 7) que unificasse a anlise e a aritmtica elementar, uma cincia que se baseasse
apenas no conceito de nmero, entendido, por Weiertrass, como a determinate multitude of
homogeneous thing15 ( MILLER, 1982, p. 3), cujo sentido mais fundamental se vinculava ao ato
mental de contar, o que j implicava uma certa abertura para os temas psicolgicos.
A diferena mais notvel entre o trabalho de professor e aluno era o instrumental,ou seja, enquanto
o mestre trabalhava nos parmetros da cincia matemtica, o discpulo buscava uma metodologia
filosfica que fosse suficientemente rigorosa para isso.
Nessa primeira etapa do desenvolvimento da filosofia da aritmtica de Husserl, a anlise era
entendida como cincia do nmero. Husserl percebeu as lacunas nas reflexes de natureza lgica
em relao aos conceitos da anlise:. des Imaginren, des Irrationalen, des Differentials und
Integrals, des Kontinuierlichen usf16 (HUSSERL, 1970, p. 291)
Sua meta era clarific-los17, justificando-os teoreticamente. Sua prescrio de soluo era a
seguinte:
einer scharfen Analyse der zugrunde liegenden und der vermittelnden Begriffer, nach logischer
Einsicht in die Abhngigkeit der verschiedenen, da nur lose zusammenhgenden, dort wieder
unentnach einer streng deduktiven Entwicklung der ganzen Mathematik au mglichst wenigenm
11

Autor conhecido por suas obras sobre a origem psicolgica da representrao do espao (1873),
psicologia do som (1883-90) e psicologia e epistemologia (1892). Daniel Dalhstrom apresenta algumas
influncias de Stumpf nas investigaes lgicas (DAHLSTROM, 2003, p. 3).
12
Influenciado pelo trabalho de Karl Weierstrass para a aritmetizao da anlise, Edmund Husserl
comeou no final da dcada de 1880 a prover uma anlise mais detalhada dos conceitos da aritmtica e uma
fundamentao mais profunda para seus teoremas pela anlise do conceito de nmero. Os resultados destes
esforos so encontrados na sua obra de 1887 Sobre o conceito de nmero e seu trabalho de 1891
Filosofia da aritmtica (traduo livre do autor).
13
O ponto final da verdadeira filosofia do clculo, este objetivo perseguido h sculos (traduo livre do
autor).
14
Aritmtica universal (traduo livre do autor).
15
Uma multitude determinada de algo homogneo (traduo livre do autor).
16
O nmero imaginrio, o nmero irracional, o clculo diferencial e integral, a continuidade numrica,
etc. (traduo livre do autor).
17
Obtendo logischer Klarung (HUSSERL, 1970, p. 291) clarificao lgica (traduo livre do autor).

durch sich selbst einleuchtenden Grundstzen18 (HUSSERL, 1970, p. 291).

1.1.2 A SEGUNDA FASE DA FILOSOFIA DA MATEMTICA HUSSERLIANA

De acordo com MILLER (1982), a segunda fase da filosofia da matemtica ocorreu entre 1890 e
1894 e caracteriza-se pelo fato de que Husserl considerou a anlise matemtica como sendo
essencialmente uma tcnica formal 19 que fazia parte de uma lgica que visava fins prticos e pelo
avano husserliano nas anlises psicolgicas relacionadas ao conceito de nmero (MILLER, 1982,
p. 10s.). A obra mais importante deste perodo foi: Philosophie der Arithmetik. Logische und
psychologische Untersuchungen (Filosofia da Aritmtica. Investigaes lgicas e psicolgicas) de
189120.
O fim prtico ao qual a lgica visava na concepo de Husserl era o richtigen Urteilens 21
(HUSSERL, 1970, p. 29), tese que j havia sido defendida por Brentano em 1884-5, para quem a
lgica era rather a practical discipline whose tash is to prescribe rules or noems for the
attainment of knowledge22 (MILLER, 1982, p. 13). Qual era o objeto desta tcnica? Os signos,
pois era uma Kunst der Zeichen23 (HUSSERL, 1970, p. 373)24, e de maneira mais ampla, na linha
de pensamento brentaniano, inclua os procedimentos mentais relacionados com os raciocnios
lgicos, sendo, assim, uma Kunst der Erkenntnis25 (HUSSERL, 1970, p. 373).
Na concepo de Husserl durante a fase em que escreveu Filosofia da Aritmtica, a lgica formal
era um ramo da lgica geral concerned specially with algoritmic procedures 26 (MILLER, 1982,
p. 14), tendo a tarefa de clarify the algorithmic procedures ... and to set up rules for such
methods27 (HUSSERL, 1970, p. 365).
Seguindo esta linha de raciocnio, Husserl, na Filosofia da Aritmtica, estuda as questes
psicolgicas relativas apresentao do nmero (HUSSERL, 1970, p. 6,. 14), ampliando as
investigaes que j havia feito na sua tese de doutorado e provocando novas questes que lhe
fizeram planejar um segundo volume para a Filosofia da Aritmtica, mas que no chegou a ser
publicado.

18

Uma anlise precisa dos ... conceitos; [a necessidade] de insights lgicos nas relaes de dependncia
das vrias disciplinas matemticas...; e finalmente de um desenvolvimento estritamente dedutivo do conjunto
das matemticas a partir do menor nmero possvel de princpios auto-evidentes (traduo livre do autor da
pesquisa). At este ponto, o projeto husserliano ainda se assemelha bastante aos projetos formalistas que
estudar-se- na seqncia desta pesquisa.
19
Husserl usou o termo kunstlehere (tcnica ou tecnologia), conferir HUSSERL (1970, p. 29).
20
A citada Filosofia da Aritmtica de 1891 retoma e desenvolve a tese da habilitao acadmica "Sobre o
conceito do nmero. Anlises psicolgicas" 18 de 1887. A inteno declarada de Husserl, neste perodo, a
de, por um lado, levar a cabo "uma anlise dos conceitos fundamentais da aritmtica" e, por outro, proceder
a "uma explicao lgica dos seus mtodos simblicos" (FIDALGO, 1996, p. 32).
21
Julgamento ou juzo correto (traduo livre do autor).
22
Mais uma disciplina prtica cuja tarefa era prescrever regras e noemas do que para obter conhecimento
(traduo livre do autor)
23
Tcnica para a manipulao de signos (traduo livre do autor). Esta tcnica ter um papel apenas
auxiliar na lgica pura de Husserl.
24
Esta distino entre cincia e tcnica nas discusses sobre disciplinas teorticas e normativas que sero
apresentadas no prximo captulo.
25
Arte do conhecimento (traduo livre do autor).
26
Concernente especialmente com procedimentos algortmicos (traduo livre do autor).
27
Clarificar procedimentos algortimicos... e formular regras para tais mtodos (traduo livre do autor).

1.1.3 A TERCEIRA E LTIMA FASE DA FILOSOFIA DA MATEMTICA

HUSSERLIANA
Segundo Miller (1982), a terceira fase da filosofia da matemtica husserliana comea em 1894 e
prossegue durante todo o resto daquela produo filosfica, caracterizando-se pela concepo da
anlise matemtica como uma espcie de teoria multiforme, uma teoria dos sistemas
dedutivos que corresponde a uma regio objetiva ou ontologia regional, sendo subordinada
lgica formal28 (MILLER, 1982, p. 15s.).
Nesta fase, Husserl muda a sua concepo de lgica para a pure, a prior science whose primary
concern is not the judging mind, but rather the realm of unchanging, ideal meanings 29 ( MILLER,
1982, p. 15), a partir da qual a anlise matemtica passa a ser entendida como a theoretical
discipline toward a distinctive type of object region 30 ( MILLER, 1982, p. 16) ou uma teoria
multiforme como se escreveu acima; isto , nas palavras de Husserl, a region [Gebiet] wich is
uniquely and solely determined by falling under a theory of [a given] form 31 (in MILLER, 1982, p.
16).
Uma diferena importante em relao fase anterior que a anlise matemtica passa a ser
considerada como a anlise pura ou matemtica formal, encaixando-se no campo da lgica
pura (HUSSERL, 1922) e esta, por sua vez, no mais apenas uma tcnica de manipulao de
signos, mas se refere a truths about a certain regions of objects rather than with techniques to aid
the judging mind32 ( MILLER, 1982, p. 16). Assim sendo, no h contradio entre as duas
concepes, pois a disciplina prtica ou normativa pode ser derivada da disciplina teortica
(HUSSERL,1922, p. 25-8).

1.1.4 HUSSERL E A LGICA PURA

Ao estudar as filosofias da lgica e da matemtica de Husserl, percebe-se o destaque dado ao
projeto da lgica pura, que foi apresentado na obra Investigaes Lgicas, entre as crticas ao
psicologismo. Edmund Husserl chamou essa cincia de lgica pura, mas tambm a nomeou como
cincia das cincias, doutrina da cincia, arte do conhecimento cientfico e, ainda, lgica
como disciplina filosfica: This pure logic serves as the basis for the preordenation of those laws
that are logical in the strict sense (the principle of contradiction, syllogistic principles) and that are
to be the rules of scientific thinking (HUSSERL, 1981, p. 147).
Nos prolegmenos de seu livro Investigaes Lgica, Husserl apresentou os problemas que
acompanhariam as pesquisas relacionados com a lgica pura (HUSSERL, 1922, p. 242-6) e, no
decorrer dessa obra, fez uma srie de estudos preliminares para uma lgica filosfica (HUSSERL,
28

Ainda nesta linha de investigao, as obras importantes nesta fase so as seguintes: Prolegomena von
Logische Untersuchungen (Prolegmenos s Investigaes Lgicas) 1900/1901, Doppelvortrag (Aula
dupla) 1901 e obras posteriores Ideen zu einer reine Phnomenologie und phnomenologischen
Philosophie (Idias para uma filosofia fenomenolgica), 1913; Formale und Transzendentale Logik
(Lgica formal e transcendental), 1929, e Die Krisis des europischen wissenschaften und die
tranzendentale Phnomenologie: eine Einleitung in die phnomenologische Philosophie (Crise das
cincias europias e a fenomenologia transcendental: uma introduo filosofia fenomenolgica), 1936.
29
Uma cincia pura e a priori cujo objetivo primrio no a mente que faz juzos, mas o plano dos
significados ideais e imutveis (traduo livre do autor).
30
Uma disciplina teortica voltada para uma espcie distinta de regio de objetos (traduo livre do
autor). Nesta fase j aparecem referncias ontolgicas que sero de importncia fundamental para a aplicao
posterior da filosofia concreta lgica pura.
31
Uma regio que unicamente e somente determinada por ficar sob uma teoria de uma forma [dada]
(traduo livre do autor).
32
Verdades sobre uma certa regio de objetos mais do que com tcnicas para ajudar a mente que faz
juzos (traduo livre do autor).

1922, p. 248-9) visando obter a inteleco da essncia (HUSSERL, 1922, p. 252-4) da teoria
cientfica.
O prprio Husserl mudou o rumo da sua investigao sobre a lgica pura logo aps os
prolegmenos, isto , no prefcio do segundo volume da edio alem de Investigaes Lgicas, ou
seja, na primeira das seis investigaes lgicas. Ele fez um recuo teortico para problemas que ele
considerou mais fundamentais (RICOEUR, 1998) e que passavam para a rea fenomenolgica,
como ser explicado abaixo. Este foi um fator complicante no estudo husserliano e,
consequentemente, nas pesquisas sobre lgica pura: a complicating factor was that Husserls
thinking never stood still. As a result he had to distantiate himself from his own students more than
once and go his own way. Because of his constant development, there was considerable confusion
about Husserls intentions from the very beginning (DE BOER, 1978, p. XIX).
Entretanto, pode-se afirmar que Husserl manteve os pontos fundamentais das suas posies sobre
lgica pura a partir da sua ltima obra publicada em vida: Lgica Formal e Transcendental
(HUSSERL, 1957).

1.2 INFLUNCIAS IMPORTANTES NA FILOSOFIA DA MATEMTICA E DA

LGICA DE HUSSERL
Husserl, em Investigaes Lgicas, cita a influncia que recebeu de Bernard Bolzano. Jan Berg
escreve o seguinte na introduo de Reine Zahlenlehre33 de Bolzano, na qual se percebe a
convergncia das posies de Bolzano, Weierstrass e Husserl sobre a relaes entre o estudo dos
nmeros e a anlise matemtica : Bolzano Begriff Zahlenlehre umfasst sowohl die Zahlentheoire
als auch die Analysis34 (BOLZANO, 1978, p.7)..
Outro trabalho de Bolzano no qual pode-se notar esta convergncia com os autores citados 35
Allgemeine Mathesis36 (1810) (BOLZANO, 1975, p. 13-74), especialmente em Von den
Eigenschaften der Zahlen37 (BOLZANO, 1975, p. 64-74). A teoria de Bolzano acerca da lgica
pura ser aprofundada em alguns aspectos na seo histrica do captulo sobre a lgica pura como
doutrina da cincia.
Outra grande influncia foi Franz Brentano. Foi a partir desta experincia do contato com Brentano,
a partir de 1884, que Husserl descobriu sua vocao filosfica, fascinado pelo mtodo brentaniano
de colocar os problemas e resolv-los (DE BOERS, 1978, p. 98).
A influncia de Brentano manifesta-se em Husserl tambm pelo interesse na psicologia, a qual j
possua um papel importante desde a primeira fase da filosofia da matemtica husserliana, sendo
uma parte relevante desta filosofia, pois daria ferramentas para o estudo dos fundamentos da anlise
e da matemtica, como se percebe neste trecho da introduo do trabaho Sobre o conceito de
nmero38: nmlich die Fragen nach dem phnomenalen Charakter und dem psychologischen

33

Aritmtica pura (traduo livre do autor).

O conceito bolzaniano de aritmtica abrange tanto a teoria dos nmeros como a anlise. (traduo livre
do autor).
35
Sobre esta convergncia, conferir DE BOER (1994).
36
Matese universal (traduo livre do autor).
37
Sobre as caractersiticas dos nmeros (traduo livre do autor).
38
Alis, o prprio subttulo de tal obra j mostra um pouco desta idia: psychologische analysen (anlise
psicolgica traduo livre do autor). E Husserl desenvolve o tema da relao entre psicologia e matemtica
respondendo perguntas como, por exemplo: Was hat die Zahl berhaupt mit der Psychologie zu tun?
(qual a relalo entre o nmero e a psicologia? traduo livre do autor).
34

Ursprung der Vorstellungen von Raum, Zeit, Zahl, Continuum u. a. 39 (HUSSERL, 1970, p. 292) .
O prprio Husserl reconhece esta importncia 40 (DE BOER, 1994, p. 54- 58; 77-82)41:.
Husserl declara numa nota de rodap da Filosofia da Aritmtica dever ao seu mestre Franz
Brentano a inteleco da suma importncia das representaes imprprias ou simblicas para a
vida psquica. Tambm aqui como em outros aspectos a influncia de Brentano sobre Husserl
decisiva. No foi sem razo que Husserl lhe dedicou "com profundo agradecimento" a Filosofia
da Aritmtica. Ser bom, por conseguinte, apresentar, ainda que em traos algo largos, alguns
tpicos do labor filosfico de Brentano que mais tocam a questo das representaes simblicas
(FIDALGO, 1996, p. 34)..
Quando Husserl trata de psicologia refere-se beschreibende Psychologie42 (DE BOER, 1994, p.
60-5; 82-90). Esta faz a anlise dos fenmenos da conscincia e uma disciplina preliminar
gentica psicolgica, sendo tambm uma cincia a priori (MILLER, 1982, p. 7-8), que chegou
a ser confundida com a fenomenologia por alguns crticos e comentaristas. Quando Husserl faz esta
abordagem psicolgica da matemtica, no est tratando a anlise matemtica como um ramo da
psicologia, nem a matemtica como a branch of inductive, empirical science 43 (MILLER, 1982,
p. 8). Para ele, o Gegenstnde44 da matemtica purely logical dependencies of magnitudes
and positional relationships45 (MILLER, 1982, p. 8).

1.3 HUSSERL E OS LGICOS E FILSOFOS CONTEMPORNEOS

A comum opinionis46 atribui uma grande influncia de Frege sobre Husserl devido resenha crtica 47
que aquele fez acerca da obra hussserliana Filosofia da Aritmtica (1891), mas Barry Smith
afirma que Freges influence on the development of Husserls thinking was, in contrast to what is
commonly held, far less important than that of Lotze, Bolzano, and Twardowski 48 (SMITH et
SMITH, 1995, p. 5). A relao entre Frege e Husserl ser discutida no captulo sobre a
fundamentao formal da lgica, mas aqui ser aberto o leque de autores que influenciaram Husserl.
Por exemplo, h tambm a influncia de Dedekind e Cantor que visavam a consistent, purely
arithmetical development of analysis49 (MILLER, 1982, p. 6). Ortiz Hill cita a obra O Conceito
da Aritmtica Geral de Husserl (1891) para confirmar esta posio: with respetc to the starting
point and the germinal core of our developments toward the construction of a general arithmetic,
we are in agreement with mathematicians that are among the most and progressive ones of our
39

Em outras palavras, as perguntas sobre o carter da fenomenologia e sobre a origem psicolgica da

representao, do espao, tempo, nmero, continuum, etc. (traduo livre do autor).
40
Cujas teorias filosficas e psicolgicas podem ser assimiladas, por exemplo, em Psychologie vom
empirischen Standpunkte (Psicologia a partir de um ponto de vista emprico) de 1874.
41
Sobre a lgica como tcnica, conferir DE BOER (1978, p. 92s).
42
Psicologia descritiva (traduo livre do autor).
43
Um ramo de uma cincia indutiva e emprica (traduo livre do autor).
44
Objeto (traduo livre do autor).
45
Dependncias lgicas puramente das magnitudes e das relaes posicionais (traduo livre do autor).
46
Por exemplo: DUMMET (2000) e BETH et PIAGET, 1961, mas MILLER (1982) prefere no tomar
posio sobre este tpico.
47
Trata-se do trabalho que Frege publicou em Zeitschrift fr Philosophie und philosophische Kritik, vol.
103, p. 313-332 (revista de filosofia e crtica filosfica traduo livre do autor). .
48
A influncia de Frege no desenvolvimento do pensamento de Husserl foi em contraste com aquilo que
geralmente sustentado, bem menos importante do que as influncias de Lotze, Bolzano e Twardowski
(traduo livre do autor). Kassimir Twardowski, como Husserl, tambm foi aluno de Franz Brentano.Para
uma comparao de algumas posies filosficas de Husserl e Twardowski, conferir ROLLINGER (1993, p.
119-121).
49
Um consistente, puramente aritmtico desenvolvimento da anlise (traduo livre do autor).

times: above all with Weierstrass, but not less with Dedekind, Georg Cantor and many others 50 (in
HILL, 2000, p. 143). Neste sentido, pode-se acrescentar a citao que Husserl fez de Weierstrass na
Filosofia da Aritmtica: Die reine Arithmetik (oder reine Analysis) ist eine Wissenschaft, die einzig
und allein auf den Begriff der Zahl basiert ist51 (HUSSERL, 1970, p. 12).
Outra influncia que Husserl sofreu, segundo Evert Beth, mas que tambm criticou em HUSSERL
(1922), foi a de Ernst Mach: em Bericht ber deutsche Schriften zur Logik aus dem Jahre 1894 52,
publicado em 1897, Husserl qualifica Ueber das Prinzip der Vergleichung in der Physik 53 de
Mach como brillant54 (BETH et PIAGET, 1961, p. 34). Mach teria influenciado Husserl, segundo
Beth, na concepo de seus mtodos e de seus interesses teorticos 55 (BETH et PIAGET, 1961, p.
36) por meio de sugestes fenomenolgicas tais como a seguinte: Ici souvre nettement le chemin
pour dvelloper une phenomnologie gnrale embrassant tous les domaines de la physique 56 (in
BETH et PIAGET, 1961, p. 37).
Entretanto, havia uma grande diferena entre Husserl e os demais: When he [Husserl] looked to
contemporary deductive systems, he found only obscurities regarding the theoretical status 57
(DAHLSTROM, 2003, p. 1).No foi por acaso que Husserl afirmou que a sua busca de clarificao
filosfica afastou-o de men and works to wich my scientific education is most indebted 58
(DAHLSTROM, 2003, p. 3).

Palavras chaves: Husserl, filosofia da matemtica, lgica.

BIBLIOGRAFIA
BETH, Evert et PIAGET, Jean. pistemologie mathmatique er psychologie: essai sur les
relations entre la logique formelle et la pense relle. Paris: PUF, 1961. 352p.
DAHLSTROM, Daniel O . Husserls Logical Investigations: na introduction. In: DAHLSTROM,
Daniel O (org.). Husserls logical Investigations. Dordrecht: Luwer Academic Publishers, 2003.
200p.
50

Com respeito ao ponto inicial e ao corao dos nossos desenvolvimentos visando a construo de uma
aritmtica geral, ns estamos em acordo com matemticos que esto entre os mais vanguardistas do nosso
tempo: acima de tudo com Weierstrass, mas no menos com Dedekind, Georg Cantor e vrios outros
(traduo livre do autor).
51
A aritmtica pura (ou a anlise pura) uma cincia que baseada somente no conceito de nmero
(Traduo livre do autor).
52
Resenha das obras alems sobre lgica publicados em 1894 (traduo livre do autor).
53
Sobre o princpio da comparao na fsica (traduo livre do autor).
54
Brilhante (traduo livre do autor).
55
Esta influncia de Mach confirmada por FIDALGO (1996), o qual acrescenta Kirchhoff como mais um
que influenciou inclusive Brentano, isto , a psicologia descritiva deste j traz esta influncia da
fenomenologia fsica: Brentano introduz na psicologia a mxima que Gustav Robert Kirchhoff e Ernst Mach
aplicaram na mecnica, a saber, eliminar todos os conceitos no obtidos descritivamente numa experincia
directa (FIDALGO, 1996, p. 33).
56
Aqui se abre amplamente o caminho para desenvolver uma fenomenologia geral abrangendo os domnios
da fsica (traduo livre do autor). Spiegelberg explica que Mach postulou a general physical
phenomenology (umfassende physikalische Phnomenologie) to comprise all the areas of physics, with the
assignment to form the most abstract concepts of physical research, starting from mere descriptions and
proceedings by way of comparisons among the phenomena in the various branches of physics
(SPIEGELBERG, 1994, p. 8).
57
Quando ele [Husserl] olhou para os sistemas dedutivos de sua poca, encontrou apenas obscuridade em
relao ao status teortico (traduo livre do autor)
58
Homens e trabalhos aos quais a minha formao cientfica tem as maiores dvidas (Traduo livre do
autor).

DE BOER, Theodore. The Development of Husserls Thought. Trad.: Theodore Plantinga. The
Hague: Martinus Nijhoff Publishers, 1978. 545p.
DUMMET, Michael. Preface to Logical Investigations. In: Logical Investigations: volume 1.
Trad.: J.N.Findlay. London: New York: Routledge, 2003. 331p.
FIDALGO, Antnio. Semitica, a lgica da comunicao. Cavilh: Universidade da Beira
Interior, 1996. Disponvel em: http://ubista.ubi.pt/~comum/fidalgo_logica_com_p1.html. Acesso
em: 8 mar. 2005.
HILL, Claire O. Review of Edmund Husserl, early writings in the philosophy of logic and
mathematics. In: Review of Modern Logic, volume 8, Number 1/2 (January 1998April 2000), p.
142154. Milwaukee: Marquette University, Department of Mathematics, Statistics and Computer
Science, 2000.
HUSSERL, Edmund. Logische Untersuchungen: Erster Band, Halle a.S: Max Neimeyer., 1922.
________. Logique formelle et logique transcendentale: essai dune critique de la raison logique.
Trad.: Suzanne Bachelard. Paris: PUF, 1957. 447p.
_________. Philosophie der Aritmetik: mit erganzenden texten (1890-1901). Den Haag: Martinus
Nijhoff, 1970. 585p.
_________ . On the Psychological Grounding of Logic (May 2, 1900, Halle). Trad.: Thomas
Sheeman. In: McCORMICK, Peter et ELLISTON, Frederick (ed.). Husserl: Shorter Works. Notre
Dame: University of Notre Dame Press, 1981. 440p.
MILLER, J. Philip. Numbers in Presence and Absence: A Study of Husserls Philosophy of
Mathematics. The Hague: Martinus Nijhoff Publishers, 1982. 147p.
MOURA, Carlos A. Crticas da Razo na Fenomenologia. So Paulo: Nova Stella: Edusp, 1989.
260p.
ROLLINGER, R. D. Meinong and Husserl on Abstraction and Universals: from Hume Studies I
to Logical Investigations II. Amsterdam: Editions Rodopi B.V., 1993.
SANTOS, Mrio F. Grandezas e Misrias da Logstica. So Paulo: Matese, 1966. 156p.
SMITH,Barry et SMITH, David W. Introduction. In: SMITH,Barry et SMITH, David W. (org.).
The Cambridge Union to Husserl. Cambridge: Cambridge University Press, 1995. 528p.
WILLARD, Dallas. The Paradoxe of Logical Psychologism: Husserls Way Out. In: McCORMICK,
Peter et ELLISTON, Frederick (ed.). Husserl: expositions and appraisals. Notre Dame: University
of Notre Dame Press, 1977. 378p.
_____________________________________________________
Carlos Eduardo de Carvalho Vargas E-mail: sammler@gmail.com

O PROBLEMA DO PSICOLOGISMO NAS OBRAS INVESTIGAES

LGICAS E FILOSOFIA DA ARITMTICA DE EDMUND
HUSSERL
Carlos Eduardo de Carvalho Vargas PUC/PR

Resumo
Este trabalho tem por objetivo apresentar uma breve introduo ao psicologismo. Baseando-se na
obra Investigaes Lgicas de Edmund Husserl, o autor distingue os limites teorticos entre a
Psicologia e a Matemtica. Os psicologismos criticados por Husserl so analisados a partir das
interpretaes husserlianas de Barry Smith, Evert Beth e Theodor de Boer. Para analisar os
psicologismos nas obras Investigaes Lgicas e Filosofia da Aritmtica, apresenta-se um breve
status quaestionis dos debates sobre este problema psicologista desde as primeiras crticas fregeanas
at as contribuies de pesquisadores como Spiegelberg, Beth, Miller, Dahlstrom, Rollinger e
Moura. As respostas a estas perguntas esclarecem diversos pontos das filosofias da lgica e da
matemtica, como, por exemplo, a questo do status cientfico da anlise matemtica ou da lgica.

Abstract
This research aims to present a short introduction to psychologism. Established on the Husserls
Logical Investigations, the author distinguishes between the theoretical limits of Psychology and
Mathematics. The psychologisms criticized by Husserl are analysed with the husserlian
interpretations of Barry Smith, Evert Beth and Theodor de Boer. To analyse the psychologism in the
works Logical Investigations and Philosophy of Aritmethic, the author presents a short status
quaestionis of the discussions about the issue, since the firsts fregeans critics to the contributions of
researchers as Spiegelberg, Beth, Miller, Dahlstrom, Rollinger and Moura. The answers to this
questions elucidate various topics on the philosophies of logic and mathematics, as for example, the
matter of the mathematical analysis or logics scientific status.

1 UMA INTRODUO AO PSICOLOGISMO

Nos prolegmenos da obra Logische Untersuchungen (Investigaes Lgicas), Husserl dedica-se
a apresentar as principais teses da corrente psicologista 59 e trata de confront-las com sua concepo
de lgica pura. A questo discutida se a lgica uma disciplina teortica, independente, formal, a
priori e demonstrativa ou se ela uma disciplina prtica, dependente, formal, emprica e indutiva
(HUSSERL, 1999a, p. 38). As respostas a essas questes dependem das bases teorticas da lgica e
da teoria do conhecimento (HUSSERL, 1922, p. 7-8). Husserl prossegue sistematicamente,
abordando passo a passo os principias argumentos psicologistas e obtm como resultado ist die
Aussonderung einer neuen und rein theoretischen Wissenschaft, welche das wichtigste Fundament
fr jede Kunstlehre von der wissenschaftlichen Erkenntnis bildet und den Charakter einer
apriorischen und rein demonstrativen Wissenschaft besitzt60 (HUSSERL, 1922, p. 8).

59

Para uma definio geral de psicologismo, conferir SPIEGLEBERG (1975) e SANTOS (1958, p. 37).

60

a obteno de uma cincia nova e puramente teortica, que constitui o fundamento mais importante de

toda arte do conhecimento cientfico e possui o carter de uma cincia a priori e puramente demonstrativa
(traduo livre do autor).

1.1 AS CRTICAS DE HUSSERL E FREGE AO PSICOLOGISMO

A crtica de Frege ao psicologismo anterior crtica husserliana. Essa aparece no livro Os

Fundamentos da Aritmtica. Um estudo lgico-matemtico do conceito (1884). Nesta obra, um dos
principais objetos da crtica fregeana foi John Stuart Mill: he criticized Mills crud empirical
treatment of the subject of arithmetic 61 (STYAZHKIN, 1969, p. 264). Mill valoriza sobremaneira o
papel da induo no raciocnio lgico. Ao analisar o silogismo, ele escreveu: all inferences is from
particulars to particulars. General propositions are merely registers of such inferences already
made...62 (MILL, 1867, p. 129). Frege foi um crtico notvel de tal posio ao refutar a idia de
que as leis da artimtica procedem da induo.
Na Filosofia da Aritmtica, obra que Miller catalogou na segunda fase, Husserl no concordou com
a posio de Frege segundo a qual a lgica deveria ser fundada apenas na lgica.
Worauf Frege es abgesehen hat, ist ganz und gar nicht eine psychologische Analyse des
Anzahlbegriffes; nicht von einer solchen erhofft er Aufkrung ber die Grundlagen der
Arithmetik; ... Und auch sonst spart er nicht na entschiedenen Protesten gegen die vermeintlichen
Eingriffe der Psychologie in unser Gebiet. (...) Eine Fundierung der Arithmetik auf eine Folge
formaler Definitionen, aus welchen die smtlichen Lehrstze dieser Wissenschaft rein syllogistisch
gefolgert werden knnten, ist das Ideal Freges63 (HUSSERL, 1970, p. 118).
E mais tarde, em uma obra da terceira fase, nas Investigaes Lgicas, Husserl mudou de posio e
concordou com o antipsicologismo fregeano: Da ich die prinzipielle Kritik nicht mehr billige, die
ich an FREGES antipsychologistischer Position in meiner Philosophie der Arithmetik 1. S. 129 -132 gebt habe, brauche ich kaum zu sagen64 (HUSSERL, 1922, p. 169).
Sobre o alcance das crticas ao psicologismo feitas por Husserl nos prolegmenos s Investigaes
Lgicas, j se fez a seguinte afirmao: This Prolegomena comprises a devastating critique of all
forms os psychologism in philosophy, i. e. of all attempts to conceive the sub-disciplines of
philosophy as branches of empirica psychology 65 (SMITH et SMITH, 1995, p. 5). Evert Beth
explicou assim o antipsicologismo de Husserl:
61

Ele critica o cru tratamento emprico de Mill para o objeto da aritmtica(traduo livre do autor).
Toda inferncia do particular ao particular. Proposies universais so apenas registros de tais inferncias
j feitas (traduo livre do autor).
63
O que Frege almejou no absolutamente uma anlise psicolgica do conceito de nmero. No por
meio de tal anlise que ele espera pelo esclarecimento dos fundamentos da aritmtica. ...A psicologia no
deve imaginar que poderia contribuir em algo para a fundamentao da artimtica. Logo se v a direo
que Frege est tomando. (...) Uma fundamentao da matemtica em uma seqncia de definies formais,
no qual todos os teoremas desta cincia possam ser deduzidos puramente de maneira silogsitca, o ideal de
Frege (traduo livre do autor).
64
Apenas necessito dizer que j no aprovo a crtica de princpio que havia feito acerca da posio
anitipsicologista de Frege na minha obra Filosofia da Aritmtica I, p. 129-132) (traduo livre do autor).
65
Estes prolegmenos abrangem uma crtica devastadora de todas as formas de psicologismo na filosofia,
isto , de todas as tentativas para conceber as subdisciplinas da filosofia como ramos da psicologia
emprica (traduo livre do autor).
62

son anty-psychologisme nest aucunement pas une revolt contre la psychologie ou contre son
influence en des domaines diffrents, il nest son origine qu une rvolte contre lapplication de
certaines mthodes en psychologie et se manifeste dans une tentative pour tablir une psychologie
descriptive ou phenomnologique, analogue la physique et la chemie phnomenologique telles
quelles furent propages par Duhens, Mach, Ostwald et Voigt. Ensuite le besoin de maintenir pour
cette psychologie pur la pretntion dune hgmonie sur les autres domaines scientifiques a
oblig Husserl a riger sur cette psychologie descriptive ou phnomenologique et philosophie
proprement dite66 (BETH et PIAGET, 1961, p. 36).
Uma das principais variaes de psicologismo criticado aquela posio segundo a qual o nmero
apenas um fenmeno subjetivo (DE BOER, 1978, p. 21), o que seria confundir o objeto formal com
o ato de contar e, mutadis mutandis, as leis do pensamento lgico tambm seriam consideradas
fenmenos estritamente subjetivos. Husserl observa que ningum aceitaria a primeira tese 67, mas
a segunda parecia mais razovel:
Niemand fat die rein mathematischen Theorien und speziell z B. die reine Anzahlenlehre als
"Teile oder Zweige der Psychologie", obgleich wir ohne Zhlen keine Zahlen, ohne Summieren
keine Summen, ohne Multiplizieren keine Produkte htten usw. Alle arithmetischen
Operationsgebilde weisen auf gewisse psychische Akte arithmetischen Operierens zurck, nur in
Reflexion auf sie kann, was Anzahl, Summe, Produkt u. dgl. ist, "aufgewiesen" werden. Und trotz
dieses "psychologischen Ursprungs" der arithmetischen Begriffe erkennt es jeder als eine
fehlerhafte {...} an, da die mathematischen Gesetze psychologische sein sollen68 (HUSSERL,
66

Seu antipsicologismo no foi de maneira alguma uma revolta contra a psicologia ou contra sua influncia
em domnios diferentes, ele na sua origem apenas uma revolta contra a aplicao de determinados mtodos
em psicologia e se manifesta em uma tentativa para estabelecer uma psciologia descritiva ou
fenomenolgica, anloga fsica e qumica fenomenolgicas tais como foram propagadas por Duhens,
Mach, Ostwald e Voigt. Como conseqncia da necessidade de manter esta psicologia depurada a pretenso
de possuir uma hegemonia sobre os outros domnios cientficos obrigou Husserl a erigir sobre esta
psicologia descritiva ou fenomenolgica a filosofia propriamente dita (traduo livre do autor).
67
Posio que BALAGUER (1998) classifica como ficcionalismo, mas que, supostamente, teve mais
defensores do que Husserl poderia imaginar.
68
Ningum considera as teorias matemticas puras, em especial, por exemplo, a aritmtica pura, como
partes ou ramos da psicologia, mesmo que no possamos ter os nmeros se no os contarmos, nem
teramos somas sem o ato de somar, nem produtos sem multiplicar, etc. Todas as operaes aritmticas
aludem a certos atos psquicos, em que se levam a cabo estas operaes; somente refletindo sobre elas podese mostrar-se o que um nmero, uma soma, um produto, etc. E apesar desta origem psicolgica dos
conceitos aritmticos, todos reconhecem que seria uma metbasis errnea considerar as leis matemticas
como psicolgicas (traduo livre do autor). curioso: se a posio de que a matemtica um ramo da
psicologia fosse seriamente assumida, os cursos universitrios de matemtica provavelmente seriam dados
nos departamentos de psicologia, o que algo absurdo, como observou Husserl: Nun mag zwar der
modernen Psychologie mit ihrem ernsten Streben nach Exaktheit jede Erweiterung um mathematische
Theorien hchst erwnscht sein; aber schwerlich wre sie sehr erbaut, wenn man ihr die Mathematik selbst
als Teil einordnen wollte. Die Heterogeneitt beider Wissenschaften ist eben unverkennbar. So wrde auch
auf der anderen Seite der Mathematiker nur lcheln, wollte man ihm psychologische Studien aufdrngen, in
Absicht auf die vermeintlich bessere und tiefere Begrndung seiner theoretischen Aufstellungen. Er wrde mit
Recht sagen, das Mathematische und das Psychologische sind so fremde Welten, da schon der Gedanke
ihrer Vermittlung absurd wre; wenn irgendwo, so fnde hier die Rede von einer {...} ihre Anwendung
(HUSSERL, 1922, p. 170) -Ainda que a psicologia moderna, em sua sria pretenso de exatido, encontre
somente aceitvel toda colaborao das teorias matemticas, difcil que estivesse mais onge o dia em que a
matemtica fosse incorporada como uma de suas partes. A heterogeneidade de ambas cincias inegvel.
Por outro lado, o matemtico limitar-se-ia a sorrir se algum lhe quisesse impor estudos psicolgicos sob
pretexto de um fundamentao supostamente melhor e mais profunda de suas teorias. Diria, com razo, que
os mundos matemtico e psiclogico so to diferentes que a simples idia da conciliao de ambos
absurda; se em alguma parte h aplicao referir-se a uma metbasis eis allo gnos, aqui (traduo livre

1922, p. 170).
Tais concepes psicologistas tm pelo menos um aspecto fundamental em comum: segundo
Husserl, todas carecem de fundamento (HUSSERL, 1922). Alm disso, acrescente-se outro
ascpecto comum a estes psicologismos: a tendncia reducionista (TIESZEN, 2005):
tais argumentos [psicologistas] carecem de fundamento. J vimos que a tendncia de querer
reduzir uma cincia a outra comum a muitos especialistas que desejam ver tudo explicado pela
especificidade preferida, isto , s do valor, validez, e exatido quilo que pode ser explicado or
sua especialidade69 (SANTOS, 1958, p. 37).

1.2 O LIMITE TEORTICO ENTRE PSICOLOGIA E MATEMTICA

Para conhecer os objetos necessrio realizar operaes psicolgicas que so estudadas pela
psicologia, mas quais so as diferenas bsicas entre os objetos de estudo da psicologia e da
matemtica? Husserl faz uma distino que parece resolver a questo. Ele afirma que a primeira
trata de fatos e objetos empricos, assim como as leis dos processos reais (Reales) do
pensamento que transcorrem no tempo: Mit dem Zhlen und dem arithmetischen Operieren als
Tatsachen, als zeitlich verlaufenden psychischen Akten, hat es natrlich die Psychologie zu tun. Sie
ist ja die empirische Wissenschaft von den psychischen Tatsachen berhaupt 70 (HUSSERL, 1922,
p. 172). A matemtica, por sua vez, trata de ideale Einzelheiten71, isto :
Sie handeln vielmehr von Zahlen und Zahlenverknpfungen schlechthin, in abstrakter Reinheit
und Idealitt. Die Stze der arithmetica universalis -- der arithmetischen Nomologie, wie wir auch
sagen knnten -- sind die Gesetze, welche rein im idealen Wesen des Genus Anzahl grnden. Die
letzten Einzelheiten, welche in den Umfang dieser Gesetze fallen, sind ideale, es sind die numerisch
bestimmten Zahlen, d. i. die niedersten spezifischen Differenzen des Genus Anzahl. Auf sie beziehen
sich daher die arithmetisch-singulren Stze, die der arithmetica numerosa. Sie erwachsen durch
Anwendung jener allgemein arithmetischen Gesetze auf numerisch gegebene Zahlen, sie drcken
aus, was rein im idealen Wesen dieser gegebenen Zahlen beschlossen ist 72 (HUSSERL, 1922, p.
172).
Esta considerao sobre a relao entre a matemtica e a lgica pura serve, mutatis mutandis, para a
relao entre a psicologia e a lgica pura, tema relevante para resolver a questo da possibilidade do
do autor). Apesar de toda esta crtica husserliana, inegvel que fenomenologia colaborou na aproximao
de psicologia e matemtica.
69
Mrio Ferreira dos Santos chegou a descrever a atitude pan-psicologista como um desejo delirante
(SANTOS, 1958, p. 28).
70
A psicologia trata naturalmente do contar e do operar com os nmeros, enquanto fatos, enquanto atos
psquicos, que transcorrem no tempo. A psicologia , de fato, a cincia emprica dos fatos psquicos em
geral (traduo livre do autor). Concepo semelhante de psicologia, implicando em refutao semelhante
do psicologismo pode ser encontrada na obra Psicologia de Mrio Ferreira dos Santos (SANTOS, 1958,
27-37).
71
Individualidades ideais (traduo livre do autor).
72
Tratam pura e simplesmente dos nmeros e de suas combinaes, em sua pureza e idealidade abstratas.
As leis da arithmetica universallis da nomologia aritmtica, como tambm se poderia dizer so as leis
que se fundam puramente na essncia ideal do gnero nmero. As ltimas individualidades, que caem na
esfera destas leis, so ideais, so os nmeros aritmeticamente definidos, isto , as nfimas diferenas
especficas do gnero nmero. A estas se referem, portanto, as leis arritmtica-singulares, aquelas da
arithmetica numerosa. Estas leis surgem mediante a aplicao daquelas leis aritmticas universais a
nmeros dados (traduo livre do autor).

psicologismo como fundamentao da lgica. Este tema poderia ser abordado tambm por uma
perspectiva estritamente ontolgica, isto , chegando a esta concluso pelo estudo das regies
ontolgicas ou das esferas do reino da verdade que lhe correspondem.
O ponto principal aqui que h dois sistemas de leis e um no se reduz ao outro e um deles no
depende do outro: Von allen diesen Stzen ist keiner auf einen empirisch-allgemeinen Satz zu
reduzieren, mge diese Allgemeinheit auch die grtmgliche sein, die empirische
Ausnahmslosigeit im ganzen Bereiche der realen Welt 73 (HUSSERL, 1922, p. 172).
No se nega que o matemtico atinge seus resultados objetivos por meio de operaes subjetivas e
psicolgicas, mas esta objetividade ideal do raciocnio lgico-matemtico define-se pelas condies
da lgica pura e pela no-contradio do raciocnio, que est implicado em suas condies
formais74 e se impe ao estudioso de matemtica ou de lgica, assim como nas demais cincias. O
raciocnio verdadeiro tem uma validade universal, isto , uma validade que transcende os limites
psicolgicos individuais, pois h vrias operaes e funes psicolgicas possveis para se chegar a
um mesmo resultado. Jean-Franois Lyotard oferece um exemplo interessante para ilustrar essa
universalidade prpria da lgica pura: Do mesmo modo um tringulo retngulo possui uma
objetividade ideal, no sentido em que o sujeito de um conjunto de predicados inalienveis, sob
pena de perder o prprio tringulo retngulo (LYOTARD, 1999, p. 17). A validade cientfica
transcende inclusive as relaes empricas que podem lhe servir de apoio, pois h uma passagem
dos fatos cientficos considerados empiricamente para leis e modelos teorticos, no sentido
explicado acima, como mais algum explicou ao pesquisar sobre os estgios e processos do
conhecimento: The theorems of scientific theory are not empirically established relations; but, if a
theory is true, then between the theory and empirical relations there should be some relations if
not full, at least approximate of identity and convertibility75 (SMIRNOV, 1970, p. 50).

2 H PSICOLOGISMO NA OBRA INVESTIGAES LGICAS?

Spiegelberg define o psicologismo criticado em Investigaes Lgicas como the attempt to derive
logical laws from psychological laws76 (SPIEGELBERG, 1994, p. 751).
Na introduo de HUSSERL (1950), Husserl critica aqueles que se limitaram a ver uma psicologia
da imanncia em Investigaes Lgicas e destaca a distino completa entre a fenomenologia
transcendental entendida como uma cincia das puras possibilidades essenciais e a psicologia
descritiva, que ele passou a considerar como um ramo da psicologia emprica. O fato que Husserl
utilizava esse mtodo da psicologia descritiva destacadamente em Filosofia da Aritmtica, quando
era maior a influncia de seu antigo professor Franz Brentano (MOURA, 1989, p.). Nos trabalhos
para a reedio de 1913 de Investigaes Lgicas, Husserl criticou a irrefhrende Charakteristik
der Phnomenologie als deskriptiver Psychologie77 (HUSSERL, 2002, p. 312-4).
Mesmo em Investigaes Lgicas, havia uma influncia notvel de Brentano, o que Husserl
reconheceu na Phenomenological Psychology (Psicologia Fenomenolgica) de 1925 e que foi
explicado detalhadamente em DE BOER ( 1978, p.49).
73

Nenhuma destas leis redutvel a uma proposio universal emprica, ainda que esta universalidade seja
a maior possvel, seja a ausncia emprica de toda exceo, no mbito do mundo real (traduo livre do
autor). A explicao disto, na linguagem filosfica de Mrio Ferreira dos Santos que a realidade ntica no
pode contrariar a realidade ontolgica (SANTOS, 1966).
74
Formal no sentido de MENDELSON (1987).
75
Os teoremas da teoria cientfica no so relaes empiricamente estabelecidas; mas, se uma teoria
verdadeira, ento dever existir algumas relaes entre a teoria e as relaes empricas se no
completamente, pelo menos aproximadamente de identidade e conversibilidade (traduo livre do autor).
76
A tentativa de derivar as leis lgicas das leis psicolgicas (traduo livre do autor).
77
Enganadora caracterizao da fenomenologia como uma psicologia descritiva (traduo livre do autor).

Houve certa confuso na recepo do segundo volume alemo das Investigaes Lgicas, onde se
chegou a identific-lo com psicologismo, principalmente depois que Husserl aceitou a
characterization of phenomenology as a descriptive psychology78 (DAHLSTROM, 2003, p. 5).

Para Evert Beth, se h psicologismo na Filosofia da Aritmtica, tambm h nas

Investiaes Lgicas, pois entre uma e obra e outra houve apenas uma mudana
trerminolgica: la diffrence entre la PA [Filosofia da Aritmtica] et le LU [Investigaes
Lgicas] est pourtant terminologique. Le terme psychologism est remplac par le terme
philosophie que dnote pourtant grosso modo le mme genre de recherche introspective 79
(BETH et PIAGET, 1961, p. 47). Esta afirmativa faz uma generalizao indevida, pois, de
fato, h mtodos e conceitos psicolgicos utilizados na Filosofia da Aritmtica que
permancessem nas Investigaes Lgicas80 como foi observado por MILLER (1982), mas
h elementos novos, no sendo apenas uma questo de princpios diferentes, mas uma
questo de concepo da cincia lgica, incluindo, por exemplo, a sua finalidade 81. Na obra
Lgica Formal e Transcendental82 Husserl refuta a posio de que h psicologismo
epistemolgico nas Investigaes Lgicas.
3 H PSICOLOGISMO NA OBRA FILOSOFIA DA ARITMTICA?
Na Filosofia da Aritmtica, obra que MILLER (1982) catalogou na segunda fase, Husserl no
concordou com a posio de Frege segundo a qual a lgica deveria ser fundada apenas na lgica.
Worauf Frege es abgesehen hat, ist ganz und gar nicht eine psychologische Analyse des
Anzahlbegriffes; nicht von einer solchen erhofft er Aufkrung ber die Grundlagen der
Arithmetik; ... (...) Eine Fundierung der Arithmetik auf eine Folge formaler Definitionen, aus
welchen die smtlichen Lehrstze dieser Wissenschaft rein syllogistisch gefolgert werden knnten,
ist das Ideal Freges83 (HUSSERL, 1970, p. 118).
E depois, em uma obra da terceira fase, nas Investigaes Lgicas, Husserl mudou de posio e
concordou com o antipsicologismo fregeano: Da ich die prinzipielle Kritik nicht mehr billige, die
ich an Freges antipsychologistischer Position in meiner Philosophie der Arithmetik 1. S. 129 -- 132
gebt habe, brauche ich kaum zu sagen84 (HUSSERL, 1922, p. 169).
78

Caracterizao da fenomenologia como uma psicologia descritiva (traduo livre do autor).

A diferena entre as obras Filosofia da Aritmtica e Investigaes Lgicas , portanto, terminolgica. O
termo psicologismo substitudo pelo termo filosofia, o qual denota, portanto, grosso modo, o mesmo
gnero de pesquisa introspectiva (traduo livre do autor).
80
Por exemplo: a distino husserliana entre os modos de apresentao simblica ou pro meio de signos
(HUSSERL, 1970, p. 38, 193) e a eigentlich ou autntica (HUSSERL, 1970, p. 6, 190).
81
A qual pode ser teortica ou normativa, por exemplo (HUSSERL, 1999a).
82
Conferir 67 do livro citado: Le reproche de psychologisme est une incomprhension de la fonction
logique ncessaire de la critique transcendentale de la connaissnace ((HUSSERL, 1957, p. 232-5) - o erro
do psicologismo uma incompreenso da funo lgica necessria da crtica transcendental do
conhecimento (traduo livre do autor).
83
O que Frege almejou no foi absolutamente uma anlise psicolgica do conceito de nmero. No por
meio de tal anlise que ele espera pelo esclarecimento dos fundamentos da aritmtica. ...A psicologia no
deve imaginar que poderia contribuir em algo para a fundamentao da aritmtica. Logo se v a direo
que Frege est tomando. (...) Uma fundamentao da matemtica em uma seqncia de definies formais,
no qual todos os teoremas desta cincia possam ser deduzidos puramente de maneira silogsitca, o ideal de
Frege (traduo livre do autor).
84
Apenas necessito dizer que j no aprovo a crtica de princpio que havia feito acerca da posio
antipsicologista de Frege na minha obra Filosofia da Aritmtica I, p. 129-132) (traduo livre do autor).
79

H um argumento forte para a tese de que h psicologismo na obra Filosofia da Aritmtica: o

prprio Husserl parece assumir no comeo das Investigaes Psicolgicas que ele mesmo foi
psicologista: Was aber die freimtige Kritik anbelangt, die ich an der psychologistischen Logik
und Erkenntnistheorie gebt habe, so mchte ich an das Goethesche Wort erinnern: "Man ist gegen
nichts strenger als gegen erst abgelegte Irrtmer."85 (HUSSERL, 1922, p 8).
Ao tratarmos de um psicologismo hipottico em Filosofia da Aritmtica, razovel distinguir o
sentido de psicologismo que se trata, pois o gnero psicologismo possui vrias espcies
psicologistas. H um sentido de psicologismo sobre o qual no cabe discusso, pois este certamente
nunca foi praticado por Husserl: aquele que considera os nmeros como fenmenos meramente
subjetivos. Este ponto foi reconhecido inclusive por Frege na resenha que fez sobre Filosofia da
Aritmtica, onde ele afirmou que a distino husserliana entre modos de apresentao autntica e
simblica implica na distino entre nmeros como objetos da aritmtica e nmeros considerados
no ato psicolgico da contagem, pois tal distino would be inconceivable if numbers were
regarded as identical with the acts of presentation themselves86 (MILLER, 1982, p. 21), sendo que
esta distino the basic thought of PA87 (MILLER, 1982, p. 21). Outra distino husserliana que
elimina tal psicologismo a distino entre a representao do nmero e o contedo desta mesma
representao (MILLER, 1982, p. 22; HUSSERL, 1970, 218), ou citando as palavras do prprio
Husserl para que se possa avaliar a preciso das suas distines filosficas:
so mu doch berhaupt unterschieden werden zwischen dem Phnomen als solchem und dem,
wozu es uns dient oder was es uns bedeuet, und demgem auch zwischen der psychologischen
Beschreibung eines Phnomens und der Angabe seiner Bedeutung. Das Phnomen ist die
Grundlage fr die Bedeutung, nicht aber sie selbst88 (HUSSERL, 1970, p. 31).
Se na Filosofia da Aritmtica, Husserl no chegou a declarar explicitamente a objetividade do
nmero, que no era dito nem algo real, nem apenas um conceito (HUSSERL, 1970), pode-se
afirmar categoricamente que em tal obra o nmero j era concebido como algo que permanece
invarivel em relao ao tempo e aos acidentes psicolgicos. Ele deu um exemplo simples e
notvel: ao se trocar a ordem de apresentao de quatro objetos como A, B, C e D, a seqncia
temporal de apresentao e a seqncia de operaes psicolgicas ser diferente, pois o fenmeno
mudou, mas Alle diese Unterschiede hebt die logische Bedeutung auf. Die modifizierten Inhalte
dienen als Zeichen, als Vertreter fr die unmodifiziert gewesenen 89 (HUSSERL, 1970, p. 31).
Philip Miller negou a comum opinionis de que Husserl tenha cometido o erro de psicologismo 90 em
relao aos mtodos de investigao do conceito de nmero em Filosofia da Aritmtica (MILLER,
1982, p. 19). Mesmo Daniel Dahlstrom, que parece inferir psicologismo na filosofia da aritmtica 91,
concede que there is no evidence in his Philosophy of Arithmetic or elsewhere that he ever
85

Em relao crtica aberta que fiz da lgica e da teoria do conhecimento psicologistas, recordarei as
palavras de Goethe: contra nada somos mais severos do que contra os erros abandonados (traduo livre
do autor). E como que se poderia abandonar aquilo que no se possua? Logo, Husserl deve ter sido adepto
de tais posies que abandonou e criticou severamente. Na seqncia, interpretar-se- o sentido de tal
confisso.
86
Seria inconcebvel se os nmeros fossem considerados idnticos aos atos de representao propriamente
ditos (traduo livre do autor).
87
O pensamento bsico de Filosofia da Aritmtica (traduo livre do autor).
88
Temos, em geral, de distinguir entre o fenmeno enquanto tal e para o que ele serve, ou o que ele significa
para ns. Da mesma forma, ns precisamos distinguir entre a descrio psicolgica de um fenmeno e o
juzo a respeito do seu significado. O fenmeno fundamento da sua significao, mas no idntico a ele
(traduo livre do autor).
89
A significao lgica fica alm de tais modificaes. Os contedos alterados servem como signos, como
representaes dos elementos que no foram modificados ali (traduo livre do autor).
90
Rollinger se refere ao empirismo da Filosofia da Aritmtica, que Husserl teria herdado de Brentano e
abandonado nas Investigaes Lgicas (ROLLINGER, 1993, p. 85). .

seriously entertained a theory of the sorts drafted by Mill, Sigwart, Mach or others 92
(DAHLSTROM, 2003, p. 3). Assim, as solues obtidas naquela obra no teriam sido psicologistas
no sentido pernicioso e criticado em Investigaes Lgicas, mas tal qualificao se adequaria
posio, que seria a base de um hipottico segundo volume de Filosofia da Aritmtica, segundo a
qual, a lgica seria essencialmente uma disciplina prtica, por ser parte da lgica considerada como
uma tcnica com fins prticos (MILLER, 1982, p. 22-3). Miller defende Filosofia da Aritmtica
como um estudo das estruturas intencionais comparvel s Investigaes Lgicas e essencial para a
abordagem madura da filosofia da matemtica husserliana (MILLER, 1982, p.23).
Philip Miller nega que Filosofia da Aritmtica participou dos sentidos perniciosos do psicologismo
(aqueles criticados nos prolegmenos s Investigaes Lgicas), embora reconhea que Husserl
possua uma mentalidade genuinamente psicologista, isto , o nico sentido em que ele admite o
psicologismo na Filosofia da Aritmtica na posio filosfica that analysis was a part of logic,
while holding, on the other, that logic was an essentially practical discipline93 (MILLER, 1982, p.
21), isto , pela desconsiderao com o aspecto teortico da lgica e da anlise matemtica.
Entretanto, essa posio no foi relevante no primeiro volume da Filosofia da Aritmtica94, mas
apenas no segundo volume, isto , naquele que no foi publicado por Husserl.

Palavras chaves: Husserl, psicologismo, lgica.

BIBLIOGRAFIA
BALAGUER, Mark. Platonism and Anti-Platonism in Mathematics. Oxford: New York: Oxford
University Press, 1998.
BETH, Evert et PIAGET, Jean. pistemologie mathmatique er psychologie: essai sur les
relations entre la logique formelle et la pense relle. Paris: PUF, 1961. 352p.
DAHLSTROM, Daniel O (org.). Husserls logical Investigations. Dordrecht: Luwer Academic
Publishers, 2003. 200p.
DE BOER, Theodore. The Development of Husserls Thought. Trad.: Theodore Plantinga. The
Hague: Martinus Nijhoff Publishers, 1978. 545p.
HUSSERL, Edmund. Logische Untersuchungen: Erster Band, Halle a.S: Max Neimeyer., 1922.
_________. Ideen zu einer reine Phnomenologie und phnomenologischen Philosophie. Erstes
Buch: Allgemeine Einfhrung in die reine Phnomenologie. Husserliana, Band III. The
Hagee: Martinus Nijhoff, 1950.
_________. Logique formelle et logique transcendentale: essai dune critique de la raison
logique. Trad.: Suzanne Bachelard. Paris: PUF, 1957. 447p.
_________. Philosophie der Aritmetik: mit erganzenden texten (1890-1901). Den Haag:
Martinus Nijhoff, 1970. 585p.
_________. Logische Untersuchungen - Ergnzungsband. Erster Teil.
Entwrte zur
Umarbeitung der VI. Untersuchung und zur Vorrede fr die Neuaflage der Logischen
91

As crticas de Frege (1894) filosofia da aritmtica de Husserl teriam lhe capacitado a see the error of his
psychologistic ways in the days when he worked under Brentano and Stumpf (DAHLSTROM, 2003, p. 2)
ver o erro dos seus caminhos psicologistas nos dias em que ele trabalho sob a orientao de Brentano e
Stumpf (traduo livre do autor).
92
No h evidncia em Filosofia da aritmtica ou em qualquer outro lugar de que ele [Husserl] tenha
seriamente desenvolvido uma teoria do gnero delineado por Mill, Sigwart, Mach ou outros (traduo livre
do autor). Mill e Sigwart so alguns dos psicologistas criticados nos prolegmenos das Investigaes
Lgicas.
93
A anlise matemtica era uma parte da lgica, enquanto sustentando, por outro lado, que a lgica era
uma disciplina essencialmente prtica (traduo livre do autor).
94
Fazendo algumas excees em trechos como em HUSSERL (1970, p. 248).

Untersuchungen (Sommer 1913). Herausgegeben von Ullrich Melle. Husserliana, Band XX.
Dordrecht: Kluwer Academic Publishers, 2002. 441p.
LYOTARD, Jean-Franois. A fenomenologia. Trad. Armindo Rodrigues. Lisboa: Ed. 70, 1999.
119p.
MENDELSON, Eliott. Introduction to mathematical logic. New York: Chapman & Hall, 1987.
p. 341.
MILL, John S. A System of Logic, Ratiocinative and Inductive: being a conncected view of the
principles of evidence and the methods of scientific investigation. New York: Harper &
Brothers, 1867. 600p.
MILLER, J. Philip. Numbers in Presence and Absence: A Study of Husserls Philosophy of
Mathematics. The Hague: Martinus Nijhoff Publishers, 1982. 147p.
MOURA, Carlos A. Crticas da Razo na Fenomenologia. So Paulo: Nova Stella: Edusp, 1989.
260p.
ROLLINGER, R. D. Meinong and Husserl on Abstraction and Universals: from Hume Studies I
to Logical Investigations II. Amsterdam: Editions Rodopi B.V., 1993.
SANTOS, Mrio F. Psicologia. 3a ed.So Paulo: Logos, 1958. 259p.
________. Grandezas e Misrias da Logstica. So Paulo: Matese, 1966. 156p.
SMIRNOV, V. A . Levels of knowledge and stages in the process of knowledge. In: TAVANEC, P.
V. (org.). Problems of the logic of scientific knowledge. Dordrecht: D. Reidel Publishing
Co.,1970, 429p.
SMITH,Barry et SMITH, David W. Introduction. In: SMITH,Barry et SMITH, David W. (org.).
The Cambridge Union to Husserl. Cambridge: Cambridge University Press, 1995. 528p.
SPIEGELBERG, Herbert. The phenomenological movement: a historical introduction. 3a ed.
Dordrecht: Boston: London, Kluwer Academic Publishers, 1994. 756p.
STYAZHKIN, N. I. History of Mathematical Logic from Leibniz to Peano. Massachusets: The
M.I.T. Press, 1969.
TIESZEN, Richard. Phenomenology, Logic and the Philosophy of Mathematics. New York:
Cambridge University Press, 2005. 368p.
_____________________________________________________
Carlos Eduardo de Carvalho Vargas E-mail: sammler@gmail.com

PONTIFCIA UNIVERSIDADE CATLICA DO PARAN

CARLOS EDUARDO DE CARVALHO VARGAS

UMA COMPARAO ENTRE AS FILOSOFIAS DA LGICA DE HUSSERL E

FREGE

CURITIBA
2006

SUMRIO
RESUMO....................................................................................................................3
1 HUSSERL E FREGE: UMA COMPARAO BREVE....................................4
1.1 O PAPEL DA DEFINIO NA CINCIA.......................................................5
1.2 O PAPEL DA INTUIO NO CONHECIMENTO.........................................6
1.3 AS CRTICAS DE HUSSERL E FREGE AOS PSICOLOGISMOS................7
1.4 O PAPEL DE HUSSERL E FREGE NA HISTRIA DA LGICA PURA......9
BIBLIOGRAFIA......................................................................................................11

RESUMO

Este trabalho tem como objetivo apresentar uma comparao entre Husserl e Frege em
relao a alguns tpicos das filosofias da lgica, da matemtica e da cincia. A partir dos
estudos de Philip Miller, Michael Dummet, George Boolos, Richard Tieszen, Roy Sellars e
outros, so comparadas as posies de ambos no contexto da histria da lgica e da
filosofia, especialmente no desenvolvimento da lgica pura husserliana de
Investigaes Lgicas. Tambm so enfrentadas questes mais tcnicas como as posies
deles em relao ao papel da definio e da intuio na cincia, particularmente na
lgica. Outro tema destacados nesta investigao o antipsicologismo, mostrando a
evoluo do pensamento de Husserl, de Filosofia da Aritmtica a Investigaes
Lgicas a partir da obra Os Fundamentos da Aritmtica de Frege. Por um lado, mostrase a convergncia de ambos em alguns destes problemas, mas, por outro aspecto, enfatizase algumas notas que distinguem seus objetivos e mtodos.

1 HUSSERL E FREGE: UMA COMPARAO BREVE

Michael Dummet,no prefcio da reedio inglesa das Investigaes

Lgicas, fez uma comparao breve entre Husserl e Frege, mostrando os pontos de
semelhana entre os dois pensadores na virada do sculo. Ambos sustentavam que a
lgica essencialmente uma diciplina teortica e ambos podem ser considerados, em
certo sentido, logicistas em relao filsofia da matemtica 95. Contudo, em seguida,
nota que os pensamentos de ambos seguiram caminhos bem distintos: Husserl
seguiu investigando as intuies das essncias e influenciando a escola
fenomenolgica, enquanto Frege dedicou-se linguagem e considerado av da
filosofia analtica96 (DUMMET, 2003, p. xviii) de tal maneira que a comunicao
entre os pensadores das duas escolas has until recently been almost impossible97
(DUMMET, 2003, p. xviii).
Uma das opinies mais curiosas sobre a relao filosfica entre Frege e
Husserl a do historiador P.S. Popov98, segundo o qual, Frege foi um predecessor
of Husserl and phenomenology in general99 (STYAZHKIN, 1969, p. 264), mas
Styazhkin no concorda com Popov, embora use um argumento equivocado:
however, it is very doubtful that this is so. After all, Frege was a complete stranger
to subjectivism, wich is a characteristic of the phenomenological direction in
philosophy100 (STYAZHKIN, 1969, p. 264). Para ser mais correto, o subjetivista
neste ponto foi o prprio Styazhkin que fez uma afirmao sem embasamento, que
95

Sobre a filosofia da matemtica de Husserl, conferir (MILLER, 1982, p. 4s.).

Nessa linha, Dummet afirma tabmm que Brentano o bisav da filosofia analtica (DUMMET, 2003, p.
xviii).
97
Tem at mesmo se tornado quase impossvel (traduo livre do autor). O fenmeno da
incomunicabilidade entre filsofos existe, especialmente no sculo XX (STEAGMLLER, 1977, p. 12-4);
entretanto, tal argumentao contraditria com a posio de Roy W. Sellars na resenha que fez sobre o livro
The Aims of Phenomenology de Marvin Farber (Os objetivos da fenomenologia de Marvin Farber):
Husserl may be said to belong to the analytic tradition (SELLARS, 1968, p. 125) De Husserl pode-se
dizer que pertence tradio analtica (traduo livre do autor). Dessa forma, ambos (Husserl e Frege),
divergeriam dentro da mesma escola analticam, onde um teria se voltado para as essncias e outro para a
linguagem.
98
Autor de Istoriza logichi novogo opemeni (Histria da lgica recente).
99
Predecessor de Husserl e da fenomenologia em geral (traduo livre do autor).
100
No entanto, muito duvidoso que isto seja assim. Alm disso, Frege era completamente estranho a este
subjetivismo, o qual caracterstico da linha fenomenolgica na filosofia (traduo livre do autor).
96

apenas

demonstra

que

ele

no

havia

compreendido

fenomenologia

adequadamente101. De acordo com Styazhkin:

Freges name is usually associated with the emergence of a new stage in the
development of mathematical logic. This stage is characterized by the axiomatic
treatment of the proposicional calculus, the establishment of the foundations of the
theory of mathematical proof, and the formulation of the beginnings of logical
semantics102 (STYAZHKIN, 1969, p. 264).

A hiptese deste trabalho que Husserl e Frege podem ser considerados

pensadores de gneros distintos, posio baseada em indicaes dadas por MILLER
(1982) e TIESZEN (2005). Baseado neste ltimo a distino de gneros seria entre
lgica intensista, estudada por Husserl, e lgica extensista: In Husserls work there
is a resistance to such a one-sided reductionism and extensionalism about
mathematics logic. (...) Husserl in fact favored the development of intensional
logic... Frege also came up against the idea of developing an intensional logic... 103
(TIESZEN, 2005, p. 299).
1.1 O PAPEL DA DEFINIO NA CINCIA

Husserl e Frege tambm discordavam em relao ao papel da definio na

cincia. Para o ltimo, definitions show their worth by proving fruithful. Those that
could just as well be omitted and leave no link missing in this chain of our proofs
should be rejected as completely worthless104 (MILLER, 1982, p. 42), isto , Frege
101

Sobre este assunto, pode-se consultar qualquer livro razovel de introduo fenomenologia
O nome de Frege usualmente associado com a emergncia de um estgio novo no desenvolvimento da
lgica matemtica. O estgio caracterizado pelo tratamento axiomtico do clculo proposicional, o
estabelecimento dos fundamentos da teoria da demonstrao matemtica e a formulao do incio da
semntica lgica (traduo livre do autor).
103
No trabalho de Husser h uma resistncia para tal reducionismo unilateral e extensionalismo acerca da
lgica matemtica. (...) De fato, Husserl favoreceu o desenvolvimento da lgica intensional... Frege tambm
foi contra a idia do desenvolvimento de uma lgica intensional... (traduo livre do autor).
104
Definies mostram seu valor provando sua utilidade. Aquelas que pudessem ser omitidas sem deixar
lacunas nesta cadeia de nossas demonstraes devem serrejeitadas como completamente sem valor
(traduo livre do autor).
102

pensa na definio em termos de utilidade dentro dos procedimentos logsticos105

ou em termos de teoria formal106 no sentido de MENDELSON (1987, p. 27-35). Por
outro lado, Husserl pretende que uma definio 107 bring to light the sense or content
of this concept108 (MILLER, 1982, p. 42), ajudando-nos a entender what we really
meant (MILLER, 1982, p. 42). A postura de Husserl, ao visar o esclarecimento
teortico109, mais intelectual, filosfica e mesmo cientfica, enquanto Frege assume
um sentido mais tcnico ou useful 110 (MILLER, 1982, p. 34) e interpreta Husserl
como um psychological logician na crticia que fez Filosofia da Aritmtica (in
MILLER, 1982, p. 34) pois ali h o interesse in the sense of the words111, enquanto
o matemtico deve se interessar por the thing itself, the referent112 (in MILLER,
1982, p. 34), pois o lgico psicolgico, de acordo com a crtica fregeana, no
chega a investigar a essncia do nmero, como pretende, pois limita-se a estudar a
representao do objeto formal e no o objeto propriamente dito. H positividade
nesta afirmao, mas ele minimiza a the question of the ... true being113, que o
ponto central na anlise filosfica e fenomenolgica desenvolvida por Husserl.
Muitas destas diferenas entre ambos podem ser integradas concretamente por meio
das consideraes sobre subjetividade e objetividade que far-se- na seqncia.
1.2 O PAPEL DA INTUIO NO CONHECIMENTO

105

Atribunindo-se a esta palavra o sentido tcnico que ela possui em Mrio Ferreira dos Santos (SANTOS,
1966).
106
O que Husserl chama de lgica da no-contradio (HUSSERL, 1957).
107
Como a definio de nmero, por exemplo.
108
Trazendo luz o sentido ou contetdo deste conceito (traduo livre do autor). Miller est se baseando
em trechos de HUSSERL (1970, p. 117, 124).
109
O que est significado na expresso bring to the light (trazer luz traduo livre do autor).
110
A sugesto do autor desta pesquisa que esta comparao, aqui iniciada, seja continuada a partir das
categorias caracterolgica-sociais apresentadas na Filosofia e Histria da Cultura de Mrio Ferreira dos
Santos (SANTOS, 1962, p. 169-188), pois useful um vocabulrio mais prprio de algum que est no
mbito (seja em termo de cosmoviso pessoal, de temperamento-carter, de kratos poltico ou de estamento
scio-econmico) do empresrio-utilitrio.(SANTOS, 1962, p. 103-134).
111
Ou pelo discurso semntico como explicou-se supra.
112
A coisa propiramente dita, o referente (traduo livre do autor).
113
A questo do ... ser verdadeiro (traduo livre do autor).

Eles tambm discordavam em relao ao papel da intuio no

conhecimento. Para Husserl, a evidncia lgica depende, em certo sentido, da
intuio, especialmente da intuio eidtica. Frege, por outro lado, pretendia
estabelecer uma cadeia de inferncias apropriada a uma mquina de pensar
(FREGE, 1972). Desta maneira seria possvel avanar nas inferncias sem apelar
intuio114 (FREGE, 1972, p. 194): adems, para que no pudiera introducirse
inadvertidamente algo intuitivo, se debi llegar a suprimir toda laguba em la
cadena de inferencias115 (FREGE, 1972, p. 194). Husserl enfatiza a importncia da
investigao das condies subjetivas do conhecimento, ainda que ideais ou
essenciais, enquanto Frege as deixa de lado por considerar a matemtica
independente e superior destas condies:
la diferencia [entre as vrias cincias] estriba solo em la mayor o menor pureza y
independencia de influencias psicolgicas y ajudas externas al pensamiento, tales como
el languaje, los smbolos numricos, etc, y acaso asin en la sutileza de la estructura de
los conceptos; pero es precisamente en este respecto en el que la matemtica no podra
ser superada por ninguna ciencia, incluso por la misma filosofa 116 (FREGE, 1972, p.
109).

1.3 AS CRTICAS DE HUSSERL E FREGE AOS PSICOLOGISMOS

A crtica de Frege ao psicologismo anterior. Tal crtica aparece no seu

livro Os Fundamentos da Aritmtica. Um estudo lgico-matemtico do conceito
(1884). Nesta obra, um dos principais objetos de crtica foi John Stuart Mill: he

114

Em Os Fundamentos da Aritmtica, Frege reconheceu que o clculo matemtico no apenas um

pensamento mecnico, pois, segundo ele, provavelmente no existe um pensamento assim (FREGE, 1972,
p. 108).
115
Ademais, para que no seja possvel introduzir-se inadvertidamente algo intuitivo,deve-se chegar a
suprimir toda lacuna na cadeia de inferncias (traduo livre do autor).
116
A diferena entre as vrias cincias baseia-se somente na maior ou menor pureza e independncia em
relao s influncias psicolgicas e ajudas externas ao pensamento, tais como a linguegem, os smbolos
numricos, etc, e, assim, na sutileza da estrutura dos conceitos; mas precisamente a este respeito em que a
matemtica no poderia ser superada por nenhuma cincia, inclusive mesmo pela filosofia (traduo livre
do autor).

criticized Mills crud empirical treatment of the subject of arithmetic 117

(STYAZHKIN, 1969, p. 264). Mill valoriza sobremaneira o papel da induo no
raciocnio lgico. Ao analisar o silogismo, ele escreveu: all inferences is from
particulars to particulars. General propositions are merely registers of such
inferences already made...118 (MILL, 1867, p. 129). Frege foi um crtico notvel de
tal posio ao refutar a idia de que as leis da artimtica procedem da induo.
Na Filosofia da Aritmtica, obra que Miller catalogou na segunda fase, Husserl
no concordou com a posio de Frege segundo a qual a lgica deveria ser fundada
apenas na lgica.
Worauf Frege es abgesehen hat, ist ganz und gar nicht eine psychologische Analyse
des Anzahlbegriffes; nicht von einer solchen erhofft er Aufkrung ber die Grundlagen
der Arithmetik; ... Und auch sonst spart er nicht na entschiedenen Protesten gegen die
vermeintlichen Eingriffe der Psychologie in unser Gebiet. (...) Eine Fundierung der
Arithmetik auf eine Folge formaler Definitionen, aus welchen die smtlichen Lehrstze
dieser Wissenschaft rein syllogistisch gefolgert werden knnten, ist das Ideal Freges 119
(HUSSERL, 1970, p. 118).

E depois, em uma obra da terceira fase, nas Investigaes Lgicas, Husserl

mudou de posio e concordou com o antipsicologismo fregeano: Da ich die
prinzipielle Kritik nicht mehr billige, die ich an FREGES antipsychologistischer
Position in meiner Philosophie der Arithmetik 1. S. 129 -- 132 gebt habe, brauche
ich kaum zu sagen120 (HUSSERL, 1922, p. 169).

117

Ele critica o cru tratamento emprico de Mill para o objeto da aritmtica(traduo livre do autor).
Toda inferncia do particular ao particular. Proposies universais so apenas registros de tais
inferncias j feitas (traduo livre do autor).
119
O que Frege almejou no absolutamente uma anlise psicolgica do conceito de nmero. No por
meio de tal anlise que ele espera pelo esclarecimento dos fundamentos da aritmtica. ... Psicologia no
deve imaginar quepoderia contribuir em algo para a fundamentao da artimtica. Logo se v a direo
que Frege est tomando. (...) Uma fundamentao da matemtica em uma seqncia de definies formais,
no qual todos os teoremas desta cincia possam ser deduzidos puramente de maneira silogsitca, o ideal de
Frege (traduo livre do autor).
120
Apenas necessito dizer que j no aprovo a crtica de pincpio que havia feito acerca da posio
anipsicologista de Frege na minha obra Filosofia da Aritmtica I, p. 129-132) (traduo livre do autor).
118

1.4 O PAPEL DE HUSSERL E FREGE NA HISTRIA DA LGICA PURA

Edmund Husserl chamou essa cincia de lgica pura, mas tambm a

nomeou como cincia das cincias, doutrina da cincia, arte do conhecimento
cientfico e, ainda, lgica como disciplina filosfica: This pure logic serves as
the basis for the preordenation of those laws that are logical in the strict sense (the
principle of contradiction, syllogistic principles) and that are to be the rules of
scientific thinking (HUSSERL, 1981, p. 147).
Nos prolegmenos de seu livro Investigaes Lgica, Husserl apresentou
os problemas que acompanhariam as pesquisas relacionadas com a lgica pura
(HUSSERL, 1922, p. 242-6) e, no decorrer dessa obra, fez uma srie de estudos
preliminares para uma lgica filosfica (HUSSERL, 1922, p. 248-9) visando obter a
inteleco da essncia (HUSSERL, 1922, p. 252-4) da teoria cientfica.
A importncia de Frege na lgica dos sculos XIX e XX indiscutvel:
[Frege] is widely regarded as one of the two greatest logicians since Aristotle (the
other is Kurt Gdel). Frege is now credited 121 with the creation of modern logic: among
others accomplishments, he was the first person to investigate the logical foundation of
mathematics and the first to construct a formal deductive system of logic 122 (BOOLOS,
1998, p. 143).

Um dos autores que enfatiza a importncia de Frege para a lgica pura o

prprio Husserl, como se deduz deste trecho das Investigaes Lgicas: Bei dieser
121

Frege oferece contribuies importantes mesmo quando falha. Como, por exemplo, nos dois volumes de
Grundsetze der Arithmetik (Os Fundamentos da Aritmtica traduo livre do autor), onde ele apresentou
um simbolismo para os argumentos de Grundlagen der Arithmetik (Fundamentos da Aritmtica-traduo
livre do autor), onde desenvolve-se a aritmtica ou a teoria dos nmeros naturais (a qual possui seu lugar na
lgica pura de Husserl). Entretanto, esse desenvolvimento falha porque in effect amounts to the assumption
of the inconsistent naive conception of set (BOOLOS, 1998, p. 135). de fato, pode ser acusado pela sua
concepo ingenuamente inconsistente de conjunto (traduo livre do autor).
122
[Frege] reconhecido amplamente como um dos dois maiores lgicos desde Aristteles (o outro Kurt
Gdel). A Frege atualmente atribuda a criao da lgica moderna: entre outros feitos, ele foi a primeira
pessoa a investigar as fundamentaes lgicas da matemtica e o primeiro a construit um sistema dedutivo e
formal da lgica (traduo livre do autor).

Gelegenheit sei bezglich der ganzen Diskussionen dieser Prolegomena auf das
Vorwort der spteren Schrift Freges, Die Grundgesetze der Arithmetik I. Bd. Jena
1893, hingewiesen123 (HUSSERL, 1922, p. 169). Com este ltimo item, conclui-se
esta comparao breve, contemplando alguns pontos de convergncia e de
divergncia nas filosofias da lgica de Husserl e Frege.

123

Aproveito a ocasio para assinalar com referncia a todos as discusses destes prolegmenos o prlogo
da obra posterior de Frege, Os Fundamentos da Aritmtica, tomo I, Jena, 1893 (traduo livre do autor).

BIBLIOGRAFIA

AGAZZI, Evandro. La lgica simblica. Trad.: J. P. Ballesta. Barcelona: Herder,

1986. 355p.
BOOLOS, George. Logic, logic and logic. Cambridge: Harvard University Press,
1998.
DUMMET, Michael. Preface to Logical Investigations. In: Logical Investigations:
volume 1. Trad.: J.N.Findlay. London: New York: Routledge, 2003. 331p.
FREGE, Gottlob. Logische Untersuchungen. 2a ed. Gttingen: Vandenhoeck &
Ruprecht, 1966.
_________ . E. Schrder Vorlesungen ber die Algebra der Logik. In: FREGE,
Gottlob. Logische Untersuchungen. 2a ed. Gttingen: Vandenhoeck & Ruprecht,
1966.
HUSSERL, Edmund. Logische Untersuchungen: Erster Band, Halle a.S: Max
Neimeyer., 1922.
_________. Logique formelle et logique transcendentale: essai dune critique de
la raison logique. Trad.: Suzanne Bachelard. Paris: PUF, 1957. 447p.
_________. Philosophie der Aritmetik: mit erganzenden texten (1890-1901). Den
Haag: Martinus Nijhoff, 1970. 585p.
_________. Formale und Traszendentale Logik: Versuch einer Kritik der
logischen Vernunft. Hrsg. von Paul Jansen. Husserliana, Band XVII: Den Haag:
Martinus Nijhoff, 1974. 512p.
_________ . On the Psychological Grounding of Logic (May 2, 1900, Halle).
Trad.: Thomas Sheeman. In: McCORMICK, Peter et ELLISTON, Frederick (ed.).
Husserl: Shorter Works. Notre Dame: University of Notre Dame Press, 1981. 440p.
________ . Investigaciones Lgicas 1. Trad.: M.G. Morente et J. Gaos. Madrid:
Alianza Editorial, 1999.

_______. Philosophy of Arithmetic: psychological and logical investigations with

supplementary texts from 1887-1901. Trad.: Dallas Willard. Dordrecht: Kluwer
Academic Publishers, 2003. 584p.
MENDELSON, Eliott. Introduction to mathematical logic. New York: Chapman
& Hall, 1987. p. 341.
MILL, John S. A System of Logic, Ratiocinative and Inductive: being a
conncected view of the principles of evidence and the methods of scientific
investigation. New York: Harper & Brothers, 1867. 600p.
MILLER, J. Philip. Numbers in Presence and Absence: A Study of Husserls
Philosophy of Mathematics. The Hague: Martinus Nijhoff Publishers, 1982. 147p.
SELLARS, Roy. Reveiw of The Aims of Phenomenology. The Motives,
MethoDuns Scot, and Impact of Husserl's Thought. by Marvin Farber. In:
Philosophy and Phenomenological Research, Vol. 29, No. 1 (Sep., 1968) , p. 1259.Providence: Internatinal phenomenological Society.
SANTOS, Mrio F. Filosofia da histria e da cultura: III volume. So Paulo:
Logos, 1962. 199p.
________. Grandezas e Misrias da Logstica. So Paulo: Matese, 1966. 156p.
STEAGMLLER, Wolfgang. A filosofia contempornea: volume I. So paulo:
E.P.U.: Edusp, 1977. 554p.
STYAZHKIN, N. I. History of Mathematical Logic from Leibniz to Peano.
Massachusets: The M.I.T. Press, 1969.
TIESZEN, Richard. Phenomenology, logic and the Philosophy of Mathematics.
New York: Cambridge University Press, 2005. 368p.

PROJETO APRESENTADO NA UNESP EM 2005

1. INTRODUO
O objetivo dessa pesquisa descrever a idia pura de cincia de Edmund Husserl
dialetizando-a com a sua respectiva aplicao histrica para que os professores de
matemtica tenham clareza acerca dela e possam transmiti-la aos seus alunos. O argumento
principal que se a prpria idia de cincia do professor estiver errada, ele passar uma
idia errada de cincia para o aluno, prejudicando a imaginao e o raciocnio deste, que
perder a chance de aprender corretamente e entrar no caminho da vida de estudos
cientficos, prejudicando-se no seu desenvolvimento intelectual. Mas como saber o que a
idia pura de cincia se ningum jamais a ensinar?
Desde a poca do colgio sentimo-nos fascinados pela cincia, principalmente
pela matemtica, graas aos melhores professores que tive. Entretanto, naquela poca no
sabamos que a cincia pudesse ser fundamentada teoreticamente. Quando estudamos a
histria da cincia, descobrimos que algumas pessoas haviam se aprofundado na tentativa
de explicar e justificar essa idia de cincia, chegando s razes da questo, isto , ao
problema do conhecimento. Notamos que no estudo da histria das cincias que se pode
encontrar os registros das pesquisas feitas pelos cientistas do passado e por aqueles
filsofos que se esforaram para resgatar essa idia de cincia. Aqui nossas convices
convergem com a relao entre histria da matemtica e educao matemtica, apontada
pelos professores Rosa L. S. Baroni e Srgio Nobre, principalmente quanto importncia
do estudo da histria de problemas e de conceitos e da investigao da matemtica como
parte da cultura humana (BARONI; NOBRE, 1999, p.130- 1).
Na medida em que fomos tomando conhecimento dos esforos dos filsofos e
dos cientistas durante a histria, perguntvamo-nos se os praticantes das diversas cincias
estavam conscientes da idia de cincia e se praticavam coerentemente esses princpios
mesmo que fosse de maneira inconsciente. Acima de tudo, queriamos saber como o acerto
ou engano a respeito do conhecimento desses princpios podia influenciar no
desenvolvimento histrico da cincia. A hiptese era de que os erros em relao a esses
princpios poderiam trazer grandes prejuzos para os cientistas.

Sendo assim, comeamo-nos a nos interessar pela possibilidade de aprender

claramente esses princpios da atividade cientfica ou essa idia pura de cincia, para que
eles pudessem ser ensinados aos praticantes e estudantes das diversas cincias. Esse
interesse aumenta quando, ao lecionar matemtica, percebe-se que muitos alunos ficavam
curiosos para saber qual era o sentido ou o fundamento daquilo que estavam estudando. E
eles poderiam ser beneficiados por uma boa explicao do que a cincia. Quem pode
negar que mais interessante aprender algo que se entende e que mais fcil praticar algo
quando se sabe o que est fazendo?

2. JUSTIFICATIVA E DELIMITAO DO PROBLEMA

Por que o ideal de cincia importante na teoria e na prtica cientfica, mesmo
que ele nunca seja perfeitamente alcanado? No se pretende defender um idealismo ou
uma atitude onrica sobre a cincia. Reconhecemos que na prtica muito difcil realizar
uma meta idealmente perfeita e sabemos que a atividade cientfica tambm tem as suas
crises. Admitimos que h uma tenso essencial entre o ideal e a prtica:
Uma coisa o conceito de cincia verdadeira, que a idia pura de cincia. Outra coisa a
cincia efetiva que algum desenvolve visando atender a essas condies. Com relao idia
pura, jamais houve contestao. Porm, quanto realizao concreta, j um assunto to
polmico que o prprio indivduo que formulou as condies [Plato], ao tentar realiza-las j
oferece uma alternativa que a gerao seguinte, com Aristteles, j no pode aceitar
(CARVALHO, 1994, p. 19).

Acreditamos que o cientista autntico necessita ter um ideal que lhe sirva de
motivao nos momentos de dificuldade. Tambm acreditamos que o professor de
matemtica deve, na medida do possvel, simbolizar esse ideal para o seu aluno, como
conseqncia da responsabilidade moral de algum que sabe das profundas marcas que
pode deixar na personalidade do aluno. Uma dessas marcas pode ser relacionada com o
ideal de cincia:
Que ser um cientista? Para a imaginao popular viver em laboratrios, fazer observaes e
clculos, discutir em congressos acadmicos, publicar teses etc. Tudo isso faz parte da figura
social que a cincia assumiu num certo momento da Histria, e poder desaparecer amanh para
dar lugar a novas formas, sem que deixe de existir cincia e sem que a cincia deixe de ser o que
. Quem imagina que quer ser um cientista e se esfora para incorporar essa figura, pode-se
tornar um cientista no sentido exterior e imitativo do termo, mas dificilmente ser um cientista
por dentro". O ideal que deve nortear o pretendente a cientista deve ser buscado no a, mas na
essncia mesma da idia de saber cientfico. Essa idia como a de qualquer outra atividade da
inteligncia ela mesma a expresso de um ideal, de uma aspirao humana. Ter a vocao de
cientista compartilhar dessa aspirao, e no do amor a uma determinada figura social (Idem,
2000, p. 132).

Alm de servir como um ideal que norteia a atividade cientfica e o ensino, a

idia pura de cincia tem uma funo prtica no desenvolvimento cientfico. Este pode ser

obstaculizado pelo desconhecimento dos princpios que regulam as atividades de uma

cincia. Alm disso, o desconhecimento dos fundamentos teorticos pode levar ao
estreitamento do horizonte de conscincia do cientista, o qual perderia a chance de ampliar
a fecundidade da sua pesquisa, sem perceber as ramificaes mais profundas.
Contudo, a conseqncia mais nociva do desconhecimento da idia de cincia a
possvel confuso acerca do objeto que se estuda. Se o cientista no tem uma noo clara
das regras que delimitam a aplicao da sua cincia, pode confundir-se e sofrer a
invalidao das suas concluses que lhe custaram tantos esforos:
Incomparablemente ms peligrosa es, em cambio, outra imperfeccin em la delimitacin de la
esfera, a saber, la confusin de esferas, la mezcla de lo heterogneo en una presunta unidad, sobre
todo cdo esta mezcla radica en una interpretacin completamente falsa de los objetos, cuya
investigacin debe ser el fin esencial de la ciencia intentada. Una metabasis eis allo genos, de
esta suerte inadvertida, puede tener los efectos ms nocivos: fijacin de objetivos falsos; empleo
de mtodos radicalmente errneos, por inconmensurables con los verdaderos objetos de la
disciplina; confusin de las capas lgicas, de tal suerte que las proposiciones y las teoras
verdaderamente fundamentales, con frecuencia ocultas bajo los disfarces ms singulares, vayan a
perderse entre series de ideas completamente extraas, como factores al parecer secundarios o
consecuencias incidentales, etc... (HUSSERL, 1999a, p. 37).124

Acreditamos que esse ideal de cincia pode ser inserido fecundamente na prtica
cientfica, principalmente nos momentos de crise da cincia, quando muitos pensadores se
esforam para resgatar esses fundamentos ideais. Visando a melhor formao de todos
aqueles que aprendem as matemticas, pretendemos esclarecer os elementos concretos da
cincia, a partir do confronto dialtico entre a pesquisa histrica da prtica cientfica e a
concepo normativa e ideal da cincia.
124

"Incomparavelmente mais perigosa , por outro lado, outra imperfeio na delimitao da

esfera, a saber, a confuso das esferas, a mistura do heterogneo em uma suposta unidade,
sobretudo quando esta mescla radica em uma interpretao completamente falsa dos objetos, cuja
investigao deve ser o fim essencial da cincia almejada. Uma metabasis eis allo genos
[mudana indevida de gnero], emprego de mtodos radicalmente errneos, por serem
incomensurveis com os verdadeiros objetos da disciplina; confuso das camadas lgicas, de tal
maneira que as proposies e as teorias verdadeiramente fundamentais, freqentemente ocultas
abaixo dos disfarces mais singulares, perdem-se entre uma srie de idias completamente
heterogneas, como fatores aparentemente secundrios ou conseqncias acidentais.Traduo
livre do autor desse projeto.

3. OBJETIVOS
As metas dessa pesquisa sero as seguintes:

Estudar a prtica cientfica da matemtica na Grcia Antiga,

confrontando-o com o ideal de cincia;

Avaliar os mritos da idia pura de cincia tal qual Husserl concebeu,

confrontando-a com as primeiras prticas da cincia matemtica grega.

Organizar o estudo dessa concepo normativa de cincia como um

projeto a ser realizado, tratando-a como uma teoria geral das cincias.

Dialetizar essa teoria da cincia de Husserl com a noo histrica de

cincia que obterei na pesquisa dos gregos, apresentando essa tenso
entre o ideal e a prtica.

Aplicar essa idia dialtica e tensional de cincia aos conceitos

fundamentais que aparecem na prtica cientfica, enfatizando a
importncia deles na educao matemtica.

4. QUADRO TERICO
O ponto fundamental comparar a abordagem ideal ou normativa da cincia com
as prticas que ocorreram na histria, mas o objetivo principal criar meios para que os
estudantes das matemticas possam ser esclarecidos sobre os fundamentos teorticos que
justificam a atividade cientfica.
Por que tomar a matemtica como amostra significativa de aplicao histrica da
cincia? Porque a matemtica se apresenta como um esteio fundamental do
desenvolvimento do nosso conhecimento (SANTOS, 1959, p. 22): fcil, pois, observar
que, proporo que a Matemtica penetra na Cincia, esta se desenvolve. A Cincia
aumenta o seu cabedal de conhecimento, e obtm outro tanto maior firmeza nas suas
operaes 125
Por que tomar os gregos como exemplo de aplicao da cincia matemtica? Por
que tomar os matemticos gregos como exemplo? Toma-se a resposta do tradutor de
Euclides e estudioso de histria da cincia antiga Luis Veja Reon: "suele tenerse por un
topico historico indiscutible que las ideas de demonstracion y de metodo dedudtivo son
una invencion griega y han constituido la matriz racionalista de nuestra cultura filosofica
y cientifica" (REON, 1990, p. 32).
Aqui o critrio ser selecionar aqueles que tiveram mais influncia na histria da
cultura ocidental, seguindo uma sugesto de Robert M. Hutchins, idealizador da coleo
Great Books: Euclides, Apolnio de Perga, Arquimedes e Nicmaco de Gerasa
(HUTCHINS, 1952, p. 96). Alm dos comentrios de Luis Veja Reon sobre a histria da
idia de demonstrao, e das lies de Javier Lorenzo sobre o estilo geomtrico e os
demais estilos matemticos (LORENZO, 1989, p. 52), aproveitarei o estudo de Jos
Ortega y Gasset sobre a idia de princpio na cincia, especialmente as contribuies sobre
la estructura lgica en la ciencia de Euclides (ORTEGA Y GASSET, 1958, p.122).
A partir dos cientistas gregos, sempre se procurou agregar novos conhecimentos
e conquistas cincia. Entretanto, alguns estudiosos conduziam esses avanos fazendo uma
125

Aqui deve-se observar que este filsofo alertava que a matemtica no deve ser considerada nesse aspecto
restrito que teve no Ocidente... Ele dividia o estudo da matemtica em trs grandes reas: matemtica das
quantidades, matemtica das relaes e matemtica das qualidades, sendo que esta ltima ainda um projeto
de cincia (Ibidem, p. 22).

correo do curso que a cincia estava tomando em sua poca. Eles estavam insatisfeitos
com os fundamentos vigorantes e passaram a propor novos princpios. O ideal seria fazer
uma pesquisa completa da histria das idias dos fundamentos da cincia, sondando a
noo de cincia dos principais filsofos e cientistas do Ocidente, que se dedicaram a
responder questo: o que um conhecimento verdadeiro? Uma comparao assim poderia
descobrir os pontos de discordncia e de acordo entre esses pensadores, tais como Scrates,
Plato, Aristteles, Santo Agostinho, So Toms de Aquino, Descartes, Kant, Hegel,
Schelling, Comte e Marx, verificando o que cada um deles considerava como cincia. Ao
invs disso, simplificando esse projeto, ser verificada a tese husserliana de que a teoria das
cincias:
... se revela, pues, como una ciencia normativa y renuncia al mtodo comparativo de la ciencia
histrica, que trata de compreender las ciencias como productos concretos de la cultura de las
distintas pocas, por sus peculiaridades y generalidades tpicas, y de explicarlas por las
circunsctancias de los tiempos. La esencia de la ciencia normativa consiste en fundamentar
proposiciones generales en que, con relacin a una medida fundamental normativa por
exemplo, una idea o un fin supremo son indicadas determinadas notas, cuya posesin
garantiza la acomodacin a la dicha medida... (HUSSERL, 1999 a, p. 50).126

A noo de cincia normativa em Husserl ser explicitada, organizando sua

teoria naqueles seus aspectos que formam um projeto essencial de cincia, de tal maneira
que se chegue mais prximo daquilo que sempre se fez quando se praticou cincia e se
procurou explicar seus fundamentos:
Las ciencias son creaciones del espritu, que persiguen cierto fin y deben ser juzgadas por
tanto com arreglo a este fin. Y lo mismo puede decirse de las teoras, las fundamentaciones y en
general todo aquello que llamamos mtodo. Una ciencia es en verdad ciencia, un mtodo es en
verdad mtodo, si es conforme al fin que tiende. La lgica aspira a invetigar lo que conviene a
las verdaderas ciencias, a las ciencias vlidas como tales, o com otras palabras, lo que
constituye la idia de la ciencia, para poder saber por ello si las ciencias empiricamente dadas
responden a su idea y hasta que punto se acercan a ella, o en qu chocan contra ella
(HUSSERL, 1999a, p. 50).127
126

... revela-se, pois, como uma cincia normativa e renuncia ao mtodo comparativo da cincia histrica,
que trata de compreender as cincias como produtos concretos das culturas das pocas diferentes, por suas
peculiaridades e generalidades tpicas, e de explic-las pelas circunstncias dos tempos. A essncia da cincia
normativa consiste em fundamentar proposies gerais em que, em relao a uma medida fundamental
normativa por exemplo, uma idia ou um fim supremo so indicadas determinadas notas, cuja possesso
garanta a acomodao medida citada. Traduo livre do autor desse projeto.

Essa teoria ideal da cincia deve atender aos seguintes requisitos, que marcam
especialmente a primeira fase da obra de Husserl 128: explicar a eficcia lgica dos mtodos
usados nas cincias, determinar os limites das aplicaes legtimas do mtodo cientfico,
satisfazer teoreticamente o estudioso de uma determinada cincia, examinar atentamente os
pressupostos da cincia e dar os meios para se obter a racionalidade e a claridade intrnseca
da cincia (HUSSERL, 1999a, p. 39-40).
O objetivo dessa apresentao da idia pura confront-la dialeticamente com a
sua aplicao histrica que estudarei a partir da amostra colhida da matemtica grega. A
dialtica ser utilizada sentido apresentado pelo filsofo brasileiro Mrio Ferreira dos
Santos, segundo o qual:
A dialtica procura dar maior concreo ao pensamento e adapta-lo melhor existncia,
evitando o abstratismo racionalista, que tanto mal provocou. A negao, na dialtica, no uma
privao, mas uma acentuao do que ficou inibido, desprezado. (...) A negao dialtica a
negao da afirmativa abstratora da afirmao( SANTOS, 1955, p 192).

Dessa forma, os aspectos complementares entre a viso histrica e a viso ideal

da cincia sero considerados adequadamente, como Andr De Muralt explicou em um
estudo sobre a idia de cincia em Husserl:
La science ainsi est et nest ps la fois: elle nest ps ce quelle a, puisquelle prtend ltre.
Elle est (imparfait) et elle nest ps (parfaite). Elle est actuelle et elle est potentielle. Elle
comporte toujours une part dideal, de possible, car lide est toujours implique en elle,
actuellement et potentiellement, et chaque tat actuel implique des potentialits intentionnelles
prs-escrites. La science donc implique une part de dtermination qui est connue, et une part
dindetermination qui nest pas connue, sinon idalemente par anticipation. Les contradictoires
semblent mme vraies: la science a la fois une structure de connaissance et diconassaissance,
127

As cincias so criaes intelectuais, as quais perseguem certo fim e devem ser julgadas, em relao a
esse fim. E o mesmo pode dizer-se das teorias, as fundamentaes [lgicas] e, em geral, tudo aquilo que
chamamos mtodo. Uma cincia verdadeiramente cincia, um mtodo verdadeiramente um mtodo, se
conforme ao fim que tende. A lgica [ou teoria das cincias] aspira a investigar o que convm s verdadeiras
cincias, s cincias vlidas como tais, ou, em outras palavras, o que constitui a idia de cincia, para poder
saber, por meio disso, se as cincias realizadas na prtica correspondem a essa idia e at que ponto se
aproximam dela ou a contradizem. Traduo livre do autor desse projeto.
128
Jos Ferrater Mora cita dois estudiosos husserlianos, Eugen Fink e Herbert Spiegelberg, que concordam
que h um perodo pr-fenomenolgico na obra de Husserl, que culmina com as Investigaes Lgicas.
Segundo MORA (2001, p. 1401), esses trabalhos no so alheios aos esforos realizados coetaneamente por
Frege e outros autores para fundamentar a matemtica (ou, de acordo com o caso, o conhecimento
matemtico)....

elle est et elle nest pas (DE MURALT, 1958, p. 21-2).129

Tendo esse conceito dialtico de cincia, concretizando seus aspectos ideais e

prticos, os seus elementos podero ser descritos mais especificamente para que possam ser
assimilados pelos professores de matemticas e incorporados nas suas maneiras de lecionar,
a fim de que no passem apenas o contedo matemtico, mas tambm a idia de cincia e a
postura de cientista, mostrando, com suas atitudes de professor, o que agir como um
cientista, para que o aluno assimile e incorpore essa idia na medida de suas respectivas
capacidades. Entre esses aspectos importantes, inclui-se as condies essenciais para a
realizao da cincia (evidncia, prova, nexo entre a evidncia e a demonstrao,...) e as
condies

existenciais

(repetibilidade

do

ato

cognitivo,

registrabilidade

transmissibilidade do ato), que foram descritos nas abreviaturas das investigaes

lgicas do professor Olavo de Carvalho (CARVALHO, 1994, p. 8-19).

129

A cincia, assim, e no ao mesmo tempo: ela no o que j possui, pois ainda pretende ser. Ela
(imperfeita) e no (perfeita). Ela atual e potencial. Ela comporta sempre uma parte ideal, feita de
aspectos possveis, porque sua idia est sempre implicada em si, atualmente e potencialmente, e cada estado
atual implica potencialidades intencionais anteriores sua realizao. A cincia, ento, implica uma parte
determinada que conhecida e uma parte indeterminada que desconhecida, exceto idealmente por
antecipao. Os contraditrios parecem simultaneamente verdadeiros: a cincia tem ao mesmo tempo uma
estrutura de conhecimento e de desconhecimento, ela e no . Traduo livre do autor desse projeto.

5. PROCEDIMENTO METODOLGICO
A metodologia dessa pesquisa ser baseada na pesquisa das fontes histricas
relevantes para o estudo de alguns matemticos gregos, na anlise desse material coletado,
na comparao entre eles com a idia pura de cincia de Husserl e na deduo das
conseqncias importantes tendo em vista a aplicao ao ensino da matemtica.
Os procedimentos sero os seguintes: o primeiro passo ser colher uma amostra
do ambiente matemtico grego, para verificar como se fazia cincia naquela poca,
analisando os textos de matemticos relevantes da Antigidade. O passo seguinte ser
descrever a idia pura de cincia em Husserl, utilizando a bibliografia dele sobre o assunto.
Para isso, sero levantadas fontes bibliogrficas a respeito dos matemticos gregos e
aprofundar-se- a leitura da obra de Edmond Husserl e de seus comentaristas, seguindo as
referncias citadas no quadro terico. A partir da, sero tomadas notas sobre os aspectos
essenciais da matemtica grega a fim de confront-las dialeticamente at chegar a uma
noo de cincia que considere a tenso entre os aspectos idias e os aspectos histricos da
cincia.
Dessas notas obtidas, aquelas que forem mais relevantes para a aplicao e para
o ensino da matemtica sero descritas detalhadamente, para que sejam justificadas como
instrumentos da educao matemtica.

6. BIBLIOGRAFIA
BARONI, Rosa L. S. et NOBRE, Srgio. In: BICUDO, Maria A . V. (org.) Pesquisa em
educao matemtica: concepes e perspectivas. So Paulo: Ed. Unesp, 1999.
CARVALHO, Olavo de. Abreviatura das Investigaes Lgicas de Edmund Husserl,
Rio de Janeiro, Instituto de Artes Liberais, 1994.
----------------. Ser e Conhecer: Parte I de O Olho do Sol: Conhecimento e Realidade . Obra
em preparao. Rio de Janeiro, 2000.
DE MURALT, Andr. Lide de la phnomnologie: lexemplairisme husserlien. Paris:
P.U.F., 1958.
HUSSERL, Edmund. Investigaes Lgicas 1. Trad.: M.G. Morente et J. Gaos. Madrid:
Alianza Editorial, 1999.
----------------. Investigaciones Lgicas 2, Trad.: M.G. Morente et J. Gaos. Madrid: Alianza
Editorial, 1999.
----------------. Phenomenology and the Crisis of Philosophy. Trad.: Q. Lauer. New York:
Harper & Row, 1965.
----------------. Ideas relativas a uma fomenologa pura y uma filosofia fomenolgica.
Trad.: Jos Gaos. Pnuco: Fondo de Cultura Econmica, 1949.
----------------. A filosofia como cincia de rigor. Trad.: P. M. S. A. Ives Lisboa: Imprensa
Nacional-Casa da Moeda, 1994.
----------------. Meditaes cartesianas: introduo fenomenologia. Trad.: F.de Oliveira.
So Paulo: Masdras, 2001.
----------------. Renovacin del hombre y de la cultura: cinco ensayos. Trad.: A . S. De
Haro. Rubi (Barcelona): Anthropos Editorial, 2002.
HUTCHINS, Robert. The Great Conversation: the substance of a liberal education.
Chicago: Encyclopaedia Britannica, 1952.
LORENZO, Javier. Introduccin al estilo matemtico. Madrid: Ed. Tecnos, 1989.
MORA, Jos Ferrater. Dicionrio de Filosofia, tomo II (E-J). Trad.: M.S. Gonalves; A .
U. Sobral; M. Bagno; N. N. Campanrio. So Paulo: Loyola, 2001.
ORTEGA Y GASSET, Jos. La Idea de principio em Leibniz y la evolucion de la teoria
deductiva. In: -----------. Obras completas: Vol. VIII. Madrid: Revista de Occidente, 1983.
REON, Luis Vega. La trama de la demonstracion: los griegos y la razn tejedoraa de
pruebas. Madrid: Alianza Editorial, 1990.
SANTOS, Mrio Ferreira. Lgica e Dialtica. So Paulo: Logos, 1955.
----------------. A Sabedoria dos Princpios. So Paulo: Matese, 1959.

A DIALTICA GEOMTRICA:

UMA RELAO ENTRE A PSICOLOGIA COGNITIVA E A HISTRIA

DA GEOMETRIA
"Eis porque preciso que o pensamento se eleve das coisas sensveis s
coisas conjeturais, das coisas conjeturais s coisas cognoscveis, das coisas
cognoscveis s coisas inteligveis; e aquele que quer conhecer a verdade
sobre esses objetos, deve reunir num conjunto harmonioso todos esses meios e
os objetos do conhecimento. (...) ...[os gometras] empregam as coisas
sensveis como imagens, mas tais coisas no so nem objeto nem o fim que se
propem em suas buscas e seus raciocnios, pois no buscam seno o
dimetro e o quadrado em si. (...) A segunda seo a do inteligvel, obejto
da dialtica; ela no constri verdadeiramente hipteses: ela coloca
princpios de onde se eleva para alcanar at o incondicionado, at o
princpio universal: e, depois, por um movimento inverso, prendendo-se a
esse princpio, ela desce at o termo do raciocnio, sem empregar um objeto
sensvel e servindo-se unicamente de idias puras." Fragmento 5 de Arquitas

INTRODUO
O nosso objetivo nesse projeto elaborar um mtodo didtico que permita
ao aluno a reconstruo em sua mente dos provveis procedimentos cognitivos
que passaram pela mente dos matemticos que elaboraram os principais
conceitos na geometria. Entretanto, no seguiremos a sequncia histrica e
social dos fatos propriamente ditos mas a sequncia cognitiva que
provavelmente se passou na mente de algum que entendeu a cincia da
geometria, isto , a histria da geometria e que se repete cada vez que um
indivduo aprende esta cincia.
um mtodo anlogo quele que foi utilizado pelo filsofo Mrio Ferreira
dos Santos para desenvolver a "mathesis magiste" de Pitgoras na "Sabedoria
das leis eternas": explicitaremos aquilo que um gemetra deveria ter pensado
"se prolongasse corretamente as consequncias e aplicaes do seu
pensamento, em concordncia com os princpios que havia postulado". A
diferena que faremos de tal maneira que isso possa ser repetido por
qualquer professor de geometria.
1.UMA DEFINIO DE GEOMETRIA
A matemtica, segundo Cassiodorus e Isidorus, o ensino "que se ocupa
das quantidades abstratas. Chamamos abstrata quela quantidade que
tratamos s nos raciocnios, separando-as pelo intelecto da matria ou dos
outros acidentes". Evidentemente, tal abstrao no dada pela natureza, mas
feita pela cincia. Completando com Hugo de So Vtor: " a quantidade
abstrata nada mais que uma forma visvel impressa na mente segundo uma
dimenso linear, quantidade que existe na imaginao." A parte da geometria
a "quantidade contnua" ou "grandeza" considerada idealmente - como a
citao de Arquitas leva a entender. Segundo Proclo, Pitgoras foi o criador da
geometria como cincia.
1.1-A COLOCAO DO PROBLEMA
O grande problema para a reconstruo da sequncia histrica do ponto de
vista do processo cognitivo, que a interseo entre o estudo da histria das
cincias e a psicologia da aprendizagem, que as coisas apresentam-se como
objeto de conhecimento na ordem inversa em relao s suas cronologias.
Aquilo que conhecemos neste momento a mais atual manifestao daquilo
que tomamos por objeto; logo, o ltimo momento dele, at agora. E, se
continuarmos assim, conheceremos por ltimo aquilo que foi a primeira
manifestao do objeto citado.
Essa realidade mais patente quando se trata do estudo dos princpios de
uma cincia como faremos na Geometria. Pela "cincia dos princpios" (que
podemos chamar de Metafsica), sabemos que,"de um modo muito geral ...

segundo as prprias leis que regem a manifestao", na expresso de Ren

Gunon, os princpios e as causas so os aspectos menos aparentes e mais
sutis. Logo, temos que inverter a ordem da abordagem se pretendemos "buscar
aquilo que age de maneira verdadeiramente eficaz numa ordem mais
profunda" (a citao ainda de Gunon).
Isso tambm vale para a aprendizagem mais terica e sistemtica: a
estruturao racional que aparece num livro, como nos "Elementos" de
Euclides, a ltima etapa do ciclo da aprendizagem pois exige algumas fases
anteriores. o que iremos mostrar em seguida. Partimos do pressuposto de
que para termos uma cncia, no caso a geometria, preciso ter conceitos, isto
, "representaes dum objeto pelo pensamento, por meio de suas
caractersticas gerais", ainda que no explicitados. Logo, as primeiras pessoas
que trabalharam com os problemas geomtricos enquanto parte de um projeto
cientfico usavam conceitos, ainda que no os definissem. A questo seguinte
: o gemetra construiu esses conceitos a partir de quais experincias
originais? E aqui citamos o professor Olavo de Carvalho:
"Ou reconhecemos que todo conhecimento essencial intuitivo e imediato,
sendo a cincia apenas a aplicao dedutiva dos princpios intuitivos aos
casos particulares - com o que voltamos ao conceito [medieval] de cincia
como arte, ou 'aplicao da doutrina', ou aceitamos que toda cincia se apia
num absurdo inicial, ao qual deve retornar periodicamente ..."
Aqui interessante relembrar o conceito de intuio (a citao do
dicionrio de Walter Brugger) para evitar confuses:
"Em sentido estrito, a viso direta de algo individual existente, que se
mostra imediatamente em sua concreta plenitude (isto , sem interveno de
outros contedos cognitivos). Pelo que, s pode denominar-se intuitivo, em
sentido rigoroso, aquele conhecimento que apreende o objeto em seu prprio
ser presente; pelo contrrio, abstrativo o conhecimento que prescinde da
presena viva do conhecido. Distinguem-se duas espcies de intuio:
sensorial e intelectual, denominando-se esta ltima tambm viso
intelectual."
Essa sequncia da psicologia cognitiva (intuio, conceito e estruturao
racional) mostra o papel fundamental da intuio. Votamos para o texto do
professor Olavo:
"Os antigos, ao contrrio, jamais deixaram de reconhecer que a razo tem
seu fundamento e raz numa forma intuitiva de cohecimento, no, porm,
entendida como vago e indigesto 'mistrio' obscuro e infra-racional, pelo qual
passamos rapido e a medo, como um ladro na noite, para roubar alguns
axiomas e sair correndo em direo s aplicaes tcnicas e prticas que
constituem para ns, hoje, o nico domnio claro e seguro onde nos

abrigamos; forma intuitiva de conhecimento entendida, digo, no como

negror incompreensvel,mas como cu claro da contemplao (contemplatio,
theorin); beatitude de conhecimento que era a meta final de toda pedagogia,
de toda tcnica, de toda cincia, de toda racionalidade."
Aps, a intuio e aps a sua expresso por um conceito, entra o papel da
fantasia (memria e imaginao), da emoo, da reatividade e da vontade.
Sobre isso, podemos conferir nas cincias tradicionais (como aparecia nas
concepes de Santo Alberto Magno, So Toms de Aquino, alm da filosofia
islmica, por exemplo) ou como foi colocado de maneira mais analica e
filosfica pelo professor Olavo de Carvalho nos seus cursos e nos textos
correspondentes ao "Olho do Sol" (no prelo). E nessas faculdades que
iremos trabalhar atravs do mtodo dialtico, conforme explicaremos no
desenvolvimento.
2.O MTODO
Esse mtodo uma sistematizao de uma sntese entre o dilogo platnico
e a axiomatizao euclidiana colocada em bases mais intuitivas. Seria o
seguinte: apresentar situaes empricas e sensoriais que pudessem remeter s
construes geomtricas atravs das perguntas do professor.
2.1-O CONTEDO INICIAL
O contedo inicial seria correspondente quilo que aparece no "Livro I" dos
"Elementos" antes da "Proposio I": definies, postulados e noes comuns,
isto , uma intoduo geometria. A diferena que evitaramos, ao menos
inicialmente, formalizar as definies como ocorre nos "Elementos", pois
"quanto mais elementos comparativos [lgicos e formais] so inventados,
quanto mais eles tm que ser concebidos logicamente, mais se est
comparando puros conceitos com puros conceitos, e no fatos".. . Este o
problema da colocao de novos problemas formais (abstratos): ela necessita
de "uma base sensvel e imaginativa onde apoiar-se para escalar as abstraes
que elevaro ... a alturas ..." Dessa forma, os alunos seguiriram uma ordem
diferente de definies e algumas destas tambm seriam alteradas para que
deixe aos alunos um certo tempo de interesse e assimilao. Os smbolos
matemticos teriam que ter impactado a memria e a imaginao a ponto de
serem assimilados num "condensado de experincias e expectativas,
formando uma espcie de substrato imaginativo da inteligncia racional" (as
ltimas citaes foram retiradas de aulas do professor Olavo de Carvalho).
Dessa forma, o aluno deve partir da intuio de um slido com o qual ele j
tem um contato cotidiano e emprico (por exemplo, um estojo ou uma caix
qualquer). Do slido, deduz-se, nas intersees dos planos, as retas e, nas
intersees das retas, os pontos.
E quanto s definies, vamos fazer algumas consideraes, partindo dos

Elementos: "ponto aquilo que no tem partes", ou seja, aquilo que no tem
extenso (tamanho, medida) - seno, poderia ser dividido. Entretanto, faremos
a seguinte considerao tal e qual est escrito no ensaio "Questes de
simbolismo geomtrico" do professor Olavo de Carvalho:
"Ora, um ponto, se no tem extenso, tem, no entanto, dimenso, ao
contrrio do que se cr, pois ele tem de estar em alguma direo, sob pena de
no estar em parte alguma, isto , de no existir. Pois bem, em quantas
direes est um ponto? Est em todas as direes ao mesmo tempo, pois
qualquer linha que se imagine, em qualquer plano que esteja, ter sempre
uma paralela que passe necessariamente por esse ponto. O ponto assim, a
figura que, no possuindo extenso, est simultaneamente em todas as
direes e possui, portanto, a totalidade das dimenses. Nesse sentido que
o ponto representa o princpio lgico e ontolgico de onde emergem as
figuras, e no apenas um elemento constitutivo destas; pois um elemento,
para contribuir formao da figura, deveria somar-se ou articular-se a
outos elementos da mesma espcie, com o que cairamos no contra-senso j
assinalado de a soma de elementos inextensos acabar produzindo extenso;
ao passo que um princpio formativo contm necessariamente em si a chave
de todos os fenmenos que produz, no precisando somar-se ao que quer que
seja para produzi-los, e pertencendo mesmo a uma ordem distinta e superior
quela onde se do esses fenmenos."
2.2- A DIDTICA
A didtica seria atravs de perguntas e respostas como na dialtica socticoplatnica explicada por Giovanni Reale:"E esse proceder, pelo qual a
Inteligncia passa do sensvel ao inteligvel e vai de Idia em Idia, a
'dialtica', de modo que o filsofo o 'dialtico' ". E de acordo com a
"Repblica":
"Portanto ... somente o mtodo dialtico procede por este caminho,
afastando as hipteses at alcanar o Princpio para conferir solidez, e
levanta e eleva ao alto o olhar da alma, mergulhado num pntano brbaro,
usando as artes das quais temos tratado [i.., as matemticas] como
coadjuvantes nessa converso." E na sequncia do dilogo: "... no chamas
dialtico a quem sabe dar razo da essncia de cada coisa ...?"
timos exemplos desse mtodo esto nos dilogos escritos por Plato,
especialmente o Mnon, onde um escravo, que nunca havia aprendido
geometria antes, deduzia a soluo de uma complexa questo de geometria
(utilizando inclusive o teorema de Pitgoras). Tambm podemos citar o livro
"sobre a potncia da alma" de Santo Agostinho de Hipona que utiliza a
dialtica nos captulos 8 a 12 para deduzir com seu aluno vrias propriedades
geomtricas e simblicas, alm de uma obra de Leibniz inidcada na biografia

escrita por E. Aiton, onde um aluno, que sabia sistemas de equaes

algbricas, deduz propriedades da anlise combinatria com ajuda da
dialtica.
2.3-UM MTODO PARA AS CONSTRUES GEOMTRICAS
Aps a introduo dos contedos imaginativos dos conceitos poderamos
trabalhar a construo das figuras atravs do mtodo da arte islmica tal e qual
aparece descrito no livro "Islamic patterns: an analytical and cosmologic
approach" de Keith Critclow, onde o autor equilibra as formas geomtrcas
com as formas "biomrficas". Estas "polarizam" os valores associados com as
quatro qualidades "experimentais e filosficas": frio, secura, calor e humidade.
uma maneira que corresponde com a viso pedaggica apresentada at
aqui na medida em que usa o recurso de uma sequncia dedutiva do ponto de
vista da manifestao dos princpios cosmolgicos (e geomtricos), mostrando
as formas geomtricas como "estgios de cristalizao da inteligncia
inerente na manifestao", isto , utilizado o "simbolismo geomtrico, ou
espacial, para representar realidade que no so em si mesmas espaciais nem
geomtricas".
Em cada nova figura, o professor teria que levantar perguntas sobre o
simbolismo da figura de tal maneira que o desenvolvimento das figuras
correspondesse ao desenvolvimento da manifestao dos "Princpios". Um
exemplo de simbolismo aquele mencionado pelo professor Olavo na
explicao citada sobre as dimenses do ponto.
A
IMPORTNCIA
DE
SLIDOS
PRINCPIOS
NO
DESENVOLVIMENTO DO ESPRITO CIENTFICO
Esse item serve para justificar a importncia que damos ao establecimento
de firmes bases para a busca do conhecimento, especialmente para a
geometria. Nesta argumentao, iremos nos basear no seguinte conceito de
cincia: "saber sistemtico e fundamentado. Sistemtico: estruturado de modo
que as partes se exijam e se apiem. Fundamentado: que satisfaa s
exigncias da crtica racional; se possvel, plenamente demonstrado e
evidente; no mnimo, apoiado numa demonstrao suficiente" (Olavo de
Carvalho in 'O carter como forma pura de personalidade').
Nesse sentido, citamos o filsofo Mrio Ferreira dos Santos: quem busca a
"absoluta segurana deve dar sua demonstrao o rigor matemtico". Mas
a matemtica no engloba "todo o campo da atividade epistmica do homem"
e "uma lei, vlida apenas para uma regio, se no se subordina s leis
transcendentais, uma lei provisria. Ao estabelecerem-se leis e princpios,
devem estes ter validez em todos os campos do conhecimento humano, porque
s assim se construir o nexo que estruturar o saber epistmico num
conjunto coordenado, no qual se d aquele princpio de harmonia dos

pitagricos, que a adequao dos opostos analogados, cujas funes

subsidirias esto subordinadas funo principal, cuja norma dada pela
totalidade."
Entretanto, o ciclo moderno caracteriza-se pela progressiva limitaco a uma
cincia caracterizada pela ausncia dos princpios que permitiriam tal
harmonia em torno de uma hierarquia de funes. Tal diagnstico aparece
claramente no livro "O reino da quantodade e os sinais dos tempos" de Ren
Gunon. Para ele, as cincias modernas so apenas restos das antigas cincias
tradicionais: na medida em que perdeu-se a relao com os princpios, sua
verdadeira significao original. O caso especfico da matemtica analisado
no livro "Princpios do Clculo Infinitesimal" do mesmo Gunon, onde ele
mostra que as falhas em relao aos princpios j aparecia em Leibniz e
pergunta: "qu ser entonces con los dems filsofos y matemticos
modernos, a los que, ciertamente, Leibnitz es muy superior a pesar de todo?"
Dessa maneira, o conhecimento cientfico precisa ter um princpio. Ainda de
acordo com Mrio F. dos Santos, "h um ponto arquimdico, cuja certeza
ultrapassa ao nosso conhecimento, independe de ns, e ontologicamente
verdadeira: alguma coisa h ... (no sentido neutro de algo)." Essa afirmativa
" mostrada apoditicamente" por Mrio F. dos Santos no seu livro "Filosofia
Concreta". Essa que a "necessidade extra-humana, eterna" negada por
"filsofos" matemticos como E. T. Bell (conferir "The development os
Mathematics") que tentam reduzir a matemtica a uma arbitrariedade
inventada pelo homem que "inventa vontade os postulados sobre os quais
baseia seus sistemas matemticos". Entretanto, a decadncia intelectual to
notvel no ciclo moderno (teria cado a um "nvel pueril" segundo Schelling)
que primeiramente teramos que resgatar o sentido da prpria verdade, ou, do
"princpio cognitivo universal e permanente da validade dos juzos" (conferir
o texto: "o problema da verdade e a verdade do problema" de Olavo de
Carvalho).
CONCLUSO
Tal mtodo apresentado neste breve trabalho tem a vantagem de respeitar a
psicologia cognitiva da inteligncia humana, alm de ampliar o horizonte de
conscincia dos alunos para as questes primordiais, simblicas e metafsicas
que so fundamentais para as questes que surgiro mais tarde sobre cincia,
filosofia e religio. Tambm serve de antdoto da "intuio intelectual" contra
o orgulho racionalista que caracteriza a vida cultural moderna.
Apresentamos tambm a sugesto de ampliar esse mtodo para o clculo

infinitesimal. Em vez de centrar a questo dialtica no "ponto" como

princpio, concentraramo-nos no "infinito" e no "indeterminado" como est
explicado no livro "Los princpios del clculo Infinitesimal" (1946) de Ren
Gunon, o mestre do simbolismo tradicional.

AS CONDIES FORMAIS PARA A INTRODUO DE UMA DEFINIO

No fales daquilo que no entendes

Orestes Danilovich Chwolson130

Assim como a denotao de uma palavra no deve ser esclarecida isoladamente,

mas apenas no contexto de uma proposio 131, uma definio tambm deve ser esclarecida no
contexto de uma teoria formal. Nesse sentido, iremos esclarecer o que entendemos por teoria
formal baseando-nos no trabalho lgico de Patrick Suppes.
No comeo do seu oitavo captulo de Introduction to Logic ele apresenta
resumidamente status quaestione132, fazendo um retrospecto da questo definio, descrevendo
as teses admitidas pela lgica mais antiga133, valorizando-as adequadamente ao descrever as
suas vantagens e desvantagens. Neste ponto, ele faz a seguinte crtica: as regras da lgica
antiga no auxiliam para distinguir as definies adequadas das inadequadas no contexto de uma
teoria formal, tal e qual a teoria dos nmeros reais que ele desenvolveu parcialmente naquele livro.
E, de fato, ele mostra um exemplo matemtico que obedece os critrios da lgica mais antiga e,
mesmo assim, leva a uma contradio matemtica. Donde ele conclui a necessidade do
desenvolvimento de outros critrios para lidar com as teorias matemticas. Enfatizamos aqui, que
130

Apud TAHAN, , p. 77.

FREGE, 1992, p. 110.
132
Em todo debate cientfico ou filosfico, a compreenso de uma nova tese depende do conhecimento do
estado da questo. Status quaestione termo da retrica antiga o retrospecto das discusses at o presente,
com a criteriosa discriminao dos tpicos abrangidos e por abranger, das teses consensualmente admitidas e
das que continuam em litgio. Quem fale aos leigos sobre um assunto da sua especialidade est implicitamente
obrigado, pela tica da vida intelectual, quando tem, a oferecer-lhes, como fundamento primeiro da
argumentao, um sumrio do estado da questo no consenso dos estudiosos (CARVALHO, 2000, p.32). Um
uso exemplar desse mtodo ocorre no livro Metafsica de Aristteles, o qual geralmente considerado o pai
do mtodo cientfico e, conforme mostramos nesse trabalho, merece ser considerado o pai da
axiomatizao (assim como pai da teoria da definio: conferir Segundos Analticos e Categorias de
Aristteles). Assim, o contato com o pensamento aristotlico geralmente revigora e fecunda a lgica e a
cincia. Um exemplo no contexto da lgica e da filosofia da cincia do sculo XX, inclusive em Lesniewski,
o qual foi aluno de Twardowski, aluno de Franz Brentano, grande filsofo escolstico e estudioso de
Aristteles ( e professor do matemtico Edmund Husserl). Tal referncia pode ser conferida na biografia
"Stanislaw Lesniewski em (MIZAR ( 2003) e no esquema histrico do site
http://www.formalontology.it/table_onto_frames_file/slide0001.htm. Alis, o prprio Lesniewski utilizou-se
bastante das ferramentas aristotlicas: formaliserles intuitions aristotliciennes e calcul des noms de la
logistique na sua ontologia (VERNANT, 2003).
133
No original: older logic. SUPPES, 1957, p. 151.
131

ele no dispensa os critrios antigos 134, tanto que ele est seguindo aqueles critrios em cada
palavra que escreve no captulo e, provavelmente, em todo o livro. Ele apenas afirma que we
must penetrate beyond the semi-platitudinous level of the four traditional rules 135.
Vamos ento, explorar melhor o assunto: o que caracteriza esta teoria formal de que
falamos? So aqueles ingredientes citados por SANTANNA (2003, p. 15) e por MENDELSON
(1997, p.28) , os quais so assim resumidos por SUPPES (1957, p. 152): ...a theory is
characterized in terms of its primitive, non-logical symbols and its axioms 136. E como as definies
aparecem nesta teoria formal? Aqui aproveitaremos a parfrase que HEGENBERG (1974, 78-9)
fez deste captulo de SUPPES (1957, 153-4), que, por sua vez est resumindo a teoria do lgico
polons Stanislaw Lesniewski:

Quando se pensa em definies bem comportadas, elas se destinam

a introduzir termos novos em um dado sistema. A primeira definio em um
sistema , pois, uma sentena que especifica o significado de um novo
smbolo, ou termo, do sistema em funo dos smbolos primitivos de tal
sistema. A segunda definio fixa o significado de outro termo, ou smbolo,
valendo-se no s dos termos primitivos como, talvez, do smbolo
introduzido pela primeira definio. O processo pode prosseguir, sendo as
definies introduzidas em certa ordem, bem estabelecida.
Os termos definidos facilitam o estudo do sistema (ou teoria), mas no
devem contribuir para que se amplie a classe de suas conseqncias. Dito
de outro modo, os smbolos introduzidos devem ser eliminveis [critrio da
eliminabilidade] e no devem permitir deduo de resultados que no seriam
obtidos apenas com os termos primitivos [critrio da no criatividade].
Devido grande importncia de ambos critrios indicados acima para o
desenvolvimento desta pesquisa, citaremos a definio formalizada por Suppes (1957, p. 153):
Two criteria which make more specific ... intuitive ideas about the character of definitions are that
(i) a defined symbol should always be eliminable from any formula of the theory, and (ii) a new
definition does not permit the proof of relationships among the old symbols which were previously

134

Para maiores detalhes sobre os critrios da definio (ou do conceito) desta lgica mais antiga, recomendo
dois livros daquele que j foi considerado o maior filsofo brasileiro [conferir o verbete escrito por Carlo
Beraldo in GALLARATE, Centro di Studi Filosofici di. Enciclopedia Filosofica. 2a ed. Firenze: G. C.
Sansoni Edittore] : SANTOS (1959, p. 23-6) e SANTOS (1955, p. 26-32).
135
SUPPES, 1957, p. 152. Traduzindo: devemos penetrar alm do nvel semi-comum das quatro regras
tradicionais.
136
SUPPES, 1957, p. 152. Traduo: ... uma teoria caracterizada nos termos de seus smbolos primitivos,
no-lgicos e dos seus axiomas.

unprovable; that is, it does not function as a creative axiom 137.

Podemos dizer que the criteria of eliminability and noncreativity stem from the idea
that definitions are mere notational abbreviations, allowing theory to be stated more compactly
without changing its content138. Entretanto, lembramos que existe uma nfase diferente em relao
a estes critrios na teoria da definio de Tarski139.
Quanto ao resto da teoria da definio matemtica de Lesniewski, no poderemos
apresentar aqui, pois, como escreveu H. B. Curry: "no one except those who had direct contact
with the author professes to understand his work, and a presentation of the views of the master
which satisfies all his pupils has not yet been made. 140" Z. Stachniak afirma que esta frase continua
vlida desde que substitua-se author por authors pupil Entretanto, como o estudo da teoria de
Lesniewski de grande interesse para o desenvolvimento das pesquisas sobre teoria formal da
matemtica (e em Inteligncia Artificial, por exemplo), there is a need for a comprehensive
publication that would adequately present Lesniewski's system while, at the same time, be
accessible to people who have not been previously exposed to Lesniewski's ideas 141.

137

Em palavras mais intuitivas: a definio no deve permitir a deduo de um resultado que no podia ser
obtido antes da introduo do termo novo (HEGENBERG, 1976, p.79).
138
SHEM et SIMON, 1990.
139
Para Tarski, defined terms are always eliminable (SHEN et SIMON, 1990). Para ilustrar essa diferena
em Tarski, citaremos um trabalho de Herbert Simon que proposed a some what weaker condition called
general definability: A term is generally definable by means of the other terms in a theory if, upon adding a
sufficient number of observations to the axioms, the system including these new propositions defines this
term in the sense of Tarski. It turns out that the axioms that define (in this generalized sense) the theoretical
terms serve both as definitions and laws, that is to say, they permit the theoretical terms to be eliminated, but
at the same time they are creative(SHEN et SIMON, 1990).
140
STACHNIAK, 2003. Acrescentemos outro problema citado por Stachniak (2003): Very many were left
unpublished at the time of his death. Then in 1944 in the fire of Warsaw the whole lot of this material was
burned and lost -- a considerable loss since a great deal of what is important could have been reconstructed
from these notes.
Lesniewski's system of the foundations of mathematics, the most important among Lesniewski's
contributions, was reconstructed by Sobocinski during 1939--1944. Again, all that work was lost during
Warsaw Uprising in 1944.
141
STACHNIAK, 2003. Ele cita ainda uma interessante referncia nesse sentido: Stanislaw Lesniewski:
Collected Works, S. J. Surma, J. T. J. Srzednicki, and D. I. Barnett, eds.; with an Annotated Bibliography by
V. F. Rickey, Nijhoff International Philosophy Series, 44, PWN -- Polish Scientific Publishers and Kluwer
Academic Publishers (1992).

UM CASO PARTICULAR: OS CONCEITOS PRIMITIVOS

As, los conceptos primitivos em um sistema axiomtico

no pueden definirse axplictamente sino a travs de los
axiomas. Slo deben admitirse las definiciones nominales
de nuevos trminos que sirven, em realidad, de
abreviaturas Javier de Lorenzo142
As noes primitivas so expresses que auxiliam no enunciado dos postulados da
teoria143. E podem ser indicadas apenas por letras para impedir que a intuio144 venha a perturbar
as demonstraes (retirando o rigor das provas do sistema) 145. Mas ento, elas tm um significado
fora do sistema formal? Podem ter e geralmente tm 146, e algumas destas so usadas na
elaborao do conhecimento cientfico, mas podemos afirmar com o professor Hegenberg:
... essas conotaes so irrelevantes para a deduo de teoremas que
decorrem dos postulados e devem, talvez, ser ignoradas. (...) De qualquer modo, a
pergunta Que um ponto? ou a pergunta Que uma reta? no podem ser
respondidas no sistema a no ser dizendo: So quaisquer coisas que satisfazem as
condies estipuladas nos axiomas. neste sentido que se poderia dizer que os
142

Citao do livro Introduccin al estilo matematico.

Elas se incluem no countable set of symbols (conjunto finito de smbolos) citados por MENDELSON
(1997, p. 28) ou no conjunto no vazio de smbolos, denominados os smbolos primitivos ou, simplesmente,
os smbolos de T [teoria formal] (SANTANNA, 2003, p.15).
144
Para dar um tratamento mais rigoroso questo sempre usaremos a palavra intuio no sentido tcnico
definido nos melhores dicionrios de filosofia: intuio em sentido estrito, a viso direta de algo
individual existente, que se mostra imediatamente em sua concreta plenitude (isto , sem interveno de
outros contedos cognitivos). Pelo que, s pode denominar-se intuitivo, em sentido rigoroso, aquele
conhecimento que apreende o objeto em seu prprio ser presente; pelo contrrio, abstrativo o conhecimento
que prescinde da presena viva do conhecido (BRUGGER, 1962, p. 301). Tal sentido corroborado no
dicionrio de J. Ferrater Mora (MORA, 2001, p. 1550-5).
145
HEGENBERG, 1974, p. 76.
146
Por exemplo: no dicionrio Aurlio (HOLANDA, 1999), a palavra ponto tem 45 sentidos distintos, sem
contar as expresses relacionadas. Destas, apenas 2 referem-se geometria.
143

postulados147 constituem uma definio implcita dos termos ponto e reta 148149
Em outras palavras: fcil concluir a impossibilidade de definir, nos termos de uma
teoria formal, as noes primitivas. Donde os critrios de Lesniewski que apresentamos acima no
sero aplicados diretamente a estas noes primitivas. Entretanto, no caso do ponto, da reta e do
plano, poderamos conceber suas respectivas definies e enquadr-las numa teoria formal nas
seguintes condies: de que deixassem de ser as noes primitivas, dando lugar a outras noes
primitivas. Ora, isso exigiria uma reformulao da teoria formal da geometria tal e qual, por
exemplo, encontramos no livro Fundamentos de geometria: estudo axiomtico do plano euclidiano,
do gemetra Benedito Castrucci.
Tal noo exemplificada (e confirmada) pelo professor Mello e Souza quando ele
trata das definies de reta dadas por Leibniz, Poincar, Grassmann e Schlegel: ...poderiam servir
de base lgica para a Geometria se fossem precedidas de um sistema de postulados que
caracterizassem o conceito de movimento, movimento de rotao, rotao em torno de um ponto,
trajetria, etc150. Voltaremos a tratar deste assunto e exemplific-lo novamente no item uma
definio satisfatria.
Tais definies das noes primitivas no so necessrias do ponto de vista
puramente formal, mas seria interessante para sincronizar a atividade pedaggica e a atividade de
axiomatizao, no caso de encontrarmos interesse pedaggico em alguma definio que utilize
outra noo primitiva.
Uma sugesto em relao s noes primitivas que pensamos ser de grande

147

Para melhor exemplificar isso, citamos os postulados de Euclides: a) possvel traar uma linha reta de um

ponto qualquer a outro ponto qualquer; b) possvel prolongar uma reta finita indefinidamente em linha reta;
c) possvel descrever um crculo com qualquer centro e qualquer raio; d) todos os ngulos retos so iguais
entre si; e) se uma reta intercepta duas retas formando ngulos interiores de um mesmo lado menores do que
dois ngulos retos, prolongando-se essas duas retas indefinidamente elas se encontraro no lado em que os
dois ngulos so menores do que dois ngulos retos (EUCLIDES).
148

... como assinala Nagel (conferir The structure of science, New York, Harcourt, Brace & World, 1961,
p.91-2, onde existe, ainda, um exemplo novo, da fsica, para ressaltar o mesmo ponto (HEGENBERG,
1974, p.76).
149
HEGENBERG, 1974, p. 76.
150
TAHAN, 1961, p.119.

interesse151 dada por Brandon Bennett (BENNETT, 2003):

The main point I have tried to make is that very expressive conceptual
systems can be defined from a very small number of primitives. () If the set of
primitives is kept to a minimum, the number of axioms required may be dras-tically
reduced compared to an equivalent theory in which concepts that are definable are
also involved in axioms. The advantage of keeping axiom sets small will be obvious
to anyone who has experience of automated reasoning,or indeed anyone who has
been concerned with any kind of manipulation or maintenance of large amounts of
complex information. The smaller the axiom set, the easier it will be to ensure
correctness and consistency and to prove that the axioms have other desired
properties.

EXEMPLOS ADEQUADOS DE FORMALIZAO

As, pues, todo conocimiento humano comienza com
intuiciones, de stas pasa a conceptos y termina com
ideas
Kant152
A melhor abordagem que encontramos foi apresentada no livro de CASTRUCCI
(1978); baseada em cursos de Fundamentos da Geometria, mas deixou o estudo rigoroso e
tcnico dos fundamentos lgicos da geometria para ser feito em um prximo livro 153. Ele faz as
definies iniciais da seguinte maneira: Definio. Dados um conjunto P de elementos designados
por A, B, C, ... chamados pontos e um conjunto R de partes de P apresentadas por a, b, c, ...
denominadas retas, chama-se plano de incidncia ao par (P, R), se so satisfeitos os axiomas que
151

Apesar de Bennett basear a maior parte da argumentao de seu artigo na teoria da definio de Tarski, a
idia que citamos aqui poderia, provavelmente, ser adaptada aos critrios de Lesniewski.
152
KANT, Kritik der reinem Vernunft apud HILBERT, 1953, p.7.
153
CASTRUCCI, 1978, p. 5.

se seguem154. Tratamento anlogo da axiomatizao da geometria encontramos em BORSUK e

SMIELEW (1960). Entretanto, estes autores passam rapidamente para a geometria no-euclidiana.
Nesse sentido, no poderamos deixar de citar o clebre trabalho de HILBERT
(1953): la presente investigacin es um nuevo ensayo para construir la Geometria sobre um
sistema completo de axiomas ... 155 Para uma melhor comparao com o trabalho anteriormente
citado, tambm relataremos as definies iniciais dadas:
Explicacin: Pensemos trs distintos sistemas de entes: a los entes del primer
sistema los llamamos puntos y los designamos com A, B, C, ..., a los entes del segundo sistema
los nombramos rectas y los designamos com a, b, c, ... a los entes Del tercer sistema, los
llamamos planos, y los designamos com ... Los puntos reciben tambin el nombre de elementos de
la Geometra lineal, los puntos y rectas el de elementos de la Geometra plana, y los puntos, rectas
y planos, el de elementos de la Geometra espacial, o Del espacio 156.
AMPLIAO DA AXIOMATIZAO

Est claro que todo verdadero progreso del conocimiento se verifica

em la fundamentacin; a ella se refieren, pues, todos los dispositivos y
artifcios metdicos, de que adems de las fundamentaciones trata la
lgica
Edmund Husserl 157

Alm do problema das condies das definies em geral numa teoria formal e do
caso particular das definies das noes primitivas, existe tambm o seguinte problema: the
definition of concepts is a central problem in common sense reasoning 158. Gianni Amati no item
Introduction and Motivations do artigo citado (AMATI, 1996) faz um interessante histrico da
questo que pode ser muito aprofundada. Por sua vez, no artigo de Bennett (2003), so oferecidas
interessantes indicaes sobre a possibilidade de ampliar a axiomatizao nesse sentido 159.
Ficamos realmente interessados in organising the formalisation of a large vocabulary 160, apesar
dos desafios levantados:
The concepts used in natural language to describe objects and events seem
154

CASTRUCCI, 1978, p. 8.
HILBERT, 1953, p.7.
156
HILBERT, 1953, p.9.
157
HUSSERL, 1999, p. 49.
158
AMATI, 1996.
159
Seu objetivo final a aplicao de tais recursos lgicos na Inteligncia Artificial.
160
BENNETT, 2003.
155

very far removed from the simple predicates used to formalise basic mathematic
theories such as geometries. However, this does not mean that one cannot reduce
the former to the latter, albeit by means of layers of quite complex definitions. One
problem that does seriously impede such an enterprise, and which has not been
tacked in the current paper, is the pervasive occurrence of vagueness and ambiguity
in natural language. To handle this one will certainly need additional formal apparatus
that will effect a linkage between vague natural concepts and the unambiguous but
artificial concepts that can be defined from fundamental primitives 161.
A explicao da estratgia de Bennett ultrapassa os limites de nossa presente
pesquisa162, mas adiantamos um pouco da sua interessante abordagem: ele usa uma form of
supervaluation semantics163 e incorpora uma supervaluation semantics164 para formar um
project165 entitled Foundational Ontology166. Poderamos afirmar como Bertrand Russel no final de
um dos seus livros: como o estudo apressado acima deve ter deixado evidente, h inumerveis
problemas no-resolvidos no assunto, sendo necessrio muito trabalho. 167

161

BENNETT, 2003.
Ele cita interessantes referncias sobre axiomatizao, que podem interessar particularmente no caso do
estudo das noes primitivas da Geometria: a) Tarski, A., and Beth, E. W. 1956. Equilaterality as theonly
primitive notion of Euclidean geometry. Indagationes Mathematicae 18:462-467; b) Tarski, A. 1956. Some
methodological investigationson the definability of concepts. In Logic, Semantics; c) Robinson, R. 1959.
Binary relations as primitive notionsin elementary geometry in Henkin, L.; d) Suppes, P.; and Tarski, A., eds.,
The Axiomatic Method (with special reference to geometry and physics), 68-85, Amsterdam: NorthHolland;
e) Royden, H. 1959. Remarks on primitive notions for elementary Euclidean and non-Euclidean plane
geometry. In L. Henkin, P. Suppes, A. T., ed., The axiomatic method withspecial reference to geometry and
physics. North-Holland.
163
BENNETT, 2003.
164
BENNETT, 2003.
165
Conferir o site http://www.comp.leeds.ac.uk/ brandon/ontology.
166
BENNETT, 2003.
167
RUSSEL, 1963, p. 197.
162

AS DEFINIES
A definio e as propriedades da linha reta e das
paralelas so o escolho e, por assim dizer, o escndalo da Geometria
DAlembert168

Segundo o professor Dcio Krause, a finalidade das definies (em

Euclides) seria dar uma noo intuitiva relativa ao conceito 169. E ele cita La
revoluzione dimenticata de Sandro Graff para comentar a hiptese de que as
definies foram acrescentadas posteriormente. Esta pergunta se relaciona com o
nosso atual trabalho: para que devemos acrescentar definies? Para a clareza da
exposio axiomtica ou para atender finalidades pedaggicas?
Para uma melhor compreenso, apresentaremos algumas definies
contidas no Livro I dos Elementos de Euclides170, para servir de referncia inicial
e para mostrar como elas se relacionam entre si:
I.
II.
III.
IV.
V.
VI.
VII.

Ponto o que no tem partes, ou o que no tem grandeza alguma.

Linha um comprimento sem largura.
As extremidades de uma linha so pontos.
Linha reta aquela, que est posta igualmente entre as suas extremidades.
Superfcie o que tem comprimento e largura.
As extremidades da superfcie so linhas.
Superfcie plana aquela, sobre a qual assenta toda uma linha reta entre
dois pontos quaisquer, que estiverem na mesma superfcie.
Notemos que apesar de chamarmos plano de noo primitiva ela

aparece como a stima definio e a reta como quarta. Sublinhamos que tal
seqncia tem uma inteno mais pedaggica do que formal, se considerarmos a
teoria formal conforme explicamos no captulo anterior.
168

Apud TAHAN, 1961, p. 85.

KRAUSE, 2002, p.5.
170
Podemos, aqui, levantar a seguinte questo: as definies dos elementos so de Euclides ou no? Sobre
este assunto, conferir os comentrios e as referncias de KRAUSE, 2002, p. 5.
16940

DEFINIES ENCONTRADAS NOS LIVROS DIDTICOS

Nosso objetivo neste captulo citar apenas alguns exemplos de como
as definies aparecem nos livros didticos. Por um lado, pretendemos fazer uma
abordagem que no ser exaustiva; por outro, encontramos o seguinte problema:
muitos livros sequer trazem essa definio e j comeam a matria com a
explicao de frmulas e propriedades geomtricas.

LIVROS DIDTICOS PARA CURSOS DE LICENCIATURA

Para iniciar os exemplos de livros, citaremos trechos de livros didticos
dedicados aos cursos de licenciatura e bacharelado em Matemtica 171:

Geometria Euclidiana Plana e construes geomtricas

Eliane Q. F. Rezende e Maria L. B. de Queiroz
Campinas: Ed. Unicamp, 2000.

O 1o captulo - retas e ngulos - comea com uma brevssimo

contexto histrico, seguido da seguinte explicao:
No nosso tratamento da geometria plana, iniciamos com os termos
indefinidos: ponto, reta e plano. O plano visto como o conjunto em que os
pontos so seus elementos e as retas, seus subconjuntos. Iniciamos com alguns
postulados relacionando os termos indefinidos e, no decorrer deste captulo,
obteremos resultados como conseqncias deles.
171

Ambos utilizados no curso de Elementos de Geometria do curso de Matemtica da UFPR.

Elementos de Geometria: geometria plana e espacial

Deise Costa, Jos Teixeira, Paulo Siqueira e Luzia Zamboni
Curitiba: UFPR, 2000
Nessa apostila encontramos um procedimento muito interessante. O 1 o

captulo (Axiomtica) dedicado explicao dos procedimentos de edificao

racional da geometria. Seus sub-itens so os seguintes:

Experincia X Raciocnio Lgico X Intuio

Edificao racional da geometria

Axiomas X Teoremas

Sistemas de Axiomas

Relaes entre as proposies

Demonstrao

Tcnicas de Demonstrao

Para que a demonstrao?

Postulados do Desenho Geomtrico

Neste captulo, eles resumem os procedimentos de uma teoria formal:

Atualmente a Geometria aceita por normas:

Enunciar, sem definio, os conceitos fundamentais.

Admitir, sem demonstrao, certas propriedades que relacionam

estes conceitos, enunciando os axiomas correspondentes.

Deduzir logicamente as propriedades restantes.

As explicaes de ponto, reta e plano so apresentadas no segundo

captulo: as figuras geomtricas elementares, no plano, so os pontos e as retas.
O plano constitudo de pontos e as retas so subconjuntos de pontos do plano.
Pontos e retas do plano satisfazem a cinco grupos de axiomas que sero a seguir
estudados.

Breve comentrio: ambos livros preocupam-se em contextualizar a

apresentao da Geometria na perspectiva da teoria formal.
LIVROS UTILIZADOS NO ENSINO MDIO
Agora, passaremos aos livros utilizados pelos alunos de ensino mdio,
descrevendo as citaes neles contidas sobre ponto, reta e plano:

Matemtica e vida
Bongiovanni, Vissoti e Laureano
Volume 2. Ed. tica
O livro inicia o assunto (Geometria) com um breve histrico. Em

seguida, passa noes baseadas na observao que sugerem pontos, retas e

planos. Sobre o ponto, ele afirma que concebido sem dimenses. Alm disso,
a reta e o plano no tm espessura, comeo ou fim. Donde passa para a
representao geomtrica dos mesmos. Depois, mostra mais figuras ilustrativas e
passa para os postulados de existncia, incidncia e, finalmente, para os
teoremas.

Matemtica
J. R. Giovanni, J. R. Bonjorno e J. R. Giovanni Jr
Ed. FTD
No faz referncia s definies de ponto, reta e plano ou aos

postulados. Depois de uma breve referncia histrica, vai direto para o teorema de
Tales.

Matemtica para o 2o grau: curso completo

V. P. Fernandez e A. N. Youssef

Ed. Scipione
Refere-se aos conceitos primitivos, assim como aos postulados,
axiomas e teoremas

que compem uma teoria formal e mostra figuras que

lembram pontos, retas e planos. Na seqncia apresenta os postulados de

existncia.

Matemtica Fundamental
Jos Ruy Giovanni, Jos Roberto Bonjorno, Jos Ruy Giovanni Jr.
Volume nico. Ed. FTD, 2002
Faz correspondncia entre nmeros reais e pontos de uma reta, mas

sem conceituar especificamente.

Curso de Matemtica
Manuel Jairo Bezerra
1, 2 e 3 anos dos Cursos Clssico e Cientfico
SP: Companhia Editora Nacional, 1962
Ponto considerado assunto j tratado no Ginsio. Reta e plano so

ditos como ilimitados e, ainda menciona que por um ponto pode-se traar uma
infinidade de retas

e por uma reta pode-se traar uma infinidade de planos.

Complementa apresentando postulados envolvendo retas e planos.

Matemtica
Ari Quintella
Volume 1. 31 edio. Companhia Editora Nacional - 1973
Ponto e reta no so abordados.
A noo de plano dada intuitivamente.

Matemtica

Ari Quintella
Volume 1. 5 edio. Companhia Editora Nacional - 1959
Alm do que foi relatado acima, o plano tido como ilimitado em todas
as direes. Note que o autor modificou a maneira de abordar tais entes
geomtricos de uma edio para outra.

Matemtica Contexto & Aplicaes

Luiz Roberto Dante
Volume 3. Ed. tica, 2001
Ponto, reta e plano so abordados sem serem conceituados.

Matemtica
Apostila. Colgio Dom Bosco, 2000
Na seo referente a geometria plana, ponto, reta e plano so

apresentados atravs de representaes grficas. Porm, em geometria de

posio, so considerados como conceitos primitivos e ainda, o autor relata que
intil buscar uma definio para qualquer um deles.
No postulado bsico sobre reta, plano e espao, diz que existem
infinitos elementos denominados pontos, cujo conjunto se chama espao; os
pontos do espao se renem em subconjuntos infinitos de pontos, chamados de
planos; os pontos de um plano se renem em outros subconjuntos de infinitos
pontos denominados retas.

Matemtica
Apostila. Colgio Positivo, 2003
Ponto, reta e plano aparecem na geometria de posio, comparados

com partes de um cubo, onde a parte apoiada um plano; uma das arestas

prolongadas indefinidamente uma reta e a interseo de duas retas representa

um ponto. Alm do que, so entes geomtricos no definidos, ou seja, so
elementos primitivos da Geometria. citado tambm que ponto no possui
dimenso, uma reta unidimensional e tem comprimento infinito e infinitos pontos.
J o plano bidimensional, possui largura e comprimento infinitos e no possui
espessura. Um plano contm infinitos pontos e infinitas retas.

Matemtica
Damian Schor e Jos Guilherme Tizzotti
Volume 3. Ed. tica, 1976
Ponto, reta e plano so abordados j como assuntos conhecidos e de

maior uso de linguagem matemtica.

Matemtica
Benedito Castrucci, Ernesto R. Neto, Eliana de Mendona e Maria L. M. Smith
Volume 3. Ed. FTD
Ponto, reta e plano esto presentes no captulo sobre geometria de

posio, abordados de forma intuitiva atravs de perguntas.

Matemtica
Sylvio Andraus e Udmir Pires dos Santos
Volume 2. SP: Editora Atual, 1977
O autor se refere a ponto, reta e plano como noes primitivas dentro
do estudo da Geometria.

Matemtica

Gelson Iezzi, Osvaldo Dolce , David Mauro Degenszajn e Roberto Perigo.

Volume nico. SP: Ed. Atual, 1997
Os autores citam que as noes geomtricas, em geral, so
estabelecidas por meio de definies. Contudo, as primeiras noes, tomadas em
particular, so adotadas sem definio. So as chamadas noes, termos, entes
ou conceitos primitivos. Citam ainda que as primeiras noes primitivas na
geometria so as de ponto, reta e plano.

Matemtica na escola do segundo grau

Antonio dos Santos Machado
Volume 2. SP: Ed. Atual, 1994
O autor d apenas uma noo intuitiva atravs de ilustraes, sobre

ponto, reta e plano.

Matemtica
Edwaldo Bianchini e Herval Paccola
Volume 2. SP: Ed. Moderna, 1997
Os autores consideram que na geometria, as idias de ponto, reta e

plano so conceitos primitivos, ou seja, sabemos o que cada uma significa, mas
no as definimos.

Matemtica aula por aula

Benigno Barreto Filho e Cludio Xavier da Silva
Editora FTD S.P. 1998. Volume II.

Os autores mencionam que podemos representar ponto, reta e plano

graficamente apenas, pois no h definio para os mesmos.

Na lista abaixo, apresentamos os livros pesquisados que no faziam

qualquer referncia a respeito do assunto:

Matemtica
Apostila. Colgio Dom Bosco 1998, 1999

Matemtica Contexto & Aplicaes

Luiz Roberto Dante
Volumes 1 e 2. Ed. tica, 2001

Matemtica
Katia Cristina Stocco Smole e Rokusaburo Kiyukawa
Volumes 1 e 2. Ed. Saraiva, 1998

Matemtica e Estatstica para Institutos de Educao e Escolas Normais

Osvaldo Sangiorgi
Volume nico. Companhia Editora Nacional, 1959

Matemtica
Jos Carlos Teixeira, Vincenzo Bongiovanni, Benedito Cardoso da Silva, Vera
Lcia Oliveira das Neves e Roberto Benedito Aguiar Filho
Volume 3. Ed. tica, 1983.

Matemtica Curso Colegial

School Mathematics Study Group
Livraria SP: Ed. Edart, 1966.

Matemtica

Orlando A. Zambuzzi, Bogdan Hrycylo e Adilson T. Kole

SP: Ed. tica, 1981

UMA APOSTILA VIRTUAL DE CURSINHO

Curiosamente, encontramos uma apostila virtual de cursinho no endereo:
www.algosobre.com.br/ ler.asp?conteudo=381&Titulo=Geometria%20Plana

Neste site, so citadas as seguintes definies:

Podemos definir uma reta como sendo um nmero infinito de pontos

em seqncia. O conceito de ponto um conceito primitivo, pois no existe uma
definio aceita de ponto, temos nesse caso que aceitar sua existncia. Se
tivermos trs pontos distintos, teremos ento um plano o qual contm os trs
pontos e todas as retas que passarem por dois destes pontos estaro contidas no

plano, assim como tambm estaro contidas no plano todas as retas paralelas s
retas citadas anteriormente.

Nos textos didticos para ensino mdio, entre os quais citamos,

vemos as mais variadas abordagens. O problema inicial, como discutiremos mais
adiante, manter um mnimo de lgica e coerncia nos termos da prpria
formulao no sentido ainda da lgica mais antiga. Do ponto de vista formal,
reconhecemos que no possvel definir tudo, assim como no possvel ser
formal em tudo172.

E, como as definies (assim como os postulados) so

apresentadas na linguagem natural e como essa no foi formalizada (no sentido

da teoria das definies em matemtica) elas no podem ser consideradas
formais.
LIVROS UTILIZADOS NO ENSINO FUNDAMENTAL
Passaremos ento, aos livros didticos utilizados pelos alunos do
ensino fundamental, relatando as citaes neles contidas sobre ponto, reta e
plano:

5 srie

Matemtica - Uma Aventura do Pensamento

Oscar Guelli
Ed. tica, 1998

172

SANTANNA, 2003, p.15.

Ponto noo intuitiva.

Reta e Plano no so mencionados.

Matemtica - Pensar e Descobrir

Jos Ruy Giovanni e Jos Ruy Giovanni Jr
Ed. FTD, 1996
Ponto no possui dimenses.
Reta reta no tem espessura, no tem comeo nem fim, sendo ilimitada

nos dois sentidos.

estabelecida uma comparao entre as linhas de um campo de
futebol, de uma quadra de basquete e fios de linha bem esticados com a reta.
Plano sem fronteiras, ilimitado em todas as direes.
Compara o plano com sendo um campo de futebol, uma quadra de
tnis, um lago ou o piso de uma sala.

Matemtica - Vida
Vincenzo Bongiovanni, Olmpio R. V. Leite e Jos Luiz T. Laureano
Ed. tica, 1995
Ponto passa uma noo atravs de figuras.
Reta considerada um conjunto de pontos.
Plano tambm considerado um conjunto de pontos.

Matemtica e Realidade
Gelson Iezzi, Osvaldo Dolce e Antonio Machado
Ed. Atual, 1996 - 2000
Ponto no tem tamanho. Pode ser comparado a cabea de um prego.

Reta um conjunto cujos elementos so pontos. Uma reta tem infinitos

pontos e, por dois pontos distintos, passa uma nica reta. Faz relao com um
elstico esticado no geoplano.
Plano um conjunto cujos elementos so pontos.

A Conquista da Matemtica
Jos Ruy Giovanni, Benedito Castrucci e Jos Ruy Giovanni Jr.
Ed. FTD, 1994
Ponto comparado com as estrelas.
Reta comparada com as linhas de um campo de esporte.
Plano comparado com a superfcie de quadra esportiva.

Matemtica Idias e Desafios

Iracema Mori e Dulce Satiko Onaga
Ed. Saraiva, 1996
Ponto relacionado com elementos da natureza como o gro de areia.
Reta relacionada com os raios do sol, com um fio esticado.
Plano relacionado com a superfcie da capa de um livro.

Matemtica Atual
Antonio Jos Lopes Bigode
Ed. Atual, 1994
Ponto, reta e plano no so abordados.

Matemtica Scipione
Scipione Di Pierro Netto
Ed. Scipione, 1995
Ponto, reta e plano no so abordados.

Matemtica
Luiz Mrcio Imenes e Marcelo Lellis
Ed. Scipione, 1998
Ponto, reta e plano no so abordados.

Matemtica Hoje Feita Assim

Antonio Jos Lopes Bigode
Ed. FTD, 2000
Ponto, reta e plano no so conceituados, mas so apresentados na

geometria espacial atravs de figuras.

Matemtica
Apostila. Colgio Dom Bosco, 1994
Ponto e plano no so abordados.
Menciona apenas que a reta um conjunto infinito de pontos.

Matemtica
Ari Quintela
1 ano do Ginsio. Companhia Editora Nacional, 1969

Ponto, reta e plano no fazem parte do programa de ensino.

6 srie
Nos livros relacionados abaixo, no h qualquer referncia aos
conceitos de ponto, reta e plano, nem ao menos citados como noo intuitiva ou
relacionados a objetos (com exceo do ltimo).

A Conquista da Matemtica
Jos Ruy Giovanni, Benedito Castrucci e Jos Ruy Giovanni Jr.

Ed. FTD, 1996

Matemtica e Realidade
Gelson Iezzi, Osvaldo Dolce e Antonio Machado
Ed. Atual, 1995

Matemtica Ensinar e Descobrir (novo)

Jos Ruy Giovanni e Jos Ruy Giovanni Jr.
Ed. FTD, 2000

Matemtica Hoje Feita Assim

Antonio Jos Lopes Bigode
Ed. FTD, 2000

Matemtica
Apostila. Colgio Dom Bosco, 1995

Matemtica
Luiz Mrcio Imenes e Marcelo Lellis
Ed. Scipione, 1997
Ponto, reta e plano aparecem sendo utilizados como aplicao direta, sem

serem conceitualizados.
7 srie
Nos livros relacionados abaixo, no h qualquer referncia aos
conceitos de ponto, reta e plano:

A Conquista da Matemtica
Jos Ruy Giovanni, Benedito Castrucci e Jos Ruy Giovanni Jr.

Ed. FTD, 1994

Tempo de Matemtica
Miguel Asis Name
Editora do Brasil, 1996

Matemtica Hoje Feita Assim

Antonio Jos Lopes Bigode
Ed. FTD, 2000
Porm, nos livros a seguir, encontramos:

Matemtica - Vida
Vincenzo Bongiovanni, Olmpio R. V. Leite e Jos Luiz T. Laureano
Ed. tica, 1996
Ponto e reta so mencionados pelo postulado de Euclides, mas sem

nenhum detalhamento.

Matemtica
Ari Quintella
3 srie ginasial. Companhia Editora Nacional, 1967
O autor menciona que definio uma sentena que nos d a significao

de uma palavra ou de um termo. E, aceitamos um certo nmero de termos

fundamentais que no tentamos definir.
Ponto, reta e plano so relacionados atravs de exemplos, comparando
cada um deles com objetos, raios de luz.

Matemtica
Osvaldo Sangiorgi
3 srie ginasial. Companhia Editora Nacional, 1958

 relatado: como toda cincia, a geometria dedutiva tem por ponto de

partida um conjunto de noes primitivas que atingem o nosso espirito atravs dos
sentidos. Estas noes constituem o grupo dos entes geomtricos que no se
definem, dos quais todo ser humano tem idia j formada por intermdio da
observao e da experincia. Para s ento, relacionar ponto, reta e plano com
figuras e objetos do meio real, fazendo uso da noo intuitiva que justificou
inicialmente.

Matemtica
Irmos Maristas
3 srie ginasial. Editora do Brasil, 1957
Os elementos fundamentais ou primitivos da geometria so o ponto, a reta

e o plano. Os conceitos desses elementos so chamados primitivos porque se

aceitam sem definio, isto , no se podem exprimir mediante idias mais
simples.

Matemtica
Antnio Marmo de Oliveira
3 srie ginasial. Ed. Didtica Irradiante, 1969
O plano p um conjunto infinito de pontos. Ele contem todos outros

conjuntos de pontos como retas e circunferncias. O ponto um elemento do

plano. A reta um subconjunto do plano. E, por sua vez, o ponto um elemento
da reta.
8 srie

Nos livros relacionados abaixo, no h qualquer referncia aos conceitos de

ponto, reta e plano:

A Conquista da Matemtica
Jos Ruy Giovanni, Benedito Castrucci e Jos Ruy Giovanni Jr.
Ed. FTD, 1994

Matemtica - Vida
Vincenzo Bongiovanni, Olmpio R. V. Leite e Jos Luiz T. Laureano
Ed. tica, 1996

Matemtica Hoje Feita Assim

Antonio Jos Lopes Bigode
Ed. FTD, 2000
Alm desses, gostaramos de dar destaque ao material contido nos

dicionrios de matemtica abaixo, mais freqentemente utilizados nas salas de

aula de todo o pas:

Dicionrio de Matemtica Coleo Pginas Amarelas

Luiz F. Cardoso
RJ: Ed. Expresso e Cultura, 2001
Ponto: um conceito primitivo.
Reta: um conceito primitivo.
Plano: um conceito primitivo.

Dicionrio de Matemtica Coleo Pginas Amarelas

Joshuah de Bragana Soares
SP: Ed. Hemus, 1995
Ponto: a interseo de duas retas.
Reta: a interseo de dois planos ou um conjunto infinitos de pontos.

Plano: regio determinada por trs pontos no alinhados.

ANLISE CRTICA

Pelo levantamento de dados efetuado com os materiais didticos

utilizados por algumas instituies de ensino fundamental e de ensino mdio do
pas, pde-se notar que PONTO, RETA e PLANO so abordados essencialmente
na 5 srie do Ensino Fundamental e nos 2 e 3 anos do Ensino Mdio, tanto nas
instituies da rede pblica como da particular de ensino.
Considerando o processo seqencial de conhecimentos, as suas
abordagens deveriam continuar na 6a, 7a e 8a sries do ensino fundamental e no 1o
ano do ensino mdio. Contudo, esta ausncia devido ao trabalho dos outros
assuntos que so tratados respectivamente em cada uma das sries.
Nas 5as sries, verifica-se que ministrado o tpico introduo
geometria, razo pela qual aparecem as noes de ponto, reta e plano. Da mesma
forma, estes assuntos so tratados no ensino mdio, quando se estuda a
geometria de posio.
Analisando a forma como so apresentados, observa-se que os livros
didticos em geral, salvo algumas excees, mostram estes novos assuntos de
forma bastante concreta para o estudante, utilizando analogias como um gro de
areia ou uma estrela simbolizando o ponto, a reta como um fio bem esticado e o
plano como a superfcie de uma quadra de basquete. Assim, o aluno ter uma
melhor percepo e assimilao do contedo sem entrar na discusso incabvel
das definies precisas de ponto, reta e plano.

Isso vem de encontro ao que se pretende apresentar de novo ao

educando de maneira mais propcia ao aprendizado, tal como constam nas
disciplinas de metodologia de ensino e didtica para o ensino de matemtica.
Nos 20 e 30 anos do ensino mdio, os livros abordam ponto, reta e
plano como sendo conceitos primitivos e, portanto, sem definio. Alguns fazem
analogias como o ponto sendo representado pelo cruzamento de duas retas,
outros dizem que ponto, reta e plano aparecem na Geometria de Posio,
comparada com um cubo, onde a base a representao de um plano; a aresta
prolongada indefinidamente uma reta e a interseo de duas arestas como
sendo um ponto.
Ainda mencionado que o ponto no possui dimenso, que a reta
unidimensional e tem comprimento infinito, contendo infinitos pontos e que o plano
bidimensional, possuindo largura e comprimento infinitos, sem espessura e
contendo infinitos pontos e infinitas retas.
Observando os livros didticos da dcada de 50 e 60, nota-se que
apesar dos mesmos serem aparentemente sem atrativos, como so mencionados
pelos alunos e pelos prprios professores, trazem conceitos e idias claras e bem
explicadas que suprem exatamente a falta dos recursos modernos de figuras e
ilustraes, alm de justificativas a respeito do que trabalhado. Isto permite ao
estudante adquirir conhecimentos por auto didatismo, desde que tenha o domnio
de interpretar textos.
Quando se compara com os livros didticos da dcada de 70 e 80,
observa-se que nesses livros de MATEMTICA MODERNA, uma boa parte das
palavras foram substitudas por linguagem matemtica, ou seja, utilizando

smbolos matemticos como parnteses, colchetes, setas, infinitos, sem ser

conceituado e explicada sua aplicao, deixando os alunos dependentes das
orientaes e explicaes dos professores.
Os atuais livros didticos trazem textos concisos e complementados
com figuras de objetos, mapas, ilustraes, diversidade de cores, trazendo
inclusive contedos de outras disciplinas em termos de multidisciplinaridade e
transversalidade, o que de certa forma desejvel. Contudo, a brevidade dos
textos e massividade de informaes faz com que os estudantes adquiram uma
maior quantidade de conhecimentos, mas de maneira superficial. E ainda,
podemos notar a falta de organizao e de referncia a sistematizao dos
contedos.

ENTREVISTAS

A fim de complementar nosso trabalho de pesquisa, decidimos por

entrevistar professores e alunos do ensino bsico, tanto das redes pblica e
particular de ensino. Nosso objetivo verificar at que ponto educandos e
educadores compreendem as noes de ponto, reta e plano, ou melhor, quais so
suas idias sobre tais entes matemticos e, no caso dos professores, como vem
o papel das definies no ensino de matemtica.
Para tanto, elaboramos dois questionrios, que diferem somente na
identificao dos entrevistados e na postura dos profissionais diante do tema.
Cada qual, respondeu livremente as questes propostas.
Foram entrevistados 13 professores atuantes nos ensinos fundamental
e mdio, que mantiveram uma mdia de 30 horas/aula semanais no ano letivo de
2003. Tais entrevistas podem ser lidas no Anexo A.
Ao serem indagados sobre suas opinies a respeito do que vem a ser
definio em matemtica, todos mantiveram como essncia que um ponto de
partida, um parmetro inicial de onde so retiradas conseqncias ou o prprio
conceito de uma entidade matemtica; mantendo-se a idia intuitiva de definio.

Apenas um dos professores, com 27 anos de magistrio e formao

em matemtica, defende que definio a arte de preparar as pessoas para
apreciar e valorizar a matemtica.
Todos, sem exceo, afirmam ensinarem definies em sala de aula
sempre que julgam necessrio. Em especial, um dos professores que atualmente
leciona apenas fsica, com formao em licenciatura e bacharelado em fsica,
justifica ensinar definies por se fazerem necessrias perfeita compreenso
da fsica.
H divergncia nas respostas referentes a como cada educador
passa a noo de definio em aula. Talvez pelo fato do enunciado da questo
admitir diferentes interpretaes, como em uma das entrevistas, que o professor
diz passar de forma expositiva e em alguns casos a partir de um exemplo
concreto, parte para a generalizao, respeitados os limites da validade da
definio.
Nos casos extremos, obtivemos como resposta no passo a noo de
definio, e sim, uso a definio para que eles entendam a teoria, ou ento, de
maneira superficial e, talvez, a profissional mais preocupada em promover o
ensino relata de forma a fazer os alunos entenderem que os termos utilizados em
matemtica precisam ter um significado claro e preciso.
Quanto ao repasse para a diferena entre definio e teorema, alguns
professores relatam tal diferena apenas quando consideram que os alunos j tm
maturidade matemtica suficiente para tal. Um dos professores que no trabalha
com essa diferena, justifica sua postura dizendo que um erro que vem com o
tempo, no te ensinaram, voc no ensina.

Uma educadora afirma dar destaque a esse ponto, dizendo que

quando trabalhamos com definio, aceitamos como verdade. Quando
trabalhamos com um assunto que pede demonstrao, acho extremamente
necessrio e interessante para o aluno fazer a comparao.
Os entrevistados, na sua maioria, consideram necessrio o ensino da
teoria de definio a nvel de graduao, mencionando que muitos conceitos so
entendidos com base nas definies. Se as definies no estiverem corretas,
haver uma grande falha nos contedos.
J, quanto a importncia das definies no ensino de matemtica, um
professor escreve que acredita piamente que sem as definies a matemtica
no existiria, outro diz as definies vem a tornar claros e precisos os termos ou
expresses usados em matemtica.
Agora, a confuso foi brutal na descrio de ponto, reta e plano. Fica
claro que todos buscam uma resposta, sem preocupar-se no contexto que a daro
e em sua confiabilidade. Muitos quiseram enfeitar suas definies e acabaram
por mencionar absurdos, que provavelmente sero repassados a seus alunos,
contribuindo para falta de qualidade no ensino do pas. Porm outros,
responderam a contento.
PONTO
posio no plano cartesiano
um conceito primitivo da menor partcula geomtrica
pequeno crculo sem tamanho, apenas posio
local do espao sem dimenso
idia intuitiva

pode ser representado pela marca de um lpis

um ente matemtico que no tem existncia na natureza tridimensional
a interseo de dois traos
RETA
uma figura geomtrica definida por dois pontos
so pontos consecutivos em linha, sem comeo nem fim
uma sucesso de pontos
uma idia intuitiva que no possui definio geomtrica
imaginada sem espessura, no tem comeo nem fim
no tem definio
usamos um segmento de reta para entender o que uma reta
a unio de infinitos pontos alinhados infinitamente
PLANO
no tem definio
ente geomtrico definido por duas retas ou por trs pontos
infinitos pontos sem rea e espessura em duas dimenses
formado por dois pares de retas paralelas aos pares
semelhante a superfcie de uma foto
unio de infinitas retas coplanares

Analisando as trs respostas dadas pelo mesmo educador, podemos

perceber que muitos, alm de criarem uma definio na hora, recorrem a outros
termos e a definio dada na questo anterior para definir a presente. Como por
exemplo, quando o plano definido como sendo a unio de infinitas retas

coplanares, faltou o esclarecimento dos termos unio, infinitas, retas e retas

coplanares. Alm do que, para se especificar o que so retas coplanares, no ter
que ser usada a noo de plano em sua prpria definio? Os equvocos so
muitos. Mas, temos um professor que respondeu de maneira coerente s
questes, onde afirma que esses entes geomtricos no tm definio, apenas se
tem uma noo intuitiva para cada um deles. Esse mesmo professor tem 12 anos
de magistrio e formao em matemtica.
A seguir, passamos para o relato e anlise das entrevistas com os
alunos do ensino fundamental, que podero ser lidas em sua ntegra no Anexo B.
Ao todo, foram entrevistados 19 alunos de 5 a 8 sries, das redes
pblica e particular de ensino. Como j era de se esperar, dos que pretendem
continuar seus estudos a nvel superior, nenhum respondeu que deseja cursar
matemtica, embora tenhamos algumas respostas relacionadas a informtica e
engenharia.
Mas, voltando ao nosso tema central DEFINIES alguns alunos
relataram que no sabem o que vem a ser uma definio. Alm disso, tivemos
respostas das mais variadas formas, tais como ter um contedo s para
aprender, um jeito de nomear linhas, pontos, sinais, ..., uma matria que
deve ser usado muito raciocnio. Acho que na matemtica existem contedos que
no tero produtividade na nossa vida futura, so contas e sentenas que
fazemos para descobrir algum valor desconhecido, saber tudo o que
necessrio, especificar as caractersticas de algo, a explicao do que se
refere e algo que chega a seu limite, se define.

Embora as respostas tenham sido diversas, podemos notar que a

maioria dos alunos tem uma noo, at certo ponto coerente, do que uma
definio. E, para nosso contento, no houve resposta do tipo o que temos que
decorar em matemtica.
J, ao descrever sobre a diferena entre definies e teoremas, a
maioria dos alunos citou que no sabia o que era teorema e, muito menos,
estabelecer a diferena entre ambos. Alguns, por sua vez, arriscaram responder:
eu acho que definies so para matemtica e teoremas para portugus,
definio seria terminar e teoremas seria demonstrar essa, as definies so
afirmaes, explicaes e teoremas so as idias, definio o ponto exato de
alguma coisa e teorema foi Pitgoras quem formulou e definio quando
explicamos para que usamos ou fazemos tal coisa. A diferena que teorema a
relao entre medidas e uma figura geomtrica.
Assim

como

os

termos

definio

teorema

so

usados

freqentemente em matemtica, embora alunos e professores, como vimos nas

entrevistas anteriores, no saibam claramente o que cada um determina, a funo
das definies em matemtica tambm no est clara, visto que as respostas
obtidas nos do a impresso de ser algo vago para os educandos, que acabaram
por repassar para o papel aquilo que seus professores lhe transmitem como certo
durante as aulas.
A resposta mais bvia para qual o papel das definies em
matemtica? Foi confirmada nos questionamentos simplesmente definir. Como
tambm um ponto especfico para aprender e deixar na ponta da lngua, o seu
papel fazer com que o aluno se aprimore cada vez mais na matria e descubra

novas coisas na matemtica, muito grande, porque se um nmero ou sinal no

estiver bem definido em um clculo, o resultado pode dar errado, explicar e
ajudar nas relaes entre homens, pessoas e nmeros. No fica aqui a idia de
que matemtica, para esses alunos, simplesmente calcular e trabalhar com
nmeros?
Assim como entre os professores obtivemos respostas inaceitveis a
respeito de ponto, reta e plano, entre os alunos no foi diferente:
PONTO
o ponto bom, pois fcil, divertido e d para fazer em qualquer lugar
um lugar fixo
no sei definir, mas sei o que
uma encostadinha do lpis ou da caneta, que pode ser usado tanto em
matemtica, como portugus e em outras matrias
um ponto de partida
faz parte da circunferncia
s vezes limita ou liga uma reta
um tipo de sinalizao
isso um ponto .
um sinal colocado na reta para ajudar na localizao, normalmente
representado por uma letra maiscula
RETA
fileira de pontos
um traado reto dando idia de alinhamento

um risco reto que pode ser feito para qualquer direo

segmento que no tem comeo nem fim
o que liga um ponto a outro
uma coisa que no tem curva
composta por infinitos pontos
PLANO
bom para ser feito quando se est fazendo uma meta
local onde se pode por algo
um cho, uma parede ou um teto
no sei definir, mas sei o que
um quadrado
um lugar sem relevos, uma superfcie reta
Como difcil expressar uma idia intuitiva, no mesmo? Salvo raras
excees, podemos perceber que no discurso dos alunos eles tm idia do que
sejam os trs entes geomtricos analisados, mas, ao repassarem suas idias para
o papel, isso fica deformado e inaceitvel dentro dos rigores da linguagem
matemtica. Podemos ento, ir muito alm e esclarecer o fato de todos os autores
de livros didticos vistos, evitarem se comprometer com uma definio precisa e
serem facilmente questionados e contrariados por qualquer estudante de
matemtica, com conhecimento bsico sobre geometria.
Embora seja indicado nos PCN, que o aluno de ensino fundamental
deve ser levado a utilizar conceitos e procedimentos matemticos diante de uma
situao-problema, apresentar resultados e sustentar argumentos por meio da
linguagem oral e escrita e, em especial, quanto a espao e forma, saberem

localizar um ponto no mapa e deslocamentos sobre o plano, exercitando a

observao, a representao e a construo de figuras geomtricas, trabalhando
com os instrumentos de medida e estabelecendo as diversas relaes entre as
propriedades geomtricas, podemos supor que os alunos entrevistados, no
tenham desenvolvido satisfatoriamente tudo isso, a supor, por dois motivos
principais: por no terem ainda concludo o ensino ou por no estarem realmente
trabalhando estes tpicos em sala; muito menos as noes primitivas de ponto,
reta e plano, como acabamos de ver.
Passemos agora, para os questionrios preenchidos por alunos do
ensino mdio. Note que na maior parte dos livros didticos analisados para as trs
sries dessa etapa, muitos no detalham ponto, reta e plano, nem na parte
referente a geometria de posio, nem no que se refere a geometria analtica,
onde as equaes so dadas diretamente, sem fazer meno s idias intuitivas.
Ao todo, foram entrevistados 21 alunos cursando os trs anos do
ensino mdio, que acabaram por responder que definio uma concluso,
um estudo profundo sobre um determinado assunto que define bem seus
conhecimentos e idias deixando-as fceis para o entendimento de todas as
pessoas, impor sem provar, descrio de um processo primrio, algo
abstrato tentando ser passado em explicao e um conceito j provado.
Como a maioria no sabia expressar o que uma definio, a
diferena entre definio e teorema, foi ainda mais tida como respostas do tipo
no sei ou expressando a confuso entre o entendimento dos dois termos. E
ainda, apareceram respostas como no h diferena, so sinnimos, definio

 um ponto exato e teorema uma descoberta com a utilizao de frmulas e

teoremas so construes lgicas a partir de definies.
Quanto ao papel das definies em matemtica, no notamos
diferena entre as respostas dos alunos desse nvel com os do fundamental.
Relatando que as definies ajudam na resoluo de problemas e nos clculos, na
sua maioria.
Com relao s noes de ponto, reta e plano, destacamos:
PONTO
definido por duas coordenadas
o fim de uma frase
o que constitui a reta
a menor dimenso do espao
o que forma uma reta
no definido, intuitivo
esfera de raio zero
lugar geomtrico onde retas se encontram
o menor comprimento possvel de uma reta
Nota-se que no foi delimitado aos entrevistados que relatassem sobre o ponto na matemtica,
alguns confundiram com o ponto final em portugus e at mesmo com o smbolo de multiplicao,
o que no interessa para o nosso atual trabalho.
RETA
trajetria retilnea
a ligao entre um ponto e outro
um trao que comea em ponto e termina em outro
infinitos pontos, um ao lado do outro
linha sem curvas
distncia entre dois pontos

interseo de dois planos

Podemos perceber aqui, que diferentemente dos alunos de 5 a 8 srie, alguns confundiram a
noo de reta com a de segmento de reta. Um aluno chega at a mencionar que uma reta pode ser
uma linha curva.
PLANO
conjunto de retas
uma base
duas retas paralelas aos pares definem um plano
so pontos que no pertencem a uma reta
uma superfcie plana sem diferena de nvel
conjunto de infinitas retas
Mais uma vez, verificamos a falha no processo de aprendizado dos alunos relacionados, que
passam a no ter uma viso clara sobre esses elementos matemticos e esto prestes a concluir o
ensino bsico.

MAIS EXEMPLOS DE DEFINIES

Em obedincia ao sentimento de realidade, insistiremos

em que, na anlise das proposies, nada de irreal seja
admitido. Bentrand Russel173

DEFINIES DE PONTO

Certamente voc considera como significativa a idia do

ponto. Por ele tem comeo a linha, por ele termina, e no
podemos traar uma figura com linhas retas se o ngulo
no se fechar com o ponto. E onde quer que se deseje
cortar a linha, num ponto que isso pode ser feito. E ele
mesmo no admite diviso alguma. (...) E muito mais
poderia ser dito sobre o assunto, mas encerro aqui.
Desejo que voc pense bastante sobre isso
Santo Agostinho de Hipona174

173
174

RUSSEL, 1963, 164.

Citao do livro De quantitae animae.

Insistiremos um pouco mais nas definies dos conceitos primitivos,

mesmo que eles possam ser desprezados na formalizao, porque eles so
importantes didaticamente e porque, algumas vezes, os conceitos tm um
significado intuitivo que pode perfeitamente ser esclarecido com um bom
dicionrio de portugus175.
O professor Jlio Csar de Mello e Souza (1895-1974), vulgo Malba
Tahan176, faz uma lista enorme de definies de ponto, retiradas, na sua maioria,
de livros didticos, no livro o problema das definies em matemtica:

Ponto aquilo do qual absurdo conceber partes (Beppo Levi).

Ponto aquilo que ainda no tem partes (Paul Mathsius).

O ponto a unidade com posio (Federico Enriques).

Ponto matemtico uma forma sem grandeza (Jos Delboeuf).

Ponto o elemento simples do espao (Frederico Ueberweg).

O ponto o menor elemento espacial imaginvel (Egmont Colerus).

Ponto uma grandeza cujas dimenses so to pequenas que se tornam

desprezveis no raciocnio e no desenho (A. Chatelet).

Ponto aquilo que no tem uma s parte (Dr. Bacca).

Um dos elementos geomtricos indefinveis que fica determinado pela

interseo de duas retas (Francisco Vera).

Ponto geomtrico o lugar para conter o tomo (Pedro de Alcntara).

Pontos so os limites de uma linha, ou a interseo de duas linhas (E.

Rouch e Charles Comberousse).

175

SANTANNA, 2003, p.16.

O trabalho pedaggico de Malba Tahan visando a divulgao da cultura matemtica e o aumento do
interesse das pessoas pela matemtica fizeram com que o governo carioca reconhecesse seus notveis mritos
e escolhessem o dia do seu nascimento como o dia do matemtico (06 de maio), conferir
http://www.champ.pucrs.br/matema/malba_tahan.htm. De fato, ele merece essa homenagem, pois a primeira
obrigao do professor de Matemtica ensinar o aluno a gostar e a interessar-se pela Matemtica
(TAHAN, 1961, p.155). Se algum no Brasil trabalhou mais do que o professor Mello e Souza nesse sentido,
que se apresente!
176

Ponto a interseo de duas linhas, (Franois Blanchet).

O ponto geomtrico (ponto ideal) no cai sobre os nossos sentidos ...

(Amadeu Sperndio).

Ponto, figura infinitamente pequena. No tem medida alguma. Serve para

marcar o encontro de duas linhas (...) Ao ponto no se define. Ao sinal
deixado pela ponta do lpis, no papel, chama-se ponto (Rafael Rotondaro).

Ponto o vestgio sem dimenses algumas (Teodoro Braga).

Ponto limites ou interseo de linhas, a extenso, em abstrato, sem

dimenso (Aurlio B. de Holanda177).

Ponto Interseo de duas linhas. O ponto no tem dimenso (Arisitides de

Campos).

A extenso considerada sem dimenso alguma chama-se ponto (Tito de

Oliveira).

Quanto ao ponto deve-se consider-lo como a extenso cujas dimenses so

todas inapreciveis (Manuel Cavalcanti).

Ponto- 34.Geom.

Configurao geomtrica sem dimenso, e que se

caracteriza por sua posio; ponto geomtrico. 35.Geom. Elemento com que
se definem axiomaticamente as propriedades dum espao. 178

Poderamos comentar essas definies num sentido semelhante ao

que escrevemos acima sobre as definies nos livros didticos. Alm disso, estas
definies so comentadas e reprovadas no livro citado acima, apenas do ponto
de vista de uma lgica medianamente rigorosa: ou seja, no escapam a uma
primeira anlise do ponto de vista tradicional (usando o termo de Suppes), isto ,
so reprovadas diante da lgica formal tradicional e, sequer, do bom senso; so

177
178

Apud Pequeno Dicionrio da Lngua Portuguesa, 1951.

HOLANDA, 1999.

idias vagas, imprecisas179, obscuras e suscetveis de serem interpretadas de

vrios modos180.
Donde conclui o professor Mello e Souza: pela simples observao
dos objetos que nos rodeiam adquirimos as noes de corpo, superfcie, linha e
ponto. O ponto estar, assim includo entre os conceitos ou noes primrias que
aceitamos sem definio181.
No partilhamos de tal radicalismo em relao definio do ponto,
at mesmo porque a ausncia da prova no a prova da ausncia 182. Ou seja, o
fato de no termos nenhuma definio aceitvel de ponto no quer dizer, por si
mesmo, que no exista tal definio, mas, a princpio, apenas atesta a nossa
incapacidade de formul-la.

DEFINIES DE RETA

Les axiomes et les thormes en question

constatent seulement queles crateurs de la thorie
donne assertent ceci et cela et, partant, que ce sont
des propositions parlant spcifiquement des auteurs
de la thorie ; le systme compos de telles
propositions n'est assurment pas un systme de
logique ; on pourrait le considrer plutt comme une
sui generis confession183 dductive des auteurs de la
thorie en question
Stanislaw Lesniewski184
179

TAHAN, 1961, p. 81.

TAHAN, 1961, p.98.
181
TAHAN, 1961, P.82.
182
Mxima gnoseolgica atribuda a Aristteles.
183
Referncia implcita ao livro Confessions de J.J. Rousseau.
184
LESNIEWSKI, Sur l fondements de la mathmatique in VERNANT, 2003. Neste trecho o autor
criticava o Principia de Russel e Whitehead.
180

Em relao definio de retas, tambm encontramos vrios

exemplos no livro O problema das definies em matemtica 185:

Uma linha reta pode ser descrita como a trajetria de um ponto que se move
em direo constante (Justin Moore e Jlio Mira).

Linha reta aquela que corre diretamente de um termo a outro, isto , sem
torcer nenhuma parte (Manuel de Campos).

A reta a mais curta das linhas que tm as mesmas extremidades

(Arquimedes186).

Linha reta o caminho mais curto entre dois pontos (Adrien Legendre).

Linha reta aquela que fica dividida em duas partes por qualquer um dos
seus pontos (Emanuel Cabrera).

Reta a linha que se conserva igual em todos os seus pontos (Robert

Simsom).

Reta a linha indefinida que o caminho mais curto entre dois pontos
(Franois Blanchet).

Reta uma linha tal que um ponto M qualquer dessa linha eqidistante de
trs pontos dados A, B e C (Jean-Baptiste Joseph).

Uma linha S ser uma reta quando, para trs pontos quaisquer dessa linha e
um ponto M qualquer do espao (fora da linha) no se verifica, em caso algum,
a relao: AM = BM = CM (Augustin Cauchy).

A linha reta uma direo constante (Frederic Ueberweg).

Linha reta aquela que resulta quando o ponto se desloca no espao com
uma direo constante (Norberto Stranger).

185

Linha reta ou simplesmente reta uma direo indefinida (F.Nereo Sampaio).

De Malba Tahan.
Estas referncias da Antigidade nem sempre tm preciso. No livro citado, Malba Tahan cita a opinio de
Wilhelm Killing, para quem a afirmao citada no seria de Arquimedes.
186

Linha reta uma sucesso de pontos na mesma direo (Frederico

Spicaccio).

Linha reta aquela cujos pontos seguem a mesma direo (Hiprides

Zanello).

A linha reta aquela que, traada de um ponto a outro no se desvia nem

para a direita nem para a esquerda (Robert Simson).

Reta o caminho traado por um ponto que se move de modo a tender

sempre para um mesmo ponto (Etienne Bezout).

Reta a trajetria de um ponto dotado de movimento simples (C. Schlegel).

Reta- 3.Geom. Conceito fundamental da geometria, cuja posio se define

univocamente por dois pontos; linha reta.187

Alm disso, existem aqueles, tambm citados no livro de Malba Tahan,

que limitam-se a listar alguma propriedade da reta. Entretanto, uma propriedade
no uma definio. Tal atitude, de desprezar a definio, est correta do ponto
de vista formal, desde que fique claro na apresentao do autor que est
descrevendo uma propriedade em vez de uma definio, pois uma propriedade
no uma definio do objeto que a possui.
Mais uma vez o professor Mello e Souza apresenta os erros implcitos
nestas definies mas, dessa vez, opta pela definio postulacional, a qual
admitida, por exemplo, pelo professor Lenidas Hegenberg 188, mas que no est
includa na teoria de Lesniewski.

UMA DEFINIO SATISFATRIA?

187

HOLANDA, 1999.
Conferir HEGENBERG, 1974, p. 72-5. Malba Tahan cita como exemplo de aplicadores da definio
postulacional de reta: Rey Pastor, Carlo Bourlet.
188

...se, perguntando eu, sobre o ser da abelha, o

que ele , dissesses que elas so muitas e
assumem toda variedade de formas, o que me
responderia se te perguntasse: dizes serem elas
muitas e de toda variedade de formas e diferentes
umas das outras quanto ao serem elas abelhas?
Ou quanto a isso elas no diferem nada, mas sim
quanto a outra coisa, por exemplo quanto
beleza, ou ao tamanho, ou quanto a qualquer
outra coisa desse tipo?
Scrates189
Uma definio satisfatria do ponto de vista da lgica mais antiga 190
oferecida pelo professor Olavo de Carvalho 191: o ponto assim, a figura que, no
possuindo extenso, est simultaneamente em todas as direes e possui,
portanto, a totalidade das dimenses. (...) Possuindo assim todas as direes e
dimenses, o ponto contm tambm a chave formativa de todas as figuras. Estas,
portanto, no podero formar-se por soma de pontos, mas, ao contrrio, por
supresso de direes e dimenses do ponto 192. E a reta?
Uma reta ser, assim, definida como uma nica das muitas direes
que atravessam um ponto; um plano, como duas; o espao, como trs. As vrias
direes e dimenses podem ser assim consideradas como pontos-de-vista
segundo os quais o ponto pode ser enfocado; e as figuras geomtricas como
combinaes e articulaes desse ponto de vista. Se um ponto, considerado em si
mesmo, tem todas as direes, considerado como um elemento de uma reta
189

Citao do Mnon de Plato.

E, inclusive, mais satisfatria do ponto de vista do simbolismo tradicional e da metafsica. No livro de onde
tiramos as seguintes citaes existem referncias para quem pretende aprofundar tal pesquisa.
191
No livro citado (CARVALHO, 1983) ele desenvolve uma argumentao demonstrando a validade lgica e
pedaggica de tal definio.
192
CARVALHO, 1983, 2.
190

passar a ter uma nica direo, em funo precisamente da limitao

unidirecional que define essa reta193.
A definio dada ainda no aceitvel do ponto de vista formal. Se
aceitarmos tal definio por questes lgicas (cuja argumentao reforaremos a
seguir) e pedaggicas (que justificaremos no prximo captulo) teremos um
problema formal (conforme explicamos anteriormente): o ponto, a reta e o plano
deixariam de serem noes primitivas e teramos outras noes primitivas
(extenso, direo, dimenso, figura, ...). Consequentemente seria necessrio
reformular os postulados da geometria plana e toda a sua axiomatizao,
correspondendo a um trabalho que no poderemos completar nesta pesquisa,
mas que j fica indicado como uma interessante sugesto.
Aqui tambm surge um problema lgico, mas no propriamente da
teoria formal (tal e qual definimos num captulo anterior), pois o professor Mello e
Souza afirma, sem justificar, que direo um conceito tirado de reta. E pergunta:
mas ser possvel conceber-se a direo sem o auxlio da reta? 194 Ele muda de
assunto sem responder tal questo195, mas em outro trecho volta ao assunto
citando Bernhard Bolzano: afirma ... que ao dar dois pontos de uma reta,
focalizamos, imediatamente, dois conceitos, distncia e direo. Como basear a
definio de reta em dois conceitos que no podem ser admitidos sem que
previamente seja postulada a existncia da reta? 196 Na seqncia ele cita o
Francisco Vera: (...) o mesmo defeito tem a definio que faz intervir a idia de
193

CARVALHO, 1983, 2.
TAHAN, , p. 109.
195
Os professores Nicanor Lemgruber e Roberto Peixoto tambm consideram que direo um conceito mais
bsico do que reta.
196
TAHAN, 1961, p. 123.
194

direo porque implica na idia de movimento, e, portanto, na noo de tempo,

que mui complicada, criando dificuldades que Schlegel tentou evitar
considerando a direo como ...197.
O fato o seguinte: uma noo que realmente merecesse ser
chamada de noo primitiva seria primitiva de tal maneira que no precisasse de
esclarecimentos na primeira aula de geometria plana. Ora, este no o caso de
ponto, mas de direo. Afinal, qualquer criana j convive com a noo de direo,
movimento e tempo; isto , a direo da qual se trata quando temos dois pontos
(conforme a citao de Bolzano) a mesma direo que a criana segue quando
o pai diz: siga nessa direo. Entretanto, o ponto o ponto do qual fala o professor
de geometria no o mesmo ponto do qual o pai fala quando diz: no toque
naquele ponto, embora possa at servir de exemplo daquele. Logo, direo
uma noo bem mais fundamental e intuitiva do que ponto ou reta. De tal maneira
que no De quantitae animae o professor Santo Agostinho usa um mtodo
progressivo: parte dos pressupostos assentados e vai abstraindo a partir da
realidade material at chegar ltima abstrao ... o ponto.

UM COMENTRIO SOBRE A DEFINIO DE PLANO

Desse modo, o primeiro princpio de que deriva o
que cientificamente conhecido no pode ser
objeto de cincia, nem de arte, nem de sabedoria

197

Apud TAHAN, 1961, p. 125.

prtica, pois aquilo que pode ser cientificamente

conhecido pode ser demonstrado...
Aristteles198
Em relao definio de plano no teremos tanta riqueza de
definies como nos casos anteriores. No dicionrio definido assim:

Plano-Geom. Superfcie que contm inteiramente qualquer reta que une dois
de seus pontos199.
Citaremos novamente a definio de Euclides e comentaremos em seguida:

Superfcie plana aquela, sobre a qual assenta toda uma linha reta entre dois
pontos quaisquer, que estiverem na mesma superfcie (Euclides).

Como afirma Luis Vega nos seus comentrios aos Elementos de

Euclides, tal definio est calcada sobre la def. 4 mutadis mutandis: lnea reta y
puntos son reemplazados por superficie plana y rectas, respectivamente. Por lo
dems, no es extrao que las nociones asociadas a la lnea recta se quieran
extender a la superfcie plana ...200; logo, mutadis mutandis, as crticas feitas por
Malba Tahan definio euclidiana 201 valem analogamente para esta definio de
plano.

198

Citao do livro VI de tica a Nicmacos.

HOLANDA, 1999.
200
EUCLIDES, , p. 192. Segue a nossa traduo: est calcada sobre a def. 4 mutadis mutandis: linha reta
e pontos so substitudos por superfcie plana e retas respectivamente. Ademais, no estranho que as
noes associadas linha reta sejam estendidas superfcie plana ...
201
TAHAN, 1961, p. 95-101.
199

A IMPORTNCIA PEDAGGICA DAS DEFINIES

Filsofos e estudiosos tendem geralmente a viver uma

vida dominada pelas palavras e at mesmo a esquecer
que a funo essencial das palavras ter este ou aquele
tipo de relao com os fatos, que so, em geral, nolingsticos. Alguns filsofos modernos chegam a afirmar
que as palavras nunca deveriam ser confrontadas com os
fatos, mas deveriam existir num mundo puro, autnomo,
onde fossem comparadas apenas com outras palavras.
(...) Tais autores nos dizem que a tentativa de confrontar a
linguagem com os fatos metafsica, devendo por isso
ser condenada. Esta uma dessas concepes to
absurdas que s os homens muito eruditos poderiam
adot-las. O que a torna particularmente absurda sua
cegueira diante da posio da linguagem no mundo dos
fatos.202
O captulo anterior, no qual listamos vrios exemplos de definies do
ponto, o suficiente para mostrar quo confusa pode ser uma definio, mesmo
no caso de renomados matemticos e professores. E tal problema de como tentar
ensinar as definies geomtricas (e as definies em geral) muito antigo 203. E
resolv-lo torna-se mais importante ainda se pretendemos orientar o aluno para
que um dia se interesse de maneira sria pela cincia, pois: El sistema inerente a
la cincia naturalmente a la verdadera ciencia no es invencion nuestra, sino
que reside em las cosas, donde lo descubrimos simplemente. La cincia aspira a
se rel mdio de conquistar para nuestro saber el reino de la verdad, em la mayor
extensin posible. Pero el reino de la verdad no es um caos desordenado; rige em
l unidad de leyes; y por eso la investigacin y la exposicin de las verdades debe
ser sistemtica, debe reflejar sus conexiones sistemticas y utilizarlas a la vez
202

RUSSEL, 1980, p.112.

Tem pelo menos 2300 anos. Uma das referncias mais antigas sobre o assunto o dilogo Mnon de
Plato.
203

como escala Del rogreso, ... partiendo del saber que nos es dado o hemos ya
obtenido.204
Aqui, em parte, temos aquela questo entre tcnica e semntica
(ou significado), conforme o professor Nlson Machado esclareceu em
Matemtica e Lngua Materna (MACHADO, 1990, 109-17): Uma das questes
mais candentes no que concerne ao ensino tanto da Matemtica como da Lngua
Materna a legitimidade ou a convenincia da utilizao de um sistema de signos
de um modo predominantemente tcnico, operacional, restrito a regras sintticas,
em contraposio a um uso que privilegie o significado dos elementos envolvidos,
portanto, sua dimenso semntica 205.
Entre as posies divergentes ... Porm, no pretendemos polemizar
sobre isso at mesmo porque de maneira geral, no entanto, no se considera que
a questo proposta conduza a uma opo dicotmica ou a tcnica ou o
significado; sem dvida trata-se de uma questo de nfase ou de prioridade.
Assim, reconhecendo a necessidade das duas componentes ... 206
O que pretendemos mais do que isso: vejamos o problema. Se na
definio inicial, o aluno j encontra um erro lgico, imagine quando comear a
fazer relaes entre os vrios conceitos e tirar suas conseqncias. Desses
paradoxos, o mais surpreendente aquele que, uma vez tendo afirmado que o
ponto no tem extenso207, declara serem as retas e planos, bem como todas as

204

HUSSERL, 1999, p. 43. Mais consideraes nesse sentido podem ser encontradas no livro Meditaes
cartesianas: introduo fenomenologia do mesmo autor.
205
MACHADO, 1990, 109.
206
MACHADO, 1990, p. 110.
207
Para maior rigor, entendemos extenso aqui, tal e qual definida nos melhores dicionrios tcnicos: em
primeiro lugar designa a qualidade do que extenso, isto , o carter da situao de algo no espao. As coisas
extensas so as coisas que ocupam espao ... (MORA, 2001, p. 980).

figuras geomtricas, compostas de pontos. Como poderia o quer que fosse ser
composto de algo que, no possuindo extenso, poderia ser indefinidamente
somado a si mesmo sem que jamais ultrapasse a extenso zero? 208 Ento,
perguntamos: qual ser a influncia de tal confuso na aprendizagem de uma
criana ou de um adolescente, ou mesmo de um adulto?
Geralmente considera-se suficiente na prtica pedaggica, como
vimos em praticamente todos os livros didticos que analisamos, tratar o ponto 209
como uma noo intuitiva. J vimos em outro captulo que na teoria formal basta
considerar o ponto como uma noo primitiva e no necessrio que tal noo
corresponda a algum contedo intuitivo. As divergncias nas definies 210
encontradas j servem como um forte indcio de que tal noo no to
intuitiva211 e poderamos confirmar esse dado se coletssemos especulaes da
filosofia da matemtica acerca da natureza do ponto 212. Tal dificuldade de intuir
um objeto resolvido em outros tipos de conhecimento (como por exemplo, no
conhecimento mstico ou artstico) atravs da utilizao de outros recursos
gnoseolgicos (tais como a f, a Graa, a fantasia, ...); ... enquanto que o
gemetra assume como ponto terminal a razo, no reconhecendo nenhuma
forma de intuio intelectual como superior a esta, e no deixando outra sada
seno a de aceitarmos o paralogismo como base da lgica e a loucura como
fundamento da razo.213

208

CARVALHO, 1983, 1.
Assim como a reta e o plano.
210
Inclusive aqueles que como o professor Mello e Souza, no consideram-no definvel.
211
Admitimos a possibilidade de uma intuio inteligvel (conferir MORA, 2001, p. 1552 do ponto desde
que a pessoa tenha presente outras noes mais primitivas.
212
Entretanto, isto no est includo no objetivo do presente estudo.
213
CARVALHO, 1983, 1.
209

Poderamos fazer apenas uma ressalva: o gemetra considera a

intuio do enlace das proposies (no caso, os postulados) e, na prtica,
tomaria uma definio implcita, conforme explicamos anteriormente. Mesmo
assim, despreza-se o sentido dos mecanismos lgicos usados e os fundamentos
da razo, donde que as matemticas no ensino geralmente ficam reduzidas ao
operacionalismo utilitrio e auto-complacente 214 que parece preparar os jovens
para se embriagarem mais tarde na curiosa mistura de orgulho racionalista e
negro desespero, que constitui o fedor caracterstico da vida cultural moderna 215.
Neste ponto, poderamos tirar algumas concluses vlidas para a
filosofia da cincia e sobre a teoria do conhecimento que tambm superam o
alcance desta pesquisa, mas cuja referncia deixamos indicadas 216. Por enquanto,
limitaremo-nos a apontar as vantagens pedaggicas de adotar uma definio mais
coerente do ponto de vista da lgica mais antiga e mais intuitiva 217:
Com isso livramo-nos do carter pejorativamente abstrato da
geometria e restitumos seu liame orgnico com a percepo normal humana,
uma vez que, na realidade sensvel, no podemos ver um ponto, a no ser como
interseo de linhas, do mesmo modo que no podemos ver todas as suas
dimenses, mas apenas segundo um ou alguns pontos-de-vista, que sero
precisamente aqueles pelos quais o encaramos. A invisibilidade do ponto a
invisibilidade de qualquer objeto tomado como totalidade em si; sua visibilidade
[fica sendo] a de qualquer objeto enquadrado e por isso mesmo limitado por
214

CARVALHO, 1983, 1.
CARVALHO, 1983, 1.
216
CARVALHO, 1983. Alm disso, em outro trabalho de concluso de disciplina (Relaes entre a lgica e a
geometria na matria Tpicos de Lgica, tivemos a oportunidade para desenvolver um pouco mais estes
assuntos.
217
Sem perder de vista a importncia de formaliz-la como explicamos anteriormente.
215

um dado sistema de perspectivas. De modo que os aparentes paradoxos sobre o

ponto se reencontram em qualquer objeto sensvel, no cabendo atribuir aos
objetos geomtricos um carter nem mais nem menos misterioso da que a todos
os demais218.
Com esta argumentao no pretendemos defender que o professor
de matemtica deve ser um filsofo ou ficar discutindo com seus alunos o sentido
ltimo da matemtica, mas estamos apenas defendendo o valor da lgica e da
fundamentao da matemtica, desde o sentido mais humilde de lgica (prximo
ao senso comum) at s suas abordagens mais elaboradas e formais. De tal
forma que prepare a inteligncia do aluno para que se interesse cada vez mais
pela tarefa cientfica de conhecer as coisas tais como so. Uma ilustrao
interessante disso a seguinte declarao de um professor:
... um professor que se preocupasse principalmente em estar bem
prximo do sentido ntimo, seria um pssimo professor. Eu, por exemplo,
confessor no ter dito em toda a minha vida uma nica palavra sobre o sentido1
da msica; se ela o possui, eu no preciso dele. No entanto, fiz sempre questo
absoluta de que meus alunos soubessem contar com exatido as suas colcheias
e semicolcheias. Quer seja professor, erudito ou msico, respeita o sentido, mas
no pensa que ele pode ser ensinado 219. (...) [Se estivesse ensinando poesia] ...
no lhe havia de sugerir que a poesia uma manifestao do Divino, mas me
preocuparia em torn-la compreensvel pelo conhecimento exato de seus meios
de expresso, lingsticos e mtricos. Cabe ao professor e ao erudito a pesquisa
218

CARVALHO, 1983, 2.
interessante notar que o grande apologista da importncia pedaggica e gnoseolgica da Geometria,
Plato, tambm defendia essa posio: no se ensina o sentido. Conferir os maravilhosos estudos de
Giovanni Reale a este respeito.
219

dos meios e da transmisso do saber, a conservao da pureza dos mtodos, e

no o incitamento e o precoce despertar daquelas vivncias impossveis de
exprimir220 ...221
No entraremos em discusses filosficas sobre os sistemas
pedaggicos, mas vamos lembrar que, para o professor posicionar-se diante do
ensino das definies que estudamos, fundamental ter uma mnima noo sobre
os mltiplos e embaraosos problemas que se apresentam ao professor de
Matemtica diante da classe (...) : a) A quem ensinar? b) O que ensinar? c) Como
ensinar? d) Para que ensinar? 222 E para ajudar a respond-las vamos utilizar o
modelo Van Hiele para ilustrar o problema dos diferentes patamares de
concretude223. Este modelo emergiu dos trabalhos de Dina van Hiele-Gedolf e
Pierre van Hiele e consiste em cinco nveis de compreenso na Geometria 224:
visualizao, anlise, deduo informal, deduo formal e rigor 225.
Apoiado em experincias educacionais apropriadas, o modelo afirma
que o aluno move-se seqencialmente a partir do nvel inicial, ou bsico
(visualizao) no qual o espao simplesmente observado as propriedades das
figuras no so explicitamente reconhecidas, atravs da seqncia relacionada
acima, at o nvel mais elevado (rigor), que diz respeito aos aspectos abstratos

220

De nenhuma maneira o conhecimento dessas coisas comunicvel como o dos outros conhecimentos,
mas, depois de muitas discusses sobre elas e depois de uma comunidade de vida, subitamente, como luz que
se acende de uma fasca, ele nasce na alma e alimenta-se a si mesmo (Plato, Carta VII, 314 c).
221
Trecho do Jogo das Contas de Vidro que rendeu um prmio Nobel a Herman Hesse.
222
TAHAN, 1961, p. 141. Neste livro o professor Mello e Souza apresenta proveitosas noes sobre didtica
para o professor de Matemtica.
223
MACHADO, 1990, p. 52.
224
Uma seqncia semelhante proposta para a construo do conhecimento em qualquer setor, na
Matemtica ou fora dela (MACHADO, 1990, p. 53).
225
CROWLEY, 2003.

formais da deduo. Poucos alunos experimentam, ou alcanam, o ltimo

nvel.226
Notemos que mesmo no quarto nvel, ainda no se percebe
plenamente questes como a da relatividade do conjunto de postulados ou das
propriedades globais do sistema dedutivo que se erige 227. Ento o tema do nosso
trabalho: definio considerada na teoria formal, de acordo com este modelo de
Van Hiele somente coerente em relao aos alunos que j esto no quinto
nvel e so capazes de visualizar propriedades mais gerais dos sistemas
dedutivos, comparando os vrios sistemas possveis, as vrias geometrias
imaginveis, ... bem como os diversos pontos de vista segundo os quais os
mesmos objetos podem ser estudados ... 228 possvel levar os alunos at este
nvel, mas precisamos percorrer uma via adequada: em suma, ainda que a
matemtica seja exposta em livros e artigos de modo sistemtico e organizado, o
processo de aprendizado no se comporta da mesma forma. Por isso os leitores
[e os estudantes de matemtica em geral] devem ter pacincia ... e muito meditar
sobre esses assuntos229.

226

CROWLEY, 2003.
MACHADO, 1990, p.53
228
MACHADO, 1990, p. 53.
229
SANTANNA, 2003, p. 14.
227

CONCLUSO

El lenguaje ofrece al pensador um sistema de signos, que puede emplear

em amplia medida para la expansion de sus pensamientos; pero si bien
nadie puede prescindir de l, representa um insrumento sumamente
imperfecto para la investigacin rigurosa. La nociva influencia de los
equvocos sobre la solidez de los razonamientos es conocida de todos. El
investigador precavido no debe emplear el lenguaje sin tomar
precauciones tcnicas; necesita definir los trminos empleados, si no son
unvocos y carecen de significacin rigurosa. Em la definicin [formal]
vemos, pues, um procedimiento metdico auxiliar para la seguridad de las
fundamentaciones, siendo stas los procedimientos primrios...
Edmund Husserl230

No decorrer desta pesquisa tivemos oportunidade de aprender mais sobre a teoria

formal, consolidando muitos conhecimentos sobre os quais havamos escutado o professor Adonai
Santanna insistir em sala de aula durante o ano inteiro. Conseguimos perceber que existe muito
por ser feito na teoria das definies em matemtica, mas tambm h muito por ser feito para os
nossos alunos e at mesmo por tantos professores e livros didticos. Podemos afirmar que a partir
de agora temos motivao para nos aprofundar cada vez mais neste interessantssimo universo da
lgica e das fundamentaes da matemtica.

230

HUSSERL, 1999, p. 48.

REFERNCIAS BIBLIOGRFICAS

BORSUK, Karol et SZMIELEW, Wanda. Foundations of Geometry: Euclidean and

Bolyai-Lobachevskian Geometry, projective geometry. New York: North-Holland
Publishing Co, 1960.
BRUGGER, Walter. Dicionrio de Filosofia. Trad.: Antnio P. de Carvalho. So
Paulo: Herder, 1962.
CARVALHO, Olavo de. Questes de simbolismo geomtrico in Universalidade e
Abstrao. So Paulo: Speculum, 1983.
CARVALHO, Olavo

de. Jardim das Aflies. 2a edio.

CASTRUCCI, Benedito. Fundamentos de geometria: estudo axiomtico do plano

euclidiano. Rio de Janeiro: Livros Tcnicos e Cientficos, 1978.
COSTA, Deise M. B. e Jos L. Teixeira, Paulo H. Siqueira e Luzia V. de S.
Zamboni. Elementos de Geometria: geometria plana e espacial. Curitiba: UFPR,
2000.
CROWLEY, Mary. O modelo Van Hiele de desenvolvimento do pensamento
geomtrico. 2003, in Revista do Professor.
FERREIRA,

Aurlio Buarque de Holanda . Novo Dicionrio Aurlio: sculo XXI . Rio

de Janeiro: Nova Fronteira et Lexikon Informtica, 1999.

FREGE, Gottlob. Os fundamentos da aritmtica: uma investigao lgicomatemtica acerca do conceito de nmero. Trad.: Antnio Zilho. Lisboa:
Imprensa Nacional-Casa da Moeda, 1992.
HEGENBERG, Lenidas. Definies: termos tericos e significado. So Paulo:
Cultrix et Editora da USP, 1974.
HILBERT, David. Fundamentos de la Geometra. Trad.: Francisco Cebrian. Madrid:
Instituto Jorge Juan de Matemticas, 1953.

HUSSERL, Edmund. Investigaciones Lgicas, 1. Trad.: M. Morente et J. Graos.

Madrid: Alianza Editorial, 1999.
KRAUSE, Dcio. Introduo aos fundamentos axiomticos da cincia. So Paulo,
EPU, 2002.
LORENZO, Javier de. Introduccin al estilo matemtico. Madrid: Tecnos, 1989.
MENDELSON, Eliot. Introduction to mathematical logic. Londres: Chapman & Hall,
1997.
MORA, J. Ferrater. Dicionrio de Filosofia: tomo II (E-J). Trad.: M.S.Gonalves et
alli. So Paulo: Loyola, 2001.
PARICIO, Luis J. H. Sobre

los principios fundamentales de la Geometra .

PEA, Miguel. Historia de la geometria euclidiana: los orgenes de la geometria. In

Revista Candidus, Ao 1 - No.10 - Junio / Julio 2000
REN, Luis V. La trama de la demonstracin (los griegos y la razn tejedora de
pruebas). Madrid: Alianza Editorial, 1990.
REZENDE,

Eliane Q. F. e Maria L. B. de Queiroz . Geometria Euclidiana Plana e

construes geomtricas.

Campinas: Ed. Unicamp, 2000.SANTANNA, Adonai. O que

um axioma. Barueri: Manole, 2003.

RUSSEL, Bertrand. Introduo filosofia da matemtica. Trad.: Giasone Rebu.
Rio de Janeiro: Zahar Editores, 1963.
RUSSEL, Bertrand. Meu desenvolvimento filosfico. Trad. L. Cerqueira et A. Oliva.
Rio de Janeiro: Zahar editores, 1980.
SANTOS, Mrio F. Mtodos lgicos e dialticos. Volume I. So Paulo: Logos, 1959.
SANTOS, Mrio F. Lgica e Dialtica: lgica, dialtica e decadialtica. So Paulo:
Logos, 1955.
SANTANNA. Adonai. O que um axioma. 2003.

SUPPES, P. Introduction to Logic. Princeton, N. J.: Van Nostrand, 1957.

TAHAN, Malba. O problema da definio em matemtica. So Paulo: Saraiva, 1961.
TAHAN, Malba.

Didtica da Matemtica. 1o vol. So Paulo: Saraiva, 1961.

Obs.: As referncias dos livros didticos analisados esto no prprio captulo

sobre o assunto.
Brandon Bennett, The Role of Definitions in Construction and Analysis of Formal
Ontologies, 2003, in www.comp.leeds.ac.uk/qsr/pub/BennettAAAsymp03a.ps
Elementos in http://www.mat.uc.pt/~jaimecs/euclid/elem.html
Gianni Amati, Definability and Commonsense Reasoning, 1996, in
www.dis.uniroma1.it/~pirri/PUB/DefaultLogic/AIJ-96.ps
Mizar Project, Sum. Stanislaw Lesniewski in
http://www.cs.ualberta.ca/~piotr/Mizar/mirror/http/sum/lesniewski.html
SHEN, WEI-MIN et SIMON, HERBERT.

Fitness Requirements for Scientific

Theories Containing Recursive Theoretical Terms, 1990,

in www.isi.edu/~shen/Gene.ps
Vernant,

Denis.

ETUDE

CRITIQUESUR

LES

FONDEMENTS

DE

LA

MATHMATIQUEDE STANISLAW LESNIEWSKI in

www.upmf-grenoble.fr/SH/PersoPhilo/ DenisVernant/Lesniewski.pdf
Zbigniew

Stachniak. Lesniewski's System of the Foundations of Mathematics,

2003, in http://www.cs.yorku.ca/~zbigniew/pr_les.html
http://dmoz.org/Society/Philosophy/Philosophers/L/desc.html
http://www.champ.pucrs.br/matema/malba_tahan.htm
http://www.cs.ualberta.ca/~piotr/Mizar/mirror/http/sum/lesniewski.html
http://www.formalontology.it/table_onto_frames_file/slide0001.htm

http://www.mat.uc.pt/ ~jaimecs/euclid/elem.htm

Numbers in Presence and Absence J Philip Miller

Chapter I: The emergence and development of Husserls philosophy of aritmetic.
RESUMO
Este captulo oferece uma viso do desenvolvimento histrico da filosofia aritmtica de
Husserl e de suas Antribuies para a filosofia da anlise matemtica. A partir da influncia
inicial de seu professor Karl Weierstrass, Husserl seguiu 3 fases na sua filosofia da
aritmtica cf. p. 1-4):
1a fase (1886-89): Husserl estudou a anlise como uma cincia baseada no conceito de
nmero distinguindo, neste assunto, as abordagens da filosofia e da matemtica (cf. p. 4s.).
Obra importante: ber den Begriff der Zahl. Psychologische Analysen (BdZ), 1887 sua
tese de doutorado (habilitation essay) sob orientao de Carl Stumpf.
2a fase (1890-1894): Husserl considerou a anlise como sendo essencialmente uma
tcnica formal, por ser parte de uma lgica de fins prticos e avanou nas anlises
psicolgicas relacionadas ao conceito de nmero (cf. p. 10s.). Obra importante: Philosophie
der Arithmetik. Logische und psychologische Untersuchungen (PA), 1891.
3a fase (a partir de 1894): anlise como uma espcie de teoria multiforme, uma
teoria dos sistemas dedutivos que corresponde a uma regio objetiva ou ontologia
regional, sendo subordinada lgica formal. (cf. p. 15s.). Obras importantes: Prolegomena
von Logische Untersuchungen (LU) 1900/1901, Doppelvortrag 1901 e obras
posteriores (Ideen, 1913; FTL, 1929 e Krisis, 1936).
Miller nega a comum opnionis de que Husserl tenha cometido o erro de psicologismo
nos mtodos de investigao do conceito de nmero em PA (cf. p. 19). Assim, as solues
obtidas naquela obra no teriam sido psicologistas no sentido pernicioso e criticado em LU,
mas tal qualificao se adequaria posio, que seria a base de um hipottico 2 o volume de
PA, segundo a qual, a lgica seria essencialmente uma disciplina prtica, por ser parte da
lgica considerada como uma tcnica com fins prticos (cf. p. 22-3). Miller defende PA
como um estudo das estruturas intencionais comparvel a LU/II e essencial para a
abordagem madura da filosofia da matemtica husserliana (cf. p.23).
Explicao de Numbers in Presence and Absence J Philip Miller
Chapter I: The emergence and development of Husserls philosophy
of aritmetic.
Husserl tinha a inteno de alcanar Grundpunkten der wahren Philosophie des
Kalkls, diesem Desiderat von Jahrhunderten, den Weg zu bahnen (HUSSERL, 1970, 7).
Este Kalklus no a artimtica usual, mas anlise matemtica, uma rea que comeou no
sculo XVII com Newton e Leibniz (cf. MILLER, 1982, p. 1), mas cujos fundamentos
teorticos ainda eram obscuros, mesmo com o aumento do rigor em termos puramente
formais com a aritmetizao da anlise no sculo XIX (cf. MILLER, 1982, p. 2) .
Husserl foi aluno de Karl Weierstrass (entre 1878 e 1883) e sofreu uma influncia
profunda dele, principalmente em termos de filosofia da matemtica, de quem herdou a

meta da formao de uma allgemeine Arithmetik (HUSSERL, 1970, 7) que unificasse a

anlise e a aritmtica elementar, uma cincia que se baseasse apenas no conceito de
nmero, entendido, por Weiertrass, como a determinate multitude of homogeneous thing
( MILLER, 1982, p. 3), cujo sentido mais fundamental se vinculava ao ato mental de
contar. A diferena mais notvel entre o trabalho de professor e aluno era o instrumental:
enquanto o mestre trabalhava nos parmetros da cincia matemtica, o discpulo buscava
uma metodologia filosfica que fosse suficientemente rigorosa para isso.
Nessa primeira etapa do desenvolvimento da filosofia da aritmtica de Husserl, a
anlise era entendida como cincia do nmero. Husserl percebeu as lacunas nas reflexes
de natureza lgica:

CARLOS EDUARDO DE CARVALHO VARGAS

PANORAMA DA EPISTEMOLOGIA NO SCULO XX

Trabalho apresentado para a concluso

da disciplina Tpicos de Epistemologia
I do mestrado em Filosofia da PUC-PR
sob

orientao

Lacerda Arajo.

CURITIBA, JULHO DE 2006

da

professora

Ins

1) RESUMO DOS CONTEDOS ABORDADOS NA DISCIPLINA TPICOS DE

EPISTEMOLOGIA I

1.1)

NOO DE EPISTEMOLOGIA
Neste semestre, na disciplina de Tpicos de Epistemologia I, foram

estudados os textos dos principais filsofos que lidaram com a epistemologia. Para
limitar a pesquisa presente, foram selecionados alguns dos temas tratados, apenas os
mais marcantes para a pesquisa em desenvolvimento sobre a lgica pura nos
prolegmenos s Investigaes Lgicas em Edmund Husserl. Assim, o critrio da
anlise e a concluso geral o desenvolvimento da pesquisa na perspectiva
epistemolgica apresentada. No curso, a epistemologia foi entendida em um sentido
mais especfico, tomando como referncia a virada lingstica, a qual marcou a
mudana de um enfoque tradicional que buscava a verdade definitiva e critrios
necessrios acerca do conhecimento para o enfoque da constituio do conhecimento
em certa poca, do modo como se produz a verdade (e todas as complicadas
conseqncias disto que desembocam em questes cruciais como: objetividade,
validao, estatuto das teorias, etc.) (LACERDA, 2006a, p. 2).

Nestes autores que estudamos aparece, mais ou menos, essa atitude ao

estudar temas epistemolgicos, isto , eles operam levando em conta o enunciado,
suas relaes com outros enunciados, e a propriedade de assumirem valor verdade
(LACERDA, 2006a, p. 2).
Em especial, esses dois aspectos aparecem no autor que o foco da
monografia em desenvolvimento: Edmund Husserl. Se ele parece seguir uma linha
mais tradicionalista, mais prxima da teoria do conhecimento e da gnoseologia,
ao estudar a lgica pura como doutrina da cincia (Wissenschaftlehre) nos
prolegmenos das Investigaes Lgicas (HUSSERL, 1922, p. 3-256), ele
tambm aborda temas lingsticos na Primeira Investigao Lgica: Expresso e

Significado (HUSSERL, 2001, 181-234), como a ambigidade do termo signo,

a essncia da indicao, dois sentidos de demonstrao, digresso sobre a
gnese do signo na associao, as expresses na sua funo comunicativa
(HUSSERL, 2001)231.
1.2) O TRACTATUS DE WITTGENSTEIN
Trata-se de uma obra complexa e bastante controvertida sobre a
essncia da linguagem e do mundo (LACERDA, 2004, p. 74). Com estas leituras
dos Tractatus aprendemos sobre o esforo de Wittgenstein para dissolver os
problemas analiticamente. No Tractatus a linguagem aparece como um clculo, uma
linguagem perfeita e objetiva, onde conhecer uma palavra seria conhecer todos os
seus possveis significados. Por essa linguagem absolutamente ideal fala-se e
entende-se uma linguagem perfeitamente analtica, pela qual se chega ao limite do
mundo, onde deve-se calar. Pensar usar essa linguagem ideal sobre o mundo e as
formas dessa linguagem no tm contedo.
Para esta pesquisa ficou a lio dos limites que podem ser alcanados no
desenvolvimento analtico da filosofia ou na recolocao dos problemas filosficos
na linha do Principia Mathematica de Bertrand Russel e Alfred Whitehead. A
separao entre o dizvel e o indizvel ficou abissal, no havendo ponte entre as
questes superficiais do lgico e as questes profundas do mstico. Mais tarde
esses problemas tomariam outro rumo na obra de Wittgenstein, como ser mostrado
abaixo.
Percebe-se que h uma relao com o ideal de perfeio da lgica pura de
Edmund Husserl, o qual no possua familiaridade com a obra de Wittgenstein
(WELTON, 2002, p. 420). Ao estudar a lgica pura como doutrina da cincia,
231

Uma das maneiras de raciocinar com estas investigaes husserlianas foi elaborada por David W. Smith:
ele considera que h sete teorias desenvolvidas incompleta e informalmente por Husserl nas Investigaes
Lgicas (uma para cada investigao e outra para os prolegmenos). Uma delas a filosofia da lgica que
aparece principalmente nos prolegmenos e outra a filosofia da linguagem da primeira investigao, a qual
pode ser comparada, segundo ele, com as teorias de Frege, Austin, Searle, Kaplan e outros (SMITH, 2003, p.
30).

importante conhecer as vrias concepes de lgica e de cincia, especialmente

aquelas em linguagem mais analticas.
Esta no a ocasio mais oportuna para aprofundar as relaes entre os dois
filsofos, mas, talvez, a principal diferena entre a abordagem de Husserl e
Wittgenstein, e que deve ser considerada em uma pesquisa sobre a obra husserliana
seja a seguinte:
For Edmund Husserl... the forms (logical forms, essences, whatever you choose to call
them) are among the objects of intuition or acquaintance. They can be considered in
separation from their particular embodiments in sensory material. In contrast, the
leading idea of the Tractatus is that there is no separate class of entities called logical
forms. Logical forms are forms of objects, ultimately of simple objects. They do not exist
separately, and they cannot be conceptually disentangled from the objects whose forms
they are (HINTIKKA, 1996, p. 66).

1.2)

CARNAP E OS PSEUDOPROBLEMAS NA FILOSOFIA

Rudolf Carnap, grande destaque do Crculo de Viena, conduziu sua anlise

epistemolgica para a formulao de m mtodo capaz para justificar as cognies

pela verificao do significado por meio do teste de uma experincia. Assim, essa
justificao ocorre pela anlise dos contedos tericos das experincias expressos
em enunciados. Carnap desenvolveu, assim, uma metodologia para analisar a
linguagem e identificar epistemologicamente se um enunciado possui significado ou
no de acordo com a experincia. Assim, tendo contedo factual, um enunciado
testvel de acordo com as condies possibilitadas por cada cincia. De maneira
ampla, esse projeto levaria a basear o conhecimento da realidade em um
instrumental lgico-matemtico.
A principal contribuio que percebi para o projeto em desenvolvimento a
lio de que importante procurar fundamentar logicamente os enunciados de um
trabalho cientfico. E isso precisa ser conforme experincia correspondente. Isso,
em certo sentido, vai ao encontro do pensamento de Husserl, apesar das

discordncias entre a escola do positivismo lgico e da fenomenologia 232.De fato,

Husserl tambm no era contra esta espcie de lgica, a qual ele chamava de
simblica, tendo, inclusive, feito elogios notveis a ela, como, por exemplo, neste
trecho de Filosofia da Aritmtica:
Nisso consiste, contudo, todo o raciocnio formal no verdadeiro e genuno sentido da
palavra. Mas que um raciocnio desse tipo no (como se [365] poderia supor pelos
exemplos simples atrs apontados) irrelevante, mas, ao contrrio, constitui um
importantssimo instrumento do progresso cientfico, disso dever a nossa teoria da
aritmtica dar as provas mais fortes (HUSSERL, 2000, p. 7).

Uma das conquistas da lgica formal o desenvolvimento da teoria

formal233 (MENDELSON, 1987, p. 27-35), que se relaciona com os esforos de
axiomatizao de diversas teorias234 que tm, inclusive, um papel importante na
lgica pura de Husserl235. Uma descrio da formalizao de uma teoria a seguinte:
una teoria matemtica formalizada es una teora matemtica axiomtica com una
lenguaje estrictamente descripta y significados lgicos definidos estrictamente.
Destacamos tres aspectos en la definicin de una teoria matemtica formalizada:
lenguaje formalizada, lgica y axiomas236 (SIKORSKI, 1968, p. 1).
Resumidamente, as principais grandezas da lgica dos sinais so as
seguintes: a) permitir a facilitao do uso do raciocnio s pessoas que disponham
232

Este desentendimento deve-se principalmente falta de interpretao dos textos pr-fenomenolgicos de

Husserl sobre a filosofia da matemtica como foi explicado, por exemplo, em HILL et HADDOCK, 2000).

curioso que Husserl tenha convivido na Universidade de Gttingen com uma das principais
referncias do incio dos estudos sobre axiomatizao, David Hilbert, o autor de Grundlagen der
Geometrie (Fundamentos da Geometria) e do programa hilbertiano, que pode ser resumido
assim: todo el campo de la matemtica clsica puede concebirse en sustancia como formalizable
em tres sitemas axiomticos fundamentables, a saber: el de la aritmtica, el de anlisis e el de la
teora de los conjuntos (AGAZZI, 1986, p. 134). Hilbert esperava encontrar em Husserl um colega
nestes esforos lgicos, mas suas esperanas for serious collaboration were disappointed as a
result of Husserls increasing interest in problems of subjectivity,... and in the methodology of the
new discipline of phenomenology (SMITH et SMITH, 1995, p. 5).
233

234

Para uma breve explicao das teorias axiomticas, ver (SANTANNA, 2003, p. 17-22).
Conferir o texto de Husserl Das Gebiet eines Axiomensystems/ Axiomensystem Operationssystem
(HUSSERL, 1970, p. 559-560) O domnio dos sistemas axiomticos/ sistema axiomtico/ sistema
operacional (traduo livre do autor).
236
Uma teoria matemtica formalizada uma teoria matemtica com uma linguagem estritamente descrita
em significados lgicos definidos estritamente. Destacamos trs aspectos na definio de uma teoria
matemtica formalizada: linguagem formalizada, lgica e axiomas (traduo livre do autor).
235

de menor acuidade mental (SANTOS, 1966, p. 149); b) oferecer instrumentos

para poder raciocinar no campo das observaes, pesquisas e estudos cientficos
(SANTOS, 1966, p. 149) realizando a ordenao orgnica e cientfica dos
raciocnios e justificando seguramente as normas deste; c) servir como complemento
lgica tradicionalista, tornando-se mais uma lgica aplicvel ao contingente,
que a matria da cincia (SANTOS, 1966, p. 150); d) desvincular os termos e
conceitos da influncia de aderncias esquemticas afectivas (sic), muitas de
origem infantil (SANTOS, 1966, p. 150).
1.3)

POPPER E A LGICA DAS INVESTIGAES CIENTFICAS

Karl Popper foi um crtico do Crculo de Viena por sua rejeio ao critrio

positivista de verificao e da conexo entre verificao e significado. Contribui na

histria da epistemologia do sculo XX com o critrio de falseabilidade que permite
uma demarcao entre a cincia e a no-cincia. Ele no aceitava como critrio a
compatibilidade, a probabilidade ou o indutivismo. Uma teoria cientfica aceitvel
refutvel ou falsevel. Um sistema cientfico tem a possibilidade de ser refutado.
Com o seu critrio, a cincia busca provas de que as hipteses sejam refutveis
fazendo um exame crtico das hipteses para eliminar aquelas que conduzem a
concluses falsas.
A epistemologia de Popper mesmo interessante para o estudioso da lgica
pura como doutrina da cincia, inspirado em Husserl, pois ajuda a pensar sobre a
lgica que procura fundamentar os pensamentos cientficos (HUSSERL, 1999).
Ao fazer a pesquisa sobre a lgica pura, pergunta-se quais so os fundamentos do
rigor da prpria lgica? Quais so as condies que fazem com que seja possvel e
necessria a realizao de uma lgica que fundamentasse os raciocnios e
fundamentaes de todas as cincias? Edmund Husserl chamou essa cincia de
lgica pura, mas tambm a nomeou como cincia das cincias, doutrina da
cincia, arte do conhecimento cientfico e, ainda, lgica como disciplina

filosfica: This pure logic serves as the basis for the preordenation of those laws
that are logical in the strict sense (the principle of contradiction, syllogistic
principles) and that are to be the rules of scientific thinking (HUSSERL, 1981, p.
147). Husserl tomou um certo rumo pois visava a obter a inteleco da essncia da
cincia237 (HUSSERL, 1999, p. 208) ou da teoria cientfica, mas o estudo srio sobre
a demarcao entre cincia e no-cincia vai ao encontro dessa pesquisa, em certo
sentido.
1.4)

KUHN E O USO DO CONCEITO DE PARADIGMA

A epistemologia de Thomas Kuhn partiu de uma classificao das cincias

de acordo com as categorias cincia anormal e cincia normal. Esta baseia-se

em um paradigma sobre o qual se baseia o procedimento de pesquisa cientfica. O
que est fora do paradigma fica de lado, rejeitado por no ser cientfico.
Entretanto, o acmulo de anomalias dentro do paradigma leva necessidade de
ajustes at o surgimento de novas teorias. Estas pode vir a ser at incompatveis com
as anteriores, conduzindo a novas revolues cientficas como resposta aos novos
problemas (LACERDA, 2006b).
O principal interesse da epistemologia kuhniana dos paradigmas, na
perspectiva do estudo da lgica pura como doutrina da cincia, est na avaliao da
histria da cincia. Na pesquisa VARGAS (2006) foi realizada uma anlise das
vrias concepes de cincia conformes lgica pura e ela poderia ser
complementada na perspectiva da avaliao da preservao ou na alterao dos
paradigmas.
1.5)

237

DEWEY E A TEORIA DA INVESTIGAO

Traduo livre do autor desse projeto.

John Dewey apresentou uma noo de cincia como administrao

inteligente da experincia com uma verdade como um critrio dentro das
necessidades humanas que leve a um resultado eficiente de uma situao
problema. O seu pragmatismo filosfico um mtodo que tende ao concreto.
Trata-se de uma maneira de se aproximar de uma realidade que se supe
infinitamente mltipla (MORA, 2000, p. 711). Na metodologia da sua teoria da
investigao, o primeiro passo procurar os constituintes de uma situaoproblema. Depois, coleciona-se possibilidades ou idias (como objeto
ideacional ou conceptual) que sero examinadas em relao sua capacidade de
resolver o problema. Para isso, preciso que os fatos-significadosinterajam. E
tambm exige alguma atividade existencial envolvendo tcnicas e rgo de
observao. Assim, por meio da investigao, transforma-se de maneira controlada
ou dirigida aquela situao que estava indeterminada at chegar a uma situao
determinada e unificada sob aquele aspecto.
O aspecto mais interessante nessa epistemologia sua metodologia de
investigao ou pesquisa, a qual muito pode colaborar para um mestrando que
precisa formular problemas e pesquis-los em uma situao existencial dada,
resolvendo-a adequadamente. o que se faz nesta etapa do mestrado em que o
projeto de pesquisa e a dissertao esto se encaminhando. Tambm provoca
interesse por conduzir algumas questes diferentemente de Husserl o que faz pensar
e refletir mais para descobrir o motivo dessas respostas diferentes s questes
filosficas.

2) RESUMO DA EVOLUO DA PESQUISA DE MESTRADO NESTE

SEMESTRE

PARTIR

DAS

AULAS

DE

TPICOS

DE

EPISTEMOLOGIA
Neste semestre, no por acaso, mas tambm influenciado pela disciplina
tpicos de epistemologia, a pesquisa sobre a lgica pura de Husserl evoluiu de
temas mais relacionados com a verdade definitiva e critrios necessrios acerca do
conhecimento (LACERDA, 2006, p. 2) e de uma perspectiva mais ontolgica
(VARGAS, 2006), para uma abordagem que: a) por um lado, mais baseada em
outras cincias, para mostrar como a filosofia de Husserl sobre a cincia, o que se
relaciona com sua epistemologia238, resolve problemas que surgiram das pesquisas
contemporneas em lgica e matemtica239; b) por outro lado, trata mais do
problema da organizao discursiva da teoria, isto , das formas possveis de teorias,
pois a pesquisa foi delimitada na teoria das multiplicidades da lgica pura dos
prolegmenos s Investigaes Lgicas de Husserl (HUSSERL, 1922, p. 247-51).
Essas multiplicidades240 so formas puras de teorias possveis, as quais,
como moldes, permanecem totalmente indeterminadas pelos seus contedos, mas s
quais o pensamento deve necessariamente se conformar a fim de ser pensado e
conhecido de uma maneira teortica241 (HILL in HARTIMO, 1993, p. 144). Essa
teoria das multiplicidades pode ser comparada com as axiomatizaes das cincias,
que ocorreram a partir dos trabalhos de Hilbert (SANTANNA 2003; KRAUSE,
2002242), que foi colega de Husserl, como antecipou-se no primeiro captulo e ser
238

Segundo SMITH (2003, p. 31) a epistemologia de Husserl est mais desenvolvida na quinta investigao
lgica do que nos prolegmenos, que o tema da monografia em desenvolvimento.
239
Por exemplo: os paradoxos das teorias dos conjuntos de Cantor e os desafios trazidos pelas teorias dos
nmeros imaginrios. Estas relaes foram mais desenvolvidas nos artigos de Ortiz Hill em HILL et
HADDOCK, 2000).
240
Mannigfaltigkeit em alemo e Manifold em ingls.
241
Traduo livre do autor. No original: pure forms of possible theories wich, like molds, remain totally
undetermined as to their content but to wich thought must necessarily conform in order to be thought and
known in a theoretical manner.
242
Essa nova delimitao da pesquisa permitiu reaproximar-me de meu ex-professor Adonai Santanna, da
UFPR, que j havia me citado em um de seus livros e que est sendo uma referncia para esta pesquisa. Alm
disso, j era leitor do professor Dcio Krause, mas essa pesquisa sobre a estruturao lingstica da cincia
por meio da axiomatizao provocou uma troca de e-mails e um convite para visit-lo na UFSC.

retomado abaixo. Baseando-se nos axiomas, as teorias se desenvolvem formando

objetos que so exclusivamente determinados pelas formas dessa mesma teoria e
no pelos seus contedos. Estes tambm so objetos das cincias, mas no so os
objetos da lgica pura. Os axiomas definem uma multiplicidade de uma maneira
indeterminada em relao aos contedos. E os conceitos ficam definidos como
meras possibilidades formais nas quais no deve haver contradies formais ou
violao dos princpios analticos que concorrem na consistncia daquela teoria.. A
partir dessa multiplicidade, pode-se deduzir concluses e construir provas que iro
possivelmente corresponder a algo em uma teoria particular :
The general theory of the manifolds, or science of theory forms, is a field
of free, creative investigation made possible once the form of the
mathematical system was emancipated from its content. Once one
discovers that deductions, series of deductions, continue be meaningful
and to remain valid when one assigns another meaning to the symbols,
one is then free to liberate the mathematical system, which can henceforth
be considered as being the mathematics of a domain in general, conceived
in a general and indeterminate manner. No longer restricted to operating
in terms of a particular field of knowledge, we are free to reason
completely on the level of pure forms. Operating within this sphere of pure
forms, we can vary the systems in different ways. Nothing more need be
presupposed than the fact that the objects figuring in it are such that, for
them, a certain connective supplies new objects and does so in such a way
that the form determined is assuredly valid for them. One finds ways of
constructing an infinite number of forms of possible disciplines. And all
that is of inexhaustible practical interest, Husserl maintained (HILL,
2000, p. 168).

BIBLIOGRAFIA
AGAZZI, Evandro. La lgica simblica. Trad.: J. P. Ballesta. Barcelona:
Herder, 1986. 355p.
ARAJO, I. L. Do signo ao discurso Introduo Filosofia da
Linguagem. So Paulo: Parbola, 2004. 279p.
________. Epistemologia enquanto disciplina: mestrado de filosofia.
Curitiba: 2006a.
_______. Acerca dos usos do conceito de paradigma. Curitiba: 2006b.
HARTIMO, Mirja. Husserls Prolegomena: a Search for the Essence of
Logic. In: DAHLSTROM, Daniel

O (org.). Husserls logical Investigations.

Dordrecht: Kluwer Academic Publishers, 2003. 200p. p. 123-46.

HILL, Claire O. et HADDOCK, Guillermo R. Husserl or Frege, Meaning,
Objectivity and Mathematics. Chicago: Open Court, 2000. 315p.
HINTIKKA, Jaako. Ludwig Wittgenstein: Half-Truths and One-And-AHaf Truths. Dordrecht: Kluwer, 1996. 372p.
HUSSERL, Edmund. Logische Untersuchungen: Erster Band, Halle a.S:
Max Neimeyer., 1922.
_________. Philosophie der Aritmetik: mit erganzenden texten (18901901). Den Haag: Martinus Nijhoff, 1970a. 585p.
Investigaciones Lgicas 1. Trad.:

M.G. Morente et J. Gaos. Madrid:

Alianza Editorial, 1999.

________. Da Lgica dos Sinais (Semitica). Trad. Antnio Fidalgo.
Cavilh: Universidade da Beira Interior, 2000. [Disponvel on line] In:
http://ubista.ubi.pt/~comum/fidalgo-husserl-semiotik.html. (Capurado em 03 mar.
2005).

________. Logical Investigations. Trad.: J.N. Findlay. London: Routledge,

2001. 424p.
KRAUSE, Dcio. Introduo aos fundamentos axiomticos da cincia.
So Paulo: EPU, 2002. 211p.
MORA, J. Ferrater. Dicionrio de Filosofia: tomo I (A-D). So Paulo:
Loyola, 2000. 786p.
SANTANNA, Adonai. O que um axioma. Manole: Barueri, 2003.
157p.
SANTOS, Mrio F. Grandezas e Misrias da Logstica. So Paulo:
Matese, 1966. 156p.
SIKORSKI, Roman. Teorias matemticas formalizadas. Bahia Blanca:
Universidad Nacional del Sur, 1968. 60p.
SMITH,Barry et SMITH, David W. Introduction. In: SMITH,Barry et
SMITH, David W. (org.). The Cambridge Union to Husserl. Cambridge:
Cambridge University Press, 1995. 528p.
SMITH, David W. The Unity of the Logical Investigations: Then and Now.
In: FISETTE, Denis (org.). Husserls Logical Investiagtions Reconsidered.
Dordrecht: Kluwer Academic Publishers, 2003. 252p.
VARGAS, Carlos E. A lgica pura como doutrina da cincia em
Edmund Husserl. Curitiba: 2006.
WELTON, Donn. The other Husserl: The Horizons of Transcendental
Phenomenology. Bloomington: Indiana University, 2002. 516p.

O Critrio Quantitativo da Cincia do Empresrio Utilitrio

H uma certa noo de cincia implicada no primeiro pargrafo do artigo
Cincia - Tiro no p da burocracia, do professor Jos Fernando Perez,
diretor cientfico da Fapesp, publicado no caderno Mais! da Folha de So
Paulo
do
dia
18/12/2005
(http://www1.folha.uol.com.br/fsp/mais/fs1812200510.htm) :
Nos ltimos dez anos, o Brasil teve um ciclo de desenvolvimento
cientfico extraordinrio, documentado por alguns indicadores de relevncia.
Atingimos a marca de 1,5% da produo cientfica publicada em revistas de
reconhecida qualidade. O significado dessa marca fica realado se
compararmos com a insero do Brasil em cerca de 1% no comrcio
internacional. Ou seja, contribumos com cincia de qualidade mais do que
com toda nossa exportao.
Estou colecionando exemplos de concepo de cincia, isto , opinies
srias sobre o que ou no cincia, para a minha pesquisa sobre a lgica
pura
como
doutrina
da
cincia
em
Husserl. Nessa linha de investigao, analisarei as concepes pressupostas no
texto citado. Por exemplo: se publicao em revista de renome implica
produo cientfica e desenvolvimento cientfico, isso pressupe a
legitimidade cientfica dessas revistas e das pessoas que ali publicam. Mas o
que se entende por cincia nesse caso?
Aqui o professor utiliza cincia como aquilo que a comunidade cientfica,
ou, particularmente, editores e escritores de revistas cientficas, decidem
publicar. Mesmo concedendo que essas revistas tenham boas intenes e seus
editores e escritores sejam honestos na busca da verdade, pergunta-se: o que
cincia para esta comunidade editorial? Antes de responder esta questo,
concederemos ao professor a estatstica citada tenha sido elaborada a partir do
conjunto universo de revistas mais significativas e importantes.
Cincia, para o professor, aquilo que a comunidade cientfica reconhece
como tal, por meio de suas publicaes (1). Entretanto, este um critrio
muito superficial, na medida que transforma a cincia em uma extenso da
retrica(2) e subentende algo mais fundamental, que o critrio husserliano
da cincia pura.(3).De fato, sem essas caractersticas essenciais, que estou
desenvolvendo na minha pesquisa, no h cincia nenhuma. Ou a cincia
conforme, mesmo que imperfeitamente, com os ideais da cincia pura ou
no cincia nenhuma. Por exemplo: se os autores dos artigos publicados na
Science pararem de visar a verdade (4), de buscar a coerncia, a
fundamentao lgica e de se expressarem em juzos (5), seus artigos no
sero cientficos, mesmo que eles tenham cargos nas universidades mais

importantes e mesmo que recebam o prmio Nobel. Aqui h um problema

muito grave e muito recente em termos de histria da cincia que a
organizao social da cincia: se a produo quantitativa aumenta, como
verificar se tamanha produo continua sendo cientfica? Voltaremos neste
ponto ao final do artigo.
A comparao do professor Jos Perez , no parecer modesto deste aluno,
descabida ou, em outros termos, no-homognea, no seguinte sentido: na
produo econmica legtimo que se use a quantidade (de dinheiro, por
exemplo) como critrio relevante, mas parece que o diretor cientfico
cochilou ao aplicar esse mesmo critrio quantitativo para avaliar a produo
e o desenvolvimento cientfico sem mesmo preocupar-se com ressalvas (7).
Considerando a sua posio pela caracterologia social do filsofo Mrio
Ferreira dos Santos (8), o professor se enquadraria, assim, no tipo empresrio
utilitrio, o que parece bem estranho para um diretor cientfico.
Mas voltando ao artigo, vejamos: se um pas tem a maior participao no
comrcio internacional, esse o pas que est lidando com maiores valores de
dinheiro, mas assim na produo cientfica? Ser que h mesmo essa
correspondncia entre a porcentagem de publicaes e a produo cientfica
de um pas (9)? Nesses 1,5% no pode haver um trabalho superior aos
trabalhos de um pas que produzisse 2% das publicaes? Se a quantidade
to importante assim, por que os livros de histria da cincia selecionam
alguns e no se limitam a fazer listas quantitativas das produes publicadas?
Imagine-se um livro de histria de uma cincia nesses termos: o maior
cientista de todos os tempos seria aquele que mais tivesse publicado artigos
em revistas reconhecidas. Algum levaria este critrio a srio? Talvez o
professor Jos Perez...
Se tomamos o raciocnio publicao em revistas de reconhecida
qualidade implica em cincia de qualidade, a contrapositiva e, logo,
equivalente logicamente, seria a seguinte: sem publicao no h produo
cientifica, que um juzo falso, pois pode existir produo cientfica sem
publicao, o que seria mais uma falha do processo editorial do que uma falha
dos cientistas.
O fato que o diretor da FAPESP no est exatamente interessado na
cincia e nos seus critrios. Ele trabalha em uma fundao que apia a
pesquisa acadmica e faz selees nas quais um dos critrios a produo
cientfica considerada em termos quantitativos (com um mnimo de critrios
qualitativos, at porque a quantidade pura seria um absurdo (10). De fato,
um critrio aceitvel e razovel em um contexto social em que difcil avaliar
as produes acadmicas e editoriais (11), tendo em vista a enorme quantidade
delas e a obscuridade dos critrios cientficos (12), mas isso deveria ser

aplicado apenas como critrio scio-econmico de seleo e no como critrio

de produo cientfica, sob pena de, assim, minar-se a prpria noo de
cincia e eliminar o sentido cientfico do prprio fomento de pesquisa que a
FAPESP executa.
(1) Esta concepao lembra a cincia como atividade social da obra
Public Knowledge de John Ziman, citado por Alan Cromer em Senso
incomum: a natureza hertica da cincia (RJ: Ed. da Faculdade da Cidade,
1997, p.157s.).
(2) Op.cit., p. 158.
(3) Conferir a esse respeito, Logische Untersuchungen: Erster BandProlegomena zur reinen Logik de Edmund Husserl Husserliana, Band
XVIII, Haag: Martinus Nijhoff, 1975.
(4) Como provavelmente aconteceu no caso do pesquisador sul-coreano
Hwang Woo-Suk.
(5) claro que se pode discutir sobre o significado desses termos, mas
seria um segundo passo, uma discusso sobre as palavras, no sentido tcnico
que os escolsticos classificavam como segunda inteno conferir o livro
The trivium: the liberal arts of logic, grammar, and rethoric de Miriam
Joseph Philadelphia: Paul Dry, 2002.
(6) Como Gustavo Coro explicou em A descoberta do outro, p.76s.
Rio de Janeiro: Agir, 1953.
(7) Por outro lado, um pensador muito preocupado com as relaes entre
conhecimento qualitativo e quantitativo foi Ren Gunon, especialmente em
O reino da quantidade e os sinais dos tempos (Lisboa: Dom Quixote, 1989).
(8) Conferir Filosofia e Histria da Cultura, tomo III, p. 47s. So paulo:
Logos, 1962.
(9) Supondo naturalmente a homogeneidade deste pas, porque poderia
acontecer que somente poucas pessoas e poucas cidades se envolvessem no
trabalho cientfico publicado.
(10) Cf. Gunon, op. cit., p. 21s.
(11) Cf. Olavo de Carvalho , Abreviatura das Investigaes Lgicas de
Edmund Husserl, preleo VII, Rio de Janeiro: Instituto de Artes Liberais,
1994.
(12)
Cf.
Husserl,
op.
cit.,
Einleitung
http://www.princeton.edu/~batke/phph/husserl/lu/0_int.html;
cf.
Xavier
Zubiri, Naturaleza, Historia,Dios, captulo Nuestra situacin intelectual,
http://www.zubiri.org/works/spanishworks/nhd/nuestrasituacion.htmI.).
Carlos Eduardo de Carvalho Vargas
4 de janeiro de 2006.

A FSICA COMO SMBOLO DA POLTICA ou A EXPLICAO DA TEORIA DA RELATIVIDADE

O "Frei" Betto escreveu um dilogo que poderia ser uma amostra de um dilogo cientfico de duas pessoas
que buscassem a verdade e o saber, no estilo do "dilogo sobre os dois mximos sistemas do mundo" de
Galileu
Galilei.
Poderia
...
mas
o
"bate-papo
com
Einstein"
(http://www.colegiomedianeira.g12.br:81/Textos/einstein.htm) acaba servindo como um exemplo da prpria
frase do "Frei":
"quando uma pessoa alcana a fama que beira unanimidade, ela pode se dar ao luxo de dizer coisas
absurdas, pois fica mal quem a critica e no quem criticada."
O "frei" fez um "link" entre fsica e poltica quando escreveu:
"- Por que esse ttulo de "relatividade"? - indaguei.
- Por reao, de certo modo poltica, pretenso europia de ser o umbigo do mundo. No h, neste
mundo, nenhum lugar privilegiado, do qual podemos ter uma melhor viso do universo. Cada local to bom
quanto qualquer outro. As leis da natureza so idnticas em qualquer parte. Portanto, ningum jamais viajar
mais rpido do que a luz."
E eu havia aprendido no curso de "fsica B" da faculdade que o postulado da relatividade dizia respeito
estabilidade das leis fsicas para todos os observadores:
"As leis da fsica so as mesmas para os observadores em todos os referenciais inerciais. No existe
referencial inercial privilegiado. Galileu admitiu que as leis da mecnica eram as mesmas em todos os
referenciais inerciais. Einstein ampliou esse princpio de modo a incluir todas as leis da fsica, especialmente
as do eletromagnetismo e as da tica" (Halliday, Resnick e Walker - Os fundamentos da fsica, vol. 4).
E se aplicarmos a idia de relatividade ao prprio argumento escrito pelo "Frei" Betto? Como dizer que
"no h, neste mundo, nenhum lugar privilegiado, do qual podemos ter uma melhor viso do universo"? Ento
como entenderamos o prprio exemplo dado no dilogo elaborado pelo "Frei"? Vamos conferir:
"Mas como ver as estrelas perto do Sol se a sua luz nos cega? S mesmo por ocasio de um eclipse total.
Essa chance surgiu em 29 de maio de 1919, quando um eclipse total seria observado melhor do golfo da
Guin, no hemisfrio sul." Se aquele lugar, por um motivo cosmolgico (e no poltico como preferiria o
"Frei"), no fosse um "lugar privilegiado", Einstein no teria viajado para l a fim de observar o eclipse
citado.
Algum poderia argumentar que a "viso" referida no texto a viso do "universo como um todo". Ento
pergunto: algum j viu o universo como um todo? Ou, ainda, poderia-se dizer que o "lugar privilegiado" no
sentido ideal ou intelectual e que a viso seria no sentido da "contemplao" intelectual e veria-se o universo
como um todo como uma concepo cientfica do universo como um todo. Ento, o nico "lugar privilegiado"
possvel para esse tipo de viso no seria um lugar fsico, mas um lugar intelectual ou ideal. Quando aparece
um argumento intelectual para criticar uma posio poltica, que seria a "pretenso europia de ser o umbigo
do mundo", ento a confuso est armada. E passa-se a usar uma "teoria cientfica" como instrumento de luta
poltica-ideolgica. A partir desse momento e nesse sentido, essa teoria deixa de ser considerada como algo
cientfico e passa a valer pelo seu impacto cultural. Alis, isso mesmo que o "frei" pretende: usar esse artigo
com tema "cientfico" para abrir espao para os seus termos polticos, de tal maneira que os termos
"cientficos" possam servir como smbolo das situaes polticas. Por exemplo:
"- Sua teoria da relatividade geral levou-nos a descobrir que o universo no esttico, como queriam os
ortodoxos, mas dinmico, como um corpo que se contrai ou se expande. Contudo, o senhor mesmo nunca
admitiu a idia de um universo dinmico. Como explicar essa contradio?
- Muitos cientistas que revolucionaram a cincia sempre foram, no ntimo, conservadores. Coprnico no
descartou certas concepes medievais, como as rbitas circulares, no-elpticas, e os epiciclos. Mantive-me
convicto de que o universo era esttico porque no me agradava a idia de que a sua expanso se iniciou, um
dia, num nico ponto ..."
Assim, usa-se a oposio entre "conservador" e "revolucionrio", "esttico" e "dinmico", "ortodoxo" e
"heterodoxo", "contrao" e "expanso" e entre "medieval" e moderno" para fazer uma ponte com as
oposies existentes na poltica e na histria, pois essas palavras existem tanto nas descries fsicas como
sociolgicas. Se assim, quando, no final do dilogo, conclui-se com o "Frei" ensinando para um Einstein
aprendiz que o universo "intrinsecamente instvel, como prego em angu", termina-se com uma "concluso
cientfica" que serve como smbolo para uma concluso social ... a qual fica implcita para o leitor: j havia
sido dito explicitamente que a relatividade fsica vale para o quadro poltico, logo a instabilidade fsica
defendida pelos "revolucionrios" da cincia tambm vale para ...
Essa concluso no deveria espantar ningum que tivesse algum conhecimento da biografia do "Frei" Betto

e, principalmente, para algum que tivesse escutado as crticas sociais e polticas que ele fez quando se
pronunciou num evento, de apoio a Lula e ao PT, promovido pelo prprio Reitor da UFPR, no auditrio da
Reitoria, em 2002, na poca da campanha presidencial - ocasio em que se falava da "revoluo brasileira".
claro que essas imagens usadas pelo "frei", comparando a relatividade fsica e poltica, so analogias
bem parciais, pois nada impediria que um fsico estudioso da relatividade fosse conservador na poltica e
defensor de uma perspectiva poltica "eurocntrica".
Alm disso tudo, no deixa de ser curioso que a "reao, de certo modo poltica, pretenso europia de
ser o umbigo do mundo" foi realizada por um alemo que vivia na Alemanha; logo, um europeu que vivia na
Europa e bebeu na fonte da cultura e da cincia europia! Faz-me rir ... estou at imaginando a explicao que
Einstein daria no dilogo com o "Frei":
"- Sabe, "Frei", estava cansado de aprender a cincia desenvolvida na Europa, estava cansado de morar na
Europa, estava cansado de ser europeu e queria reagir contra tudo isso! Ento, desenvolvi a cincia "europia"
para fazer uma reao poltica anti-europia."
A partir dessa caricatura fica claro que as concluses polticas so posteriores e independentes em relao
teoria da relatividade e, no fim das contas, bem artificiais. Entretanto, como so passadas misturadas com um
dilogo supostamente "cientfico", podem passar despercebidas. E a propaganda ideolgica pode posar de
concluso "cientificamente vlida".
E=M OU A IGUALDADE DA ENERGIA E DA MASSA
Frei Betto, no seu "bate-papo com Einstein" explica a igualdade de energia e massa:
"Ora, se massa produz energia, como seu corpo gera voz, e energia produz massa, como a matria contida
no universo, logo os dois so a mesma coisa. ... pois toda matria, do Sol retina de nossos olhos, das rochas
gua que enche os oceanos, energia congelada." (...) ... at ento ningum jamais havia imaginado que E =
m, ou seja, que energia e massa se igualassem."
Na explicao do "Frei", entende-se que a expresso "energia congelada" apenas uma figura de
linguagem. Mas quando o "frei" alm de dizer que matria e massa "so a mesma coisa" e ainda reescreve a
equao mais famosa da fsica como "E=m", fica-se com a impresso de que ele realmente quer dizer o que
ele escreveu: que energia igual a massa. Aqui h uma sutileza que passou despercebida pelo "frei": no
porque uma coisa pode transformar-se na outra e vice-versa que elas so as "mesmas coisas" ou "uma=outra".
Alm disso, o papel da "constante c, aparentemente inofensiva," no to irrelevante na frmula a ponto de
ser desprezada.
A massa at pode ser considerada uma forma de energia, mas a possibilidade de uma coisa ainda no a
coisa. Por exemplo: seis laranjas podem ser transformadas em suco de laranja, mas no so a "mesma coisa"
que um suco. Imagine a cena: algum entra na lanchonete e pede o suco de laranja, mas recebe uma vasilha
com algumas laranjas dentro.
A massa considerada como uma forma de energia para efeitos de conservao dela, o que permitiu
mostrar a unidade da "lei da conservao de massa e energia". De fato, "para os fsicos nucleares, as
transformaes de massa em energia e vice-versa constituem um fenmeno trivial, que deve ser levado em
conta na maioria dos clculos" (Halliday, Rescnick e Walter - Fundamentos de fsica, vol.1), e h uma
equivalncia em termos de conservao da energia: a energia de repouso de uma partcula, que a parcela
"mc", "pode ser convertida em outras formas de energia", mas qualquer um sabe, que por mais que a energia
e a massa se conservem e tenham uma equivalncia quantitativa, qualquer um sabe a diferena entre ambas,
isto , sabe que no so as mesmas coisas; de fato, quem pagaria um milho de dlares por uma moeda? Pois
esse o valor, em termos de energia eltrica, correspondente energia equivalente massa de uma moeda.
Inversamente, quem trocaria toda a produo de energia dos EUA por algumas centenas de quilogramas de
matria? Como a equao diz a respeito aos elementos quantitativos, pouco importa a qualidade do produto:
para corresponder mesma energia poderia ser a massa de qualquer coisa: livros, feijo, ouro, ... ou at
esterco.
O professor Filippo Selvaggi, s.j., que deu aulas por quase quarenta anos, explicou assim a relao entre
massa e energia:
"Massa e energia so equivalentes, segundo um coeficiente de proporcionalidade igual ao quadrado da
velocidade da luz. Em conseqncia, a massa de um corpo equivalente a uma energia altamente condensada
e pode ser transformada, toda ou em parte, em energia livre; e vice-versa, a energia pode ser transformada em
massa. Por isso os dois princpios independentes da fsica clssica, da conservao da massa e da conservao
da energia, devem ser fundidos em um nico princpio de conservao da massa-energia" (Filosofia do
Mundo: cosmologia filosfica, Ed. Loyola).

UMA TEORIA QUE NO PROCEDE DA EXPERINCIA

Em certo momento do dilogo, o frei coloca as seguintes palavras na boca de Einstein:
"No se deve esquecer que, em fsica, uma teoria pode ser verificada pela experincia, mas no h nenhum
caminho que leve da experincia teoria."
Se fosse assim, qual teoria seria possvel? Se no h caminho da experincia teoria, ento a prpria fsica
seria invivel e o dilogo elaborado pelo "frei" perderia todo o sentido. Se o primeiro contato que temos com
a realidade vem pela experincia, como poderamos chegar teoria sem passar por ela? Seria preciso existir
uma fonte de teorias cientficas que no viesse da experincia, fonte essa que no seria humana, pois o
homem precisa da experincia para chegar s teorias cientficas, e essa fonte teria que transmitir as teorias
para o ser humano que depois as transformaria em experincia. Algum capaz de conceber uma teoria mais
absurda? E, alis, ser que essa teoria veio da experincia? Algum responda: Einstein merecia que isso fosse
colocado na sua boca? Chega a ser um desrespeito que se atribua a ele essa frase, mesmo em um dilogo
fictcio.
A REALIDADE QUNTICA SUBJETIVA DESGEOMETRIZADA
Em certa parte do dilogo, o "frei" d uma lio a Einstein:
"Seu erro - disse eu a Einstein - foi supor que a realidade quntica objetiva."
Pena que o Einstein do dilogo no teve presena de esprito para perguntar, na hora, o que o "frei" quis
dizer com isso! Ser que a fsica quntica subjetiva? Ou ser que seus dados no tm objetividade? Deixo
esse "mistrio" para que o prprio "frei" explique um dia ...
Na continuao, o "frei" diz assim: "Intil querer geometrizar a fsica." claro que em um "bate-papo"
vale a informalidade e ningum precisa ser exato naquilo que diz, mesmo quando fala de fsica quntica e
relativista, mas que estria essa de "Intil querer geometrizar a fsica"? No exemplo dado, em relao
experincia citada, poderamos at aceitar isso, mas, no contexto do dilogo e da fsica, tal afirmao no faz
sentido! Por exemplo, mesmo os "irmos siameses" que so o espao e o tempo, tambm chamados de
"crontopo" (que procede dos termos gregos para tempo e espao) podem ser geometrizados com a
representao elaborada por Minkowski em 1908, utilizando-se o coeficiente imaginrio "ic" para a
coordenada temporal. Pode ser que Einstein tenha esquecido disso na hora, seno responderia observao
do "frei".
A ESTABILIDADE ETERNA DAS LEIS FSICAS
Trechos do bate-papo do "frei" Betto com Einstein:
"No se pode viajar na velocidade da luz. Pode-se at viajar na velocidade de 99,9 por cento da luz. Mas
o dcimo que falta jamais a fsica lhe propiciar.
(...)
E se as fotos no tivessem confirmado seus clculos?
- Eu teria ficado com pena do bom Deus, pois minha teoria estava correta."
O "frei" acredita piamente na estabilidade das leis naturais e na primazia da teoria (com suas contas e
equaes sobre a natureza). Imagino que ele, como "frei" deve ter grande dificuldade para entender um
"milagre", entendido como ruptura nas "leis naturais", como, por exemplo, aquele ocorrido e documentado em
Ftima, no dia em que o "Sol parou". Tomara que isso no cause dificuldades na sua f como "frei", mas fico
curioso em saber como algum que acredita na "estabilidade das leis naturais" consegue crer na ressurreio
de Nosso Senhor Jesus Cristo. Ou ento ele talvez pense que a "fsica" tem mais poder do que a prpria
realidade ou at do que a divindade! Se ele acredita mesmo nisso (na estabilidade das leis, no nos milagres),
pergunto: o que significa uma lei fsica? Significa que tal relao enunciada pela lei eterna? Ou significa que
o grau de certeza da lei deve se adaptar quilo que se conhece? Em outras palavras: cada objeto est
relacionado com um grau de certeza. Ser que o grau de certeza da fsica to alto como garantem os clculos
do fsico? At que ponto?
PENSAMENTOS RPIDOS
Outro trecho do "bate-papo":
"Nem o pensamento mais rpido do que a luz. Os impulsos dos neurnios em nosso crebro so mais
lentos do que os impulsos eltricos de um computador. A luz viaja a 300.000 quilmetros por segundo."

Como que se pode comparar a velocidade do pensamento com a velocidade da luz? Quando a luz viaja,
viaja de um lugar fsico para outro. E o pensamento? Viaja por qual tipo de lugar? Para fazer tal comparao,
preciso considerar o pensamento espacialmente. Para solucionar esse problema, o "frei" considerou o
pensamento como um impulso dos neurnios. Bem, qualquer pessoa que j tenha pensado sabe a diferena
entre um pensamento e um impulso de neurnio, mas quem ficar em dvida pode fazer uma experincia: a
partir dos registros dos impulsos dos neurnios, tente dizer quais so os pensamentos de uma pessoa. Quem
conseguir fazer isso provavelmente ganhar um prmio Nobel!
Termino essas reflexes com mais uma pergunta: por que ser que um texto assim est colocado em
destaque no site de um dos melhores colgios de Curitiba? Qual ser o objetivo de quem o colocou ali?
Colocou apenas pela fama do "frei"? Ou apenas pelo "status" da teoria de Einstein? Tomara que no tenha
sido para divulgar a ideologia do "frei". Ser que no haveria um texto melhor para incentivar o interesse pela
fsica? O filsofo e pedagogo Mortimer Adler saberia mostrar muitos outros textos mais interessantes para
colocar o estudante no caminho da cincia ... (www.radicalacademy.com).
Carlos Eduardo de Carvalho Vargas
P.S. Mais uma dvida, se no for demais, quem essa referncia ilustre citada pelo pai da relatividade: Vo
Gogo?

DIALOGANDO COM UM PROFESSOR DE LGICA

Prezado Professor Dcio,
Muito obrigado pelas respostas rpidas s minhas perguntas,
sugerindo encaminhamentos de pesquisa e recomendando
bibliografia. Farei isso mesmo que voc est insistindo:
continuarei a ler aquele livro do Ray Wilder e procurarei
aprender bastante.
Em um dos emails voc escreveu que Tentar responder isso
j seria um trabalho interessante, isto , pesquisar sobre a
ausncia

de

referncias

Husserl

nas

pesquisas

de

fundamentos da matemtica no sculo XX. Tambm acho

interessante, mas pesquisar algo que no aconteceu me
parece algo ainda vago, acho mais objetivo pesquisar algo
definido. Ainda preciso formular melhor, mas poderia tomar o
caminho de definir mais exatamente e positivamente a
possvel contribuio husserliana para a fundamentao da
matemtica e ocupar concretamente, assim, a lacuna que
percebi como testemunha. Poderia dividir isso em dois
aspectos: a) as contribuies relacionadas com o fundamento
da

lgica

da

teoria

pura

da

cincia

(fase

pr-

fenomenolgica) e b) as contribuies mais diretamente

relacionadas com a fenomenologia.
Outra idia que tive justificar mais detalhadamente porque
a fundamentao ontolgica da lgica prefervel (ou no) do

que a fundamentao lgica (a fundamentao psicologista j

foi refutada nas investigaes lgicas), como resumi naquele
email inicial. Aqui seria o caso de desenvolver a anlise das
diferenas entre as duas perspectivas e as duas concepes
de lgica, apresentando exemplos relacionados com os
fundamentos da matemtica.
Perceba que so vrias idias e possibilidades que giram em
torno de um centro, podendo ser delimitado de acordo com
as sugestes do orientador e com a rea de concentrao da
universidade.
Sobre o outro email que voc enviou, notei que minhas
questes foram muito frteis e a partir das suas respostas
poderei prestar ateno naqueles aspectos que preciso
desenvolver mais ou que podem ser mais problematizados em
um projeto. Um indcio de que voc concorda com essa
fertilidade que achou interessante enviar cpia para o
professor Adonai e para outro email, cujo usurio tambm
deve ser interessado por filosofia da cincia e fundamentos
da lgica e da matemtica. Como voc, tambm estou
acrescentando mais dois internautas na conversa, mas estou
tendo a gentileza de avisar.
Estou identificando os trechos dos emails anteriores (cor
automtica)

apresentando

minhas

ltimas

respostas

vermelho - as suas continuam em verde.

Carlos: Peguei o livro Fundations of Mathematics de Ray

Wilder e li apenas o primeiro captulo, mas tenho algumas

dvidas: nas pginas 9 a 11, Wilder reconhece a existncia de
uma lgica "anterior' (ou mais fundamental e abrangente) do
que o "mtodo axiomtico": Professor Dcio: Wilder descreve
o uso do mtodo axiomtico nessas pginas. O que h um
entendimento intuitivo prvio, claro, mas no chamaria isso
de 'lgica'.
Carlos:"Usually no description of the meanings of the logical
terms is given... perhaps these omissions form a weakess of
the method" (p.9).
Professor Dcio: No achei isso na pgina 9.
Carlos: estou usando a edio de 1952, da John Wiley & Sons,
Inc. Se voc procurou e no achou, pode ser que esteja
usando outra edio ou ento porque talvez estivesse
ocupado demais para proocurar detalhadamente, mas a
citao est na pgina 9. Estou reenviando-a. Dessa vez
colocando o trecho inteiro que encontrei na pgina 9 (sem
reticncias):
"Usually no description of the meanings of the logical terms
is given, and no rules are stated about their use or the
methods allowable for prog theorems; perhaps these omisss
form a weakness of the method" . Nesse ponto, Ray coloca
uma nota de rodap: see J. W. A . Young...
Professor

Dcio:

est

potncia

do

mtodo,

generalidade que se obtm com a abstrao dos contedos. A

descrio do Wilder clara e precisa. No entendo tuas

dvidas. Acho que no est entendendo o texto.

Carlos: Tambm achei que ele foi claro, mas em relao
dvida que ele tem sobre a weakness do mtodo. Voc diz
que eu no estou entendendo o texto, mas acho que o
contrrio. Afinal, se voc nem encontrou o trecho, como que
pode ter entendido? Para entender uma leitura preciso ler
primeiro.
Carlos: Quer dizer que o mtodo axiomtico poderia ser
aprimorado ou haveria mesmo um outro mtodo mais amplo
e aprimorado?
Professor Dcio: Bom, h vrios 'nveis de axiomatizao', at
se chegar formalizao completa. Quanto a 'aprimorado',
no sei o que quer dizer com isso.
Carlos: Foi exatamente que isso que eu havia perguntado. Se
ningum souber a resposta, talvez seja um bom tema de
pesquisa tambm.
Carlos: Vou arriscar uma analogia: como se o mtodo
axiomtico fosse uma sinttica, mas faltasse a semntica e a
morfologia?
Professor Dcio: ?????????????????????
Carlos: Eu avisei que ia apenas arriscar... Uma analogia
uma sntese de semelhanas e diferenas com o objeto
analogado. As interrogaes significam que a analogia no
tem nenhuma semelhana?
Carlos: Alm disso: "We have used logical ('universal')
undefinied terms such a collection, there exist, one, every,

and not."
Professor Dcio: Voc usa os termos citados como primitivos,
eventualmente. Qual o problema?
Carlos: O problema que eles so universals como
escreveu

professor

Wilder.

Logo,

deve

existir

uma

metodologia mais universal para estuda-los. Exceto se no

houver uma cincia que os estude, mas h. Aceitaria que
esses termos no podem ser estudados cientificamente se
houver uma prova cientfica de que eles no so estudveis
cientificamente. E aqui haveria uma cincia, ou projeto de
cincia, encarregada de estudar esses termos por algum
aspecto

relevante.

Husserl

escreveu

assim

nos

prolegmenos lgica pura: la misin de esta [metafsica]

es fijar y contrastar los supuestos de ndole metafsica, no
contrastados y ni siquieras advertidos las ms de las veces y,
sin embargo, tan importantes, que constituy la base por lo
menos de todas las ciencias referentes al mundo real. Tales
supuestos son, por ejemplo, la existencia de un mundo
exterior... (p.40).
Carlos: Quer dizer que esses termos pertencem lgica, mas
outra lgica ?????????? que no o"mtodo axiomtico",
uma lgica mais "universal".
Professor Dcio: No entendo o que est dizendo. Est
inventando palavras que para mim no dizem nada.
Carlos: Acredito que essas palavras no valham nada para
voc, mas no fui eu que as inventei e posso at provar: o

professor Wilder as escreveu no livro antes mesmo que eu

houvesse nascido. Ah, e se ele escreveu deveria significar
algo pra ele...
Carlos:

Isso vai ao encontro da preocupao do "pai da

lgica e da 'teoria da cincia'", Aristteles,

Professor Dcio: Isso discutvel; Enriques e Szab acham
que a lgica surgiu com a escola eletica, antes de
Artistteles. No entanto, isso vago e no adianta discutir, s
tomar cincia de que no deveria fazer afirmativas assim to
categricas. Diga algo assim: usualmente concebido que A.
o pai da lgica ....
Carlos: Eu coloquei o trecho comentado entre aspas. Na
lngua

portuguesa

as

aspas

usualmente

do

esse

significado de citao, o que d na mesma que dizer

usualmente concebido. Como aluno buscando orientao
no preciso ainda ser to detalhista como um professor
como voc. Quem orienta pode ser mais detalhado, mas se
eu,

como

aluno,

fizer

isso,

estaria

sendo

pedante

preciosista.
Mesmo assim, aproveitarei a oportunidade para comentar
sobre essa questo histrica. O que Szab afirma, citando
Aristteles, que Zeno o inventor da dialtica: Cest
pourquoi Aristote dj considrait lElate Znon comme
linventeur de la dialectique (ls dbuts des mathmaticques
grecques, p. 239). Ele ainda atribui o emprego mais antigo da
idia da demonstrao a Parmnides: lemploi l plus ancien

de la demonstration indirecte, tout au moins dans ce que je

connais du domane de la langue et de la civilisation grecques,
est

attest

dans

pome

didactique

de

Parmnide

(Traduo livre: a utilizao mais antiga da demonstrao

indireta, pelo menos em relao ao que se conhece da
civilizao e da lngua grega, atestado no poema didtico
de Parmnides (p. 239).
Tal observao converge com a pesquisa de Luis Vega Ren
em La trama de la demonstracion, mas lgica e dialtica
so distintas (at seria uma pesquisa interessante mostrar a
diferena entre elas, mas o Mrio Ferreira j fez isso em
Lgica e Dialtica) e uma caracterstica fundamental da
cincia a sua sistematicidade. Um conhecimento isolado
no seria considerado como uma cincia. Husserl observou
isso

nas

Investigaes

lgicas:

no

raciocnios

cientficos [ou demonstraes] isolados: este um fato

extremamente notvel (p. 45).
Para se ter uma idia de que a concepo eletica no era to
lgica

e demonstrativa

como poderia

parecer,

pode-se

consultar os livros de histria da filosofia. Perceber-se-

facilmente que os eleatas utilizam geralmente o discurso
potico ou mito-potico, que tem sentido mltiplo, no
podendo ser interpretado univocamente. Para ter uma noo
do que isso, seria recomendvel ler a Potica de
Aristteles, mas principalmente o livro do filsofo Olavo de
Carvalho: Aristteles em nova perspectiva, no qual

descrito a teoria dos quatro discursos (Ed. Topbooks).

Tabm h referncias sobre isso nos livros da coleo
Histria essencial da filosofia do professor Olavo. Para
exemplificar, citarei um pouco do resumo que Fraile , na sua
Histria da Filosofia, vol. I, faz do famoso poema de
Parmnides (ta prs tn aletean ou o caminho da
verdade): o poema comea com uma pomposa introduo,
na qual se apresenta Parmnides sentado sobre um carro
arrastado por cavalos alados, guiados pelas Filhas do Sol, as
quais abandonam as moradas da noite... Pode ter algo de
dialtica e demonstrao nos eleatas, mas d pra perceber
claramente a diferena entre a proposta deles e dos
peripatticos.
Por isso que Aristteles considerado um marco inicial em
termos de teoria cientfica dedutiva. Ren reconhece isso
tambm:

[la

teoria

aristotlica

de

la

demonstracin]

representa la primera muestra de lo que hoy consideramos

uma metodologia: s la primera reflexin analtica sobre
algunos conceptos estruturales de la investigacin y de la
exposicin cientficas (la demonstracin, la explicacin, la
definicin; la conformacin deductiva de las teoras; la lgica
subyacente).
Tambm vou citar um trecho de la Idea de principio em
Leibniz y la evolucion de la teoria deductiva do filsofo
Ortega y Gasset que refora o valor da contribuio
aristotlica: los analticos primeros exponen la teoria del

silogismo. Esta teoria es, em efecto, la primera teoria

deductiva ejemplar que el hombre h elaborado. Es um
prodgio, y em veinticuatro siglos apenas h habido que
retocarla. (...) Tengase em cuenta que la lgica y metodologia
de Aristteles no su filosofia, de la que no hemos dicho uma
sola palabra se convertien inmediatamente em uso general
dentro de la vida cientfica. Es el primer koinn o lingua
franca intelectual que se constituye en Occidente (p. 154).
Carlos: ... de comear a estudar lgica e metodologia
cientfica

("organon")

("Categorias"

"Da

com

estudo

Interpretao"),

da

linguagem

preocupao

que

Husserl e seu mestre Franz Brentano (famoso por seus

estudos da obra do estagirita) tambm possuam (segundo a
interpretao do historiador Wolfgang Stegmller).
Professor Dcio: Bom, no sei se entendi bem, mas identificar
lgica com linguagem falso.
Carlos: Concordo, mas a linguagem certamente um
problema para muitos que estudam a lgica. E se no
assim, temos um novo problema: saber por que tantos e
tantos grandes filsofos e pensadores caram nesse engodo
de querer analisar a linguagem, quando pretendiam estudar
a lgica.
Professor Dcio: H por exemplo a abordagem algbrica (ou
algbrico-topolgica), que comeou com Boole e no sculo XX
e continuou com Tarski e Halmos principalmente, a qual
alguns sustentam que mais abrangente.

Carlos: muito obrigado pelas referncias, estou tomando

nota. Mas mais abrangente do que o qu exatamente e em
quais aspectos? Acho que isso seria outro problema pra
agregar na pesquisa...
Professor Dcio: Em todo caso, lgica no linguagem
necessariamente. Uma lgica uma lgebra tambm.
Carlos: Perfeito, mas, por curiosidade, a lgica lgebra
necessariamente?
Carlos: Wilder destaca a importncia da "intuio" ou de
"significance in mind". Se pegarmos uma teoria formal,
haver diferena se no tivermos a "evidncia" dos objetos
em questo:
Professor Dcio: No sei o que 'evidncia'.
Carlos: Desculpe-me, mas vou citar a explicao dada por
Husserl.

Voc

disse

em

outro

email

que

sente-se

desconfortvel com o Husserl, mas acho que confortvel

um termo mais adequado para referir-se a sofs do que a
teorias filosficas: para poder hablar de saber, em el sentido
ms estricto y riguroso, es necesaria adems la evidencia, la
luminosa certeza de que lo que hemos reconocido es, o lo que
hemos rechazado no es; certeza que es preciso distinguir
como es sabido, de la conviccin ciega, de la opinin vaga,
por resuelta que sea, si no queremos estrellarnos contra los
escollos del escepticismo extremo. No sei se isso lhe ajuda
a entender o que evidncia, mas o professor Olavo explicou
assim em O Olho do Sol, interpretando livremente

Husserl:

Aristteles

havia

observado

que,

se

no

existissem conhecimentos evidentes, nenhum conhecimento

certo seria possvel; algum conhecimento tem de ser certo
por si mesmo, caso contrrio um conhecimento se basearia
em outro, que se basearia em outro, e assim sucessivamente,
indefinidamente. A evidncia portanto, o comeo, o
fundamento de todos os conhecimentos.
Um defeito do conceito de evidncia que, conceituando um
conhecimento que claro e certo, ele no em si um
conceito muito claro, mas rodeado de uma certa aura de
mistrio. claro que no podemos fundamentar logicamente
esse conceito, pois a evidncia um fundamento, no uma
verdade fundamentada. A constatao disto cria um certo
desconforto. Alguns filsofos, por isso, chegaram a negar que
existissem evidncias, mas em seguida entraram num becosem-sada e acabaram apelando para algum tipo de evidncia
com outro nome. Parece, ento, que nem podemos explicar
satisfatoriamente o conceito de evidncia, nem livrar-nos
dele.
A soluo que entrevejo que no podemos encontrar um
fundamento lgico da evidncia, mas podemos assinalar
algumas propriedades da evidncia, que permitem distinguila, quando a encontramos, das verdades fundamentadas ou
lgicas. Essas propriedades, por seu lado, se definem de
maneira inteiramente lgica. A mais importante delas definese assim: Uma proposio evidente no pode ter uma

negao unvoca. Que tal fazer o teste?

Professor

Dcio:

Mas

voc

nunca

conseguir

eliminar

completamente a intuio, pois vai us-la pelo menos para

reconhecer smbolos.
Carlos: Pelo menos...
Professor Dcio: Mas no pode deixar que concepes
intuitivas

adentrem

provas,

como

usar

figuras

em

demonstraes, como em geral se faz nas escolas bsicas.

OK, funciona e no d mesmo para ser muito diferente nessa
fase, mas isso no considerado como uma 'prova' estrito
senso, ainda que mesmo esse conceito seja vago, pois h
'provas' por computador etc.
Carlos: "unless we first give some meaning to 'ab' and 'dab'"
(ab e dab so os exemplos bem-humorados que ele d para os
elementos fundamentais de uma teoria formal). Que mtodo
estudaria essa descrio "intuitiva" dos objetos "evidentes"?
A "intuio" (noi sentido de "viso direta" num sentido
intuitivo, talvez) no est presente constantemente na
lgica ?
Professor

Dcio:

Isso

no

pode desempenhar

papel

preponderante nas provas. isso. Distinga entre o que se faz

'dentro' de uma teoria e o que dela se pode falar 'fora'. Por
exemplo, pegue um espao vetorial (sem produto interno).
No podemos falar de ngulo entre vetores, mas esse
conceito existe (fora da estrutura).
Carlos: No intuitivamente que se percebe

a unidade

lgica de um silogismo com todos os seus nexos?

Professor

Dcio:

??????Vago,

vago.

No

entendo

essa

linguagem.
Carlos: D pra entender, o contrrio que seria absurdo.
Existem estudos feitos sobre intuio no psicologia e no
noologia geral do Mrio Ferreira, mas recortei outra
explicao do Olho do Sol do prof. Olavo: Mas toda prova
baseia-se ou numa prova anterior, ou numa evidncia direta.
De prova em prova, temos de remontar em ltima instncia a
uma evidncia inicial: a busca do fundamento no pode
prosseguir indefinidamente. Ora, para que uma evidncia
constitua fundamento de uma prova, necessrio que exista
um nexo, uma ligao de uma outra. Esse nexo dado
justamente pela cadeia dedutiva, pelo encadeamento de
silogismos, que, tomando uma evidncia como premissa, vai
dela dezuzindo as conseqncias at chegar ao ponto que se
deseja provar.
4) Evidncia do nexo. Mas esse nexo, por sua vez,
evidente ou provado? intuitivo ou lgico? Se for provado,
lgico, ento ter de se assentar numa prova anterior, e
noutra e noutra mais, indefinidamente, ou encontrar um
fundamento

intuitivo

evidente.

Portanto,

nexo,

fundamento da validade da cadeia dedutiva, tem de ser de

ordem intuitiva.
Carlos: Nas pginas 6 e 7 ele faz uma citao do captulo 4,
sobre o "infinito". A minha dvida : em que sentido que o

"infinito'" um objeto matemtico?

Professor Dcio:A 'teoria do infinito' a teoria de conjuntos.
H vrias formas de infinito se voc for um matemtico
clssico. Se for um intuicionista brouweriano, no; s h o
infinitom

potencial.

Em

todo

caso,

veja

que

vrias definies de conjunto infinito (o que outra coisa) e

elas no so sempre equivalentes. preciso cuidado quando
falar.
Carlos: Concordo plenamente com essa ltima frase! Mas se
as

vrias

definies

de

infinito

no

so

equivalentes,

provavelmente no se est falando do mesmo objeto ou do

mesmo aspecto do objeto em cada situao. Portanto, o termo
torna-se equvoco para usar a terminologia tcnica das
Categorias de Aristteles, livro que um tipo de be-a-b da
lgica: equvocos dizem-se os que tm somente o nome
comum, mas a razo desse nome diferente. Agora pergunto:
por que seria prefervel, na linguagem cientfica, usar termos
equvocos ao invs de termos unvocos? Por que no preferir
a preciso?
Carlos: E uma cincia poderia tirar concluses vlidas sobre
algo que no seu objeto?
Professor Dcio: ??????????? O que 'objeto' de uma cincia? O
que est em seus modelos? No claro.
Carlos: h maneiras bem depuradas de lidar com o objeto.
Para conhece-las preciso estudar. O Mrio Ferreira, por
exemplo, distingue objeto material, objeto formal-terminativo

e objeto formal-motivo. Mas faz cerca de cem anos que o

Husserl alertou sobe os perigos do desconhecimento disso:
Incomparablemente ms peligrosa es, em cambio, outra
imperfeccin em la delimitacin de la esfera, a saber, la
confusin de esferas, la mezcla de lo heterogneo en una
presunta unidad, sobre todo cdo esta mezcla radica en una
interpretacin completamente falsa de los objetos, cuya
investigacin debe ser el fin esencial de la ciencia intentada.
Una metabasis eis allo genos, de esta suerte inadvertida,
puede tener los efectos ms nocivos: fijacin de objetivos
falsos; empleo de mtodos radicalmente errneos, por
inconmensurables con los verdaderos objetos de la disciplina;
confusin de las capas lgicas, de tal suerte que las
proposiciones y las teoras verdaderamente fundamentales,
con frecuencia ocultas bajo los disfarces ms singulares,
vayan a perderse entre series de ideas completamente
extraas,

como

consecuencias

factores

incidentales,

al

parecer

etc...

secundarios
(Traduo

livre:

"Incomparavelmente mais perigosa , por outro lado, outra

imperfeio na delimitao da esfera, a saber, a confuso das
esferas, a mistura do heterogneo em uma suposta unidade,
sobretudo quando esta mescla radica em uma interpretao
completamente falsa dos objetos, cuja investigao deve ser o
fim essencial da cincia almejada. Uma metabasis eis allo
genos [mudana indevida de gnero], emprego de mtodos
radicalmente errneos, por serem incomensurveis com os

verdadeiros objetos da disciplina; confuso das camadas

lgicas, de tal maneira que as proposies e as teorias
verdadeiramente

fundamentais,

freqentemente

ocultas

abaixo dos disfarces mais singulares, perdem-se entre uma

srie de idias completamente heterogneas, como fatores
aparentemente secundrios ou conseqncias acidentais).
Carlos: Esse tipo de "desvio" recebe o nome tcnico de
"metabasis eis allo genos" (mudana indevida de gnero).
Professor Dcio: Cuidado com esse linguajar de antanho.
Carlos: Por que chamar de

Linguajar de antanho uma

expresso que foi usada para apresentar um projeto pelo

Husserl? Voc pode encontrar mais nos prolegmenos das
investigaes lgicas. Ele usou essa expresso para referirse a um problema que exigiria futuras intervenes que mal
ocorreram... Essa noo to interessante que ser usada no
prximo livro do professor Olavo, aguarde o lanamento!
Professor Dcio: Essas coisas em geral no se aplicam no
mesmo sentido que eram usadas quando propostas.
Carlos: At porque cada filsofo que retoma o termo ou
expresso pode agregar algo...
Professor Dcio: Na verdade, s podemos 'tirar ' o que sai dos
axiomas, claro.
Carlos: A idia parece interessante. Mas de onde saem os
axiomas mesmo? De outros axiomas? E esses outros axiomas?
Und so weiter ( e assim por diante)...
Professor Dcio: Mas nem sempre os axiomas 'provam' todas

as proposies que 'vemos' serem verdadeiras intuitivamente,

como mostram os teoremas de Gdel (mas por favor cuidado;
fcil dizer bobagens sobre esses teoremas).
Carlos: Obrigado pela dica! Tomarei bastante cuidado...
Carlos: Uma cincia pode concluir validamente a respeito de
algo que ela no tem mtodos e instrumentos adequados?
Professor Dcio: O conceito de validade um conceito que
em geral depende de uma lgica e de sua semntica, logo, via
de regra de uma teoria de conjuntos ou coisa parecida. Isso
mostra que a tua afirmativa tem que ser qualificada, porque
na verdade no diz nada preciso para esse tipo de discusso.
Carlos: Dessa vez citarei Kant (pra variar um pouco): no se
engrandece, mas se desfigura as cincias ao confundir os
limites entre elas. Mas acho que aquela citao anterior do
Husserl j era o suficiente pra qualificar...
Carlos: prprio Wilder reconhece que a matemtica usa
termos

mais

"universais"

do

que

os

prprios

objetos

matemticos. Um exemplo bem humorado: a trigonometria

pode tirar concluses vlidas sobre a anatomia dos jacars?
Professor Dcio:

No vou responder coisas assim. Isso

bobagem.
Carlos: Seria bobagem se no fosse um exemplo que ilustra o
problema dos limites entre as cincias, o que um problema
que existe h mais de dois mil anos... Aristteles mesmo fazia
distines dos objetos de cada cincia nos comeos de seus
livros para delimitar o assunto a ser tratado. Seria bobagem

se os objetos das diversas cincias no pudessem ser

comparados em algum aspecto. Pode-se comparar at uma
equao de segundo grau com um elefante. Basta que se
saiba a categoria em comum entre eles (qual ser? Vou deixar
a resposta para outro email). Na minha opinio, que no vale
muito, pois sou apenas um aluno, bobagem mesmo seria
que um professor de um departamento de filosofia no
soubesse o que so termos fundamentais da teoria do
conhecimento, ou no tivesse noo das diferenas entre as
diversas cincias. Acho que algo assim nunca aconteceria e
espero que isso nunca acontea em nenhuma universidade...
Carlos: Ou, formulado de outra maneira, os conhecimentos
trigonomtricos figuram essencialmente entre aqueles que
esto nos princpios necessrios para o estudo dos jacars?
Ou, ainda, ser que o estudo da conscincia moral depende
da aritmtica?
Professor Dcio:Voc est viajando.
Carlos: Viajando para onde? Espero que seja para o porto
seguro da verdade e da sabedoria.
Professor Dcio: Estude e aproveite o livro do Wilder. o
melhor conselho que posso dar.
Carlos: Obrigado pelo conselho. Vou aproveita-lo certamente.
Carlos: Dei exemplos extremos, mas os axiomas de Euclides
no faziam parte da geometria ou da matemtica, mas eram
de

outra

cincia

mais

"possibilidades universais".

fundamental,

que

estudaria

as

Professor Dcio: De onde tirou isso???

Carlos: Voc poderia ter uma noo disso olhando qualquer
dicionrio de filosofia que tenha o termo possibilidade, um
objeto de estudo diante do qual filsofos e cientistas se
debruam h mais de dois mil anos. Mas respondendo
diretamente sua pergunta, tirei do livro Jardim das Aflies
do professor Olavo de Carvalho na qual ele comenta um
debate que ele teve com o professor Fernando Raul de
Assis Neto da UFPE: o prof. Assis Neto declara com efeito,
que minhas premissas esto em um plano metafsico e que
as misturo, indevidamente com argumentaes matemticas
que esto em outro plano. A alegao absurda. Em
primeiro lugar, funda-se na premissa de que pode existir um
campo

matemtico

fora

dos

domnios

abrangidos

pela

metafsica, e esta premissa, de pretenso e estranheza

desacomunais, que teria de ser demonstrada. Em vez disto,
o

prof.

Assis

toma-a

inocentemente

como

bvia

autoprobante para assentar nela a acusao de que minha

argumentao metafsica invadiu domnio estranho. Que eu
saiba, a metafsica, cincia da possibilidade universal, no
tem limites, e mesmo o puro formalismo matemtico, ao
explorar possibilidades meramente imaginrias, no escapa
ao reino do imaginvel e concebvel, to metafsico quanto
qualquer outro (pg. 154, 2a ed.).
Carlos:

Modernamente,

houve

distino entre axioma e postulado].

um

desinteresse

[pela

Professor Dcio: No que houve desinteresse. A coisa

mudou, s isso. Essa distino no faz mais sentido hoje.
Carlos: Qual coisa mudou? Isso no ficou um pouco vago?
Ou seus critrios mudam to rapidamente assim?
Carlos:

pela

inteleco

da

distino

entre

axiomas

postulados, o que considerado um "amadurecimento" da

cincia por Ray Wilder.
Professor Dcio: Chame de atraso se quiser. Mas fato que
hoje assim.
Carlos: Este [Wilder] cita E. T. Bell para afirmar que os
axiomas

postulados

de

Euclides

tm

mesma

universalidade. Sendo assim, seriam estudados pela mesma

cincia, a matemtica. E isso que Wilder mostra no captulo
IV para apresentar a "contingncia" do axioma "o todo
maior do que a parte". A minha questo : como possvel
negar univocamente que o todo maior do que a parte?
Professor Dcio: O conjunto dos nmeros mpares tem a
mesma cardinalidade que o conjunto dos nmeros naturais,
do qual 'parte'.
Carlos: Recomendo fortemente a explicao dada sobre isso
no Jardim das Aflies (Ed. reailizaes). Acho que o livro
est esgotado, mas deve existir algum exemplar em alguma
biblioteca de Florianpolis. Se no tiver, tente na editora ou
diretamente com o autor...
Professor Dcio: O problema que esses termos, como 'todo'
e 'parte' so vagos, e por isso que no so mais usados

nessa acepo.
Carlos: Aqui retornamos ao tema dos termos equvocos.
Professor Dcio: Mas h a mereologia, ou 'lgica do todo e
das partes', que outra coisa.
Carlos: Infelizmente desconheo a mereologia.
Carlos: Quando digo que "parte" igual ou maior do que o
todo no estou mudando os sentidos das palavras? E se mudo
os sentidos como posso sustentar a validade do raciocnio?
Professor Dcio: De fato. preciso cuidado. Se muda o
sentido, muida tudo.
Carlos: Ento por que voc no ressaltou isso quando
tratamos da mudana de sentido de outras palavras como
axioma, infinito, todo, parte...?
Professor Dcio: Essa uma das razes para afastar a
intuio tanto quanto possvel.
Carlos: Voc intuiu o contedo dessa ltima frase ou afastou
a intuio dela tambm?
Carlos: Se a negao for por meios matemticos, como
mostra Wilder, resta saber como, na matemtica, se define
"todo" e "parte", porque pode ser que se esteja chamando de
"parte" outra coisa que no seja "algo que compe o todo". O
filsofo Olavo de Carvalho apresentou um estudo sobre esse
tema do infinito e dos pressupostos no matemticos da
matemtica no livro "O Jardim das Aflies", uma vez passei
esse texto para o professor Adonai.
Professor Dcio: No conheo pessoalmente o Prof. Olavo, s

de jornais.
Carlos: isso o mesmo que dizer que no o conhece...
Quantitativa como qualitativamente os artigos representam
pouco do conjunto da obra dele que algo entre 10 e 20 mil
pginas (at onde sei) e abarcam assuntos como teoria do
conhecimento,

tica,

filosofia

poltica,

crtica

teoria

literria, caracterologia, teoria da personalidade, cosmologia

tradiconal,

simbolismo,

metafsica,

teoria

da

cultura,

dialtica, histria da filosofia...

Professor Dcio: Ele conhece lgica (moderna) e matemtica?
Carlos: ele j escreveu algo sobre o assunto, mas seria
melhor perguntar diretamente pra ele, se voc tiver interesse
mesmo em saber sobre ele. No site www.olavodecarvalho.org
tem um email pra contato.
Carlos: E Ren Gunon fez um estudo bastante completo
sobre os sentidos do infinito no clculo infinitesimal, a partir
das criao original de Leibniz, no livro que estou enviando
anexo, pois talvez seja interessante para confrontar com a
perspectiva estritamente matemtica acerca do "infinito".
Pelo menos Gunon tem a preocupao em salvar os sentidos
dos termos tcnicos e a validade de certos "objetos" de
estudo.

Afinal,

simples

esquecimento

no

prova

inexistncia de algo.
Professor Dcio: Obrigado pelo livro. Quando puder, dou uma
olhada.
Carlos:

Disponha!

Ah,

acabei

de receber o

Dialtica

Concreta: uma metodologia da cincia do Mrio Ferreira.

At a prxima semana a filha dele deve enviar-me a obra
Grandezas e misrias da logstica.
Saudaes do
Carlos Vargas.
Agosto, 2005.

Professor dson,
Aprendi em "Fundamentos D" com o professor Adonai que numa abordagem conjuntista (h um resumo at
no "lgebra Moderna" de Frank Ayres Jr. da Coleo Schaum, no faz sentido afirmar que os racionais
contm os inteiros e estes os naturais. Por outro lado, em lgebra podemos! Imagine quando falarmos do
Clculo e da Anlise? H alguma sada? Ser que deveramos mudar os termos da discusso? Deixarmos de
falar em "Pertena" e falar apenas em "isomorfismos" entre N, Z e Q tal que estes ltimos tenham "mais"
elementos? Ou ser que devemos falar e cada "regio" da matemtica como se fosse uma "ilha" sem ligao
racional com as outras?
Isso me deixou numa grande dvida! Ser que os conjuntos (N, Q, Z, ...)no se tratam dos mesmos objetos
quando considerados nas distintas disciplinas matemticas? Ser que o grau de arbitrariedade na elaborao
de seus princpios e fundamentos to grande que no possvel adotar uma viso que aborde as duas partes
da matemtica? Ou ser que a matematica contempornea assumiu um grau de abstrao to grande que alm
de no podermos relacion-la com nenhum objeto da experincia originria da realidade (na qual todos
homens sempre estiveram), tambm no podemos relacionar suas partes entre si? Ou seja, ser que em vez de
fazer cincia estamos alimentando um grande "fetiche"? Admito que nas partes mais "desenvolvidas" esse
probema seria bem mais complexo, mas quando se trata da relao entre lgebra e teoria dos conjuntos, que
uma relao mais "direta", j precisamos nos colocar num "beco sem sada"?
Saudaes matemticas,
Carlos Eduardo
Acredito que em determinados locais, vale a pena abusar da linguagem e falar essas afirmaes livremente.
Se seguirmos a risca o excesso de formalismo conjuntista a matematica no anda. O que diro os fisicos.
Acho que esses excessos s ajudam a deixar mais lento o processo de evoluo, basta ver os exemplos
historicos como a funo delta de Dirac por exemplo. abraos, Edson

Acabei de voltar da minha primeira observao de estgio da licencatura de matemtica e fiquei

horrorizado com alguns aspectos do colgio e das aulas, embora tudo aquilo seja considerado normal.
Ao chegar no colgio deparei-me com grupos de alunos do lado de fora, paquerando, bebendo, fumando, ...
nem parecia a entrada de um colgio. As vestes parecem simbolizar o cilma de banalizao em que vivemos.
Dentro da sala impressionou-me a insignificncia dos assuntos ensinados: resoluo de equao de segundo
grau no primeiro ano e frmula do alinhamento de pontos no terceiro ano. Tudo estava reduzido ao nvel da
mera manipulao algbrica, ainda mais que eram turmas de supletivo. Sinceramente, como orientador do
mtodo Kumon penso que no necessrio frequentar uma escola para aprender esse tipo de contedo - ainda
mais quando se trata de alunos adultos. Garanto que possvel aprender tudo isso como autodidata. E, como
filsofo, no acredito que algum possa ter um interesse sincero pela aprendizagem de algo transmitido de
maneira to alienada, exceto por uma questo de grande necessidade (por exemplo, obter um ttulo do
governo, isto , do MEC) ou por uma questo ldica (mas seria um tipo de prazer meio pervertido). No
toa que a professora confessou que, por mais que insistisse, no conseguia faz-los aprender aqueles
contedos.
Fico imaginando o vazio que deve ser deixado na alma daqueles alunos e at mesmo daqueles professores
depois de passar tantas horas obrigando-se a prestar ateno em assuntos to inexpressivos e que somente
conectam-se na unidade de uma personalidade de uma maneira muito superficial. Deve ser por isso que o
Colgio reduziu a carga horria da matria para 40 minutos e cancelou o ttimo horrio de aula, reduzindo a
carga horria para 4 aulas por noite.
Pitgoras Aquinense, 02 de abril de 2004.