Abstracta 1:1 pp.

52 67, 2004

UMA RECEPO DA TEORIA KANTIANA DOS CONCEITOS Jaqueline Engelmann1

Sem se darem conta [os filsofos], no entanto, passam do campo da sensibilidade para o terreno inseguro dos conceitos puros e mesmo transcendentais, cuja base (instabilis tellus, innabilis unda), no lhes permite nem ficar de p nem nadar, e onde s possvel dar passos fortuitos dos quais o tempo no guarda nem os mais leves vestgios; ao contrrio disto, a sua caminhada na Matemtica abre uma estrada ampla que ainda a mais remota posteridade pode trilhar confiantemente. (I. Kant)

A busca de Kant pelas caractersticas essenciais da razo humana tem a pretenso ltima de delinear o caminho pelo qual atinge-se o conhecimento. S possvel falar de conhecimento aps a formulao deste por meio de um juzo. Pensar sobre determinado assunto no ainda conhec-lo. Tal pensamento, para que seja considerado conhecimento, deve ser antes de tudo formulado atravs de um juzo o qual , por sua vez, atribudo faculdade do entendimento, contraposta sensibilidade. A sensibilidade a faculdade das intuies, que podem ser tanto puras quanto empricas. J do entendimento procedem os conceitos que so, tambm, puros ou empricos. A verdade dos juzos que no consistem em meras elucidaes conceituais s possvel a partir da unio do sensvel e do intelectual, ou seja, faz-se necessrio acrescentar intuies a conceitos. As duas formas puras da intuio sensvel, espao e tempo, so inerentes ao homem; portanto, a priori. J a matria objeto da sensao, da intuio emprica conhecida a posteriori. A funo do entendimento determinar de modo mediato, atravs de conceitos, aquilo que dado na intuio. A sensibilidade, por sua vez, tem como meio a receptividade das impresses, pressupondo sempre uma afeco. Deste modo, as caractersticas essenciais da

Jaqueline Engelmann Uma Recepo da Teoria Kantiana dos Conceitos

53

intuio so imediatez e singularidade, enquanto que as do conceito so mediatez e universalidade. Estas distines no somente so importantes para a teoria geral do conhecimento de Kant seno tambm para a sua teoria do conhecimento matemtico. Mas o que significa atribuir tais notas aos conceitos e s intuies? Uma intuio imediata porque se refere a um objeto atravs das caractersticas que somente ele possui, como bem lembra Thompson2 e singular pelo fato de que, enquanto representao, o somente de um objeto individuado, segundo Parsons.3 O oposto ocorre no caso dos conceitos. A mediaticidade refere-se s caractersticas partilhadas entre os objetos e tal caracterizao, por sua vez, deve ser vlida universalmente. As interpretaes de Parsons e Hintikka4 so bem compiladas por Thompson, ao menos no que diz respeito s notas caractersticas da intuio. Parsons atribui o mesmo peso para as duas caractersticas - singularidade e imediatez. J Hintikka trata de subsumir a imediaticidade singularidade, ou seja, v a ltima como condio da primeira. Conforme Hintikka, o significado do termo Anschauung (intuio) tem conexo direta com o sensvel uma vez que procede do verbo schauen que traduzido como olhar, mas isto no motivo suficiente para estabelecer tal conexo. Com efeito, segundo Hintikka, o conceito de intuio no sculo XVII no implicava necessariamente uma conexo com a sensibilidade. Assim, Anschauung tida como uma representao imediata de um objeto e, enquanto tal, o objeto referido necessariamente um. Deste modo, o que importa destacar que o sujeito afetado pela percepo de um objeto singular e, inevitavelmente, tal percepo deve ser imediata, desde que a conexo entre intuio e sensibilidade seja estabelecida.

1 2

Doutoranda em Filosofia na PUC-Rio THOMPSON, 1972, p. 315 3 PARSONS, 1971, p. 14 4 HINTIKKA, 1969.

Jaqueline Engelmann Uma Recepo da Teoria Kantiana dos Conceitos

54

O ponto de vista acima descrito criticado por Parsons. Singularidade e imediatez esto no mesmo plano: o objeto da intuio algo diretamente dado mente e este algo no mais do que um objeto singular. Mesmo que Thompson apresente uma tendncia em concordar com Parsons, seu propsito no decidir qual das duas interpretaes est correta. Sua inteno , antes, buscar a conexo entre os juzos empricos descritos por Kant e a intuio. Todavia, nossa exposio no tem o mesmo enfoque. Pretendemos analisar o que Kant entende por intuio para, a partir da, buscar uma eventual relao com o sentido atribudo por Poincar a tal termo. Esta tarefa conduzir-nos- s demais similitudes e diferenas entre as concepes de Poincar e Kant. Uma vez descritos quais so os elementos que Kant considera primordiais para o conhecimento, resta ainda perguntar-se pelo propsito geral da tese kantiana, encontrada na Crtica da Razo Pura. A pergunta que perfaz o corpo de tal obra pela possibilidade de juzos sintticos a priori. A caracterstica essencial de tais proposies que somente atravs delas o conhecimento ampliativo alcana a apoditicidade: a intuio pura, sendo elemento fundador das proposies sintticas a priori, uma das garantias da validade universal. Lembremos que na concepo de Kant os juzos apresentam-se apenas sob a forma sujeito/predicado. Assim, um juzo analtico quando o predicado est contido no sujeito; caso contrrio sinttico. Para nosso propsito, o essencial deter-se no que deriva desta caracterizao. Se o juzo analtico no alcanamos, atravs dele, mais do que uma elucidao. Do contrrio, podemos almejar uma ampliao do conhecimento. Nas palavras de Kant:

No primeiro caso denomino o juzo analtico, no outro sinttico. Juzos analticos (os afirmativos) so, portanto, aqueles em que a conexo do predicado com o sujeito for pensada por identidade; aqueles, porm, em que essa conexo for pensada sem identidade, devem denominar-se juzos sintticos. Os primeiros poderiam tambm se denominar juzos de elucidao e os outros juzos de ampliao. (KANT, 1996, p.58, A11)

Jaqueline Engelmann Uma Recepo da Teoria Kantiana dos Conceitos

55

Com respeito possibilidade de juzos sintticos a priori, Kant no foi ingnuo a ponto de acreditar que sua proposta seria aceita sem crticas e afirmou:

Estamos realmente de posse de conhecimentos sintticos a priori, tal qual o evidenciam os princpios do entendimento que antecipam a experincia. Se algum no consegue absolutamente compreender a possibilidade destes princpios, ento pode de incio duvidar que nos sejam inerentes realmente a priori; mas no pode apresentar isto como uma impossibilidade de atingi-los mediante as simples foras do entendimento, nem declarar nulos todos os passos que a razo d guiada pelos mesmos. (KANT, 1996, p.456, A790)

Proposies sintticas a priori distinguem-se de proposies analticas principalmente pelo fato de que as ltimas realizam somente uma anlise de conceitos dados; e distinguem-se das sintticas a posteriori pela universalidade irrestrita que estas ltimas no possuem. Mas h um problema que percorre o sculo XVIII e que a concepo de Kant est obrigada a responder: qual a diferena entre as proposies da matemtica e da filosofia? Na segunda parte da Crtica da Razo Pura, a Doutrina Transcendental do Mtodo, encontramos a distino entre a filosofia e a matemtica. Tal distino tem por objetivo frisar o mbito metodolgico que separa as duas. Segundo Kant, o melhor modo de explicar o mtodo do proceder filosfico opondo-o ao mtodo matemtico. A filosofia procede por anlise de conceitos dados. J na matemtica no h nada que possa ser considerado prvio ao proceder do matemtico. Este o que necessita criar seus conceitos, ou melhor, na matemtica os conceitos so construdos. Conforme Kant, construir um conceito significa apresentar a priori a intuio que lhe corresponde (KANT, 1996, p.430, A741). Em particular, Kant distingue entre construo ostensiva e construo simblica. A construo ostensiva prpria da geometria. O gemetra o que faz representar no papel um

Jaqueline Engelmann Uma Recepo da Teoria Kantiana dos Conceitos

56

tringulo. Este, por ser intuio, uma representao singular (um objeto, se assim podemos falar). Deste modo, o particular tringulo pode ser considerado como representao do conceito geral de tringulo.5 Afirma Kant:

Todavia, a Matemtica no constri s quantidades (quanta), como na geometria, mas tambm a pura quantidade (quantitatem), como na lgebra; neste caso, abstrai completamente da natureza do objeto que deve ser pensado segundo um tal conceito de quantidade. Ento escolhe uma certa notao para todas as construes de quantidades em geral (nmeros, tais como a adio, subtrao, etc), extrao de razes, e aps tambm ter adotado uma notao para o conceito geral das quantidades segundo as relaes diversas das mesmas, segundo certas regras universais apresenta na intuio todas as operaes produzidas e modificadas pela quantidade. Onde uma quantidade deve ser dividida por outra, a Matemtica compe os caracteres referentes a ambas segundo a forma designadora de diviso, e assim por diante. Assim como a geometria o consegue por intermdio de uma construo ostensiva ou geomtrica (dos prprios objetos), atravs de uma construo simblica a Matemtica atinge paragens jamais acessveis ao conhecimento discursivo mediante simples conceitos. (KANT, 1996, p.432, A745).

Se o conhecimento discursivo, mediante conceitos, o conhecimento prprio da filosofia, o conhecimento construtivo o que caracteriza a matemtica:

(...) tentamos tornar clara a grande diferena entre os dois usos da razo, a saber, o discursivo segundo conceitos e o intuitivo mediante a construo de conceitos (KANT, 1996, p.433, A747).

Como j foi dito, se possvel construir um conceito porque este necessita, antes, atrelar-se a uma intuio pura. O aspecto que aqui nos interessa o seguinte: o conceito, para ser construdo, necessita ser apresentado em uma intuio a priori. Na filosofia tal procedimento no possvel. Ora, se da sensibilidade provm as intuies e do entendimento os conceitos no h como, em conformidade com a concepo kantiana, afirmar a existncia de uma intuio do tipo intelectual, tal como defendia Descartes. Intuies e conceitos pertencem a faculdades distintas
5

H uma certa ambigidade nesta caracterizao: como possvel que a partir da representao de um tringulo, enquanto objeto singular, se possa obter, tambm, uma representao universal de todos os tringulos? Esta uma

Jaqueline Engelmann Uma Recepo da Teoria Kantiana dos Conceitos

57

que, quando conjugadas, produzem conhecimento. Na Esttica Transcendental, a justificativa de Kant encontra-se em termos de uma intuitus derivativus em oposio a uma intuitus originarius. Kant afirma:

... no obstante essa validade universal, nem por isso cessa de ser sensibilidade, justamente por ser derivada (intuitus derivativus) e no originria (intuitus originarius), no sendo portanto intuio intelectual (KANT, 1996, p.89, A72).

A intuio que deriva da sensibilidade a nica capaz de oferecer validade universal. Assim, a existncia de juzos sintticos a priori s possvel devido intuio pura. Agora, se bvia a referncia a Kant por parte de Poincar em relao defesa de tais juzos, ao menos no que diz respeito aritmtica, o mesmo no se d no mbito da noo de intuio que deveria fundament-los. Com efeito, a ramificao da noo de intuio de Poincar bastante vasta. Por vezes, no pode ser dissociada de uma espcie de evidncia, principalmente quando Poincar pretende apresentar o tratamento das questes matemticas como distinto, dependendo de procedimentos opostos por parte do analista ou do gemetra. Mas h algo, tambm, como uma intuio emprica, fundamentada nos sentidos e outra advinda da imaginao. No entanto, pretendemos enfocar aquela intuio que Poincar enfatiza e a qual denomina intuio do nmero puro. O que Poincar chama intuir o nmero puro pode se r compreendido atravs do apelo ao princpio de induo. A induo matemtica o princpio gerador dos nmeros e tal procedimento considerado, por isso, construtivo. O princpio de induo, enquanto forma de raciocnio , por sua vez, tambm um produto da intuio. Por

questo de ampla discusso atualmente. Todavia, no pretendemos analis-la aqui uma vez que est longe de ser um problema elementar e, portanto, necessitaria uma anlise bastante apurada.

Jaqueline Engelmann Uma Recepo da Teoria Kantiana dos Conceitos

58

conseguinte, intuir o nmero puro no mais do que ter a intuio de que tal procedimento de construo possvel. Deste modo, se constri a seqncia dos nmeros naturais. Inicialmente no h nada que permita afirmar que Poincar tenha rejeitado uma intuio de tipo cartesiana.6 Poincar jamais se mostrou adepto da tese kantiana a qual separa, nitidamente, intuies e conceitos. Se em Kant no possvel a intuio de um conceito, o mesmo no se pode afirmar em relao a Poincar. Inclusive, distanciando-se do mbito da aritmtica e voltando-nos, agora, para a geometria, parece que nela possvel encontrar uma espcie de intuio intelectual. Os conceitos geomtricos de ponto e linha, por exemplo, advm de uma espcie de intuio. Poincar afirma que os axiomas geomtricos so definies disfaradas, devido ao carter convencional da cincia em questo, mas tais definies so produto da intuio. Em resumo, Poincar, assim como Kant, considera que a aritmtica desenvolve-se atravs da sntese a priori de proposies. Todavia, Poincar reserva intuio um papel mais abrangente: ela pode ser de carter sensvel mas pode, tambm, ser o fundamento de definies e demonstraes matemticas e, sob este vis, aproxima-se de uma espcie de intuio intelectual. Se no bastasse, a intuio ainda o que fundamenta as regras da lgica formal. No tocante lgica, Poincar afirma ser esta uma cincia estril no sentido de que procede analiticamente e, proceder analiticamente , para Poincar, analisar um determinado raciocnio sem que a partir de tal ato seja possvel encontrar verdades novas. Segundo Poincar, a lgica o que faz manipular signos destitudos de significado e, neste parecer, aproxima-se muito de Kant. Para Kant, a lgica geral no apresenta nenhuma preocupao com o contedo do conhecimento, mas apenas com a forma do pensamento.

Isto permitiria justificar a aproximao intuio de cunho fenomenolgico que Silva prope (SILVA, 1996).

Jaqueline Engelmann Uma Recepo da Teoria Kantiana dos Conceitos

59

Deste modo, Kant e Poincar podem ser considerados crticos do logicismo, tomado aqui em seu sentido mais amplo. Kant recusa o logicismo de Leibniz e Poincar rejeita o programa logicista conforme exposto por Russell. A posio de ambos Kant e Poincar est voltada para o carter finito do pensamento humano e, como tal, no podem admitir a pretensa universalidade que a lgica recebe daqueles que defendem sua supremacia. Andras Raggio, em seu sucinto, porm brilhante artigo Consideraciones sobre la Concepcion Kantiana de la Lgica Formal, afirma tacitamente:

Son bien conocidas las circunstancias que llevaron a Kant a criticar la omnipotencia de la lgica en el sistema filosfico de Leibniz-Wolff. Evidentemente la finitud del sujeto humano es incompatible con la existencia de un reino de entes lgicos accesibles ilimitadamente y cognoscibles exhaustivamente mediante una intuicin intelectual (RAGGIO, s/d, p.37)

Nem Poincar nem Kant aceitam o reducionismo da matemtica lgica principalmente porque defendem o procedimento peculiar da matemtica, como uma cincia criativa. Analisemos uma passagem na qual Kant defende tal posio:

Por isso, um rganon das cincias no uma mera Lgica, porque ele pressupe o conhecimento exato das cincias, de seus objetos e de suas fontes. Assim, por exemplo, a Matemtica um excelente rganon enquanto cincia contendo a base para a extenso de nosso conhecimento relativamente a um certo uso da razo. A Lgica, ao contrrio, no podendo, enquanto propedutica geral de todo uso do entendimento e da razo em geral, adentrar as cincias e antecipar a matria destas, to somente uma arte geral da razo (canonica Epicuri) destinada a tornar os conhecimentos em geral conformes forma do entendimento e s nesta medida, pois, deve se chamar um rganon, servindo, porm, verdade, no para a extenso, mas apenas para a avaliao e retificao de nosso conhecimento (KANT, 1992, p.31, A5).

O rigor da cincia matemtica provm, segundo Kant, do fato de que ela possui axiomas que, por sua vez, so sintticos a priori. Estes princpios intuitivos podem, perfeitamente, dispensar a deduo:

Jaqueline Engelmann Uma Recepo da Teoria Kantiana dos Conceitos

60

Princpios discursivos [da filosofia], pois, diferem totalmente de princpios intuitivos [da matemtica], ou seja, de axiomas; aqueles exigem sempre uma deduo, ao passo que os ltimos podem perfeitamente dispensa-la (KANT, 1996, p.441, A761).

Poincar, por sua vez, afirma que a matemtica tem somente aparncia de cincia dedutiva. O processo dedutivo, prprio da lgica, essencial para a verificao das proposies da matemtica. Contudo, a verdadeira demonstrao se faz atravs do princpio de induo. Dentre outras, so estas algumas das aproximaes que podem ser feitas entre Poincar e Kant. Porm, as diferenas salientadas nos parecem suficientes para sugerir que o uso por parte de Poincar dos termos kantianos sinttico a priori e intuio no parece ir muito alm de uma coincidncia terminolgica. No entanto, em relao noo kantiana de construo de conceitos acreditamos que podemos encontrar em Poincar idias prximas quelas de Kant, se no literalmente ao menos em esprito. Em particular, porque neste contexto o conceito de intuio de Poincar se restringe na direo da individualidade, prpria do conceito kantiano de intuio. A defesa do predicativismo, por parte de Poincar, no pode ser vista meramente como uma restrio que permite eliminar os paradoxos. Se pretendemos defender tal idia porque ela encontra apoio, pelo menos, em trs intrpretes da fundamentao da matemtica de Poincar. Heinzmann7 defende a relao entre predicativismo e pragmatismo, Raggio8 concebe o predicativismo como sendo a expanso da teoria kantiana dos conceitos e Silva9 atrela a restrio predicativista teoria do significado. Trataremos de analisar as trs posies que, possivelmente, no excluem uma outra. Iniciemos pela exposio de Heinzmann. Nela encontramos a insistncia no fato de que a teoria

7 8

HEINZMANN, 1985. RAGGIO, 1978. 9 SILVA, 1989.

Jaqueline Engelmann Uma Recepo da Teoria Kantiana dos Conceitos

61

predicativista de Poincar est intimamente relacionada com seu pragmatismo10 filosfico. Nas palavras de Heinzmann:

Introduite lorigine pour viter les antinomies de la thorie des ensembles, la prdicativit devient bientt le concept-clef du pragmatisme philosophique de Poincar. Dans la suite de ce dveloppement, les antinomies ne jouent quun rle indicatif des difficults quentrane une comprhension raliste des objets mathmatiques qui fait abstraction de la mthode selon laquelle ces objets sont donns. Cette critique va jusqu stipuler que mme une matrise parfaite du point de vue technique, cest--dire en premier lieu la dmontrabilit de non-contradiction, ne changerait rien lincapacit de principe du ralisme dexpliquer le sens dun thorme. (HEINZMANN, 1985, p.77)

Esta passagem ilustra, tambm, a insistncia de Poincar em responsabilizar, pelo surgimento das antinomias, o realismo de cunho platnico, o qual considera os objetos matemticos como dados e no construdos. Deste modo, o predicativismo, muito antes de ser considerado uma soluo para os paradoxos, deve ser pensado como resultado do pragmatismo filosfico que aceita somente objetos construdos a partir de uma regra. Tal concepo compatvel com a teoria kantiana segundo a qual os conceitos matemticos no so dados, do modo como so os da filosofia, mas construdos. Porm, h um certo progresso a ser apontado na concepo de Poincar quando comparada com a de Kant. A clebre frase de Kant construir um conceito apresentar a priori a intuio que lhe corresponde (KANT, 1996, p. 430, A741) no indica um critrio de construtibilidade. Afinal, em que sentido um matemtico poderia tomar tal expresso apresentar uma intuio a priori? Acreditamos que a resposta a esta questo surge quando levamos em considerao a posio de Raggio, quem considera a restrio predicativista a extenso da teoria kantiana dos conceitos. Talvez no alcancemos o verdadeiro sentido que Raggio pretendeu dar a tal afirmao,

10

Pragmatismo entendido aqui enquanto oposto ao platonismo, ou seja, a posio pragmtica de Poincar a de que os objetos da matemtica so gerados atravs de uma regra de construo e, portanto, no existem antes de serem construdos.

Jaqueline Engelmann Uma Recepo da Teoria Kantiana dos Conceitos

62

de carter um tanto epigramtico.11 Contudo, partiremos do pressuposto de que a predicatividade de Poincar vem ao encontro da proposta kantiana, como sendo um critrio de construtibilidade que faltava a esta ltima. Raggio considera que a teoria da construo dos conceitos merece destaque quando se pretende compreender a concepo de Kant em relao matemtica. Ora, de conhecimento geral que a distino entre juzos analticos e sintticos recebeu, em toda histria da filosofia posterior a Kant, um enfoque merecido. Contudo, de valor demasiado, diria Raggio. Segundo Raggio, esta distino perifrica se a compararmos com a distino entre o que construtivo e o que no . 12 Conforme Raggio, Poincar realizou a verdadeira recepo do pensamento kantiano, no no que diz respeito obscura acepo da noo de intuio, nem tampouco no tocante sntese a priori. Tal recepo diz respeito, antes, construo dos conceitos matemticos. As definies predicativas podem ser consideradas o critrio ltimo da teoria construtiva. Estas dependem, claro, da demonstrabilidade da ausncia de contradio e, ainda, da definio em um nmero finito de palavras. Todavia, para que a construo seja efetivada, faz-se necessrio definir predicativamente. Colocando como foco principal a teoria kantiana da construo dos conceitos, Raggio apresenta a conexo desta com a concepo predicativista de Poincar. Nossa motivao originou-se do seguinte enunciado de Raggio:

Como es sabido, pero no lo suficiente, su teora de las definiciones predicativas es la extensin natural de la nocin kantiana de construccin matemtica al mbito de la abstraccin conceptual... (RAGGIO, 1978, p.9).

11

Seguimos aqui uma sugesto contida em Construo de Conceitos em Kant e Poincar, Lassalle Casanave (no prelo).

Jaqueline Engelmann Uma Recepo da Teoria Kantiana dos Conceitos

63

Pois bem, a predicatividade justamente o critrio que falta teoria dos conceitos de Kant. Construir um conceito exibir a priori a intuio que lhe corresponde, afirma Kant. Mais do que isto, os conceitos matemticos no podem ser simplesmente analisados. Eles so formados atravs de um processo de sntese, o qual permite uma ampliao do conhecimento. A teoria das definies predicativas de Poincar parte do pressuposto j presente em Kant, a saber, os conceitos e raciocnios matemticos no so analisados mas so resultados de sntese por construo. No entanto, a sntese arbitrria e a exibio a priori na intuio, em Kant, no podem ser considerados critrios de construo. O critrio formal que falta tese kantiana oferecido por Poincar. Trata-se de apresentar definies efetuadas de modo no circular, isto , segundo Poincar, predicativas. No caso das definies circulares ou no-predicativas, afora a questo de (algumas delas) gerarem paradoxos pelo fato de que definem uma entidade em funo de uma totalidade que a engloba no acrescentam nada novo. Somente definies predicativas so construtivas pelo fato de que, atravs do definiens, obtemos uma explicao sobre o definiendum. As definies da matemtica so desta natureza. Consequentemente, a matemtica uma cincia criativa, ou construtiva, conforme Poincar. No entanto, mesmo que Kant no dispunha de um critrio formal, a exemplo de Poincar, encontra-se presente em sua exposio um mtodo adequado de definir em matemtica. Uma definio pode ser feita, ou por abstrao ou por sntese arbitrria de conceitos. No primeiro caso, o conceito dado de modo indeterminado. O procedimento, neste caso, restringe-se a uma anlise que visa apresentar uma idia mais clara do conceito. Esta a tarefa do filsofo. O que ele faz expor e descrever conceitos. Tal modo de definir serve apenas para distinguir um objeto de outro explicitando o nome de cada um. denominada, portanto, definio nominal.
12

RAGGIO, 1978, p.9.

Jaqueline Engelmann Uma Recepo da Teoria Kantiana dos Conceitos

64

J no caso da definio realizada por ligao arbitrria de conceitos, no se parte de um conceito anterior definio. Esta resultado da sntese e suficiente para o conhecimento do objeto e no apenas para distingui-lo de outro. Por isso chamada definio real, a qual s possvel no caso da matemtica. Em resumo, para Kant d efinir apresentar originariamente, dentro de seus limites, o conceito minucioso de uma coisa (KANT, 1996, p.438, A756). Originariamente no tem outro significado do que apresentar as notas no derivadas de um conceito; dentro de seus limites quer di zer com preciso suficiente para poder ser considerada uma definio real, ou seja, com a qual nenhuma nota caracterstica deixada de lado e tais notas necessitam apresentar-se de modo suficiente e claro. Assim, obtm-se o conceito minucioso de uma coisa. O filsofo, no entanto, por tratar com conceitos in abstrato, no tem a possibilidade de definir de modo rigoroso, assim como faz o matemtico. Este o que faz no descrever um conceito que ele j possui: parte de sua tarefa construir seus conceitos atravs de definies. Postura semelhante em relao matemtica tem Poincar. S existe aquilo que foi definido. Contudo, h uma exigncia a mais, a saber, ser definido de modo adequado, no realizando a mera substituio do definiendum pelo definiens. Quando a definio feita somente por substituio de um termo por outro ela , simplesmente, trivial. Ora, uma vez que uma definio impredicativa essencialmente circular, ou seja, na tentativa de eliminar o termo definido acabamos sempre por reintroduzi-lo e este procedimento segue a uma regresso infinita, no possvel alcanar assim uma identidade em um nmero finito de passos. Tais identidades so justamente o que Poincar entende como sendo suscetveis de um processo verificacionista. S pode ser verificada aquela assero que pode ser reduzida a uma identidade. Este o critrio bsico para falar de significado em matemtica, ou seja, s tem significado o que pode ser verificado. isto o que, segundo Silva, permite afirmar que a restrio predicativista est intimamente entrelaada com uma teoria do significado em Poincar.

Jaqueline Engelmann Uma Recepo da Teoria Kantiana dos Conceitos

65

Definindo impredicativamente jamais alcanaremos, em um nmero finito de passos, uma proposio verificvel substituindo o termo impredicativamente definido. Logo, definies impredicativas so destitudas de significado. Portanto, a teoria predicativista de Poincar mais do que uma mera tentativa de solucionar os paradoxos. Mas uma verificao no uma demonstrao, acrescenta Poincar. A verificao utilizada no caso de instncias particulares. Ela essencialmente analtica e, portanto, redutvel a uma tautologia. Uma demonstrao, por sua vez, ... a sntese de todas as verificaes (SILVA, 1989, p.18). Contudo, no claro que os textos de Poincar apresentem, antes de tudo, uma teoria do significado. O que queremos enfatizar o fato de que no possvel afirmar taxativamente que o predicativismo de Poincar possa ser entendido fundamentalmente em termos de uma teoria (mais ou menos) verificacionista de significado. Neste ponto, nos inclinamos posio de Heinzmann, quem pretende mostrar que a restrio predicativista reflete um tipo muito particular de conexo entre construo e linguagem. Segundo Heinzmann (...) langage et construction sont pour le pragmatiste deu x elements non dissociables. (HEINZMANN, 1985, p.24). Do que se trataria, ento, no tanto de uma teoria do significado, que pressuporia a primazia da linguagem, seno de uma concepo para a qual os atos lingsticos e os atos mentais se encontram entrelaados de forma tal que no se pode privilegiar um em detrimento do outro. De qualquer maneira, como bem disse Heinzmann: ... cette faon de voir dpasse ls textes explicites... (HEINZMANN, 1985, p.24). Porm, acreditamos que h pontos de convergncia entre as posies que procuramos expor nesta seo. As interpretaes de Heinzmann, Raggio e Silva, antes de serem excludentes, podem ser consideradas complementares, enfatizando aspectos diferentes, ora aspectos lingsticos, ora aspectos objetuais da construo.

Jaqueline Engelmann Uma Recepo da Teoria Kantiana dos Conceitos

66

Bibliografia Consultada:

BECK, L.W. Kants Theory of Definition. Philosophical Review, 65, 1956, pp. 23-36.

CAPOZZI, M. Kant on Mathematical Definition. Maria Luisa Dalla Chiara (ed.) Italian Studies in the Philosophy of Science, pp.423-452.

COUTURAT, L. La Filosofa de las Matemticas en Kant. Trad. Miguel Bueno. Mxico: Universidad Nacional Autnoma de Mxico, 1960.

HEINZMANN, G. Entre Intuition et Analyse. Poincar et le concept de prdicativit. Paris: Albert Blanchard, 1985.

HINTIKKA, J. On Kants Notion of Intuition (Anschauung). The First Critique: Reflections on Kants Critique of Pure Reason. Penelhum, T. y MacIntosh, J. (eds.), Belmont (CA), Wadsworth, 1969.

LASSALLE CASANAVE, A. Construo de Conceitos em Kant e Poincar. In A. Lassalle Casanave (org.): Intuio, Conceito e Idia (no prelo).

PARSONS, C. Kants Philosophy of Arithmetic. From Morgenbesser, Suppes and White (eds.). Philosophy Science and Method. Essays in Honour of Ernest Nagel. London and New York:

Jaqueline Engelmann Uma Recepo da Teoria Kantiana dos Conceitos

67

Macmillan and St Martins Press, 1971, pp. 568 -94; 1969, 1971 by St. Martins Press and with permission.

RAGGIO, A. La Filosofa Matemtica de Kant. Manuscrito - Revista de Filosofia, vol. II, 1, CLE, outubro de 1978, pp.7-18

SILVA, J.J. A Filosofia da Matemtica de Poincar. F. vora (ed.). Sculo XIX: O Nascimento da Cincia Contempornea. Campinas: UNICAMP, Centro de Lgica, Epistemologia e Histria da Cincia (CLE), 1992.

________. Poincar on Mathematical Intuition. A Phenomenological Approach to Poincars Philosophy of Arithmetics . Philosophy Science 1 (2), pp.87-99, 1996.

________. Sobre o Predicativismo em Hermann Weyl. Campinas: UNICAMP, CLE, 1989.

THOMPSON, M. Singular Terms and Intuitions in Kants Epistemology. The Review of Metaphysics, 26, pp.314-343, 1972.