PARA UMA CONFERNCIA NA SOCIEDADE AMERICANA DE FILOSOFIA1

(*1961/?)

Gostaria de tentar aqui descrever, em conceitos filosficos, o desenvolvimento da investigao em Fundamentos da Matemtica desde o fim do sculo, e orden-lo dentro de um esquema geral de Weltanschauungen possveis em Filosofia. Para isso em primeiro lugar necessrio ver o prprio esquema com clareza. Julgo que o princpio mais frutuoso para obter uma viso panormica sobre todas as Weltanschauungen possveis ser dividilas quanto ao grau e quanto ao modo da sua afinidade, respectivamente, da sua distncia, em relao Metafsica (ou Religio). Assim obtm-se imediatamente uma diviso em dois grupos: num grupo esto o Materialismo, o Cepticismo, o Positivismo, no outro o Espiritualismo, o Idealismo, a Teologia, e reconhece-se imediatamente graus de diferena nesta sucesso, ao constatar-se que o Cepticismo est mais longe da Teologia do que o Materialismo, enquanto que por outro lado o Idealismo, por exemplo, na forma de pantesmo, um enfraquecimento da Teologia em sentido estrito. Mas este esquema revela-se tambm como frutuoso para a anlise de doutrinas filosficas admissveis em casos especiais simples, quando se as ordena no sentido deste esquema, ou quando em casos mistos se investiga os seus elementos materialistas e espiritualistas. Dir-se- assim por exemplo que o Apriorismo em princpio pertence ao

Traduo de M.S. Loureno do texto "The modern development of the foundations of mathematics in the light of philosophy", publicado em GDEL, K. [1995] Collected Works. Vol. III: Unpublished Essays and Lectures. S. Feferman et al. (ed.). Oxford: Oxford University Press; pp. 375-386.

Pgina

1/6

grupo do lado direito e o Empirismo ao do lado esquerdo. Mas no entanto existem formas mistas como uma Teologia com fundamentos empricos. V-se alm disso que o Optimismo, em princpio, pertence ao lado direito e o Pessimismo ao lado esquerdo, porque o Cepticismo um Pessimismo a respeito do conhecimento. O Materialismo tende a considerar o mundo como um amontoado de tomos sem ordem e portanto sem sentido. Para o Materialismo a Morte uma destruio definitiva e completa, enquanto que por outro lado a Teologia e o Idealismo em tudo vm sentido, finalidade e racionalidade, mas o Pessimismo de Schopenhauer uma forma mista, nomeadamente um Idealismo pessimista. Um outro exemplo de uma teoria obviamente do lado direito a teoria do Direito objectivo e dos Valores estticos objectivos, enquanto que a interpretao da tica e da Esttica em termos de costume, educao, etc. pertence ao lado esquerdo. Ora um facto conhecido e tambm uma trivialidade que o desenvolvimento da Filosofia desde a Renascena, grosso modo, se movimentou da direita para a esquerda, no numa linha recta mas com retrocessos, no entanto na sua totalidade. Em particular este desenvolvimento atingiu na Fsica, justamente na nossa poca, um ponto mximo, no qual se impugna extensivamente a possibilidade de conhecer estados de coisas objectivveis, e se afirma que nos temos que satisfazer com a previso de resultados observveis; na verdade isto o fim de toda a cincia terica no sentido usual do termo (apesar desta previso poder ser perfeitamente suficiente para finalidades prticas, como aparelhos de televiso ou bombas atmicas). Teria que ser um milagre se este desenvolvimento, ao qual gostaria de chamar furioso, tambm no se tivesse feito sentir na concepo da Matemtica. Na verdade a Matemtica, devido sua natureza como cincia a priori, tem ela prpria sobretudo uma

Renascena, i.e., a teoria empirista da Matemtica, como foi por exemplo apresentada por

Pgina

2/6

tendncia para a direita e por isso resistiu bastante tempo ao Zeitgeist dominante desde a

Mill, no conduziu verdadeiramente a um acordo. Na verdade a prpria Matemtica desenvolveu-se afastando-se da matria, na direco de abstraces cada vez mais altas e de uma maior clareza sobre os seus fundamentos (com exemplos como a fundamentao das teorias do Clculo Infinitesimal e dos nmeros complexos), afastando-se deste modo do Cepticismo.

[]

At agora o que eu disse so na verdade apenas auto-evidncias, as quais eu queria recordar por serem importantes para o que se segue. Mas o passo seguinte neste desenvolvimento aquele em que se constata que no possvel salvar os antigos aspectos do lado direito da Matemtica, de uma maneira mais ou menos concordante com o Zeitgeist. Mesmo quando nos restringimos teoria dos nmeros naturais impossvel encontrar um sistema de axiomas e de regras a partir do qual, para qualquer proposio da teoria dos nmeros, se possa sempre derivar A ou ~A e , alm disso, impossvel conduzir uma derivao de consistncia de um sistema de axiomas para a Matemtica, o qual seja suficientemente abrangente, atravs da simples considerao de combinaes de smbolos concretos, sem introduzir elementos de carcter abstracto. Reconhece-se assim que impossvel a combinao hilbertiana de Materialismo com aspectos da Matemtica clssica. Assim ficam em aberto duas possibilidades: ou se renuncia aos antigos aspectos no lado direito da Matemtica ou se tem que tentar, em conflito com o Zeitgeist, mant-los. Obviamente o primeiro caminho o nico congruente com o nosso tempo e por isso em

puramente negativa. Renuncia-se simplesmente a aspectos cuja satisfao seria, em todo o

Pgina

3/6

geral tambm o mais seguido. Mas deve-se estar consciente de que se trata de uma atitude

caso, muito desejvel e que possuem um valor intrnseco, nomeadamente por um lado garantir a certeza do conhecimento matemtico e, por outro, manter a convico de que a mesma Razo que pode formular problemas claros pode tambm encontrar solues claras. E repare-se que se renuncia a estes aspectos no por se ser constrangido pelos resultados obtidos em Matemtica, mas antes pelo facto de ser a nica possibilidade, apesar destes resultados, de estar de acordo com a Filosofia dominante. Ora no nos podemos, na verdade, de modo algum excluir dos diversos grandes progressos realizados na nossa poca e podemos, com alguma razo, afirmar que estes progressos se devem exactamente a este esprito de esquerda, que sopra na Filosofia e na Weltanschauung. Mas por outro lado, quando se considera este facto na perspectiva histrica correcta, tem que se dizer que os frutos do Materialismo, em parte, provm dos excessos e da orientao falsa no lado direito da Filosofia anterior. No que diz respeito correco e incorreco, respectivamente verdade e falsidade de ambas estas direces, a mim parece-me ser a atitude certa aquela que coloca a verdade no ponto mdio, ou que consiste numa combinao de ambas as concepes. Ora na verdade, no caso da Matemtica, justamente Hilbert tentou uma combinao desse gnero, mas obviamente de um modo demasiado primitivo e demasiado inclinado numa direco. Em todo o caso no h qualquer razo para confiar cegamente no Zeitgeist e, por isso, vale a pena fazer um esforo e tentar a primeira das alternativas, aquela que conserva os resultados mencionados, na esperana de obter desta maneira uma combinao adequada. Isto significa na verdade que no se assegura a certeza em Matemtica demonstrando certas propriedades projectadas em sistemas materiais, isto na interaco com smbolos fsicos, mas antes que se cultiva (aprofunda) o conhecimento

mecnicos e que, alm disso, se procura pelo mesmo processo chegar a ter uma percepo

Pgina

4/6

dos prprios conceitos abstractos que conduzem construo daqueles sistemas

correcta da solubilidade e dos mtodos que efectivamente conduzem em Matemtica soluo de todos os problemas com sentido.

[]

Ora existe hoje de facto o incio de uma cincia que afirma ter um mtodo sistemtico para uma tal anlise esclarecedora do sentido, e essa cincia a Fenomenologia, fundada por Husserl. Nela a anlise esclarecedora do sentido consiste em que a percepo dos conceitos a analisar mais ntida, porque a ateno dirigida numa certa direco, nomeadamente para os nossos prprios actos durante a utilizao dos conceitos, para as nossas faculdades na execuo dos nossos actos, etc. preciso tornar claro que esta Fenomenologia no uma cincia no mesmo sentido em que as outras cincias o so. Ela muito mais (ou em todo o caso devia ser) um processo ou uma tcnica que deve suscitar em ns um estado de conscincia novo, no qual analisamos em detalhe a utilizao dos conceitos primitivos do nosso pensamento, ou temos a percepo de outros conceitos primitivos que at agora desconhecamos. Julgo que no h de todo qualquer razo para uma rejeio preliminar deste processo como irrealizvel. Os empiristas obviamente so os que tm a menor razo, uma vez que isso significaria que o seu Empirismo na verdade um Apriorismo com os sinais trocados. Mas no s no existe qualquer razo objectiva para a rejeio da Fenomenologia, como pelo contrrio se pode aduzir razes em seu favor. Quando se considera o desenvolvimento de uma criana constata-se que ele caminha em duas direces; por um lado ele consiste em experincias com os objectos do mundo exterior, com os seus rgos

Pgina

5/6

dos sentidos, com os seus rgos de locomoo, por outro lado consiste em melhorar a

aprendizagem da compreenso da linguagem, i.e., logo que a criana ultrapassa a forma mais primitiva da denotao dos conceitos primitivos em que a linguagem se apoia. Quanto ao desenvolvimento nesta segunda direco pode-se dizer, com justia, que a criana percorre estados de conscincia de diversas altitudes, por exemplo, pode-se dizer que a criana atinge um estado de conscincia mais alto quando primeiro aprende a usar uma palavra, e igualmente no momento em que pela primeira vez compreende uma inferncia lgica. Ora possvel conceber todo o desenvolvimento das cincias empricas como sendo uma extenso, sistemtica e consciente, do que a criana faz quando se desenvolve na primeira direco. Mas o sucesso deste processo mais surpreendente e muito maior do que seria de esperar a priori. Conduz na verdade ao desenvolvimento tecnolgico dos tempos modernos. Ele revela assim como perfeitamente possvel que um prolongamento, sistemtico e consciente, do avano na segunda direco ultrapassar em muito as expectativas que se poderiam ter a priori. De facto tem-se at exemplos em que, mesmo sem utilizar um procedimento sistemtico e consciente, mas antes de um modo completamente autnomo, se constata um desenvolvimento prolongado considervel na segunda direco, que ultrapassa mesmo a s razo humana. Na verdade observa-se que numa construo sistemtica dos axiomas da Matemtica, reiteradamente, axiomas novos e axiomas ainda mais novos, que no se seguem pela lgica formal dos axiomas at agora construdos, se tornam evidentes. Pelos resultados negativos referidos acima no de todo de excluir que apesar de tudo, desta maneira, cada problema-sim-ou-no, claramente formulado em Matemtica, tenha uma soluo, uma vez que este incremento de evidncia de axiomas sempre mais novos, apoiado no sentido dos conceitos primitivos, justamente aquilo que uma mquina no

[]

Pgina

6/6

pode imitar.