Você está na página 1de 124

PONTIFCIA UNIVERSIDADE CATLICA DO PARAN

A TEORIA DAS MULTIPLICIDADES (MANNIGFALTIGKEITSLEHRE) NA


LGICA PURA DOS PROLEGMENOS S INVESTIGAES LGICAS DE
EDMUND HUSSERL

CURITIBA-PR
2007

2
CARLOS EDUARDO DE CARVALHO VARGAS

A TEORIA DAS MULTIPLICIDADES (MANNIGFALTIGKEITSLEHRE) NA


LGICA PURA DOS PROLEGMENOS S INVESTIGAES LGICAS DE
EDMUND HUSSERL

Dissertao apresentada ao curso de mestrado em


filosofia da Pontifcia Universidade Catlica do Paran
como requisito para a obteno do ttulo de Mestre em
Epistemologia.
Orientador: Professor Doutor Cleverson Leite Bastos.

CURTIBA-PR
2007

V297t
2007

Vargas, Carlos Eduardo de Carvalho


A teoria das multiplicidades (mannigfaltigkeitslehre) na lgica pura dos
prolegmenos s investigaes lgicas de Edmund Husserl / Carlos Eduardo
de Carvalho Vargas ; orientador, Cleverson Leite Bastos. -- 2007.
130 f. ; 30 cm
Dissertao (mestrado) Pontifcia Universidade Catlica do Paran,
Curitiba, 2007
Bibliografia: f. 115-130
1. Husserl, Edmund. 2. Lgica. 3. Filosofia contempornea.
4. Fenomenologia 5. Teoria do conhecimento. I. Bastos, Cleverson Leite
II. Pontifcia Universidade Catlica do Paran. Programa de Ps-Graduao
em Filosofia. III. Ttulo.
CDD 20. ed. 190

Para mim, a parte mais elucidativa dos


Prolegmenos o ltimo captulo, em que Husserl
desenvolve suas prprias idias da lgica como
teoria da teoria, em que uma teoria , por
deduo, um sistema unificado de proposies
ideais. Aqui encontramos a meta-teoria que define
a unidade do sistema de Husserl (David W.
Smith).

5
RESUMO

O objetivo desta pesquisa explicar a noo de teoria das multiplicidades


(Mannigfaltigkeitslehre), desde a sua gnese matemtica at o seu significado na lgica
pura (reine Logik) como doutrina da cincia (Wissenschaftslehre), chegando s suas
implicaes

filosficas

que

se

remetem

fenomenologia.

As

multiplicidades

(Mannigfaltigkeiten) so analisadas, no desenvolvimento de Edmund Husserl, na


perspectiva dos elementos da teoria filosfica descrita nos Prolegmenos Lgica Pura
(Prolegomena zur reinen Logik), primeiro volume da obra Investigaes Lgicas (Logische
Untersuchungen). Aps uma descrio da problemtica do psicologismo no debate sobre a
objetividade da lgica, da matemtica e do conhecimento cientfico em geral, apresenta-se a
diviso dos temas peculiares teoria das multiplicidades considerando as categorias de
significao e de objeto investigadas por lgicos, matemticos e filsofos.

Palavras-chave:

Edmund

Husserl.

Teoria

das

Multiplicidades

(Mannigfaltigkeitslehre). Lgica Pura. Psicologismo. Prolegmenos s Investigaes


Lgicas. Fenomenologia.

ABSTRACT

This research aims to explain the Theory of Manifolds (Mannigfaltigkeitslehre)


since its mathematical genesis until its meaning in the pure logic (reine Logik) as theory of
science (Wissenschaftslehre), reaching its philosophical consequences relating to
phenomenology. The manifold (Mannigfaltigkeiten) are analysed in the Husserls
development on the view of the elements of the philosophical theory described in the
Prolegomena to Pure Logic (Prolegomena zur reinen Logik), first volume of the Logical
Investigations (Logische Untersuchungen). After a description of the psychologisms
problematic on the debate about objectivity in the fields of logics, mathematics and general
knowledge, the work presents the division of the issues concerneds to the theory of
manifolds considering the categories of menaning and objects investigateds by logics,
mathematicians and philosophers.

Key Words: Edmund Husserl. Theory of Manifolds(Mannigfaltigkeitslehre). Pure


Logic. Psychologism. Prolegomena to Logical Investigations. Phenomenology. .

SUMRIO

INTRODUO ......................................................................................................... 9
1. DOS PROBLEMAS MATEMTICOS A UMA FILOSOFIA DA LGICA
PURA: A GNESE LGICO-MATEMTICA DA TEORIA DAS
MULTIPLICIDADES ............................................................................................. 17
1.1 A FASE INICIAL DA FILOSOFIA DA MATEMTICA HUSSERLIANA........... 17
1.2 O PROBLEMA DOS NMEROS IMAGINRIOS E A ELABORAO DA
TEORIA DAS MULTIPLICIDADES ............................................................................. 29
1.3 ALGUMAS EXIGNCIAS FILOSFICAS DA TEORIA DAS
MULTIPLICIDADES DIANTE DA LGICA E DA MATEMTICA
CONTEMPORNEAS A HUSSERL ............................................................................. 39

2 A LGICA PURA DOS PROLEGMENOS S INVESTIGAES


LGICAS............................................................................................................... 47
2.1 O TEMA DOS PROLEGMENOS .......................................................................... 47
2.2) O PROBLEMA DO PSICOLOGISMO.................................................................... 52
2.2.1 UM CASO ESPECIAL DENTRO DA POLMICA ANTIPSICOLOGISTA: O
LIMITE TEORTICO ENTRE PSICOLOGIA E MATEMTICA ............................... 55
2.3) A IDIA DE LGICA PURA COMO DOUTRINA DA CINCIA ....................... 59
2.3.1) OS PROBLEMAS DA LGICA PURA NOS PROLEGMENOS S
INVESTIGAES LGICAS ........................................................................................ 65

3) A TEORIA DAS MULTIPLICIDADES COMO ELEMENTO DA LGICA


PURA: A DIVISO DAS TAREFAS ENTRE LGICOS, MATEMTICOS E
FILSOFOS ............................................................................................................ 70
3.1) A TEORIA DAS FORMAS DE TEORIAS OU A TEORIA DAS
MULTIPLICIDADES COMO TEORIA FORMAL: O PAPEL DOS LGICOS E
MATEMTICOS SEGUNDO HUSSERL...................................................................... 73
3.1.1 HUSSERL E A LGICA FORMAL ENQUANTO ESTUDO DAS
CATEGORIAS DE SIGNIFICAO E DAS FORMAS POSSVEIS DE TEORIA. 74
3.1.2) A MATEMTICA DAS MULTIPLICIDADES COMO ESTUDO DOS
CORRELATOS OBJETIVOS DAS TEORIAS POSSVEIS ...................................... 80
3.1.3) DESENVOLVIMENTOS SEMNTICOS A PARTIR DA TEORIA DAS
MULTIPLICIDADES DE HUSSERL ......................................................................... 89
3.2 A TEORIA DAS MULTIPLICIDADES COMO TEORIA FILOSFICA DE
HUSSERL OU O PAPEL DOS FILSOFOS NA LGICA PURA............................... 92

CONCLUSO........................................................................................................ 104
REFERNCIAS BIBLIOGRFICAS ................................................................ 110
A) OBRAS DE HUSSERL ............................................................................................ 110
I) HUSSERLIANA..................................................................................................... 110
II) OUTRAS EDIES ............................................................................................. 111
B) OBRAS SOBRE HUSSERL E A FENOMENOLOGIA .......................................... 113
C) OBRAS SOBRE FILOSOFIA E HISTRIA DA LGICA E DA CINCIA ......... 117
D)OBRAS SOBRE FILOSOFIA E HISTRIA DAS MATEMTICAS..................... 120
E) OUTRAS OBRAS DE FILOSOFIA ......................................................................... 122

8
F) OUTRAS OBRAS DE LGICA E MATEMTICA ............................................... 123

INTRODUO

Estas investigaes culminaram ...


na teoria das multiplicidades ... exposta nas
Investigaes Lgicas. Ele sempre considerou
essa teoria como a tarefa mais elevada da
lgica formal, e a sua elaborao nos
Prolegmenos, como definitiva (HILL ET
ROSADO HADDOCK, 2000, p. 156).
O objetivo desta pesquisa explicar a noo de teoria das multiplicidades
(Mannigfaltigkeiten1), desde a sua gnese matemtica at o seu papel na lgica pura
como doutrina da cincia, chegando s suas implicaes filosficas que se remetem
fenomenologia. De fato, a noo de multiplicidade foi assumida, na trajetria de
Edmund Husserl, como um dos principais componentes da sua teoria filosfica sobre a
lgica pura como doutrina da cincia, tal e qual descrita por ele nos Prolegmenos s
Investigaes Lgicas2. A teoria sobre as formas de teorias possveis e dos seus
correlatos objetivos assume um importante significado epistemolgico na medida em
que um elemento fundamental na defesa da objetividade da lgica, da matemtica e do
conhecimento cientfico em geral.
Nos Prolegmenos, a partir das reflexes filosficas sobre a matemtica e em
certo contexto de crtica ao psicologismo, aparece a teoria das multiplicidades, inspirada
em problemas lgicos e matemticos, constituindo parte de uma filosofia da lgica que
uma concepo de teoria e de cincia, antecipando problemas que sero desenvolvidos

Esta traduo do termo Mannigfaltigkeiten inspirada nas tradues que j foram feitas deste termo
para o espanhol (HUSSERL, 1999), francs (HUSSERL, 1992) e portugus (HUSSERL, 2006).
2
Os ttulos dos livros de Husserl sero citados, no corpo do texto, em portugus. O ttulo alemo da obra
Prolegomena zur reine Logik (HUSSERL, 1922). Este projeto husserliano de teoria da cincia ou
lgica pura como fundamentao da lgica como cincia est sendo entendido como o elemento que
concede unidade obra citada (FISETTE, 2003, p. 7).

10
fenomenologicamente por Husserl3. Em algum sentido, pode-se afirmar que a teoria das
multiplicidades da lgica pura como doutrina da cincia est entre a lgica e a
matemtica, por um lado, e entre a fenomenologia, por outro4.
Este problema surge da relao entre filosofia e matemtica, pois a teoria das
multiplicidades uma noo que aparece na filosofia e na matemtica, exigindo
distines sutis entre seus diferentes sentidos e explicaes profundas que justifiquem
como um problema filosfico das multiplicidades pode ser exemplificado, em certos
aspectos, por meio de teorias matemticas, como Husserl fez nos Prolegmenos. Mais
problemtica ainda, considerando a reviso fenomenolgica que Husserl fez na obra
Investigaes Lgicas, a implicao da utilizao da fenomenologia como mtodo
principal para a soluo dos problemas da lgica pura5.
Este problema pode ser levantado ao se conhecer as teorias matemticas das
multiplicidades que influenciaram Husserl e colaboraram, de alguma maneira, no
desenvolvimento da sua filosofia da lgica denominada lgica pura como doutrina da
cincia (Wissenschaftslehre) e cujas reflexes foram publicadas nos Prolegmenos.
Nesta trajetria de pesquisa, sero apresentadas, de maneira panormica, as questes
que so respondidas por Husserl por meio de sua teoria das multiplicidades
(Mannigfaltigkeitenlehre) e as principais distines filosficas relacionadas sua
compreenso, incluindo alguns aspectos fenomenolgicos6.

Esta lgica pura como doutrina da cincia seria, depois, ampliada em Lgica Formal e Transcendental
(HUSSERL, 1974). Suas relaes com a fenomenologia foram manifestas na segunda edio das
Investigaes Lgicas (HUSSERL, 1922).
4
E no coincidncia que, a partir da segunda edio alem das Investigaes Lgicas, o captulo sobre a
idia de lgica pura, com suas referncias lgicas e matemticas que exemplificam conceitos filosficos
husserlianos, esteja imediatamente antes das investigaes para a fenomenologia e para a teoria do
conhecimento (HUSSERL, 1922). Esta relao destacada quando se utiliza o mtodo gentico para o
estudo do conjunto da obra de Husserl como fazem DE BOER (1978) e MILLER (1982).
5
Esta reviso ocorreu aps a redao de Idias para uma fenomenologia pura e para uma filosofia
fenomenolgica (HUSSERL, 2006).
6
Entretanto, sem aprofundar questes especficas de Lgica Formal e Transcendental.

11
Um dos aspectos mais intrigantes que Husserl, ao falar destas teorias
matemticas que nesta dissertao foi traduzido com o nome de multiplicidades, no
est fazendo um trabalho especificamente matemtico e, mutadis mutandis, no est
trabalhando estritamente como lgico quando trata da sua chamada lgica pura. Ele
parte para uma compreenso filosfica da lgica e da matemtica. Temos, com esta
pesquisa, a inteno de mostrar os caminhos dessa compreenso filosfica que Husserl
buscou.
Dessa forma, quando o autor em estudo refere-se teoria das formas de teoria
ou teoria das multiplicidades, isso traz um problema para aquele que j conhecia esse
termo multiplicidade aplicado a problemas matemticos. Ele parte de uma noo que j
existia na matemtica para fazer uma teoria filosfica que organiza as descobertas da
lgica e da matemtica do sculo XIX, abrindo questes importantes no sculo XX. O
tema desta dissertao ser a compreenso desta problematicidade da teoria das
multiplicidades e suas implicaes, tomando como referncia o panorama da lgica pura
como doutrina da cincia apresentado nos Prolegmenos.
Este trabalho ser baseado principalmente na obra Investigaes Lgicas7,
cujos Prolegmenos8 so dedicados a apresentar a lgica pura como doutrina da cincia
no contexto de uma crtica ao psicologismo e defesa do carter objetivo do
conhecimento lgico e matemtico. Entretanto, tambm sero considerados alguns dos

A qual j foi considerada Certamente a obra mais importante de Husserl7 (SMITH, 1989, p. 29).
Outra observao de Barry Smith: pelo qual h certamente mais elementos e peas envolvidas na
prtica da cincia do que simplesmente atos mentais, e a obra Investigaes Lgicas de Husserl ainda
seguramente, depois de mais de 80 anos, o mais detalhado e mais realista estudo das maneiras pelas
quais estes elementos e partes se concretizam (SMITH, 1989, p. 67). Opinio similar encontra-se em
outra obra do mesmo Smith: Os Prolegmenos lgica pura, os quais constituem o primeiro volume da
obra maior de Husserl, as Investigaes Lgicas de 1900-01 (SMITH ET SMITH, 1995, p. 5). Esta
obra de Husserl tambm foi selecionada como um dos clssicos da filosofia em GARCIA,
REICHBERG ET SCHUMACHER, 2003. A delimitao nos Prolegmenos se deve at mesmo porque
ali a noo de objeto formal e de multiplicidade formal esto mais amplamente elaboradas ali do
que nos cursos de Gttingen que Husserl ministrou quando ainda pretendia completar o projeto de
Filosofia da Aritmtica, como observou DA SILVA (2000b, p. 437).
8
O que corresponde primeira parte da primeira edio alem.

12
comentrios posteriores de Husserl sobre a teoria das multiplicidades9, na medida em
que forem relevantes no contexto desta dissertao10. O recorte metodolgico
decorrente da utilizao das Investigaes Lgicas caracteriza-se por delimitar um
perodo intermedirio entre a fase pr-fenomenolgica e a fase fenomenolgica de
Husserl11, sendo que a primeira se caracteriza por ser mais voltada para os problemas da
filosofia da matemtica12. Assim, torna-se patente a importncia das Investigaes

Considerando as vrias publicaes recentes de trabalhos inditos da Husserliana (que o conjunto das
obras completas de Husserl que est sendo publicado a partir dos arquivos onde se guarda seus
manuscritos organizados pelo padre Van Breda). A lista destas obras pode ser encontrada em Husserl,
Edmund 1859-1938 Husserliana (SANDMEYER, 2005, p. 1), as quais fazem com que Husserl, mesmo
sem estar mais no mundo dos vivos (MARAS, 1970, p. 502), seja um dos escritores mais produtivos,
fecundos e promissores da atualidade, como j era na dcada de 1960, quando Julian Maras fez um
comentrio anlogo: suas obras tm sido os aportes mais substanciais filosofia [na dcada de 1960].
Apesar do eco, a ressonncia tem sido limitada: somente dentro de certos ncleos muito prximos, estas
obras tm sido operantes, as quais tiveram pouca repercusso no mundo oficial da filosofia (MARAS,
1970, p. 502).
10
Principalmente aqueles que aparecem em Idias relativas a uma fenomenologia pura e uma filosofia
fenomenolgica (HUSSERL, 1949, pp. 159-163), Lgica Formal e Transcendental (HUSSERL, 1957,
1974). A lista poderia ser aumentada com os textos do prprio Husserl que aparecem nos volumes
pstumos publicados na Husserliana indicados por MORMANN (1991): Husserl, E.: 1983, Studien zur
Arithmetik und Geometrie, Texte aus dem Nachlass, especialmente aqueles baseados em cursos que ele
ministrou sobre o assunto (HUSSERL, 1984, 1996). Aprofundar as consideraes sobre teoria das
multiplicidades nestes trabalhos foi excludo da delimitao desta pesquisa para destacar a importncia da
concepo da lgica pura que aparece nas Investigaes Lgicas.
11
Conforme a classificao de FARBER (2006).
12
Neste sentido, a pesquisa presente contrasta com a delimitao de BACHELARD (1957), focada no
comentrio ao Husserl de Lgica Formal e Transcendental (HUSSERL, 1957), como o prprio ttulo
daquela obra indica: A lgica de Husserl: estudo sobre Lgica Formal e Transcendental. A
justificativa da delimitao nos Prolegmenos ficar reservada para o segundo captulo. As relaes com
a fenomenologia sero consideradas no ltimo captulo. Outra das maneiras de abordar a questo das
multiplicidades por tpicos de problemas, como foi realizado em HILL ET ROSADO HADDOCK
(2000), que selecionou cinco problemas de Husserl e mostrou rapidamente como eles eram abordados
antes e depois da teoria das multiplicidades. No seguiremos exatamente aquele modelo metodolgico
por trs motivos principais: a) esta uma dissertao de mestrado a ser defendida e no um captulo de
um livro no qual vrios assuntos husserlianos so abordados em comparao com a filosofia de Frege,
como ela fez muito bem naquela obra; b) pela delimitao que foi assumida nesta pesquisa, destacando o
contexto da teoria das multiplicidades na lgica pura como doutrina da cincia nos Prolegmenos, o que
ser justificado mais detalhadamente no comeo do segundo captulo; c) pela concepo fundamental
neste captulo que, seguindo uma metodologia gentica, mostra o desenvolvimento de problemas que
levaram Husserl a refletir sobre a lgica pura, oferecendo novos sentidos prpria idia de lgica e,
principalmente, de estrutura formal. Nesse ltimo sentido, esta dissertao foi inspirada fortemente nas
obras de MILLER (1982) e DE BOER (1978). Mesmo assim, os tpicos destacados por HILL ET
ROSADO HADDOCK (2000) sero citados e comparados com os problemas que forem levantados nesta
pesquisa, onde se descrever esse desenvolvimento da filosofia da lgica, passando pelos outros temas
desenvolvidos por Husserl. Alm disso, tambm se poderia propor o estudo da lgica pura por meio dos
textos anteriores publicao das Investigaes Lgicas, dando um sentido mais estritamente histrico a
esta pesquisa. Por outro lado, as Investigaes Lgicas, como um todo, foram revisadas aps a
publicao de Idias para uma filosofia fenomenolgica, o que abriria outro flanco para as pesquisas
sobre multiplicidades em Husserl.

13
Lgicas, onde se manifesta uma concepo sobre a filosofia da lgica de Husserl que se
relaciona com as pesquisas fenomenolgicas.
Entretanto, o foco desta monografia como um todo, no est somente nas
Investigaes Lgicas, nem nos Prolegmenos enquanto tal ou mesmo na lgica pura
propriamente dita, ou at mesmo em um desenvolvimento sistemtico da teoria das
multiplicidades, mas na relao problemtica destes elementos todos, a saber: teoria das
multiplicidades, lgica pura como doutrina da cincia, Prolegmenos s Investigaes
Lgicas e filosofia da lgica de Edmund Husserl13.
Como esta relao complexa, por motivos de delimitao acadmica, a
pesquisa ser delimitada nos aspectos que possam ajudar na soluo de problemas
relacionados com a objetividade da lgica pura e do conhecimento cientfico e a
refutao do psicologismo, assim como a prpria concepo de cincia. isto que ser
buscado a partir daquela expresso inicial em que Husserl constitui a teoria das
multiplicidades ao formular seu projeto de lgica pura, tal e qual foi publicado nos
Prolegmenos14. Neste sentido, o texto desta obra no qual se pode encontrar exatamente
essa questo relativamente pequeno, mas o que importa que nestas poucas pginas
foram delineados os aspectos essenciais do papel dessa teoria das multiplicidades nas
Investigaes Lgicas, como o prprio Husserl confirmou em Lgica Formal e
Transcendental15. Nesta obra, apareceu um captulo sobre teoria das multiplicidades na

13

por isso que, nesta pesquisa, o papel da teoria das multiplicidades na lgica pura conforme foi
descrito por Husserl nos Prolegmenos mais importante do que o prprio livro Investigaes Lgicas
como um todo e mais importante do que as contribuies fenomenolgicas lgica pura.
14
Desta forma, trata-se de uma dissertao sobre o papel da teoria da multiplicidade na lgica pura como
teoria da cincia, destacando seus aspectos problemticos. No preciso, e at seria contraditrio, querer
explicar o mais simples pelo mais complicado: no utilizaremos a fenomenologia propriamente dita ou a
lgica transcendental de Lgica Formal e Transcendental para explicar a concepo de lgica pura e de
multiplicidade que j estavam apresentadas nos Prolegmenos. As contribuies relevantes dos livros
citados e da prpria fenomenologia que puderem ser encaixadas na delimitao desta pesquisa sero
aproveitadas na medida em que colaborarem no esclarecimento deste problema.
15
Seu ltimo livro especificamente sobre o assunto publicado antes do seu falecimento.

14
qual os Prolegmenos so citados como uma referncia importantssima para a
compreenso da prpria teoria das multiplicidades16.
Assim, ser apresentado, no primeiro captulo, um panorama geral do
desenvolvimento da filosofia de Edmund Husserl no seu perodo pr-fenomenolgico
selecionando aqueles aspectos que concorrem para a realizao da teoria da lgica pura
como doutrina da cincia dos Prolegmenos s Investigaes Lgicas e para a teoria
das multiplicidades. Nesta abordagem, ser enfatizada a sua passagem dos estudos
estritamente matemticos at chegar s suas reflexes sobre a filosofia da lgica e da
cincia. Esta etapa do estudo sobre a lgica pura de Husserl ficaria incompleta sem
algumas consideraes sobre as obras anteriores aos Prolegmenos e sem algumas
referncias e exemplificaes matemticas.
Antes da abordagem da teoria das multiplicidades propriamente dita, ou,
conforme a expresso husserliana, a teoria das formas de teoria e dos seus correlatos
objetivos, ser feita uma breve descrio do desenvolvimento de alguns problemas
filosficos que conduziram Husserl lgica pura. A finalidade da apresentao do
itinerrio filosfico husserliano ser a anlise da gnese lgica e matemtica da teoria
das multiplicidades. O mtodo escolhido nesta etapa do trabalho gentico no sentido
de DE BOER (1978), baseando-se na compreenso de que os trabalhos anteriores de
Husserl foram uma espcie de estgio preparatrio para os trabalhos posteriores que
aparecem como respostas para problemticas surgidas anteriormente. Por este motivo,
ser preciso apresentar aspectos do desenvolvimento, na filosofia de Husserl, desta
noo matemtica de multiplicidade (Mannifaltigkeit). Em outras palavras, este
primeiro captulo ser uma investigao detalhada sobre a gnese ou o surgimento da
teoria das multiplicidades na filosofia de Edmund Husserl.
16

Poderamos argumentar tambm com MILLER (1982) que coloca as Investigaes Lgicas como o
marco da terceira e ltima fase da filosofia da lgica de Husserl.

15
No segundo captulo ser apresentada, a partir da estrutura da obra
Prolegmenos s Investigaes Lgicas, uma sntese da idia de lgica pura, assim
como os seus trs principais conjuntos de problemas, entre os quais aparece a teoria das
multiplicidades. Com esta descrio, pretende-se oferecer subsdios para a retomada dos
estudos da lgica pura conforme planejados por Husserl nos Prolegmenos.
Quando Husserl est desenvolvendo sua lgica pura como doutrina da cincia
(Wissenschaftslehre) nos Prolegmenos, juntamente com a crtica ao psicologismo aparece um
projeto de lgica pura (reine Logik), a qual dividida em trs partes, das quais a terceira
a teoria das multiplicidades (Mannifaltigkeitlehre). A maneira como isso ocorre
apresenta-se problemtica especialmente quando se considera que a noo de
multiplicidade foi usada por Husserl em um sentido bem especfico, contendo
peculiaridades que a distinguem dos usos matemticos anteriores do conceito. A percepo
desse problema fundamental dos Prolegmenos e de sua relao com a teoria das
multiplicidades o principal diferencial desta dissertao, do ponto de vista de delimitao
e metodologia.
No terceiro captulo, a teoria das multiplicidades ser analisada como um
recurso filosfico que Husserl j havia comeado a utilizar nas Investigaes Lgicas
para resolver problemas que surgiram do estudo da matemtica e das teorias formais.
Este sentido das multiplicidades especfico de Husserl e coroa uma concepo de
lgica pura que ser considerada no contexto dos Prolegmenos s Investigaes
Lgicas.
Neste ltimo captulo ser apresentada uma diviso de tarefas entre lgicos,
matemticos e filsofos luz do prprio texto das Investigaes Lgicas. Esse ser o
momento de tecer consideraes sobre as implicaes filosficas da teoria das
multiplicidades, especialmente naquilo que se refere filosoficamente lgica,

16
matemtica e aos estudos das categorias de significao e de objeto. A fenomenologia
da idia da lgica pura ser vinculada problemtica da teoria das multiplicidades na
medida em que foi o mtodo pensado por Husserl, a partir da reviso fenomenolgica
dos Prolegmenos, para a clarificao filosfica dos conceitos, procedimentos e teorias
da lgica e da matemtica. Sero indicados alguns temas ontolgicos e
fenomenolgicos implicados no desenvolvimento lgico, matemtico e filosfico da
teoria das multiplicidades, fazendo referncias s obras posteriores de Husserl e s
pesquisas que abordam temas vinculados pelos comentaristas teoria das formas de
teorias.

17

1. DOS PROBLEMAS MATEMTICOS A UMA FILOSOFIA DA


LGICA PURA: A GNESE LGICO-MATEMTICA DA TEORIA
DAS MULTIPLICIDADES
A idia de Husserl da teoria geral de sistemas
dedutivos foi motivada pela teoria matemtica das
multiplicidades (GAUTHIER, 2002, p. 129).

1.1 A FASE INICIAL DA FILOSOFIA DA MATEMTICA HUSSERLIANA

H um desenvolvimento notvel das reflexes filosficas de Husserl sobre a


matemtica, a lgica, a cincia e o conhecimento em geral17, passando dos estudos
matemticos propriamente ditos para a filosofia da matemtica e para os problemas
relativos concepo de cincia e de lgica pura. Este captulo apresentar alguns
aspectos relevantes desse desenvolvimento para a compreenso da teoria das
multiplicidades na lgica pura como doutrina da cincia nos Prolegmenos s
Investigaes Lgicas. Por meio de um itinerrio histrico, pretende-se mostrar a
gnese lgico-matemtica da teoria das multiplicidades, mostrando a dependncia desta
com os problemas anteriores do pensamento husserliano.
Na fase inicial, da filosofia husserliana18, entre 1886 e 1889, quando Husserl
estudou a anlise matemtica como uma cincia baseada no conceito de nmero19, cujo
17

Dallas Willard, o filsofo que traduziu para o ingls o volume das obras de Edmund Husserl com seus
primeiros trabalhos sobre a filosofia da lgica e da matemtica, descreveu esse processo como uma
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 legtimas e
ilegtimas para que o conhecimento seja racional... (WILLARD, 1977). O prprio Husserl faz
referncias a este desenvolvimento na introduo das Investigaes Lgicas: Na introduo s
Investigaes Lgicas, Husserl tambm conta algo sobre este perodo em Halle. Depois de trabalhar
vrios anos para clarificar a matemtica pura, ele se descobriu em dificuldades relacionadas com
desenvolvimentos na matemtica que desafiavam seus esforos de clarificao lgica. Os problemas
foram to urgentes a ponto de faz-lo deixar de lado suas investigaes sobre assuntos da filosofia da
matemtica at que tivesse sucesso ao alcanar uma certa clareza nas questes bsicas da
epistemologia e da compreenso crtica da lgica como teoria da cincia (HILL ET ROSADO
HADDOCK, 2000, p. 146).
18

A classificao das trs fases da filosofia da matemtica de Husserl que aparece neste captulo ser
fortemente baseada nas obras publicadas no volume HUSSERL (1970) da husserliana e nas pesquisas de

18
sentido mais fundamental se vinculava ao ato mental de contar, havia uma determinada
abertura para os temas psicolgicos. A obra mais importante deste perodo foi Sobre o
conceito de nmero. Anlises psicolgicas20.
Neste perodo, manifestava-se um ideal de cincia a ser buscado por Husserl,
tendo inspirao na anlise matemtica e que depois apresentaria repercusses no
desenvolvimento de sua filosofia:

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 (HUSSERL, 1970, p. 291).

A obra citada apresenta relaes e princpios que seriam aprofundados


posteriormente por Husserl21. So linhas gerais do pensamento husserliano que
continuam vlidos no desenvolvimento da lgica pura e da teoria das multiplicidades,
como: a) a importncia da relao entre filosofia e matemtica, seja nas necessidades
filosficas da matemtica, como nos problemas matemticos que so absorvidos nas
DE BOER (1978), HILL (1997, 2002), HILL ET ROSADO HADDOCK (2000) e MILLER (1982). Ao
considerar esse desenvolvimento de Husserl, a pesquisa ficar delimitada nas seguintes obras principais:
a) sua tese de 1887, Sobre o conceito de nmero (ber den Begriff der Zahl. Psychologisch Analysen),
editado com a Filosofia da Aritmtica em 1891 e,depois, no volume XII da Husserliana; b) Filosofia da
Aritmtica: investigaes psicolgicas e lgicas (Philosophie der Arithmetik. Logische und
psychologische Untersuchungen), de 1891; c) Investigaes Lgicas (Logische Untersuchungen), de
1900/1901. Em relao aos dois primeiros trabalhos, sero usados principalmente 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. Neste aspecto histrico, esta pesquisa colabora, em pequena escala, a preencher uma lacuna
nos estudos husserlianos em geral: Este perodo anterior geralmente negligenciado. H pouqussimos
trabalhos dedicados a isso, e ele no discutido com freqncia em detalhes nos vrios livros que tentam
dar uma viso de toda a carreira de Husserl (HUDSON, 1981, p. 120).
19
Nmero entendido como Uma multiplicidade formal determinada de algo homogneo ( MILLER,
1982, p. 3).
20
Dallas Willard traduziu este texto e fez uma introduo na qual apresenta um esquema preciso desta
obra em MCCORMIK ET ELLISTON (1981,p. 86-117).
21
De fato, Husserl acusou a imaturidade filosfica desta sua fase, mas nunca renegou essas obras. A
importncia dessa fase no deve ser menosprezada e chegou-se a afirmar que a obra Filosofia da
Aritmtica pode ser tomada como uma verso ampliada e revisada de Sobre o Conceito do Nmero:
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 21 (HILL ET ROSADO HADDOCK, 2000, p. 142).

19
reflexes filosficas22; b) a apresentao de tpicos filosficos importantes para a
matemtica relacionados com a clarificao lgica, a anlise exata dos conceitos, a
percepo da interdependncia das disciplinas matemticas23 e o desenvolvimento
rigorosamente dedutivo da matemtica; c) a distino entre velha lgica (a disciplina
prtica para formular juzos corretos ou Kunstlehre) e a nova lgica ou teoria geral dos
mtodos da cincia; d) o estudo do contedo, da origem e do carter fenomnico do
nmero como aspectos indispensveis para a anlise do conceito de nmero, passando
pelos problemas do estudo do processo da abstrao e das multiplicidades24; e) estudo
crtico dos outros filsofos, que voltar a ser marcante nos Prolegmenos,
especialmente com a crtica aos psicologistas.
Antes mesmo de Husserl chegar sua concepo de lgica pura como doutrina
da cincia, com sua teoria dos sistemas formais e das multiplicidades, percebe-se, nesses
manuscritos anteriores publicao da Filosofia da Aritmtica, por meio da unificao da
anlise com a aritmtica elementar, a busca de uma aritmtica universal (allgemeinen
Arithmetik), que lembra a mathesis25 dos Prolegmenos. Husserl destaca o papel
precursor de Aristteles26, de Leibniz27 e de Franois Vite28 em relao a esta concepo

22

Este tema ser retomado no ltimo captulo com a explicao da diviso de papis entre lgicos,
matemticos e filsofos, tal e qual foi apresentada nos Prolegmenos. Em Sobre o Conceito de Nmero,
Husserl cita matemticos como Euclides e Riemann.
23
Husserl pensava em disciplinas matemticas em que problemas aritmticos se relacionam com
problemas geomtricos.
24
Temas que sero continuados na obra Filosofia da Aritmtica e nas reflexes sobre fenomenologia.
25
Entendida como um sistema formal mais universal que estivesse subjacente a todos os outros sistemas
formais. Esta noo ser aprofundada com a nota abaixo sobre Leibniz e com a apresentao da idia
filosfica de lgica pura no segundo captulo. Husserl possua a inteno de alcanar O ponto final da
verdadeira filosofia do clculo, este objetivo perseguido h sculos (HUSSERL, 1970, 7).
26
Pode-se conferir a citao em HUSSERL (1922 , p. 163. Outra referncia sobre este assunto aparece
em Lgica Formal e Transcendental (HUSSERL, 1974, p. 85). Pode-se encontrar comentrios sobre esta
referncia a Aristteles em (HARTIMO, 2003, p. 128). Pelo menos um dos precursores lgicos de
Husserl tambm reconheceu este fato: Aristteles foi o primeiro em Lgica e poder-se-ia dizer que foi
bem sucedido... (LEIBNIZ, 1980, p. 23).
27
De fato, Husserl acredita dar continuidade noo de mathesis universalis leibniziana. Sobre esta
influncia leibniziana, conferir DA SILVA (2007) e HUSSERL (1922; 1974, p. 85). De fato, Leibniz
apresentou um projeto de uma arte de inventar ou uma characteristica universallis que organizaria
diversas reas da filosofia, como a Metafsica, a Fsica e a Moral, por exemplo, de uma maneira que ele
pudesse buscar a certeza seguindo o modelo da certeza matemtica e lgica. Seria uma espcie de lgebra
universal do pensamento humano, como ele deixou registrado, por exemplo, no seu projeto de uma arte

20
pura da lgica sem detalhar a sua comparao, mas, em sentido amplo, percebe-se que ele
est continuando o caminho da pesquisa da objetividade do conhecimento cientfico.
Essas caractersticas do desenvolvimento inicial da concepo de Husserl
sobre as relaes entre filosofia, lgica e matemtica podem ser identificadas na
primeira grande influncia que Husserl recebeu sobre a fundamentao da matemtica,
vinda de seu professor Karl Weierstrass29 que trabalhou na aritmetizao da anlise, que
a reduo dos problemas da anlise aos conceitos mais fundamentais da aritmtica30:

O ponto de partida natural e necessrio de qualquer filosofia matemtica, considerava


Husserl, era a anlise do conceito de nmero inteiro. Pois o ainda fiel discpulo de
Weierstrass acreditava que o domnio dos nmeros inteiros positivos era o primeiro e
mais fundamental domnio, a nica base de todos os domnios numricos restantes. Hoje
existe um convencimento generalizado, escreveu ele em Sobre o Conceito de Nmero, de
que um desenvolvimento mais rigoroso e profundo da anlise matemtica teria que vir
somente da aritmtica elementar na qual a anlise est baseada. Mas esta aritmtica
elementar tem sua base nica naquela srie infindvel de conceitos que os matemticos
chamam de nmeros inteiros positivos (HILL ET ROSADO HADDOCK, 2000, p.140 ).

A diferena mais notvel entre o trabalho do professor e do aluno era o


instrumental escolhido: enquanto Weierstrass trabalhava nos parmetros da cincia
de inventar de 1686: Descobri uma coisa surpreendente: que se pode representar por nmeros toda
a espcie de verdades e conseqncias. ... imaginei um mtodo que nos leva infalivelmente anlise
geral dos conhecimentos humanos... Descobri, pois, que existem alguns termos primitivos... constitudos
os quais, todos os raciocnios se poderiam determinar maneira dos nmeros e... poder-se-ia
determinar, matematicamente, o grau de probabilidade. (...) O nico meio de corrigir os raciocnios
torn-los to sensivelmente quanto so os dos matemticos, de maneira que se possa encontrar o erro
vista desarmada e, quando houver disputas entre as pessoas, se possa dizer apenas: - contemos, sem
outra cerimnia para ver quem tem razo (LEIBNIZ, 1980, p. 21-2).
28
O qual citado em HUSSERL (1974) pela sua descoberta do carter formal da matemtica. Ele
tambm descobriu um certo conceito de nmero, chamado de imaginrio, pois era uma soluo possvel
para as equaes que no estava contida no conjunto inicial no qual foi proposta a equao. Conferir,
sobre este assunto, o clssico KLEIN (1992), alm dos comentrios de MILLER (1982) e DA SILVA
(2007). Jairo da Silva ressalta o fato de que outra origem remota desta idia de lgica pura pode ser
encontrada, em algum sentido, nos algebristas italianos do sculo XVI (DA SILVA, 2007).
29
Husserl chegou a afirmar que, na sua carreira matemtica, pretendia fazer pela filosofia o que
Weierstrass fez pela matemtica (HILL ET ROSADO HADDOCK, 2000).Weierstrass teve grande influncia em outros
filsofos e matemticos alm de Husserl, deixando a sua marca sobre eles. Sobre esse assunto, Bertrand
Russel escreveu: matemticos sob a influncia de Weierstrass demonstraram nos tempos modernos um
cuidado com a preciso e uma averso ao raciocnio indolente, como no se via entre eles desde o tempo
dos gregos (RUSSEL in HILL, 2000). .
30
Dessa forma, o estudo da aritmtica fundamental ou dos nmeros naturais, dos quais se pode ter como
referncia a axiomtica de Peano, servem de instrumento para a explicao dos conjuntos numricos com
outras propriedades, como os racionais e os reais. Conferir, sobre esse assunto, LIMA (1976) e PINTO
(2006).

21
matemtica, Husserl buscava uma metodologia filosfica que fosse suficientemente
rigorosa para clarificar31 os conceitos matemticos, justificando-os teoreticamente. Esta
aritmtica universal de inspirao weierstrassiana visava a manipulao dos signos
conforme as regras formais das operaes relacionadas com a aritmtica em geral32.
Sendo assim, Husserl j distingue em trabalhos de 189033 os entes matemticos como
meros signos com validade cientfica independente de representaes subjetivas, o que
se mostrar muito relevante quando aprofundarmos a noo de lgica pura e
considerarmos as crticas ao psicologismo.
Na escolha do instrumental filosfico, distanciando-se de Weierstrass, Husserl,
na obra Filosofia da Aritmtica, decidiu utilizar a metodologia de Franz Brentano, a
quem foi dedicada essa obra. A influncia brentaniana manifesta-se em Husserl pelo
interesse nos recursos psicolgicos como instrumentos para clarificao dos conceitos
fundamentais da matemtica. A psicologia tornar-se-ia, assim, uma parte relevante da
filosofia da matemtica husserliana, pois daria ferramentas para o estudo dos
fundamentos da anlise e da matemtica, como se percebe neste trecho da introduo do
trabalho Sobre o conceito de nmero34.

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. (FIDALGO, 1996, p. 34).
31

Obtendo logischer Klarung (HUSSERL, 1970, p. 291) clarificao lgica.


Husserl define sua aritmtica universal no trabalho Conceito de Aritmtica Universal (HUSSERL,
1970, p. 374-9).
33
Incluindo Zur Logik der Zeichen (Semiotik), ou Sobre a lgica dos signos (Semitica) (HUSSERL
1970).
34
Alis, o prprio subttulo de tal obra j mostra um pouco desta idia: psychologische analysen
(anlise psicolgica). 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 relao entre o nmero e a psicologia? ).Sobre essa influncia, conferir DE BOER (1978, p.
54- 58; 77-82). Husserl contou que procurou Brentano apenas por curiosidade no incio, quando assistiu
suas aulas de filosofia em 1884, mas foi a partir desta experincia que Husserl descobriu sua vocao
filosfica, fascinado pelo mtodo brentaniano de colocar os problemas e resolv-los. As teorias filosficas
e psicolgicas brentanianas podem ser assimiladas, por exemplo, em Psychologie vom empirischen
Standpunkte (Psicologia a partir de um ponto de vista emprico) de 1874.
32

22

Nesta fase, Husserl estudava a anlise matemtica como sendo essencialmente


uma tcnica formal (Kunstlehre), mas tambm estava avanando nas anlises
psicolgicas relacionadas ao conceito de nmero35. O estudo da aritmtica fundamental
inclua os procedimentos mentais relacionados com os raciocnios lgicos36, mas
ampliava a questo levantando problemas sobre a origem dos nmeros, isto , pela
anlise dos processos cognitivos envolvidos na experincia direta dos nmeros. A
anlise da origem de um conceito inclui dois aspectos principais: a) a descrio do
processo de abstrao que constitui o conceito; b) a descrio do fenmeno que serviu
de base para a abstrao. A partir da descrio geral do processo pelo qual se abstraiu o
conceito de um objeto, como o nmero, descreve-se melhor o fenmeno concreto que
serviu de fundamento da abstrao, levando clarificao do contedo em questo.
Clarificar as categorias ou os elementos fundamentais do conceito tornou-se mais
importante para Husserl do que elaborar formal ou logicamente os conceitos
fundamentais das teorias, pois a compreenso filosfica de uma definio lgica
depende da clarificao de certas noes que no so definidas explicitamente, mas so
tomadas como ponto de partida. Entende-se que o lgico ou o matemtico, preocupados
em desenvolver as conseqncias formais dos princpios das teorias assumam esta
postura que Husserl classificou como ingnua, mas o filsofo no pode-se satisfazer
com isso37.

35

A obra mais importante nesta fase, segundo MILLER (1982), foi Filosofia da Aritmtica 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).
36
Sendo, assim, uma Arte do conhecimento (HUSSERL, 1970, p. 373). No original: Kunst der
Erkenntnis. Assim, a lgica formal seria um ramo da lgica geral Concernente especialmente com
procedimentos algortmicos (MILLER, 1982, p. 14), tendo a tarefa de clarificar procedimentos
algortmicos... e formular regras para tais mtodos (HUSSERL, 1970, p. 365).
37
Levando, posteriormente, diviso de papis no estudo das multiplicidades: entre lgicos e
matemticos, por um lado, e filsofos, por outro. Um exemplo dessa problemtica pode ser tomado a
partir da definio clssica de Euclides acerca do nmero. Husserl poderia tom-la como ponto de partida

23
Nestas consideraes, torna-se cada vez mais explcita a importncia da
influncia brentaniana a da metodologia psicolgica de Husserl. Se o papel da
psicologia neste processo de clarificao dos conceitos elementares da matemtica era
fundamental, no se pode afirmar que a busca do rigor filosfico foi abandonada nesta
etapa do desenvolvimento da filosofia da lgica e da matemtica husserliana. Por um
lado, estes princpios metodolgicos de Filosofia da Aritmtica, uma vez purificados
pelas anlises crticas dos Prolegmenos, seriam parcialmente mantidos nas reflexes
fenomenolgicas posteriores. Por outro aspecto do problema, a matemtica,
especialmente a anlise, continuava sendo considerada como tcnica lgica que lidava
com smbolos, sendo os nmeros considerados como representaes simblicas.
Contudo, Husserl assumiu esta metodologia brentaniana e estudava as questes
psicolgicas relativas apresentao do nmero, ampliando as investigaes que j
havia feito na sua tese de doutorado. Como ficou manifesto na obra Filosofia da
Aritmtica, era um ideal de cincia inspirado nas cincias naturais38, pelo qual se
buscava analisar a origem dos conceitos fundamentais da aritmtica. O objetivo de
fundo era a preparao de uma teoria mais sistemtica para a filosofia da aritmtica
enquanto disciplina filosfica. Seus principais temas eram: a) a anlise dos conceitos
elementares da aritmtica como quantidade, unidade e nmero; b) a explicao dos
mtodos simblicos especficos da aritmtica.

ou critic-la logicamente como fez Frege, mas muda o foco do problema. Definir nmero possui pouca
utilidade na compreenso filosfica se ela no est clarificada adequadamente. Voltando a Euclides: se o
nmero a multido ou a pluralidade medida pela unidade, resta saber o que esta pluralidade, o que
exige, neste sentido, o procedimento adotado por Husserl.
38
Miller (1982) destaca que a lgica que aparecia nas obras at Filosofia da Aritmtica ainda no eram
to puras como a concepo de lgica do que ele chama de terceira fase porque ainda visavam um fim
prtico do julgamento ou juzo correto (HUSSERL, 1970, p. 29; no original: richtigen Urteilens),
sem destacar que o papel normativo da lgica deve ser subordinado ao papel teortico, o que seria feito
nos Prolegmenos (HUSSERL, 1922). Esta tese da finalidade prtica da lgica, segundo Miller, j havia
sido defendida por Brentano em 1884. Para Brentano, a lgica era Mais uma disciplina prtica cuja
tarefa era prescrever regras e normas do que para obter conhecimento38 (MILLER, 1982, p. 13).

24
Nesta fase tambm aparecem reflexes sobre a noo de multiplicidade formal
nesta relao entre a lgica pura e a conscincia. A teoria das multiplicidades foi uma
motivao importante para pesquisar como os conceitos fundamentais da matemtica39
so constitudos na subjetividade humana. deste ponto que apareceria mais tarde a
problemtica do psicologismo, assim como da ampliao do estudo da lgica e da
matemtica com recursos filosficos relacionados com a psicologia descritiva e com a
fenomenologia. Por isto, na considerao da gnese do conceito de multiplicidade,
tambm importante considerar esta anlise radical da origem psicolgica dos
conceitos fundamentais da matemtica que Husserl desenvolveu em Filosofia da
Aritmtica por inspirao de Brentano.
Um aspecto fundamental desta abordagem psicolgica de Filosofia da
Aritmtica a utilizao da metodologia da considerao dos atos e dos objetos, assim
como as relaes intencionais entre ambos. Husserl parte da definio brentaniana de
intencionalidade. Esta possua, na psicologia de Brentano, a finalidade de distinguir os
fenmenos fsicos e psquicos, constatando a intencionalidade como critrio mais
importante de distino. Desta forma, todo fenmeno psicolgico faria relao a um
outro objeto, ainda que imanente: em um sentimento, por exemplo, h algo a que se
refere ou uma direo do sentimento40.
Nesta anlise intencional, Husserl partia dos contedos concretos intudos e
descrevia o processo de abstrao envolvido. De fato, na obra Filosofia da Aritmtica,
Husserl havia partido da experincia concreta de agregados (Inbegriffe) a fim de
considerar como ocorria a abstrao do conceito universal e indeterminado de
quantidade (Vielheit) e do conceito de um nmero determinado. Como Husserl

39

Husserl comeou fazendo essa pergunta em relao aritmtica bsica, mas chegou a faz-la
sistematicamente em relao aos nmeros irracionais e lgica.
40
Por exemplo: se algum ama, h algo que amado, pois amar um ato psquico, nesta classificao
brentaniana, e implica em uma intencionalidade, como uma relao a um contedo.

25
perceberia posteriormente, o problema principal, nesta influncia da psicologia
brentaniana, estava na distino dos sentidos do termo representao (Vorstellung41),
especialmente entre os aspectos puramente lgicos e os aspectos relacionados com os
atos de conscincia. Um exemplo disso est no uso do termo totalidade, fundamental no
seu conceito de nmero, em relao ao qual no fica claro se essa totalidade um fato
psquico ou uma objetividade matemtica no sentido das Investigaes Lgicas, isto ,
de um conceito puro, cuja validade independe dos processos subjetivos relacionados
com a sua representao.
De qualquer forma, pode-se afirmar que esta foi uma etapa da busca de
Husserl por um conceito que depois seria sua multiplicidade formal, isto , uma noo
mais geral e abstrata, vazia de contedo in concreto, como uma espcie de conceito de
conceito e uma teoria de teoria, que levaria s suas reflexes sobre a lgica pura como
doutrina da cincia. Em Filosofia da Aritmtica, esta abertura para a objetividade
matemtica aparece, por exemplo, no conceito formal de categoria, que inclui, por
exemplo, a noo de pluralidade, a qual um dos conceitos fundamentais na reflexo
sobre a origem do nmero. Cada categoria husserliana um conceito mais geral e vazio
de contedo.
Com o pleno desenvolvimento da idia de lgica pura e do mtodo
fenomenolgico, tornar-se-ia patente que o objetivo de Husserl era destacar o conceito
de nmero de qualquer representao sensvel e chegar a uma meta inspirada na anlise
matemtica de Weierstrass, no sentido da consolidao da objetividade do
conhecimento lgico e matemtico enquanto cincia. Em relao ao conceito de
intencionalidade, isto ficaria manifesto a partir da constatao de que todo ato possui
um correlato. Em termos de investigao sobre a origem do nmero, a doutrina

41

Husserl depois distinguiria esses vrios sentidos nas Investigaes Lgicas.

26
husserliana sobre conceito categorial ou formal assume que a origem das categorias est
nas suas propriedades objetivas, o que conduzir Husserl a uma teoria dos objetos no
sentido que seria adotado posteriormente na teoria das multiplicidades42. Husserl
aprimora o sentido de intencionalidade brentaniana, a partir da rigorosa concepo
weierstrassiana de cincia, desenvolvendo a noo do estudo filosfico dos objetos da
lgica e da matemtica a partir de suas caractersticas estritamente formais43.
O diferencial daquela etapa do desenvolvimento da filosofia da lgica e da
matemtica de Husserl estava na metodologia brentaniana de partir da concepo de
anlise matemtica como cincia fundamentada no conceito de nmero. Nesta
abordagem filosfica, Husserl procurava oferecer um conceito fundamental de nmero
que pudesse ser vlido tambm para os nmeros que no fossem os nmeros naturais44.
Esses estudos provocaram novas questes que o fizeram planejar um segundo volume
para a Filosofia da Aritmtica, mas que no chegou a ser publicado. Entretanto, antes
mesmo de escrever Filosofia da Aritmtica, Husserl escreveu a seu antigo orientador
Carl Stumpf manifestando sua nova opinio de que aquela hiptese estava se mostrando
falsa, isto , de que no seria possvel deduzir, por exemplo, os conceitos dos nmeros
negativo, racional, irracional e complexo a partir da origem do conceito de nmero
cardinal45.

42

Esta teoria sobre os objetos seria chamada posteriormente por Husserl (2006), em um contexto mais
propriamente fenomenolgico, de ontologia formal.
43
O que iria conduzi-lo concepo de lgica pura como doutrina da cincia para o estudo das
proposies nas suas caractersticas ideais e a priori.
44
Nesta obra, Husserl no oferece uma abordagem formal de nmero natural, mas percebe-se que ele,
considerando o conjunto dos nmeros naturais como N = {0,1,2,3,4,5,...} e com as propriedades tais
como apresentadas, por exemplo, na axiomatizao de Peano, cuja primeira apresentao de 1889
(Princpios da Aritmtica, no original: Aritmetices principi) e que foi reformulado em 1898, trocando o
elemento inicial 1 por 0. A descrio detalhada destes axiomas pode ser encontrada em PINTO
(2006).
45
Mutadis mutandis, isso que alguns professores tentam fazer na prtica quando explicam aos alunos os
conceitos de conjunto de nmeros naturais, inteiros e racionais, por exemplo. Eles partem das
experincias concretas que seus alunos tm de operar contagens com os nmeros cardinais e vo
ampliando este conceito at chegar ao nmero negativo nos outros. Husserl no oferece uma abordagem
formal destes conceitos de nmeros citados. Em um trabalho posterior, ele ofereceu uma definio geral

27
A redefinio metodolgica da filosofia husserliana partiu da distino
brentaniana entre representao autntica e simblica. O ato intencional de representar
um determinado objeto ou contedo pode ser feito na presena ou na ausncia daquilo
que foi representado. Se o objeto apresenta-se diretamente ao sujeito da percepo, dizse que a representao autntica. Por outro lado, se o objeto apresentado por meio de
smbolos, como palavras, a representao simblica. Em termos de exemplificao
matemtica, no sentido de Filosofia da Aritmtica, a representao autntica, quando o
conceito corresponde a um objeto intudo, acontece quando se conta um nmero
mantendo a ateno sobre cada objeto contado46 (o conjunto concreto). Entretanto,
nos contedos simblicos o pensamento humano chega a objetos que no so
perceptveis sensorialmente nem percebidos em todas as suas caractersticas distintivas,
como acontece na percepo de quantidades maiores do que doze, chegando at mesmo
ao conjunto infinito47.
No contexto da fundamentao da aritmtica como cincia em bases
autnticas, tema de Filosofia da Aritmtica, Husserl constata que um algarismo um
smbolo geral para qualquer multiplicidade que atenda a este conceito. Por exemplo48: 5

para estes nmeros, que ele chamava de nmeros imaginrios. Trata-se dos elementos ou nmeros que
no aparecem no sistema formal que define os nmeros naturais.
46
E era nestes fenmenos concretos (multiplicidades ou conjuntos) que estava a base para a abstrao do
conceito de nmero. Em pequenas contas possvel ter em mente os objetos contados ou calculados em
alguma operao aritmtica, mas, a partir de uma determinada quantidade, a certeza no vem por esta
evidncia, mas dos procedimentos formais realizados.
47
Os conjuntos infinitos trazem limites lgicos e ideais filosofia da matemtica, pois, por exemplo, eles
no podem ter todos os seus elementos coletados de um em um, dentro de uma perspectiva da psicologia
emprica que Husserl trabalhava. Aristteles diria, no mesmo sentido, que o infinito no pode ser
atualizado. Chegando a estes limites, j no mais possvel trabalhar baseando-se apenas no conceito de
nmero como Husserl pretendia. Este plano possui uma natureza lgica essencialmente diferente. Nos
casos comuns, o processo pelo qual os grupos foram criados foi finito, sempre havia um ltimo estgio, e
s vezes era possvel levar o processo a uma pausa e tambm construir o grupo correspondente. Mas isso
era muito absurdo no caso dos grupos infinitos. O processo utilizado para cri-los era sem fim, e a idia
de um ltimo estgio, de um ltimo membro do grupo, era sem sentido. E isso constituiu uma diferena
lgica essencial (HILL ET ROSADO HADDOCK, 2000, p. 148 ).
48

Husserl oferece esse exemplo informalmente e sem citar uma axiomtica especfica, provavelmente
para destacar o carter formal, geral e abstrato, de multiplicidade e para no dar a impresso de que esta
noo filosfica dependa de uma formalizao especfica. Mas ele pode ser pensado no contexto de uma
axiomtica de Peano, por exemplo. Conferir PINTO (2006).

28
um smbolo para qualquer multiplicidade que corresponda ao conceito de 5. E a
expresso 5 + 5 = 10 tambm corresponde a um objeto formal, no qual, duas
multiplicidades simbolizadas por 5, quando relacionadas conforme as regras ou
relaes simbolizadas por + resultam em uma multiplicidade simbolizada por 10, que
se refere a este conceito formal de 10.
Assim, a matemtica e a lgica, como a cincia em geral, avanam em um
sentido ideal, no qual no preciso ter em mente todas as caractersticas distintivas dos
objetos que se observa49. Dada a importncia do pensamento simblico para a
matemtica como modelo de cincia, Husserl admirou-se com a dificuldade de se obter
intuio autntica de certos contedos da matemtica, especialmente da aritmtica50. Se
o estabelecimento da matemtica como cincia rigorosa dependia da sua constituio
em bases autnticas, Husserl concluiu que a falta da viso da essncia51 dos processos
elementares de intuio levaria obscuridade na teoria da cincia e a uma compreenso
insatisfatria e incompleta dos procedimentos lgicos52.
A percepo de que h procedimentos comuns nas diversas teorias lgicas,
consideradas do ponto de vista filosfico, mas inclusive em relao a seus
procedimentos lgicos e simblicos, ser um dos fatores que motivar a sua teoria da
lgica pura apresentada nos Prolegmenos. Desta forma, Husserl percebe, como fica
manifesto em alguns textos manuscritos anteriores publicao da obra Filosofia da

49

Husserl oferece o exemplo da contagem de objetos. Ao efetivar-se a contagem, esta autntica, pois se
observa os objetos mantendo a intuio de cada um deles separadamente. Entretanto, dificilmente algum
consegue ter em mente doze objetos separadamente ou autenticamente. Para saber que so doze objetos,
preciso contar um por um e, no final, simbolicamente, concluir que so doze. Pode-se observar que esta
operao da contagem simblica difcil para algumas crianas que ainda esto aprendendo a contar e, a
cada vez que tentam contar os objetos, chegam a um resultado diferente.
50
A preferncia pelos problemas da aritmtica justificam-se pelo intuito de fundamentar todo o
conhecimento matemtico por meio do conceito de nmero.
51
Este conceito ser retomado no ltimo captulo, quando se tratar da relao da teoria das
multiplicidades com a fenomenologia.
52
O que nem sempre visto como um problema pelos lgicos e matemticos interessados apenas em lidar
maneira lgica e matemtica com suas teorias.

29
Aritmtica53, que, pelo processo de simbolizao matemtica54, poder-se-ia ampliar
indefinidamente o domnio dos nmeros, no sentido de que a matemtica poderia
estudar novas teorias sobre diferentes conceitos de nmeros, como j estava
acontecendo com o estudo das teorias sobre nmeros inteiros, racionais, negativos,
complexos, reais, etc.
J na obra Filosofia da Aritmtica, Husserl oferece o exemplo das seguintes
formaes simblicas, sem formalizar a linguagem do seu exemplo55: se p definido
como p = 10 + 5, pode-se fazer a definio de p como p = p + 8, seguindo com
uma definio de p como p=p + 10, criando novos smbolos matemticos com
novos significados. Perceba-se que, alm da soma, poder-se-ia usar outras relaes;
alm do p, outras letras e, alm das letras, outros sinais, como *.Esta formao
simblica relaciona-se com a noo de multiplicidade como domnio formal de uma
forma de teoria porque cada um destes smbolos refere-se justamente a uma
multiplicidade de objetos que obedecem a relaes definidas apenas formalmente.

1.2 O PROBLEMA DOS NMEROS IMAGINRIOS E A ELABORAO DA


TEORIA DAS MULTIPLICIDADES

Afirmou-se acima que Husserl estava preocupado com o problema filosfico


do conhecimento simblico. Em suas investigaes sobre o conhecimento simblico
matemtico, abordando a lgica subjacente s questes aritmticas, Husserl chegou ao
problema dos nmeros imaginrios, entendidos, em sentido amplo, como os nmeros
53

Os textos citados so de 1890 e Filosofia da Aritmtica de 1891. Destaca-se esse detalhe histrico
porque geralmente no aparece nos comentaristas da teoria das multiplicidades, mas foi destacado por DA
SILVA (2007) e MILLER (1982), que perceberam este salto de Husserl para a lgica de signos. Miller
localiza historicamente esta descoberta de Husserl entre a publicao de Sobre o Conceito de Nmero at
fevereiro de 1890 (MILLER, 1982, p. 10).
54
O qual foi estudado em Filosofia da Aritmtica na pesquisa sobre as fontes lgicas da aritmtica,
abordando os diferentes modos simblicos possveis de formao dos nmeros at chegar s formas mais
simples de cada um dos processos lgicos relacionados com as operaes aritmticas (HUSSERL, 1970).
55
Mas estas definies de p e de p poderiam ser pensadas como definies em uma axiomtica de Peano.

30
que no pertencem ao conjunto dos nmeros naturais. Desde suas pesquisas anteriores
publicao de Filosofia Aritmtica56, esse

um dos temas mais estritamente

relacionados com a teoria das multiplicidades57, conforme a explicao de Lgica


Formal e Transcendental:
O conceito de multiplicidade ... serviu-me originalmente para um outro fim, a saber, a
clarificao do sentido lgico da passagem do clculo para o imaginrio ... Minhas
questes eram: sob quais condies, em um sistema ... (em uma multiplicidade ...) a
possibilidade de operar livremente com os conceitos que, de acordo com a sua definio,
so imaginrios? ... Como se entende a possibilidade de se ampliar uma multiplicidade,
um sistema dedutivo bem definido em um sistema novo que contm o antigo como sua
parte? (HUSSERL, 1974, p. 101).

Por meio da noo de teoria das multiplicidades, Husserl conseguiu uma


maneira de tratar do conceito de nmero imaginrio utilizando sistemas formais58 que
podem ser ampliados com novas definies. Assim, os elementos que forem integrados
no domnio formal ou multiplicidade no sero mais considerados imaginrios.

O conceito do domnio formal ontolgico de um sistema de axiomas A nos permite definir o


que , pela perspectiva de A, um elemento imaginrio... Um elemento imaginrio
simplesmente um elemento que no est no domnio ... de A, no importa qual seja a base.
Em outras palavras, um elemento que, do ponto de vista de A, no existe. Ou ainda, um
elemento que no pode ser singularizado pelos axiomas do sistema. (DA SILVA, 2000b, p.
427)

Dentro da delimitao presente, podemos deixar registrada a convico


husserliana de que sua teoria da multiplicidade seria a chave para solucionar o problema
dos nmeros imaginrios para que eles pudessem receber um tratamento sistemtico

56

Husserl definiu esse tema dos imaginrios como tema de concluso dos meus antigos estudos
filosfico-matemticos (HUSSERL, 1974, p. 102).
57
Observe-se que Husserl utiliza a noo de nmero imaginrio em um sentido lato, incluindo os
nmeros inteiros, racionais, etc.
58
As explicaes presentes nos exemplos e notas abaixo pressupem algo sobre as teorias formais. Alm
de recomendar obras de introduo sobre o assunto como SANTANNA (2003), pode-se adiantar que
uma teoria formal possui os seguintes elementos: smbolos primitivos ou fundamentais, expresses que
so seqncias de smbolos, algumas expresses consideradas vlidas e chamadas de frmulas bem
formadas, um procedimento efetivo para definir quais so as frmulas consideradas bem formadas,
relaes entre as frmulas bem formadas e um procedimento efetivo para verificar se as frmulas
obedecem a estas relaes. A geometria euclidiana, por exemplo, pode ser elaborada como uma teoria
formal.

31
dentro dos padres da lgica pura como doutrina da cincia59. Se no comeo de sua
pesquisa, Husserl identificava o caminho da justificao da matemtica na percepo
original e autntica dos objetos concretos, a sua concepo foi ampliada filosoficamente
at a percepo da teoria das formas de teorias possveis ou teoria das multiplicidades,
nas quais os procedimentos tornam-se cada vez mais simblicos at os extremos do
formalismo puro. O desenvolvimento das teorias formais e axiomticas ajudaria a
oferecer recursos lgicos para a justificao das teorias simblicas60. A referncia aos
objetos imaginrios ou impossveis estaria justificada com as garantias de que as
dedues feitas a partir desses objetos estariam corretas, dada a conformidade daquele
sistema axiomtico com os padres formais da teoria das multiplicidades.

No prefcio das Investigaes Lgicas, Husserl fez uma aluso especfica ao fato de ter
ficado confuso com a teoria das multiplicidades (Mannigfaltigkeitslehre) com sua expanso
para formas especiais de nmeros e extenses. O fato, explicou ele, de se poder generalizar,
obviamente, produz variaes da aritmtica formal, que poderia levar para o lado de fora do
domnio quantitativo sem alterar a essncia da natureza teortica da aritmtica e mtodos de
clculo o fizeram perceber que havia mais nas cincias matemticas ou formais, ou no
mtodo matemtico de clculo, do que jamais seria captado em anlises puramente
quantitativas (HILL ET ROSADO HADDOCK, 2000, p. 151).

Em Lgica Formal e Transcendental, Husserl explicou que nos Prolegmenos


seu objetivo no era especificamente matemtico, mas era preparar os desenvolvimentos
filosficos que ocorreriam a partir das Investigaes Lgicas. Coerentes com essa idia
de Husserl, uma vez que escolhemos delimitar essa pesquisa nos Prolegmenos,
situaremos a importncia do problema dos nmeros imaginrios no desenvolvimento
das multiplicidades, tratando da influncia dos problemas lgicos e matemticos na
concepo husserliana. Assim, pretende-se continuar a anlise da elaborao da lgica

59

Este ponto de vista foi confirmado em HUSSERL (1949, 2006).


Como ser apresentado neste captulo, o exemplo mais simples da utilizao desses recursos formais
talvez seja o caso das equaes de coeficientes naturais com soluo pertencente ao conjunto dos nmeros
inteiros.
60

32
pura e da teoria das multiplicidades no contexto do desenvolvimento da filosofia da
matemtica husserliana. importante tratar da influncia matemtica, pois foi dela que
Husserl desenvolveu sua teoria das multiplicidades, incluindo seus dois aspectos
abordados nesta pesquisa, isto , a teoria das formas de teorias e a teoria dos correlatos
objetivos dessas teorias .
interessante notar que Husserl no ofereceu um exemplo em linguagem
formal da lgica ou da matemtica61, embora, provavelmente, fosse capaz disso, uma
vez que em 1891 ele j estava escrevendo trabalhos filosficos sobre as teorias
axiomticas62. Seja na obra Prolegmenos ou em Lgica Formal e Transcendental,
Husserl cita nominalmente alguns matemticos e suas respectivas teorias matemticas,
mas no oferece nenhum exemplo matemtico, exceto a propriedade comutatividade, a
qual aparece sem os detalhes formais da linguagem que definiriam matematicamente o
seu exemplo com preciso que exige em trabalhos estritamente lgicos e matemticos.
E o mesmo procedimento seguido, de modo geral, pelos seus comentaristas63. Disto
pode-se concluir que a exemplificao em linguagem formal da lgica e da matemtica
no necessria quando se pretende enfatizar a concepo filosfica propriamente dita,
mas no se deve eliminar a possibilidade de que tais exemplos sejam formalizados64.

61

Isso pode ser verificado nas vrias obras que tratam sobre multiplicidade.
O conhecimento matemtico de Husserl foi comentado por HILLL (2000). Pode-se entender teoria
axiomtica como uma teoria formal, no sentido dado em uma nota acima, com um elemento extra, que
um procedimento que permita determinar quais frmulas bem formadas da teoria formal em questo so
axiomas, os quais tambm so algumas dessas frmulas da teoria. Para mais detalhes, conferir, por
exemplo: SANTANNA (2003, p. 17).
63
Pode-se incluir os trabalhos que aparecem na extensa bibliografia desta dissertao, desde Jairo da
Silva a Claire Ortiz Hill, passando por Suzanne Bachelard e Thomas Mormann.
64
Se algum no concordar com essa hiptese, defendendo que necessrio apresentar as referncias
matemticas em uma linguagem formalizada para que as consideraes filosficas sejam vlidas, ter que
necessariamente concluir que a teoria de Husserl sobre a lgica pura no possui valor no contexto da
filosofia da lgica e da matemtica, assim como seus comentaristas, entrando em contradio com a
tendncia de assimilar essas implicaes filosficas husserlianas apesar da falta de formalizao de seus
exemplos, a qual observada em lgicos de renome como Kurt Gdel (DA SILVA, 2002a; WANG,
1987), o qual se voltou com grande interesse para a filosofia de Husserl a fim de esclarecer suas
curiosidades sobre a lgica que ultrapassava os limites da linguagem formal (KUSCH, 1989). Talvez
falte, nesta incompreenso acerca da formalizao no pensamento husserliano, a distino entre uma obra
tcnica sobre lgica e matemtica e uma obra filosfica sobre a lgica e a matemtica, seguindo as
62

33
No caso especfico do problema dos nmeros imaginrios, o prprio Husserl
no formaliza seus exemplos65, mas seus argumentos so compreensveis. Ele oferece
um exemplo de um sistema axiomtico qualquer identificado com a letra A. Em
seguida, postula um elemento qualquer que seja imaginrio para este sistema, isto ,
no tenha significado neste sistema ou no seja definido pelos seus axiomas, mas que
possa ser definido em uma outra teoria axiomtica, que preserve as propriedades de A.
Poderamos pensar, por convenincia, em um sistema axiomtico no qual sejam vlidas
explicaes dos Prolegmenos. Quem no perceber isso poder tomar o livro Investigaes Lgicas
pensando ingenuamente que deveria ser um livro escrito em linguagem lgica. Essa aparente contradio
no uma novidade de Husserl e de seus comentaristas, mas pode ser notada na obra de Aristteles que,
apesar de ter escrito uma obra sobre lgica formal, no escrevia suas diversas pesquisas filosficas nesta
mesma linguagem formal que ele mesmo descreveu, como se pode perceber na obra Primeiros Analticos
(ARISTTELES, 2005), que trata da silogstica, mas no apresentado como um tratado formal, o que
foi percebido pelos crticos lgicos contemporneos (SANTANNA, 2003). Aqui apresenta-se uma
distino de diferentes usos da linguagem que alguns filsofos parecem no perceber, especialmente
aqueles que MORMANN (1991) descreveu como pretendendo reduzir a filosofia filosofia da cincia e
esta sintaxe da linguagem cientfica, fazendo referncia s idias de CARNAP (2002). Uma teoria do
discurso que pode ajudar a resolver esse problema foi apresentada com a teoria dos quatro discursos em
CARVALHO (1996) baseando-se principalmente em ARISTTELES (2005). Assim como DALLAROSA (2002) aplicou a teoria dos quatro discursos ao conjunto dos estudos sobre Direito Constitucional,
seria possvel fazer um estudo anlogo em relao s diferentes finalidades do uso da linguagem no
contexto dos estudos sobre lgica e matemtica.
65
Como pode-se verificar em HUSSERL (1970, p. 433), por exemplo. Os comentaristas tambm no
formalizam seus exemplos. Miller (1982) oferece um exemplo informal do sistema dos nmeros racionais
que mantm algumas propriedades dos nmeros naturais. Pode-se encontrar uma formalizao e
explicao especfica dos nmeros naturais em obras como PINTO (2006), POIZAT (2000, p. 134) e
LIMA (1976, p. 26-30). Os nmeros naturais (N) podem ser representados como um conjunto com os
seguintes elementos: N = {1,2,3,...}, como feito por LIMA (1972, p. 2). Ele no define o que entende
por nmeros inteiros, mas podemos entender no sentido apresentado em JAKOBS (1992, p. 43-4), que
um livro de introduo aos problemas matemticos contemporneos escrito para filsofos. O autor parte
do conceito algbrico de corpo e formula suas leis correspondentes exemplificando-as com os nmeros
racionais. Este procedimento tambm adotado em LIMA (1972, p. 51). Neste livro, o conjunto dos
nmeros racionais (Q) descritos da seguinte maneira: o conjunto Q dos nmeros racionais formado
pelas fraes p/q, onde p e q pertencem a Z [conjunto dos nmeros inteiros], sendo q [diferente] 0. Em
smbolos, Q = {p/q; p [pertence] Z, q Z, q 0}, sendo que ele no define o que entende por fraes.
Da Silva (2000, p. 420) oferece um exemplo, tambm sem formalizao, do acrscimo de um elemento
negativo no sistema dos nmeros naturais. Em DA SILVA (2007) ele oferece muitos exemplos
interessantes recolhidos da histria da matemtica, mas tambm sem apresentar a formalizao do
exemplo. Esta falta de formalizao no deve estranhar, pois eles esto escrevendo trabalhos de filosofia,
ainda que seja filosofia acerca da lgica e da matemtica. Estas reflexes pressupem certo conhecimento
matemtico sem os quais as questes nem seriam levantadas. Por outro lado, transcendem os
conhecimentos matemticos na medida em que agregam elementos filosficos que geralmente no so
considerados por lgicos e matemticos. Sendo assim, estes tambm precisam buscar as referncias
filosficas necessrias para entender estas questes. curioso observar, em relao formalizao dos
exemplos, que at mesmo os livros de matemtica no definem formalmente alguns elementos que esto
apresentando em suas pginas, dependendo do objetivo especfico do livro. Por exemplo: POIZAT (2000)
no apresenta uma definio de nmeros inteiros, uma vez que pretende tratar de objetos matemticos
mais complexos que supe o conhecimento das propriedades dos nmeros inteiros. LIMA (1972)
apresenta a definio axiomtica dos nmeros inteiros, mas no faz o mesmo procedimento com os
nmeros inteiros e racionais.

34
as propriedades dos nmeros naturais, tais como definidas por Peano66, mas definida em
uma linguagem axiomtica67, na qual se pode formular e resolver equaes utilizando os
procedimentos vlidos, que ser chamado de A. Entretanto, nem toda equao
formulada ter sentido em termos dados pelos elementos de A. Por exemplo: ao
formular a equao x + y = 0, sendo x e y elementos diferentes e que pertencem
teoria A, no ser possvel encontrar uma resposta em A, isto , no h dois elementos x
e y quaisquer em A que somados (de acordo com os procedimentos indicados por +)
resultem no elemento 0. Entretanto, como se percebe na histria da matemtica, os
pesquisadores no se acomodaram com essa situao e foram buscando solues para
tais enigmas. Um grande exemplo foi Franois Vite, cujo lema era que nenhum
problema ficasse sem soluo68.
Coerente com o lema de Vite, SUPPES ET HILL (2002) sugerem o
acrscimo de um novo axioma que permita resolver esta equao. Perceba-se que estes
autores, na soluo do problema apresentado pela equao acima, concebem um novo
objeto, pensado apenas em termos de relaes formais possveis, pois busca-se um certo
elemento do sistema A que somado com outro elemento diferente, mas tambm
pertencente a A, pudesse resultar no elemento zero (0). Observando o procedimento da
resoluo da equao, percebe-se que os autores SUPPES ET HILL (2002) sabiam que
tal elemento procurado como resposta no poderia pertencer ao sistema A, ainda que
obedecesse s leis que regem A. Ou seja, eles j tinham em mente a forma, isto , o
conjunto de relaes formais possveis que esperavam do elemento soluo. E, melhor
66

Como j foi indicado acima, mas considerando a verso que inclui o elemento zero, como faz POIZAT
(2000).
67
Como aparece em POIZAT (2000, p. 134-5). O autor utiliza 11 axiomas para formalizar o que ele
chama de aritmtica de Peano e que j incluem algumas operaes envolvendo estes nmeros
naturais. Nesta linguagem axiomtica aparecem smbolos, termos, frmulas bem formadas,
procedimentos efetivos, regras de inferncias e axiomas. Tambm h exemplos em SUPPES ET HILL
(2002).
68
A sua obra sobre equaes, foi traduzida para o ingls e publicada como anexo em KLEIN (1992), o
qual faz referncias importncia das consideraes fenomenolgicas no estudo da histria da
matemtica.

35
ainda, como eles estavam pensando em dar a soluo em termos de linguagem formal,
no conceberam um elemento singular qualquer que, casusticamente, resolvesse aquela
equao, mas estavam pensando em um novo conjunto ou, mais precisamente, em uma
nova regio de objetos quaisquer, para usar uma expresso de Husserl, que obedecesse a
certas leis formais possveis. curioso que, se o primeiro sistema possua as mesmas
propriedades de um conjunto de nmeros, os naturais, este segundo sistema (B) ter
tambm as mesmas propriedades de um outro conjunto de nmeros69.
So duas regies de objetos diferentes: um desses contm o objeto que resolve
a equao dada e o outro no, mas eles possuem leis em comum70. Um deles pode ser
comparado com o conjunto dos nmeros naturais (N), por possuir uma correspondncia
isomrfica, isto , para cada elemento de A, pode-se encontrar um elemento
correspondente em N e, para cada operao definida em A, pode-se encontrar uma
operao correspondente em N, ainda que os sinais usados para indicar os elementos e
as operaes no sejam os mesmos.
A origem71 desta situao, isto , a evidncia inicial que permite a
compreenso do problema ou da soluo, pode ocorrer por meio de uma abordagem
matemtica. Algum poderia estar resolvendo uma equao, definida em termos de
nmeros naturais, como Vite estava fazendo, por exemplo, e perceber que no havia
soluo possvel para todas as equaes, como foi mostrado esquematicamente acima.
Ento, pode-se abstrair um exemplo qualquer, supondo x pertencente ao conjunto dos
nmeros naturais, algum poderia encontrar a equao x + 1 = 0 e afirmar que tal

69

Os nmeros inteiros. SUPPES ET HILL (2002) acrescentam o seguinte axioma, formando o novo
sistema axiomtico B: para todo X, X + (-x) = 0. Deve-se lembrar que o sistema B no o sistema dos
nmeros inteiros, mas, organizando seus axiomas, B pode permitir especificaes dos nmeros
inteiros, desde que seus termos sejam substitudos adequadamente, como indicado na obra citada, na
qual no se chega a construir a teoria formal dos nmeros inteiros.
70
Ambos obedecem, por exemplo, lei do fechamento da teoria algbrica dos grupos.
71
Como foi apresentado acima, ao tratar dos problemas filosficos que Husserl apresentou em Filosofia
da Aritmtica.

36
soluo seria impossvel72 no sistema formal em questo. Um matemtico iria lidar com
esta situao procurando uma teoria formal que permitisse solucion-lo, isto , um
sistema formal no qual fizesse sentido as operaes exigidas para a soluo da equao
da forma x + (-x) = 0. Isto , percebendo a impossibilidade de soluo em um sistema
dado, o matemtico iria abstrair a forma73 de tal sistema pensando-o como uma teoria
formal ou uma forma de teoria, isto , considerando seus elementos e relaes,
independentes de especificaes ou exemplificaes74. Ento, os signos usados em uma
determinada teoria deixam de simbolizar aquilo que se concebia inicialmente e so
pensados como expresso de um objeto qualquer que obedece quelas relaes formais.
Neste caso, considera-se as regras que regem os nmeros naturais simplesmente
conforme a axiomtica de Peano, sem considerar os nmeros naturais, pensando que ali
poderia estar qualquer objeto que seguisse aquelas regras formais. Assim, pode-se
perguntar se o sistema pode ser ampliado coerentemente e sem contradies pelo
acrscimo de novos smbolos, axiomas, etc.
Esta extenso da teoria pode ser exemplificada matematicamente, mantendo a
coerncia com o pensamento husserliano, mas utilizando uma definio mais elaborada
matematicamente75. Assim, poder-se-ia definir um grupo G, no-vazio76, que obedea s
leis com a forma77 das propriedades da adio como esto definidas na teoria dos

72

Como acontecia desde a poca de Diofanto, o qual diria que a equao foi mal formulada e exigiria um
nmero (arithmos) irracional (KLEIN, 1992).
73
A expresso husserliana.
74
Em outras palavras, deixando seu escopo indefinido, como explica DA SILVA (2007).
75
O que no uma infidelidade filosofia de Husserl, pois este estava sempre estudando as novidades
matemticas, aplicando-as e interpretando-as filosoficamente, como foi comentado, por exemplo, em
HILL (2000). Este procedimento adotado principalmente por matemticos que estudam teorias
matemticas ou teorias sobre a matemtica (metamatemtica) que no haviam sido formalizadas pelos
critrios mais rigorosos desenvolvidos, como fez, por exemplo, SUPPES (1993, p. 25-40), oferecendo
sugestes de axiomatizao para teorias elaboradas na Grcia Antiga, usando termos de predicados
conjuntistas, isto , por meio de predicados definidos com a utilizao da linguagem de conjuntos.
76
Isto , um conjunto que possua, pelo menos, um elemento.
77
Para facilitar a compreenso, o elemento mais abstrato, que o objeto prprio da teoria das
multiplicidades, que a forma da teoria, na linguagem husserliana, est sendo apresentado a partir de
um elemento mais intuitivo ou autntico (conforme a linguagem de Filosofia da Aritmtica). Entretanto,
este exemplo mais intuitivo, pela seqncia lgica ideal, seria uma aplicao dos princpios da teoria das

37
nmeros inteiros, mas sem especificarmos seus elementos como os nmeros inteiros,
isto , pensando apenas em objetos quaisquer que obedeam s leis formais que regem
os nmeros inteiros enquanto grupo algbrico. Assim, um conjunto de elementos que
obedecesse s propriedades ou regras de fechamento78, associatividade79, da
comutatividade80, do elemento neutro81 e do elemento inverso82, independente da
natureza de seus objetos83, mas tendo como nica condio submeter-se a estas
determinaes formais, seria um grupo (G). Este no necessariamente o conjunto dos
nmeros inteiros, mas um conjunto de elementos definidos apenas pelo fato de
obedecerem s leis especificadas acima e que poderiam ser apresentados em forma
axiomtica como uma teoria T de grupo abeliano84.
Note-se que esta teoria correspondente ao grupo G poderia ser ampliada, com
o acrscimo de axiomas que transformassem esta teoria em uma teoria algbrica de um
corpo K. Este possui, alm das propriedades citadas acima para a teoria T sobre o grupo
G, as seguintes propriedades para a operao de multiplicao (representada por .): a)
associatividade (anloga associatividade da adio: se x, y e z pertencem a K, segue-se
que (x.y).x = x. (y.z)); b) comutatividade (tambm anloga: x. y = y. x); c) elemento
neutro (anloga: existe um elemento 1 no corpo K tal que x.1 = x para qualquer x
pertencente a k, sendo que este 1 diferente do elemento 0 pertencente a K, que o

estruturas formais. E suas leis estariam includas em outra teoria mais abrangente. Dessa forma, dada uma
teoria T qualquer, poder-se-ia, conforme Husserl, elaborar uma teoria sobre as caractersticas essncias de
T enquanto teoria, como se faz no estudo das teorias formais.
78
De acordo com esta propriedade, o elemento resultante de uma adio de dois elementos pertencentes a
G tambm pertencer a G. E linguagem matemtica, se x e y pertencem a G e z = x + y, tem-se z
pertencente a G.
79
Para quaisquer trs elementos de G simbolizados por x, y e z valeira a equao (x + y) + z = x + (y + z).
80
Para todos elementos x e y pertencentes a G, tem-se x + y = y +x.
81
Existe um elemento 0 pertencente a G de tal maneira que para todo elemento x pertencente a G, x + 0 =
x. Observe que, pela propriedade da comutatividade, tem-se tambm que, para todo elemento x de G, vale
a equao 0 + x = x.
82
Por essa propriedade, fica garantido que todo elemento x de G possui um elemento simtrico -x, tal
que x + (-x) = 0. Vale a comutativa, de forma que x + x =0.
83
Para usar uma expresso de DA SILVA (1999).
84
Como foi feito em SANTANNA (2003, p. 69-70). Se o conjunto dos nmeros inteiros exemplificam
essa teoria T, no so necessariamente o nico exemplo.

38
elemento neutro da adio); d) inverso multiplicativo (tambm anloga: para todo
elemento x pertencente a K e diferente do elemento 0 pertencente a K, h um elemento
1/x, tal que x. 1/x = 185; e) fechamento (anlogo adio, como definido para a
estrutura e acima); e) distributividade : para x, y e z pertencentes a K, vale x . ( y + z) =
x.y + x.z.86. Note-se que os elementos que submetem-se a todas as leis algbricas de
corpo seriam considerados imaginrios no grupo comutativo G. E note-se tambm que
as leis em comum no valem automaticamente nos dois sistemas formais, mas exigem
as demonstraes respectivas de acordo com a axiomtica de cada teoria. A lei
comutativa, por exemplo, somente vale em um determinado grupo porque pode ser
provada de acordo com os seus prprios axiomas, o que vale, mutadis mutandis, para o
corpo.
Na apresentao desses exemplos retirados da teoria algbrica, deve ficar
patente que o tratamento dos nmeros imaginrios pela teoria das multiplicidades no
evidentemente uma ampliao arbitrria das teorias daqueles nmeros, o que levaria a
contradies, mas trata-se de um trabalho sistemtico a partir das semelhanas nas
formas de teoria que se referem aos diferentes objetos matemticos.
Tal possibilidade de sistematizao teortica de formas puras referentes a
diversas teorias cientficas no deixou de interessar o prprio Husserl. E assim, do
problema dos nmeros imaginrios, desdobrar-se-iam possibilidades teorticas
relacionadas com as teorias das formas de teorias e de seus correlatos objetivos. Para o
estudo da teoria das multiplicidades no contexto da lgica pura como doutrina da
cincia, importa aqui esta noo de domnio de um sistema formal, isto , de uma regio

85

Onde a barra / significa a diviso usual conforme o algoritmo da diviso algbrica.


Para o estudo de outras teorias algbricas, conferir obras como SHETH (2002). Um exemplo breve
pode ser encontrado se tomarmos as propriedades deste corpo K e excluirmos a propriedade do elemento
inverso multiplicativo, teremos uma estrutura algbrica chamada de anel comutativo. E se excluirmos,
sucessivamente, a propriedade comutativa da multiplicao teremos simplesmente um anel, isto , outra
estrutura, pois o conjunto de relaes mudou.
86

39
de objetos definidas apenas por obedecerem a algumas leis formais definidas por um
sistema de axiomas. Tambm interessante notar que Husserl desenvolveu esta noo
como um elemento instrumental para evitar absurdos e contradies em sistemas
axiomticos, mas tendo implicaes no estudo filosfico do conhecimento simblico, o
qual poderia ser auxiliado por meio de uma ampliao de smbolos referentes a
elementos imaginrios, desde que estes pudessem ser provados coerentemente na teoria
em questo.

1.3

ALGUMAS

EXIGNCIAS

MULTIPLICIDADES

DIANTE

FILOSFICAS
DA

LGICA

DA
DA

TEORIA

DAS

MATEMTICA

CONTEMPORNEAS A HUSSERL

Husserl estava bastante atualizado em relao s descobertas mais relevantes


da lgica e da matemtica de seu tempo87. A palavra lgica um termo que j foi
utilizado em muitos sentidos na histria da filosofia88. Mesmo assim, possvel
localizar temas comuns nas vrias elaboraes filosficas sobre a concepo da lgica.
H, de modo geral, muitos princpios em comum entre Husserl e os outros pensadores
contemporneos. Alm da influncia citada da anlise matemtica de Weierstrass na
Filosofia da Aritmtica: a aritmtica pura (ou a anlise pura) uma cincia que
baseada somente no conceito de nmero (HUSSERL, 1970, p. 12), pode-se citar a
influncia de Dedekind e Cantor que visavam um consistente, puramente aritmtico
87

Husserl provavelmente foi um dos primeiros a experimentar o impacto direto dos problemas
desafiantes da teoria dos conjuntos de Cantor. Neste item tambm sero utilizados dados das pesquisas de
HILL (1994, 2002), HILL ET ROSADO HADDOCK (2000), MOHANTY (1995, p. 69-70), SMITH
(2003a, p. 26-8; 2003b, p. 427-8) e WIEGAND (2000, p. 111). Outras relaes da obra filosfica de
Husserl com a lgica dos sculos XIX e XX podem ser encontradas em FIDALGO (1996), HILL (2002a)
e HUSSERL (1970, 1994, 2003).
88
Logo, seria um termo equvoco no sentido aristotlico (ARISTTELES, 2005). Um exemplo desse
carter equvoco do termo lgica pode ser encontrado na pesquisa que Antonio Portnoy publicou no
Dicionrio Filosfico (PORTNOY, 1952, p. 65-73) sobre as principais concepes de lgica da
histria. Apenas entre as principais definies apresentadas pelos pensadores dos sculos XVIII, XIX e
XX, ele cita 14 definies distintas.

40
desenvolvimento da anlise (MILLER, 1982, p. 6). Assim, a concepo de lgica de
Husserl relaciona-se com os problemas lgicos de sua poca. Reforando esta idia,
pode-se fazer algumas relaes com os problemas lgicos e matemticos de sua poca,
especialmente as concepes de sistema formal e multiplicidade que eram estudadas na
matemtica e na lgica da poca.
Por outro lado, a diferena entre Husserl e os demais lgicos de seu tempo
notvel: Quando ele [Husserl] olhou para os sistemas dedutivos de sua poca,
encontrou apenas obscuridade em relao ao status teortico89 (DAHLSTROM,
2003, p. 1). E, por meio desta pesquisa de clarificao da lgica, Husserl chegou teoria
das multiplicidades, que contribui para o esclarecimento filosfico dos estudos lgicos.
Por meio desta sua teoria, procurou-se ampliar o domnio da lgica90, assimilando as
ltimas descobertas da matemtica.

Direcionando-se somente para aquilo que ele alternadamente chamava de enigmas,


tenses, quebra-cabeas e mistrios sobre a cincia e a lgica pura, e enxergando sua
volta apenas idias vagas, mal desenvolvidas, ambguas e confusas, sem nenhuma
compreenso global e verdadeiramente satisfatria do pensamento simblico ou de
qualquer processo lgico, Husserl se lanou sozinho na resoluo dos problemas de suas
investigaes nas profundezas da matemtica (HILL ET HADDOCK, 2000, p. 149)

Retomando o debate sobre a filosofia pr-fenomenolgica husserliana, quando


se estuda o desenvolvimento da lgica no perodo que antecede a publicao das
Investigaes Lgicas de Husserl, destaca-se a figura de Frege. Um dos autores que
enfatiza esta importncia91 para a lgica pura o prprio Husserl, como se deduz deste

89

No foi por acaso que Husserl afirmou que a sua busca de clarificao filosfica afastou-o de Homens
e trabalhos aos quais a minha formao cientfica tem as maiores dvidas (DAHLSTROM, 2003, p. 3).
90
Husserl aprofunda a explicao da sua noo de lgica em HUSSERL (1957).
91
A importncia de Frege na lgica dos sculos XIX e XX indiscutvel: [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 construir um sistema dedutivo e
formal da lgica (BOOLOS, 1998, p. 143 ).

41
trecho das Investigaes Lgicas: Aproveito a ocasio para assinalar com referncia a
todas as discusses destes prolegmenos o prlogo da obra posterior de Frege, Os
Fundamentos da Aritmtica, tomo I, Jena, 1893 (HUSSERL, 1922, p. 169).
A comum opinionis92 atribui uma grande influncia de Frege sobre Husserl
devido resenha crtica93 que aquele fez acerca da obra husserliana Filosofia da
Aritmtica94. A crtica de Frege ao psicologismo anterior95. Na obra Filosofia da
Aritmtica, Husserl no concordou com a posio de Frege segundo a qual a lgica
deveria ser fundada sem anlises psicolgicas96:
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 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 silogstica, o ideal de
Frege (HUSSERL, 1970, p. 118).

E depois, nas Investigaes Lgicas, Husserl mudou de posio e concordou


com o antipsicologismo fregeano: 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 (HUSSERL, 1922, p. 169). Para esta dissertao,

92

Por exemplo: DUMMET (2000) e BETH ET PIAGET, 1961, mas MILLER (1982) prefere no tomar
posio sobre este tpico.
93
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). .
94
possvel encontrar uma voz mais destoante, em relao dimenso da influncia fregeana em
Husserl, nos comentrios de Barry Smith (SMITH ET SMITH, 1995, p. 5).
95
Conferir FREGE (1972). Na obra Os Fundamentos da Aritmtica. Um estudo lgico-matemtico do
conceito, um dos principais objetos de crtica foi John Stuart Mill: Ele critica o cru tratamento
emprico de Mill para o objeto da aritmtica (STYAZHKIN, 1969, p. 264). Mill valoriza o papel da
induo no raciocnio lgico. Ao analisar o silogismo, ele escreveu: Toda inferncia do particular ao
particular. Proposies universais so apenas registros de tais inferncias j feitas (MILL, 1867, p.
129). Frege foi um crtico notvel de tal posio ao refutar a idia de que as leis da aritmtica procedem
da induo.
96
Anlises sobre a origem do nmero no sentido acima explicado. curioso que isto associado
seriedade filosfica de Husserl na seguinte anlise: Tambm contrariamente a Frege, Husserl percebe
como um problema importante, o modo como intumos nmeros, isto , como tornamo-nos conscientes
desses objetos abstratos. Frege, que no est interessado na questo, entende-a como uma concesso ao
psicologismo. Husserl evidentemente assume, nesse aspecto, com mais seriedade a funo de filsofo
(DA SILVA, 2002, p. 577).

42
o mais importante, diante da polmica entre eles, reconhecer que ambos sustentavam a
posio filosfica de que a lgica essencialmente uma disciplina teortica, no sentido
da discusso conduzida por Husserl nos Prolegmenos97, onde a concepo de teoria
das multiplicidades culmina98 com a elaborao de uma concepo de lgica como
uma cincia pura e a priori cujo objetivo primrio no a mente que faz juzos, mas o
plano dos significados ideais e imutveis ( MILLER, 1982, p. 15). Este ponto
culminante da sua concepo de multiplicidade em sentido matemtico aparece nos
Prolegmenos como a teoria das formas de teoria e dos seus correlatos objetivos99.

97

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 disciplina teortica e ambos podem ser
considerados, em certo sentido, logicistas em relao filosofia da matemtica (MILLER, 1982, p. 4s.).
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, influenciando a escola filosfica analtica, de tal maneira que a comunicao
entre os pensadores das duas linhas de pensamento foi dificultando, sob alguns aspectos (DUMMET,
2003). 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): De Husserl pode-se dizer que pertence tradio analtica
(SELLARS, 1968, p. 125). Dessa forma, ambos (Husserl e Frege), divergeriam dentro da mesma escola
analtica, onde um teria se voltado para as essncias e outro para a linguagem. Nessa linha, Dummet
afirma curiosamente que Frege o av da filosofia analtica e que Brentano o bisav da filosofia
analtica (DUMMET, 2003, p. xviii).Entre as pesquisas feitas pelo autor sobre este assunto, uma das
opinies mais curiosas encontradas sobre a relao filosfica entre Frege e Husserl a do historiador P.S.
Popov (Autor de Istoriza logichi novogo opemeni , isto , Histria da lgica recente), segundo o
qual, Frege foi um predecessor de Husserl e da fenomenologia em geral (STYAZHKIN, 1969, p. 264).
No original: predecessor of Husserl and phenomenology in general. Entretanto, Styazhkin no
concorda com Popov: No entanto, muito duvidoso que isto seja assim. Alm disso, Frege era
completamente estranho a este subjetivismo. As relaes entre as filosofias de Husserl e Frege so
debatidas mais profundamente no livro HILL ET ROSADO HADDOCK (2000).
98
Isto pode ser dito baseando-se na classificao das trs fases da filosofia da matemtica husserliana
conforme MILLER (1982), mas tambm coerente com a classificao das trs respostas de Husserl ao
problema do conhecimento simblico feito por DA SILVA (2007). 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, um texto
que foi publicado em HUSSERL (1970), 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.
99
Com uma posio que confirmada quase 30 anos depois em Lgica Formal e Transcendental: Ele
sempre considerou esta teoria como representando a tarefa mais avanada de lgica formal e a
formulao dela nos Prolegmenos como definitiva99 (HILL ET ROSADO HADDOCK, 2000, p.156).

43
principalmente a partir deste ponto100 que Husserl se abre para um problema marcante
que o levar a pensar mais profundamente na noo de multiplicidade: a busca de uma
teoria acerca dos sistemas dedutivos formais qual corresponder a noo de
multiplicidade formal como a determinao formal do domnio de uma destas teorias ou
dos objetos tratados por esta teoria.
Entretanto, por mais que Husserl tenha se dedicado s teorias dos outros
lgicos, matemticos e filsofos da poca, a teoria das multiplicidades da sua lgica
pura aparece no momento em que ele passa para reflexes mais gerais sobre uma teoria
universal acerca dos sistemas dedutivos formais, isto , as teorias. E, desse momento em
diante, ele assume essa teoria das multiplicidades de uma maneira to completa que no
foi preciso fazer grandes alteraes em suas caractersticas principais:

Desde os primeiros trabalhos at a obra Crise das cincias europias, o tema da teoria
das multiplicidades permanece praticamente inalterado. [Na forma de] Mathesis
universalis ou lgica pura abrangendo matemtica pura como cincia teortica, a teoria da
multiplicidade vista por Husserl como uma teoria geral que abarca todas teorias ou
sistemas dedutivos (GAUTHIER, 2002, p. 131).

Esta ltima concepo de teoria das multiplicidades a elaborao da idia da


lgica pura ou de uma teoria sistemtica acerca das teorias puramente formais. Trata-se
de uma teoria que descreve um objeto, chamado de multiplicidade, definido em termos
puramente formais. Uma teoria, assim, apenas exibe um conjunto de relaes formais
que regem um domnio de objetos puramente formais, que, depois, pode ser instanciado
nas diversas teorias matemticas especficas que servem como interpretaes, isto , nas
quais sejam vlidos os mesmos axiomas e teoremas dessas teorias puras. Ele trata das
caractersticas comuns a diversas teorias matemticas. Estas teorias puras so
100

Na discusso seguinte sero utilizadas as referncias de DA SILVA (2007), GAUTHIER ( 2002, p.


129), HUSSERL (1922), KLUTH (2005); KRAUSE, 2002). Na discusso terminolgica sero utilizadas
referncias de DEDEKIND (1948), HARTIMO (1993, p. 136), HILL (2002a); HILL ET ROSADO
HADDOCK (2000).

44
manipulaes simblicas que lidam apenas com objetos formais e, indiretamente, com
as possveis exemplificaes.
Neste contexto, Husserl percebeu a teoria matemtica das multiplicidades que
ele identificou na anlise matemtica, por exemplo101, como uma realizao parcial da
idia da cincia dos sistemas dedutivos possveis, a qual completada no conjunto da
teoria da lgica pura. Ele percebeu que a teoria das multiplicidades como correlato
objetivo de um sistema formal j estava em realizao na matemtica do sculo XIX102.
Nesse sentido, a teoria das multiplicidades uma resposta filosfica ao
desenvolvimento que a matemtica e a lgica tiveram na poca de Husserl, alm de
servir como um exemplo que contraria, em sua formalidade objetiva, os postulados
psicologistas sobre a lgica enquanto disciplina cientfica.
A anlise matemtica, por exemplo, passa a ser entendida como uma
disciplina teortica voltada para uma espcie distinta de regio de objetos103
(MILLER, 1982, p. 16) ou uma teoria sobre uma multiplicidade formal. 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 e esta, por sua vez, no mais apenas uma tcnica de manipulao de signos, mas
se refere a verdades sobre uma certa regio de objetos mais do que acerca de
tcnicas para ajudar a mente que faz juzos104 (MILLER, 1982, p. 16). Assim sendo,
no h contradio entre as duas concepes105, pois a disciplina prtica ou normativa

101

Conferir a explicao detalhada de MILLER (1982).


Os nomes citados por Husserl nos Prolegmenos e em Lgica Formal e Transcendental so: Lie,
Hamilton, Cantor, Riemann e Grassmann. Um problema possvel, a partir daqui, seria descobrir em que
sentido cada uma dessas teorias foi mais ou menos importante como referncia para a filosofia de
Husserl. Para outros detalhes sobre as possibilidades de comparao entre esta teoria filosfica de Husserl
e as teorias matemticas do sculo XIX, conferir GAUTHIER (2002).
103
No original: a theoretical discipline toward a distinctive type of object region.
104
No original: truths about a certain regions of objects rather than with techniques to aid the judging
mind.
105
Este tema da distino do conhecimento teortico e do conhecimento normativo na obra de Husserl
ser retomado no prximo captulo desta dissertao.
102

45
pode ser derivada da disciplina teortica106. A este sentido matemtico acima, deve-se
acrescentar a teoria das multiplicidades como a parte mais elevada na hierarquia
filosfica da lgica pura, enfatizando que no se trata apenas de uma teoria matemtica,
mas de uma assimilao dos problemas matemticos e lgicos na filosofia107.
Por enquanto, deve ficar claro que os conceitos de uma teoria das
multiplicidades formais so puramente ideais: Do ponto de vista husserliano, a
multiplicidade seria uma regio de objetos definidos exclusivamente por critrios
formais, sem considerao pelos seus aspectos concretos. Dessa forma, definindo um
conjunto e definindo as relaes entre eles, pode-se obter uma multiplicidade. Seja o
106

Pois, segundo Husserl, a teoria pura logicamente mais fundamental (HUSSERL, 1922).
O termo Mannigfaltigkeitslehre foi cunhado por Riemann ao desenvolver (em trabalho que,
curiosamente, seria publicado por intermdio de Dedekind em 1868) na sua teoria geral dos espaos, as
definies geomtricas para multiplicidades ou estruturas de n-dimensionais (n-dimensional manifold isto , estruturas que possuem um nmero n qualquer de dimenses, onde n pertence ao conjunto dos
nmeros naturais) e de suas curvaturas. De acordo com Husserl, a estrutura formal (Mannigfaltigkeit) em
Riemann era um agregado combinado em um todo que esteja ordenado e cujos elementos so
continuamente interdependentes (em topologia, trata-se, grosso modo, de um espao em que, dados dois
pontos, sabe-se a distncia entre eles e define-se a vizinhana mais prxima a eles). No fundamental
apresentar um conceito formal desta superfcie de Riemann no contexto dessa explicao sobre a lgica
pura de Husserl, tanto que ele mesmo no faz isso, nem seus comentaristas como Da Silva, Hartimo,
Bachelard, Ortiz Hill, etc. Apesar disso, apresento aqui uma breve definio traduzida de CARTAN
(1951), na qual apenas foram mudados alguns detalhes da notao e encurtados alguns trechos da
explicao: dado um ponto P qualquer de uma superfcie de Riemann (manifold), possvel encontrar
uma vizinhana de P, um sistema de coordenadas (u,v) tal que se u e v so coordenadas de P, existe um
raio r > 0, tendo a propriedade seguinte: todo sistema de nmeros satisfazendo a inequao ( u u) +
(v v) < r constitui a coordenada de um ponto e uma vizinhana simples do ponto P da superfcie
dada. De modo inverso, em uma vizinhana suficientemente pequena de P, todo ponto P tem coordenadas
(u,v) que satisfazem a inequao acima. De modo geral, uma superfcie com um nmero n (n
pertencente a o conjunto dos nmeros naturais) de dimenses caracterizada pela possibilidade de
representao da vizinhana de cada ponto P por meio de um sistema de n coordenadas que podem
tomar todos os possveis valores na vizinhana de um sistema de valores representados com as n
coordenadas que representam P (CARTAN, p 57-8).
Cantor, por sua vez, usou o mesmo termo na sua teoria dos conjuntos em 1883, mas depois substituiu
Mannigfaltigkeitslehre por Mengenlehre.
Dedekind usou a terminologia de Cantor
(Mannigfaltigkeit como conjunto), pois a considerou riemanniana. Dedekind trata estas totalidades
(Manifolds) como sistemas ao definir algo que posteriormente ser entendido como o modelo de
Peano. Mirja Hartimo destaca a importncia e a semelhana dos conceitos da teoria dos nmeros de
Dedekind com a teoria das multiplicidades de Husserl. Semelhana cuja significao reforada pelo
fato de que Husserl possui dois famosos ensaios de Dedekind (HARTIMO, 2003, p. 144). A teoria das
teorias possveis, ou, mais propriamente, seu correlato objetivo (nos termos de Husserl), tem seus objetos
determinados apenas pelos axiomas da teoria, correspondendo s classes de sistemas em Dedekind.
Mas a principal diferena talvez seja a seguinte: Husserl no quis se limitar ao modelo de apenas uma
teoria s quais outras pudessem ser isomrficas, como a teoria dos nmeros, no caso de Dedekind. Para
conhecer alguns textos matemticos originais dos autores citados, remetemos o leitor coletnea de
SMITH (1929), que possui pginas clssicas de autores importantes na histria da noo de
multiplicidade formal, do ponto de vista matemtico, como RIEMANN (1929, p. 405-84), LIE (1929, p.
485-99), HAMILTON (1929, p. 677-83) e GRASSMANN (1929, p. 684-96) acompanhadas de breves
comentrios.
107

46
exemplo dado por Husserl nos Prolegmenos com uma operao determinada
(HUSSERL, 1922, 1999a). Ele no citou o conjunto, nem a propriedade
especificamente, mas indicou apenas uma relao em geral definida pelo sinal + para
a qual valessem as leis como a nica que ele exemplificou, utilizando uma equao a +
b = b +a. Esta seria justamente a propriedade da comutatividade, mas Husserl no est
pensando na aritmtica ou em um conjunto numrico, pois assim j estaria
exemplificando a teoria, isto , aplicando-a a um conjunto especfico. Ele est pensando
em objetos considerados apenas abstrata e formalmente108. Em outras palavras: no
estudo matemtico das multiplicidades o objeto abordado apenas nos seus aspectos
formais, isto , como algo que obedece a determinadas relaes possveis. Assim, a
teoria das multiplicidades uma teoria que trata da forma da teoria enquanto tal, isto ,
do conjunto de regras que determinam um domnio de objetos enquanto elementos
puramente formais. Este tema relaciona-se com a problemtica do psicologismo e
remete-nos diretamente questo da lgica pura como doutrina da cincia.

108

O exemplo de Husserl possui uma semelhana notvel com o conceito de estrutura formal, como foi
enfatizado por DA SILVA (1999, 2007): uma estrutura um par ordenado, ou seja, um conjunto e =
<D,R>, sendo que D um conjunto e R um conjunto de relaes conjuntistas definidas sobre D
(SANTANNA, 2005, p. 28). Assim, esta espcie de estruturas possui diversas especializaes ou
aplicaes. Qualquer grupo abeliano poderia ser apresentado como exemplo, inclusive o conjunto dos
nmeros inteiros ou dos nmeros reais. Utilizando a linguagem apresentada acima, esta estrutura poderia
ser simbolizada como e = <G, +>. Qualquer uma dessas especializaes recebe o nome tcnico de
modelo. A geometria euclidiana pode ser elaborada como uma teoria formal. Uma estrutura ser um
modelo de uma espcie de estruturas quando os axiomas desta continuarem vlidos naquela. Suppes
afirma que quando uma teoria axiomatizada pela definio de um predicado conjuntista, por um
modelo desta teoria entende-se simplesmente uma entidade que satisfaa o predicado (SUPPES, 1957,
p. 253). E para destacar que no precisa ser exatamente uma adio aritmtica, mas pode ter qualquer
outro modelo que se mostre vlido, poderia simbolizar-se as operaes no como x * y, sendo x e y
elementos de G, mas como *(x,y). Estes objetos de G que obedecem a essas propriedades no so
nmeros, mas so objetos puramente formais no-especificados ou no-interpretados. Estes objetos so
estudados por uma ontologia formal e podem ser chamados de multiplicidades como uma traduo
portuguesa para Mannifaltigkeit.

47
2 A LGICA PURA DOS PROLEGMENOS S INVESTIGAES
LGICAS

Esta pesquisa foi delimitada na abordagem husserliana da teoria das


multiplicidades que aparece nos Prolegmenos s Investigaes Lgicas. A explicao
da temtica deste livro ser o foco deste segundo captulo109, abordando a objetividade
da lgica e da matemtica. Entretanto, para perceber a relao entre a teoria das
multiplicidades e a lgica pura dos Prolegmenos sero apresentadas as condies da
problemtica da lgica pura como doutrina da cincia onde aparece a teoria das
multiplicidades.

2.1 O TEMA DOS PROLEGMENOS

No captulo anterior, mostrou-se que a psicologia foi considerada 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 a objetividade das matemticas e das cincias era plenamente compatvel
com a fundamentao psicolgica da lgica (DAHLSTROM, 2003, p. 2). Foi esta
dvida que o levou a refletir criticamente sobre a essncia da lgica, tema dos
Prolegmenos, e sobre a relao entre a subjetividade do conhecimento e a
objetividade do contedo do conhecimento110 (DAHLSTROM, 2003, p. 2). Isto o fez
suspender seus questionamentos especficos sobre a filosofia da matemtica e passar
109

Para isso, sero utilizadas principalmente as referncias das obras BACHELARD (1955), DA SILVA
(1999), DE BOER (1978), FISETTE (2003), HUSSERL (1922, 1970, 1974, 1981, 1999a), MILLER
(1982), MORMANN (1991), MOURA (1989), SHEEHAN (1981), SMITH (2002, 2003a).
110

No original: the relation between the subjectivity of knowing and the objectivity of the content
of knowledge.

48
para questes fundamentais acerca da epistemologia e do status da lgica enquanto
cincia. Neste sentido, foram levantadas as seguintes hipteses por Husserl:

As questes discutidas tradicionalmente e que esto em relao com a delimitao da


lgica so as seguintes: 1. Se a lgica uma disciplina teortica ou uma disciplina prtica
(uma arte). 2. Se uma cincia independente das demais cincias e em especial da
psicologia e da metafsica. 3. Se uma disciplina formal ou, como costuma dizer-se, se
refere mera forma do conhecimento ou deve tomar em considerao tambm sua
matria. 4. Se tem o carter de uma disciplina a priori e demonstrativa ou o de uma
disciplina emprica e indutiva. (HUSSERL, 1922, p. 7).

Estas questes transparecem na prpria estrutura da obra Prolegmenos, a qual


dividida em duas partes principais, depois das quais viria o captulo sobre lgica
pura111: a) uma introduo sobre a necessidade de fundamentar a lgica em uma
disciplina teortica (correspondente aos dois primeiros captulos); b) refutao de
tentativas de fundamentar a lgica a partir das disciplinas empricas, especialmente a
psicologia.
O tema dos Prolegmenos112 a objetividade da lgica e da matemtica em
um contexto de introduo s investigaes fenomenolgicas. Nos Prolegmenos,
Husserl estudou o problema da condio da lgica enquanto cincia, assim como os
problemas da objetividade das teorias cientficas em geral, na medida em que se

111

A qual, por sua vez, precede a introduo e s seis investigaes propriamente ditas em torno da
fenomenologia e da teoria do conhecimento.
112
Um panorama das diferentes organizaes das sucessivas edies deste livro pode ser encontrado em
SMITH (2002, p. 22-4), o qual identifica sete teorias desenvolvidas incompleta e informalmente em
respectivamente cada um dos livros das Investigaes Lgicas (SMITH, 2003, p. 21-34). Entre estas,
para o tema da teoria das multiplicidades na lgica pura interessa mais a teoria da filosofia da lgica que
Smith localiza nos Prolegmenos (SMITH, 2003, p. 30), o que corrobora a delimitao que o autor desta
pesquisa escolheu, ainda que parea destoar dos livros de lgica mais recentes: Prolegmenos Lgica
Pura de Husserl foi por si s um livro separado sobre a lgica filosfica. Mas diferente dos livros
atuais sobre lgica, por causa de seu contexto nas Investigaes Lgicas, em que a lgica leva
fenomenologia e alm (SMITH, 2003, p. 27-8). David Smith lana perguntas naquele captulo que
merecem ser lembradas neste captulo, ainda que no seja possvel respond-las definitivamente no
mbito desta pesquisa. Por exemplo, para ficarmos naquelas mais relacionadas com os Prolegmenos e a
lgica pura: Por que a obra Prolegmenos serve de introduo para as seis Investigaes restantes? E por
que ele merece seu prprio volume na apresentao de Husserl? (SMITH, 2003, p. 25). A hiptese de
Smith vai ao encontro da hiptese encaminhada neste captulo: Eu creio que a resposta est na larga
idia de lgica de Husserl, uma idia que hoje se perdeu no despertar das enormes, porm restritas,
conquistas dos pensadores do sculo 20 (SMITH, 2003, p. 25).

49
relacionam com a lgica, e a refutao do psicologismo, associado com o relativismo e
o ceticismo. Assim, Husserl fez uma espcie de ponte com uma tradio filosfica que
procedia de Aristteles, passando por Leibniz e outros. Ele visava uma pesquisa que
assegurasse o sentido da lgica como cincia pura e a priori dos sentidos ideais e das
leis formais reguladoras da cincia dedutiva. Assim, as contradies psicologistas
seriam evitadas, especialmente uma espcie de relativismo ctico sobre as
possibilidades do conhecimento objetivo.
Ao observar a unidade dos Prolegmenos no ponto de vista da lgica pura,
percebe-se que Husserl procura definir se a lgica arte prtica ou cincia que procura
justificar os pensamentos cientficos enquanto raciocnios encaminhados coerentemente
em uma teoria. Com esta pesquisa, ele encaminhou-se para a descoberta de elementos
lgicos comuns aos raciocnios e fundamentaes de todas as cincias113. Para
responder a estas questes estabelecidas nos Prolegmenos, a lgica pura husserliana
precisa estudar a prpria essncia da cincia chegando aos elementos comuns e
necessrios a qualquer teoria114.
Husserl comea suas Investigaes Lgicas partindo do status quaestionis em
torno das discusses acerca da definio da lgica e dos contedos lgicos essenciais.
Ele buscou determinar os fundamentos da lgica enquanto disciplina teortica, isto , o
que faz dela uma teoria cientfica. Ao enfrentar as questes indicadas acima, ele
distingue trs tendncias principais nos estudos sobre os fundamentos da lgica: a)
psicologismo, segundo o qual a lgica deveria descrever a maneira como a mente
produz os pensamentos; b) formalismo, pelo qual a lgica estudaria as condies ideais
que evitariam as contradies no pensamento; c) metafsica, que estuda a lgica como

113

Especialmente das cincias que se aproximam mais do ideal da lgica pura como a matemtica ou a
prpria lgica.
114
Por exemplo: todas elas possuem conceitos fundamentais e seguem algumas leis lgicas no
desenvolvimento de seus raciocnios (HUSSERL, 1922).

50
instrumento de discernimento de contedos eidticos verdadeiros. So concepes
diferentes a respeito da lgica. Na medida em que so concedidos significados distintos
ao mesmo termo (lgica), o debate filosfico e cientfico torna-se confuso, podendo
chegar a concluses equivocadas e prejudiciais. A meta husserliana distinguir a mera
convico pessoal de carter arbitrrio daquilo que vlido cientificamente e que,
portanto, deve ser aceito por todos aqueles que compreenderam uma determinada teoria.
Para isto necessrio executar a clarificao da teoria lgica, chegando a seus
elementos essenciais enquanto teoria cientfica.
A cada uma dessas trs maneiras de se estudar a lgica, corresponde uma
metodologia para justific-la, o que indicado nas hipteses husserlianas apresentadas
acima, as quais desenvolvem implicaes filosficas sobre a lgica115. Diante desta
problemtica, a lgica pode ser colocada em seus elementos fundamentais ou justificada
cognitivamente ou em termos do seu valor como cincia de acordo com essas trs
possibilidades distintas. Estas trs linhas de pesquisa devem demonstrar a sua
legitimidade e a sua validade, delimitando seu objetos formais e seus mtodos. Husserl
considerou cada uma delas, especialmente a abordagem psicologista, assumindo uma
posio intermediria116, que, de certa maneira, sintetizava-as:

Na discusso sobre a fundamentao psicolgica ou objetiva da lgica tomo, pois, uma


posio intermediria. Os antipsicologistas dirigiam freqentemente sua ateno s leis
ideais, que caracterizamos como leis lgicas puras; os psicologistas voltavam-se para as
regras metodolgicas, que caracterizamos como antropolgicas. muito compreensvel que

115

O prprio enunciado das hipteses dos Prolegmenos ajuda a pensar sobre as maneiras de justificar
filosoficamente o status da lgica enquanto cincia e a objetividade do conhecimento. Em cada uma
delas, Husserl abre dois caminhos: um conduz na direo epistemolgica da lgica pura como doutrina da
cincia e o outro remete ao psicologismo. Por exemplo: na concepo pura e objetiva da lgica como uma
disciplina a priori e demonstrativa, esta ser uma disciplina teortica, enquanto o psicologista, de modo
geral, conceber a lgica como uma arte prtica com o fim de aperfeioar o raciocnio, concedendo-lhe a
natureza de uma disciplina emprica e indutiva. Na concepo pura, a lgica possui autonomia, dada a
natureza do seu objeto que a prpria forma do conhecimento, enquanto o psicologista tentar justificar a
dependncia do conhecimento lgico em relao psicologia (HUSSERL, 19222, p. 7).
116
O equilbrio de Husserl que procurava considerar honestamente os aspectos positivos de cada
uma das hipteses levantadas aparece, por exemplo, em HUSSERL (1999a, p. 141-2), onde o prprio
antipsicologismo tambm recebe algumas crticas.

51
os psicologistas mostrassem-se pouco dispostos a dar razo ao ncleo essencial dos
argumentos contrrios, uma vez que havia todos os motivos e confuses psicologsticos que
se deveria evitar antes de tudo. ( HUSSERL, 1922, p. 164).

A resposta questo, lanada nos Prolegmenos, sobre a fundamentao da


lgica enquanto cincia determinar os rumos metodolgicos da lgica pura enquanto
disciplina filosfica117 e da prpria teoria das multiplicidades. Por exemplo: se a lgica
uma disciplina subordinada psicologia, a lgica pura dever basear-se na psicologia
para estabelecer as leis fundamentais do raciocnio cientfico. Mutadis mutandis, se a
fundamentao da lgica apenas formal, a lgica pura dever ser uma cincia
meramente formal, deixando de lado os outros aspectos das cincias em geral. Se a
fundamentao em questo for ontolgica ou fenomenolgica, a lgica pura dever
estabelecer uma metodologia ontolgica ou fenomenolgica para estabelecer suas leis.
Diante das possibilidades de soluo da questo do status da lgica como
disciplina cientfica, Husserl faz concesses ao formalismo e s exigncias filosficas,
mas apresenta fortes crticas ao psicologismo, na medida em que isso abre uma srie de
argumentos e questes sobre as vises subjetivistas da lgica e do conhecimento em
geral. E, de fato, nos Prolegmenos, Husserl desenvolve uma lista de conseqncias
prejudiciais da fundamentao psicolgica da lgica como teoria da cincia, mas uma
das principais o relativismo118. Estas implicaes ajudam a entender como aquele
filsofo preocupado com questes dedicadas filosofia da aritmtica foi se dedicar a
questes to amplas sobre a teoria das multiplicidades, entendida como teoria formas
117

Tema particularmente abordado no captulo 11 dos Prolegmenos. Conferir HUSSERL (1999a,


p. 191-213)
118
Para Husserl, o psicologismo , em todas as suas formas, um relativismo... ainda que nem sempre
seja reconhecido ou confessado expressamente118 (HUSSERL, 1922, p. 123). A justificativa de tal
afirmao to categrica est no prprio texto dos Prolegmenos: toda teoria que considera as leis
lgicas puras como leis emprico-psicolgicas maneira dos empiristas, ou que, maneira dos
aprioristas, as reduzem de um modo mais ou menos mtico a certas formas primordiais ou funes do
entendimento (humano), conscincia em geral (como razo genrica humana), constituio
psicofsica do homem, ao intellectus ipse, que como faculdade inata (no gnero humano) precede ao
pensamento real e a toda experincia, etc..., ... relativista... (HUSSERL, 1922, p.124). Pode-se
conferir outras crticas husserlianas aos psicologistas em HUSSERL (1922, p.124-153).

52
das teorias em geral e dos seus correlatos objetivos, trazendo questes relacionadas
teoria do conhecimento, epistemologia, ontologia e a prpria fenomenologia119.
Ao refazer algumas hipteses analisadas por Husserl nos Prolegmenos sobre
a justificao dos elementos fundamentais da lgica pura como doutrina da cincia,
mostra-se, assim, os elementos da questo que possam ser relacionados com a teoria das
multiplicidades. Se os Prolegmenos s Investigaes Lgicas contm essa reflexo
sobre a objetividade do conhecimento teortico na lgica e na matemtica, assim como
nas cincias em geral, pode-se perguntar pelo modo que surge, nesse contexto, a
reflexo sobre a lgica pura e sobre a teoria das multiplicidades.

2.2) O PROBLEMA DO PSICOLOGISMO

Entendendo a temtica geral dos Prolegmenos, torna-se mais compreensvel a


preocupao husserliana em refutar o psicologismo na fundamentao da lgica. As
crticas ao psicologismo decorrem coerentemente da preocupao em estudar a
objetividade da lgica. Nos Prolegmenos, Husserl dedica-se a apresentar as principais
teses da corrente psicologista 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. Neste debate, ao psicologismo120 corresponde a hiptese de que as bases
teorticas da lgica esto na psicologia.

119

Como pode ser verificado na lista de assuntos que aparecem no prprio ndice do volume
completo das Investigaes Lgicas e como foi explorado mais detalhadamente em SMITH (2003, p. 2134).
120
Para uma definio geral de psicologismo, conferir SPIEGELBERG (1975) e SANTOS (1958,
p. 37). Entre as vrias definies de psicologismo, pode-se citar tambm a de Spiegelberg, que define o
psicologismo criticado em Investigaes Lgicas como A tentativa de derivar as leis lgicas das leis
psicolgicas (SPIEGELBERG, 1994, p. 751).

53
Assim, nos Prolegmenos, Husserl trabalha na correo dos erros filosficos
derivados do psicologismo. As conseqncias do psicologismo so erros que se
manifestaro cientfica ou filosoficamente, dependendo do mbito da pesquisa. Segundo
Husserl, de acordo com estes erros pode-se classificar as teorias como: a) falsas, b)
absurdas121, c) cticas122. Em termos filosficos, estes erros podem se manifestar como
variaes do relativismo, o qual definido por Husserl a partir da clebre frmula de
Protgoras123. Assim, o relativista aquele que estabelece a verdade e o conhecimento
em funo de um outro fator, como o indivduo ou a espcie humana como um todo.
As respostas das questes dos Prolegmenos sobre a objetividade da lgica
dependem das bases teorticas da lgica e da teoria do conhecimento, o que implica no
esclarecimento dos princpios relacionados com a prpria concepo do que cincia e
do que uma teoria cientfica. Nos Prolegmenos, Husserl prossegue sistematicamente,
abordando passo a passo os principias argumentos psicologistas124, relacionados com a
tentativa de utilizar a psicologia para dar o fundamento teortico da lgica. Em todos os
casos, ele obtm como resultado a negao dos princpios psicologistas: 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 (HUSSERL, 1922, p. 8).
121

Pelos erros que apresentam, como uma teoria que apresentasse uma contradio inicial notvel. Por
exemplo: se ao apresentar os nmeros naturais, um axioma inicial afirmassem que nenhum nmero
natural menor que zero e o axioma seguinte afirmasse que todos os nmeros naturais so maiores que
zero.
122
Estas teorias cticas dividem-se conforme adotem um ceticismo lgico ou notico. Para Husserl, as
teorias cticas epistemologicamente so aquelas cujas teses afirmam expressamente ou implicam
analiticamente que as condies lgicas ou noticas da possibilidade de uma teoria em geral so falsas
(HUSSERL, 1922, p. 112). Se as condies negadas so ditas lgicas ou objetivas, trata-se do ceticismo
lgico, o que acontece, por exemplo, se algum afirma que impossvel fazer uma demonstrao
cientfica. Se as condies so noticas, como o caso, por exemplo, das formas do ceticismo antigo.
Husserl est pensando nas antigas formas de ceticismo que sustentam teses como as de que no h
nenhuma verdade, nenhum conhecimento, etc.. (HUSSERL, 1922, p. 112).
123
Segundo o dito atribudo a Protgoras, o homem a medida de todas as coisas. Husserl define
relativismo como Toda verdade e todo conhecimento so relativos (HUSSERL, 1922, p. 112).
124
Os Prolegmenos representam um notvel exemplo de anlise cuidadosa e sistemtica de uma
questo filosfica. Como algum j afirmou, Husserl o prottipo da honestidade intelectual
(CARVALHO, 1994, p. 3).

54
Husserl chegou a reconhecer que, nas Investigaes Lgicas, fez todos os
esforos para que seus leitores reconhecessem a esfera ideal do ser e do conhecimento.
Ele criticou aqueles que no entenderam a sua obra e limitaram-se a ver uma psicologia
da imanncia em Investigaes Lgicas. Assim, ele destacou a distino completa entre
a fenomenologia entendida como uma cincia das puras possibilidades essenciais e a
psicologia descritiva125, que ele passou a considerar como um ramo da psicologia
emprica126. Assim, quando Husserl faz esta abordagem psicolgica da matemtica, no
est tratando a anlise matemtica como um ramo da psicologia, nem a matemtica
como um ramo de uma cincia indutiva e emprica (MILLER, 1982, p. 8). Para ele, a
matemtica, enquanto ramo da lgica pura, possui como objeto de estudo as
dependncias puramente lgicas das magnitudes e das relaes posicionais
(MILLER, 1982, p. 8), isto , as multiplicidades.

125

A psicologia descritiva lida com fatos atuais da experincia conforme podem ser observados em
indivduos reais, enquanto a fenomenologia descreve as caractersticas essenciais da experincia lgica
correspondente ao fenmeno estudado, como as leis lgicas, por exemplo.
126
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. Entretanto, mesmo em
Investigaes Lgicas, havia uma influncia notvel de Brentano, o que foi explicado mais
detalhadamente em DE BOER ( 1978, p.49). Nos trabalhos para a reedio de 1913 de Investigaes
Lgicas, Husserl criticou a enganadora caracterizao da fenomenologia como uma psicologia
descritiva (HUSSERL, 2002, p. 312-4). O autor dos Prolegmenos fez os comentrios acima porque
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 caracterizao da
fenomenologia como uma psicologia descritiva (DAHLSTROM, 2003, p. 5). Um exemplo que parece
estar nessa confuso acerca da postura filosfica de Husserl a anlise feita por Evert Beth. Guillermo E.
R. Haddock classifica a atitude de Bell como um mito historiogrfico (historiogaphical myth) e inclui
outros pesquisadores entre aqueles que aderiram a este mito: Michael Dummet, Dagfinn Follesdal e
outros (ROSADO HADDOCK ET HILL, 2000, p. 199). Para Beth, se h psicologismo na Filosofia da
Aritmtica, tambm h nas Investigaes Lgicas, pois entre uma e obra e outra houve apenas uma
mudana terminolgica: 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 (BETH ET PIAGET, 1961, p. 47).
Entretanto, esta afirmativa faz uma generalizao indevida, pois, de fato, h mtodos e conceitos
psicolgicos utilizados na Filosofia da Aritmtica que permanecessem nas Investigaes Lgicas, 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, a qual pode ser teortica ou
normativa, por exemplo (HUSSERL, 1922).Um exemplo disto a distino husserliana entre os modos
de apresentao simblica ou por meio de signos (HUSSERL, 1970, p. 38, 193) e a eigentlich ou
autntica (HUSSERL, 1970, p. 6, 190). O leitor pode conferir, sobre este assunto, as observaes de
MILLER (1982, p. 7-8) e DE BOER (1978, p. 60-5; 82-90). Na obra Lgica Formal e Transcendental.
Sobre essa crtica ao psicologismo, conferir HUSSERL (1957, p. 232-5). Husserl refuta a posio de que
h psicologismo epistemolgico nas Investigaes Lgicas.

55
Considerando as mudanas de concepo de Husserl acerca da filosofia da
matemtica e do prprio psicologismo que foram listadas acima, percebe-se algumas
conseqncias importantes em relao ao papel da psicologia nas investigaes
husserlianas. Se estas mostram uma insatisfao com as anlises psicolgicas feitas por
ele mesmo em Sobre o conceito de nmero e Filosofia da Aritmtica, na perspectiva
deste trabalho, o aspecto mais interessante nesta polmica antipsicologista como as
reflexes sobre as hipteses de fundamentao psicolgica da lgica o conduziram a
reflexes crticas gerais sobre a essncia da lgica, e sobre a relao especfica entre
a subjetividade do saber e a objetividade do contedo conhecido" (HILL ET

ROSADO HADDOCK, 2000, p. 145).


E, mais especificamente ainda, as preocupaes sobre a abordagem
psicolgica da matemtica tero conseqncias sobre suas concepes acerca da sua
teoria das multiplicidades. Percebendo os limites do psicologismo, Husserl
desenvolver a sua teoria das multiplicidades com mais objetividade, por ter percebido
o carter especial da lgica pura, considerada como um campo independente de
pesquisa, obtendo o maior mrito de suas crticas ao psicologismo: o valor de suas
crticas ao psicologismo lgico, explicou Husserl em Lgica Formal e Transcendental,
repousa precisamente na ateno prestada lgica pura e analtica, diferente de
qualquer psicologia, como sendo um campo independente, como a geometria ou as
cincias naturais (HILL et HADDOCK, 2000, p. 172).

2.2.1 UM CASO ESPECIAL DENTRO DA POLMICA ANTIPSICOLOGISTA:


O LIMITE TEORTICO ENTRE PSICOLOGIA E MATEMTICA

Entre os aspectos do psicologismo criticados por Husserl, ser destacado um


elemento mais relevante no contexto da discusso da teoria das multiplicidades: a

56
distino teortica entre a psicologia e a matemtica. Esta uma das principais
variaes de psicologismo criticado nos Prolegmenos. Trata-se da posio segundo a
qual o nmero apenas um fenmeno subjetivo, 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 tese127, mas a segunda parecia mais razovel:

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 pode-se mostrar 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 (HUSSERL, 1922, p. 170).

Nesta problemtica epistemolgica interessa ser mais detalhado e retomar o


argumento antipsicologista de Husserl. Para conhecer os objetos necessrio efetivar
concretamente as operaes psicolgicas que so estudadas pela psicologia, mas devese distinguir 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: 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 geral128 (HUSSERL, 1922, p. 172). A matemtica, por sua vez, trata de
individualidades ideais (ideale Einzelheiten), isto :

127

Posio que BALAGUER (1998) classifica como ficcionalismo.


Concepo semelhante de psicologia, implicando em refutao semelhante do psicologismo pode ser
encontrada em SANTOS (1958, p. 27-37).
128

57
Tratam pura e simplesmente dos nmeros e de suas combinaes, em sua pureza e
idealidade abstratas. As leis da arithmetica universallis ... 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 aritmticas
singulares, aquelas da arithmetica numerosa. Estas leis surgem mediante a aplicao
daquelas leis aritmticas universais a nmeros dados (HUSSERL, 1922, p. 172).

A considerao presente sobre a relao entre a psicologia e a matemtica


aplica-se, mutadis mutandis, para a relao entre a psicologia e a lgica pura, tema
relevante para resolver a questo da possibilidade do psicologismo como
fundamentao da lgica. O ponto principal aqui que h dois sistemas de leis e um no
se reduz ao outro e um deles no depende do outro, ainda que as leis matemticas e
psicolgicas no entrem em contradio: 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 (HUSSERL,
1922, p. 172).
Husserl no est negando 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 nocontradio do raciocnio, que est implicado em suas condies formais129 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.
Resumindo as crticas husserlianas, pode-se concluir que o principal erro do
psicologismo

129

estaria

relacionado

Formal no sentido de MENDELSON (1987).

falta

de

algumas

distines

filosficas

58
fundamentais130: a) distino entre o plano ideal (que abrange os entes lgicos e
matemticos como a-temporais) e o plano real (que inclui os entes que dependem
diretamente das condies espaciais e temporais); b) a necessidade real e a necessidade
lgica, assim como o fundamento real e o fundamento lgico.
Tudo isto conduzir Husserl distino entre cincia ideal, totalmente a priori,
que estuda conceitos e leis gerais idealmente fundadas e, por outro lado, a cincia real
que formula leis factuais, como so aquelas que regem a vida psquica concreta. Assim,
a lgica pura lidar com as relaes objetivas entre causas e conseqncias ideais,
deixando de lado os fenmenos psquicos.
Na medida em que os psicologismos criticados por Husserl nos Prolegmenos
fazem com que a lgica dependa teoreticamente da psicologia, isto mostra um outro
aspecto que pode ser considerado comum a eles: 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 , somente do valor,
validez, e exatido quilo que pode ser explicado por sua especialidade131 (SANTOS,
1958, p. 37).
Por atingir a base teortica do psicologismo enquanto hiptese de
fundamentao da lgica como disciplina cientfica, deve-se reconhecer o alcance dessa
crtica ao psicologismo feita nos Prolegmenos s Investigaes Lgicas: estes
Prolegmenos abrangem uma crtica devastadora de todas as formas de psicologismo

130

Estas distines so essenciais em relao ao conhecimento e esto apresentadas em HUSSERL (1922,


p. 80).
131
Mrio Ferreira dos Santos (SANTOS, 1958, p. 28) tambm vai ao encontro das observaes de
TIESZEN (2005). .

59
na filosofia, isto , de todas as tentativas para conceber as subdisciplinas da filosofia
como ramos da psicologia emprica132 (SMITH et SMITH, 1995, p. 5).

2.3) A IDIA DE LGICA PURA COMO DOUTRINA DA CINCIA

Retomando a percepo da continuidade da problemtica husserliana relativa


aos temas lgicos e matemticos, desde suas primeiras pesquisas, percebe-se que o
problema da lgica pura na filosofia de Husserl no arbitrrio, mas o resultado de
um desenvolvimento coerente133 (MILLER, 1982, p. 26). E, ainda insistindo na
reflexo sobre a coerncia interna dos Prolegmenos, pode-se perguntar sobre a relao
entre as crticas ao psicologismo e a elaborao de uma lgica pura como teoria da
cincia.

Havia consideraes, confessaria Husserl no prefcio das Investigaes Lgicas, em que


as bases psicolgicas nunca o satisfizeram. As anlises psicolgicas de seu trabalho anterior
sobre as bases da aritmtica, explicou ele, deixaram-no profundamente insatisfeito e ele se
tornou cada vez mais inquieto por dvidas de princpio, como por exemplo de que forma
reconciliar a objetividade da matemtica, e de toda a cincia no geral, com uma base
psicolgica para a lgica. Todo o seu mtodo, pelo qual ele imaginara elucidar a
matemtica atravs de anlises psicolgicas ficaram abaladas e ele se sentiu cada vez mais
empurrado na direo de reflexes crticas gerais sobre a essncia da lgica, e sobre a
relao, em especial, entre a subjetividade do saber e a objetividade do contedo sabido"
(HILL ET HADDOCK, 2000, p.145 ).

Os problemas que acompanhariam as pesquisas relacionadas com a lgica pura


aparecem nos Prolegmenos, onde Husserl fez uma srie de estudos visando a
preparao de uma espcie de filosofia da lgica que obteria a inteleco da essncia

132

Deste ponto, poder-se-ia concluir o seguinte: se a lgica fundamenta primordialmente em leis


objetivas, as tendncias psicologistas e relativistas parecem depender especialmente de tendncias
psicolgicas e subjetivas relativas a seus defensores. Por isso mesmo, na medida em que estas tendncias
pessoais tendem a renovar-se a cada gerao, tambm importante retomar a crtica husserliana ao
psicologismo e s suas conseqncias filosficas e cientficas.
133
Isto tambm foi enfatizado por Walter Biemel, editor da Husserliana, que o conjunto das obras
publicadas de Husserl em alemo, a partir da organizao inicial do padre van Breda.

60
da prpria teoria cientfica, trazendo mais inteligibilidade para a cincia enquanto
atividade teortica.

O autor [Husserl] parte do estudo da unidade da cincia, examinando a conexo das


coisas e a conexo das verdades, a unidade da teoria, distinguindo as verdades individuais e
as verdades gerais, os princpios essenciais e no-essenciais que fornecem uma unidade
cincia, ... a questo das condies ideais da possibilidade de uma cincia, ou de uma teoria
geral. Procura fixar essas condies , de natureza noticas, lgico-objetivas para chegar
determinao das tarefas da lgica pura, a fixao das categorias puras de significao,
categorias objetivas puras e complicaes de suas leis (MACEDO, 1984, p. 23).

Um dos fatores que exigiram o esclarecimento da noo de lgica pura em


Husserl a prpria ambigidade filosfica do termo lgica134. Alguns dos equvocos
psicologistas decorrem da distino entre conhecimento teortico e normativo. Para
Husserl, a cincia primeiramente teortica e, secundariamente, normativa: os lgicos
de fato preenchem volumes enormes sem dizer que ningum deve fazer algo... termos
que formam o ncleo do vocabulrio lgico no so usados por eles para condenar,
louvar ou repreender, para exortar ou dirigir, de maneira alguma (WILLARD, 1977,
p. 10-11).
A lgica normativa tambm possui sua legitimidade, mas pressupe a
disciplina lgica teortica, a qual mais fundamental. E baseado nesta distino
fundamental entre conhecimento normativo e teortico que Husserl apoiou-se para
criticar o psicologismo. A validade cientfica transcende inclusive as relaes empricas
que podem lhe servir de apoio, pois h uma passagem da considerao emprica dos
fatos para as leis e modelos teorticos correspondentes: Os teoremas da teoria
cientfica no so relaes empiricamente estabelecidas; mas, se uma teoria

134

Sobre este assunto, para resumir, pode-se apresentar o comentrio de Bochenski: h poucos termos
na linguagem tcnica da filosofia que so to ambguos como o termo lgica(BOCHENSKI, 1968,
p. 9). Na terminologia de Bochenski, este captulo, assim como a lgica pura de Husserl, no trataria
da lgica formal ou da metodologia cientfica, as quais tambm so cincias da inferncia de
acordo com ele, mas da filosofia da lgica, a qual estuda vrias questes sobre a lgica em si e a
natureza de suas leis (BOCHENSKI, 1968, p. 9).

61
verdadeira, ento dever existir algumas relaes entre a teoria e as relaes
empricas se no completamente, pelo menos aproximadamente de identidade e
conversibilidade (SMIRNOV, 1970, p. 50).
Esta lgica teortica, distinta e anterior lgica normativa, a lgica pura
como doutrina da cincia. Husserl tambm a nomeou como cincia das cincias,
doutrina da cincia, arte do conhecimento cientfico e, ainda, lgica como
disciplina filosfica, na medida em que efetiva uma ordenao prvia do prprio
raciocnio cientfico, incluindo a teoria das multiplicidades. Uma tese fundamental
pressuposta nesta concepo de lgica husserliana135 a de que a cincia possui uma
essncia, isto , de que ela possui caractersticas essenciais que fazem com que ela seja
135

E que parece remeter-nos a Plato (HILL ET ROSADO HADOCK, 2000). Smith chamou a filosofia
da lgica dos Prolegmenos de neoplatonismo. O problema do platonismo em Husserl merece um breve
excurso sobre essa tendncia filosfica husserliana. No contexto da filosofia da matemtica de Edmund
Husserl, uma questo importante, principalmente para as concluses em termos de ontologia formal a
partir da lgica pura husserliana, a concepo dos nmeros em Husserl, a qual leva quase
inevitavelmente discusso sobre a posio de Husserl acerca do platonismo. Philip Miller faz uma
comparao entre as concepes platnicas e husserlianas (KLEIN, 1992) distinguindo trs status
ontolgicos para os nmeros: a) nmeros sensveis (ou concretos ou individuais), isto ,
considerados no ato psicolgico concreto da contagem (MILLER, 1982, p. 104); b) nmeros
matemticos (ou ideais), isto , considerados enquanto objetos formais e atemporais estudados
pelas matemticas (MILLER, 1982, p. 104); .c) arithmos eidetikoi (nmeros eidticos), os quais
Miller compara com a espcie unitria ou essncia em Husserl (MILLER, 1982, p. 104). Husserl
prefere o termo essncia idia pois esta possui uma carga semntica, acumulada durante sculos,
que poderia trazer equvocos na compreenso filosfica: Barry Smith afirma categoricamente o
platonismo dos Prolegmenos (SMITH ET SMITH, 1995, p. 5), posio com a qual Rollinger parece
concordar parcialmente (ROLLINGER, 1993, p. 4). MILLER (1982, p. 90) cita a distino feita em
Investigaes Lgicas entre nmeros concretos e nmeros ideais para esclarecer este problema, citando
algumas referncias para balizar sua posio nesta delicada questo. A partir da, este autor faz um
resumo dos captulos de KLEIN (1922) sobre as concepes ontolgicas de nmero na filosofia de Plato
para apresentar a noo de nmero platnica e compar-la, na seqncia, com a concepo husserliana.
Sem fechar a questo, mas evitando simplificaes exageradas, pode-se observar que dificilmente pode-se
levar tal comparao entre as filosofias da matemtica de Husserl e Plato at as ltimas conseqncias,
pois seus objetivos eram parcialmente distintos, mas h alguma afinidade entre ambos, como se percebe
nas referncias feitas em HUSSERL (1970b), a qual merece ser aprofundada luz das ltimas
descobertas filolgicas e filosficas sobre o conjunto da obra platnica. Talvez o coroamento dessa
influncia platonista em Husserl esteja na prpria fenomenologia: A fenomenologia seria uma disciplina
fotogrfica. Toda a abordagem pela qual a superao do psicologismo conquistada
fenomenologicamente, explicou Husserl, demonstra que aquilo que foi dado como anlise de
conscincia interna deve ser considerada como uma anlise de essncia pura. Ele chegou a considerar
sistemas idealistas como sendo do mais alto valor, que dimenses totalmente novas e radicais de
problemas filosficos eram elucidados neles, e os principais e maiores objetivos da filosofia s se abrem
quando o mtodo filosfico de que necessitam esses sistemas especficos clarificado e desenvolvido.
Todo esforo possvel, escreveu ele, foi feito nas Investigaes Lgicas para permitir ao leitor
reconhecer esta esfera ideal de ser e conhecimento para apoiar o ideal neste sentido verdadeiramente
Platnico, para se declarar a favor do idealismo com o autor"135 (HILL ET ROSADO HADDOCK,
2000, p. 151).

62
cincia e no literatura ou religio136, por exemplo. A lgica pura investigar a essncia
da cincia, justificando-a como fundamento da teoria em geral. Alis, segundo Husserl,
as investigaes filosficas relacionadas com a lgica pura procedem da anlise da
descrio da essncia da atividade cientfica ou, em outras palavras, dos prprios
conceitos fundamentais que esto pressupostos em qualquer raciocnio cientfico. O
projeto de uma lgica pura como doutrina da cincia remete-se, assim, noo de
doutrina da cincia (wissenschaftslehere) desenvolvido por Bernard Bolzano, assim
como a noo do estudo puro da proposio em si137:
Husserl descreveu sua idia de lgica pura especialmente no ltimo captulo
dos Prolegmenos, que se chama justamente A Idia de Lgica Pura, onde aparecem
mais organizadamente as idias sobre lgica pura como doutrina da cincia que eram
citadas desde o comeo do livro: com isto fica assinalada uma nova e complexa
disciplina, cuja peculiaridade consiste em ser cincia da cincia e que poderia ser
chamada teoria da cincia no sentido mais prprio desta palavra (HUSSERL, 1922,
136

Um exemplo de estudo sobre as diferenas entre cincia e no-cincia ZUBIRI (1970). Outro estudo
distinguindo especificamente cincia de pseudocincia DITCHFIELD (2001).
137
O prprio Husserl apresenta, em Investigaes Lgicas, a influncia que recebeu de Bernard Bolzano.
Essa influncia pode ser percebida de vrias maneiras. Por exemplo: Husserl inspirou-se na Teoria da
Cincia de Bolzano (Wissenschaftslehre) (1835), que definiu a lgica como a teoria da cincia. A
partir de Bolzano, Husserl esboou as noes ... de idia e proposio objetivas (Vorstellung an sich,
Satz an sich...) (SMITH, 2003, p. 27). Jan Berg escreveu na introduo de Aritmtica pura (Reine
Zahlenlehre) de Bolzano sobre a convergncia das posies de Bolzano, Weierstrass e Husserl sobre a
relaes entre o estudo dos nmeros e a anlise matemtica : O conceito bolzaniano de aritmtica
abrange tanto a teoria dos nmeros como a anlise. (BERG in BOLZANO, 1978, p.7). Outros trabalhos
de Bolzano nos quais se pode notar esta convergncia com os autores citados so Matemtica universal
(Allgemeine Mathesis) de 1810 e, especialmente, em Sobre as caractersticas dos nmeros (Von
den Eigenschaften der Zahlen). De modo geral, pode-se afirmar que a concepo lgica de Bolzano foi
fundamental para a noo de lgica pura em Husserl: De acordo com Bolzano, a lgica como cincia
deve primeiramente se acostumar a diferenciar as coisas com preciso matemtica e a desenvolver seus
conceitos com exatido matemtica. Bolzano estabeleceu princpios para a construo de uma lgica
inquestionvel e fez as tentativas iniciais para sua concretizao (STYAZHKIN, 1969, p. 146). Outra
descrio de alguns elementos fundamentais da lgica bolzaniana esta que ressalta seus estudos sobre a
evidncia: Bolzano investigou o seguinte problema. Como se pode descobrir se uma determinada
verdade bsica sem acesso a critrios subjetivos, baseado na intuio ou no conhecimento perceptual
imediato? (DUHN, 2003, p. 21). interessante notar que esta influncia bolzaniana no deixa de
provocar certo contraste em relao citada influncia de Franz Brentano na obra husserliana, pois a
lgica pura como doutrina da cincia conjunto sistemtico de doutrinas que deveria ser cultivado com
mtodos diferentes dos brentanianos, que eram mais inspirados nas cincias naturais. Este novo mtodo
que supera a psicologia de Brentano a prpria fenomenologia. Em 1905 Husserl j havia escrito ao
prprio Brentano assumindo essa posio (HILL ET HADDOCK, 2000).
.

63
p. 11-2). Neste sentido, utiliza-se a expresso lgica pura como doutrina da cincia,
pois h uma classe de investigaes fundamentais da lgica pura que se relaciona
justamente teoria da cincia (wissenschaftlehre) e ao conhecimento em geral:
igualmente um postulado indispensvel de nossas aspiraes relativas ao
conhecimento; tais investigaes afetam a todas as cincias do mesmo modo, porque se
referem em poucas palavras ao que faz com que as cincias sejam cincias
efetivamente (HUSSERL, 1922, p. 11).
A idia da lgica pura, que tambm a priori e formal138, tornando-se assim
condio para a existncia das prprias cincias. Estas dependem da lgica pura na
medida em que so logicamente possveis devido a regularidade e independncia de
suas formas que a caracterizam enquanto cincias. Husserl pensa a cincia da lgica em
um sentido amplo, que ser descrito mais detalhadamente em Lgica Formal e
Transcendental, como a regio ou domnio de investigao das exigncias essenciais
daquilo que se busca como um saber verdadeiro139 e que seja capaz de justificar
consciente e autenticamente seu mtodo e sua teoria a partir de princpios puros, no
sentido de independentes da experincia psicolgica, mas considerados apenas a priori,
como conseqncias do prprio conceito de teoria cientfica. Assim, relacionado a essa
idia de cincia da lgica em geral, aparecem as noes de conhecimento possvel em
geral e mtodo possvel em geral, formando os temas da lgica pura, compondo a idia
de uma teoria a priori da cincia voltada para os contedos ideais e objetivos que se
apresentam sob a forma de um sistema de proposies verdadeiras na unidade de um

138

Como foi explicado por FISETTE (2003, p. 43) , por exemplo.


Husserl associa a verdade com a evidncia da intencionalidade em questo, ou a certeza que reconhece
aquilo que e evita aquilo que no (HUSSERL, 1922, p. 12). A partir das referncias que ele cita, podese pensar, sem contradies, que ele est aplicando um critrio de verdade por correspondncia, onde h
relao entre as expresses do discurso e as formas ontolgicas, tema que ser retomado no ltimo
captulo. A partir da noo de evidncia, ele distingue os outros graus de certeza no saber
139

64
teoria que corresponde, por sua vez, a uma regio de objetos formais que deixam
indeterminados cada particularidade material dos objetos com os quais se relaciona.
importante destacar o aspecto puro da lgica que decorre da sua
considerao como um conhecimento autnomo em relao s condies psicolgicas,
pois a idia da lgica tambm aparece como unidade psicolgica dos atos de
pensamentos realizados durante a pesquisa cientfica, mas no disto que Husserl trata,
pelo que se observou na distino entre psicologia e lgica e na crtica s diversas
formas de psicologismo apresentadas acima. Para Husserl, o que faz com que uma
cincia seja uma cincia no a sua unidade psicolgica, mas uma unidade ideal140
entre os elementos de uma determinada teoria, o que inclui dois elementos distintos que
se unem na idia de cincia: a conexo dos objetos intencionados na vivncia do
pensamento e a conexo das verdades141. Husserl afirma que a verdade correlato do
ser, obtendo assim a objetividade buscada pela cincia: a verdade em si, que constitui
o correlato necessrio do ser em si142 (HUSSERL, 1922, p. 228). Verdade e objeto, na
cincia, so separados apenas por abstrao143. A verdade possui uma unidade objetiva
apesar da diversidade de atos psicolgicos que podem oferecer a evidncia desta mesma
verdade144. Assim, Husserl define cincia como verdade unificada (geeinigten
Warheit) na relao entre verdade e objetividade, de maneira que uma mesma cincia
possui uma unidade de objeto (einheitliche Gegenstndlichkeit145) que a unidade da
140

No sentido que ser desenvolvido na Primeira Investigao Lgica (HUSSERL, 1922).


No importando, neste caso, se as coisas intencionadas so ideais ou reais, isto , se so meras
possibilidades lgicas ou matemticas ou entes que existem dependendo de condies espaciais e
temporais.
142
Esta posio que exige a relao entre o intelecto que profere a verdade e o objeto ao qual se refere a
verdade pode ser encontrada em vrios filsofos no decorrer da histria da filosofia, inclusive Aristteles,
citado por Husserl como pioneiro, em certo sentido, da lgica pura.
143
E, assim, pode-se perceber a importncia do estudo ontolgico da teoria matemtica, que tambm deve
considerar seus objetos de estudo, ainda que objetos de conhecimento simblico.
144
Pode-se ter um exemplo nesta idia de lgica pura. Os atos psicolgicos que Husserl fez para perceber
a evidncia desta noo so provavelmente distintos dos atos feitos pelo autor dessa dissertao, que
tambm deve ter feitos atos diferentes do leitor, mas h uma unidade ideal entre as diversas evidncias
pois elas se referem mesma intencionalidade, que a essncia de lgica pura.
145
Literalmente: objetividade unitria.
141

65
regio de objetos estudada por aquela cincia (Einheit des Wissenschaftsgebietes). A
relao entre verdade e objeto remete-nos noo de que uma determinada teoria lgica
ou matemtica tambm ter uma correspondente unidade da sua regio de objetos, o que
ter implicaes no estudo das multiplicidades ou domnios formais possveis das
teorias cientficas.
Entretanto, Husserl afirma que no basta a unidade de uma determinada teoria
para definir a idia de cincia, mas preciso determinar a espcie de unidade que existe
na mesma teoria. Para ser cincia objetiva, no sentido da lgica pura, preciso que a
cincia tenha uma unidade nas suas conexes de fundamentaes, e que o seu objeto
no seja apenas considerado concretamente. na unidade lgica da teoria que se efetiva
a percepo intelectual da necessidade que cada objetividade conhecida expressa na
teoria, por meio de deduo sistemtica a partir de princpios, os quais, por sua vez, no
so fundamentados, mas fundamentam o desenvolvimento sistemtico da teoria.
tarefa da lgica pura determinar as condies lgicas em que possvel determinar
qualquer teoria cientfica, assim como classificar os sistemas tericos de acordo com
suas caractersticas enquanto teorias cientficas146.

2.3.1) OS PROBLEMAS DA LGICA PURA NOS PROLEGMENOS S


INVESTIGAES LGICAS
Ao se questionar o tema dos Prolegmenos em uma pesquisa sobre a teoria das
multiplicidades na lgica pura husserliana, surge uma pergunta sobre a maneira pela
qual a noo de multiplicidade formal aparece dentro da temtica geral dos

146

Husserl mesmo fez essa classificao em HUSSERL (1922, p. 233-5), considerando as cincias
conforme os seus objetos.

66
Prolegmenos147. Refletindo nesta linha, percebe-se que a teoria das multiplicidades
formais um dos elementos que compem a concepo de Husserl de lgica como
teoria da teoria, sendo que a lgica pura como um todo dividida em trs tarefas
principais no estudo das caractersticas de uma teoria cientfica. Estas so importantes
porque marcam as metas que uma teoria da cincia deveria cumprir148. Tambm so
importantes porque fazem uma estratificao da lgica que permitir organizar a
assimilao de noes matemticas importantes na teoria das multiplicidades.

As trs tarefas designadas lgica pura no 67-9 dos Prolegmenos representam na


verdade os meios que so revelados para se preencher as condies de uma teoria de
cincia. A primeira tarefa ... consiste em definir os conceitos ou categorias primitivas
(significado e objetivo); e a segunda tarefa consiste em identificar as leis que so fundadas
nestas duas classes de conceitos categricos. As duas primeiras tarefas respondem s
condies de possibilidade de uma teoria em geral, enquanto a terceira consiste em buscar
uma cincia abrangente das possveis formas de teorias ou teoria das multiplicidades
(FISETTE, 2003, p. 43).

Como esta pesquisa delimitada no tema da teoria das multiplicidades, apenas


sero transmitidas algumas noes que permitam comparar e contextualizar esta terceira
tarefa da lgica pura com as duas primeiras tarefas da teoria da cincia. Essas tarefas
podem ser relacionadas com as condies dos fundamentos cientficos apresentadas nos
Prolegmenos: a) nos seus conceitos fundamentais, so fixas em relao ao contedo
daquela esfera da cincia; b) nenhum raciocnio ou fundamentao aparece isolado, mas
h um encadeamento sistemtico dentro de uma teoria; c) os raciocnios podem ser
generalizados em leis que pertenam a uma esfera de conhecimento autnoma em
147

A importncia da lgica pura e, conseqentemente, dos Prolegmenos em relao unidade das


Investigaes Lgicas, j foi percebida anteriormente: segundo David W. Smith, aqui que se encontra
a metateoria que define a unidade do sistema de Husserl (SMITH, 2003, p. 28). Para retomar-se
consistentemente este tema na perspectiva de quem se prope a estudar a teoria das multiplicidades,
preciso abordar tambm a prpria questo da lgica pura no contexto dos Prolegmenos. o que ser
feito na seqncia deste captulo.
148
Fisette faz uma comparao detalhada entre as trs metas da teoria da cincia e as trs metas da
lgica pura, afirmando que estas so instrumentos para aquelas, as quais so, no seu resumo: a) elas se
apresentam como estruturas fixas, isto significa que elas no so arbitrrias, b) as relaes entre estas
proposies bsicas so reguladas por leis e regras; c) as formas universais de so independentes dos
domnios do conhecimento (FISETTE, 2003, p. 42).

67
relao s demais. Cada um desses aspectos dever ser considerado como algo que
possibilita no apenas uma cincia em particular ou a cincia em geral, mas como
elementos que garantem a possibilidade e a necessidade da prpria lgica pura,
entendida como teoria da cincia.
Em Husserl, a primeira tarefa da lgica pura visa a descrio dos objetos
fundamentais da lgica e da matemtica, mas, por outro lado149, visa tambm os objetos
intencionados pelo pensamento, isto , os objetos simblicos, considerados em suas
formas conforme as regras lingsticas pelas quais foram expressos. Este estudo segue
as regras da cincia apriorstica do juzo considerado em seus aspectos formais e nas
suas vrias categorias de significao, incluindo conceitos de conceito, de
proposio, etc. Por outro lado, estuda-se o objeto em geral que corresponde a este
juzo formal. Entre estes objetos estuda-se os conceitos de quantidade, unidade,
conjunto, todo, parte, etc.
Cada disciplina da matemtica formal no sentido em que possui seus
conceitos fundamentais em determinadas formas derivadas, por fundamentao lgica,
de um objeto que uma qualquer coisa em geral, pensada apenas em termos de relaes
formais determinadas pela teoria axiomtica. Assim, a matemtica enquanto ontologia
formal uma doutrina apriorstica do objeto (apriorische Gegenstandslehre). Dessa
forma, cada ramo da matemtica faz o exame da estrutura apriorstica dos domnios
particulares desta ontologia, estudando os objetos, com suas propriedades e
determinaes relativas (relative Bestimmungen). Esta segunda tarefa da lgica pura foi
associada com dois conjuntos de cincias: as que tratam das teorias dos raciocnios

149

Tambm importante notar que cada uma dessas tarefas se desdobra em duas, relacionadas com os
dois aspectos da lgica como um todo, e aquelas trs tarefas tornam-se seis. Percebe-se a distino acima
quando Husserl diferencia forma da teoria do seu correlato objetivo, especialmente quando trata da
teoria das multiplicidades. Embora pudssemos usar nveis da lgica, na medida em que o estudo da
lgica foca a linguagem, levando noo que posteriormente seria chamada de ontologia formal, a qual j
est latente nos Prolegmenos. Esta diviso ser retomada no ltimo captulo.

68
como silogstica e as que tratam dos seus correlatos objetivos, como, por exemplo, a
aritmtica pura, que se funda no conceito de um objeto, o nmero.
A terceira condio da lgica pura refere-se a leis que determinam uma rea
autnoma do conhecimento. Aps o estudo dos conceitos fundamentais das cincias
formais e de seus procedimentos vlidos, pode-se passar, em uma hierarquia de
abstrao e formalizao, ao estudo das teorias enquanto teorias. Esta ser a terceira
tarefa da lgica pura: analisar o conceito de uma cincia das condies da
possibilidade de uma teoria geral, de uma cincia universal, independente de qualquer
domnio especfico de conhecimento (FISETTE, 2003, p. 44).
justamente nessa rea da lgica pura que aparece o estudo filosfico das
multiplicidades, pois uma teoria formal determina um correlato objetivo, como foi
exemplificado no primeiro captulo com problemas algbricos e aritmticos
relacionados com a ampliao de teorias formais. Trata-se do momento mais simblico
da lgica pura, na medida em que os seus objetos so mais ausentes no sentido
brentaniano. Por corresponder apenas a determinaes formais possveis, os objetos de
estudos das teorias das multiplicidades tambm apresentam mais intensamente as
caractersticas de autonomia e objetividade da lgica pura.
no estudo das formas de teorias possveis e de seus correlatos objetivos,
quando se analisa um objeto formal qualquer definido apenas por caractersticas
formais determinadas na prpria teoria correspondente, que a lgica pura aponta para a
expresso mxima do antipsicologismo husserliano. Na teoria das multiplicidades, o
lgico e o matemtico estudam a teoria enquanto teoria nos seus constituintes formais,
enquanto o filsofo deve buscar a compreenso dos procedimentos utilizados e do
objeto de estudo dessas teorias formais. Determinado o patamar ideal de objetividade
para as disciplinas formais da lgica pura, no se deve aceitar a retomada dos

69
procedimentos psicologistas ou de suas conseqncias filosficas que relativizem o
valor da cincia considerada em suas caractersticas puras.
A obra Prolegmenos, ao lidar com a problemtica da fundamentao
psicologista da lgica e com a objetividade do conhecimento cientfico em geral,
interpreta filosoficamente as teorias lgicas e matemticas. Husserl considera as
disciplinas formais como um todo e apresenta-as organizadas como uma concepo da
prpria cincia, distinguindo aspectos da justificao filosfica da lgica e da psicologia
enquanto disciplinas cientficas.
no contexto das relaes entre a filosofia com as diversas disciplinas lgicas
e matemticas que aparece a teoria das multiplicidades como etapa ltima da lgica
pura. Se esta parte da morfologia dos conceitos fundamentais em seus aspectos
enquanto categorias de significao e de objetos, aps passar pelas teorias dos
procedimentos formais, chega teoria das multiplicidades enquanto teoria das formas
de teoria e dos seus correlatos objetivos. Considerando a importncia do
aprofundamento filosfico da teoria das multiplicidades como tema da dissertao, aps
a colocao dos problemas fundamentais dos Prolegmenos, reservaremos o terceiro
captulo para explicar essa terceira tarefa, relacionando-a com a lgica, a matemtica e a
fenomenologia.

70
3) A TEORIA DAS MULTIPLICIDADES COMO ELEMENTO DA LGICA
PURA: A DIVISO DAS TAREFAS ENTRE LGICOS, MATEMTICOS E
FILSOFOS
O programa husserliano de Doutrina da
Cincia termina em uma fenomenologia transcendental
e a teoria da multiplicidade ocupa uma posio central
naquele desenvolvimento (GAUTHIER, 2002, p. 131).

Este captulo150 pretende retomar os problemas de filosofia da matemtica de


Husserl que foram apresentados no primeiro captulo e a noo husserliana de lgica
pura como doutrina da cincia do captulo anterior. O objetivo explicar a teoria das
multiplicidades no contexto da lgica pura como doutrina da cincia151 analisando a
colaborao da noo de domnios de sistemas formais para a realizao do ideal de
conhecimento objetivo, superando o relativismo dos psicologistas e esclarecendo
melhor a importncia do problema do conhecimento simblico por meio dos recursos
lgicos e matemticos.
Nos Prolegmenos Husserl apresentou um programa de lgica pura que fosse
capaz de justificar a eficcia lgica dos seus prprios mtodos e determinar os limites de
sua aplicao, evitando, assim, misturas indevidas de mtodos e contedos com as
outras cincias. A meta de Husserl de que nenhuma parte da lgica pura ficasse sem
esclarecimento lgico e filosfico.
E, de fato, o desenvolvimento da teoria das formas de teorias e de seus
correlatos objetivos a terceira tarefa da lgica pura. Esta visa, assim, determinar a
teoria das multiplicidades que trata do ser e do no-ser dos objetos em geral, das

150

Cujas principais referncias esto em DA SILVA (2000b), HARTIMO (1993), HILL (2002), HILL ET
ROSADO-HADDOCK (2000), HUSSERL (1922), SMITH (2003a).
151
O histrico das obras de Husserl sobre o assunto est na introduo, mas pode ser retomado aqui: alm
dos Prolegmenos, de Ideen I e de Lgica Formal e Transcendental (que confirma a satisfao de Husserl
com essa teoria dcadas depois), pode-se acrescentar Einleitung in die Logik und Erkenntnistheorie
(Husserl 1906-07, 18-19) e Logik und Allgemeine Wissenschafts-theorie (Husserl 1917/18, Chapter
11), como foi comentado por HILL (2002).

71
situaes objetivas em geral (HUSSERL, 1922, p. 245). Em relao ao aspecto das
formas de teoria, suas tarefas so de investigar as classes (ou formas) essenciais de
teorias e suas correspondentes leis de relao Supostamente, tambm inclui pelo
menos alguns aspectos da metamatemtica, tal como o estudo das propriedades das
teorias, tal como a totalidade. Este nvel inclui a teoria do conceito de teoria (SILVA,
1999, p. 373). E, por sua vez, a teoria das multiplicidades enquanto teoria dos correlatos
objetivos de teorias possveis trata dos domnios de objetos totalmente noespecificados sujeitos a relaes e operaes igualmente no-especificadas, que devem
satisfazer somente determinadas propriedades formais (DA SILVA, 1999, p. 375).
Considerando o conjunto dos Prolegmenos, a apresentao da teoria das
multiplicidades procura esclarecer aspectos da idia de lgica pura:

Para mim, a parte mais elucidativa dos Prolegmenos o ltimo captulo, em que Husserl
desenvolve suas prprias idias da lgica como teoria da teoria, em que uma teoria , por
deduo, um sistema unificado de proposies ideais. Aqui encontramos a meta-teoria que
define a unidade do sistema de Husserl (SMITH, 2003, p. 28)

Entretanto, combinando os diversos elementos exigidos pela idia de lgica


pura, inclusive em relao ao estudo da teoria das multiplicidades, percebe-se que tal
meta no realizvel apenas considerando-se os procedimentos lgicos e matemticos,
mas inclui necessariamente a perspectiva filosfica, de maneira que Husserl faz
remontar sua concepo prpria origem da filosofia, com Scrates, Plato e
Aristteles152 e critica como ingnuos aqueles que se recusam a fazer a justificao
filosfica da lgica pura153.
Quando se tenta distinguir a lgica pura de Husserl da lgica formal, da teoria
do conhecimento, da fenomenologia, pode-se caracteriz-la tambm como uma filosofia
152

Aristteles citado em HUSSERL (1922, 1956) e Scrates e Plato so citados em HUSSERL (1956).
Pois estariam lidando com a lgica sem perceber a problematicidade da justificao fenomenolgica
do assunto.
153

72
da lgica154, no sentido de uma teoria filosfica acerca do que uma teoria lgica.
Tambm se pode destacar o sentido da lgica pura155 como um programa156 para
defender a acessibilidade dos significados enquanto entidades abstratas157.
No desenvolvimento da teoria das multiplicidades, havia, por um lado, a
preocupao com a relao entre lgica e matemtica, e, por outro, o interesse com a
psicologia158. Na conjuno de influncias recebidas no desenvolvimento filosfico
husserliano, entre as obras de Weierstrass, Brentano e Bolzano, aparece o contraste
entre aquela filosofia brentaniana dos conceitos fundamentais da aritmtica e a filosofia
154

Tendo em vista as Investigaes Lgicas e o desenvolvimento que Husserl deu ao seu trabalho sobre a
lgica pura nas dcadas que se seguiram, Fisette (2003) sugere que a ampliao desta teoria da cincia da
lgica pura levaria a uma teoria do conhecimento. David Smith (2003) vai ao encontro deste pensamento
quando sustenta que a lgica pura conduz a uma epistemologia e que a teoria da lgica pura est
interconectada com outras teorias de Husserl que foram apresentadas no conjunto das Investigaes
Lgicas, a saber: alm da prpria epistemologia (na Sexta Investigao), a fenomenologia (Quinta
Investigao), a filosofia da linguagem (Primeira Investigao), mereologia ou teoria do todo e da parte
(Terceira Investigao), a gramtica (Quarta Investigao) e metafsica ou ontologia (Segunda
Investigao) (SMITH, 2003, p. 30-1). interessante notar que Smith usa o termo metafsica, apesar
das restries que Husserl faz em relao a esse termo. O autor deste trabalho prefere usar o termo
ontologia, especialmente ontologia formal, como faz Husserl em Lgica Formal e
Transcendental quando se refere aos Prolegmenos. Dessas pesquisas de Fisette e Smith, conclui-se
que, em sentido lato, a lgica pura teria conseqncias relevantes para estas outras reas do conhecimento
filosfico. Nesse sentido amplo, apesar destas teorias husserlianas serem independentes e tratarem de
domnios diferentes (da lgica ontologia e da fenomenologia epistemologia),
elas so
interdependentes, como notou Barry Smith: cada um pressupe resultados de todos os outros
(SMITH, 2003, p. 31). David Smith, assim, identificou uma teoria de filosofia da lgica nos
Prolegmenos, ainda que informal. Esta foi caracterizada da seguinte maneira: um idealismo
neoplatnico em forma lgico-matemtica ... uma semntica que correlaciona formas de sentena,
pensamento, proposio ... (SMITH, 2003, p. 33). O tema da semntica em Husserl ser desenvolvido
no ltimo captulo e o problema do platonismo em Husserl aprofundado em outras obras, como, por
exemplo, em alguns captulos de HILL ET HADDOCK (2000). Essa filosofia da lgica dos
Prolegmenos foi chamada por Smith de teoria P (P a inicial da palavra inglesa Philosophy, que
significa filosofia) e a explicou assim: A Teoria P , se pudermos dizer, uma metateoria filosfica: uma
teoria do que constitui uma teoria. A lgica , para Husserl seguindo Bolzano, a teoria das teorias. E P
a lgica de Husserl, a teoria de Husserl do que a teoria. Segundo a teoria P, uma teoria um sistema
unificado de proposies. Isto , uma teoria uma seqncia de proposies, ou melhor, sua conjuno.
Ento uma teoria uma entidade composta, um todo cujas partes so proposies e cujo modo de
composio uma conjuno lgica (SMITH, 2003, p. 30).
155
Para ele, apenas a Quarta e a Sexta Investigaes pertencem diretamente lgica pura como teoria
de significados ideais (KUSCH, 1989, p. 59).
156
Aqui se percebe a lgica pura como um programa ou projeto, algo que Husserl comeou, mas no teria
condies de terminar sozinho. No que ele fosse alegar ter dado lgica pura sua forma final. Em vez
disso, ele executa alguns estudos preliminares dentro do campo da lgica pura (KUSCH, 1989, p. 59).
157
Com o programa da lgica pura esboado e a idia da acessibilidade dos significados como
entidades abstradas defendidos, Husserl pode se dirigir s prximas quatro investigaes para
preencher o programa (KUSCH, 1989, p. 59).
158
Esta questo foi destacada por HILL ET HADDOCK (2000, p. 164-5), sem confundir-se com o
psicologismo, relaciona-se com os estudos sobre a origem do nmero comentados no primeiro captulo
desta dissertao.

73
do conhecimento matemtico simblico que derivava da busca de rigor tpica da anlise
matemtica e da lgica pura bolzaniana voltada para as proposies consideradas
enquanto constituintes formais de uma teoria cientfica.
A soluo definitiva deste impasse husserliano apareceria com a manifestao
desta concepo de cincia, lgica, matemtica e do conhecimento em geral na
metodologia da anlise fenomenolgico da origem dos conceitos, proposies e teorias
da lgica pura como doutrina da cincia159. No contexto deste desenvolvimento do
pensamento de Husserl, na medida em que ele persevera na busca de elucidao dos
problemas anteriores, a noo filosfica de teoria das multiplicidades relaciona-se com
os temas dos Prolegmenos, como a problemtica do psicologismo ou a prpria questo
da objetividade da cincia em geral, e com as questes pr-fenomenolgicas relativas
compreenso das teorias formais e de seus elementos imaginrios.

3.1) A TEORIA DAS FORMAS DE TEORIAS OU

A TEORIA DAS

MULTIPLICIDADES COMO TEORIA FORMAL: O PAPEL DOS LGICOS E


MATEMTICOS SEGUNDO HUSSERL

Em um sentido amplo160, a lgica pura incluir a teoria das formas possveis


de teoria retomando o projeto leibniziano de matemtica universal161 (mathesis
universalis),
159

assim

como

projeto

bolzaniano

de

doutrina

da

cincia

O que apareceria publicada na edio revisada fenomenologicamente das Investigaes Lgicas. Sobre
a histria das publicaes deste livro, conferir (FISETTE, 2003).
160
Conferir (FISETTE, 2003, p. 43). Deve-se considerar que, para Husserl, saber cincia no
apenas saber fatos cientficos isoladamente ou at mesmo em conjunto, mas saber cincia plenamente
saber seu eidos ou essncia, saber o que faz dela uma cincia: Como afirmou um estudioso da cincia:
Saber cincia no significa conhecer apenas fatos cientficos, por exemplo, a distncia da terra ao sol;
a idade da terra; as diferenas entre espcies. Significa conhecer a natureza da cincia, configurada nas
etapas do mtodo cientfico: a concepo de experincias significativas, a avaliao de alternativas, o
requisito de prova, a comprovao experimental de hipteses, a construo de teorias, e sua divulgao
por canais apropriados, em abordagem que torna possvel derivar concluses fidedignas e relevantes
sobre fenmenos do universo fsico (DITCHFIELD, 2001, 1).
161
Outra traduo possvel seria matese universal, seguido SANTOS (1955).

74
(Wissenschaftlehre). Por outro lado, em um sentido estrito, a lgica pura ou a teoria da
cincia seria uma extenso da noo de lgica formal e da matemtica162. E entre esse
estudo estritamente lgico e matemtico e aquele estudo amplo que avana para a teoria
do conhecimento, estar a teoria das multiplicidades.
Analogamente distino entre sentidos estrito e amplo da lgica pura,
manifesta-se a questo, antecipada nos Prolegmenos, da delimitao filosfica do
papel dos lgicos e matemticos dentro do contexto da atividade cientfica em geral,
pois a eles cabe uma parte do trabalho de desenvolvimento da teoria das multiplicidades
no contexto da lgica pura como doutrina da cincia. Estes dois aspectos, isto ,
filosfico, por um lado, e lgico-matemtico, por outro, so associados com a anlise
das implicaes das pesquisas sobre as multiplicidades porque Husserl insistiu que a
lgica pura incorporasse os recursos matemticos mais avanados163.
Segundo Husserl, os lgicos e matemticos trabalham principalmente na
construo das teorias puras, pois os aspectos simblicos das teorias formais aparecem
conforme as regras objetivas da lgica e da matemtica. A fundamentao da lgica em
termos formais pretende oferecer princpios lgicos que evitem contradies formais,
garantindo uma concordncia formal do pensamento consigo mesmo164.

3.1.1 HUSSERL E A LGICA FORMAL ENQUANTO ESTUDO DAS


CATEGORIAS DE SIGNIFICAO E DAS FORMAS POSSVEIS DE TEORIA

162

Conferir FISETTE (2003, p. 43), HUSSERL (1922) e os exemplos do primeiro captulo desta
dissertao.
163
Como se pode perceber pelos exemplos matemticos oferecidos em HUSSERL (1922) quando se trata
da noo de multiplicidade.
164
Concordncia que deve ser considerada como congruncia formal, mas no chega a ser verdade
formal como foi enfatizado por HUSSERL (1922, p. 137-153).

75
Uma maneira de abordar a teoria das multiplicidades comear a anlise das
teorias das formas de teoria165. Husserl associa a teoria das multiplicidades com a noo
de teoria dos sistemas formais ou teorias dedutivas, o que ele entende como a teoria em
sentido estrito, isto , como um sistema terico de natureza dedutiva. uma teoria
voltada para os contedos ideais e objetivos da cincia que se apresentam em um
sistema de proposies verdadeiras como estudado pela lgica formal.
A descrio das caractersticas de um sistema de proposies verdadeiras e das
condies lgicas de verdade em uma teoria formal , assim, uma tarefa estritamente
lgica166. Estes objetos de estudo so chamados de categorias significativas167 e so os
conceitos constituintes da essncia de teoria enquanto tal. Trata-se dos elementos sem
os quais uma teoria deixaria de ser considerada cientificamente como uma teoria, mas
no determinam cada particularidade material dos objetos com os quais a teoria se
relaciona168. A teoria em si, nos seus aspectos essenciais, determina apenas relaes
formais que so seguidos pelos objetos possveis sem preocupar-se com aspectos
imanentes, psicolgicos e materiais que poderiam relacionar-se indiretamente com seus
objetos.
Edmund Husserl classifica como lgica tradicional aquela que tem seus
fundamentos nas teorias aristotlicas sobre lgica formal

165

169

. Husserl descreve-a como

O que d um outro sentido para o conceito de formal (ROTA ET ALLI, 1992), pois no chamada de
formal apenas por estudar objetos formais, mas por estudar a forma de uma teoria como um todo,
independente do contedo da teoria.
166
Para uma introduo sobre o assunto das tcnicas de construo de teorias e de avaliao dos critrios
de verdade, pode-se indicar as obras SANTANNA (2003, 2005), por exemplo.
167
Incluindo como categorias significativas os conceitos das duas primeiras etapas da lgica pura, como
os conceitos de conceito, de juzo, de proposio e de verdade. Esta noo de categoria significativa
relaciona-se, por oposio, com as categorias objetivas que sero apresentadas abaixo.
168
Ao estudar um objeto lgico h relaes materiais, desde as condies materiais de realizao do
estudo, como o papel do livro que lido, at as aplicaes materiais, como os exerccios que sero
resolvidos pelos alunos do lgico, mas todos estes aspectos so deixados de lado no estudo puro.
169
As quais Husserl chama de analtica (HUSSERL, 1970, p. 34). curioso notar que as questes sobre
a concepo filosfica de lgica formal continuaram intrigando os epgonos de Aristteles: Qual ,
ento, de acordo com Aristteles, o objeto da lgica, e por que sua lgica chamada de formal? A
resposta a esta questo no dada pelo prprio Aristteles, mas pelos seus seguidores, os peripatticos
(LUKASIEWICZ, 1957, 13). Seguindo outra linha de raciocnio sobre a lgica formal, mas parecendo

76
um sistema racional de leis que regem a derivao de conseqncias lgicas. Ele
chamava esta espcie de lgica de simblica e destacou a sua importncia desde os
estudos sobre a filosofia da aritmtica:

Nisso consiste, contudo, todo o raciocnio formal no verdadeiro e genuno sentido da


palavra. Mas que um raciocnio desse tipo no (...) 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).

O desenvolvimento da teoria formal relaciona-se com os esforos de


axiomatizao de diversas teorias170, o que possui, inclusive, um papel importante na
lgica pura de Husserl171. Seguindo a definio de multiplicidade husserliana como
formas puras de possveis teorias que, como moldes, permanecem totalmente
indeterminadas com relao ao seu contedo, mas s quais o raciocnio deve
necessariamente se adequar para ser pensado e conhecido de um modo teortico
(HILL in HARTIMO, 2003, p. 144), conclui-se que a teoria dos sistemas formais e das
multiplicidades husserlianas podem ser relacionadas com as axiomatizaes das
cincias, que ocorreram a partir dos trabalhos de Hilbert172, na medida em que ambas
sintetizam aspectos significativos do prprio mtodo cientfico.

convergir com Husserl, pode-se citar Mrio Ferreira dos Santos, para quem, resumidamente, as principais
grandezas da lgica dos sinais so as seguintes: a) permitir a facilitao do uso do raciocnio s
pessoas que disponham 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 cientfica dos raciocnios e justificando seguramente as normas deste; c)
desvincular os termos e conceitos da influncia de aderncias esquemticas afetivas, muitas de origem
infantil (SANTOS, 1966, p. 150).
170

Para uma breve explicao das teorias axiomticas, ver (SANTANNA, 2003, p. 17-22). Alm da
concepo de teoria formal apresentada no primeiro captulo, pode-se citar a seguinte: 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 axiomas170 (SIKORSKI, 1968, p. 1).
171

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.
172
curioso que Husserl tenha convivido na Universidade de Gttingen com uma das principais
referncias do comeo dos estudos sobre axiomatizao, David Hilbert, o autor de Grundlagen der

77
Husserl, com sua teoria da lgica pura como doutrina da cincia, estava
avaliando a objetividade da cincia, especialmente da lgica e da matemtica, e suas
caractersticas essenciais para que as teorias cientficas fossem expressas enquanto
teorias. E as chamadas teorias axiomticas procuram descrever as caractersticas mais
fundamentais das teorias cientficas, para que, a partir de um mnimo de axiomas,
possam deduzir o mximo de conseqncias lgicas173.
O estudo das teorias formais tambm oferece recursos auxiliares para a lgica
pura, como Husserl comentou nos Prolegmenos. Das diversas formas de
fundamentao possvel para uma teoria, Husserl distingue algumas formas
complementares em relao s condies fundamentais anteriormente citadas: a)
mtodos para abreviar o pensamento, como mtodos algortmicos e logsticos em geral ;
b) uma linguagem adequada de signos diferenciados univocamente, implicando em
definies nominais que delimitem uma linguagem tcnica rigorosa, nomenclatura
apropriada que seja breve e bem caracterizada e uma classificao desses signos. Um
dos principais meios auxiliares a ser utilizado pela lgica pura e at pelas cincias em
geral, aquilo que Husserl chamou de lgica simblica:

Se uma determinada forma de raciocnio ou uma classe de raciocnios por ela

Geometrie (Fundamentos da Geometria) e do programa hilbertiano, que pode ser resumido assim:
Todo o campo da matemtica clssica pode ser concebido essencialmente como formalizvel em trs
sistemas axiomticos, a saber: o da aritmtica, o da anlise e o da teoria dos conjuntos (AGAZZI,
1986, p. 134). Hilbert esperava encontrar em Husserl um colega nestes esforos lgicos. H uma
discusso sobre as perspectivas husserlianas e hilbertianas no captulo Les mathmatiques et logique
(As matemticas e a lgica) de POINCAR (1938, p. 152-171). Entretanto, suas esperanas Por
colaboraes srias foram desapontadas como resultado do incremento do interesse de Husserl em
problemas da subjetividade... e na metodologia da nova disciplina da fenomenologia (SMITH ET
SMITH, 1995, p. 5). Sobre Hilbert, conferir tambm o texto de Husserl sobre uma aula de Hilbert em
HUSSERL (2003, p. 464-74). Nessa comparao, devem ser consideradas tambm as diferenas, visto
que Husserl no pretendia tomar o problema da derivabilidade de sentenas verdadeiras a parir de um
conjunto de axiomas dados e ele nunca explicou que espcie de sistema poderia definir uma estrutura
formal de tal maneira que nenhum outro axioma pudesse ser acrescentado ao sistema axiomtico dado
(HARTIMO, 2003, p. 140).
173
Alm disso, a formulao das concluses filosficas de Husserl utilizando os recursos das lgicas e
das matemticas do sculo XX poderia permitir qualificar melhor suas concluses, oferecendo um
alcance mais amplo ainda para a teoria das multiplicidades husserlianas, aparecendo de maneira
primordial a importncia dos exemplos matemticos.

78
caracterizados preencher todos os requisitos, ento o conhecimento desta situao
capacitar-nos- a substituir, com conscincia do objetivo e por razes lgicas, o raciocnio
real por um raciocnio simblico. Com efeito, desde que seja dado in concreto um sistema de
premissas pertencente a esta classe, podemos, com base unicamente nas expresses
lingsticas e sem relao aos correlatos psquicos, construir a concluso, e termos a plena
certeza lgica de ter no juzo correspondente o juzo conclusivo entendido e correto. O que
fazemos deste jeito por razes gnosiolgicas, feito pelo mecanismo da reproduo por
causalidade cega. Para que este possa construir-se e funcionar, so precisos, como j vimos,
justamente as qualidades dos raciocnios que, caso fossem conhecidas, legitimariam
logicamente o processo mecnico. A univocidade da expresso lingstica e a determinao
unvoca da concluso pelas premissas, tanto pelo lado psquico como pelo simblico -- isso
so exigncias necessrias e suficientes para o processo mecnico cego, por um lado, e para
o processo lgico-mecnico, por outro. (...) Nisso consiste, contudo, todo o raciocnio formal
no verdadeiro e genuno sentido da palavra. (HUSSERL,2000, p. 34).

No estudo puramente formal da teoria, coerentemente com o que foi


apresentado acima, abstrai-se completamente o contedo da teoria, que fica
indeterminado, e foca-se nas formas possveis de teorias, isto , nas caractersticas de
uma determinada teoria cientfica considerada apenas como teoria. O objetivo, assim,
delimitar aquelas formas de juzo s quais o pensamento deve necessariamente se
conformar para pensar e conhecer teoreticamente. As categorias significativas enquanto
objeto de estudo da teoria das multiplicidades tambm receberam a denominao de
domnio apofntico:

assim que proponho interpretar esta noo: dado um sistema A, por domnio apofntico
de A eu quero dizer a coleo de todas as afirmaes que A pode provar ou refutar, isto , o
domnio apofntico de um sistema a coleo de afirmaes que este sistema pode definir.
Se uma assero pertencer ao domnio apofntico de um sistema, ser verdadeiro com base
nos axiomas, se puderem provar, ou falso com base nos axiomas, se provarem a negao.
(DA SILVA, 2000b, p. 427).

A teoria das multiplicidades enquanto terceira tarefa da lgica pura apresentase como a teoria mais formal e abrangente da lgica e da matemtica, pois lida apenas
com sistemas de proposies que possibilitam o desenvolvimento de teorias dedutivas .

Agora questo de teorizar sobre possveis campos de conhecimento concebidos de uma

79
maneira geral e indeterminada, simples e puramente determinados pelo fato de que esto em
conformidade com uma teoria que tem a mesma forma, isto , determinados pelo fato de que
seus objetos permanecem em certas relaes que, por si s, so sujeitas a algumas leis
fundamentais de tal e tal forma determinada (HILL ET ROSADO HADDOCK, 2000, p.
169)

O procedimento torna-se puramente lgico e analtico: raciocina-se


dedutivamente com conceitos e proposies. Analisando os procedimentos formais das
teorias puras, Husserl compara a manipulao desses signos com os movimentos das
peas de xadrez de acordo com as regras enxadrsticas. Este procedimento lgico, que j
aparece nas disciplinas lgicas como a silogstica e a aritmtica, auxilia no rigor e na
preciso dos resultados, alm de simplificar bastante os trabalhos, em certo sentido.
Husserl valoriza o estudo formal das teorias como um dos aspectos mais
importantes do estudo da lgica e da cincia, mas ele foi um crtico da especializao
exagerada que concedia excesso de importncia prpria lgica.

O pesquisador completo que almeja tornar-se um ser humano completo, deve, na medida
do possvel, nunca perder de vista a relao da sua cincia com os objetivos mais gerais e
mais elevados da humanidade. A restrio profissional a um campo especfico necessria;
mas reprovvel tornar-se completamente absorvido em tal campo. E deve ser
especialmente reprovvel ser indiferente mesmo para as questes mais gerais que
concernem fundamentao da sua prpria cincia, assim como seu valor e seu lugar no
conjunto do conhecimento humano em geral (HUSSERL in MILLER, 1982, p. 24-5).

Na concepo husserliana, a matemtica pode ser estudada como um jogo de


sinais sem sentido, orientados apenas para um jogo de clculo onde as regras so bem
conhecidas, como acontece no xadrez174. Entretanto, a partir deste ponto, pode-se seguir
uma sugesto de mudana de atitude do estudo das teorias como jogos (Spiel) para o
estudo das multiplicidades como correlato objetivo ou ontolgico das teorias formais:

174

Esta comparao foi feita em HUSSERL (1999b). Conferir os comentrios em MILLER (1982).
comum que o matemtico absorva-se no clculo mecanicamente, pelo menos em alguns momentos
durante os seus raciocnios.

80
Vivemos em um ponto da histria no qual concepes filosficas da matemtica ... tem
deixado a desejar, e no qual novas concepes so necessrias. ... Husserl [et alli] esto
entre os primeiros crticos do logicismo e do formalismo estrito, natural que se procure
por suas concepes na retomada atual das fundamentaes da matemtica. Ao continuar a
estudar seus trabalhos, ns podemos, espero, aprofundar nossa compreenso da natureza da
matemtica e lgica e chegar a uma melhor caracterizao positiva destas disciplinas
(TIESZEN, 2005, 295).

A partir da noo de multiplicidade como correlato objetivo das categorias


significativas das teorias formais, abre-se a possibilidade do desenvolvimento de
implicaes lgicas em termos de teoria formal, sem restringir-se a um formalismo
reducionista que, por exemplo, identifique o conjunto da atividade filosfica apenas
com a filosofia da cincia delimitada no estudo da sintaxe lgica caracterstica da
linguagem cientfica175.

3.1.2) A MATEMTICA DAS MULTIPLICIDADES COMO ESTUDO DOS


CORRELATOS OBJETIVOS DAS TEORIAS POSSVEIS
Talvez um dos pontos mais interessantes na considerao das implicaes da
teoria das multiplicidades formais seja este desenvolvimento da concepo filosfica do
estudo formal dos correlatos objetivos ou ontolgicos das teorias formais como uma
maneira de entender melhor a cincia matemtica a partir de uma perspectiva
filosfica176.
O primeiro passo seria entender a implicao de uma ontologia formal na
teoria das multiplicidades da lgica pura como doutrina da cincia dos Prolegmenos s
Investigaes Lgicas. Depois, apareceriam as relaes ontolgicas derivadas das
175

Esta exemplificao de reducionismo na filosofia da cincia uma referncia s crticas feitas por
MORMANN (1991) a CARNAP (2002).
176
Nos Prolegmenos HUSSERL (1922) aparece a noo de correlato objetivo da forma da teoria que,
depois, em Lgica Formal e Transcendental chamado de ontologia formal (HUSSERL, 1974). O termo
ontologia formal ser sempre utilizado nesta dissertao agregando a terminologia da obra posterior
HUSSERL (1974), embora a explicao fundamental desta concepo j aparea em HUSSERL (1922).
Apesar da aparente mistura, interessante ressaltar essa concepo de ontologia formal pela relao com
a fenomenologia, que tambm tema do complexo livro que as Investigaes Lgicas, especialmente
considerado na sua edio revisada a partir das reflexes de HUSSERL (1949).

81
teorias lgicas e matemticas. Ao se tratar da relao entre lgica pura e ontologia
formal, pode-se esclarecer rapidamente o sentido no qual Husserl utiliza o termo
ontologia. Spiegelberg define resumidamente ontologia, para Husserl, como estudo da
estrutura essencial ou a priori dos seres possveis (apriorische Gegenstanslehre)177
(SPIEGELBERG, 1994, p. 749). Um trecho esclarecedor de Investigaes Lgicas
sobre a ontologia de Husserl o seguinte178:

O sistema inerente cincia naturalmente verdadeira cincia no uma inveno


nossa, mas reside nas coisas, onde simplesmente a descobrimos. A cincia aspira ser o meio
para que o nosso saber conquiste o reino da verdade, na maior medida possvel. Entretanto,
o reino da verdade no um caos desordenado; mas regido por uma unidade de leis; por
isso, a investigao e a exposio das verdades devem ser sistemticas, devem refletir suas
conexes sistemticas e utiliz-las como escala do progresso, para poder penetrar em
regies cada vez mais elevadas do reino da verdade, partindo do saber que nos dado ou
que j obtivemos (HUSSERL, 1922, p. 15).

A teoria das multiplicidades refere-se a categorias da linguagem terica e dos


objetos formais, o que implica no estudo das teorias enquanto tais, levando a considerlas enquanto sistemas dedutivos de axiomas e teoremas179. A implicao necessria de
um sistema ontolgico a partir do sistema formal dado pela lgica pura algo que pode

177

Spiegelberg apresenta nesta obra uma lista interessante de termos importantes no contexto
fenomenolgico Em termos de lgica pura, um conceito mais especfico o de ontologia formal, como
teoria geral dos objetos e suas propriedades como parte da lgica pura (SPIEGELBERG, 1994, p. 749).
178
Pode-se encontrar esta posio afirmada por Husserl em vrios em outros trechos de sua obra, como,
por exemplo, na concluso de Lgica Formal e Transcendental (HUSSERL, 1957, p. 385-6), quando
aparece a relao entre lgica e ontologia, que apresenta as caractersticas a priori do mundo em geral.
Algum j apresentou a idia de que h uma teoria filosfica na obra Investigaes Lgicas, pela qual h
ligaes entre lgica, ontologia, fenomenologia e epistemologia (FISETTE, 2003, p. 7). Isto vai ao
encontro da citao feita acima de (SMITH ET SMITH, 1995, p. 5-6). Dahlstrom, utilizando a
terminologia de HUSSERL (1957) afirma que esta relao entre lgica e ontologia algo fundamental
nas consideraes lgicas de H(DAHLSTROM, 2003, p. 10).
179
Pode-se entender teoria como um sistema de proposies expressas por um conjunto de
sentenas, as quais seriam chamadas de frmulas bem definidas em uma linguagem mais atualizada
(SANTANNA, 2003). Para outros aspectos relacionados noo de teoria em Husserl que tambm esto
relacionados com as Investigaes Lgicas, como a intencionalidade da teoria, conferir SMITH (2003, p.
33). Neste mesmo trabalho David Smith apresenta uma justificativa para a hiptese de que h
potencialmente uma teoria abrangendo os Prolegmenos e as seis investigaes lgicas de HUSSERL
(1999a, 1999b).

82
ser considerado comum opinionis entre os estudiosos das obras de Husserl180. So dois
aspectos de uma mesma cincia formal181. A ontologia um estudo de grande abstrao,
pois desconsidera qualquer caracterstica do objeto que no esteja entre aquelas que o
definem formalmente em um sistema terico. A relao entre ontologia formal e lgica
enquanto cincia dos juzos e das relaes formais manifesta-se na medida em que so
justamente as determinaes puras das teorias que definem os objetos em seu ltimo
grau de abstrao, isto , enquanto puras possibilidades.
a prpria realizao das metas da lgica pura que exige investigaes que
abrem a perspectiva ontolgica do estudo dos objetos possveis da lgica pura182: A
misso desta fixar e contrastar os pressupostos metafsicos que geralmente no so
contrastados e nem sequer percebidos, e to importantes que constituem, pelo menos, a
base de todas a cincias

referentes ao mundo real (HUSSERL, 1922, p. 11).

Seguindo o raciocnio de Husserl nos Prolegmenos, precisa-se observar a distino


entre a teoria das formas de teoria e a teoria sobre os correlatos objetivos destas teorias
possveis. So dois aspectos unidos na lgica pura, mas podem ser diferenciados na

180

. Por exemplo: Como a clarificao dos conceitos se passa no caminho que vai das significaes s
essncias dos objetos significados, a exigncia da clarificao dos conceitos equivalente exigncia da
elaborao de um sistema de ontologias (MOURA, 1989, p. 68). Alm disso, pode-se citar a introduo
da obra Investigaes Lgicas, na sua edio husserliana, para indicar essa necessria conseqncia
ontolgica: Por exemplo: a integrao desta [da teoria formal do juzo de Lgica Formal e
Transcendental], extrapolando este plano a priori, na mathesis universalis e complementando esta
ontologia formal analtica em uma Ontologia (HUSSERL, 1975, p. LIII). curioso observar que Peter
Koestenbaum atribui este carter ontolgico da lgica husserliana influncia positivista que recebeu por
intermdio da tradio experimental de Brentano, o que implicou na ampliao do estudo das
caractersticas puramente formais dos objetos lgicos para o exame da origem e da intencionalidade
fenomenolgica dos objetos lgicos: Lgica possui uma base ontolgica objetiva e uma gnese
subjetiva (KOESTENBAUM, 1998, p. LXVII).
181

Na linguagem de HUSSERL (1974), dir-se-ia que se a ontologia formal implica na lgica apofntica e
vice-versa.
182
Considerando a hiptese de SMITH (2003a), tambm haver uma teoria que relacionar a teoria da
filosofia da lgica dos Prolegmenos com a teoria ontolgica da Terceira Investigao. isto que se
chama de fundamentao ontolgica da lgica pura ou sua explicao em termos de princpios teorticos
fundamentais. Esta uma tarefa que caber aos filsofos a partir da teoria das multiplicidades e que,
segundo Husserl, utilizar os recursos da fenomenologia: Na viso de Husserl, a lgica se agrupa ela
deve principalmente pressupor resultados tanto da ontologia dos estados de preocupaes quanto da
fenomenologia de julgamento, inclusive a anlise de contedos intencionais na forma das proposies
(SMITH, 2003a, p. 27).

83
explicao. Se as categorias significativas correspondem formulao da teoria
propriamente dita, o correlato objetivo corresponde ao objeto formal que segue aquelas
regras definidas. A mudana na concepo do objeto exige adaptaes dos axiomas da
teoria em questo.
Por mais que se descreva em linguagem corrente as multiplicidades, talvez a
melhor abordagem das multiplicidades formais enquanto objetos formais definidos
apenas pelos axiomas de uma determinada teoria, seja a prpria exemplificao
matemtica183, como fez Husserl nos Prolegmenos. Retomando o exemplo dado no
primeiro captulo, a resoluo de uma equao ou a busca de um objeto formal que
corresponda soluo conforme a axiomtica dos nmeros naturais para a frmula bem
formada X + 1 = 0184 mostrou-se incompatvel com a noo de objeto ou
multiplicidade definida na teoria correspondente. A resoluo da equao apresentada
exige um objeto que obedea a, pelo menos, um axioma que no estava definido na
axiomtica citada. Isto exigiu a concepo de um nova multiplicidade formal que
seguisse as regras exigidas para a resoluo, o que pressups uma nova axiomtica
correspondente.
O estudo dos objetos formais estudo de matemtica formal na medida em
que a matemtica estuda objetos formais, isto , aquilo que Husserl chamava de objeto
em geral (Gegenstand berhaupt) ou qualquer coisa em geral (Etwas berhaupt),
que corresponde a um objeto de estudo em relao ao qual foi abstrada a determinao
concreta (sachhaltige Bestimmung) dos objetos. Assim, a matemtica das
multiplicidades descreve as caractersticas formais de uma determinada regio de

183

De fato, quando Husserl quis exemplificar as multiplicidades, citou como exemplos os objetos
matemticos. E assim tambm fizemos nesta dissertao, o que indica a maneira apropriada da
matemtica para descrever as multiplicidades enquanto objetos puramente formais, pois se definem
apenas por seguir uma determinada axiomtica, sendo chamados, assim, de domnios de sistema formal.
184
Ou para a equao X + X = 0, onde X diferente de zero.

84
objetos, ou domnio formal, para o qual existe uma unidade determinada pela teoria
correlata.
Assim, a matemtica185 um estudo puro e apriorstico, isto , sem levar em
conta os dados da experincia concreta, ou, nas palavras de Husserl, a doutrina
apriorstica do objeto (apriorische Gegenstandslehre). Na concepo filosfica de
Husserl, a matemtica segue os princpios da teoria formal sobre os sistemas formais
que determinam as regras da axiomatizao, sendo considerada uma ontologia, na
medida em que se volta para as relaes puras de uma qualquer coisa em geral. Husserl
considera como equivalentes as concepes formais de domnio de uma cincia
dedutiva, que uma regio de objetos explicvel por uma determinada teoria, e esta
prpria teoria axiomtica que a define.
Pensando nos exemplos retirados da teoria algbrica de grupos que foram
apresentados no primeiro captulo desta dissertao, poder-se-ia afirmar que h uma
equivalncia, assim, entre a formulao axiomtica das caractersticas do grupo e as
suas propriedades enquanto objetos formais. Nesta teoria algbrica dos grupos a
matemtica descreve um objeto formal, que uma qualquer coisa que obedea a certas
propriedades fundamentais de grupo, fazendo um exame estrutural apriorstico dos
domnios particulares em que ocorre as relaes fundamentais de grupo, descrevendo,
assim, as caractersticas fundamentais desta qualquer coisa formal: um objeto formal
que obedece propriedade comutativa, ao fechamento, etc. Assim, a matemtica
determina seu objeto e suas propriedades que o determinam em relao aos outros
objetos daquela multiplicidade.

185

Considerada nas disciplinas da segunda tarefa da lgica pura, como a aritmtica e a geometria
euclidiana, e nas disciplinas da terceira tarefa da lgica pura, que foram citadas no primeiro captulo, por
exemplo. Conferir HUSSERL (1922).

85
Quando Husserl refere-se a correlatos objetivos das teorias formais no se trata
mais de objetos reais186, mas de construes objetivas determinadas em termos
puramente formais, pois estamos lidando com objetos que aparecem como puras
possibilidades gerais ou possibilidades de teorias187. uma questo de formas de
objetos em geral. Assim, uma multiplicidade, neste sentido da terceira tarefa da lgica
pura, assume um sentido tcnico especializado, no sendo apenas uma simples coleo
ou conjunto de objetos quaisquer, mas uma regio ou domnio de objetos com certas
relaes especficas, as quais so dadas apenas por uma determinada teoria com uma
forma determinada. Em Lgica Formal e Transcendental , Husserl denominou o objeto
ou multiplicidade correspondente lei terica de uma regio formal como objetopensado (Denkobjekte), isto , como nomes que regulam uma regio inteira de objetos.
So como os nomes que aparecem nas teorias matemticas citadas no primeiro
captulo188: no so conceitos que procedem da intuio categorial de uma regio
objetiva atual189, mas referem-se a modos de qualquer-coisa formal190, isto , objetos ou
regio de objetos que so determinados apenas pelos axiomas de uma determinada
teoria, independente desses fenmenos serem familiares ou terem sido idealizaes191
de experincias concretas.
As multiplicidades enquanto regies correspondentes s teorias puramente
formais no podem ser apresentadas autenticamente intuio192, diferenciando-se das
186

No sentido de HUSSERL (2006), isto , fticos ou considerados in concreto.


Ou forma de teoria na terminologia husserliana.
188
Como o grupo algbrico, por exemplo.
189
Como acontece quando percebo uma categoria numrica ao olhar um conjunto de cadeiras na sala,
quando, a partir de objetos concretos, determino uma categoria matemtica.
190
Mantendo a terminologia de HUSSERL (1957).
191
Isto , eles no so objetos ideais constitudos pela variao eidtica sobre uma espcie de objetos
concretos. Pela variao eidtica, estuda-se alternadamente as propriedades de um objeto at descobrir as
suas caractersticas essenciais.
192
E podem ser chamados, assim, de objetos ausentes, ao contrrio dos objetos presentes (HUSSERL,
1999b; MILLER, 1982). Entretanto, tambm h alguma espcie de evidncia mesmo nas teorias da
multiplicidade. Como em qualquer outro estudo, h uma diferena notvel entre ter percebido a evidncia
de um objeto, ainda que formal, e no ter percebido. Este tema aprofundado em HUSSERL (1974, p.
61.). Mesmo em uma teoria das multiplicidades preciso executar uma prova tendo as evidncias de cada
187

86
teorias da segunda tarefa da lgica pura, as quais eram estudadas apenas pela deduo
pura de algumas verdades fundamentais, como acontece na teoria dos silogismos, por
exemplo. Percebe-se que a noo de multiplicidade sutil e corresponde
intencionalidade que visa regies objetivas determinadas por formas de teorias possveis
cujos contedos no foram determinados por intuio categorial193, mas pela definio
de um novo conceito puramente formal, por meio de um novo sistema de definies194.
Esse esclarecimento filosfico husserliano, coerente com suas crticas
antipsicologsticas, refora a concepo de uma lgica como cincia pura, autnoma em
relao s leis da experincia psicolgica concreta195. O critrio da lgica pura a
justificao objetiva dos procedimentos formais das cincias sem visar objetos reais,
mas apenas a forma geral de um objeto possvel ou de um juzo possvel. Alm de
estudar as formas lingsticas ou categorias significativas das teorias, chegando ao
estudo da forma pura de teoria, precisa-se atender ao estudo dos objetos puros das
teorias cientficas enquanto entes abstrados e generalizados que seguem aos axiomas de

etapa da prova e ativando os sentidos dados pelos axiomas da teoria. Preciso relembrar a evidncia do
significado do sinal algbrico que indica a operao que estou realizando, por exemplo, como acontece
nos casos dos grupos que foram exemplificados no primeiro captulo. Esta a evidncia de distino,
enquanto a evidncia do contedo do objeto intudo ou de sua presena a evidncia da clareza.
193
Entretanto, nada impede que o matemtico estude essas teorias como se fossem jogos matemticos ou
uma espcie de xadrez mais ou menos sofisticado, como observou MILLER (1982). Este autor compara a
passagem da segunda para a terceira tarefa da lgica pura com a passagem de Anzahl para Zahl, isto ,
dos nmeros enquanto instrumentos de contagem para os nmeros enquanto elementos de um sistema
formal que segue regras gerais, as quais tambm valem em outros sistemas formais.
194
Isto foi exemplificado no primeiro captulo, mas pode-se exemplificar de diversas maneiras. Um caso
muito curioso , a partir de uma certa axiomtica que interpretada pelos nmeros racionais, como fez
SUPPES (1957), pensar uma outra multiplicidade, na qual os objetos formais permitiriam a diviso por
zero, isto , na qual, a diviso de um racional qualquer por zero fizesse sentido, o que exigiria um novo
sistema de axiomas. MILLER (1982) destaca a possibilidade de que um conceito de uma teoria da
segunda tarefa da lgica pura, que ele chama de uma teoria ontolgica, possa ser abstrada como uma lei
ou um conceito geral de uma teoria das multiplicidades. Nesse sentido, pode-se pensar na geometria
euclidiana sem pensar em espao, mas pensando em uma regio de objetos que seguem as leis formais
conformes axiomtica da geometria euclidiana. Neste caso, Husserl substitui o nome de espao para
forma categorial do espao (HUSSERL, 1922). Em cada caso destes, trata-se, na fenomenologia, de
diferentes estruturas intencionais (HUSSERL, 2006).
195
interessante notar que, coerentemente com as crticas husserlianas aos psicologismos apontados no
segundo captulo, este objeto no apenas uma concepo mental, mas o prprio objeto formal
associado com uma determinada axiomtica. Assim, estudar lgica e matemtica, neste sentido, estudar
multiplicidades formais, embora os matemticos no estejam habituados a utilizar estes termos
husserlianos, assim como, algumas vezes, no esto habituados a estudar filosofia.

87
uma teoria qualquer. Assim, uma teoria axiomtica pressupe uma regio de objetos
formais, que so os entes que seguem aquelas relaes determinadas na teoria. A
abordagem husserliana das multiplicidades formais justamente o que foi associado
desde o primeiro captulo com o estudo matemtico de uma regio (Gebiet) de objetos
formais submetidos a uma unidade de explicao terica, isto , a uma teoria.
Em todas as consideraes sobre a teoria das multiplicidades, a vinculao
entre os juzos da teoria e os objetos ou correlatos objetivos: por um lado aparece o
sistema de axiomas de uma certa teoria qualquer e, por outro, aparece o domnio de
determinada cincia dedutiva que est sendo explicado teoricamente. Baseando-se nos
axiomas, as teorias se desenvolvem formando objetos que so exclusivamente
determinados pelas suas formas e no pelos seus contedos concretos, que tambm so
objetos das cincias, mas no so os objetos da lgica pura. Assim, 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 de uma determinada multiplicidade formal, pode-se deduzir
concluses e construir provas que iro possivelmente corresponder a algo em uma teoria
particular196. a isto que se refere quando se disse acima que as multiplicidades formais
so domnios de teorias197. Assim, a teoria das multiplicidades determina as condies
em que legtimo operar livremente um sistema dedutivo formalmente definido por
meio de conceitos que no estavam definidos em outros sistemas, onde seriam apenas
196

Esta classificao das diversas teorias, puras ou no, apresentada em HUSSERL (1922). Na medida
em que este algo concreto estudado em uma determinada teoria particular tambm um objeto, tambm
estar relacionado com a teoria dos objetos. E como se expressa em uma teoria tambm ter alguma
relao com a teoria das formas de teoria que a teoria das multiplicidades. Sobre os limites da aplicao
das teorias puras nas diversas reas do conhecimento, conferir BACHELARD (1955).
197
Um desenvolvimento mais amplo da multiplicidade formal como domnio de sistemas formais pode
ser encontrado em DA SILVA (2000b, p. 437) e HARTIMO (1993, p. 144).

88
elementos imaginrios no sentido husserliano. Pela comparao com as teorias formais
axiomticas, pode-se ter uma noo da importncia das concepes de Husserl para a
filosofia da matemtica contempornea198.

A teoria geral das multiplicidades, ou cincia das formas de teoria, um campo de


investigao livre e criativa tornado possvel quando o formato do sistema matemtico foi
emancipado de seu contedo. Quando se descobre que as dedues e as sries de dedues
continuam a ser significativas e a permanecer vlidas quando se designa outro significado
aos smbolos, fica-se livre para liberar o sistema matemtico, que pode, de agora em diante,
ser considerado como a matemtica de um domnio em geral, concebido de uma maneira
geral e indeterminada. No mais restrito a funcionar em termos de um campo de
conhecimento especfico, estamos livres para raciocinar completamente no nvel das formas
puras. Operando dentro desta esfera de formas puras, podemos variar os sistemas de
diversas maneiras. Nada mais precisa ser pressuposto do que o fato de que os objetos
figurados ali so novos objetos suplementares e fazem isso de um modo que a forma
determinada certamente vlida para eles. Encontram-se meios de construir um nmero
infinito de formas de possveis disciplinas. E tudo isso de interesse prtico incansvel,
sustentou Husserl (HILL ET ROSADO HADDOCK, 2000, p. 169).

Esta citao vai ao encontro da concepo de teoria cientfica de Husserl como


uma unidade entre verdades e objetividades que foi apresentada no segundo captulo
dessa dissertao. No conjunto de comentrios sobre o pensamento husserliano,
entrecruzam-se as duas linhas de raciocnio: uma relacionada lgica propriamente dita,
tratando da sistematicidade das leis conformes verdade e outra mais vinculada
ontologia,

ao tratar daquilo se apresenta nos objetos199. E justamente nessa

caracterstica que a matemtica das multiplicidades colabora com a meta da lgica pura
de eliminar as contaminaes psicologsticas e relativistas que pudessem afetar a cincia
em geral, uma vez que este estudo formal fundamenta-se por si mesmo e a sua validade
independe dos fatores psicolgicos e antropolgicos relacionados com ele. Nos estudos
198

Especialmente na prpria concepo de matemtica, como foi ressaltado em DA SILVA (2000c,


p. 437). Neste mesmo trabalho, Jairo da Silva desenvolveu mais essa implicao dos estudos da
multiplicidade na concepo de matemtica (DA SILVA, 2000c, p. 418-9).
199
Conferir tambm o captulo Wahreit und Sein (verdade e ser) de Allgemeine
Erkenntnistheorie: Vorlesung 1902/03 (Teoria do conhecimento reunida: cursos 1902-03 traduo
livre do autor), em HUSSERL (2001, p. 132-8), o que nos remete cincia das essncias e sua hierarquia,
pois destas ontologias formais ou eidticas que procede as ontologias materiais, isto , das cincias da
natureza (HUSSERL, 2006).

89
formais, lgicos e matemticos, sobre objetividades simblicas percebe-se que j
acontece a realizao parcial desta meta da lgica pura, o que ser complementado com
os estudos filosficos relevantes para esta questo.
As relaes entre as multiplicidades e as cincias em geral manifestam-se
justamente na medida em que cada disciplina cientfica apresenta-se como teoria,
tornando-se, portanto, objeto de estudo da teoria das multiplicidades. Por enquanto,
deve ficar manifesto que uma multiplicidade formal define uma relao complexa entre
formas lgicas, expresses lingsticas, significados, universais ou de gnero,
relaes parte-todo, atos intencionais e evidncia intuitiva (SMITH, 2003, p.31). E
ser justamente a complexidade destas relaes que implicar em outros
desenvolvimentos filosficos200 a partir das Investigaes Lgicas, visando uma
anlise detalhada de problemas nas fronteiras da lgica, ontologia e psicologia
descritiva (SMITH et SMITH, 1995, p. 5-6), de onde procedem suas conseqncias
para as teorias cientficas como um todo.

3.1.3) DESENVOLVIMENTOS SEMNTICOS A PARTIR DA TEORIA DAS


MULTIPLICIDADES DE HUSSERL

200

Alguns aprofundamentos foram realizados pelo prprio Husserl (HUSSERL, 2004, p. 453). Este
assunto foi comentado por DA SILVA (2000, 423) e HARTIMO (1993, p. 144). Indica-se aqui tambm
algumas referncias sobre o assunto, especialmente aquelas reunidas por Dallas Wilard como anexos a
uma edio americana de Filosofia da Aritmtica, destacando: a) o ensaio de 1901: O domnio de um
sistema axiomtico (HUSSERL, 2003, p. 475-92 ; 1970, p. 470-88) que inclui um item sobre a
aritmetizao de uma estrutura formal (HUSSERL, 2003, p. 479-81), b) a aula sobre a completude
de um sistema axiomtico (HUSSERL, 2003, p. 409-452), c) o ensaio sobre a determinao formal de
uma estrutura formal (HUSSERL, 2003, p. 497-504), d) notas sobre uma aula de Hilbert
(HUSSERL, 2003, p. 464-74) e outros trechos daquele volume (por exemplo: HUSSERL, 2003, p. 4936). Esta pesquisa ser delimitada na importncia dessa teoria das multiplicidades para a noo de lgica
pura como doutrina da cincia em Husserl, tendo que deixar de lado o desenvolvimento aprofundado de
noes como mathematical or constructive manifold (DA SILVA, 2000b, p. 426), multiplicidade finita
(DA SILVA, 2000b, p. 435-6),totalidade (DA SILVA, 2000b, p. 427), teoria formal (DA SILVA, 2000b,
p. 431-3) e decidibilidade (DA SILVA, 2000b, p. 428). Para discusses a partir deste ponto, remetemos
o leitor a obras de Husserl (1970, 435-6) e dos comentaristas que tratam deste assunto, como HILL
(2002), e DA SILVA (2000b, p. 427, 435).

90
Nos Prolegmenos, Husserl definiu a tarefa da lgica pura incluindo no
apenas as especificaes das formas de expresso na linguagem, mas tambm suas
correlaes com formas dos significados ideais e formas de objeto, assim prescrevendo
o que se chama hoje de semntica, na medida em que estuda a relao das palavras com
os objetos designados (designata) para estudar os seus significados.
Husserl no tem uma obra especfica sobre semntica201 e nem sequer chega a
distinguir claramente entre a semntica e a sintaxe202 no estudo que faz da filosofia da
linguagem203. Entretanto, pode-se perceber um apelo semntico na referncia a uma
teoria que descreve objetos que satisfazem a uma determinada lei terica. Aqui se abre
um leque de questes acerca do sentido da semntica de Husserl204 e de suas
comparaes possveis com teorias lgicas posteriores e com outras concepes de
semntica: Sua lgica [de Husserl] era a nossa semntica, uma doutrina de
contedo, natureza e estrutura, e no meramente de seu fragmento formal
(COFFA, 1993, p. 64).

201

No sentido de CARNAP (2002), por exemplo.


Entendendo-se sintaxe no sentido de CARNAP (2002), isto , como o estudo das questes lingsticas
e gramaticais relevantes para a construo lgica de uma teoria, a partir do vocabulrio desta. Em outras
palavras, a sintaxe estuda as regras formais que regem uma determinada linguagem e o desenvolvimento
de conseqncias lgicas a partir destas regras.
203
Embora faa referncias explcitas aos aspectos sintticos da lgica em Lgica Formal e
Transcendental.
204
Um desenvolvimento da concepo de lgica husserliana poderia exigir outras delimitao de
pesquisa, pois implicaria nas noes que aparecem em Lgica Formal e Transcendental. Neste sentido,
WIEGAND (2000, p. 111) v na distino dos trs estratos lgicos de Husserl de Lgica Formal e
Transcendental uma espcie de distino entre semntica e sintaxe. Ele compara o segundo nvel, da
lgica da conseqncia fundada em uma gramtica lgica pura, com uma sintaxe em sentido lato:
ns alcanamos o que poderia ser amplamente referido como sintaxe, porm no sentido que acomoda o
significado deste termo em relao matemtica formal. O conceito de Husserl de conseqncia
sinttica pode ser trabalhado com maior preciso dentro do contexto da lgica formal, pelo conceito
contemporneo de derivao (WIEGAND, 2000, p. 111). semntica corresponderia o estrato ltimo e
final da hierarquia estrutural da mathesis universal de Husserl, a lgica da verdade, que se caracteriza
pela sua relao com os objetos abstratos da ontologia formal elaborada pelo prprio Husserl: neste
nvel que conceitos como causa (conseqncia verdade-lgica), ou verdade so definidos. No sentido
das funes crticas que caracterizam a lgica formal, o problema bsico neste nvel a Investigao
das leis formais da possvel verdade e suas modalidades. Para a lgica matemtica moderna, esta
camada assinala o alcance de semnticas abstratas, que, pela perspectiva da FTL [Lgica Formal e
Transcendental] deve sempre ser compreendida como uma teoria-modelo (WIEGAND, 2000, p. 111).
202

91
Na busca do esclarecimento filosfico da concepo semntica husserliana e
da comparao desta especialmente com as teorias filosficas sobre as lgicas do sculo
XX, pode-se apontar como uma das hipteses mais interessantes, aquela que afirma que
Husserl conseguiu antecipar as abordagens semnticas do sculo XX a respeito das
utilizaes das linguagens da lgica e da matemtica como instrumento de anlise das
teorias cientficas a partir da noo de domnio de sistema formal:

A filosofia matemtica da cincia de Husserl pode ser considerada uma antecipao da


abordagem semntica... que observa a matemtica, e no a lgica, como a ferramenta
apropriada para a reconstruo exata das teorias cientficas. De acordo com Husserl, uma
parte essencial da reconstruo de uma teoria a descrio matemtica de seu domnio, isto
, o mundo (ou parte do mundo) sobre a qual a teoria tem a inteno de falar. ... Husserl,
inspirado pela geometria moderna e pela teoria dos conjuntos, mira em uma anlise
macrolgica das teorias cientficas que levam em conta as estruturas globais das teorias
como todos estruturados. Isso est escrito nas teorias complementares das multiplicidades e
das formas de teorias consideradas pelo prprio Husserl como a culminao de sua teoria
formal da cincia (MORMANN, 1991, p. 61).

Pode-se analisar as vrias implicaes filosficas relacionadas com a lgica do


sculo XX, a partir das semelhanas entre a noo de estrutura matemtica e de teoria
dos modelos205 desenvolvidas no sculo XX e a noo de multiplicidade da obra
husserliana. Diante das constataes dos comentaristas de que Husserl, com sua teoria

205

Poder-se-ia afirmar que um modelo uma interpretao de uma linguagem formal para o qual todas as
frmulas bem formadas (ou expresses significativas que so vlidas na teoria formal em questo) pela
funo verdade (que depende da interpretao I) tem a imagem 1 (que corresponde satisfabilidade das
frmulas que foram tiradas do domnio de interpretao). Resumidamente: em um modelo de um
conjunto de frmulas bem formadas, todas as frmulas bem formadas da teoria so verdadeiras (ou
satisfazem o critrio de possuir o valor 1). Uma interpretao oferece um meio de saber se uma frmula
bem formada de uma linguagem verdadeira ou no. H um caso particular dessa definio que pode
esclarecer o sentido de modelo: no modelo de uma certa estrutura, todos os axiomas dessa teoria
continuam vlidos. Ento, por exemplo, os axiomas de e continuam vlidos em seus modelos, isto , nas
linguagens dos conjuntos dos nmeros inteiros e dos nmeros reais. H um teorema nesta teoria sobre a
teoria dos modelos (ou nesta metateoria, sendo assim, um meta-teorema), que seria o ltimo enunciado de
uma demonstrao (que um procedimento pelo qual se forma uma seqncia de frmulas bem formadas
da teoria em questo), segundo o qual, os teoremas de uma certa linguagem continuam vlidos no seu
respectivo modelo. Assim, os teoremas de e seriam vlidos nos conjuntos citados como modelo.
Percebendo a relao entre a teoria das multiplicidades husserlianas e a teoria dos modelos, pode-se
constatar sua relao com a semntica lgica, na medida em que, por meio da noo de interpretao de
uma estrutura, desenvolve-se os estudos semnticos. destas consideraes lgicas, que se pode perceber
a semelhana da teoria das multiplicidades de Husserl com a teoria dos modelos do sculo XX. Para
enfatizar o aspecto abstrato de uma espcie de estruturas, que seria, na linguagem husserliana, uma forma
possvel de teoria, poder-se-ia alterar os smbolos mantendo as mesmas propriedades.

92
das multiplicidades, ressalta-se a sua importncia como precursor da lgica semntica
formal do sculo XX206.

3.2 A TEORIA DAS MULTIPLICIDADES COMO TEORIA FILOSFICA DE


HUSSERL OU O PAPEL DOS FILSOFOS NA LGICA PURA

No mesmo captulo em que apresentou a idia de lgica pura, nos


Prolegmenos, Husserl dividiu os trabalhos de pesquisa relacionados com os
desenvolvimentos de sua lgica pura entre matemticos e filsofos. E, em relao aos
aspectos propriamente filosficos, interessante ressaltar que a obra Prolegmenos s
Investigaes Lgicas teve uma importncia notvel na histria da filosofia europia no
sculo XX207. No estudo do desenvolvimento filosfico de Husserl, uma obra
marcante no momento em que, entre os estudos de Filosofia da Aritmtica e Idias para
206

Pode-se apontar como uma das hipteses mais interessantes, aquela que compara a abordagem
semntica de Husserl com a teoria dos modelos, no sentido de POIZAT (2000). A teoria dos modelos
pode ser interpretada como uma continuao ou desenvolvimento da semntica cientfica de Tarski.
Martin Kusch destaca a importncia dos trabalhos de Tarski e outros lgicos poloneses para que a teoria
do modelo pudesse emergir como uma noo central na construo da semntica como uma linguagem
formal. Mirja Hartimo (2000, p.145) comenta essa distino de Kusch assim: Antecipando a moderna
teoria dos modelos, Husserl explicitamente Kantiano na tentativa de criar categorias fundamentais.
Husserl olha o mundo dentro das limitaes de nossa subjetividade, que uma caracterstica das vises
universalistas. (...) Mas, contrariamente s semnticas formais propostas ... [para] Husserl a tarefa
daqueles filsofos sujeitar a semntica anlise fenomenolgica206 (HARTIMO, 2000, p. 145). .Se a
abordagem semntica apresenta uma teoria especificando um conjunto de modelos com um conjunto de
axiomas em comum, nesta teoria comum a diversos modelos poder-se-ia perceber algo semelhante
forma de teoria da qual Husserl tratava nos Prolegmenos. Para uma explicao inicial e, inclusive,
histrica sobre as teorias de estruturas algbricas, conferir KLUTH (2005, p. 61-8). Conferir, por
exemplo, Mirja Hartmo, para quem Husserl parece estar visando algo como a moderna teoria dos
modelos (HARTIMO, 1993, p. 136). Conferir tambm DA SILVA (1999, p. 374). Alm disso, KUSCH
(1989) observa que as Investigaes Lgicas, especialmente a Terceira e a Quarta Investigaes,
exerceram uma influncia notvel sobre a Escola de Varsvia no perodo entre as duas guerras mundiais,
especialmente em Adjuciewiscz e Lesniewisk. Martin Kusch (1989, p. 59) descreve algumas das seis
investigaes lgicas como preparatrias para investigaes semnticas subseqentes (KUSCH, 1989,
p. 59). Este autor destaca a influncia dessas investigaes na histrica da lgica semntica do sculo XX.
Kusch chega a comparar esta influncia com a de Wittgenstein no Crculo de Viena, sendo que no foi
uma mera inspirao, mas foi em aplicaes concretamente identificveis como: O seminrio de
Adjukiewicz e Lesniewski sobre gramtica categorial teve como ponto de partida a quarta investigao
de Husserl a respeito da gramtica lgica ideal (KUSCH, 1989, p. 60).
207

Talvez o exemplo mais claro seja SMITH (2003b), caso em que a obra Prolegmenos foi escolhida
como amostra da importncia do pensamento de Husserl para o pensamento filosfico ocidental
considerado como um todo.

93
uma filosofia fenomenolgica, o autor introduz sua metodologia fenomenolgica que
procurar responder, inclusive, problemtica da teoria das multiplicidades208.
por isso mesmo que as seis investigaes lgicas, consideradas como um
todo, no fazem uma exposio sistemtica de lgica, mas apresentam uma clarificao
epistemolgica por meio da crtica dos conceitos bsicos do conhecimento lgico. Nos
Prolegmenos, Husserl reservou especialmente aos filsofos as tarefas de determinar a
essncia daquilo que estudado pelos lgicos e matemticos. Tambm cabe aos
filsofos a justificativa e a clarificao209 da possibilidade de conhecimento pela teoria
das multiplicidades, explicando as condies ideais que tornam possveis o
conhecimento simblico.
Husserl desenvolveu esta metodologia prpria de investigao filosfica da
lgica na medida em que foi apresentando resistncias em relao a algumas
concepes filosficas sobre o papel da lgica na cincia em geral, na medida em que
estas abstraem elementos que seriam relevantes para o esclarecimento filosfico de seus
objetos. A aplicao da fenomenologia em reas relacionadas com a lgica pura como
doutrina da cincia210, como ocorreu nas Investigaes Lgicas, pode ser relacionada
com as precaues husserlianas contra os reducionismos em geral:

A concepo fenomenolgica geralmente implica que devemos ser cuidadosos em relao a


esquemas eliminativos e reducionistas na fundamentao da matemtica. Reducionismo o
esforo para eliminar as diferenas entre os significados sob os quais ns pensamos os
objetos pela introduo de esquemas modificadores e outros meios semelhantes.
(TIESZEN, 2005, p. 299).

208

Na seqncia da leitura das Investigaes Lgicas como um todo, o captulo de introduo


fenomenologia vem logo aps o captulo sobre a idia de lgica pura, o que bastante significativo no
contexto da pesquisa presente.
209
Entende-se clarificao como o estudo das condies de possibilidade de uma teoria em geral,
incluindo seus conceitos fundamentais, suas formas conectivas elementares e as leis de implicaes
lgicas.
210
...[Husserl] sustenta que h alguns srios problemas com o formalismo estrito. Husserl possui um
lugar para uma espcie de formalismo, mas ele certamente no possui uma viso exclusivamente formal
da lgica e das matemticas (TIESZEN, 2005, p. 295).

94
Mantendo a abordagem panormica do desenvolvimento da filosofia
husserliana da lgica e da matemtica, quando se trata da importncia da
fenomenologia, no se deve abandonar completamente o que foi apresentado nas obras
anteriores como Filosofia da Aritmtica e Prolegmenos. A relao entre a lgica pura
enquanto doutrina da cincia, especialmente na sua teoria das multiplicidades, e a
fenomenologia surge a partir das reflexes sobre a objetividade ideal e das questes da
origem do conhecimento na subjetividade da conscincia que percebe as evidncias das
intuies dos dados autnticos e simblicos:

Direcionando-se somente para aquilo que ele alternadamente chamava de enigmas,


tenses, quebra-cabeas e mistrios sobre a cincia e a lgica pura, e enxergando sua
volta apenas idias vagas, mal desenvolvidas, ambguas e confusas, sem nenhuma
compreenso global e verdadeiramente satisfatria do pensamento simblico ou de
qualquer processo lgico, Husserl se lanou sozinho na resoluo dos problemas que as
suas investigaes das bases da matemtica haviam criado, concluindo, aps uma dcada
de trabalho solitrio e rduo, que os enigmas que cercavam o ser em si da esfera ideal e
sua relao com a conscincia s seriam resolvidos atravs da elucidao fenomenolgica
pura do conhecimento que ele desenvolvera (HILL ET HADDOCK, 2000, p. 149 ).

Na perseverana nestas questes da filosofia da matemtica, Husserl


direcionou-se para o desenvolvimento de seu mtodo fenomenolgico. Se a lgica pura
estuda as essncias dos objetos formais, a fenomenologia estuda como estes objetos
aparecem na conscincia, procurando explicar um conceito por meio da referncia s
operaes mentais supostamente envolvidas na sua origem211. Neste sentido, a obra
Investigaes Lgicas pode ser considerado tambm, como o texto fundante do
movimento fenomenolgico nascente (...) na Alemanha (MORAN, 2003, p. xxi),
embora alguns conceitos fundamentais da fenomenologia j faam, em certo sentido,
uma primeira apario em Filosofia da Aritmtica. As investigaes sobre a lgica que
seguiram os Prolegmenos ofereceram uma espcie de agendamento das tarefas da

211

Mas sem fazer concesses ao psicologismo, que, por isso mesmo, foi to criticado nos Prolegmenos.

95
fenomenologia ao fazer anlises das estruturas essenciais da conscincia em termos de
atos intencionais e seus contedos e objetos. Pode-se afirmar que, em certo sentido, a
fenomenologia comeou analisando os fundamentos da lgica e da aritmtica, assim
como a estrutura que torna o conhecimento possvel, passando, depois, gradualmente,
para as estruturas a priori da conscincia em geral.
Na clarificao (Aufklrung) do conhecimento cientfico, a lgica pura utilizar
os recursos fenomenolgicos buscando a origem do conceito primitivo em sua evidncia
original percebida pela conscincia. As condies de uma teoria podem ser objetivas ou
subjetivas, relacionadas com as caractersticas noticas ou condies ideais da
percepo do conhecimento. As condies noticas so fundadas a partir da
subjetividade e voltadas para o estudo da evidncia, como concordncia entre o sentido
do enunciado e o objeto que se intenciona, sendo que este acordo a verdade. E no a
psicologia que estuda a possibilidade de um conhecimento evidente do ponto de vista
objetivo e ideal que se refere ao conhecimento e cincia em geral, mas justamente a
fenomenologia, a qual deve manter o padro de rigor antipsicologista estabelecido como
ideal nos Prolegmenos:

Poderia mais uma vez causar perplexidade que na orientao fenomenolgica


direcionemos o olhar para alguns vividos puros, com o intuito de investig-los, embora
tomados em pureza fenomenolgica, os vividos dessa prpria investigao, dessa orientao
e desse direcionamento de olhar, devam ao mesmo tempo fazer parte do domnio que deve
ser investigado. Tampouco isso uma dificuldade. (...) Essa auto-remisso s seria
preocupante, caso o conhecimento de todas as outras coisas ... dependesse do conhecimento
... do respectivo pensamento do respectivo pensador, o que seria pressuposio visivelmente
absurda (HUSSERL, 2006, p. 146).

O estudo filosfico da lgica pura, assim, clarificao, isto , estudo das


condies de possibilidade de uma teoria em geral, incluindo seus conceitos
fundamentais, suas formas conectivas elementares e as leis de implicaes lgicas.
Assim, a lgica pura no faria um sistema lgico como as disciplinas matemticas, mas

96
faria o esclarecimento dos sistemas lgicos e matemticos. Enquanto os procedimentos
das cincias so procedimentos tcnicos delimitados conforme a metodologia de cada
uma delas, o filsofo busca a fundamentao que estava latente durante o trabalho do
cientista, buscando a fonte fenomenolgica. No trabalho de investigao lgica ou de
anlise da lgica pura conforme a fenomenologia, no interessar o juzo psicolgico
concreto, mas o juzo lgico como relao com a multiplicidade intencionada, naqueles
seus aspectos essenciais que permanecem idnticos, independente dos atos
psicolgicos212. Assim, a fenomenologia colabora na superao do psicologismo como
uma condio fundamental para a prpria lgica pura, mantendo-se independente de
pressupostos de natureza psicologista.
Talvez a melhor maneira de perceber a relao entre a lgica pura e a
fenomenologia, seja por meio da constatao das relaes entre as Investigaes
Lgicas, que desenvolve essa noo de lgica como doutrina da cincia, e as outras
obras de Husserl nas quais a noo de fenomenologia j est mais desenvolvida213.
Spiegelberg, no seu livro sobre a histria do movimento fenomenolgico, descreveu
algumas das relaes entre a lgica pura de Investigaes Lgicas e a fenomenologia
posterior, baseando-se no esforo do prprio Husserl para mostrar como elas se
conectavam. Um exemplo disto o retorno ao campo de investigao da lgica pura em
Lgica Formal e Transcendental, assumindo abertamente os pressupostos das
Investigaes Lgicas. Esta obra, alm de oferecer novas solues para o problema prfenomenolgico husserliano, tem como objetivo maior integrar as investigaes sobre a
natureza da lgica com a fenomenologia posterior mostrando como as leis ideais da
212

Nesse sentido, no estudo da idealidade e da objetividade das expresses utilizadas nas cincias,
especialmente na lgica e na matemtica, Husserl avanou com as investigaes lgicas, estudando os
signos e os significados. Para ele, um signo (Anzeichen) sempre signo de alguma coisa e seu significado
est relacionado com o seu objeto intencionado.
213
Na introduo de Elamar Holenstein para a edio de Investigaes Lgicas da coleo Husserliana ,
h um comentrio interessante de Husserl sobre a integrao entre Investigaes Lgicas, Lgica Formal
e Transcendental e Idias para uma fenomenologia pura e uma filosofia fenomenolgica (HUSSERL,
1975, p. LIII).

97
lgica formal tm suas origens ltimas em uma lgica transcendental214
(SPIEGELBERG, 1994, p. 136).
O fato que se a obra Investigaes Lgicas influenciou os estudos posteriores
de fenomenologia, os trabalhos da fase fenomenolgica de Husserl mantiveram a
sustentao da validade da lgica pura apresentada naquela obra. Na introduo de
Lgica Formal e Transcendental mantm-se a defesa de uma lgica como doutrina da
cincia (wissenschaftlehre) 215. Se a validade da cincia remete-se s evidncias dadas
na conscincia, se as evidncias da lgica e da matemtica so evidentes justamente na
medida em que a conscincia as atende; surge, para Husserl, o problema de saber o que
conscincia e descrever os diferentes modos que as evidncias aparecem na
conscincia. Portanto, revela-se assim a importncia da fenomenologia da conscincia:
que descreve a conscincia e reunifica a noo de evidncia comum aos dois modos em
que a certeza da verdade aparece na conscincia, seja pela deduo matemtica ou pela
evidncia, isto , seja pelo conhecimento simblico ou autntico.
A problemtica do desenvolvimento da filosofia husserliana da lgica e da
matemtica desdobra em dois temas de pesquisas principais: a) filosofia da conscincia
ou fenomenologia, que no se estuda pelos mtodos psicolgicos da observao,
experimentao e introspeco, mas se estuda pela fenomenologia dos contedos da
conscincia, buscando os contedos relativos s essncias eidticas e suas veracidades;
b) lgica pura como doutrina da cincia, que a filosofia que mostra como a
matemtica ultrapassa o limite do estudo da quantidade e passa a assumir os contedos
da lgica216.

214

Baseando-se na reduo transcendental, a anlise intencional iria mostrar que as leis lgicas puras so
alcanadas por meio de atos constitucionais.
215
Conferir HUSSERL (1957, p. 3), onde ele defende uma concepo de lgica complementada com a
metodologia fenomenolgica como uma maneira de justificar a lgica enquanto mtodo aplicado s
teorias cientficas em geral.
216
Como Husserl comentou no prlogo das Investigaes Lgicas (HUSSERL, 1922).

98
Talvez o ponto em comum mais importante entre a lgica pura e a
fenomenologia esteja na investigao dessas essncias, principalmente aquelas
relacionadas aos conceitos fundamentais da lgica pura, quando se busca, pela
fenomenologia, a representao intuitiva da essncia em uma ideao adequada217
(HUSSERL, 1922, p. 244). Isto , se a lgica pura busca a preciso mxima na
conceituao, a fenomenologia tambm o faz e nisto convergem, embora a
fenomenologia destaque a importncia do contedo intuitivo em que a definio
baseou-se, a partir da percepo da essncia218.
A estrutura de um objeto matemtico qualquer, decorrente dos invariantes
percebidos, chamada de essncia ou eidos219. Neste sentido, pode-se falar em
ideao220, que a viso ou intuio da essncia originalmente doadora221, que ocorre,
no exemplo clssico, dado por Husserl, quando se percebe que um som um som,
sendo diferente de uma cor. Neste caso, percebe-se caractersticas essenciais em um
som que no aparecem na cor, ainda que no consiga descrever tal diferena
lingisticamente.

217

E ainda, como ressaltou Mrio Ferreira dos Santos: . Porque a conceituao lgica varivel atravs
dos povos, dos tempos, mas a conceituao ontolgica que uma reduo eidtica deve atingir aquela
preciso mxima que possa ser universalmente vlida (SANTOS, 1967, p. 6).
218
Para explicar esta tarefa filosfica que Husserl props nos Prolegmenos sero usados alguns
elementos de HUSSERL (2006), onde esta concepo filosfica foi apresentada com mais detalhes.
219
E por isso se fala em intuio eidtica: intuio de uma essncia, isto , dos elementos mais
permanentes de um objeto matemtico. Por exemplo: considerando a aritmtica habitual, pode-se mudar a
maneira de desenhar o zero, mas no se pode fazer com que o zero, na sua definio, tenha o mesmo valor
numrico que o nmero 1.
220
Termo utilizado por Husserl especialmente na obra Investigaes Lgicas (HUSSERL, 1922). Esta
no a operao que distingue a percepo das multiplicidades, como observa MILLER (1982), mas
tambm preciso cit-la, por ser mais fundamental. Um trabalho especfico sobre a percepo das
multiplicidades husserlianas KLUTH (2003).
221
Quando h um enunciado histrico ou matemtico considerado correto sobre os nmeros, a isso
corresponde alguma intuio, isto , algum ato que atesta a sua legitimidade. Esse ato a intuio
doadora original e, por seu meio, dou um sentido aos smbolos ou fatos que me levaram a perceb-lo.

99
A viso ou intuio de uma essncia corresponde ao objeto essncia como
aquilo que faz com que algo seja o que , como expresso no seu conceito222, assim
como a intuio emprica refere-se aos fatos, sendo o ato que corresponde aos objetos
individuais, isto , aos objetos existentes no espao e no tempo, com uma forma fsica e
suas contingncias223. Intui-se generalidades da essncia do nmero que ocorrero em
qualquer objeto nmero que puder ser operado coerentemente, isto , seguindo as leis da
aritmtica. Por mais variaes que se faa em um nmero, ele continuar tendo algumas
caractersticas gerais, compartilhadas por qualquer nmero224.
Percebe-se que um determinado objeto, como o nmero natural, possui
semelhana com outros objetos, especialmente com os objetos matemticos em geral,
mas especialmente com os nmeros pertencentes aos outros conjuntos numricos225.
Esse conjunto de objetos afins submete-se a leis e caractersticas comuns, podendo
participar de uma regio eidtica, implicando que a esses objetos correspondero
maneiras comuns de ser apreendidos e de ser expressos lingisticamente.
No estudo fenomenolgico, preciso purificar os dados vividos para que se
tornem eideticamente evidentes226. Husserl usa a linguagem das regies eidticas ou

222

Pode-se fazer o exerccio de tentar definir um objeto qualquer, como acontecia em alguns dilogos
platnicos, o que exigir a percepo das suas caractersticas essncias, listando-as com ateno at
conseguir oferecer uma expresso lingstica.
223
Esta foi a maneira pela qual Husserl conseguiu apropriar-se das tradicionais noes filosficas de
essncia sem precisar apelar para a mstica, mas utilizando a descrio da intencionalidade da essncia.
Por exemplo: ao escrever um nmero em um papel branco, este poder amarelar com o tempo, ter que
ficar em algum lugar (espacial), etc.; mas se intuo a essncia de um nmero, apreendo uma generalidade
eidtica ou um eidos, isto , um conjunto de caractersticas que so necessrias, inclusive quando o
nmero aparecer como fato, o que acontece quando escrito.
224
As axiomticas particulares, como a axiomtica de Peano, sero coerentes com esta essncia percebida
na anlise fenomenolgica.
225
E definidos por outras teorias matemticas especficas como os como os nmeros inteiros, por
exemplo.
226
Os dados que se pretende usar, relativos ao objeto de estudo presente no fluxo da experincia vivida da
prpria conscincia, devem ser considerados em termos de pura imanncia H um problema lingstico
quando se refere conscincia, quando aparecem expresses sobre algo que evidente para ns na
prpria conscincia (HUSSERL, 2006, p. 136) ou na conscincia (HUSSERL, 2006, p. 139), uma
vez que a conscincia no um lugar ou um receptculo. Nesse sentido, HUSSERL (2006) refere-se
conscincia como fluxo da conscincia ou esta conscincia flutuante. Entretanto, at mesmo por
motivos didticos ou para se fazer entender melhor, quase inevitvel usar alguma analogia como faz
ALLES BELLO (2006) ao comparar a conscincia com um ponto de convergncia das operaes

100
esferas regionalmente fechadas, o que vai ao encontro da noo de multiplicidade como
regio de objetos de um determinado sistema formal. Assim, cada uma das teorias
formais axiomticas teria a sua prpria regio de objetos, sendo especfica da
fenomenologia a esfera da conscincia fenomenologicamente purificada.
A descrio fenomenolgica pura no sentido de que procura respeitar e
salvar os fenmenos, para que se preserve aquilo que se pretende compreender nas suas
implicaes e significaes, assim como nas intenes sedimentadas e nos horizontes
que possibilitaram a percepo. A proposta, assim, que a histria fenomenolgica se
volte regio de vividos puros, por serem imediatamente dados, desprezando
preconceitos, conforme a meta da cincia autntica, isto , da cincia baseada nos dados
intudos com evidncia227. Desta maneira, voltamo-nos para a esfera fenomenolgica,
atendo-nos s suas premissas, evitando confundir as reas228. E isso mesmo que
garante a pureza fenomenolgica: colocando-se em parnteses os dados das regies
eidticas particulares que foram deixadas fora de circuito229.
A caracterstica de pura descrio fundamental na fenomenologia. Por isso,
as comprovaes fenomenolgicas ocorrem no mbito da absteno da epoch230
filosfica, isto , abstendo-se de julgar acerca dos contedos doutrinais das cincias e
filosofias previamente dados. Mesmo quando alguns juzos filosficos so citados no
humanas (ALLES BELLO, 2006, p. 45). E no por Husserl usar estas expresses ou por sua tradutora
italiana (Alles Bello) usar tal analogia que algum pensar que a conscincia um corpo (isto , algo que
ocupe lugar no espao, como o crebro) ou um lugar especfico (ainda que fosse de carter psquico).
227
Ao contrrio dos dados simblicos, os quais esto apenas simbolizados na escrita, por exemplo, mas
cujo sentido no intudo, como acontece quando lemos algo e no sabemos do que se est falando ou
mesmo quando se l algo sem precisar intu-la diretamente (HUSSERL, 1970).
228
O que seria uma espcie de metbasis, termo grego que Husserl utiliza para descrever a utilizao
inadequada do mtodo de uma cincia na outra. Seria como pretender utilizar um mtodo psicolgico
para resolver um problema estritamente matemtico como se este campo estivesse submetido s leis da
psicologia, como ocorre nos casos de psicologismo analisados amplamente por HUSSERL (1922).
229
Husserl utiliza essa expresso em HUSSERL (2006). Esta uma medida para eliminao dos
preconceitos do estudo da fenomenologia. Pureza metodolgica significa assim, absteno de
preconceitos.
230
Termo filosfico grego que significa suspenso do juzo. Foi utilizado pelos primeiros filsofos cticos
da Grcia Antiga. Ganhou um sentido especial na filosofia fenomenolgica de Husserl, uma vez que
uma noo fundamental para essa operao inicial de purificar a percepo antes da descrio eidtica
buscada.

101
estudo fenomenolgico, o que inevitvel, isto ocorre com a inteno de levar
descrio eidtica e no para deduzir concluses diretamente deles. As descries
fenomenolgicas de essncias propriamente ditas, portanto, no precisam referir-se a
fatos, mas a intuies de caractersticas que so vlidas para uma generalidade de
objetos, inclusive se eles no existirem com caractersticas espaciais e temporais, como
o caso das multiplicidades formais231. evidente que, a partir de uma afirmao geral
qualquer ou de um juzo universal, como Todo homem mortal, pode-se oferecer uma
formulao individual, como Scrates mortal, mas isso poder continuar na pura
generalidade eidtica prpria do conhecimento simblico na medida em que se pode
afirmar esse exemplo sem saber se tal Scrates existe de fato, temporal e
espacialmente232.
A problemtica da fenomenologia aparece, portanto, nas relaes entre
conhecimento simblico e autntico. Se, na concepo de lgica pura, o valor da cincia
possui sua autonomia como conhecimento simblico, mesmo quando no possvel ter
uma intuio autntica, o que acontece especialmente no caso da teoria das
multiplicidades, mesmo assim preciso compreender filosoficamente as essncias dos
objetos. E o estudo fenomenolgico das essncias relacionadas com a lgica pura em
geral passa pela busca da origem destas essncias objetivas, estudando as condies
noticas ideais que permitem tais pesquisas sobre a lgica pura233:
231

Um teorema matemtico sobre nmeros naturais, por exemplo, no trata especificamente do nmero
que foram desenhados para exemplific-lo, mas trata de nmeros naturais em geral, inclusive daqueles
que apenas foram imaginados e nem chegaram a ser registrados em aspectos espaciais e temporais.
232
por isso que em uma aula de matemtica no preciso materializar todos os exemplos, pois se pode
aprender a essncia de algo sem precisar do fato, como acontece muitas vezes no ensino dos logaritmos,
por exemplo. O exemplo clssico de Husserl sobre a distino entre som e cor. Preciso escutar um
determinado som para intuir sua essncia e saber que diferente de uma determinada cor? Ou posso
apenas imaginar exemplos?
233
Como a fenomenologia faz, por exemplo, ao investigar como a subjetividade pode ter acesso
transcendncia e como o objeto transcendente pode ser dado com evidncia233 (MOURA, 1989, p. 68).
Ou como se faz em uma pesquisa sobre a origem dos objetos na subjetividade (MOURA, 1989, p.
68). Apesar desta nfase nas condies subjetivas, que ser desenvolvida um pouco mais durante esta
pesquisa, chega a ser paradoxal que Bochenski tenha caracterizado a fenomenologia como um
objetivismo: toda investigao do pensamento deve concentrar-se exclusivamente no objeto, para

102
Por condies subjetivas da possibilidade no entendemos as condies reais que radicam
no sujeito individual do juzo ou na espcie varivel de todos os seres capazes de julgar (por
exemplo: a espcie humana), mas as condies ideais que radicam na forma da
subjetividade em geral e na relao desta com o conhecimento. Para distinguir estas das
outras, chamaremos a estas ltimas de condies noticas (HUSSERL, 1922, p. 111).

especialmente na descrio das condies noticas da lgica pura que se


mostra o valor filosfico da fenomenologia em relao teoria das multiplicidades.
Entretanto, a anlise das condies objetivas ideais da lgica pura possui certa
autonomia em relao s investigaes noticas, como ocorre nos problemas da lgica
pura que ficaram delimitados para os lgicos e os matemticos. E estes problemas
idealmente prvios ao estudo da lgica pura propriamente dita no devem bloquear
indevidamente o avano das pesquisas, por excesso de nfase nos problemas crticos
preliminares234.
Os caminhos da lgica pura como doutrina da cincia, da ontologia formal e
da fenomenologia parecem encontrar-se na unidade da prpria filosofia husserliana. Nas
reflexes que iriam fundamentar sua filosofia fenomenolgica, Husserl insistira na
busca de uma fundao geral e logicamente rigorosa do mtodo (HUSSERL, 2006,
p. 146) que j estava presente nos Prolegmenos. Por outro lado, o direcionamento
filosfico da lgica pura como uma espcie de ontologia formal abriu a perspectiva da
clarificao dos objetos estudados pela teoria das multiplicidades, levando definio
do mtodo da fenomenologia. E, de fato, este o tema que aparece nas Investigaes
Lgicas, logo aps os Prolegmenos, especialmente na segunda edio. como se

completa eliminao de qualquer aspecto subjetivo (BOCHENSKI, 1968, p. 19). De qualquer modo,
esta citao mais uma confirmao do antipsicologismo que Husserl buscou realizar, conforme j havia
sido comentado no segundo captulo.
234

Embora a fenomenologia esteja parcialmente na perspectiva kantiana do primado do problema crtico.


O mais exato seria afirmar que existe um ramo da fenomenologia que a fenomenologia crtica, assim
como na lgica pura poderia se acrescentar o ramo da lgica pura crtica, isto , a parte de cada uma
dessas cincias que aborde os problemas e as dificuldades, sejam de ordem subjetiva ou objetiva, que se
apresentam ao investigador na busca dos objetos prprios a cada uma delas.

103
aquelas reflexes sobre a concepo da lgica pura como doutrina da cincia, incluindo
a teoria das multiplicidades, preparassem teoreticamente e at exigissem as reflexes
filosficas e fenomenolgicas que se seguiriam no decorrer do desenvolvimento da obra
husserliana.

104
CONCLUSO

No final desta dissertao, manifesta-se a relao entre a lgica pura como


doutrina da cincia com os problemas lgicos e matemticos do perodo prfenomenolgico husserliano. Concluindo o estudo, torna-se mais clara a importncia
das questes da objetividade do conhecimento e da polmica husserliana contra o
psicologismo no desenvolvimento de sua filosofia fenomenolgica.
A dissertao iniciou apresentando o contexto matemtico que marcou o
desenvolvimento filosfico de Husserl e mostrou, de maneira panormica, como eles
foram conduzindo a colocao de problemas sobre a estruturao teortica das cincias
e, mais especificamente, da lgica pura. Nas suas consideraes matemticas, percebese que h um centro: o problema dos elementos imaginrios de uma teoria formal
qualquer, resultando em questes filosficas sobre as relaes entre o conhecimento
simblico e autntico.
Ao procurar estabelecer a matemtica como cincia autntica, inspirando-se em
Franz Brentano, Husserl utilizou recursos psicolgicos no estudo de questes
filosficas. Apesar de abrir perspectivas filosficas que depois seriam ampliadas na sua
etapa fenomenolgica, estes procedimentos foram objetos de uma reviso rigorosa sob o
ponto de vista filosfico. Entre a filosofia brentaniana da intencionalidade e a lgica
pura inspirada em Bolzano, Husserl precisou aprofundar os fundamentos de sua
concepo de cincia.
Estudando o histrico das pesquisas lgicas desde os estudos silogsticos de
Aristteles na Antigidade, passando pela arte de calcular de Leibniz, Husserl percebeu
o valor filosfico da lgica pura como doutrina da cincia de inspirao bolzaniana. Ele

105
no poderia aceitar uma disciplina lgica que no assumisse este patamar do estudo das
proposies-em-si e dos conceitos-em-si.
Nesta conjuno de influncias iniciais do desenvolvimento filosfico
husserliano, entre as obras de Weierstrass, Brentano e Bolzano, comeou a aparecer o
contraste entre aquela filosofia brentaniana dos conceitos fundamentais da aritmtica e a
filosofia do conhecimento matemtico simblico que derivava da busca de rigor tpica
da anlise matemtica e da lgica pura das proposies consideradas enquanto
constituintes formais de uma teoria cientfica.
Estas questes do perodo pr-fenomenolgico husserliano encaminhar-se-iam
para a discusso dos Prolegmenos sobre o status da lgica como disciplina cientfica.
Na polmica contra os psicologistas, tornou-se mais patente o foco filosfico deste
trabalho, quando, no segundo captulo, partindo de alguns problemas relacionados com
a natureza do conhecimento lgico, delineou-se a refutao de psicologismos e de
relativismos associados. Foi nesta etapa da pesquisa que se estabeleceu caractersticas
fundamentais da lgica pura como doutrina da cincia, assim como as suas diferentes
tarefas, entre as quais aparece a teoria das multiplicidades.
A abordagem da teoria das multiplicidades, como uma espcie de projeto de
disciplina filosfica, com as indicaes dos problemas que so distribudos entre
lgicos, matemticos e filosficos foi apresentada no terceiro captulo. Ao refletir sobre
os diversos aspectos da teoria das multiplicidades, aparecem as distines entre suas
categorias de significao e de seus correlatos objetivos, assim como as distines entre
suas condies ideais objetivas e subjetivas que so estudadas fenomenologicamente.
Se a filosofia busca ser objetiva como a prpria lgica pura, tambm se deve
levar em considerao que a lgica pura justificada em sua objetividade pela filosofia.
E este termo no pensamento husserliano remete-se fenomenologia, especialmente

106
depois da publicao de Idias para uma fenomenologia pura e para uma filosofia
fenomenolgica e da reviso fenomenolgica das Investigaes Lgicas. Trata-se de um
desenvolvimento da concepo da lgica, da matemtica e da cincia que continuaria no
decorrer da vida e da obra husserliana. Em Lgica Formal e Transcendental seriam
retomados temas dos Prolegmenos,mantendo os aspectos essenciais, quase trinta anos
depois. Entretanto, os estudos apofnticos da lgica seriam complementados com
estudos transcendentais considerando aspectos do estudo do esprito que conhece a
lgica e com estudos relacionados genealogia das experincias pr-predicativas deste
mesmo conhecimento, como apareceria postumamente em Experincia e Juzo. .
pela conjuno desses aspectos: desenvolvimento da problemtica
matemtica inicial de Husserl, com a sua concepo de lgica pura como doutrina da
cincia como crtica e superao dos psicologismos gnoseologicamente relativistas, que
aparece o papel dos diversos aspectos da teoria das multiplicidades na resoluo de
problemas da concepo filosfica da lgica e da matemtica, assim como a
importncia de uma soluo adequada do problema do conhecimento simblico e de
seus correlatos ontolgicos para que a lgica pura possa ser considerada como um dos
elementos que confirmam o valor objetivo do conhecimento cientfico considerado em
sua essncia fenomenolgica.
O lgico e o matemtico continuaro desenvolvendo suas teorias, mas tomaro
como partida certos conceitos e definies que no sero esclarecidos. Se isto
aceitvel nestas cincias puras, o filsofo chamado de ingnuo ao proceder assim.
preciso compreender filosoficamente estas lacunas cognitivas destas cincias. O filsofo
complementar o trabalho dos lgicos e dos matemticos com o procedimento
epistemolgico da clarificao. Na clarificao (Aufklrung) do conhecimento
cientfico, busca-se a origem do conceito primitivo em sua evidncia original percebida

107
pela conscincia. Portanto, o estudo filosfico da teoria das multiplicidades como tarefa
determinada pela idia de lgica pura como doutrina da cincia clarificao, isto ,
estudo das condies de possibilidade de uma teoria em geral.
Observando a dissertao como um todo, alguns limites do trabalho destacamse, parecendo sugerir maiores desenvolvimentos, o que exigiria futuras pesquisas
envolvendo principalmente maiores exemplificaes matemticas das teorias de
multiplicidades aplicadas s teorias do sculo XIX indicadas rapidamente por Husserl e,
at mesmo, s novidades do sculo XX que fossem desconhecidas pelo prprio autor
dos Prolegmenos. Outra porta aberta por este trabalho que se conclui a relao entre
a concepo de lgica pura e os desenvolvimentos filosficos das obras posteriores,
especialmente Lgica Formal e Transcendental. Nesta linha, exigindo mais
apropriaes dos resultados fenomenolgicos husserlianos, poder-se-ia aprofundar com
maiores exemplificaes fenomenolgicas os diversos aspectos da teoria das
multiplicidades. De qualquer modo, espera-se ter incentivado o leitor ao
aprofundamento da fenomenologia das cincias formais e utilizao da metodologia
da clarificao epistemolgica dos conceitos utilizados nas questes filosficas.
Considerando a pesquisa como um todo, torna-se manifesta a percepo de que
a teoria das multiplicidades, incluindo seus aspectos lingsticos e ontolgicos, pode ser
considerada como um roteiro para os estudos da obra husserliana, assim como parece
abrir um amplo caminho filosfico entre os estudos lgicos e matemticos,
especialmente para aquele que se especializa nos estudos de teoria formal, nas suas
variadas implicaes, por exemplo, algbricas ou geomtricas.
Esta filosofia husserliana com a sua virada fenomenolgica traz dificuldades
especiais para muitos lgicos e matemticos, especialmente para aqueles sem formao
filosfica nos mtodos da clarificao da origem dos objetos e na reduo eidtica.

108
Entretanto, mesmo considerando esse aspecto, pode-se afirmar convictamente, aps esta
pesquisa, que o estudo da teoria das multiplicidades abre os horizontes para
compreender a prpria lgica e a prpria matemtica, permitindo seguir os rumos de
Husserl, mas indicando algo que vai alm dele, seja nos seus desenvolvimentos
fenomenolgicos ou em termos de filosofia da lgica.
De um problema que parecia apenas ser usado comentar ou reler uma obra
filosfica, os Prolegmenos, a partir de uma experincia lgica e matemtica,
organizam-se elementos histricos, filosficos e cientficos de uma maneira que possa
servir para a resoluo de problemas filosficos relevantes na histria da filosofia, como
o valor do conhecimento simblico e das multiplicidades no estudo da objetividade das
teorias cientficas em geral.
Ao unir-se esses elementos aparentemente dspares, forma-se um novo quadro
que molda um conjunto de possibilidades conforme a personalidade de um filsofo,
Husserl, que estudou matemtica e deixou-se admirar e intrigar pelas questes
relacionadas sua compreenso. Assim, mais do que buscar uma espcie de
isomorfismo entre a matemtica e a filosofia, este trabalho procurou abrir uma
perspectiva cultural para o filsofo que possui formao matemtica e para o
matemtico que possui formao filosfica, sem fazer ligaes arbitrrias ou foradas,
mas mostrando uma unidade que seja assimilvel por algum que tambm tenha esse
perfil intelectual.
A busca da clarificao dos conceitos, dos procedimentos e das prprias teorias
que aparecem nas cincias em geral, especialmente na lgica pura e na teoria das
multiplicidades, apresenta tambm uma importncia notvel na superao do vazio ou
na ausncia de sentido (sinnentleerung) que as cincias estavam tomando de acordo
com a interpretao de Husserl, o que antecipa alguns temas de Crise das cincias

109
europias e a fenomenologia transcendental . importante clarificar a origem da lgica
e da matemtica, assim como das cincias em geral, para evitar o reducionismo ou a
perda da prpria funo da cincia. Dedicar-se apenas a atividades vazias de contedo
uma atividade sem sentido, exceto se for acompanhado da pesquisa do insight da
justificao lgica, nos seus conceitos fundamentais, nos seus mecanismos de
implicaes dedutivas e nas suas teorias enquanto tais, incluindo seus correlatos
objetivos.
Esta dissertao, mais do que um trabalho especfico sobre a teoria das
multiplicidades em seus desenvolvimentos lgicos e fenomenolgicos, foi tambm um
panorama de uma possvel vida cultural rica e diversificada que se abre na interseo
entre a filosofia, lgica e a matemtica. Em parte foi assim, pela delimitao escolhida,
focando a pesquisa na perspectiva dos Prolegmenos s Investigaes Lgicas, um
livro que, a partir das descobertas das pesquisas de Husserl sobre filosofia da lgica e da
matemtica, oferece uma introduo para os problemas filosficos relacionados
objetividade do conhecimento diante dos quais Husserl utilizaria, posteriormente, o
mtodo fenomenolgico.

110

REFERNCIAS BIBLIOGRFICAS

A) OBRAS DE HUSSERL
I) HUSSERLIANA
HUSSERL,

Edmund.

Erste

Philosophie

(1923/24):

Erster

Teil:

kritische

Ideengeschchte. Hrsg. von Rudolf BoEdmund Husserlm. Husserliana, Band VII: Haag:
Martinus Nijhoff, 1956. 249p.
_________. 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.
__________. Logische Untersuchungen: Erster Band Prolegomena zur reinen Logik.
Hrsg von Elmar Holenstein. Husserliana, Band XVIII: Den Haag: Martinus Nijhoff,
1975a. 288p.
_______. Einleitung in die Logik und Erkenntnistheorie: Vorlesungen 1906/07.
Hrsg. Von Ullrich Melle. Husserliana, Band XXIV. Dordrecht: Kluwer Academic
Publishers, 1984. 554p.
________. Logik und allgemeine Wissenschaftstheorie: Vorlesungen 1917/1918 mit
ergnzenden Texten aus der ersten Fassung 1910/11. Hrsg. Von Urzula Panzer.
Husserliana, Band XXX. Dordrecht: Kluwer Academic Publishers, 1984.
_______. Logik: Vorlesung 1902/03. Hrsg. Von Elizabeth Schumann. Husserliana Materialienbnde, Band II.Dordrecht: Kluwer Academic Publishers, 2001a. 332p

111
_______. Allgemeine Erkenntnistheorie: Vorlesung 1902/03. Hrsg. Von Elizabeth
Schumann. Husserliana - Materialienbnde, Band III. Dordrecht: Kluwer Academic
Publishers, 2001b. 280p.
_________. Logische Untersuchungen. Ergnzungsband. Erster Teil. Entwrte zur
Umarbeitung der VI. Untersuchung und zur Vorrede fr die Neuaflage der Logischen
Untersuchungen (Sommer 1913). Herausgegeben von Ullrich Melle. Husserliana, Band
XX. Dordrecht: Kluwer Academic Publishers, 2002a. 441p.
_______. Urteilstheorie Vorlesung 1905: Vorlesung 1905. Hrsg. Von Elizabeth
Schumann. Husserliana - Materialienbnde, Band V. Dordrecht: Kluwer Academic
Publishers, 2002b. 332p.
_______. Einfhrung in die Phnomenologie der Erkenntnis. Vorlesung 1909. Hrsg.
Von Elizabeth Schumann. Husserliana - Materialienbnde, Band VII. Dordrecht:
Kluwer Academic Publishers, 2005. 192p.

II) OUTRAS EDIES


HUSSERL, Edmund.

Logische Untersuchungen: Erster Band, Halle a.S: Max

Neimeyer., 1922.
________. . Ideas relativas a uma fomenologa pura y uma filosofia fomenolgica.
Trad.: Jos Gaos. Pnuco: Fondo de Cultura Econmica, 1949.
___________. Logique formelle et logique transcendentale: essai dune critique de la
raison logique. Trad.: Suzanne Bachelard. Paris: PUF, 1957. 447p.
_________. 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.

112
_________. Philosophie de larithmtique: recherches psychologiques et logiques.
Trad.: Jacques English. Paris: P.U.F., 1992. 462p.
_________. A filosofia como cincia de rigor. Trad.: P. M. S. Alves Lisboa: Imprensa
Nacional-Casa da Moeda, 1994.
_________. Early writings in the philosophy of logic and mathematics. Trad. Dallas
Willard. Edmund Husserl Collected Works, Volume 5.Dordrecht, Boston: Kluwer
Academic Publishers, 1994. 505p.
________ . Investigaciones Lgicas 1. Trad.: M.G. Morente et J. Gaos. Madrid:
Alianza Editorial, 1999a..
__________ . Investigaciones Lgicas 2, Trad.: M.G. Morente et J. Gaos. Madrid:
Alianza Editorial, 1999b.
__________ . 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. (Capturado em 03 mar.
2005).
_______. Philosophy of Arithmetic: psychological and logical investigations with
supplementary texts from 1887-1901. Trad.: Dallas Willard. Dordrecht: Kluwer
Academic Publishers, 2003. 580p.
________. Idias para uma fenomenologia pura e para uma filosofia
fenomenolgica: introduo geral fenomenologia pura. Trad.: Mrcio Suzuki.
Aparecida: Idias & Letras, 2006. 383p.

113
B) OBRAS SOBRE HUSSERL E A FENOMENOLOGIA
ALES BELLO, Angela. Introduo fenomenologia. Trad.: Jacinta T. Garcia et
Miguel Mahfoud. Bauru: Edusc, 2006. 108p.
BACHELARD, Suzanne. La Logique de Husserl: tude sur Logique Formelle et
logique transcendetale. Paris: P.U.F.: 1957, 313p.
CARVALHO, Olavo de. Abreviatura das Investigaes Lgicas de Edmund
Husserl, Rio de Janeiro, Instituto de Artes Liberais, 1994.
DA SILVA, Jairo J. Husserls Philosophy of Mathematics. Manuscrito, Campinas,
XVI (2), p. 121-148, outubro, 1993.
________. Husserls Conception of Logic. Manuscrito, Campinas, XXII (2), p. 367397, outubro, 1999.
________. The Many Senses of Completness. Manuscrito, Campinas, XXIII (2), p.
41-60, outubro, 2000a.
________. Book Review. Manuscrito, Campinas, XXIII (2), p. 351-371, outubro,
2000b.
________. Husserls two notions of completeness: Husserl and Hilbert on
Completeness and Imaginary Elements in Mathematics. Synthese, Dordrecht, v. 125, p.
417438, 2000c.
________. Phenomenology and the formal sciences. Veritas, Porto Alegre, v. 47, n. 1,
p. 61-69, maro, 2002a.
________. Husserl e a matemtica simblica. Anales de la Academia Nacional de
Ciencias de Buenos Aires, Buenos Aires, XXXVI (2), p. 563-578, 2002b.
________. The axioms of set theory. Axiomathes, Dordrecht, v. 13, p. 107-126, 2002c.
________. Away from the Facts: Husserl on Symbolic Knowledge in Mathematics:
conceptual and historical aspects. Rio Claro, 2007. Artigo indito.

114
DARTIGUES, Andr. La fenomenologa. Trad.: Josep A . Pombo. Barcelona: Herder,
1975. 196p.
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.
FARBER, Marvin. The Foundation of Phenomenology: Edmund Husserl and the
Quest for a Rigorous Science of Philosophy. London: New Brunswick, 2006. 595p.
FISETTE, Denis. Husserls Programme of a Wissenschaftlehre in the Logical
Investiagtions. In: FISETTE, Denis (org.). Husserls Logical Investiagtions
Reconsidered. Dordrecht: Kluwer Academic Publishers, 2003. 252p.
GAUTHIER, Yvon. Internal Logic: Foundations of Mathematics from Kronecker to
Hilbert. Dordrecht: Kluwer, 2002. 248p.
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. Did Georg Cantor Influence Edmund Husserl?. Synthese 113,
October 1997, p. 145-70. In: http://perso.wanadoo.fr/rancho.pancho/Did.htm.
_______. 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.
_______. Tackling Three of Frege's Problems: Edmund Husserl on Sets and
Manifolds. Dordrecht: Springer Netherlands. Axiomathes, an International Journal in
Ontology and Cognitive Systems, vol. 13, no. 1, 2002a, pp. 79-104.

115
_______. On Husserls Mathematical Apprenticeship and Philosophy of Mathematics.
In: TYMIENIECKA, Anna-Teresa (org.). Phenomenology World Wide. Dordrecht:
Kluwer, 2002b. p. 76-92.
HILL, Claire O. et HADDOCK, Guillermo R. Husserl or Frege, Meaning, Objectivity
and Mathematics. Chicago: Open Court, 2000.
HUDSON, Richard. Introduction to Psychological Studies for Elementary Logik. In:
McCORMICK, Peter et ELLISTON, Frederick (ed.). Husserl: Shorter Works. Notre
Dame: University of Notre Dame Press, 1981. 440p.
KOESTENBAUM, Peter. Introductory Essay. In: HUSSERL, Edmund. The Paris
Lectures. Trad.: Peter Koestenbaum. Dordrecht: Kluwer Academic Publishers, 1998.
140p.
MCCORMICK, Peter et ELLISTON, Frederick (ed.). Husserl: expositions and
appraisals. Notre Dame: University of Notre Dame Press, 1977. 378p.
__________ . 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.
MOHANTY, J. N. The development of Husserls thought. In: SMITH,Barry et SMITH,
David W. (org.). The Cambridge Union to Husserl. Cambridge: Cambridge
University Press, 1995. p. 45-77.
MORAN, Dermot. Introduction to Logical Investigations. In: Logical Investigations:
volume 1. Trad.: J.N.Findlay. London: New York: Routledge, 2003. 331p.
MORMANN, Thomas. Husserls Philosophy of Science and the Semantic
Approach. Philosophy of Science, Chicago, Vol. 58 (1), p. 61-83, maro, 1991.

116
MOURA, Carlos A. Crtica da Razo na Fenomenologia. So Paulo: Nova Stella:
Edusp, 1989. 260p.
SANDMEYER, Bob. Husserl, Edmund 1859-1938 Husserliana. Lexginton: s. Ed.,
2005. Disponvel on line in: http://www.husserlpage.com/hus_iana.html. Capturado em
4 fev. 2006.
SHEEHAN, Thomas. Husserls Critique of Psychologism. In: McCORMICK, Peter et
ELLISTON, Frederick (ed.). Husserl: Shorter Works. Notre Dame: University of Notre
Dame Press, 1981. 440p.
SMITH, Barry. Logic and formal ontology. In: J. N. Mohanty and W. McKenna (eds)
Husserl's Phenomenology: A Textbook. Lanham: University Press of America, 1989.
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, 2003a. 252p.
SMITH, David W. Edmund Husserl, Logical Investigations (1900-1901): From Logic
through Ontology to Phenomenology. In: GRACIA, Jorge J., REICHBERG, Gregory
M. et SCHUMACHER, Bernard N. The classics of Western Philosophy: a readers
guide. Oxford: Blackwell Publishing, 2003b. p. 423-39.
SOKOLOWSKI, Robert. Introduction to Phenomenology. Cambridge: Cambridge
university Press, 2000. 239p.
SPIEGELBERG,

Herbert

et

SPIEGELBERG,

E.

Doing

Phenomenology.

Phaenomenologica Series No. 63. The Hague: Martinus Nijhoff, 1975. 320p.

117
________. The phenomenological movement: a historical introduction. 3a ed.
Dordrecht: Boston: London, Kluwer Academic Publishers, 1994. 756p.
SPILEERS, Steven. Husserl Bibliography. Dordrecht: Kluwers, 1999. 456p.
STRKER, Elisabeth. The Husserlian Foundations of Science. Dordrecht: Kluwers,
1997. 324p.
WIEGAND, Olav K. Phenomenological-Semantic Investigation into Completeness. In:
WIEGAND, Olav K, MOHANTY, Jitendra N et alli. Phenomenology on Kant,
German Idealism, Hermenutics and Logic: Philosophical Essays in Honor of Thomas
M. Seehbom. Dorddrecht: Kluwer Academics, 2000. 358p. p. 101-132.
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.

C) OBRAS SOBRE FILOSOFIA E HISTRIA DA LGICA E DA CINCIA


AGAZZI, Evandro. La lgica simblica. Trad.: J. P. Ballesta. Barcelona: Herder, 1986.
355p.
ARISTTELES. rganon: categorias, da interpretao, analticos anteriores, analticos
osteriores, tpicos, refutaes sofsticas. Trad. Edson Bini. So Paulo: Edipro, 2005.
608p.
BOCHENSKI, J. M. The methods of contemporary thought. Trad.: Peter Caws. New
York: Harper &Row, 1968. 134p.
BOLZANO, Bernard. Theory of Science: A Selection. Trad.: Jan Berg. Dordrecht:
Reidel Publishing, 1973. 424p.

118
________.Vermischte Philosophische und Physikalische Schriften, 1832-1848:
zweiten Teil. Hrsg. von Jan Berg. Bernard Bolzano-Gesamtausgabe: Band 12. Stuttgart
Bad Canstatt: Friederich Frommann Verlag, 1978.
BOOLOS, George. Logic, logic and logic. Cambridge: Harvard University Press, 1998.
DITCHFIELD, Alan. Verdadeiro versus falso. Curitiba: s. ed., 2001. [Disponvel on
line] In: http://www.olavodecarvalho.org/convidados/0109.htm . (capturado em 17 set.
2004).
DUHN, Anita von. Bolzanos account of justification. In: STADLER, Friderich (org.).
The Vienna Circle and Logical Empiricism: re-avaluation and future perspectives.
Dordrecht: Kluwer Academic Publishers, 2003. 448p.
FIDALGO, Antnio. Semitica, a lgica da comunicao. Cavilh: Universidade da
Beira Interior, 1996. In: http://ubista.ubi.pt/~comum/fidalgo_logica_com_p1.html
(Capturado em 8 mar. 2005).
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.
LEIBNIZ, Gottfried W. Obras escolhidas. Trad. Antnio B. Coelho. Lisboa: Livros
Horizonte, 1980. 187p.
LUKASIEWICZ, Jan. Aristotles Syllogistic: from the standpoint of modern formal
logic. 2a ed. Oxford: University Press, 1957. 222p.
________.Selected Works. Amsterdam, Warszaw: North-Holand Publishing Co.,
Polish Seientific Publishers, 1970. 405p.
MENDELSON, Eliott. Introduction to mathematical logic. New York: Chapman &
Hall, 1987. p. 341.

119
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.
MORA, Jos F. et LEBLANC, Hughes. Lgica Matemtica. Mxico: Fondo de
Cultura Economica, 1955.
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.
PFNDER, Alexander. Lgica. Trad.: J. Prez Bances. 3a ed. Buenos Aires: Mxico:
Espasa-Calpe, 1945. 422p.
POINCAR, H. Science et Mthode. Paris: Ernest Flammarion Ed., 1938. 292p.
PORTNOY, Antonio. Lgica. In: PASTOR, Julio Rey et QUILES, Ismael (org.).
Diccionario Filosfico. Buenos Aires: Mxico: Espasa: Calpe Argentina, 1952. p. 65138.
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. Lgica e dialtica: lgica, dialtica, decadialtica. 2a ed. So
Paulo: Logos, 1955. 283p.
________ .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.
STYAZHKIN, N. I. History of Mathematical Logic from Leibniz to Peano.
Massachusets: The M.I.T. Press, 1969.

120
SUPPES, Patrick. Models and Methods in the Philosophy of Science: selected essays.
Dordrecht: Kluwer, 1993. 514p.

D)OBRAS SOBRE FILOSOFIA E HISTRIA DAS MATEMTICAS


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.
BOLZANO, Bernard. Mathematische und Philosophische Schriften, 1810-1816.
Hrsg. Von Jan Berg. Bernard Bolzano-Gesamtausgabe: Band 5. Stuttgart Bad
Canstatt: Friederich Frommann Verlag, 1975.
________. Reine Zahlnlehre. Hrsg. von Jan Berg. Bernard Bolzano-Gesamtausgabe:
Band 8. Stuttgart Bad Canstatt: Friederich Frommann Verlag, 1976.
_________. Vermischte Philosophische und Physikalische Schriften, 1832-1848:
zweiten Teil. Hrsg. von Jan Berg. Bernard Bolzano-Gesamtausgabe: Band 12. Stuttgart
Bad Canstatt: Friederich Frommann Verlag, 1978.
DELACHET, Andre. A anlise matemtica. Trad.: Gita K. Ghinzberg. So Paulo:
Difuso Europia do Livro, 1967. 118p.
FEARNLEY-SANDER, Desmond. Hermann Grassmann and the Creation of the
Algebra Linear. American Mathematical Monthly 86 (1979), p. 809-817. Disponvel
em:
http://www.maths.utas.edu.au/People/dfs/Papers/GrassmannLinAlgpaper/GrassmannLi
nAlgpaper.html.
________. Prehistory of Universal Algebra. American Monthly 89 (1982), p. 161-66.
Disponvel

em:

http://www.maths.utas.edu.au/People/dfs/Papers/GrassmannUAlgpaper/GrassmannUAl
gpaper.html.

121
FREGE, Gottlob. Conceptografa, los fundamentos de la aritmtica y otros estudios
filosficos. Trad.: Hugo Padilla. Mxico: Universidad Nacional Autnoma de Mxico,
1972. 270p.
GDEL, Kurt. ber formal unentscheidbare Stze der Principia mathematica and
related systems I. In: GDEL, Kurt. Collected Works, volume I: publications 19291936. New York: Oxford University Press, 2001a. 504p.
________. Some basic teorems on the foundation of mathematics and their
implications (1951) In: GDEL, Kurt. Collected Works, volume III: unpublished
essays and lectures. . New York: Oxford University Press, 2001b. 560p.
GRASSMANN, Hermann G. On the Ausdehnungslehre. Trad.: Mark Kormes. In:
SMITH, David E. (org.). A Source Book in Mathematics. New York: McGraw
Hill,1929. pp. 684-696.
________. The Theory of Extension. Trad.: D. Fearnley-Sander. Disponvel em:
http://www.maths.utas.edu.au/People/dfs/Papers/GrassmannTranslation/Grass.html.
HAACK, Susan. Filosofia das lgicas. Trad.: Cezar A. Mortari et Luiz H. Dutra. So
Paulo: Ed. Unesp, 2002. 359p.
HAMILTON, William R. On Quaternions. In: SMITH, David E. (org.). A Source Book
in Mathematics. New York: McGraw Hill,1929. pp. 677-683.
HOGES, Wilfrid. Model Theory. Cambridge: University Press, 1993. 772p.

KLEIN, Jacob. Greek mathematical thought and the origin of algebra. Trad.:
Eva Brann. Mineola: Doover, 1992. 360p.
KLUTH, Verilda S. Estruturas da lgebra: Investigao fenomenolgica sobre a
construo do seu conhecimento. Tese de doutorado. Rio Claro: Unesp, 2005.
KRAUSE, Dcio. Introduo aos fundamentos axiomticos da cincia. So Paulo:
EPU, 2002. 211p.

122
LADRIRE, Jean. Limitaciones internas de los formalismos: estudio sobre la
significacin del Teorema de gdel y teoremas conexos en la teora de los fundamentos
de las matemticas. Trad.: Jose Blasue. Madrid: Tecnos, 1969. 545p.
LIE, Marius S. On a Class of Geometric Transformation. Trad.: Martin A. Nordgaard.
In: SMITH, David E. (org.). A Source Book in Mathematics. New York: McGraw
Hill,1929. pp. 485-499.
MONIELLO, Alfonso. Leibniz e Boole: tra logica e metafisica. Napoli: Lettere italiane,
1998. 105p.
RIEMANN, Georg F. On the Hypotheses wich Lie at the Foundations of Geometry.
Trad.: Henry S. White. In: SMITH, David E. (org.). A Source Book in Mathematics.
New York: McGraw Hill,1929. pp. 404-425.
ROTA, Gian-Carlo et alli. Discrete Thoughts: Essays on Mathematics, Science and
Philosophy. Cambridge: Birkhuser, 1992. 269p.
SANTANNA, Adonai. O que um axioma. Manole: Barueri, 2003. 157p.
___________. O que uma definio. Manole: Barueri, 2005. 131p.
SIKORSKI, Roman. Teorias matemticas formalizadas. Bahia Blanca: Universidad
Nacional del Sur, 1968. 60p.
SMITH, David E. (org.). A Source Book in Mathematics. New York: McGraw
Hill,1929. 701p.
TIESZEN, Richard. Phenomenology, logic and the Philosophy of Mathematics. New
York: Cambridge University Press, 2005. 368p.
WANG, Hao. Reflexiones sobre Kurt Gdel. Trad.: Pilar C. Criadre. Madrid: Alianza
Universidad, 1987. 445p.
E) OUTRAS OBRAS DE FILOSOFIA

BRENTANO, Francisco. Psicologa. Buenos Aires: Schapire, 1946. 195p.

123
CARVALHO, Olavo de. Aristteles: em nova perspectiva. Rio de Janeiro: Topbooks,
1996. 204p.
DALLA-ROSA, Luiz V. Uma teoria do discurso constitucional. So Paulo: Landy,
2002. 282p.
MARC, Andr. Ltre et LEsprit. Paris-Louvain: Descle de Brower, 1958. 197p.
MARAS, Julian. Sobre la situacin de la filosofia. In Obras de Julian Maras:
VIII. Madrid: Revista de Occidente, 1970. 656p.
FRIEDLNDER, Paul. Plato: an Introduction. Trad.: Hans Meyerhoff. New York:
Eveston: Harper & Row, 1964. 422p.
SANTOS, Mrio F. Psicologia. 3a ed. So Paulo: Logos, 1958. 259p.
ZUBIRI, Xavier. Cinco lecciones de filosofia. 2 ed. Madrid: Moneda y Credito, 1970.
284p.

F) OUTRAS OBRAS DE LGICA E MATEMTICA


CARNAP, Rudolf. The logical syntax of language. Trad.: Amethe Smeaton. Peru:
Open Court, 2002. 354p.
CARTAN, lie. Geometry of Riemann Spaces. Trad.: Robert Hermann. Brookline:
Math Sci, 1983. 512p.
JAKOB, Konrad. Invitation to Mathematics. Princenton: University Press, 1992.
250p.
LIMA, Elon L. Curso de Anlise. Rio de Janeiro: IMPA: CNPQ, 1976. 344p.
MACEDO, Slvio. Curso de lgica jurdica. Rio de Janeiro: Forense, 1984. 135p.
MOSCHOVAKIS, Yiannis. Notes on Set Theory. 2a ed. New York: Springer, 2000.
288p.
NORTHCOTT, D. G. Lessons on rings, modules and multiplicities. Cambridge:
University Press, 1968. 444p.
PINTO, Jos S. Tpicos de Matemtica Discreta: textos de apoio 2005- 2006. Aveiro:

124
Universidade de Aveiro, 2006. 213p.
POIZAT, Bruno. A Course in Model Theory: An Introduction to Contemporary
Mathematical Logic. Trad.: Moses Klein. New York: Springer, 2000. 443p.
SHETH, I. H. Abstract Algebra. New Delhi: Prentice-Hall, 2002. 332p.
SUPPES, Patrick. Introduction to Logic. Bt: Wadsworth, 1957. 312p.
________. Teora axiomtica de Conjuntos. Trad.: Hernando A. Castello. Cali:
Norma, 1968. 171p.
SUPPES, Patrick et HILL, Shirley. First Course in Mathematical Logic. Mineola:
Dover, 2002. 294 p.