Documente Academic
Documente Profesional
Documente Cultură
Devemos falar de uma dialética do cálculo e não de uma metafísica. Por "dialética", não
queremos dizer qualquer tipo de circulação de representações opostas que as faça coincidir na
identidade de um conceito, mas o elemento problemático, na medida em que isso pode ser
distinguido do elemento propriamente matemático das soluções. Seguindo a tese geral de Lautman,
um problema tem três aspectos: sua diferença de tipo das soluções; sua transcendência em relação
às soluções que ele engendra com base em suas próprias condições determinantes; e sua imanência
nas soluções que o cobrem, sendo o problemaquanto melhor resolvido, mais é determinado. Assim,
as conexões ideais constitutivas da Idéia problemática (dialética) são encarnadas nas relações
reais que são constituídas por teorias matemáticas e transportadas para problemas na forma de
soluções(Gilles Deleuze, Diferença e Repetição . Trans. Paul Patton. New York: Columbia, 1994. p.
178.).
Para Wittgenstein e Carnap , a matemática nada mais é do que uma linguagem indiferente aos
conteúdos que ela expressa. Apenas as propostas empíricas se refeririam a uma realidade objetiva, e a
matemática seria apenas um sistema de transformações formais, possibilitando a conexão de uns aos
outros com os dados da física. Se alguém tentar entender as razões para esse desvanecimento
progressivo da realidade matemática, pode-se concluir que resulta do uso do método
dedutivo. Querer construir todas as noções matemáticas a partir de um pequeno número de noções e
proposições lógicas primitivas faz perder de vista o caráter qualitativo e integral das teorias
constituídas.
No entanto, o que esta matemática nos permite esperar com o filósofo é uma verdade que
apareceria na harmonia de seus edifícios, e neste campo, assim como outros, a pesquisa das noções
primitivas deve render lugar para um estudo sintético do todo . Parece-nos a este respeito em uma
conexão bastante estranha, que depois de ter realizado as investigações mais completas sobre as
teorias relativas ao espaço e número, Poirier queria ver na matemática apenas um conjunto de
símbolos sem sentido [2]. Ele parece ter abordado esses símbolos com a intenção de pedir-lhes que
enriquecessem as indicações que sugerem a realidade da percepção externa ou do sentido interno. A
realidade é para ele, antes de mais nada, a experiência imediata, e as teorias abstratas não nos dão
nenhuma compreensão. Poirier quase censura essas teorias pela grandeza de sua perfeição. A
facilidade com que essas teorias correspondem dá ao aspecto de cada um deles um caráter
possivelmente arbitrário, assim como outros. Nenhum deles impõe ao espírito o sentimento de uma
necessidade que resultaria da natureza das coisas, e nunca se encontra nada além de processos
formais, que não respondem a uma "classificação natural e intuitiva" de seus objetos.
Acreditamos que é possível chegar a conclusões menos negativas, e a filosofia matemática
contemporânea permanece envolvida em dois caminhos diferentes, cada um com um estudo positivo
da realidade matemática. Essa realidade pode, de fato, ser caracterizada pela maneira pela qual é
permitida ser apreendida e organizada; também pode ser visto de maneira intrínseca, do ponto de
vista de sua própria estrutura. Em primeiro lugar, vamos tentar resumir rapidamente as ideias
fundamentais de ambos os métodos.
Não há filósofo hoje que desenvolveu mais do que Leon Brunschvicg a idéia de que a
objetividade da matemática era o trabalho da inteligência, em seu esforço para triunfar sobre as
resistências que a matéria sobre a qual ela trabalha se opõe. Esta questão não é fácil nem
uniforme; tem suas dobras, suas bordas, suas irregularidades e nossos desenhos nada mais são que
um arranjo provisório que permite ao espírito continuar. A matemática foi constituída como
física; Para explicá-lo, temos que examinar a história dos paradoxos que o progresso da reflexão
tornou compreensível através de uma constante renovação do sentido dessas noções essenciais. Os
números irracionais, o infinitamente pequeno, as funções contínuas sem derivada, a transcendência
de ee п, e o transfinito foi admitido por uma necessidade incompreensível de fato antes de se ter uma
teoria dedutiva deles. Já se acreditou que o destino de certas constantes físicas como c ou h era
essencial de uma maneira incompreensível nos campos mais divergentes, até que o gênio de Maxwell,
Planck ou Einstein soubesse ver na constância de seu valor a conexão de eletricidade e luz, luz e
energia. Entende-se, assim, a desconfiança de Brunschvicg em relação a todas as tentativas que
gostariam de deduzir a unidade da matemática a partir de um pequeno número de princípios
iniciais. Brunschvicg também se opôs, em Les Etapes de la philosophie mathématique, a redução da
matemática à lógica, contra a ideia de que poderia haver princípios gerais em matemática como o
princípio de continuidade de Poncelet ou o princípio da permanência nas leis formais
de Hankel . Qualquer esforço de dedução a priori tende a reverter a ordem natural do espírito na
descoberta matemática. Não se deve, contudo, interpretar a filosofia matemática de Brunschvicg
como uma pura psicologia da invenção criativa. "Entre as aventuras da invenção", ele escreve,
que interessa apenas uma consciência individual, e as formas de discurso que se
relacionam especialmente com a tradição pedagógica, (filosofia matemática) delimitará
o terreno onde ocorreu a aquisição coletiva do conhecimento, reconhecerá as estradas
reais que traçaram a inteligência criativa .
Entre a psicologia do matemático e a dedução lógica, deve haver um lugar para uma
caracterização intrínseca da realidade. É necessário que ele participe ao mesmo tempo do movimento
da inteligência e do rigor lógico, sem se fundir com um ou outro, e será nossa tarefa testar essa
síntese.
A teoria matemática recebe seu valor das propriedades meta matemáticas que sua estrutura
assim encarna.
Uma ação dialética é constantemente apresentada em segundo plano e é para esclarecer que
nossos seis capítulos convergirão neste ponto. Os três primeiros capítulos tratam especialmente de
noções matemáticas desestruturadas. Estudamos no capítulo I (o local e o global) a solidariedade
quase orgânica que empurra as partes para serem organizadas em um todo e o todo para ser refletido
nelas; examinamos então no capítulo II (Propriedades intrínsecas e propriedades indutivas) se é
possível trazer de volta as relações que um ser matemático suporta com um meio ambiente, nas
propriedades inerentes características deste ser. Mostramos no capítulo III (ascensão para
conclusão) como a estrutura de um ser imperfeito pode às vezes pré-forma a existência de um ser
perfeito no qual qualquer imperfeição desapareceu. Então os três capítulos relacionados ao conceito
de existência vêm. Tentamos desenvolver no capítulo IV (Essência e Existência) uma nova teoria das
relações de essência e existência onde se vê a estrutura de um ser a ser interpretado em termos de
existência para outros seres que não o ser de que se estuda a estrutura. O Capítulo V (o Misto)
descreve certas Misturas intermediárias entre diferentes tipos de Seres e cuja consideração é
frequentemente necessária para operar a passagem de um tipo de ser para outro tipo de ser; nosso
capítulo final (Do caráter excepcional da existência) finalmente descreve os processos pelos quais um
ser pode ser distinguido dentro de um infinito dos outros. Tentamos desenvolver no capítulo IV
(Essência e Existência) uma nova teoria das relações de essência e existência onde se vê a estrutura
de um ser a ser interpretado em termos de existência para outros seres que não o ser de que se estuda
a estrutura. O Capítulo V (o Misto) descreve certas Misturas intermediárias entre diferentes tipos de
Seres e cuja consideração é frequentemente necessária para operar a passagem de um tipo de ser
para outro tipo de ser; nosso capítulo final (Do caráter excepcional da existência) finalmente descreve
os processos pelos quais um ser pode ser distinguido dentro de um infinito dos outros. Tentamos
desenvolver no capítulo IV (Essência e Existência) uma nova teoria das relações de essência e
existência onde se vê a estrutura de um ser a ser interpretado em termos de existência para outros
seres que não o ser de que se estuda a estrutura. O Capítulo V (o Misto) descreve certas Misturas
intermediárias entre diferentes tipos de Seres e cuja consideração é frequentemente necessária para
operar a passagem de um tipo de ser para outro tipo de ser; nosso capítulo final (Do caráter
excepcional da existência) finalmente descreve os processos pelos quais um ser pode ser distinguido
dentro de um infinito dos outros. O Capítulo V (o Misto) descreve certas Misturas intermediárias
entre diferentes tipos de Seres e cuja consideração é frequentemente necessária para operar a
passagem de um tipo de ser para outro tipo de ser; nosso capítulo final (Do caráter excepcional da
existência) finalmente descreve os processos pelos quais um ser pode ser distinguido dentro de um
infinito dos outros. O Capítulo V (o Misto) descreve certas Misturas intermediárias entre diferentes
tipos de Seres e cuja consideração é frequentemente necessária para operar a passagem de um tipo de
ser para outro tipo de ser; nosso capítulo final (Do caráter excepcional da existência) finalmente
descreve os processos pelos quais um ser pode ser distinguido dentro de um infinito dos outros.
Gostaríamos de mostrar que as idéias que estão à frente de cada capítulo e que nos parecem
dominar o movimento de certas teorias matemáticas, para serem concebidas independentemente da
matemática, não são, no entanto, passíveis de serem abordadas em um estudo direto. Eles existem
apenas em comparação com uma questão que eles penetram na inteligência, mas pode-se dizer que,
por outro lado, eles são aqueles que conferem à matemática seu valor filosófico eminente. O método
que vamos seguir é, portanto, principalmente um método descritivo de análise; as teorias
matemáticas constituem para nós um dado no qual nos empenharemos em liberar a realidade ideal
da qual esse assunto participa.
[1] Cf. essa passagem de Russell: “Eles (proposições matemáticas) têm todas as características
que, um momento atrás, era aconselhável chamar de tautologia. Isso combinado com o fato de que
eles podem ser expressos usando variáveis ou constantes lógicas, fornecerá a definição de lógica ou
matemática pura ”.
[2] Cf. René Poirier,Essências sobre as caractéres das noções de espaço e de temps.
[3] Hilbert,Die logischen Grundlagen der Mathematik.
[4] Cf. Jean Cavaillès,Méthode axiomatique et formalisme. Essai sur le problème du
fondement des mathématiques.
[5] Nós expomos isso em nossa tese complementar:Essai sur l'unité des sciences
mathématiques dans leur développement actuel,certos aspectos que tornam possível distinguir a
matemática moderna da matemática clássica.