APÊNDICE I
SOBRE A REALIDADE DAS MATEMÁTICAS [1]
Hoje existem aqueles que sustentam que a matemática é uma quimera, uma pura “invenção” da mente humana. Os axiomas da álgebra, em particular, seriam arbitrários. Frente a eles se levantam não poucos matemáticos que pensam que seu objeto de estudo existe, tal como pensava Platão. Alguns sustentam que não pode ser uma criação da mente mas que procede da experiência sensorial, por abstração. Outros, como Kant, supõem que o matemático apenas intua formas a priori, como a do espaço. Ainda outros estão de acordo com Aristóteles, para quem o objeto da matemática vem da abstração de dimensões quantitativas do real, mas que são captados não pela pura experiência sensorial. Estes têm que enfrentar numerosas objeções, entre as quais podemos mencionar agora a dos husserlianos, os quais pensam que tal objeto não é um acidente como a quantidade, pois todos os entes, de qualquer gênero, são numeráveis.
O que esboçamos acima será o problema central das páginas que seguem. Mas outro problema conexo será o seguinte: se o objeto das matemáticas é um fato que pode ser enquadrado em diversos sistemas axiomáticos, ou se nunca se pode dizer que seja um fato, e a diversidade de sistemas axiomáticos possíveis é conseqüência, simplesmente, da distinção entre a via inventionis (via da investigação) e a via demonstrationis (via da demonstração). Neste ponto será útil comparar a matemática com a física.
A. PARECE QUE A MATEMÁTICA NÃO TEM NENHUM OBJETO REAL
A primeira opinião se baseia, até onde sei, em dois tipos de argumentos: a) em que na álgebra se definem as noções primitivas das regras de inter-relação ou de conexão entre estas noções de um modo aparentemente arbitrário; e, ainda, que na matemática existem criações que definitivamente se distanciam de nossa experiência do mundo, tais como o espaço de mais de três dimensões ou os números complexos. E, b) em que um ramo da matemática tão venerável como a geometria de Euclides foi “superada” nos séculos XIX e XX. E se nem sequer a geometria pôde resistir aos embates do fluxo do pensamento humano, o que pode haver que seja fixo e verdadeiro? [2]
Ao primeiro tipo de fundamento desta opinião, o que surge dos princípios da álgebra ou de outras noções muito artificiais da matemática, há que se responder -- com uma obra que citaremos amiúde nestas páginas -- várias coisas:
a. i) nem todos os sistemas algébricos que se criam serão interessantes, mas apenas aqueles que respondam à realidade do objeto da disciplina, os que tenham grande significação, seja nas matemáticas mesmas, seja em suas aplicações às ciências naturais ou técnicas [3].
a. 2) Os espaços de mais de três dimensões são aplicações metafóricas da noção de espaço a âmbitos não espaciais:
[...] A geometria mais primitiva estudava apenas as formas espaciais e as relações do mundo material, e portanto apenas na medida em que aparecem no marco da geometria euclidiana. Mas agora o objeto da geometria começou a incluir também muitas outras formas e relações do mundo real, com a suposição extra de que elas sejam semelhantes à espacial e, por conseguinte, permitam o uso de métodos geométricos. O termo 'espaço’, então, tomou nas matemáticas um novo significado, mais amplo e ao mesmo tempo mais especial. Simultaneamente, os métodos da geometria se fizeram muito mais ricos e mais variados. Por sua vez, eles nos forneceram um instrumento mais completo para apreender o mundo físico que nos rodeia, o mundo do qual foi abstraída a geometria em sua forma original [4].
a. 3) Quanto aos números complexos, Heisenberg faz observações sumamente interessantes em seu Diálogos sobre la física atómica [5]:
Estarás, sem dúvida [tu, Pauli] de acordo comigo se afirmo que a proposição “existe a raiz quadrada de $-1$” não significa outra coisa que “existem importantes relações matemáticas que podem ser representadas de forma mais simples com a introdução do conceito raiz quadrada de $-1$”. Muito bem, as inter-relações existem também sem esta introdução. Por conseguinte, esta forma matemática pode ser aplicada praticamente tanto nas ciências naturais como na técnica. Na teoria das funções, é um dado categórico, por exemplo, a existência de importantes estruturas matemáticas que se referem a pares de variáveis continuamente cambiáveis. Essas relações resultam mais facilmente inteligíveis se formamos o conceito abstrato raiz quadrada de $-1$, ainda que isso não seja fundamentalmente necessário para essa compreensão, e ainda que não se dê nenhum conceito correlativo entre os números naturais. [...] Portanto, na ciência matemática se registra um processo continuado de crescente abstração que possibilita a compreensão unitária de domínios cada vez mais amplos.
Quanto ao segundo tipo de argumentos que aduz esta tese, (b), deve-se dizer que o fato de que existam geometrias não euclidianas não invalida a obra de Euclides. Simplesmente a perspectiva deste pode ser completada com outras perspectivas. A experiência humana da realidade é sempre limitada, mas esses limites não implicam que as afirmações feitas dentro dela sejam falsas. E a linguagem nunca abarca toda a riqueza de nossa experiência; assim, a maneira como expressamos, e, inclusive, concebemos o que entendemos, pode padecer de imperfeições, as quais, não obstante, não impedem que, desde aquilo que foi expressado, se capte uma realidade que se encontra “para além” dele [6]. Ilustrarei isso com uns textos de Heisenberg, referidos em sua maioria à perspectiva constituída pela física newtoniana, mas aplicáveis com mais razão (a fortiorí) à geometria de Euclides.
A Teoria da Relatividade e a mecânica quântica são sistemas axiomáticos introduzidos na física ou foram aceitos nela para dar conta de um conjunto de resultados experimentais que não podiam ser explicados pela mecânica newtoniana ou pela Teoria Eletromagnética de Maxwell. Contudo, os experimentos em que se obtiveram esses resultados foram concebidos e montados de acordo com as leis da mecânica newtoniana e a Teoria Eletromagnética de Maxwell. Isto coloca um problema teórico. E a ele responde Heisenberg:
[...] O ponto de partida óbvio para a interpretação física do esquema matemático na relatividade geral é o fato de que a geometria é muito aproximadamente euclidiana em dimensões pequenas. A teoria se aproxima da teoria clássica nesta região. Assim, aqui a correlação entre os símbolos matemáticos e as medições e os conceitos da linguagem ordinária não é ambígua. Não obstante, pode-se falar de geometrias não euclidianas a grandes dimensões. [Pelo dito, ...] na Teoria da Relatividade geral a linguagem pela qual descrevemos as leis gerais segue a linguagem científica dos matemáticos, e na descrição dos experimentos mesmos podemos usar os conceitos ordinários, posto que a geometria euclidiana é válida com suficiente precisão nas pequenas dimensões [7].
O texto anterior se refere diretamente à geometria euclidiana. Agora trarei outros que se referem a outras partes da ciência, mas que são úteis para mostrar o problema da relação entre a linguagem e a experiência ou a relação entre a verdade e nossas perspectivas limitadas. Vejamos o primeiro:
O problema mais difícil, contudo, acerca do uso da linguagem, surge na Teoria Quântica. Aqui não temos desde o início um guia simples para correlacionar os símbolos matemáticos com os conceitos da linguagem ordinária, e o único que sabemos de início é que nossos conceitos comuns não podem ser aplicados à estrutura dos átomos. De novo, o ponto óbvio de partida para a interpretação do formalismo parece ser o fato de que o esquema matemático da mecânica quântica se aproxima do da mecânica clássica nas dimensões que são grandes comparadas com o tamanho do átomo [8].
O grande físico dissera anteriormente que a discrepância entre a mecânica newtoniana e os resultados experimentais que levaram à Teoria da Relatividade ou à mecânica quântica não era questão de “fatos” (facts), mas de linguagem [9]. Os fatos estavam claros. E entre eles não pode haver discrepância. O princípio de não-contradição está suposto em qualquer experiência humana da realidade distinta da primeira experiência intelectual, na qual, após captar o conceito 'ente’, já temos tal princípio. O que existe, outrossim, é um desacordo entre o modo de formular as experiências relativas a um campo de fenômenos e outro modo de formular as relativas a outro campo. Esse desacordo é visto como “um problema de linguagem” e, por isso, buscam-se caminhos que salvem todas as experiências.
Assim, pelo fato de as experiências que fundamentam a formulação newtoniana da mecânica não poderem “ser superadas”, Heisenberg pode dizer:
Creio que a mecânica newtoniana não pode ser aperfeiçoada de modo algum, e com isso quero dizer o seguinte: sempre que queremos descobrir qualquer fenômeno com os conceitos da física newtoniana, como, por exemplo, lugar, velocidade, aceleração, massa, força, etc., têm plena validez as leis de Newton, e nisto nada será modificado nos próximos cem mil anos. Para ser mais preciso, convém que acrescentemos algo: sempre que nos atemos ao grau de precisão com que se podem descrever os fenômenos com os conceitos newtonianos, possuem vigência também as leis de Newton. O fato de que esse grau de precisão seja limitado naturalmente já era um dado conhecido na física precedente, já que ninguém podia realizar medições com uma exatidão perfeita [10].
Mais adiante, Heisenberg acrescenta algo que é relevante indiretamente para a matemática: o critério de verdade da física. E digo que é relevante para a matemática porque a ciência da natureza utiliza o formalismo matemático: se existe verdade na ciência natural, como poderia não havê-la na matemática? Este é um argumento usado em outro de nossos capítulos, mas pode ser adiantado aqui. Segundo Heisenberg, pois, a física não se pode aperfeiçoar como a engenharia, que é uma disciplina mecânica ou prática, por meio de acréscimo de pequenas ferramentas conceituais:
Seria totalmente falso colocar como nível das correções de um engenheiro as mudanças fundamentais que aparecem na passagem desde a mecânica newtoniana para a mecânica relativista ou para a quântica, porque o engenheiro, quando corrige, não necessita modificar nada de seus conceitos anteriores. Todas as palavras mantêm seu significado anterior; apenas se introduzem nas fórmulas correções para determinadas realidades que antes se haviam descuidado. Semelhantes mudanças, porém, não teriam sentido algum dentro da mecânica newtoniana. Não existe experimento algum que possa confirmá-lo. Nisto precisamente se estriba o sentido absoluto e permanente da física newtoniana: em que não é passível de ser aperfeiçoada dentro de seu campo de aplicação por pequenas modificações, e em que desde há muito tempo já encontrou sua forma definitiva. Mas existem campos experimentais nos quais não podemos avançar com o sistema conceitual da mecânica newtoniana. Para tais campos experimentais, necessitamos de estruturas conceituais totalmente novas, oferecidas, por exemplo, pelas teorias da relatividade e da mecânica quântica. A física newtoniana tem -- e isso para mim é importante - um grau de perfeição já concluído, que os recursos físicos do engenheiro jamais possuirão [11].
Esta perfeição já concluída está vinculada ao
critério mais importante da verdade de nossa ciência, a simplicidade sempre resplandecente das leis da natureza [...]. Se resumimos por meio de fórmulas o resultado dos experimentos, como sempre se deve fazer na física teórica, e chegamos assim a uma descrição fenomenológica dos processos, temos aí a impressão de que estamos a inventar essas fórmulas, e que isso pode ser feito de modo mais ou menos satisfatório. Porém, quando topamos com essas grandes inter-relações extraordinariamente simples que são fixadas definitivamente dentro da axiomática, o assunto toma um aspecto muito distinto. Neste caso aparece de repente, ante a mirada de nosso espírito, uma ordem total de inter-relações que sempre existiu sem nós, e que com absoluta evidência não foi feita pelo homem. Tais inter-relações constituem o conteúdo autêntico de nossa ciência. Somente quando tivermos interiorizado plenamente em nós mesmos a existência de tais interdependências, é que poderemos compreender realmente nossa ciência [12].
B. PARECE QUE O OBJETO DAS MATEMÁTICAS TEM UMA
EXISTÊNCIA INDEPENDENTE DAS COISAS SENSÍVEIS
A origem desta tese se encontra em Platão ou nos pitagóricos. Quando Protágoras objeta à veracidade da geometria que nada no mundo real era como o descreviam os geômetras (porque não existem pontos sem dimensões, nem linhas com apenas uma dimensão, nem planos com apenas duas dimensões, etc.), o ateniense responde que era certo que no mundo sensível os objetos da geometria não existiam, mas que isso não a afetava como ciência e, sim, à realidade ou consistência do mundo sensível. Neste, as coisas recebem seu consistir e sua inteligibilidade de outras realidades supra-sensíveis, que são as que a geometria estuda. E certo que nunca nesta vida vimos objetos como os definidos pela geometria, e que por isso é difícil explicar como é possível reconhecer um raciocínio geométrico verdadeiro e distingui-lo de um falso; e ainda mais: como podemos fazer investigação em geometria, pois parece que não podemos saber como é aquilo que estamos buscando, nem podemos reconhecê-lo uma vez encontrado. Mas, desde logo, existem descobertas, a geometria não é arbitrária, e qualquer um que siga os raciocínios de modo devido pode distinguir um verdadeiro de um falso. Então, por que temos em nossa mente os conceitos necessários para orientar a investigação e reconhecer os resultados favoráveis? Porque nossa alma contemplou antes de estar encarnada no corpo esses objetos supra-sensíveis [13].
Hoje, como já se anunciou, não são poucos os matemáticos que subscrevem a tese platônica acerca da existência dos objetos de sua disciplina, mesmo que não subscrevam, talvez, a pré-existência da alma ou da inteligência [14]. Eles aduzem as mesmas experiências apontadas no parágrafo anterior, além de algumas outras. Transcrevo agora um texto de Roger Penrose em que alega outra experiência, mais vinculada (de modo inconsciente [15]) ao Fedro que as mencionadas anteriormente:
[...] O ponto e que, com respeito à comunicação das matemáticas, não estamos simplesmente transmitindo fatos. Porque, para que um conjunto de fatos [contingentes e particulares] sejam comunicados de uma pessoa a outra, é necessário que os fatos sejam cuidadosamente enunciados pela primeira, e a segunda deveria tomá-los individualmente. Mas na matemática o conteúdo fático é pequeno. As afirmações matemáticas são necessariamente verdades (ou então falsidades necessárias) e mesmo que a afirmação do primeiro matemático represente meramente uma sombra instável de uma verdade necessária, seria aquela mesma verdade a que seria transmitida ao segundo matemático, supondo que o segundo a tenha entendido adequadamente. As imagens mentais do segundo podem diferir nos detalhes das do primeiro matemático, e suas descrições verbais também, mas a idéia matemática relevante terá sido comunicada de um ao outro. [...] Quando ‘vemos’ uma verdade matemática, a própria consciência irrompe nesse mundo platônico de idéias e estabelece um contato direto com ele (acessível por meio do intelecto). [...] A descoberta matemática consiste na ampliação dessa área de contato [16].
As experiências originantes desta tese se tornarão mais claras quando virmos o enfrentamento entre ela e os empiristas, na próxima seção.
C. PARECE QUE A MATEMÁTICA PROCEDE DA EXPERIÊNCIA SENSORIAL
Na materialista e stalinista União Soviética de 1956, conseguiu-se escrever uma grande obra, Mathematics, Its Contents, Methods, and Meaning, editada por Aleksandrov, Kolmogorov e Lavrent'ev [17]. Como era de se esperar, pelo contexto histórico, a perspectiva desse livro é materialista e anti-idealista. Emprega, por isso, grande esforço para mostrar que a matemática é formada a partir da experiência sensível. Ao fazê-lo, coincide admiravelmente e sem sabê-lo com muitas teses aristotélicas, mas introduz aclaratórias ou correções que o distanciam parcialmente do Estagirita. Neste segundo aspecto coincide mais, de novo sem citações explícitas, com o empirismo que foi objeto de refutação por parte de Leibniz ou que deu lugar à crítica de Kant.
Segundo os russos, a matemática surgiria da experiência dos objetos sensíveis, por abstração. O número seria a numeração dos objetos mas abstraindo sua natureza: “O conceito de figura geométrica é o resultado da abstração de todas as propriedades dos objetos existentes, exceto sua forma espacial e suas dimensões” [18]. Estes são dois dos conceitos primeiros e elementares. Foram seguidos por outros muitos, cada vez mais abstratos e de tal generalidade que aparentemente perderam toda a conexão com a vida ou experiência ordinárias. Não obstante, também eles possuem um conteúdo concreto e estão conectados com a vida, coisa que se pode demonstrar sem muita dificuldade [19].
Toda ciência particular é abstrata. Mas a matemática versa apenas acerca de todas as possíveis (e variáveis) relações quantitativas e interdependências entre as magnitudes e acerca das formas espaciais; encerra uma série de graus de crescente abstração, caminho em que chega mais longe que qualquer outra ciência; e move-se inteiramente no campo dos conceitos abstratos e de suas inter-relações - diferentemente do cientista natural, que constantemente retorna ao experimento para provar suas asserções [20].
Os matemáticos fazem constante uso de modelos, análogos físicos e exemplos inteiramente concretos, que servem como fonte da teoria e como meio para descobrir seus teoremas, mas nenhum teorema pertence definitivamente à matemática até que tenha sido rigorosamente provado por um argumento lógico [21].
“Podemos medir os ângulos da base de milhares de [triângulos] isósceles com total exatidão, mas tal procedimento nunca nos dará uma prova matemática do teorema segundo o qual os ângulos da base de um triângulo isósceles são iguais. A matemática exige que esse resultado se deduza dos conceitos fundamentais da geometria [...] que estão precisamente formulados nos axiomas”.
O autor do Livro VII da República subscreveria este texto sem problemas. Mas, em contrapartida, colocaria sérias objeções a esse outro texto:
“Em última instância, a vitalidade das matemáticas surge do fato de que seus conceitos e resultados, com toda sua abstração, se originam, como veremos, no mundo real/ e / encontram mui variada aplicação em outras ciências, nas engenharias e em todos os assuntos práticos da vida diária. Dar-se conta disto é o mais importante pré-requisito para compreender a matemática”. [22]
O segundo trecho em destaque não necessita refutação, creio. Poucos são os matemáticos que se enamoram de sua disciplina por suas aplicações em outras disciplinas; a maioria se deixa deslumbrar pela beleza intrínseca de seu objeto. Vamos discutir o primeiro trecho em itálico.
Para provar que a matemática surge do “mundo real”, empregam os russos dois tipos de argumentos. O primeiro tem que ver com a impressionante aplicabilidade da matemática aos problemas de todas as disciplinas que estudam ou manipulam o mundo natural, aplicabilidade que se estende até a conceitos ou construções mais abstratos, tais como os números imaginários ou números complexos e espaços de mais de três dimensões [23].
O segundo tipo de argumentos encontra-se ligado à história da aritmética e da geometria. Ambas as disciplinas surgiram em variados momentos e lugares históricos concretos, mas vamos concentrar-nos na aritmética para não alargar desnecessariamente essas páginas e porque o argumento não muda em nada quando aplicado à geometria. Em muitos povos, até quase contemporâneos, não se conheciam noções para números maiores que dois ou três. Em outros, noções mais refinadas foram desenvolvidas, como a de números maiores, de soma, ou de multiplicação, frutos de múltiplas experiências. Mas na China, Egito e Babilônia desenvolveram-se símbolos para os números, o que permitiu representar cifras inimagináveis numa representação visual. O conceito necessita de um “corpo”, ainda que seja abstrato, e, na falta de representação visual, fornece-se um símbolo. Nas duas últimas civilizações mencionadas acima, começou a se desenvolver o interesse pela matemática sem conexão imediata com problemas práticos. Mas foram os gregos que, já no século IV antes de Cristo [24], haviam descoberto que os números podem ser indefinidamente estendidos, e, mais importante, que é possível discutir-se acerca dos números em geral e formular e provar teoremas gerais acerca deles. Com o qual contemplamos uma transição a um novo nível de abstração “desde certos números (ainda que abstratos) aos números em geral, a qualquer número possível”, segundo dizem os autores [25].
Com base nas observações anteriores, os russos afirmam que “a aritmética, como vemos, não surgiu do pensamento puro, como supõem os idealistas, mas é o reflexo de propriedades definidas de coisas reais e surgiu de uma larga experiência de muitas gerações” [26]. “A história dos conceitos da aritmética mostra quão errada é a perspectiva realista segundo a qual eles surgiram do ‘pensamento puro’, da ‘intuição inata’, da ‘contemplação de formas a priori’, ou coisas semelhantes” [27]. A razão pela qual os resultados da aritmética são tão convincentes é que
“suas conclusões fluem logicamente de seus conceitos básicos, e ambos, os métodos da lógica e os conceitos da aritmética, foram elaborados e firmemente fixados em nossa consciência por três mil anos de experiência prática sobre a base de uniformidades objetivas que se dão no mundo que nos rodeia” [28].
Tudo parece claro, mas alguns problemas aguardam, implícitos, na própria exposição dos russos. Vejamos os textos relevantes:
Os teoremas gerais acerca de qualquer propriedade de um número arbitrário contêm, já de forma implícita, muitas asserções acerca das propriedades dos números individuais, e são, por conseguinte, qualitativamente muito mais ricos que qualquer afirmação particular que pudesse ser verificada acerca de números específicos. Por essa razão os teoremas gerais devem ser provados com argumentos gerais que procedem da regra fundamental para a formação da seqüência dos números. Aqui percebemos uma profunda peculiaridade da matemática: toma como objeto não apenas relações quantitativas dadas, mas todas as possíveis relações quantitativas, e, portanto, a infinitude [29].
À pergunta de por que a matemática pode ter um campo tão vasto de aplicações, respondem que ela “generaliza uma enorme quantidade de experiência, reflete em forma abstrata aquelas relações do mundo real com as que nos encontramos constantemente e em todas as partes”, que “a possibilidade de ampla aplicação vem garantida pela mesma abstração da aritmética, ainda que seja importante que não se trata de uma abstração vazia, mas derivada de uma ampla experiência prática” [30]. E acrescentam, finalmente, que “a abstração de tudo que não é essencial descobre o núcleo da matéria e garante o êxito nesses casos onde um papel decisivo é desempenhado pelas propriedades e relações captadas e preservadas pela abstração” [31].
O que sempre chamou a atenção de filósofos com Platão, Leibniz [32] ou Kant foi que nas coisas concretas das quais temos experiência nunca se dá a perfeição própria das definições matemáticas - da geometria, por exemplo. E nossos sentidos nunca nos dão uma idéia universal e necessária, senão, no melhor dos casos, imagens vagas que podem abarcar, por sua própria vagueza, diversos indivíduos. Por mais experiências sensoriais que tenhamos de infinidades de coisas concretas, jamais poderemos descobrir na realidade sensível, nem com nossos sentidos, um conceito universal e necessário cuja análise possa dar lugar a demonstrações igualmente universais e necessárias. Em Platão, ademais, encontramos uma explicação de por que pode haver um aprendizado gradual da matemática ou da ciência em geral, que é precisamente um dos temas centrais do Mênon: a anamnese das idéias separadas se dá pouco a pouco e com a ajuda dos deuses ou de um mestre.
Por outro lado, é certo, como veremos, que a ampla aplicabilidade da matemática é sinal de que as relações quantitativas de que trata se dão de alguma maneira no mundo sensível. Mas também isso Platão explica: o mundo sensível participa dos objetos matemáticos ou os imita, ainda que não perfeitamente. Daí a distância entre a física e a matemática... Esta mesma ampla aplicabilidade supõe, ademais, como dizem os russos, que a matemática não parte de uma abstração vazia. Mas isso implica que o núcleo das noções matemáticas não pode ser uma imagem vaga [33]. Tem de existir algo distinto. A captação do núcleo essencial tem de ser intelectiva, não sensorial. E se no sensível não existe nada tão perfeito como nas definições da geometria (de novo, por exemplo), e, ademais, nossos sentidos não captam senão o particular e imperfeito, como poderíamos formar as noções básicas da matemática a partir do sensível? Para rematar, o que existe no mundo sensível como nossas operações aritméticas ou algébricas universais? É óbvio que nossa mente não é um reflexo especular do mundo sensível, e que muitas das noções que usamos para nos expressar na física e na matemática ou na linguagem em geral não foram tomadas de nossa experiência sensível. Assim, por exemplo, nunca vimos a semelhança, mas apenas coisas semelhantes; e, na realidade, nunca vimos nada exatamente igual, apenas coisas mais ou menos semelhantes. [Como, de passagem, sabemos o que significa ‘mais semelhante’ ou ‘menos semelhante’ se não sabemos o que é a semelhança ou a igualdade? E como sabemos o que é, se não a vimos? Donde procede nossa noção?]
D. PARECE QUE A MATEMÁTICA PROCEDE DA INTUIÇÃO DE
UMA FORMA POSSUÍDA A PRIORI PELA SENSIBILIDADE
Kant teve de se enfrentar com uma situação em que a filosofia primeira de tipo cartesiano-idealista havia sido posta por terra na rasteira da crítica de Hume e, em contrapartida, a geometria, e sobretudo a física, estavam em seu apogeu graças à descoberta da geometria analítica por Descartes e Fermat e à formulação da mecânica de Newton. O agudo crítico escocês supunha que a experiência humana era puramente sensorial e que as noções de razão eram um puro hábito. Vejamos como o diz Kant:
[Hume] acreditou poder dizer que tal princípio [da causalidade] é absolutamente impossível a priori, e, segundo suas conclusões, tudo o que chamamos metafísica repousaria sobre uma simples opinião de um pretenso conhecimento racional, que de fato nasce simplesmente da experiência e que recebe do hábito certa aparência de necessidade. [Tudo que captamos é a sucessão dos fenômenos, mas ela pode produzir um costume e nós projetarmos sobre ela a “causalidade” como princípio necessário]. Esta afirmação, destruidora de toda filosofia pura, nunca deveria ter sido feita se o autor tivesse abarcado em toda generalidade esse problema, porque então teria compreendido que, segundo seu argumento, tampouco poderiam existir as matemáticas puras, pois estas contêm certamente princípios sintéticos a priori, e o bom entendimento do autor haveria de retroceder ante tal assertiva [34].
Kant tomou muito de Hume (em particular sua noção de experiência), mas introduziu importantes mudanças. As noções ou formas ou categorias necessárias da razão existiam, mas não podiam ser aplicadas ao mundo porque, definitivamente, ao fazê-lo incorreríamos numa “ilusão transcendental”. A causalidade, por exemplo, é uma noção de nossa mente, a priori, mas não deve ser projetada ao mundo, como se existisse “em si”. O famoso penso, logo existo’ projeta sobre o mundo uma idéia que está apenas em nossa mente: que existe um sujeito do pensar e que existe em si. Mas esta projeção é indevida. Para não mencionar a projeção da existência de Deus. Definitivamente, do mundo exterior somente possuímos experiência sensorial e esta nos proporciona imagens vagas ou costumes, mas não raciocínios necessários nem noções universais. De onde, portanto, podem proceder a física pura (que segundo Kant é a priori) e a matemática? Já que a metafísica está em crise, deve-se tomar como modelo do conhecimento humano a física e a matemática, que visivelmente alcançaram resultados incontestáveis. Agora o ramo teórico da filosofia primeira se limitará a desvelar as condições transcendentais da matemática e da física newtoniana. Mostremos que são disciplinas sérias, e como isto é possível [35].
Que tal seja o problema central do ramo teórico da metafísica, e que esta simplesmente determine as condições de possibilidade das ciências existentes, é dito de modo explícito na Crítica:
Na resolução do problema precedente [do fundamento de nossas noções racionais] está também compreendida a possibilidade do emprego da Razão Pura na fundação e construção de todas as ciências que contêm um conhecimento teórico a priori dos objetos, quer dizer, está contida a resposta a estas perguntas:
Como são possíveis as matemáticas puras?
Como é possível a física pura?
Não se pode perguntar destas ciências mais que o como são possíveis, pois ao existirem como reais, demonstram já que o são. [E acrescenta Kant, aqui, uma nota que deixa fora de dúvidas qual era a situação histórica de sua obra: “A respeito da Física pura, poderíamos ainda duvidar; mas podemos considerar tão-somente as diferentes proposições tratadas no início da Física propriamente empírica, como a permanência da quantidade de matéria, a da inércia, a da igualdade de ação e reação, e prontamente alcançamos a convicção de que constituem uma Física pura (ou racional), que bem merece ser exposta separadamente, como Ciência especial.] No que toca à Metafísica, como seus passos até hoje têm sido tão infelizes, tão distantes do fim essencial de si mesma que se pode dizer que todos tenham sido em vão, e perfeitamente se explica a dúvida acerca de sua possibilidade e de sua existência [36].
A estas perguntas, Kant responde, para a geometria, que ela é possível pela intuição da forma a priori de nossa sensibilidade do espaço. E, para a física, que procede da intuição das formas de espaço e tempo, e que o tempo é também uma forma a priori. A física empírica seria o fruto da copulação das formas a priori da sensibilidade (espaço e tempo) com a experiência sensorial, mas não a Física pura.
Em que se baseia Kant para afirmar que o espaço e o tempo sejam a priori? Nos seguintes argumentos: a) O espaço e o tempo tal como o concebem os físicos são absolutos. E um espaço e um tempo absolutos são quimeras, inexistentes na natureza, b) Os metafísicos leibnizianos-wolfianos concebem o espaço como relação entre os objetos. Mas os objetos são “percebidos” na experiência. Se, pois, o espaço fosse o conjunto de relações entre os objetos, ele seria de experiência. Mas da experiência (puramente) sensorial não pode provir uma noção perfeita de cuja análise provenha uma disciplina com raciocínios que gozem de uma certeza apodítica ou que sejam necessários (e nós, conscientes desta necessidade) [37]; e da intuição da forma de espaço provém a geometria. Logo, o espaço não pode ser entendido como relações entre os objetos. Ele é, outrossim, uma forma possuída a priori pela sensibilidade. E constitui o “meio” no qual percebemos os objetos. Algo semelhante pode ser dito da forma do tempo e dos raciocínios necessários da mecânica. Logo, nossa experiência, em particular a explicada pela física newtoniana, resulta de uma copulação da experiência puramente sensorial, por um lado, e das formas de nossa sensibilidade, por outro. É por isso que não podemos saber como são as coisas em si mesmas. Porque só sabemos como são os “objetos”, mas esses nos são dados na experiência, ou seja, no marco das formas a priori de espaço e tempo [38].
Existe uma óbvia objeção a ser feita à “estética transcendental” de Kant, a este ramo de sua metafísica: as experiências dos físicos e geômetras do final do século XIX e começos do XX levaram a abandonar a noção newtoniana de espaço e a introduzir outra junto à euclidiana [39]. Se esta fosse uma forma a priori, não seria possível que a experiência sugerisse uma distinta. Essa objeção levou a que muitos kantianos corrigissem a filosofia de seu mestre e a afirmar que as categorias e a experiência se inter-relacionam na história e evoluem juntas. Assim o afirmou, por exemplo, Manuel Granell entre nós, seguindo a Scheler, em Del pensar venezolano [40]. Com isso, se acercam admiravelmente num ponto crucial, e sem sabê-lo, da filosofia de Aristóteles, na qual a experiência humana não é puramente sensorial nem passiva, mas também que a ação da mente não consiste numas formas que ela imponha ao percebido, consistindo senão numa imaterialização das formas que caem em nossa experiência. Vejamos diretamente o Estagirita e seu maior discípulo cristão, Sto. Tomás de Aquino.
E. PARECE QUE A MATEMÁTICA PROCEDE DA EXPERIÊNCIA,
MAS GRAÇAS A UM ATO DE IMATERIALIZAÇÃO
Os autores russos têm razão em que a matemática tenha se desenvolvido a partir da experiência. Inclusive, no Egito, segundo Eudemo de Rodes [41], graças às inundações do Nilo e à necessidade de resolver as controvérsias acerca da propriedade ou posse da terra. Mas os autores inatistas, em suas duas classes, têm razão em que as demonstrações gerais e necessárias ou a perfeição das definições da geometria não podem provir da experiência puramente sensorial. Precisa-se acrescentar uma reflexão não servil do sensível para se desenvolver esta ciência pura. No mesmo Egito foi a casta dos sacerdotes a que deu maior impulso à matemática por gozarem do ócio, segundo o conhecido texto do Livro Alfa (I) da Metafísica de Aristóteles.
E certo que os platônicos podem explicar o vínculo entre a experiência e o aprendizado por meio da anamnese: os homens recordariam as idéias, contempladas antes da encarnação da alma, graças à parecença das coisas sensíveis com seus modelos. Mas a crítica aristotélica à teoria das idéias me parece definitiva [42]. Por seu lado, os kantianos se toparam com a gravíssima dificuldade de que novos conceitos de espaço [e tempo] surgiram da experiência, à margem das formas que eles tinham por a priori e supostas em toda a experiência.
Em Aristóteles encontramos uma resposta que explica todos os aspectos do problema. No último capítulo do Livro II dos Analíticos posteriores, ele sustenta que os axiomas procedem da experiência sensível e da indução [43] (epagogué), ainda que pertençam ao âmbito do intelecto [44]. No Livro III De Anima introduz, não obstante, a figura do intelecto agente distinta da do intelecto possível. Qual é a experiência originante desta figura na obra de Aristóteles? Somente Sto. Tomás de Aquino tem uma resposta a esta pergunta, e por essa razão apenas ele pode nos ajudar a entender um tema sobre o qual se gastou muita tinta. Destruída a teoria das idéias, havia que dar conta do salto que se dá desde o sensível até nossas noções intelectuais. Não bastava o intelecto como “olho da alma” porque não existe, na natureza submetida a nossa experiência, objetos como os que pode conceber o intelecto; quer dizer, imateriais, universais, imóveis [45]. O “olho da alma”, portanto, no mundo sensível estaria como às escuras, sem poder perceber nada. Carecia-se de um “artesão das idéias” (ou conceitos), que imaterializasse as formas existentes no sensível. Um princípio agente em nossa alma que tornasse possível nossa intelecção. Mas é um princípio que não “cria” as formas, mas apenas as “imaterializa”, como se disse. Por isso se o compara também a uma “luz”, para indicar que o é unicamente em potência, assim como a luz torna visíveis as cores (ou qualidades presentes nos corpos, pelas quais estes refletem determinados comprimentos de onda e não outros) [46].
Com esse princípio agente e o “olho da alma”, estamos preparados para adquirir a experiência intelectiva, no sensível. Porque nossa experiência é a de um intelecto sensiente ou a de uns sentidos inteligentes, penetrados por uma potência superior que pertencem a um só ser, à pessoa humana. Mas, no início de nossa vida, somente os sentidos estão maduros para atuar ou ser atuados, como se fez evidente pela experiência dos “meninos lobo”, o desgraçado francesinho e a desafortunada americaninha que, resgatados muito tarde do descuido em que foram criados, nunca puderam aprender a falar. Por isso, necessitamos, como também aponta Aristóteles no Livro III De Anima, de um intelecto em ato, de um adulto que nos mostre o que devemos reconhecer na experiência como pertencente a uma classe ou tipo. Faz falta que existam umas “categorias”, mas não a priori, para ordenar o caos de nossos sentidos. E nos são dadas por nossos pais ou pelos adultos em geral. Claro que essas “categorias”, na realidade, o que fazem é mostrar-nos o que temos de descobrir por nós mesmos. A função do professor não é nos dar a vista, mas apontar na direção adequada, como disse Platão na República VII. Neste período de nossa vida, captamos todas as noções e o contexto de inteligibilidade que necessitamos para a matemática. Por isso pode parecer que ela seja uma ciência que procede de noções ou formas a priori, porque nossa mente, quando seu nível de consciência é ainda débil, alcança tudo de que precisa para encerrar-se em si mesma e encontrar a matemática.
Mas os platônicos ainda podem fazer uma pergunta mais: como o homem reconhece uma descoberta inteligível, incluindo a mais elementar, como que um objeto pode ser significado por uma palavra? Se não sabe o que busca, como o reconhece? E se sabe, para que o busca? A isto responderiam Aristóteles e seu discípulo Sto. Tomás que na natureza humana existe um amor inato à verdade. E que o ser amado está no amador, de alguma maneira. E que, portanto, o “reconhecimento” não se deve a um conhecimento a priori, mas a um amor inato ou natural, a uma “semente” de verdade [47].
Segundo Aristóteles, existe uma diferença crucial entre a matemática e a física. Esta investiga acerca das rationes com matéria sensível e a outra acerca de rationes abstratas. Por isso a ciência natural necessita retornar continuamente à experiência, e a matemática, em contrapartida, é adequada aos meninos, que não têm muita experiência [48]. A física, para usar o exemplo clássico do Estagirita, estuda o “nariz côncavo”, com sua matéria sensível; em contrapartida, a matemática estuda a concavidade mesma, sem matéria sensível [49]. Uma forma real, a categoria “quantidade” - que abarca a quantidade discreta (os números) e a contínua (a res extensa abstrata, o corpus quantum) e todas as relações quantitativas - é seu objeto, como alegavam os russos. E se trata de uma forma acidental, mas que é o primeiro dos acidentes a influir decisivamente em todos os demais e na própria substância material. Daí sua aplicabilidade tão profunda a tantas matérias.
O fato de que seja uma “forma” coloca a resposta de Aristóteles a uma distância imensa de todos os mecanicismos (pré-socráticos ou pós-cartesianos), nominalismos, etc., e o aproxima de Platão. Também o aproxima de seu mestre a consciência de que a forma está em nossa mente com uma perfeição que não possui no mundo sensível. Este não é o lugar apropriado para responder de modo completo aos que criticam as formas, ainda que o seja para observar que a crítica de Hume à metafísica não atinge a Aristóteles mas aos pós-cartesianos, precisamente no que estes tinham de nominalistas [50].
F. RESPOSTA A ALGUMAS OBJEÇÕES
A primeira objeção que examinaremos consiste em que o aristotelismo seria um realismo “ingênuo”, que faria acreditar que nossa mente é um “espelho do mundo”. A segunda, de seguidores de Husserl, que “obviamente” os números não procedem do acidente quantidade, mas da numeração de entes de qualquer classe, e por esta razão o numerar poderia ser estendido até a substâncias imateriais, como os anjos. A terceira, do kantiano Stephan Körner, de que Aristóteles seria incapaz de explicar uma parte fundamental dos problemas matemáticos modernos, os que se referem aos infinitos atuais.
Nada mais longe do aristotelismo que pensar que a mente seja um espelho do mundo. A crítica mais dura do Estagirita à teoria das idéias de seu mestre residia em que as “Idéias” eram uma projeção de nossas noções mentais à realidade. Platão não distinguira o bastante aquilo que conhecemos de aquilo por que o conhecemos. Existem entes naturais e entes de razão. Transcreverei agora uma passagem completamente aristotélica de Sto. Tomás de Aquino, na qual se vê de modo muito claro essa distinção:
A espécie recebida no intelecto possível [o conceito] não se considera como “o que” se entende. Pois acerca dessas coisas que se entendem são todas as artes e ciências, e seguiria-se que todas as ciências versariam sobre as espécies que existem no intelecto possível, o que é obviamente falso, pois nenhuma ciência versa acerca delas, mas apenas a lógica e a metafísica. Não obstante, através delas conhecemos quaisquer coisas que existem em todas as ciências. Tem-se, por conseguinte, a espécie inteligível no intelecto possível quando entende não como o que se entende, mas como aquilo pelo que se entende. Como também a espécie da cor no olho não é aquilo que se vê, mas aquilo pelo que vemos. Mas isso que entendemos é a mesma “ratio” (razão ou forma) das coisas que existem fora da alma [51], como também as coisas que existem fora da alma se vêem com a visão corporal. Pois para isso foram encontradas (ou inventadas) as artes e as ciências, para que se conhecessem em sua natureza as coisas existentes fora da alma.
Mas tampouco se segue que, porque as ciências versam acerca do universal, existam fora da alma universais existentes por si, como afirmou Platão. Pois, ainda que para a verdade do conhecimento seja preciso que o conhecimento responda à coisa, sem embargo não é necessário que seja o mesmo o modo [de ser] do conhecimento e o da coisa. Pois as coisas que estão unidas na realidade, às vezes se conhecem separadamente, pois a mesma coisa é branca e doce, mas a vista conhece somente a brancura e o gosto apenas a doçura. Assim também o intelecto entende a linha que existe na matéria sensível sem matéria sensível, ainda que também possa entendê-la com matéria sensível. Mas esta diversidade ocorre segundo a diversidade de espécies inteligíveis recebidas no intelecto, que alguma vez é semelhança de quantidade somente, alguma vez da substância sensível e dotada de quantidade. De modo semelhante, ainda que a natureza do gênero e da espécie nunca exista senão nos indivíduos, não obstante o intelecto entende a natureza do gênero e da espécie sem entender os princípios individuantes. E isto é entender os universais. E assim, estas duas coisas não se rechaçam mutuamente, que os universais não existam fora da alma e que o intelecto, entendendo os universais, entenda as coisas que estão fora da alma. - Mas que o intelecto entenda a natureza do gênero ou da espécie, despojada de princípios individuantes, é possível pela condição da espécie inteligível recebida nele, que é tornada imaterial pelo intelecto agente, quer dizer, abstraída da matéria e das condições da matéria, pelas quais algo se individua. E por isso não podem as potências sensitivas conhecer os universais, porque não podem receber a forma imaterial, pois sempre recebem num órgão corporal [52].
Para colocar em termos claros e aplicados a nosso problema, a matemática estuda a essência real, mas os conceitos matemáticos não têm por que possuir uma imagem especular no mundo. Quando os cientistas refletem sobre seus conceitos para determinar sua realidade, então necessitam de hábitos de pensamento distintos aos que foram usados em sua ciência, porque o que eles estudaram foram as coisas, não os conceitos. Só a metafísica pode estudar em que sentido os conceitos e proposições das ciências particulares correspondem à realidade, porque somente ela versa acerca do “que é” [53], e corresponde à mesma ciência estudar o “que é” e o “se é” [54]. As disciplinas científicas naturais supõem que exista seu gênero sujeito, e pela experiência sensível manifestam o que pertence a tal qüididade ou essência. A matemática também o supõe, mas toma por abstração sua qüididade da experiência que serve de base para a metafísica e o postula por hipótese [55]. E a metafísica se dá conta de que as ciências conhecem por proposições; que na realidade não existem sujeitos e predicados, nem negações, etc., mas o conhecido não são essas proposições, mas as coisas a que se referem. Por isso os matemáticos costumam ser platônicos, como o citado Penrose, porque sabem que não estão “inventando” suas proposições ou demonstrações, estão apenas formulando algumas exigências de seu objeto. Ainda que perguntemos a um deles, de modo repentino, se existem a igualdade de suas fórmulas ou os números imaginários, provavelmente não saberá o que responder, ou, se o fizer, o fará com um hábito distinto ao da ciência matemática.
Vejamos agora a segunda objeção, a dos husserlianos. Segundo várias conferências que pude ouvir deles, como Husserl em sua primeira etapa da filosofia da matemática, eles afirmariam que o número seria um tipo de conjunto mental com o que abarcamos coisas que têm em comum, ao menos que são “alguma coisa qualquer que seja”. Se dizemos “dez”, deve tratar-se de “dez frutas” ou “dez maçãs” ou “dez coisas”. “Dez maçãs e pêras” seriam “dez frutas”, claro. Mas podem ser dez de gêneros completamente díspares. Daí quererem concluir que não se pode dizer que o número seja uma “forma acidental” abstraída, porque pode ser aplicada a qualquer ente, inclusive aos anjos, que são imateriais. De fato, hoje se aplica de modo sistemático às qualidades, como em “dez graus centígrados” ou ao comprimento de onda das cores.
Em sua Filosofia da aritmética, Husserl, é certo, se aparta da concepção de número como “quantidade”, com o único fundamento de que se podem contar todo tipo de coisas, de mesmo ou de distintos gêneros [56]. Um exame cuidadoso de suas reflexões revela que ele não se deu conta de que “unidade” pode ser entendida, ao menos, em dois sentidos básicos. Um, como princípio do número matemático; e outro como indivisão metafísica. O segundo sentido é aplicável a todo ente e é o princípio da multiplicidade. Esta falta de distinção aproxima as reflexões de Husserl mais com o platonismo (em particular com O sofista) e com certas passagens do Livro X da Metafísica, que com a filosofia aristotélica da matemática. Mas o parente moderno acaba sempre vindo numa envoltura, digamos, “cartesiana”: Husserl nunca fala das coisas, mas das representações mentais, de nossa atenção sobre elas e do exame crítico das mesmas.
Segundo o ilustre autor alemão, o “uno” que é origem do número e da multiplicidade é “algo”, de qualquer gênero que seja. Desde logo, este “algo” teria que distinguir-se de [ao menos] “outro”, mas em um momento prévio a qualquer comparação expressa: por isso não importa o conteúdo concreto da representação de cada um desses “algos”. O princípio da multiplicidade não é “algo diferente”, que suponha a comparação de conteúdo com outros algos, mas simplesmente algo “distinto” [57]. “Algo” seria a concepção mais geral, que excluiria qualquer conteúdo concreto [58]. Vários “algos” podem ser tomados em conjunto ou “coligarem-se” por um ato da mente, que acrescenta aos elementos isolados o incluí-los a todos em um grupo ou conjunto [59]. Assim se origina a multiplicidade. Quando esses “algos” que são princípio da multiplicidade se determinam como “uno” [“e uno e uno, etc.”], então se pode contar, se pode determinar uma multiplicidade para passar a concebê-la como “número”, e se pode diferenciar esta de outras [60]. Além de “algo”, essas três seriam as concepções mais gerais e mais vazias de conteúdo: múltiplo, uno, número [61]. Dentro da última pode haver lugar para as concepções dos números particulares, se se acrescentam as concepções de “mais” e “menos” [62].
Quando Sócrates estranhou tanto que “um e outro sejam dois” e Platão afirmou que a causa era a participação na dualidade [63], os antigos chegaram a uma solução semelhante à de Husserl acerca da natureza do número. Mas o “um” que se há de acrescentar a outro era concebido como um ente real, não como uma “representação” [64]; e a Forma que abarcava ambos os “unos” estava no mundo [das idéias, claro], não apenas em nossa mente. Aristóteles teve muito o que corrigir nestes primeiros passos dos antigos, dirigidos à constituição de uma filosofia da matemática e de uma metafísica da unidade transcendental. O Estagirita distinguiu entre a unidade como indivisão da substância ou do ser, que permite falar de uma pluralidade de substâncias ou de seres acidentais e que admite tanta multiplicidade de significados como “ente”, por um lado, e a unidade como princípio do número, por outro [65]. Quanto à unidade no sentido transcendental, eu diria que as principais diferenças entre Husserl e Aristóteles estão em que o grego (1) não vê a “unidade” como a concepção mais genérica, mas como uma noção que transcende os gêneros e que tem muitos significados, ainda que conexos [66]; (2) por isso mesmo, sabe que a unidade se dá principalmente na substância e sobretudo na substância incorpórea, ainda que nós a conheçamos primeiro na substância corpórea [67]; (3) sabe também que a comunidade de gênero necessita também de alguma comunidade na matéria, razão pela qual não se podem conumerar as substâncias separadas e os seres corpóreos, salvo falando de modo muito impróprio e vago [68]; (4) e que, pelo mesmo motivo, a conumeração que não seja uma simples adição per accidens, como a que pode fazer um menino imprudente, necessita certa unidade, seja no gênero, seja na ordem [69]. Em contrapartida, Aristóteles estaria plenamente de acordo com que o conceito de número que abarca um conjunto de coisas e que nesse sentido se aplica a elas está apenas em nossa inteligência, havendo sido formado pelo intelecto agente, ainda que tenha um fundamento na realidade [70]. Este fundamento é o que torna “falsa” ou “verdadeira” a aplicação do conceito a coisas reais.
Quanto ao outro sentido de unidade, é óbvio que o poder de contar substâncias, materiais ou imateriais, não é o que dá origem aos números matemáticos (reais), que são um contínuo: dividir três pessoas em dois não é possível, mas dividir um contínuo como a quantidade medida pelos números, sim. Aristóteles chegou a descobrir por esta via que o que de real havia na matemática era essa forma acidental da quantidade, abstraída de toda outra determinação, qualitativa ou substantiva (exceto a “matéria inteligível”, da qual não podemos falar agora). Era a unidade como princípio do número matemático a que podia ser incluída no gênero da quantidade, não a unidade transcendental. O fato de que se possa falar de “graus centígrados” ou de comprimentos de onda não mostra senão que o que se pode medir é a quantidade, ou a base ou os efeitos quantitativos das qualidades. O que se mede com a expressão “graus centígrados” é a altura de uma coluna de mercúrio, tomando como base de medição a centésima parte da diferença desta altura quando o mercúrio se encontra à temperatura de ebulição da água ou à temperatura de solidificação da mesma. E o “comprimento de onda” de uma cor seria o do raio de luz que é refletido pela superfície de uma substância opaca [71].
Os autores russos citados parecem dar seu aval à opinião dos husserlianos, pois ao falar acerca da origem da aritmética [72], dizem que é aplicável a qualquer tipo de ser e não primariamente à quantidade. Mas logo citam a Aritmética geral de Newton e subscrevem sua opinião, apegada a Aristóteles, para definir os números reais: “Por número entendemos não tanto uma coleção de unidades como uma proporção abstrata de uma certa quantidade a outra quantidade tomada como unidade” [73].
Convém dedicar um breve excurso a Gottlob Frege. Este autor se apartou da concepção newtoniana e aristotélica do número e tentou alcançar ao mesmo tempo tanto uma noção puramente a priori e analítica, como um conceito que incluísse na ciência a vida cotidiana. Ele confessa, todavia, que não pode opor a Newton objeção alguma, salvo o fato de não ver como poderia o inglês explicar os números da vida ordinária, pois a pergunta “quantos?” pode ser respondida tanto com as unidades contidas numa quantidade maior quanto, por exemplo, com uma enumeração de substâncias [74]. Já vimos como Aristóteles replicaria a semelhante objeção. Acrescentemos agora que a concepção de Frege é, ou ainda mais distante da vida cotidiana, ou bem de uma natureza semelhante em quase tudo à aristotélica, salvo por lhe faltar a distinção dos dois tipos de unidades, metafísicas e propriamente matemáticas. Se aceitarmos como verdadeiras as pretensões de Frege, segundo as quais os números ou bem a) podem ser definidos sem relação alguma com a experiência; ou bem b) caem sob um conceito que consiste somente na forma lógica de relações entre a extensão de outros diferentes conceitos, e, por isso, é uma noção a priori e analítica [75], então teríamos de dizer, sem dúvida, que o conceito de número de modo algum inclui na ciência o número da vida cotidiana. Mas se atentarmos para as operações que ele aponta em seus Grundlagen der Arithmetik como originantes do conceito de número, então veremos que, na realidade, sua noção é fruto de um processo de “generalização” ou abstração, semelhante ao que propôs Aristóteles.
Nos §§ 74-83 tenta-se uma verdadeira definição puramente formal dos números individuais dentro da “série dos números naturais”. Mas ela se aparta da vida ordinária muito mais que Aristóteles ou Newton e possui dois furos óbvios: o conceito “série dos números naturais” é introduzido arbitrariamente e o número “o” tem de ser definido em termos não puramente formais e introduzido de modo arbitrário como o início da série. Este exercício lógico é precedido por reflexões que, estas sim, têm a ver com a vida ordinária.
Com efeito, no raciocínio dos §§ 45-73 da obra Grundlagen der Arithmetik, encontramos um processo de generalização [76] e formalização. É natural, pois se não partíssemos de experiências concretas para formar o conceito de número, não poderíamos retornar à experiência ordinária para aplicar tal conceito. Não obstante, Frege está ansioso para esclarecer que o que tomamos por abstração (e não através da percepção sintética consciente, que pode se dar até certo ponto nos animais) são os conceitos de primeiro grau [77], enquanto o número é, se tanto, um conceito de segundo grau, quer dizer, uma relação formal entre as extensões dos diversos conceitos. “O número de luas de Júpiter” é o mesmo que “o número de letras na palavra inglesa gold”. “Quatro” não é, diz Frege, nem luas nem letras, mas uma relação formal entre as extensões dos conceitos “luas de Júpiter” e “letras de gold”, ou entre as extensões de quaisquer outros conceitos que sejam “equinumeráveis”.
Com a afirmação de que os conceitos de segundo grau não são abstratos, Frege tem a esperança de escapar do pesadelo da crítica humeana à indução [78]. A origem dos conceitos pode ser empírica, diz, mas isso não os faz menos a priori: as afirmações sobre a origem dos conceitos são psicológicas e irrelevantes desde o ponto de vista lógico ou filosófico. Desde este ponto de vista o que importa é seu conteúdo e, com ele, sua verdade [79]. Já vimos que este problema não existe em Aristóteles. Podemos acrescentar que, num contexto kantiano como o de Frege, este problema é, de fato, insolúvel. Frege nos diz com toda a razão que, quando dizemos, por exemplo, que $5$ medidas de volume de um líquido acrescentadas a $2$ medidas constituem um volume equivalente a $7$ medidas, estamos nos referindo não ao significado da proposição $5 + 2 = 7$, mas a estamos aplicando a um caso particular [80]. Mas isto não responde ao problema, porque o ponto está em que a aplicação pressupõe podermos reconhecer o número nas coisas. Sem este reconhecimento, o número não significaria absolutamente nada.
Ademais, é falso que se possa estabelecer uma relação meramente formal ou independente da experiência entre a extensão de vários conceitos de primeiro grau: determinar a extensão requer a aplicação dos conceitos às coisas, como fica claro em operações do tipo “cinco volumes mais dois volumes” ou em expressões tais como “letras da palavra gold” ou “luas de Júpiter”. Tentando salvar seu conceito de número deste tipo de objeções, Frege afirma que cada número é um indivíduo, não um conceito que se aplique diretamente às coisas, diferentemente das figuras geométricas [81]. Mas isso parece arbitrário. Com efeito, a) as figuras geométricas podem ser multiplicadas em seu tipo (não apenas em sua aplicação às coisas sensíveis) do mesmo modo que os números (de três lados, de quatro, de cinco, etc.; circunferência de tal raio ou tal outro, etc.). E óbvio que os números podem repetir-se, ainda considerados em abstrato, como indivíduos de um conceito. Isso ocorre, por exemplo, quando se diz “$1 + 1 = 2$” [82]. E b) nem as figuras geométricas nem os números se realizam na realidade sensível do modo abstrato em que existem em nossa mente: em comparação com o sensível, os números e as figuras geométricas são igualmente abstratos e universais.
Quanto à terceira objeção, vejamos brevemente primeiro em que consiste. De acordo com Stephan Körner, Aristóteles sustentava que os infinitos em ato seriam logicamente impossíveis na experiência sensível e usou este princípio em sua demonstração da existência de uma Causa Primeira. E nisto o teria seguido Sto. Tomás de Aquino. Uma linha, por exemplo, poderia sempre ser dividida em partes cada vez menores, mas sem nunca alcançar “a menor parte”. Igualmente, uma série de números poderia sempre crescer, mas nunca alcançaria “o último número” [83]. Essa concepção de que somente os infinitos potenciais são logicamente possíveis
teria impedido os gregos de fazerem a unificação entre a aritmética e a geometria do modo como o fizeram Descartes e Leibniz e seus sucessores. Essa unificação levou de modo natural e quase inevitável a uma matemática que distingue entre os tamanhos de vários infinitos em ato e entre suas estruturas e que realiza cálculos com números ordinais e cardinais infinitos [84].
Um exame detido da objeção, no contexto da obra em que se formula, leva a uma franca perplexidade. Em primeiro lugar, porque o próprio Körner estava muito consciente da necessidade de distinguir entre a física e a matemática ou entre os conceitos exatos e inexatos (dotados de matéria sensível ou despojados dela, podemos dizer à maneira aristotélica). Então, o fato de que o infinito atual não se possa dar em nossa experiência sensível, como na cadeia de causas, não quer dizer que não se possa dar uma concepção matemática da infinitude. Em segundo lugar, o tipo de infinitude contido no cálculo leibnizeano, por exemplo, não é de modo algum incompatível com a concepção aristotélica da matemática. Assim, por exemplo, segundo Aristóteles, o ponto não é parte de uma linha, mas se encontra nela e poderia ser entendido como um tipo de limite ao qual a divisão da linha poderia tender sem alcançá-la jamais. Em terceiro lugar, como se pode perceber na resposta anterior, Aristóteles poderia admitir uma certa concepção mental dos infinitos como entes de razão. Körner nos diz que os números reais são fruto de uma concepção de infinitos em ato e remete ao Apêndice A de seu livro para demonstrá-lo [85]. Ao estudarmos cuidadosamente tal apêndice, vemos que o que se tenta é justificar o uso da raiz quadrada de dois (representante da diagonal de um quadrado) como um número que possui as mesmas propriedades dos números racionais. Para isso, na versão de Dedekind, constroem-se os números reais, e se usa em tal construção a divisibilidade infinita de uma linha. Numa dada linha, com efeito, faz-se “cortes” que englobam alguns números racionais menores, sem que se possa determinar o maior número racional que contém [86]. Claro, isso não é um modo de proceder incompatível com a concepção aristotélica da matemática. Em quarto lugar, porque muitos dos filósofos e matemáticos modernos que citam Körner rechaçam a concepção de infinitos em ato. Não vemos, portanto, como se poderia dizer que a negação de Aristóteles pudesse ter levado a um estancamento da matemática, mas não a negação dos outros filósofos ou matemáticos [87].
G. PODE-SE DIZER QUE O OBJETO DA MATEMÁTICA SEJA UM CONJUNTO DE “FATOS” ?
Gian-Carlo Rota, um matemático que teceu reflexões filosóficas acerca de sua disciplina, nos diz, em capítulo intitulado “The Pernicious Influence of Mathematics upon Philosophy” [88], que a matemática trata primeiramente de “fatos” (facts), como qualquer outra ciência. Coloca como exemplos que as alturas de um triângulo se encontram num ponto, que existem dezessete tipos de simetria no plano, que existem cinco equações diferenciais não lineares com singularidades fixas... E afirma que esses fatos, por abstrusos que possam parecer, encontram simples aplicações práticas. Mas secundariamente a matemática versa acerca de provas.
Todo fato da matemática deve ser integrado numa teoria axiomática e provado formalmente se tiver que ser aceito como verdade. A exposição axiomática é indispensável na matemática porque os fatos da matemática, diferentemente dos da física, não são acessíveis à verificação experimental. O método axiomático da matemática é uma das grandes conquistas de nossa cultura. Não obstante, é apenas um método. Enquanto os fatos da matemática, uma vez descobertos, nunca mais se alterarão, o método pelo qual esses fatos são verificados mudou muitas vezes e seria uma loucura esperar que tais mudanças não ocorram no futuro [89].
Essa distinção é sumamente interessante, mas creio que a linguagem de Rota induz a confusões. Obviamente, o objeto da matemática não é um conjunto de “fatos”, posto não serem “acessíveis à investigação experimental”, porque a matemática não tem por objeto rationes consideradas na matéria sensível nem sujeitas a mudança, mas rationes abstratas, como acabamos de ver. Por isso as demonstrações da matemática são muito mais sólidas que as da física, como sabia Aristóteles [90]. Será útil ver, neste sentido, um texto do Traité de la Lumière, de Christiaan Huygens, citado por Crombie em seu Historia de la ciência. De San Agustín a Galileo:
Aqui se vai encontrar um tipo de demonstração que não produz uma certeza tão grande como a da Geometria, e que é na verdade muito distinta da empregada pelos geômetras, posto que eles demonstram suas proposições por meio de princípios certos e incontestáveis, enquanto aqui os princípios são comprovados pelas conseqüências derivadas deles. A natureza do tema não permite outro tratamento. Não obstante, é possível alcançar deste modo um grau de probabilidade que com freqüência é escassamente menor que a certeza completa. Isto sucede quando as conseqüências dos princípios aqui supostos concordam perfeitamente com os fenômenos observados e especialmente quando essas confirmações são numerosas, mas sobretudo quando podemos imaginar e prever novos fenômenos que se seguirão das hipóteses que empregamos e logo se vê que nossas expectativas se cumprem [91].
Pela mesma razão, Penrose estaria em desacordo com Rota quanto à distinção entre o conhecimento das verdades matemáticas e sua demonstração. Segundo Penrose, a visão de uma verdade matemática se transmite a outra mente não tanto por uma explicação detalhada quanto por um apontar em direção ao “mundo platônico” [92].
Penso que a causa da distinção de Rota reside em que se deve distinguir entre a via inventionis e a via demonstrationis, como em toda ciência. Mas a demonstração não é senão a recomposição que segue o resolver as verdades descobertas nos princípios de que dependem [93]. Essa resolução pode ser tornada melhor ou pior, desde um ponto de vista ou desde outro, mas não é arbitrária e não está desligada das verdades que logo se demonstrarão, verdades que nos são conhecidas antes de sua demonstração.
Notas:
[1] Publicado originalmente como artigo em Areté. Lima, 2003, Vol. XV, Nº 1, pp. 35 62. Foi, contudo, revisado para esta edição.
[2] Este tipo de argumento seria a suposta base do nominalismo de Bertrand Russel, por exemplo. Para uma apresentação suscinta e útil deste, cf. Stephan Körner, The Philosophy of Mathematics. An Introductory Essay. Hutchinson University Library. Londres, 1960, pp. 32-71. Cf. especialmente, pp. 34 e ss.
[3] Cf. Mathematics: Its Content, Methods, and Meaning (editado por Aleksandrov, Kolmogorov e Lavrent’ev). Traduzido por S. H. Gould e T. Bartha. MIT Press. Cambridge, Massachussets, 1965), pp. 264-265. No mesmo sentido, Leo Corry, “Hilbert y su filosofia empirista de la geometria”, p. 31, em: Bolettín de la Asociación Matemática Venezolana. Volume IX, Nº 1. Caracas, 2002, pp. 27-43.
[4] Cf. Mathematics: Its Content, Methods, and Meaning (cit.), pp. 56-57 e 264-265.
[5] Biblioteca de Autores Cristianos. Madri, 1975, p. 112.
[6] Essa é a razão porque nunca se encerra em nenhuma ciência a via inventionis, na qual todos os raciocínios são dialéticos. Como dizem os autores russos citados (p. 3): “O rigor da matemática não é absoluto; está em processo de contínuo desenvolvimento. Os princípios da matemática não se encontram congelados de uma vez para sempre, mas possuem uma vida própria e podem até ser objetos de controvérsias científicas”.
[7] Physics and Philosophy. Harper and Row Publishers. NY, 1962, pp. 176-177. E óbvio que a geometria euclidiana constitui uma abstração maior que a geometria dos egípcios ou babilônios, formulada exclusivamente para sua aplicação física. Por isso, penso poder dizer que, fora do campo da aplicação física, Euclides conserva maior validez que neste campo. O argumento que se pode extrair do texto de Heisenberg é, portanto, muito forte.
[8] Ibidem, p. 177. Ali acrescenta Heisenberg que, no caso da mecânica quântica, a correspondência não é tão clara. Deve-se explicar por que não se dá o fenômeno da interferência de probabilidades, e passa a fazê-lo.
[9] Ibidem, pp. 174-175.
[10] Diálogos sobre la física atómica (cit.), pp. 120-121.
[11] Ibidem, p. 122.
[12] Ibidem, pp. 124 -125.
[13] Uma boa explicação na bibliografia secundária da anamnese platônica encontra-se no livro de David Cornford, Principium Sapientiae. The Origins of Greek Philosophy (Peter Smith, Editor. Gloucester, 1971), no capítulo intitulado “Anamnesis”. As fontes primárias são principalmente o Mênon e o Fédon.
[14] Cf. Leo Corry, “Hilbert y su filosofia empirista de la geometria (cit.), pp. 30 -31. Encontra-se ali uma curiosa citação de Dieudonné, um dos formalistas puros que interpretou erroneamente Hilbert e o fez parecer como um apóstolo da arbitrariedade dos axiomas: “Em questões fundacionais, nós cremos na realidade das matemáticas, mas, claro, quando os filósofos começam a nos atacar com seus paradoxos, corremos e escondemo-nos detrás do formalismo e dizemos: a matemática não é mais que uma combinação de símbolos ausentes de significado’... Finalmente eles nos deixam em paz e assim podemos regressar a nossa matemática, trabalhando como sempre o fizemos, quer dizer, como algo real” (Dieudonné, 1970).
[15] Essas “coincidências” são alguns dos fatos mais surpreendentes em nossa disciplina filosófica, que nos permitem ver que ela não consiste em um puro ‘falar por falar’.
[16] The Emperor's New Mind. Penguin Books. Oxford-NY, 1989, pp. 427-429. A tradução é minha. Devo aclarar que, na realidade, Penrose não é platônico mas pitagórico. Ao final de seu livro, com a intenção de deixar o papel de filosofia primeira para a física e não para a matemática, afirma que essas entidades da matemática existem como base do mundo sensível nas dimensões não visíveis deste mesmo mundo. Funde o sensível com o supra-sensível, exatamente como Aristóteles narra que fizeram os pitagóricos, que falaram de umas entidades supra-sensíveis mas apenas para explicar o mundo sensível.
[17] Já citado. Usaremos apenas o volume I. O formalismo de Hilbert e Bernays, não o de H. B. Curry, também sustentava que a origem de toda a aritmética elementar (não das noções de infinitude) e da geometria se encontrava na experiência sensorial. Mas agora não nos deteremos a estudar essa escola da matemática do século XX. Cf. Stephan Körner, op. cit., pp 77 e ss. e 84 e ss, em especial pp. 82 e 86-87.
[18] Op. cit., pp. 1-2.
[19] Ibidem, p. 2.
[20] Ibidem, pp. 2, 22 e 63. Até aqui, Aristóteles e Sto. Tomás subscreveriam todas e cada uma das afirmações dos autores russos. Incluída a de maior grau de abstração que possuem as matemáticas com respeito a qualquer outra ciência. Neste ponto, sei que a interpretação de Maritain é contrária, mas os textos (Metafísica Épsilon 1, e comentário ao De Trinitate de Boécio) me parecem bastante claros. Pode-se ver um comentário ao texto do Aquinate, no mesmo sentido apontado, em Gelonch, Santiago, Separatio y objeto de la metafísica. Tese doutoral apresentada na Facultad de Filosofia y Letras de la Universidad de Navarra. Pamplona, 1996.
[21] O que querem dizer os autores russos não é que se deva confundir uma verdade matemática com um modo concreto de demonstrá-la (faremos esta distinção na última seção), mas que a verdade matemática, como quer que se a demonstre, é necessária e universal. Enquanto uma proposição não tiver sido captada assim, como universal e necessária, não se pode afirmar que se trate de uma verdade matemática.
[22] Ibidem, p.3.
[23] Ibidem, pp. 4-6 e 18.
[24] Os russos dizem século III, talvez porque desconheçam Aristóteles e Platão e se baseiem em Euclides.
[25] Ibidem, pp. 7-16.
[26] Ibidem, p. 10.
[27] Ibidem, p. 17.
[28] Ibidem, pp. 17-18. Reconhecemos aqui um aspecto da biologia de Lysenko: as adaptações ao meio ambiente se transmitem às gerações futuras de um modo lamarckiano? Pode-se ver uma semelhança impressionante entre a filosofia da matemática desses autores soviéticos e a que sugere Saunders MacLane, em seu Mathematics, Form and Function (Springer Verlag. N Y, 1986, p. 448): a matemática seria uma abstração feita em etapas progressivas que encontra como último fundamento as atividades humanas e os fenômenos “reais” (quer dizer, sensíveis). Aristóteles, como veremos, pode resgatar o que existe de verdadeiro nesta abordagem da matemática.
[29] Mathematics: Its Content, Methods, and Meaning (cit.), p. 16.
[30] Ibidem, p. 18.
[31] Ibidem, p. 19.
[32] Ver as magistrais críticas de Leibniz a Locke nos Novos ensaios sobre o entendimento humano.
[33] Como seria se procedessem de uma experiência puramente sensorial, como o sabem claramente Platão (Teeteto) e Kant (em lugar citado na nota seguinte).
[34] Crítica de la Razón Pura. Editorial Losada. Buenos Aires, 1938 (reimpressa múltiplas vezes), p. 160 [p. 20 da segunda edição]. A concepção que tem Hume do intelecto humano, se o houvesse aplicado às matemáticas, teria de supor que suas noções fossem uma vaga imagem, fruto da fantasia, como todas as noções a posteriori de Kant: se os conceitos de espaço e tempo fossem a posteriori, “seriam apenas criação da fantasia cuja verdadeira fonte deve ser buscada na experiência, porque das suas relações abstratas se valeu a fantasia para formar algo que contenha o que de geral existe nela, ainda que não sem as restrições que a natureza lhe impôs”, (op. cit., p. 190, Nº 7 na Seção segunda da Estética Transcendental [p. 57 da segunda edição]).
[35] Abarco sob o nome ‘filosofia primeira a ‘metafísica e a ‘filosofia transcendental’ de Kant. Elas teriam outras funções além da destacada no texto, tais como destruir toda a “ilusão transcendental”. Cf. ibidem., pp. 137 (Prefácio à Segunda Edição, onde se diz que somente a Razão Pura moral, não teórica, se estende para além dos limites da sensibilidade [p. XXV da segunda edição]), 144, nota (Final do Prefácio à Segunda Edição, onde se diz que era um escândalo para a filosofia e para a razão que o idealismo supusesse a existência dos objetos exteriores quando não podia prová-la [pp. XXXIX-XLI da segunda edição]), 148-149 (Introdução, onde se diz que o princípio de causalidade é um a priori e que existem muitos outros princípios semelhantes, como se pode ver na matemática [pp. 4-5 da segunda edição]), 157-159 (Introdução, onde se comparam a matemática, a física e a metafísica no que se refere ao uso feito por elas de juízos sintéticos a priori, e à violação pela última dos limites deste juízo [pp. 14-18 da segunda edição]), 162-163 (onde se mostra o descrédito em que caiu a metafísica [p. 22 da segunda edição]). Note-se, por exemplo, que toda a argumentação dirigida a provar que o tempo é uma forma de nossa intuição interna, a priori, é uma tentativa de salvar “a ciência geral do movimento, que não é pouco fecunda” (cf. Seção Segunda da Estética Transcendental, N- 5 [pp. 48-49 da segunda edição]). Aristóteles, tal como se depreende do capítulo primeiro do Livro Épsilon da Metafísica, já previa o resultado final de uma aventura de filosofia primeira empreendida nessas condições: não se poderá dizer como são as coisas mesmas, porque a disciplina à qual toca investigar ‘o que é’ (a filosofia primeira) é a mesma à qual toca investigar o ‘se é’. A matemática não pode dizer sequer em que sentido o número é, porque não sabe tampouco o que ele é. Algo semelhante ocorre com a física. E que ambas supõem a existência ou constituição de seu objeto, como veremos na seção sobre Aristóteles.
[36] Op. cit., pp. 16 0 -16 1 [pp. 20-21 da segunda edição].
[37] Como dizia Kant na primeira edição da Crítica da Razão Pura: “Se essa representação do Espaço fosse um conceito a posteriori, produto da Experiência geral externa, os primeiros princípios da determinação matemática não seriam mais que percepções. Teriam, pois, toda a acidentalidade da percepção, e não seria necessário que entre dois pontos houvesse apenas uma linha reta, mas seria a Experiência que todo o tempo nos mostraria. O que se toma da Experiência não tem mais que uma universalidade comparativa, a saber: a que pode dar a indução. Poderíamos, pois, dizer apenas que em todo o tempo transcorrido, não se encontrou um Espaço que tenha mais de três dimensões” (Editorial Losada. Buenos Aires, 1938, pp. 176 -177, nota *** da publicação da Segunda Edição da Crítica [p. 24 da primeira edição da Crítica de la razón pura]).
[38] Cf. Crítica da Razão Pura. Estética Transcendental, Seções Primeira e Segunda, Nºs 2-8.
[39] Note-se que agora me refiro aos aspectos da geometria não-euclidiana que não têm a ver com espaços de mais de três dimensões. A estes “espaços” me referi no primeiro capítulo, mostrando que eles só o são em sentido metafórico. Mas agora falamos do espaço em sentido estrito, concebido como não plano’, por exemplo, como curvo. Por outro lado devo aclarar que as geometrias não-euclidianas foram concebidas à margem de experiências concretas por Gauss, Bolyai, Lobatchevsky e Riemann; contudo, não constituíram uma ameaça à metafísica kantiana até que se tivesse mostrado como possível uma experiência do mundo físico que não se organizasse em torno da geometria euclidiana (cf. J. Powers, op. cit., pp. 112-114). Stephan Körner mantém algumas das teses centrais do kantismo, tais como que os conceitos da matemática são exatos e a priori, ainda que rechace haver uma intuição a priori do espaço ou que esse espaço, cuja forma é possuída a priori e que organiza toda a percepção, seja euclidiano. Todavia, ele não fornece explicação alguma dos principais problemas da filosofia da matemática, como, por exemplo, o que permitiria aplicar a matemática à física ou às realidades sensíveis; ou a que realidade responderiam as matemáticas (cf. The Philosophy of Mathematics. An Introductory Essay, cit., pp. 156-186). L. E. Brouwer, o filósofo do intuicionismo matemático, rechaça também o caráter de forma da sensibilidade do espaço euclidiano, mas mantém esse mesmo caráter com respeito ao tempo e pretende que toda a matemática possa ser explicada como conseqüência da intuição introspectiva desta forma (cf. Stephan Körner, op. cit., pp. 1 19 e ss. e 138-142). Honradamente, não sei como se poderia explicar deste modo a aplicação da matemática a tantas realidades quantitativas físicas distintas da dimensão temporal e não relacionadas [diretamente] com ela, nem como poderia ser a geometria um resultado de tal intuição.
[40] Segunda Edição. Fundación Manuel Granell/UNESCO-IESAL/Cátedra UNESCO de Filosofia. Caracas 2000, pp. 24-25 e 270 e ss. Einstein, por sua vez, rechaçou inteiramente a noção kantiana de a priori, em especial quando se aplica ao espaço e ao tempo. Cf. The Meaning of Relativity. Princeton University Press, 1955, p. 2.
[41] Cf. Aleksandrov et al., op. cit., p. 20.
[42] Por exemplo: se a forma ‘triângulo’ se encontra nos eqüiláteros, não está nos isósceles; mas se está parcialmente em ambos os grupos, nenhum de seus indivíduos é plenamente triângulo. Aristóteles diria que Platão confundiu nosso modo de conhecer as coisas com as coisas conhecidas, e, por isso, projetou sobre o mundo (das idéias) umas entidades semelhantes a nossos conceitos. Saunders Mac Lane cita as teses platônicas de muitos matemáticos de nosso tempo, mas somente para rechaçá-las sem argumento algum. Apenas diz que na matemática trabalhamos 'como se’ seus conceitos altamente abstratos fossem reais, para logo dizer que se trata apenas de um “mito”. O único apoio de sua afirmação parece ser o preconceito materialista que ele pressupõe se encontrar na mente de todos seus leitores. Cf. op. cit., pp. 447-449.
[43] Aqui a “indução” é entendida em sentido amplo, como origem de todos os axiomas, incluindo os da matemática.
[44] Não posso reproduzir aqui a polêmica com autores como Jean Marie Le Blond, que enxergam uma contradição no texto dos Analíticos, por dizer que os princípios procedem da experiência e da indução, por um lado, e da “intuição”, por outro. Le Blond deixa clara a influência de Descartes e Kant em sua leitura de Aristóteles. No Estagirita não existe nada como uma “intuição” kantiana das formas a priori. Aristóteles está se referindo, como deixa claro Sto. Tomás em seu comentário, primeiro à origem dos axiomas (experiência e indução), e logo ao hábito a que pertencem (que não é o da “ciência”, mas o do “intelecto”).
[45] Stephan Körner percebeu a necessidade de que em Aristóteles os conceitos matemáticos fossem mais que uma simples “imagem vaga”. Tinham que consistir num tipo de “idealização” das realidades materiais (cf. op. cit., p. 19). Não sabia, no entanto, que precisamente para atender a este problema introduziu Aristóteles o intelecto agente.
[46] Cf., em sentido semelhante, Gottlob Frege, The Foundations of Arithmetic. A Logico-Mathematical Enquiry into the Concept of Number. Northwestern University Press. Evanston, 1968, p. 29.
[47] Cf. Metafísica Alfa (I), e comentário ao De Trinitate de Boécio, q. I, a. 3, ad 4m.
[48] Cf. Ética a Nicômaco VI 8, 1142a.
[49] Cf. Metafísica Épsilon (VI), I.
[50] Como podiam, com efeito, projetar sobre um mundo do qual não tinham experiência intelectiva suas noções mentais? Não havia maneira: a “ponte” se havia partido como conseqüência do nominalismo, em primeiro lugar, e do imanentismo, em seguida, o qual não foi senão como que um agravamento daquele. Temos que acrescentar que a unidade do homem e da ação humana constituem o ponto de partida para abandonar, por absurdo, o nominalismo que pretende expulsar as formas da realidade.
[51] Como se vê, existem conceitos (estas rationes no intelecto possível) somente das formalidades reais. Todavia, existem entia rationis que não são propriamente falando conceitos e, não obstante, possuem ainda fundamento nas coisas. Tais são, por exemplo, as negações.
[52] Summa contra Gentes. Livro II, Capítulo 75.
[53] Apenas o metafísico e o dialético estendem sua investigação para mais além de um gênero sujeito particular para serem capazes de investigar acerca das definições pelo método adequado da divisão (cf. comentário de Sto. Tomás à Metafísica Épsilon 1, 1025b14-16. Aristóteles segue Platão nisto, mas, diferentemente do ateniense, já distingue nitidamente entre a dialética e a filosofia primeira).
[54] Assim, por exemplo, um aritmético pode realizar demonstrações impressionantes acerca dos números, mas não pertence a seu hábito de pensamento responder o que é o número. E, sem esta resposta, não se pode dizer em que sentido existe. Se o aritmético respondesse, não o faria enquanto aritmético, mas enquanto homem ou metafísico.
[55] Metafísica Épsilon (VI) 1, 1025b718, e o comentário de Sto. Tomás.
[56] Cf. Philosophy of Arithmetic. Kluwer Academic Publishers. Boston, 2003, pp. 17-18 e 37, por exemplo.
[57] Cf. Philosophy of Arithmetic. Volume I, Parte I, capítulo 2, pp. 55-65 e Capítulo 3, pp. 68-69. Não me parece que Husserl seja de todo justo com os autores que critica nas páginas 49 e ss. do Capítulo 2, Jevons, Sigwart e Schuppe, mas agora não me posso desviar e explicar por quê. Estes se aproximam muito de Platão (provavelmente sem sabê-lo) e talvez não estejam falando de “representações” (como Husserl supõe que se deva fazer), mas de coisas.
[58] Cf. Philosophy of Arithmetic. Volume I, Parte I, Capítulo 4, pp. 80-85.
[59] Cf. Philosophy of Arithmetic. Volume I, Parte I, Capítulo 3, pp. 75-78, e pp. 89, 96.
[60] Cf. Philosophy of Arithmetic. Volume I, Parte I, Capítulo 4, pp. 87-89.
[61] Cf. Philosophy of Arithmetic, pp. 14 e 89.
[62] Cf. Philosophy of Arithmetic. Volume I, Parte I, Capítulo 5, pp. 99-100.
[63] Fédon, 96-102.
[64] O “uno” se via como real, mas sua realidade deu muito o que pensar a Platão. Agora não podemos considerar este problema. Planejamos fazê-lo em um comentário ao Fédon, 96-102.
[65] Cf. Metafísica Iota.
[66] Daí que se possa dizer que o um e o número ou a multiplicidade sejam “sensíveis comuns”. Husserl critica este ponto, como se implicasse que o objeto da matemática pudesse ser percebido pelos sentidos, mas obviamente isto não é o que quis dizer Aristóteles (cf. Philosophy of Arithmetic, p. 89). Em sua própria obra se pode encontrar, em citação de W. Brix, a experiência que se encontra por trás da observação do Estagirita: “Até os patos contam suas crias” (cf. Philosophy of Arithmetic, p. 49).
[67] Husserl faz uma observação marginal da qual se pode concluir que ele provavelmente estaria de acordo com Aristóteles neste ponto: o número tal como empregado nas sociedades “primitivas” se referia apenas a objetos espaciais, mas em sociedades mais “avançadas” foi expandido a outros objetos por transferência metafórica. Cf. Philosophy of Arithmetic, p.45.
[68] Cf. Metafísica Iota 10.
[69] Husserl alude a esse problema, mas não o explora em Philosophy of Arithmetic, p. 98: para comparar, se necessita mais ou menos que as quantidades comparadas sejam do mesmo gênero. Husserl acrescenta que bastaria que encerrassem “unidades” no sentido antes mencionado.
[70] Com o Husserl aponta, procurar números no espaço seria tão absurdo como procurar juízos ou atos de vontade. Cf. Philosophy of Arithmetic, p. 47.
[71] Uma amiga matemática, a professora Mercedes Rosas (USB, Caracas), uma vez me objetou que o conjunto dos números naturais não é um subconjunto dos números reais, e que, por isso, é possível que os números naturais sejam nada mais que uma espécie de conjunto mental das coisas do mesmo gênero. Para os números naturais, portanto, o argumento relativo à indivisibilidade das substâncias não teria força, ainda que o relativo às qualidades, sim.
[72] Op. cit., p. 18.
[73] Op. cit., pp. 27 e ss.
[74] Cf. The Foundations of Arithmetic. A Logico-Mathematical Enquiry into the Concept of Number. Northwestern University Press, Evanston. Illinois, 1968, § 19.
[75] Cf. The Foundations of Arithmetic, §§ 48,7 i e ss., 87-91.
[76] Frege é explícito em The Foundations of Arithmetic, §70.
[77] Cf. The Foundations of Arithmetic, § 48.
[78] Cf. The Foundations of Arithmetic, § 3, nota.
[79] Cf. The Foundations of Arithmetic, § 8.
[80] Cf. The Foundations of Arithmetic, § 9.
[81] Cf. The Foundations of Arithmetic, §§ 13 e 88.
[82] Cf., em sentido semelhante, Rogelio Rovira, “Son válidas las razones por las que Kant afirma que $7 + 5 = 12$ es um juicio sintético?”, p. 838, em: Anuario Filosófico. Universidad de Navarra, Pamplona, 2004, Volume XXXVII/3, pp. 825-839.
[83] Cf. The Philosophy of Mathematics. An Introductory Essay (cit.), pp. 20-21 e 30.
[84] Op. cit., p. 62.
[85] Cf. op. cit., p. 80.
[86] Cf. op. cit., pp. 187-190.
[87] Cf. op. cit., pp. III e ss., 146 e ss., por exemplo.
[88] Indiscrete Thoughts. Birkhäuser. Boston, Basel, Berlim, pp. 89 e ss.
[89] Cf. op. cit., pp. 89-90.
[90] Cf. Metafísica Épsilon I, 1025b10-13, e o comentário de Sto. Tomás a este trecho.
[91] Alianza Editorial. Madri, 1993, Vol. II, p. 288.
[92] Cf. op. cit.y pp. 426-429.
[93] Em sentido semelhante, cf. Mathematics: Its Content, Methods, and Meaning (cit.), p. 54. Também Hilbert se pronunciou de modo semelhante, em curso ditado em 1905 acerca da axiomatização da física: “O edifício da ciência não se constrói como uma habitação, na qual tem-se primeiro que estabelecer as fundações firmes para depois poder levantar e alargar os aposentos. A ciência prefere fazer o quanto antes confortáveis espaços por onde se possa passear com folga, e é somente depois, quando os primeiros sinais aparecem aqui e ali, que as instáveis fundações não são capazes de sustentar a expansão dos dormitórios, que ela se dispõe a repará-los e fortificá-los. Isto não é sinal de debilidade, mas, outrossim, é a via correta para seu bom desenvolvimento” (citado por Leo Corry, “Hilbert y su filosofia empirista de la geometria”, cit., p. 41).
***
Artigo retirado do apêndice I do livro Física e Realidade - Reflexões metafísicas sobre a ciência natural, Vide Editorial, 2013. Sobre o autor: Carlos Augusto Casanova nasceu em Caracas em 1966. Formou-se advogado em 1988 na Universidad Católica Andrés Bello. Doutor em filosofia (1995) pela Universidad de Navarra, tornou-se professor de Filosofia da Universidade Simón Bolívar, mas teve que abandonar a Venezuela por razões políticas. Foi Visiting Scholar na Boston University e Senior Research Associate no Maritain Center da Notre Dame University. Foi diretor da Academia Internacional de Filosofia do Principado de Liechtenstein. Atualmente é professor da Faculdade de Direito da Pontificia Universidad Católica de Chile e da Universidad Bernardo O'Higgins. Publicou vários livros, entre eles: Verdad escatológica y acción intramundana. La teoría política de Eric Voegelin (1997); Racionalidad y justicia. Encrucijadas políticas y culturales (2004); El ser, Dios y la ciencia según Aristóteles (2007); El hombre, frontera entre lo inteligible y lo sensible (2010).
Fonte da imagem inicial link.
Curta nossa página no Facebook Summa Mathematicae. Nossa página no Instagram.
