You are on page 1of 115

UNIVERSIDADE SO JUDAS TADEU

Programa de Ps-graduao em Filosofia





















A EPISTEMOLOGIA DA CINCIA DE HENRI POINCAR:
PARA ALM DO CONVENCIONALISMO E DO
REALISMO ESTRUTURAL



Onofre Crossi Filho



















So Paulo, 2012
UNIVERSIDADE SO JUDAS TADEU
Programa de Ps-graduao em Filosofia



















A EPISTEMOLOGIA DA CINCIA DE HENRI POINCAR:
PARA ALM DO CONVENCIONALISMO E DO
REALISMO ESTRUTURAL









Dissertao apresentada ao programa
de Ps-Graduao Stricto Sensu em
Filosofia, da Universidade So Judas
Tadeu, como parte dos requisitos para
a obteno do ttulo de Mestre em
Filosofia por Onofre Crossi Filho.

Orientadora: Prof. Dr. Sonia Maria Dion.






So Paulo, 2012



Crossi Filho, Onofre
C951e A epistemologia da cincia de Henri Poincar : para alm do
convencionalismo e do realismo estrutural / Onofre Crossi Filho. - So
Paulo, 2012.
115 f. ; 30 cm.

Orientador: Sonia Maria Dion.
Dissertao (mestrado) Universidade So Judas Tadeu, So Paulo,
2012.

1. Poincar, Henri, 1854-1912. 2. Epistemologia. 3. Realismo. I. Dion,
Sonia Maria. II. Universidade So Judas Tadeu, Programa de Ps-
Graduao Stricto Sensu em Filosofia. III. Ttulo


CDD 22 121

Ficha catalogrfica elaborada pela Biblioteca
da Universidade So Judas Tadeu
Bibliotecrio: Ricardo de Lima - CRB 8/7464





























O pensamento no mais que um
claro em meio a uma longa noite.
Mas esse claro tudo.
(Henri Poincar, O valor da cincia)






























minha esposa Elaine, a mulher de minha vida e maior incentivadora.
Aos meus pais, Onofre e Josefa, as bases de quem sou.
Ao meu filho Ivan, uma alma que tranquiliza.
minha filha Amanda, uma esperana.
Agradecimentos

Minha admirao e sinceros agradecimentos Prof. Dr. Sonia Maria Dion,
professora em minha Graduao, orientadora em meu PVIC, co-autora em meu primeiro
artigo, orientadora em meu TCC, nossa coordenadora do Grupo de Pesquisa em Histria a
Filosofia da Cincia e orientadora dessa pesquisa de Mestrado, por sua participao em minha
formao docente ao longo dos ltimos cinco anos, nos quais me ensinou com sua
objetividade, carisma, rigor, dedicao e, principalmente, pacincia, como possvel
compreender e construir a cincia sobre fundamentos filosficos.
Agradeo Prof. Dr. Monique Hulshof por seu apoio e suas sugestes nos intervalos
de suas aulas e por sua participao e comentrios na banca de Qualificao do Mestrado que
muito me ajudaram a alcanar o resultado final dessa pesquisa.
Agradeo ao Prof. Dr. Nlson Jos Machado pela honra de suas participaes nas
bancas de Qualificao e de Avaliao do presente Mestrado e, principalmente, pelas
sugestes e comentrios que muito contriburam para definir os rumos finais de minha
pesquisa.
Agradeo Prof. Dr. Luciana Zaterka, pelo privilgio de aprender com suas aulas na
Graduao e de poder submeter essa dissertao de Mestrado sua avaliao.
Agradeo Prof. Dr. Regina Andr Rebollo e ao coordenador de nosso Mestrado
Prof. Dr. Floriano Jonas Csar, queridos Mestres que nos presentearam com aulas
memorveis ao longo desse Mestrado.
Agradeo Prof. Ms. Dinia Hypolitto, por me ensinar a lecionar e pelo seu apoio e
incentivo desde minha Licenciatura.
Agradeo a todos os meus colegas professores do Colgio So Judas Tadeu pelas
palavras de elogio e, em especial, ao nosso diretor adjunto Prof. Jos Ribeiro Filho, sempre
presente com suas palavras amigas de estmulo e incentivo.
Agradeo pela torcida do querido amigo Prof. Andr Assi Barreto, cuja juventude e
capacidade transparecem um futuro brilhante.
E, principalmente, agradeo Universidade So Judas Tadeu, ao corpo docente de sua
Faculdade de Filosofia, meus queridos professores da Graduao e do Mestrado, e
Coordenao de Aperfeioamento de Pessoal de Nvel Superior CAPES; o meu muito
obrigado por confiarem a mim a oportunidade de usufruir dessa bolsa de mestrado.
Resumo

Henri Poincar viveu entre a segunda metade do sculo XIX e a segunda dcada do
sculo XX, o perodo mais efervescente que a cincia j presenciou; repleto de novos
resultados experimentais, novas descobertas, novas possibilidades matemticas e novas
teorias cientficas. Sua obra filosfico-cientfica demonstra a clara preocupao em organizar
essa profuso de novas informaes cientficas por um vis notavelmente epistemolgico,
delineando todas as etapas necessrias construo e criao da matemtica, em funo da
elaborao das teorias cientficas das cincias fsicas.
Poincar preocupou-se em definir como possvel a criao do conhecimento
cientfico a partir de sua origem o princpio de recorrncia com o qual a faculdade humana
da intuio cria, destaca e multiplica propriedades matemticas, rigorosamente verificadas
pela anlise lgica, por meio do princpio de contradio. A nica verdade para o esprito
deriva desse movimento de criao e deduo, necessariamente matemtico. Por analogia, as
indues matemtica e fsica usaro o raciocnio por recorrncia; a verdade das teorias fsicas
ter de ser obtida, unicamente, da possvel analogia entre as propriedades empricas incertas e
a certeza das propriedades matemticas.
A demonstrao de cada uma das fases contidas nessa detalhada epistemologia passa
por nveis distintos de recursos s propriedades fsicas e matemticas, pela busca de um
equilbrio entre exatido e objetividade, pela estrutura nica das leis matemticas e fsicas,
pela lei da homogeneidade, pela construo das verdades geomtricas convencionais e pela
elaborao dos princpios fsicos tambm convencionais. Nessa epistemologia as relaes
matemticas so o prprio elemento de continuidade que permanece presente na interminvel
sucesso de teorias fsicas, cujas mudanas dependem do constante desenvolvimento dos
mtodos experimentais e de novos resultados empricos.
Segundo minha viso, quaisquer classificaes sobre a filosofia da cincia de Poincar
que se apeguem somente s consequncias dessa epistemologia, como o caso do
convencionalismo e do realismo estrutural de Worrall, acabam por restringir a amplitude, a
continuidade e a riqueza do seu detalhamento epistemolgico. Pretendo, assim, tornar claro
que, a partir das bases da epistemologia de Poincar, tanto as convenes, quanto as estruturas
matemticas so consequncias harmnicas com o conjunto de sua epistemologia e, portanto,
no devemos entend-las como destaques centrais ou fundamentos de sua epistemologia.
PALAVRAS CHAVE: Poincar; epistemologia da cincia; princpio de recorrncia;
convencionalismo; realismo estrutural.
Abstract

Henri Poincar lived between the second half of the nineteenth century and the second
decade of the twentieth century, the most effervescent period that science has ever seen, full
of new experimental results, new discoveries, new mathematical possibilities, new and
scientific theories. His philosophical and scientific work demonstrates a clear preoccupation
in organizing this wealth of new scientific information by a notably epistemological bias,
delineating all the steps necessary for the construction and creation of the mathematical, in
function of elaboration of scientific theories of the physical sciences.
Poincar was concerned to define how it is possible the creation of the scientific
knowledge from its source - the principle of recurrence - with which the human faculty of
intuition creates, highlights and multiplies mathematical properties, rigorously verified by the
logical analysis, through the principle of contradiction. The only true to the spirit derives of
this movement of creation and deduction necessarily mathematical. By analogy, the
inductions mathematical and physical will use the reasoning by recurrence; the truth of
physical theories must be obtained solely from the possible analogy between the uncertain
empirical properties and the certainty of mathematical properties.
The demonstration of each of the phases contained in this detailed epistemology goes
through the different levels of recurrent physical and mathematical properties, by the search
of a balance between accuracy and objectivity, by the unique structure of mathematical and
physical laws, by the law of homogeneity, by the construction of conventional geometrical
truths and by the elaboration of the physical principles also conventional. In this epistemology
the mathematical relations are the own element of continuity that remains present in endless
succession of physical theories, whose changes depend on the constant development of
experimental methods and new empirical results.
According to my view, any classification on the Poincars philosophy of science that
is limited only to the consequences of this epistemology, is like the case of conventionalism
and Worralls structural realism, ends restricting the range, continuity and richness of its
epistemological detailing. Therefore, I intend to make clear that, from the foundations of
Poincars epistemology, both conventions, as the mathematical structures are consequences
harmonics with the set of his epistemology and therefore we should not understand them like
central highlights or foundations of his epistemology.
KEYWORDS: Poincar; epistemology of science; principle of recurrence; conventionalism;
structural realism.

Sumrio


Introduo................................................................................................................................... 01
Captulo 1 A filosofia da cincia de Poincar: fundamentos epistemolgicos 08

1.1 Introduo....................................................................................................
09

1.2 A intuio e a origem da induo...........................................................
11

1.3 A gnese da criao cientfica.................................................................
21

1.4 Lei e analogia..............................................................................................
30
1.4.1 A Lei...................................................................................................... 30
1.4.2 As analogias.......................................................................................... 36

1.5 Ajustando a matemtica fsica.............................................................
41
1.5.1 O contnuo matemtico e o contnuo fsico........................................... 41
1.5.2 A percepo, a geometria e a matemtica............................................. 45

1.6 O papel das hipteses................................................................................
53
1.6.1 Classificao das hipteses................................................................... 53
Captulo 2 O convencionalismo de Poincar................................................................ 62

2.1 Introduo....................................................................................................
63

2.2 Os convencionalismos: geomtrico e fsico........................................
64
2.2.1 O convencionalismo geomtrico........................................................... 64
2.2.2 O convencionalismo fsico................................................................... 74
Captulo 3 O realismo estrutural epistemolgico....................................................... 83

3.1 Introduo.....................................................................................................
84

3.2 O problema de Worrall: realismo X antirrealismo.............................
86
3.2.1 O argumento sem milagres.................................................................... 87
3.2.2 O argumento da meta-induo pessimista............................................. 89

3.3 A soluo de Worrall em Poincar........................................................
91
3.3.1 A conciliao dos opostos aparentes..................................................... 91
3.3.2 As estruturas matemticas e a realidade................................................ 95
Concluses................................................................................................................................... 100
Bibliografia.................................................................................................................................. 104


1
Introduo

Sem dvida posso afirmar que o sculo XIX foi o mais rico em termos de descobertas
e de questionamentos em torno do conhecimento cientfico. Todos os ramos do conhecimento
humano sofreram uma intensa e contnua modificao ao longo desse sculo. Newton perde
sua hegemonia diante da descoberta do eletromagnetismo, a repercusso do pensamento
kantiano adentra o sculo XIX revelando uma nova maneira de interpretar os fenmenos
naturais, as geometrias no-euclidianas surgem para se contrapor milenar geometria de
Euclides, Darwin aponta para uma lenta e contnua evoluo das espcies. Tantos outros
exemplos poderiam ser citados sobre essa poca de ouro da nossa cincia. Entretanto, uma
constatao torna-se evidente: as novas teorias cientficas trazem consigo um ganho
epistemolgico para a cincia, mas, de um modo geral, no resistem ao tempo e do lugar a
novas teorias, tambm efmeras, porm, sempre teis.
Henri Poincar vive exatamente a passagem entre os sculos XIX e XX (1854 a 1912),
um perodo histrico que percebe todo o impacto dessa revoluo no modo de fazer cincia e
tenta ordenar e organizar essa profuso de novas informaes no mbito de um conhecimento
cientfico fundamentado. Sua epistemologia ir se preocupar, exatamente, com os elementos
fundamentais que mantm a continuidade da possvel verdade cientfica.
Talentoso matemtico, Poincar publicou trabalhos em todas as reas da matemtica
pura e aplicada. Foi tambm fsico, filsofo, astrnomo e engenheiro, considerado por muitos
como o ltimo universalista da histria da cincia. A totalidade de sua obra soma mais de
quinhentos trabalhos publicados.
Nos primeiros anos do sculo XX alguns de seus artigos que tratam sobre filosofia da
cincia foram reunidos em quatro livros e tornaram-se, desde ento, referncias filosficas
clssicas. O primeiro deles foi La science et lhypothse (A cincia e a hiptese); publicado
em 1902 considerado sua principal obra de referncia no domnio da filosofia e nele
Poincar demonstra seu claro interesse no campo epistemolgico da cincia. Em seus livros
subseqentes: La valeur de la sciece (O valor da cincia) publicado em 1904 e Science et
mthode (Cincia e mtodo) publicado em 1908, Poincar rev, amplia e consolida suas
consideraes epistemolgicas sobre o conhecimento cientfico. O livro Dernires penses
(ltimos pensamentos) de 1913, uma coletnea de seus ltimos trabalhos filosficos
organizada aps sua morte em julho de 1912, e tambm mantm a nfase na epistemologia.
As muitas interpretaes de sua obra lhe renderam vrias classificaes filosficas
distintas como, por exemplo: convencionalista (no campo epistemolgico da cincia),


2
intuicionista (cuja interpretao normalmente se restringe ao campo da epistemologia da
matemtica), alm de empirista, instrumentalista e realista estrutural epistemolgico (trs
modos distintos, e at mesmo contraditrios, de classificar e interpretar seus escritos no
contexto da discusso contempornea entre realistas e anti-realistas); isso somente para citar
algumas. Essas muitas interpretaes e classificaes sobre a obra de Poincar podem se
dever riqueza de sua escrita que Bertrand Russel assim descreveu:
A escrita de Poincar [...] resulta certa riqueza e ressonncia nas suas palavras: o som emitido
no oco, mas vem de uma grande massa da qual somente a superfcie polida aparece. Sua
sagacidade, seu domnio fcil, e seu amor artstico de ocultar o trabalho do pensamento, pode
esconder do leitor no-matemtico o pano de fundo de conhecimento slido do qual seus aparentes
paradoxos emergem. (RUSSEL, prefcio a POINCAR, 1908, p. 5).
Por vezes, na tentativa de alcanar essa grande massa de conhecimento que se esconde
por detrs da superfcie polida de sua escrita, o leitor acaba por encontrar apenas os paradoxos
aparentes a que Russel se referiu. Confesso que algumas de minhas primeiras leituras da obra
de Poincar se encaixam nessa descrio.
Entretanto, a leitura acurada de suas obras filosficas, principalmente os trs primeiros
livros que citei acima, revelam elementos de continuidade que, no incio, nos mostram o
estatuto da matemtica para o esprito; este, em seguida, tentar preservar a verdade
matemtica nas teorias das cincias fsicas. Em alguns captulos possvel perceber essa
inteno de Poincar com certa clareza, como nas duas partes iniciais de A cincia e a
hiptese. Entretanto, o detalhamento dos procedimentos de analogia, intrnsecos a esse
movimento, tem de ser retirado de abordagens distintas distribudas ao longo do conjunto de
suas obras.
No captulo 1 dessa dissertao A filosofia da cincia de Poincar: fundamentos
epistemolgicos apresento minha interpretao desse percurso epistemolgico poincareano.
Diante da riqueza de detalhes inerentes aos argumentos apresentados por Poincar, em cada
nova etapa da ascenso da certeza matemtica, gradativamente, o quadro epistemolgico da
construo das cincias recebe novos elementos, revelando um conjunto harmnico e
detalhado. Diante dele, por exemplo, o papel que desempenham as convenes poincareanas
no algo a ser destacado, mas simplesmente a funo de um elemento harmnico com todos
os elementos restantes. O mesmo pode ser dito a respeito da continuidade matemtica no
interior das teorias fsicas, interpretada por Worrall como a estrutura matemtica da realidade.
justamente por isso que, a meu ver, classificar Poincar como convencionalista ou realista
estrutural, s faz limitar o vislumbre de todo um contexto epistemolgico a apenas partes
restritas desse quadro.


3
Assim, pretendo tratar nessa dissertao apenas de duas classificaes ou
interpretaes da obra filosfico-cientfica de Poincar que derivam diretamente das
conseqncias epistemolgicas presentes em sua obra, mas que, a meu ver, no consideram
sua base fundamental: (1) a filosofia da cincia poincareana interpretada como um tipo de
convencionalismo e (2) a filosofia da cincia poincareana interpretada como um tipo de
realismo estrutural. Como o ttulo dessa dissertao indica, estas so classificaes que, sem o
devido fundamento epistemolgico, restringem a amplitude da obra de Poincar, ou seja,
como diria Russel, mostram a superfcie polida, mas no atingem a massa de conhecimento
por detrs dela.
Antes de examinar essas classificaes e interpretaes, examinarei os fundamentos
epistemolgicos da cincia segundo Poincar, por meio de um vis intuicionista outra
classificao que, sem o devido aprofundamento, impe restries a uma ampla interpretao
de sua obra. Entretanto, a meu ver, se as vises convencionalista e realista estrutural sobre a
obra de Poincar, no raramente, desconsideram as bases inerentes sua epistemologia, por
outro lado, uma leitura intuicionista incompleta de sua obra pode dificultar a compreenso das
importantes consequncias inerentes a essa epistemologia.
Creio que devido aos debates que Poincar travou com Russel no campo da
epistemologia da matemtica Poincar classificado como intuicionista e Russel classificado
como logicista talvez por isso a intuio poincareana figure como uma faculdade do esprito
responsvel apenas pela criao matemtica (p.ex.: CASTRO, 2001; DEL VECCHIO Jr.
2005) ou simplesmente o exame de sua funo epistemolgica se interrompe nesse ponto.
Pretendo demonstrar que a intuio poincareana participa ativamente e criativamente de todo
o processo de construo do conhecimento cientfico fazendo uso do raciocnio por
recorrncia.
Assim como no caso da intuio, o raciocnio por recorrncia (chamado ainda de
princpio de recorrncia, princpio de induo completa ou princpio de induo matemtica)
tambm parece permanecer restrito ao campo do intuicionismo matemtico (p.ex.: CASTRO,
2001, p. 2; DEL VECCHIO Jr., 2005, p. 56-63); ou citado simplesmente como uma verdade
sinttica a priori nos moldes kantianos (p.ex.: GIEDYMIN, 1991, p. 2-3); ou ainda
reconhecido como instrumento que estrutura diferentes domnios, mas sua interpretao no
vai alm disso (p.ex.: VUILLEMIN prefcio a POINCAR, 1902, p. 11; HEINZMANN,
2009, p. 75-76). Pretendo demonstrar ao longo dessa dissertao que segundo a viso de
Poincar, o raciocnio por recorrncia o responsvel pela criao do conhecimento cientfico


4
e participa necessariamente de todas as suas fases de construo, sendo que a verificao
dessa criao se deve ao princpio de contradio usado pela anlise lgica. Alm disso, se na
criao matemtica o raciocnio por recorrncia anterior ao raciocnio por induo, na
construo do conhecimento nas cincias fsicas, a ordem se inverte e o raciocnio por
induo anterior ao raciocnio por recorrncia, motivo pelo qual a verificao emprica das
teorias fsicas uma tarefa ad eternum.
Veremos que a transposio do raciocnio por recorrncia, desde sua origem nas
operaes bsicas da aritmtica at seu uso nas cincias fsicas, depende de uma sucesso de
analogias que deve perpassar as propriedades matemticas, as propriedades geomtricas e as
propriedades fsicas, carregando consigo a verdade das leis matemticas, a nica verdade que
o esprito reconhece, pois somente dele depende. Sob esse aspecto defenderei que a mesma
estrutura de lei participa tanto da construo das leis matemticas quanto da construo das
leis fsicas, e torna possvel a analogia necessria entre elas para que o conhecimento nas
cincias fsicas possa ser edificado.
Destacarei, ainda, que em sua epistemologia da cincia, Poincar sugeriu como a
verdade matemtica se projeta numa possvel verdade da teoria fsica, mediante o equilbrio
constante entre a exatido e a objetividade. Pretendo tornar claro que essa projeo da verdade
matemtica o prprio elemento de continuidade epistemolgica, tambm presente nas
teorias fsicas.
Assim, acabo de descrever, resumidamente os principais pontos a serem tratados no
captulo 1 dessa dissertao, que ser dedicado exposio dos fundamentos epistemolgicos
da filosofia da cincia poincareana.
Segundo o que reuni ao longo dessa pesquisa percebo que autores como Stump (1989),
Steinle (2006), Giedymin (1977; 1991; 1992), Gillies (1993), Del Vecchio Jr. (2005) e Paty
(2010), dentre outros, trabalham o convencionalismo poincareano a partir de suas
consequncias epistemolgicas e, como j destaquei, a meu ver isso representa uma restrio
epistemologia contida na obra de Poincar. Defendo que caso fossem trabalhadas as bases
que na epistemologia poincareana definem o estatuto das convenes (geometrias e princpios
da fsica), sua funo seria uma consequncia natural e no um elemento de destaque. Quando
enfatizamos o papel das convenes como destaques notveis no contexto da filosofia da
cincia de Poincar, segundo minha viso, estamos simplesmente valorizando uma
consequncia que deriva da continuidade necessria presente na epistemologia da cincia
poincareana. As convenes nada mais so do que pontes formais que estabelecem um


5
vnculo convencional necessrio entre as leis matemticas formais e as leis fsicas materiais;
vnculo esse construdo sob medida para essa funo e que mantm rigorosamente o
equilbrio necessrio entre exatido e objetividade, como veremos oportunamente. Portanto,
no captulo 2 O convencionalismo de Poincar meu objetivo ser analisar o
convencionalismo poincareano sob a tica de sua epistemologia da cincia, cuja anlise
empreendemos ao longo do captulo 1. No final desse trajeto pretendo abordar uma
perspectiva que Giedymin (1991, 1992) desenvolve sobre o convencionalismo poincareano
por um vis de epistemologia evolucionria e que, a meu ver, se adapta muito bem
interpretao da epistemologia de Poincar que desenvolvemos no captulo 1.
Quanto ao realismo estrutural, este uma vertente filosfico-cientfica que defende
uma perspectiva realista no domnio da filosofia da cincia. Essa designao no advm
unicamente das idias de John Worrall
1
, embora a proposta desse autor, nas ltimas dcadas,
tenha obtido considervel repercusso; talvez em funo disso, questes envolvendo o
realismo estrutural permaneam sendo consistentemente debatidas. Worrall (1989) no artigo
Structural Realism: The Best of Both Worlds? prope seu realismo estrutural retomando,
segundo ele, uma tese esquecida de Poincar. Nele o autor afirma que Poincar usou o
exemplo da mudana de Fresnel para Maxwell para argumentar por um tipo geral de sinttica
ou realismo estrutural (1989, p. 117, grifos do autor). O objetivo de Worrall responder s
objees dos principais argumentos usados no debate contemporneo entre realistas e
antirrealistas. Nas palavras de Worrall, ao que me parece os dois argumentos mais
convincentes so muito antigos ambos so, certamente, encontrados em Poincar e
Duhem
2
(1989, p. 101); o autor se refere ao argumento do milagre
3
(colocado a favor do
realismo cientfico) e ao argumento da meta-induo pessimista
4
(tambm chamado de
argumento da induo pessimista ou ainda, argumento da induo meta-pessimista, um
conhecido argumento em favor da perspectiva antirrealista da cincia). Defende ainda que sua
soluo resolve a controvrsia e, alm disso, j havia sido dada por Poincar em seu livro A
cincia e a hiptese (1902). Esse artigo de Worrall, longe de resolver a questo, gerou vrias


1
Segundo Worral, o termo realismo estrutural foi usado tambm por Grover Maxwell para uma posio a
qual ele derivou da filosofia tardia de Russel (1989, p. 117).
2
Poincar e Duhem so, habitualmente, considerados convencionalistas, embora divirjam em alguns pontos
especficos dos quais no tratarei, pois esto alm do escopo do presente trabalho.
3
A proposta formal do argumento do milagre, tambm chamado de argumento sem milagres ou argumento
do no-milagre, atribuda a Putnam (1975, p. 73), embora Worrall discorde disso.
4
Segundo Worral, a chamada induo pessimista usualmente considerada como uma descoberta
metodolgica recente, mas que na verdade j foi afirmada claramente por Poincar (1989, p. 109, grifos do
autor) no incio do sculo XX.


6
respostas, tornando-se, desde ento, uma importante referncia para o debate contemporneo
entre realistas cientficos e antirrealistas. Veremos como o realismo estrutural de Worrall,
hoje reclassificado de realismo estrutural epistemolgico
5
, se relaciona com a epistemologia
da cincia de Poincar.
O debate entre realistas cientficos e anti-realistas cientficos, muito pouco, ou quase
nada, trata a respeito dos fundamentos epistemolgicos que norteiam a filosofia da cincia de
Poincar. O prprio Worrall passa ao largo desses fundamentos poincareanos. Isso, entretanto,
no representa um demrito para Worrall, j que, sua proposta sugere uma srie de questes
cujo debate tem enriquecido nossa epistemologia contempornea. Worrall sequer seria
obrigado a fazer uso dos escritos de Poincar em sua empreitada, uma vez que Duhem
tambm oferece em seus escritos concluses compatveis com a defesa de um realismo
estrutural; Worrall cita essa possibilidade em seu artigo.
Tendo em mente que Worrall preferiu as ideias de Poincar para ilustrar sua tese, direi
que o elemento de continuidade entre uma teoria obsoleta e uma nova teoria bem aceita, que
na viso de Worrall a estrutura matemtica da realidade, no somente j havia sido sugerido
por Putnam na formalizao de seu conhecido argumento realista do milagre, mas que as leis
matemticas so as bases da continuidade na epistemologia poincareana da cincia.
Alm disso, os fundamentos epistemolgicos em Poincar permitem responder duas
das principais questes que envolvem a construo do conhecimento cientfico: (1) Porque a
fsica tem de se expressar necessariamente em linguagem matemtica? ; (2) Porque em ramos
distintos da fsica encontramos, por vezes, o uso das mesmas equaes matemticas? Teremos
a resposta primeira questo ainda no captulo 1, enquanto que a resposta de Worrall
segunda questo, ilustrada pelas ideias de Poincar, veremos no captulo 3.
Assim, ao longo do captulo 3 O realismo estrutural epistemolgico tratarei dessa
relao estabelecida por Worrall entre os escritos de Poincar e uma interpretao realista
estrutural da cincia. Defenderei que os argumentos que embasam o realismo estrutural
epistemolgico de Worrall so consequncias naturais da fundamentao epistemolgica da
cincia empreendida por Poincar. Em outras palavras, Worrall trabalhou as consequncias
epistemolgicas poincareanas; observadas suas bases, tais consequncias tornam-se visveis.
No entrarei no mrito da discusso que a proposta de Worrall causou entre realistas e


5
Uma outra vertente do realismo estrutural, proposta por Ladyman (1998), recebe atualmente a designao de
realismo estrutural ontolgico. A contraposio desses dois tipos de realismos estruturais (o epistemolgico de
Worral e o ontolgico de Ladyman) tem ocupado considervel destaque nas discusses empreendidas no mbito
da filosofia da cincia na ltima dcada.


7
antirrealistas, visto que o foco de minha pesquisa no contempla esse debate. Entretanto,
apontarei algumas objees feitas ao realismo estrutural que envolvem uma interpretao da
questionada posio realista assumida por Poincar em sua obra.
Nas concluses dessa dissertao pretendo tornar claro, por meio de uma sntese do
que foi desenvolvido ao longo de cada captulo, que observadas as bases da epistemologia
poincareana e percorridas suas etapas do desenvolvimento e construo do conhecimento
cientfico:
- as convenes, ou seja, o objeto central do convencionalismo poincareano, so
elementos importantes para a aproximao necessria que deve haver entre as mltiplas
verdades das leis matemticas e as leis fsicas sempre sujeitas reviso. Entretanto, veremos
que diante do contexto epistemolgico poincareano as convenes no constituem o seu
fundamento principal, mas que so apenas elementos secundrios, embora, como enfatizei,
sejam importantes e necessrios. O convencionalismo poincareano est restrito a apenas uma
parte da epistemologia poincareana.
- as estruturas matemticas do realismo estrutural de Worrall so as bases de sua tese e
se apiam somente num dos argumentos finais que a epistemologia de Poincar aponta para
enfatizar a conexo entre leis matemticas e leis fsicas. Worrall no teve a necessidade de se
apoiar em toda a extenso epistemolgica das ideias de Poincar, razo pela qual veremos que
o realismo estrutural de Worrall, a exemplo do convencionalismo poincareano, tambm est
restrito a apenas uma parte da epistemologia poincareana.
Assim, a origem das convenes e das estruturas matemticas do realismo estrutural,
bem como o desenvolvimento do papel que ocupam ao longo da construo do conhecimento
cientfico, esto descritos, em detalhes, no contexto da epistemologia da cincia de Poincar.















Captulo 1




A filosofia da cincia de Poincar - fundamentos epistemolgicos
9
1.1 Introduo

O presente captulo pretende tratar das bases epistemolgicas da filosofia da cincia de
Poincar, comeando pelo seu intuicionismo, chegando zona de confluncia entre as leis
fsicas e as leis matemticas e finalizando com o papel que desempenham os tipos de
hipteses na filosofia da cincia poincareana.
Nas prximas duas sees examinaremos um pouco do intuicionismo de Poincar e
como, segundo o autor, a criao por meio da faculdade da intuio permite a ampliao do
conhecimento cientfico, partindo da criao matemtica e chegando interpretao das
relaes fsicas, ambas sob a mesma estrutura de lei. Seguiremos, assim, o mesmo percurso
que Poincar segue em A cincia e a hiptese para dar incio ao desenvolvimento de sua
filosofia da cincia sobre bases epistemolgicas.
Na primeira dessas sees sobre o intuicionismo 1.2 A intuio e a origem da
induo iniciarei a anlise de sua filosofia da cincia pelo caminho proposto pelo prprio
Poincar na introduo de A cincia e a hiptese, quando indaga: Qual a natureza do
raciocnio matemtico? , realmente, dedutivo, como comumente se acredita? (1902, p. 16).
Acredito que ele escolhe esse ponto de partida com o objetivo de fixar a origem de sua
epistemologia naquilo que o autor entende como uma propriedade do esprito: o princpio
de recorrncia. Veremos nessa seo como esse princpio absoluto da criao aritmtica se
torna ferramenta da intuio, com o qual o esprito pode conceber, por analogias, a induo
completa e a induo fsica. Alm disso, veremos o que diferencia, segundo o autor, a
induo completa da induo presente nas cincias fsicas.
Na seo 1.3 A gnese da criao cientfica veremos como os princpios de
induo matemtica e fsica por meio de analogias mtuas e tambm de analogias internas
a cada uma delas, so usados para criar as relaes matemticas e elaborar o conhecimento
fsico. Aqui encontraremos uma variao no uso do princpio de recorrncia: podemos
recorrer a uma propriedade tanto por repetio sucessiva, quanto por repetio por
comparao aleatria. Veremos tambm que a intuio, segundo Poincar, a responsvel
pela criao cientfica e, ainda, que o conhecimento cientfico depende do equilbrio entre a
exatido e a objetividade para que se mantenha sua ampliao.
Na seo seguinte, 1.4 Lei e analogia, tratarei sobre as relaes entre os
fundamentos conceituais que considero mais importantes na epistemologia poincareana, por
abordarem o mecanismo mais bsico para a construo e a descoberta cientfica. Na subseo
10
1.4.1 A Lei veremos seu carter aproximativo, suas caractersticas comuns matemtica e
fsica e como a linguagem participa de sua formulao. Veremos tambm que, se
consideramos alguns aspectos apontados por Poincar sobre a lei fsica, podemos encontrar
uma analogia com aspectos da lei matemtica; isso me permite afirmar que, por analogia,
ambas obedecem mesma estrutura de lei. Na subseo 1.4.2 As analogias examinarei
suas caractersticas em duas frentes distintas, em primeiro lugar no interior das leis fsicas e
no interior das leis matemticas, por meio das semelhanas entre as relaes presentes em
cada uma delas separadamente e, em seguida, na fronteira entre as leis fsicas e leis
matemticas, buscando semelhanas entre ambas. Esse exame nos permitir concluir que as
leis matemticas podem ser entendidas, em ltima instncia, como modelos para uma
analogia prtica e objetiva com as leis fsicas.
Na sequncia, a seo 1.5 Ajustando a matemtica fsica, trabalha a necessidade
prtica no sentido de um equilbrio entre objetividade e exatido para manter uma correlao
entre leis fsicas e leis matemticas. Nesse sentido, veremos na subseo 1.5.1 O contnuo
fsico e o contnuo matemtico, que segundo Poincar, a criao do contnuo matemtico se
deu em funo da noo de contnuo fsico. A subseo 1.5.2 A percepo, a geometria e a
matemtica, tratar da percepo do espao representativo e da criao do espao geomtrico
por meio da lei da homogeneidade, permitindo a Poincar afirmar que as diferentes
geometrias so grupos matemticos particulares e elos de analogia entre o contnuo fsico e o
contnuo matemtico.
Finalmente, na ltima seo desse captulo, 1.6 O papel das hipteses, tratarei das
funes que desempenham os diferentes tipos de hipteses na filosofia da cincia de Poincar
expostas em seu livro A cincia e a hiptese (1902), classificando-as segundo as definies
fornecidas pelo prprio autor.
Ao final desse captulo pretendo que a base epistemolgica fornecida pela pesquisa
empreendida ao longo de suas sees nos auxilie na anlise do convencionalismo e do
realismo estrutural poincareanos, os temas dos dois prximos captulos dessa dissertao.





11
1.2 A intuio e a origem da induo

Poincar inicia o captulo I de A cincia e a hiptese questionando sobre a prpria
possibilidade da cincia matemtica. Segundo o autor, se a matemtica fosse uma cincia
puramente dedutiva ela deveria se reduzir a uma imensa tautologia, uma vez que as regras
da lgica formal so analticas e o silogismo no pode nos ensinar nada de essencialmente
novo. Por outro lado, se fosse uma cincia indutiva no deveria manter esse perfeito rigor,
a exemplo da induo aplicada s teorias fsicas (1902, p. 21). A questo colocada por
Poincar diz respeito ao estatuto epistemolgico da matemtica, ou seja: O conhecimento que
se pode obter da matemtica deriva de um raciocnio dedutivo ou de um raciocnio indutivo?
Segundo Castro, a tese central de Poincar que existe um nvel de raciocnio
matemtico que irredutvel lgica e que se atinge pela intuio (2001, p. 5, grifo meu).
Essa posio que Poincar ir assumir tipicamente intuicionista e se coloca contrria ao
pensamento logicista
6
, como o de Bertrand Russell, com quem Poincar manteve importantes
debates nesse campo epistemolgico
7
.
Castro (2001, p. 4) afirma ainda que a lgica intuicionista em oposio lgica
clssica rejeita o princpio do terceiro excludo, ou seja, nega que uma frase s tem dois
valores possveis: ou verdadeira ou falsa. Essa informao ser importante para
compreendermos que, de acordo com Poincar, no precisamos refutar ou aceitar uma teoria
integralmente, podemos aceit-la ou refut-la apenas parcialmente.
Poincar inicia sua tese intuicionista afirmando que o raciocnio matemtico
puramente analtico no uma demonstrao uma verificao:
A verificao difere da verdadeira demonstrao precisamente porque puramente analtica e
porque estril. E estril porque a concluso no seno a traduo das premissas em uma outra
linguagem. A verdadeira demonstrao , ao contrrio, fecunda porque sua concluso , de certo
modo, mais geral que as premissas. (1902, p. 23, grifo do autor).
Segundo Poincar (1902, p. 23), o princpio que torna possvel a verdadeira
demonstrao matemtica, pode ser encontrado nos incios da aritmtica, nas suas


6
Segundo Castro o logicismo se inspira no racionalismo platnico [e] assume implicitamente um realismo das
verdades matemticas considerando-as eternas e independentes da mente do matemtico e se ope escola
intuicionista [que] inspira-se na filosofia do conhecimento kantiana (2001, p. 4).
7
O presente trabalho abordar somente a verso epistemolgica intuicionista de Poincar. No entrarei no mrito
da distino entre intuicionismo e formalismo, mesmo usando elementos conceituais que participam dessas duas
vertentes e tambm no discutirei sobre o debate entre logicistas, intuicionistas e formalistas, uma vez que, tanto
a distino quanto a discusso, ultrapassam os objetivos de minha pesquisa. Em CASTRO (2001) e DEL
VECCHIO (2005, p. 64-101) podem-se encontrar detalhes sobre o debate logicismo/intuicionismo matemtico.
12
propriedades bsicas da adio e da multiplicao a associatividade, a comutatividade e a
distributividade como procedimentos da demonstrao por recorrncia:
Estabelece-se, inicialmente, um teorema para n = 1; demonstra-se em seguida, que se ele
verdadeiro para n 1 verdadeiro para n e se conclui da, que verdadeiro para todos os nmeros
inteiros. [...] podemos nos servir desse procedimento para demonstrar as regras da adio e da
multiplicao, isto , as regras do clculo algbrico; esse clculo um instrumento de
transformao que se presta, mais do que o simples silogismo, a muitas combinaes diversas; mas
, ainda, um instrumento puramente analtico e incapaz de nos fazer conhecer algo de novo. Se a
matemtica no dispusesse de nenhum outro, teria, ento, seu desenvolvimento imediatamente
sustado; mas ela recorre, novamente, ao mesmo procedimento, quer dizer, ao raciocnio por
recorrncia e pode, assim, continuar sua marcha para diante. A cada passo, se examinarmos bem,
reencontramos esse modo de raciocnio, seja sob a forma simples que acabamos de lhe dar, seja
sob uma forma mais ou menos modificada. (POINCAR, 1902, p. 26).
A demonstrao por recorrncia, segundo Poincar, permite ampliar a concluso
para alm de suas premissas iniciais possibilitando a passagem da aritmtica ao clculo
algbrico, e assim sucessivamente, a cada novo passo do desenvolvimento matemtico, por
intermdio do raciocnio por recorrncia. Entretanto, a verificao analtica permanece
presente a cada passo desse desenvolvimento. Desse modo, se pode inferir que se a
verificao analtica confere rigor a cada etapa particular, a demonstrao por recorrncia
permite passar do particular a uma generalizao pela afirmao de uma infinita
sucessividade, tornando possvel o desenvolvimento matemtico. O carter essencial do
raciocnio por recorrncia que ele contm, condensados, por assim dizer, numa nica
frmula, uma infinidade de silogismos (POINCAR, 1902, p. 26). Nesse sentido, o
silogismo o instrumento da verificao analtica particular e a frmula o instrumento da
generalizao pela sucessividade atravs da demonstrao por recorrncia; ou seja, a
verdadeira demonstrao generaliza e amplia a concluso, enquanto a verificao atribui
rigor a cada uma das etapas particulares unidas pela generalizao. Consequentemente,
Poincar (1902, p. 27-28) pode afirmar, ainda, que o raciocnio por recorrncia [...] o
instrumento que permite passar do finito ao infinito. [...] a idia do infinito matemtico j tem
um papel preponderante, e sem ela no haveria cincia, porque s h cincia do geral.
De acordo com essa perspectiva de Poincar, ao se estabelecer e demonstrar um
teorema inicial para a aritmtica, se est intuitivamente criando uma propriedade e, alm
disso, aplicando-a por recorrncia. Nesse sentido, as ideias de infinitude e de generalizao,
to caras cincia, se devem criao e transmisso sucessiva de propriedades, j que, se
certa propriedade pertence a determinado nmero, pertencer tambm aos seus sucessores e
aos sucessores de seus sucessores. Logo, se atribuirmos essa propriedade a 0, ela dever ser
atribuda a todos os nmeros naturais (DEL VECCHIO Jr., 2005, p. 58). Por exemplo, se
indagarmos sobre um nmero natural que possa ser maior que todos os demais nmeros
13
naturais, nos suficiente recorrer a uma propriedade do tipo f(x) = x + 1 para que, qualquer
que seja o nmero x em questo, ele seja menor que seu sucessor, o qual tambm estar
sujeito a aplicao da mesma propriedade. Assim, a propriedade se generaliza e a infinitude se
estabelece, ambas por recorrncia.
Por meio do raciocnio por recorrncia Poincar ir propor uma soluo para a questo
se a matemtica dedutiva ou indutiva. Assim, buscando delimitar a procedncia dessa
recorrncia sistemtica, Poincar afirma que a regra do raciocnio por recorrncia
irredutvel ao princpio de contradio, ou seja, o princpio bsico do silogismo, pois,
quando se trata de abarcar uma infinidade de silogismos numa nica frmula [...] esse
princpio fracassa (1902, p. 28). Isso se deve ao fato de que o princpio de contradio requer
a verificao individual de cada silogismo, tornando infinita essa tarefa em se tratando de uma
infinidade de silogismos.
Seguindo essa linha argumentativa, a regra do raciocnio por recorrncia no pode
decorrer da experincia, uma vez que, cada nova experincia responde por seu prprio
resultado e no por uma infinidade de resultados, por exemplo, ela no pode atingir a srie
indefinida dos nmeros, mas, unicamente, uma poro mais ou menos longa, porm sempre
limitada, dessa srie (POINCAR, 1902, p. 28).
Segundo Castro essa uma caracterstica do intuicionismo: a passagem do finito ao
infinito d-se, no por argumentos lgicos, mas sim por um mecanismo intuitivo (2001, p. 5)
que tambm independe da experincia, tendo em vista que segundo Poincar:
Essa regra [do raciocnio por recorrncia] inacessvel demonstrao analtica e experincia,
exatamente o tipo de juzo sinttico a priori [que] [...] se nos impe com uma evidncia irresistvel
[...] porque no passa da afirmao do poder do esprito que se sabe capaz de conceber a repetio
indefinida de um mesmo ato, desde que esse ato tenha sido possvel uma vez. O esprito tem uma
intuio direta dessa sua capacidade e, para ele, a experincia no pode ser seno uma ocasio
para se utilizar dela e, desse modo, de conscientizar-se da sua existncia. (1902, p. 28, grifos
meus).
possvel observar no pensamento de Poincar a presena marcante de conceitos
kantianos
8
, embora, no raramente, interpretaes de Poincar sobre conceitos kantianos
apresentem peculiaridades e diferenas de sua fonte kantiana. Por exemplo, segundo Poincar,
a intuio ativa e inventiva, o que a diferencia da intuio kantiana tida como passiva. Nesse
excerto, Poincar se refere a uma afirmao do poder do esprito humano que, por meio de


8
Castro destaca que isso no chega a ser um consenso, visto que, segundo Goldfarb a natureza da intuio
tida por Poincar como meramente psicolgica: uma sagacidade matemtica que nada tem a ver com a intuio
kantiana; Folina, no entanto, defende uma posio totalmente contrria: a teoria da intuio [de Poincar]
uma forte expresso da influncia de Kant (2001, p. 5).
14
sua faculdade da intuio, se d conta de sua capacidade de repetir indefinidamente um
mesmo ato. O raciocnio por recorrncia , ento, um juzo sinttico a priori, um ato
espontneo, uma evidncia anterior a qualquer experincia, visto que o esprito que
encontra, em cada experincia pura, a oportunidade de conscientizar-se da existncia dessa
sua capacidade de repet-las infinitamente. desse modo que o esprito coloca em prtica a
generalizao do silogismo particular, por meio da recorrncia, inicialmente na demonstrao
das propriedades bsicas da aritmtica.
Poincar acrescenta, ainda, que assim como a experincia pura no pode legitimar o
raciocnio por recorrncia (1902, p. 28), tambm a induo no pode faz-lo, visto que um
teorema no verifica uma infinita sucesso numrica, mas, mesmo assim, a lei manifesta,
[...] e ela o do mesmo modo que toda lei fsica apoiada sobre observaes cujo nmero
muito grande, porm limitado (1902, p. 28-29, grifos do autor).
Portanto, de um modo geral, a induo, seja ela matemtica ou fsica, no pode
legitimar o raciocnio por recorrncia que, segundo Poincar, um juzo sinttico a priori e
independe de toda e qualquer experincia. Porm, Poincar identifica, por analogia, o uso
dessa capacidade do esprito com os procedimentos habituais da induo:
No poderamos ignorar que h, a, uma analogia evidente [do raciocnio por recorrncia] com os
procedimentos habituais da induo. Mas, subsiste uma diferena essencial. A induo aplicada
s cincias fsicas sempre incerta porque se baseia na crena de uma ordem geral do Universo,
ordem que est fora de ns. A induo matemtica, isto , a demonstrao por recorrncia, se
impe, ao contrrio, necessariamente, porque , unicamente, a afirmao de uma propriedade do
prprio esprito. (1902, p. 29, grifos meus).
O raciocnio que Poincar descreveu at aqui diz respeito somente sua epistemologia
da matemtica, entretanto, a partir da analogia que se estabelece com a induo fsica, o autor
far uma ampliao desse domnio estendendo-o sua epistemologia da cincia de um modo
geral e no somente restrito a matemtica.
Farei, a seguir, uma demarcao conceitual que entendo ser til para destacar os
passos definidos por Poincar at aqui e a importncia dessa passagem no mbito de sua
epistemologia.
O princpio de recorrncia a propriedade do esprito a que Poincar se referiu e,
embora o autor no faa uso desse termo, creio que sua adoo se justifique considerando que
tal propriedade a origem do raciocnio por recorrncia, uma vez que este no pode ser
reduzido ao princpio de contradio e a experincia no pode legitim-lo.
O raciocnio por recorrncia pode ser observado, originalmente, nas operaes bsicas
da aritmtica, as quais se repetem, sucessivamente, em cada nmero na infinita sucesso dos
15
nmeros inteiros, culminando na caracterizao da demonstrao por recorrncia repetio
infinita de uma propriedade.
H uma analogia entre uma propriedade do esprito, ou seja, o princpio de
recorrncia, e a induo, considerando que esta ltima remete a uma generalizao pela
observao da mesma propriedade se repetindo em cada uma das sucessivas experincias
particulares. O esprito sabe-se capaz de repetir indefinidamente uma propriedade (raciocnio
por recorrncia) e, alm disso, sabe-se capaz de generalizar uma propriedade que se repete em
cada evento de uma srie de eventos particulares (induo). Entretanto, a generalizao por
induo se d sobre um nmero finito de eventos, j que dependemos de uma amostragem
definida deles antes da generalizao da propriedade, ao contrrio da recorrncia repetio
infinita da propriedade que a afirmao do esprito torna possvel.
Entendo que Poincar se refere induo matemtica como sendo a prpria
demonstrao por recorrncia, pois, a induo matemtica somente se torna possvel quando o
esprito afirma e se reconhece capaz de repetir infinitamente uma propriedade (raciocnio por
recorrncia) e, posteriormente, verifica a presena e a consistncia dessa mesma propriedade
em cada evento particular de uma sucesso limitada de eventos (induo), tal qual ocorre na
verificao analtica a que Poincar se referiu anteriormente. Portanto, a induo matemtica
no somente sucede o raciocnio por recorrncia, como se origina a partir dele, motivo pelo
qual no o pode legitimar, embora proceda a sua verificao analtica. Desse modo, a criao
sinttica e a verificao analtica se complementam na demonstrao por recorrncia.
Assim, o esprito encontra uma sucesso de oportunidades de se impor, afirmar e
reconhecer, espontaneamente e por necessidade, sua propriedade de pensar por recorrncia. A
induo matemtica tem origem e fim na afirmao de uma propriedade do prprio esprito,
ou seja, o princpio de recorrncia o caminho nico e fechado para a certeza da
generalizao.
O esprito encontra na induo matemtica, tambm chamada de induo completa,
por meio do raciocnio por recorrncia, a possibilidade de generalizar novas propriedades
matemticas, conduzindo a prpria matemtica aos passos subsequentes do seu
desenvolvimento, o que permite a Vuillemin afirmar:
Ora, esse poder vai, segundo ele [Poincar], bem alm desse princpio prprio aritmtica [o
princpio de induo completa]. reencontrado na lgebra, na teoria dos grupos, exprimindo-se
sob a forma da lei da homogeneidade [POINCAR, 1902, p. 62] e essa homogeneidade que faz
com que o conceito geral de grupo preexista no nosso esprito, pelo menos, potencialmente
[POINCAR, 1902, p. 67] (POINCAR, 1902, p. 11, prefcio de A cincia e a hiptese, 1984).
16
Vuillemin chama o princpio de recorrncia de princpio de induo completa e,
reencontr-lo nos desdobramentos a que o autor se refere, significa constatar os vrios modos
anlogos de aplic-lo. sempre por analogia que o princpio de recorrncia resgatado pela
induo completa para que possa conferir certeza generalizao das inmeras propriedades
matemticas possveis de serem encontradas atravs do uso da intuio.
No entanto, com respeito induo fsica, o esprito j no pode se impor, pois, se
uma ordem natural parece-lhe possvel, esta ordem est fora e independe dele. Resta-lhe,
ento, acreditar na existncia de uma ordem geral do universo e procur-la por meio de
analogias com sua propriedade de recorrncia, seu nico instrumento para a generalizao
rigorosa. Desse modo, o esprito procura numa amostragem limitada de eventos empricos
particulares uma propriedade comum a todos eles e que possa ser generalizada por induo;
somente depois disso poder supor que, por recorrncia, a propriedade se aplica a toda uma
sucesso de eventos anlogos. Por essa razo a induo fsica deve ser verificada a cada nova
experincia, a fim de que o esprito possa constatar se sua generalizao inicial ainda procede
e se a analogia com seu princpio de recorrncia permanece verdadeira.
Portanto, na induo matemtica o raciocnio por recorrncia antecede o raciocnio
indutivo e, por outro lado, no caso das cincias fsicas o raciocnio por induo antecede a
aplicao do raciocnio por recorrncia. Como vimos anteriormente, segundo Poincar o
raciocnio indutivo no pode legitimar o raciocnio por recorrncia, o que torna a induo
fsica incerta e inexata.
O salto epistemolgico do nvel matemtico ao nvel fsico somente pode ocorrer,
ento, por analogia, uma vez que a generalizao, segundo Poincar, depende da
demonstrao por recorrncia, presente unicamente na matemtica. Como vimos acima,
embora a induo completa seja uma certeza do esprito e a induo fsica no possa
ultrapassar sua condio de incerteza, quanto maior for a semelhana que se possa encontrar e
estabelecer entre propriedades fsicas e propriedades matemticas, maior a possibilidade da
induo fsica incerta reivindicar por analogia a certeza da induo matemtica.
Uma concluso similar que foi apontada acima pode ser encontrada em Heinzmann,
quando este afirma: A analogia evidente da induo completa com os procedimentos
habituais da induo reside na funo de serem instrumentos com a finalidade de estruturar
diferentes domnios (2009, p. 176), ou seja, os domnios da matemtica e da fsica.
No devemos nos esquecer, porm, que outra certeza do esprito repousa sobre a
verificao analtica que assegura o rigor silogstico a cada experimento particular.
17
Resumidamente, a verificao analtica, atravs do princpio de contradio, assegura
o rigor, enquanto que, a demonstrao por recorrncia, por meio do princpio de recorrncia,
assegura a generalizao pela sucessividade. Ambos so elementos fundamentais, segundo
Poincar, para a possibilidade do conhecimento cientfico.
Segundo Poincar, em se tratando da intuio e da lgica na matemtica, A intuio
no pode nos dar o rigor, nem mesmo a certeza (1904, p. 16), pois o rigor e a certeza provm
dos princpios de contradio e de recorrncia. A anlise pura pe nossa disposio uma
quantidade de procedimentos cuja infalibilidade ela nos garante (1904, p. 21, grifos meus) e
esse o papel da lgica e de seus procedimentos de verificao analtica: garantir o rigor, ou
seja, a infalibilidade.
A respeito da elaborao do conhecimento cientfico, Poincar afirma: Assim, a
lgica e a intuio tm cada uma seu papel necessrio. Ambas so indispensveis. A lgica, a
nica que pode dar a certeza, o instrumento da demonstrao: a intuio o instrumento da
inveno (1904, p. 23, grifos meus).
A intuio aplica a induo completa na tentativa de ampliar os limites da matemtica,
mas sua verificao atributo da lgica, sendo que, se usarmos termos kantianos, a
verificao analtica, enquanto que a atividade da intuio ou como se referiu Poincar, a
verdadeira demonstrao sinttica.
Segundo Poincar:
Os matemticos procedem, ento, por construo, eles constroem combinaes cada vez mais
complicadas. Voltando em seguida pela anlise dessas combinaes, desses conjuntos, por assim
dizer, e seus elementos primitivos, apreendem as relaes desses elementos e da deduzem as
relaes dos prprios conjuntos. (1902, p. 30)
A intuio dos matemticos uma faculdade do esprito ativa e criativa que se vale do
raciocnio por recorrncia, cuja origem surge do princpio sinttico a priori da recorrncia. A
intuio responde pela construo das combinaes matemticas, fazendo uso da induo
completa e propondo alternativas de ampliao matemtica. A lgica faz o caminho inverso
verificando analiticamente seus elementos primitivos, apreendendo as relaes desses
elementos e demonstrando, ou deduzindo as relaes dos prprios conjuntos.
Como possvel observar, esse movimento lgico acabou por se mostrar uma
generalizao, usada por Poincar para afirmar que esse um procedimento puramente
analtico, mas no um procedimento do geral para o particular, pois os conjuntos no
poderiam, evidentemente, ser vistos como mais particulares do que seus elementos (1902, p.
30). O autor remete a uma caracterstica tpica do raciocnio indutivo, que vai do particular
para o geral. No entanto, a deduo no ultrapassa os limites da construo inicial, ou seja,
18
O procedimento analtico por construo no nos obriga a descer, mas nos deixa no
mesmo nvel (POINCAR, 1902, p. 31) da generalizao que a intuio construiu
inicialmente.
Poincar conclui que:
No podemos ascender a no ser pela induo matemtica, a nica que nos pode ensinar algo
novo. Sem a ajuda dessa induo, diferente sob certos aspectos da induo fsica, mas to fecunda
quanto ela, a construo seria incapaz de criar a cincia. (1902, p. 31).
A induo matemtica, relembrando, diz respeito demonstrao por recorrncia,
construda pela intuio, mas verificada pela lgica. Essa construo presente na citao
de Poincar, que seria incapaz de criar a cincia, no a construo inicial empreendida
pela demonstrao por recorrncia, mas a construo puramente lgica, pois, essa no passa
de uma verificao analtica e silogstica. A demonstrao por recorrncia depende do
princpio de recorrncia e a verificao analtica depende do princpio de contradio; esses
princpios so propriedades do esprito. Veremos na prxima seo que quando Poincar cita
a expresso criar a cincia ele est se referindo tambm cincia da fsica, que tem,
necessariamente, de ser expressa numa linguagem matemtica.
Depois dessa exposio, pode-se inferir que quando Poincar prope haver uma
analogia evidente [do raciocnio por recorrncia] com os procedimentos habituais da
induo, e isso inclui a induo fsica, ele est transpondo fsica a caracterstica intuitiva da
construo sinttica pelo uso do raciocnio por recorrncia. Porm, no caso da fsica a intuio
deve encontrar alguma propriedade fsica que seja comum a sucessivas experincias
particulares e no simplesmente cri-la ou constru-la, como ocorre na induo matemtica, j
que a induo fsica depende dos experimentos empricos, externos ao esprito e
independentes dele. Desse modo, a intuio deve observar nas relaes fsicas alguma
propriedade que, aparentemente, por analogia, obedece ao princpio de recorrncia aplicado
sob a forma de induo. Partindo desse pressuposto, ser possvel prever resultados empricos
em futuros experimentos com base na propriedade observada, caso a analogia, de fato,
proceda. Entretanto, uma relao de analogia no uma relao de igualdade, como veremos
nas prximas sees.
A analogia entre as indues, fsica e matemtica, ser fundamental para a criao da
cincia, uma vez que, caso possam ser encontradas nas relaes fsicas semelhanas com as
relaes matemticas, talvez suas propriedades tambm sejam semelhantes, conferindo
alguma certeza induo fsica incerta. Assim, resumidamente, os sucessivos experimentos
fsicos precisam ser quantificados, de modo a serem analisados por uma perspectiva
19
matemtica. A comparao dos experimentos fsicos pela mensurao de seus resultados
matemticos permitir que se possa obter, pela via intuitiva, alguma propriedade fsica que
seja expressa sob a forma matemtica. Assim, quanto maior a semelhana formal entre uma
propriedade fsica expressa matematicamente e uma propriedade matemtica propriamente
dita, tanto mais ela poder representar uma relao objetiva, exata e verdadeira, embora essa
relao de semelhana nunca se torne uma igualdade.
O esprito precisa transpor fsica aquilo que tem por certo na matemtica. Essa
transposio depende da analogia, ou seja, da relao de semelhana que se pode estabelecer
entre ambas. Esse elo fundamental se consolida por meio da analogia entre a induo
completa e a induo fsica, como veremos na prxima seo.
Por ora, vejamos um exemplo simples de como o esprito busca a transposio das
relaes exatas para as relaes fsicas: Se colocarmos um espelho diante de outro espelho,
um voltado para o outro, e observarmos as imagens que se formam entre eles, teremos a
impresso inicial de estar vendo a sucesso de um nmero infinito de imagens. Entretanto,
devido s imperfeies dos espelhos, dificuldade de um alinhamento perfeito entre eles e,
at mesmo, ao nosso limitado alcance visual, enxergamos somente uma quantidade de
imagens limitada a essas condies materiais. Logo, a nossa impresso inicial precisou ser
reavaliada em funo das condies empricas de que depende o experimento.
O que nos sugeriu inicialmente que poderamos prolongar ao infinito essa quantidade
finita de imagens que se sucedem foi o raciocnio por recorrncia, uma vez que, segundo
Poincar, a intuio permite ao esprito usar essa propriedade da mente para ultrapassar a
condio material da experincia fsica, conferindo a ela, por meio da induo, uma
caracterstica puramente formal e, em ltima instncia, de uma previso atravs do raciocnio
matemtico.
O que ocorre, segundo a perspectiva poincareana, que o esprito reconhece uma
analogia entre a propriedade matemtica e a propriedade fsica. Assim, criamos leis
matemticas aplicando o princpio de recorrncia pelo uso de sua analogia na forma da
induo completa e, analogamente, estabelecemos leis naturais quando possvel observar
propriedades pelo uso da induo fsica. Se num segundo momento encontramos uma
paridade entre ambas, como no caso do exemplo dos espelhos, estamos pressupondo uma lei
natural da reflexo sucessiva e infinita de imagens entre espelhos planos, lei essa que se
assemelha a uma lei matemtica puramente formal que, no caso, poderia ser expressa por uma
relao do tipo f(x) = x + 1; ou seja, a mesma propriedade matemtica que usei anteriormente
para exemplificar a infinitude numrica, pode ser usada, por analogia, nesse exemplo da
20
sucesso infinita de imagens. Entretanto, se formalmente podemos inferir a infinitude,
empiricamente o infinito atual no possvel.



Se num primeiro momento Poincar atribui induo matemtica uma funo
fundamental para a prova de proposies gerais formais, em seguida, ele confere induo
fsica, por analogia, a funo de ferramenta de generalizao fundamental para a construo
da cincia emprica.
Poincar resolve a questo posta inicialmente argumentando em favor de uma
matemtica indutiva. Entretanto, a induo completa no o fundamento original da
matemtica; esse fundamento o princpio de recorrncia. Por meio do uso de analogias esse
princpio ir legitimar toda certeza que advm da criao de propriedades matemticas e se
tornar referncia para as cincias fsicas, por meio da analogia entre propriedades
matemticas e propriedades fsicas. A certeza das verdades matemticas indutivas ser usada,
por semelhana, para justificar as possveis verdades fsicas tambm obtidas por meio do
raciocnio indutivo.
Em ltima instncia, o esprito tenta projetar nas relaes encontradas na natureza a
certeza, exatido e rigor obtidos a partir da criao e construo de relaes que ele reconhece
internamente como verdadeiras, restando-lhe acreditar que seja possvel uma ordem geral do
universo externa ao esprito. Portanto, para Poincar, a verdade das leis fsicas depende
inicialmente da construo de uma verdade interna ao prprio esprito ou, em outras palavras,
no pode haver uma relao material verdadeira que no se corresponda com uma relao
formal reconhecida como verdadeira pelo esprito. Este ser o argumento fundamental e
necessrio para a construo de todo o conhecimento cientfico segundo Poincar.
Veremos nas prximas sees o papel das analogias e o que Poincar entende por lei,
seja natural, seja matemtica. Entretanto, antes de detalhar esses conceitos, resgataremos a
concepo de Poincar sobre criao matemtica e criao cientfica no domnio da fsica, e
ampliaremos o entendimento do papel da intuio, conceitos fundamentais para a
compreenso do papel das analogias e da lei.
21
1.3 A gnese da criao cientfica

Vimos na seo anterior que, para Poincar, a induo completa o fundamento
formal das propriedades matemticas, deriva exclusivamente da aplicao de uma propriedade
do esprito, ou seja, o princpio de recorrncia e, sendo assim, no depende do mundo fsico.
A induo fsica deriva da tentativa de aplicao do raciocnio por recorrncia nas relaes
fsicas, mas essas relaes so incertas, pois se apiam na crena de uma ordem geral do
universo. As propriedades fsicas, apoiadas na induo fsica, devem manter uma relao de
analogia com as propriedades matemticas, apoiadas na induo completa; a analogia entre
propriedades fsicas e propriedades matemticas visa, pela aproximao com a certeza da
induo completa, minimizar a incerteza inerente induo fsica.
Sero abordados agora os critrios usados na construo das relaes matemticas,
bem como na investigao das relaes fsicas, visando as propriedades que se possam extrair
dessas. Veremos nessa seo como se d a relao necessria entre a criao matemtica e o
desenvolvimento da fsica.
Veremos inicialmente que o raciocnio por recorrncia no se limita aplicao de
uma propriedade em eventos sucessivos, mas que a recorrncia a uma propriedade pode
derivar da comparao de relaes entre eventos particulares, numa srie aleatria de eventos.

Antes de comparar as relaes fsicas com as relaes matemticas cabe destacar que,
alm daquela condio anloga entre matemtica e fsica pela recorrncia sucessividade, h
uma condio anloga interna a cada uma delas que permite a criao do conhecimento, tanto
no mbito da matemtica, quanto no mbito da fsica, pela analogia comparativa e no apenas
pela sucessividade:
Fatos matemticos dignos de serem estudados so aqueles que, pela sua analogia com outros fatos,
so capazes de nos conduzir ao conhecimento de uma lei matemtica, da mesma forma que os
fatos experimentais nos conduzem ao conhecimento de uma lei fsica. Eles revelam relaes
insuspeitadas entre outros fatos, h muito conhecidos, mas se acreditava erradamente no haver
relao um com o outro. (POINCAR, 1908, p. 51).
Tanto os fsicos quanto os matemticos se utilizam do mesmo critrio de escolha para
destacar essas relaes que lhes interessam. Como vimos na seo anterior, por meio do uso
da intuio possvel destacar uma propriedade comum a fatos matemticos que mantm
alguma semelhana entre si. Assim, por exemplo, graas frmula, um nico clculo
algbrico nos salva do problema de uma repetio constante de clculos numricos
(POINCAR, 1908, p. 30). Nesse exemplo, a frmula algbrica representa uma relao
22
constante que evidencia uma lei matemtica. O mesmo ocorre com a escolha dentre os fatos
experimentais da fsica que evidenciam uma lei natural.
O que se pode observar nessa citao que Poincar no destaca a sucessividade entre
elementos matemticos, talvez porque o domnio a que se refira esteja para alm das relaes
puramente aritmticas. Quando o matemtico trabalha relaes mais complexas que as
propriedades bsicas da aritmtica, a analogia no pode se restringir sucessividade, pois ele
no est simplesmente criando uma nova propriedade. A analogia com outros fatos
estabelece uma comparao mais ampla entre fatos, aparentemente no-relacionveis. Mas,
por que esses fatos se destacam dos demais? O que os torna preferveis dentre os demais?
Isso se deve possibilidade de demarcarem alguma relao comum a uma grande
quantidade de fatos, alguns que, talvez, sequer tivessem sido notados. Isso favorece uma
condio de previso sobre toda uma classe de fatos por compartilharem a mesma relao.
Novamente notamos uma analogia, porm, desta vez, entre fatos aleatrios:
Na fsica, os fatos que do um grande retorno so aqueles que tomam o seu lugar em uma lei muito
geral, porque eles nos permitem prever um nmero muito grande de outros, e exatamente o
mesmo em matemtica. Suponha que eu me dedico a um clculo complicado e com muita
dificuldade chego a um resultado, nada terei ganho pelo meu problema, se ele no me permitir
prever os resultados de outros clculos anlogos, e dirig-los com segurana, evitando o tatear
cego com o qual eu tive de me contentar da primeira vez. (POINCAR, 1908, p. 29, grifo meu).
Nas operaes bsicas da aritmtica a intuio criou uma propriedade e a aplicou,
sucessivamente, por recorrncia. A intuio agora est identificando uma relao comum
entre vrios fatos aleatrios e demarcando uma propriedade que se aplique a todos esses fatos.
A partir das semelhanas entre as relaes e suas consequncias, ou seja, na lei fsica e
tambm na lei matemtica, possvel notar uma variao na aplicao do raciocnio por
recorrncia. A analogia estabelece a possibilidade de utilizar uma propriedade conhecida para
prever o resultado de outros clculos anlogos.
Entendo que, dessa vez, a recorrncia se d sobre uma propriedade obtida por meio da
analogia comparativa e no pela simples criao de uma propriedade. Nesse caso, a
recorrncia propriedade comum a todos os elementos no se estende somente ao sucessor de
cada elemento, como ocorre nas operaes aritmticas bsicas, mas a todo clculo anlogo,
desde que esse possa ser colocado numa mesma classe a que uma dada lei se aplique.
Temos, ento, o uso do raciocnio por recorrncia aplicado numa sucesso direta de
elementos quando a intuio cria uma propriedade; e temos, tambm, o uso do raciocnio por
recorrncia quando a intuio identifica, por analogia comparativa aleatria, uma propriedade
extensvel a toda uma classe de elementos, ou seja, que no obedece, necessariamente, a uma
23
sucesso. De todo modo, a faculdade da intuio que ir atravs da demonstrao por
recorrncia criar ou destacar essas propriedades ou leis.
Assim, o raciocnio por recorrncia permanece e a escolha se volta formao de
classes que permitam generalizaes em funo de propriedades comuns:
Os fatos que lhes interessam [aos fsicos] so aqueles que podem levar descoberta de uma lei,
aqueles que mantm uma analogia com muitos outros fatos e no aparecem para ns como
isolados, mas como intimamente agrupados com outros. [...] o que somente o verdadeiro cientista
pode ver a ligao que une vrios fatos os quais tm uma profunda, mas oculta analogia. [...] Na
matemtica fazemos exatamente a mesma coisa. Dos vrios elementos nossa disposio,
podemos formar milhes de combinaes diferentes, mas qualquer uma destas combinaes, desde
que esteja isolada, absolutamente sem valor; [...] logo que esta combinao toma o seu lugar em
uma classe de combinaes anlogas, cuja analogia reconhecemos, devemos estar, ento, no mais
na presena de um fato, mas de uma lei. (POINCAR, 1908, p. 27-28).
Poincar desenvolve a base das leis fsicas e a base das leis matemticas seguindo o
mesmo critrio de escolha: estabelecer propriedades entre fatos ou entre combinaes de
elementos que possam reunir um grande nmero de combinaes ou de fatos anlogos.
Embora, no caso da matemtica, a criao de propriedades seja possvel, como vimos nas
operaes bsicas da aritmtica; na fsica, entretanto, isso nunca ocorre, visto que as
propriedades so descobertas ou destacadas dentre as relaes empricas disponveis.
Estabelecida uma analogia comum, os fatos ou combinaes deixam de estar
aparentemente isolados, pois agora denotam uma propriedade ou lei comum a todos. Cada
fato ou combinao, anteriormente isolado, passa a participar de uma classe que mantm
relaes anlogas e conhecidas, mediante o uso do raciocnio por recorrncia a uma
propriedade ou lei, comum a todos e, que torna ainda possvel, a previso de resultados a todo
novo fato ou combinao que seja reconhecida como participante da analogia.
Porm, se os procedimentos de matemticos e fsicos para desenvolver a base de suas
leis seguem o mesmo critrio de escolha por analogia, entretanto, os domnios da fsica e da
matemtica permanecem independentes. O problema principal para a construo do
conhecimento cientfico emprico, segundo Poincar, reside na aproximao necessria, por
analogia, entre as leis fsicas e as leis matemticas j que somente essa analogia reduz a
incerteza das leis fsicas obtidas por meio da induo.
Nada impede que a matemtica se desenvolva a revelia dos interesses da fsica. A
induo matemtica depende unicamente da afirmao da propriedade do prprio esprito, ou
seja, da afirmao do princpio de recorrncia, no precisa se restringir s relaes impostas
pelos resultados empricos, como no caso da fsica. O desenvolvimento matemtico no
obrigado, necessariamente, a construir leis matemticas que, por analogia, se assemelhem s
leis fsicas. Segundo Poincar:
24
Sabemos muito bem que a matemtica continuar a se desenvolver, mas ns temos que descobrir
em que direo. Vou dizer "em todas as direes", o que parcialmente verdadeiro, mas se fosse
totalmente verdadeiro, se tornaria um tanto alarmante. Nossas riquezas logo se tornariam
constrangedoras, e sua acumulao em breve produziria uma massa to impenetrvel quanto a
verdade seria desconhecida para o ignorante. (1908, p. 26).
A matemtica, unicamente voltada a si, produziria riquezas constrangedoras caso
suas leis formais no pudessem ser utilizadas para estabelecer vnculos de analogia com as
leis materiais das cincias fsicas. Da perspectiva de Poincar, o conhecimento matemtico
deve privilegiar uma proximidade com as necessidades da fsica, sem abandonar sua prpria
origem:
Nossa cincia [a matemtica] faz fronteira com a filosofia e a fsica, e para esses dois vizinhos
que devemos trabalhar. [...] De um lado a cincia matemtica deve refletir sobre si mesma, e isso
til porque refletir sobre si mesma refletir sobre a mente humana que a criou; [...] Mas para o
lado oposto, o lado da natureza, que devemos dirigir nossas principais foras. [...] A encontramos
o fsico ou o engenheiro (1908, p. 36).
No resta dvida de que a correspondncia entre a fsica e a matemtica necessria
para que se desenvolva o conhecimento cientfico, por isso que o autor privilegia esse
caminho, contudo, sem descartar o desenvolvimento matemtico puro. Veremos que na
filosofia de Poincar o aspecto prtico decisivo nas escolhas do matemtico, pois a
matemtica se torna objetiva na medida em que tambm atende as necessidades objetivas do
fsico.
Stump (1989, p. 341) afirma que para Poincar O duplo objetivo da cincia ,
segundo ele, representar o maior nmero de fatos possvel e encontrar a maior unidade
possvel. A unidade da teoria encontrada na expresso matemtica das relaes dos muitos
fenmenos possveis. Concordo com Stump, entretanto, creio que seja necessrio acrescentar
que essa unidade terica entre fenmenos fsicos e a expresso matemtica flexvel e
sujeita constante reviso. Entendo que esse o critrio colocado por Heinzmann: O
problema de Poincar diz respeito ao equilbrio entre exatido e objetividade (2009, p. 172).
Segundo Poincar, a harmonia interna do mundo [...] [...] a nica verdadeira
realidade objetiva (1904, p. 8, grifos meus). A meu ver, segundo Poincar, a verdadeira
realidade objetiva, ou a harmonia interna do mundo diz respeito ao equilbrio que deve
haver entre a expresso matemtica e os fenmenos fsicos, ou ainda, ao equilbrio entre a
exatido matemtica que ser til lei fsica e a prpria projeo objetiva da lei matemtica
nos fenmenos empricos. Esse equilbrio deve ser observado de dois modos distintos:
(1) As leis matemticas so objetivas e exatas em si mesmas se considerarmos que
todo esprito humano, assim como o meu, poder obter das relaes matemticas os mesmos
resultados que meu esprito obteve. Nas palavras de Poincar: o que chamo de realidade
25
objetiva , em ltima anlise, o que comum a muitos seres pensantes, e poderia ser comum a
todos; essa parte comum [...] s pode ser a harmonia expressa por leis matemticas (1904, p.
9). As leis matemticas permanecem as mesmas, tanto subjetivamente quanto objetivamente,
para todo esprito humano que se predisponha a percorrer sua construo fazendo uso dos
mesmos pressupostos iniciais, tais como princpios, axiomas e postulados, verificando
analiticamente, ou silogisticamente, cada etapa dessa construo;
(2) Quanto maior for a aproximao, por analogia, entre uma lei matemtica e uma lei
fsica, tanto mais a lei fsica tomar para si a certeza e exatido da lei matemtica; por outro
lado, a lei matemtica se projeta objetivamente na lei fsica, na medida em que as relaes
formais internas ao esprito participam das relaes entre objetos materiais externos ao
esprito.
portanto essa harmonia [expressa por leis matemticas] a nica realidade objetiva, a
nica verdade que podemos atingir (POINCAR, 1904, p. 9) e aqui encontramos a nossa
verdade objetiva interna (1) projetada numa possvel verdade objetiva externa (2) o que nos
revela um realismo no pensamento poincareano, embora esse realismo esteja circunscrito
certeza da verdade no conhecimento matemtico
9
, pois o conhecimento emprico est sempre
sujeito a reviso. Entendo, portanto, que o realismo sugerido pelas afirmaes de Poincar
seja um realismo matemtico epistemolgico
10
.
Ainda segundo Poincar: [...] se acrescento que a harmonia universal do mundo a
fonte de toda beleza, ser possvel compreender que valor devemos atribuir aos lentos e
penosos progressos que nos fazem, pouco a pouco, conhec-la melhor (1904, p. 9). Creio que
essa harmonia, que causa admirao em Poincar, trata-se do equilbrio que deve haver e
que, por vezes encontramos entre a matemtica e a fsica pois as cincias empricas
necessitam da exatido das leis matemticas assim como, as leis matemticas tornam-se
empiricamente prticas e objetivas, quando so usadas na construo do conhecimento
cientfico e ultrapassam o seu aspecto puramente matemtico, participando efetivamente da
realidade das relaes empricas.
Portanto, o argumento (1) garante que o equilbrio entre exatido e objetividade j est
presente na matemtica e isso pode ser reconhecido por qualquer esprito humano. O
argumento (2) destaca o problema que surge ao tentarmos projetar esse equilbrio formal,


9
Veremos no captulo 3 que Worrall far uma conexo explcita entre esses elementos atribuindo realidade
uma estrutura matemtica.
10
Retomarei a questo sobre o realismo matemtico epistemolgico poincareano na seo 3.3.2 As estruturas
matemticas e a realidade.
26
presente na matemtica, num pretenso equilbrio material, dependente da crena de uma
ordem geral do universo, que possa estar presente nas cincias fsicas. Novamente
dependemos da condio de analogia; desta vez para que a exatido da lei matemtica seja
transposta objetivamente para a lei fsica. Eis, portanto, o equilbrio entre exatido e
objetividade a que me refiro.
Entretanto, dizer que se deve manter uma correspondncia entre a fsica e a
matemtica no significa dizer que a matemtica deve buscar suas relaes na natureza, pois,
como j vimos, a matemtica no uma cincia emprica. As escolhas dentre as combinaes
matemticas possveis que no devem se distanciar da objetividade:
O crebro do cientista, que apenas um canto do universo, nunca ser capaz de conter todo o
universo, de onde segue-se que, dos fatos inumerveis oferecidos pela natureza, vamos deixar
alguns de lado e manter outros. O mesmo verdadeiro, a fortiori, em matemtica. O matemtico
tambm no pode reter desordenadamente todos os fatos que so apresentados a ele, tanto
mais que ele prprio - eu j ia dizendo a seu prprio capricho - quem cria esses fatos. ele que
rene os elementos e constri uma nova combinao de cima para baixo, mas geralmente no
levado a ela por uma leitura da natureza. (POINCAR, 1908, p. 26, grifos meus).
O matemtico, ao contrrio do fsico, constri as relaes matemticas sem manter
qualquer vnculo de dependncia com as relaes empricas, j que depende somente de si, ou
de seu capricho, segundo Poincar. Mas, o fsico depende das relaes formais que o
raciocnio matemtico cria, na medida em que necessita de analogias que possam manter a
correspondncia entre o elemento fsico material e o elemento matemtico formal. Nesse
sentido, a exatido e a objetividade matemtica em seus dois aspectos apontados acima
devem suprir as necessidades da fsica para que a matemtica seja til e prtica.
Paty examina esse mesmo excerto de Poincar, destacando que o pensamento
devotado, por seu prprio pertencimento natureza e sua insero nela, a construir [...] uma
representao da realidade do mundo que no pode [...] coincidir com esse mundo, embora
as relaes entre os elementos da matemtica e do mundo fsico devam propor uma imagem
fiel [...] no sentido de analogia estrutural matemtica (2010, p. 190). Essa leitura de Paty
parece se voltar s escolhas que so necessrias para a elaborao de uma representao da
realidade, com base na referncia mtua constante que a fsica e a matemtica necessitam
manter. O autor parece sugerir que o pensamento, devido sua insero na natureza, se
encaminha espontaneamente busca por analogias entre leis matemticas e leis fsicas,
criando uma imagem fiel do mundo por meio de uma analogia estrutural matemtica.
Essa relao intrnseca imagem fiel, sugerida por Paty, a meu ver, favorece a perspectiva
de um equilbrio prtico entre exatido e objetividade, pela prpria tentativa de acomodar a
27
realidade do mundo numa analogia estrutural matemtica. Veremos em detalhes essa
perspectiva quando examinarmos o realismo estrutural proposto por Worrall (1989).
Visando, talvez, a manuteno das analogias necessrias ao desenvolvimento
cientfico e o equilbrio entre relaes formais e materiais, Poincar afirma que o matemtico
no deve ser para o fsico um simples fornecedor de frmulas; preciso que haja entre eles
uma colaborao mais ntima (1904, p. 90). O autor destaca, em cada uma dessas cincias,
suas divises mais prximas e, at mesmo, coincidentes: A fsica matemtica e a anlise pura
[lgica matemtica] no so apenas potncias limtrofes, que mantm relaes de boa
vizinhana, penetram-se mutuamente, e seu esprito o mesmo (1904, p. 90). Essa
proximidade tende a estabelecer um vnculo de correspondncia, uma analogia entre elas,
sempre que se observarem nas analogias internas da fsica, semelhanas com as analogias
internas da matemtica e, consequentemente, a correspondncia, por analogia, entre leis
fsicas e leis matemticas.
Segundo Poincar, Os matemticos no estudam os objetos, mas a relao entre os
objetos; [...] a matria no lhes importa, mas, unicamente a forma (1902, p. 34), eles
admiram a delicada harmonia dos nmeros e das formas (1904, p. 90) e a harmonia interna
do mundo cuja melhor expresso a lei (1904, p. 8). A harmonia dos nmeros e das
formas se refere objetividade interna matemtica, como vimos anteriormente; enquanto
que a harmonia interna do mundo se refere possvel projeo das leis matemticas nas
propriedades empricas. Novamente observamos a necessidade de encontrar uma correlao
entre leis fsicas e leis matemticas o que, em ltima instncia, torna admissvel preservar a
certeza, o rigor e a exatido das relaes formais matemticas no contexto de uma ordem
geral fsica. A definio da lei fsica tentar tomar emprestada da matemtica a harmonia e o
rigor de sua forma em nome da crena de uma ordem geral do universo. O equilbrio prtico
entre exatido e objetividade somente ser mantido quando a definio da lei fsica puder se
corresponder com a harmonia das leis matemticas, ou seja, aquilo que Poincar chama de a
nica realidade objetiva.
Finalmente, segundo Poincar, este sentimento, esta intuio de ordem matemtica,
que nos permite encontrar harmonias e relaes escondidas no encontrada em todo
indivduo, mas, aqueles que a possuem podem se tornar criadores e procurar fazer
descobertas com maior ou menor chance de sucesso, de acordo com a sua intuio mais ou
menos desenvolvida (1908, p. 50). Quando Poincar se refere a encontrar harmonias e
relaes escondidas est tratando da capacidade intuitiva de destacar analogias dentre
relaes aleatrias. Alm disso, Poincar atribui faculdade humana da intuio a capacidade
28
de criao por meio do uso do raciocnio por recorrncia. Entendo que essa capacidade no se
restringe criao matemtica, j que o desenvolvimento do conhecimento na fsica depende
do mesmo critrio intuitivo usado na construo das relaes matemticas; ou seja, a
construo, descoberta e escolha de propriedades por meio de analogias e, em seguida, a
aplicao dessas propriedades por meio do raciocino por recorrncia, cuja origem se encontra
no princpio de recorrncia. Com impresses prximas s que acabo de citar, Paty conclui
que:
Nesse trabalho de criao de uma representao, o papel mais fundamental o da intuio, pela
qual Poincar reconheceu um caminho sinttico global e imediato, que precedeu todo um trabalho
de anlise efetuado em seguida para assegurar a certeza. [...] Para Poincar, no que diz respeito s
matemticas, a intuio que inventa [...] uma intuio racional, capaz de inventar racionalmente
formas racionais, correspondentes de uma maneira particularmente adequada s formas do mundo
real e que constituem o conhecimento cientfico. Essa considerao plena de implicaes para a
natureza da inveno cientfica e para a natureza do racional que torna essa inveno possvel
(2010, p. 191, grifos do autor).
As formas racionais adequadas s formas do mundo real, a que Paty se refere,
dependem, segundo Poincar, da faculdade da intuio, cuja funo criativa, conforme vimos,
participa tanto das analogias internas da fsica e da matemtica, quanto das analogias entre
ambas. Entendo que nessa linha argumentativa poincareana, o critrio intuitivo de encontrar,
construir ou comparar relaes no se restringe ao domnio da matemtica, uma vez que as
analogias devem se manter sob o mesmo critrio, estendendo-se s combinaes,
propriedades e leis, sejam elas matemticas ou fsicas. Esse parecer acentua a participao da
intuio na natureza da inveno cientfica. Como destaca Paty, e conforme vimos
anteriormente, a intuio desempenha um papel essencialmente sinttico e seu trabalho
antecede a tarefa essencialmente analtica da lgica.

O intuicionismo de Poincar no o objeto central de nosso trabalho e, certamente,
possui caractersticas que requerem um detalhamento mais profundo do que as impresses
que pude tecer nesse pequeno ensaio sobre o papel da intuio, inicialmente na epistemologia
matemtica e, em seguida, na epistemologia da cincia.
Entretanto, entendo que no seja possvel compreender como a construo do
conhecimento pode ocorrer na viso de Poincar, sem que se compreenda esse movimento das
certezas internas do esprito transpostas s possveis certezas externas a ele.
Na viso intuicionista de Poincar o estatuto da verdade cientfica no procede das
relaes materiais, mas do prprio esprito. As certezas matemticas conferem exatido, por
29
analogia, s possveis certezas das cincias fsicas. O que dizer, ento, a respeito da conhecida
questo: Por que a fsica se expressa, necessariamente, em linguagem matemtica?
Como vimos at aqui, segundo Poincar somente por meio das relaes matemticas
que se pode chegar nica verdade que o esprito concebe e reconhece nas relaes entre as
coisas, sejam formais, sejam materiais; ou seja, as leis matemticas obtidas por meio do
raciocnio por recorrncia e da induo completa. A certeza da verdade nas leis matemticas
advm e retorna ao prprio esprito pelo trabalho criativo de sua faculdade humana da
intuio e seu rigor procede da anlise lgica, que verifica cada etapa particular da criao das
leis matemticas que so gerais; um movimento essencialmente indutivo. As leis fsicas
descobertas por comparao aleatria entre os resultados de eventos empricos devem,
necessariamente, manter uma relao de semelhana com as leis matemticas, com a
finalidade de estabelecer um vnculo entre elas que permita projetar a certeza, o rigor, a
exatido e a objetividade das leis matemticas numa objetividade das leis fsicas. Eis porque,
segundo Poincar, a fsica tem de se expressar, necessariamente, em linguagem matemtica: a
realidade objetiva [...] s pode ser a harmonia expressa por leis matemticas (1904, p. 9).
Entretanto, uma nova questo surge: Como essa verdade pode ser transposta fsica,
ou seja, como leis matemticas podem, por analogia, representar verdades propostas pelas leis
fsicas?
Na prxima seo comearemos a responder a essa questo ao delimitar o que se pode
entender por lei, segundo Poincar, e por analogia, de um modo geral.
30
1.4 Lei e analogia

Vimos na seo anterior que uma propriedade comum a uma classe de fatos, sejam
matemticos ou fsicos, e aplicvel, por analogia, a outros fatos semelhantes, denota uma lei.
A lei permite a previso de resultados, com base na propriedade comum observada em uma
classe de fatos conhecida, e aplicvel a um fato anlogo novo. As analogias entre leis
matemticas e leis fsicas tornam possvel a construo do conhecimento fsico. A intuio
responde pela criao cientfica; ela proporciona ao esprito encontrar e escolher, dentre as
relaes possveis, a que pode destacar ao menos uma propriedade que possa ser expressa na
forma de lei. H um interesse prtico e objetivo em manter uma correspondncia, por
analogia, entre as leis construdas na matemtica e as leis encontradas ou descobertas nas
relaes fsicas.
Por vezes me referi nas sees anteriores aos termos lei e analogia; no meu entender
esses conceitos ocupam importncia central na epistemologia poincareana, motivo pelo qual
tratarei de explicit-los na presente seo.
Comearei pelo conceito de lei em Poincar, sobre o qual mantenho uma posio
particular; defenderei que tanto as leis matemticas quanto as leis fsicas obedecem a uma
mesma estrutura comum, o que permite um vnculo de aproximao muito til entre as
relaes matemticas e as relaes fsicas.
Em seguida, examinaremos como podem ser entendidas as importantes relaes de
analogia e como essas relaes possibilitam que o raciocnio por recorrncia esteja presente
em todas as fases da construo do conhecimento cientifico, segundo a viso de Poincar.


1.4.1 A Lei

Poincar assegura que:
Se uma lei simples for observada em diversos casos particulares, poderemos legitimamente supor
que continuar a ser verdadeira nos casos anlogos. Rejeitar isso seria atribuir ao acaso um papel
inadmissvel. (2008, p. 230)
Essa afirmao de Poincar parece trazer consigo uma convico indutivista de uma
ordem implcita, tanto nos fenmenos naturais, quanto nas relaes formais e inteligveis.
Afinal, qual a origem dessa ordem implcita que a lei demarca? Ou ainda, de onde provm a
lei?
31
A lei provm da experincia, mas no imediatamente. A experincia individual, e a lei que dela
se tira geral; a experincia apenas aproximada e a lei precisa, ou ao menos pretende s-lo. A
experincia se realiza em condies sempre complexas, e o enunciado da lei elimina essas
complicaes. o que chamamos de corrigir erros sistemticos. Em uma palavra, para extrair da
experincia a lei preciso generalizar. (POINCAR, 1904, p. 91, grifo meu).
Poincar est propondo a passagem do pensamento no nvel da experincia individual,
no seu sentido de particular, ao nvel geral, no seu sentido de universal, ou seja, um raciocnio
indutivo. A partir da generalizao por induo pode-se prever que uma mesma propriedade
deve se repetir em todas as experincias particulares que possamos definir como anlogas s
que permitiram a generalizao na forma de lei.
Como j vimos na seo 1.2 A intuio e a origem da induo, segundo Poincar,
isso se deve analogia que o raciocnio por induo mantm com o raciocnio por recorrncia
e ocorre tanto na induo completa quanto na induo fsica. O que muda a ordem de
aplicao desses raciocnios, ou seja, na induo matemtica o raciocnio por recorrncia
anterior ao raciocnio por induo e na induo fsica essa ordem se inverte. Portanto, a ordem
implcita que a lei demarca se origina na aplicao, por analogia, do princpio de recorrncia
em ambos os casos.
Nessa passagem Poincar est se referindo diretamente lei fsica, pois se a
experincia se realiza em condies sempre complexas isso se deve limitao da atuao
do esprito em sua relao com o emprico e, alm disso, a tentativa de impor preciso lei
enfatiza a impreciso das relaes empricas.
Entretanto, encontro certa semelhana entre as leis fsicas e as leis matemticas, pois,
embora a generalizao obtida do enunciado da lei matemtica seja sempre precisa, por outro
lado sempre aproximativa no seu sentido restritivo, como explicarei adiante. Alm disso,
direi que o enunciado da lei matemtica tambm corrige erros sistemticos. Para
desenvolver essa minha posio, pretendo, a seguir, analisar a lei matemtica sob a
perspectiva necessria ao seu uso prtico: exato e objetivo na medida do equilbrio possvel
entre lei fsica e lei matemtica, conforme vimos na seo 1.3 A gnese da criao
cientfica.
Partindo desse pressuposto, direi que as tentativas de estabelecer relaes, sejam
matemticas, sejam fsicas, so sempre testadas uma a uma. Aps uma srie de experincias
individuais que se podem obter informaes tais que alguma propriedade comum possa ser
elaborada. Como vimos, a intuio permite ao esprito encontrar, ou construir no caso da
matemtica, uma propriedade comum a uma classe de experincias singulares, para que se
possa propor uma generalizao em forma de lei.
32
Em primeiro lugar, no devemos nos esquecer de que a experincia pura, por meio da
intuio, no emprica, mas sim, experincia racional que torna possvel a criao
matemtica por meio da induo completa.
Em segundo lugar, direi que tanto a experincia fsica emprica quanto a experincia
matemtica pura so aproximadas, no sentido de experincias restritas; cada qual restrita sua
condio singular. Cada uma das experincias, puras ou empricas, relaciona diferentes
elementos com diferentes abrangncias em diferentes condies; particular e permanece
restrita sua singularidade enquanto objeto de anlise, ou seja, enquanto a verificao
analtica se limita a uma nica experincia de cada vez, tanto no aspecto fsico quanto no
aspecto matemtico.
No caso da experincia pura matemtica seria inadmissvel interpretar o termo
experincia aproximada como experincia imprecisa ou inexata, haja vista que em
matemtica, a exatido no tudo, mas sem ela no h nada: uma demonstrao que carece de
exatido absolutamente nada (POINCAR, 1908, p. 32). J no caso da experincia fsica,
portanto emprica, a interpretao poder ser considerada como aproximada nos sentidos
restritivo, impreciso ou inexato, sem que haja a perda de rigor no nosso raciocnio, uma vez
que sua condio material impede que possamos extrair dela um rigor formal.
O mesmo raciocnio que desenvolvi para o que pode ser entendido por experincia
aproximada cabe na anlise da lei aproximada, uma vez que seu enunciado, tanto na
matemtica quanto na fsica, deve corrigir erros sistemticos, pois ele delimita uma
propriedade, sua abrangncia e qual condio de semelhana no interior das experincias
particulares esto caracterizando a lei. Ao mesmo tempo, essa delimitao prtica est
excluindo as experincias que no se enquadram na propriedade que deve estar bem
estabelecida pela lei, ou seja, est eliminando as excees regra.
A lei o resultado prtico dessa eliminao necessria que visa estabelecer uma ou
mais propriedades comuns entre os fatos que, anteriormente, aparentavam estar isolados ou
sem conexo entre si.
O enunciado da lei pode corrigir erros sistemticos e eliminar complicaes, mas,
mesmo assim, a lei deve abarcar uma grande quantidade das experincias j conhecidas e
eliminar apenas poucas excees que no puderem ser generalizadas, caso contrrio, a
generalizao perde o efeito desejado. Percebemos ento, que por mais geral que seja a lei, ela
deve definir o seu prprio domnio de atuao.
33
Como possvel que o enunciado da lei generalize uma propriedade e, ao mesmo
tempo, imponha um domnio que limite seu alcance? Esse xito prtico da generalizao
depende de uma linguagem bem escolhida:
Quando a linguagem foi bem escolhida, fica-se surpreso ao descobrir que todas as demonstraes
feitas para um objeto conhecido imediatamente aplicam-se a muitos novos objetos: nada precisa
ser mudado, nem mesmo os termos, uma vez que os nomes se tornaram o mesmo. Um termo bem
escolhido muitas vezes suficiente para remover as excees permitidas pelas regras indicadas na
terminologia anterior. (POINCAR, 1908, p. 34, grifos meus).
A linguagem usada no enunciado da lei, por meio de um ou mais termos bem
escolhidos, pode eliminar as excees que fogem regra que se quer estabelecer como lei. No
caso da matemtica Isso explica a inveno de quantidades negativas, quantidades
imaginrias, decimais ao infinito, e no sei mais o qu (POINCAR, 1908, p. 34). O uso dos
termos de linguagem indica o domnio e a abrangncia da lei; no exemplo de Poincar, se
pode entend-los como nmeros negativos, nmeros complexos e nmeros incomensurveis,
ou seja, os sub-conjuntos matemticos que limitaro a aplicabilidade da lei. J, no caso da
fsica, por exemplo,
os fsicos [...] inventaram o termo "energia", e o termo foi enormemente proveitoso, porque ele
tambm cria uma lei por eliminao de excees; pois d o mesmo nome s coisas que diferem na
matria, mas so semelhantes na forma. (PONCAR, 1908, p. 34-35).
De um modo geral, o pesquisador intui a possibilidade de generalizar por meio da
linguagem, escolhendo termos adequados de modo a decretar uma lei, uma propriedade
comum a um grande nmero de fatos, inicialmente isolados, mas, a partir de ento, vinculados
a uma regra prtica aplicvel a novos fatos similares que venham a surgir no contexto e dentro
do domnio da lei.
Esta uma das caractersticas pelas quais reconhecemos os fatos que do um grande retorno: so
os fatos que permitem essas inovaes felizes da linguagem. O fato nu, ento, s vezes no de
grande interesse: ele pode ter sido observado vrias vezes, sem prestar qualquer grande servio
cincia; ele s adquire valor quando alguns pensadores mais meticulosos percebem a conexo que
ele traz tona, e o simboliza por um termo. (POINCAR, 1908, p. 34, grifos meus).
O papel da linguagem, sob esse contexto, de fornecer a correspondncia entre os
elementos e a propriedade comum a eles, deixando excludos aqueles que no participam
dessa relao. Os termos da linguagem denotam a abrangncia da lei e permitem que a
propriedade em destaque seja verificada dentre os elementos por ela abarcados.
A linguagem ainda pode resumir em palavras simples uma ideia complexa, ao mesmo
tempo eliminando as excees que no interessam formulao da lei.
Graas aos termos "grupo" e "isomorfismo", que resumem esta regra sutil em algumas slabas
[cuja matria de pouco interesse, e somente a forma importa], e a tornam assimilvel por todas as
34
mentes, a passagem imediata, e pode ser feita sem gastar nenhum esforo de pensamento.
(PONCAR, 1908, p. 35).
O conceito de grupos matemticos

segundo Poincar, permitiu perceber a essncia de
muitos raciocnios matemticos e participou efetivamente da compreenso de generalidades
matemticas em muitos casos [em que] os matemticos antigos estavam lidando com grupos
sem o saber (1908, p. 35)
11
.
Entretanto, Poincar alerta: nunca devemos esquecer que as excees so perniciosas,
porque elas escondem leis (1908, p. 34). Ou seja, as excees escondem outras relaes que
eliminamos por ocasio da escolha de um termo adequado a tornar evidente a lei de nosso
interesse imediato. Essas relaes no nos so interessantes por ora, mas, certamente, elas
podem ser abarcadas por outros termos, ou seja, outras linguagens. Diferentes linguagens, por
meio do uso de outros termos, podem propor generalizaes distintas da nossa lei inicial, e
que sejam ainda mais abrangentes que nosso termo atual. Para tanto, principalmente no caso
da fsica, basta que novas relaes surjam, no mesmo contexto das experincias que se
tornaram excees nossa lei atual, para que se torne evidente a necessidade de uma nova lei
mais abrangente; lei esta que poder exigir a criao de um novo termo bem escolhido que
a destaque.
Em outras palavras, quando Poincar se refere a corrigir erros sistemticos por meio
de um termo bem escolhido est enfatizando o uso da linguagem como soluo prtica que
permite a criao de uma referncia legtima comum a um grande nmero de fatos
semelhantes. Porm, adverte que esse recurso torna a lei aproximativa, j que permite
generalizar apenas dentro de certos limites estabelecidos pela linguagem o prprio
enunciado da lei, tanto matemtica quanto fsica. O recurso de linguagem, ou seja, o termo
bem escolhido, por um lado permite a generalizao, por outro lado restringe a amplitude das
relaes possveis entre as experincias e, no caso da fsica, exclui algumas delas da lei em
nome de sua praticidade.
Ao perguntar como pode uma lei se tornar um princpio? Poincar afirma que a
definio da lei, desde seu incio, j tem um carter aproximativo:
A lei exprimia uma relao entre dois termos reais A e B. Mas ela no era rigorosamente
verdadeira; tinha um carter apenas aproximativo. Introduzimos, arbitrariamente, um termo
intermedirio C, mais ou menos fictcio, e C , por definio, o termo que tem com A exatamente
a relao expressa pela lei. A nossa lei, ento, foi decomposta em um princpio absoluto e rigoroso
que exprime a relao entre A e C e uma lei aproximativa e sujeita reviso que exprime a relao


11
Voltaremos a esse conceito na seo 1.5.2 A percepo, a geometria e a matemtica. O intuito aqui
apenas destacar que um termo, carregado do significado terico adequado, pode sintetizar um conjunto de
relaes que, inicialmente, se mostravam isoladas e independentes, mas que mantm uma propriedade comum.
35
entre C e B. evidente que, por mais longe que levemos essa decomposio, sempre existiro
leis (1902, p.112)
12
.
Embora possa parecer estranho que Poincar se refira a termos reais de uma relao,
devemos lembrar-nos que, para ele, a nica realidade objetiva so as relaes entre as coisas,
de onde resulta a harmonia universal (POINCAR, 1904, p. 170) e, como vimos na seo
1.3 A gnese da criao cientfica, denota uma viso realista tpica de Poincar.
O sentido aproximativo da lei deriva do fato que, mesmo uma propriedade sendo
comum a um grande nmero de relaes particulares, as condies que definem sua
ocorrncia j impem limites sua generalizao. Por isso, desde seu princpio o objetivo de
tornar a propriedade uma lei j impe uma condio restritiva e, nesse sentido, ela
aproximativa por se restringir a um grupo de relaes particulares em detrimento do todo; e
isso vale tanto no domnio da matemtica quanto da fsica.
Entendo que o termo C definio mais ou menos fictcia, interposta na relao que A
mantm com B e que a lei deveria exprimir justamente o termo bem escolhido,
adequado a definir as condies que tornam a lei aplicvel e especfica, corrigindo seus erros
sistemticos. Ele mais ou menos fictcio porque no passa de um recurso de linguagem
que efetiva a diviso entre as relaes que participam das condies de aplicao da lei e
aquelas que estaro excludas dela.
O princpio absoluto e rigoroso a que Poincar se refere nesse excerto pode ser
entendido de trs maneiras: (1) no caso da lei matemtica o princpio de recorrncia por sua
analogia com induo completa; (2) no caso da lei fsica, tambm o princpio de recorrncia,
porm, sujeito a dois nveis sucessivos de analogias; (3) pode ser um postulado, um axioma
(exceto os axiomas da aritmtica que so juzos sintticos a priori) ou princpios
convencionais (como os princpios da mecnica), ou seja, convenes.
No caso (2), se considerarmos que a lei fsica sempre dever se apoiar numa relao de
analogia com alguma lei matemtica, a induo matemtica estar presente, por analogia,
nessa relao proposta pela lei fsica; a prpria induo matemtica, mantm preservado, por
analogia, o princpio de recorrncia.
A condio descrita no caso (3), em que o princpio absoluto e rigoroso se refere a
convenes, ser vista em detalhes na seo 1.6.1.5 As hipteses aparentes ou convenes.


12
Nesse excerto Poincar est se referindo definio de lei fsica e ao processo pelo qual se pode extrair dela
um princpio fsico. Defendo que a interpretao de lei que esse excerto fornece pode ser estendida, por analogia,
lei matemtica, permitindo a generalizao do conceito de lei em Poincar. Proponho tornar sua generalizao
mais ampla, ampliando tambm sua praticidade, seguindo os caminhos propostos pelo prprio Poincar quando
se refere ao uso das analogias, como veremos na seo 1.4.2 As analogias.
36
A relao entre C e B detm as excees que foram deixadas de lado pelo uso do
termo bem escolhido. Conforme advertiu Poincar, essas excees escondem leis que
sempre sujeitaro a lei fsica a uma reviso ou a uma ampliao, ora mais ora menos. No caso
da lei matemtica um simples fator limitador da abrangncia e do domnio que a lei abarca.
De um modo geral, o termo bem escolhido torna prtico o uso da lei, delimitando sua
abrangncia e mantendo fora dela suas excees, ao mesmo tempo conservando a exatido
dentro dos limites da generalizao da lei.
Defendendo por meio dessa generalizao que, em ltima instncia, o que Poincar
descreve como lei parece ser compatvel com uma mesma estrutura, tanto para a definio de
uma lei fsica quanto para a definio de uma lei matemtica. Deixo claro que essa no uma
afirmao literal de Poincar, mas interpreto que essa generalizao a que me refiro
compatvel com a aproximao necessria que deve haver entre as leis fsicas e as leis
matemticas, em prol da construo do conhecimento no mbito da cincia. A meu ver, a
prpria estrutura que define essas leis j as aproxima por analogia.
1.4.2 As analogias

Vimos na seo 1.3, que segundo Poincar, a intuio ocorre em diferentes graus de
desenvolvimento para cada esprito humano; ela responde pela construo, identificao e
escolha dentre as relaes que podem destacar alguma propriedade til para o
desenvolvimento do conhecimento cientfico. A faculdade da intuio, nessa sua tarefa
criadora, faz uso da analogia, ou da condio de semelhana, entre relaes, combinaes,
propriedades e leis. A analogia, nesse sentido, representa um papel fundamental, transferindo
de uma a outra instncia da criao cientfica a nica certeza que o esprito carrega com
respeito s relaes entre as coisas, ou seja, transpe a certeza da demonstrao por
recorrncia, desde a instncia matemtica at a instncia fsica.
Ao propor a questo: como generalizar?, Poincar admite que toda verdade
particular pode ser estendida de uma infinidade de maneiras, mas, somente a analogia pode
nos guiar por entre as melhores escolhas (1904, p. 91-92).
Ento, quais as condies de uma boa analogia? Como encontr-la? Afinal, como
podemos identificar as relaes de semelhana que permitam extrair delas propriedades
comuns e leis que interessam cincia?
37
bem provvel que no exista tal receita e, caso ela exista, s possa ser acessada pela
via intuitiva. Entretanto, se Poincar no a pode fornecer, ao menos comea a nos indicar um
caminho. Ele questiona sobre Quem nos ensinou a conhecer as analogias verdadeiras e
profundas, aquelas que os olhos no vem, e que a razo adivinha? (1904, p. 92, grifos
meus) e sua resposta nos remete natureza do raciocnio matemtico: O esprito matemtico,
que desdenha a matria para s se ater forma pura. Foi ele que nos ensinou a chamar pelo
mesmo nome seres que s diferem pela matria (1904, p. 92) ou, dito de outra maneira, a
matemtica a arte de dar o mesmo nome para coisas diferentes (1908, p. 34). Se
encontrarmos dentre essas coisas diferentes, algo que as assemelhe sob uma nica
designao, a estar a analogia. Entretanto, como vimos na seo anterior, uma boa
designao ou, segundo Poincar, um termo bem escolhido faz mais do que simplesmente
dar o mesmo nome a coisas aparentemente diferentes; ele delimita a abrangncia de uma
propriedade comum a essas coisas, tornando-as semelhantes, circunscrevendo uma regra de
semelhana aos seus elementos aparentemente diferentes.
Ainda como vimos anteriormente, a princpio podemos dispor de um grande nmero
de experincias para, na sequncia, encontrar alguma propriedade que seja comum, seno a
todas, ao menos a boa parte dessas experincias.
Se para encontrar uma propriedade dependemos de vrias experincias, ser que
alguma em especial pode se destacar das demais? Afinal, O que , ento, uma boa
experincia? a que nos desvenda algo alm de um fato isolado; a que nos permite prever,
isto , a que nos permite generalizar, pois, sem generalizao, a previso impossvel
(POINCAR, 1902, p. 116). O princpio puro de recorrncia e a generalizao esto
intimamente ligados nessa tarefa. A intuio, nesse sentido, constri, encontra e escolhe, por
meio de boas experincias que representem toda uma classe de eventos, quais participam e
como se d essa generalizao.
No caso da fsica experimental
O fato observado jamais se repetir; a nica coisa que podemos afirmar que, em circunstncias
anlogas, um fato anlogo acontecer. Portanto, para prever, preciso, pelo menos, invocar a
analogia; o que quer dizer que, j aqui, temos que generalizar. (POINCAR, 1902, p. 116)
Podemos dizer ento, que a boa experincia torna possvel que a intuio perceba
uma propriedade e, por meio de circunstncias anlogas, permite prever a ocorrncia de um
resultado anlogo, ou seja, generaliza e torna previsvel.
Selecionar a boa experincia dentro do universo de experincias disponveis para
anlise tarefa da faculdade da intuio, mas Poincar no nos indica como selecion-la.
38
Entretanto, se o esprito matemtico nos ensina a conhecer as analogias verdadeiras e
profundas e, alm disso, privilegia a forma pura em detrimento da matria,
consequentemente, no mbito da experincia fsica, a boa experincia nos mostrar uma
propriedade formal que participa do universo de experincias de nosso interesse. Assim,
diante da seleo de experimentos fsicos, invocar a analogia representa, na medida do
possvel, enfatizar a propriedade formal e descartar os elementos materiais que no a
influenciam e dela no participam. A boa experincia seria, ento, aquela que evidencia a
forma geral da propriedade comum ao universo de experimentos em detrimento das condies
materiais especficas de cada experimento.
O enunciado da lei, decreta, por meio de termos bem escolhidos, propriedades que
favorecem o raciocnio por recorrncia, haja vista que cada um dos experimentos, por
recorrncia propriedade geral, evidencia o que foi contextualizado pela lei.
Esse proceder com vistas construo de leis fsicas muito semelhante ao que foi
descrito na construo de leis matemticas na seo 1.2 A intuio e a origem da induo,
com a qual a intuio elabora sinteticamente a demonstrao por recorrncia para que a
lgica, em seguida, verifique analiticamente cada etapa particular e a prpria frmula geral.
Segundo Hesse (1966, p. 74), a induo estabelece um vnculo direto com a analogia,
uma vez que h sempre leis conhecidas ligando as propriedades de cada anlogo. A lei a
prpria sntese da repetio da propriedade em cada experimento e ela vai do particular para o
geral caracterizando um raciocnio indutivo.
A analogia, assim, permite a generalizao por induo, tanto quando se estabelece
uma lei fsica, quanto no caso de uma lei matemtica. H aqui, ento, uma confluncia de
conceitos em torno do raciocnio por recorrncia: as analogias usadas no processo de
elaborao das leis fsicas e das leis matemticas mantm vnculo com o prprio raciocnio
indutivo. Recamos, portanto, na condio inicial da criao intuitiva sinttica seguida da
verificao analtica lgica, sendo que, agora podemos afirmar que a prpria analogia opera
por esses meios. O princpio de recorrncia passa a ser referncia para todos os nveis da
construo do conhecimento cientfico, includos os processos analgicos, pois, o princpio de
recorrncia se assemelha, por analogia, com o raciocnio indutivo, mas o prprio ato de
elaborar analogias faz uso do raciocnio por recorrncia. Todas as fases da criao do
conhecimento cientfico encontram-se permeadas do raciocnio por recorrncia.
Finalizando essa explanao sobre as analogias quero destacar, com a ajuda dos
escritos de Hesse, mtodos usuais na cincia que estabelecem analogias diretas e indiretas
entre leis matemticas e leis fsicas. Eis um exemplo prtico citado por Hesse:
39
vejamos o que exatamente queremos dizer ao falar sobre ondas sonoras. No tem o mesmo
significado que quando falamos de ondas de gua, porque [...] as ondas sonoras so longitudinais e
no transversais. A palavra persiste porque ambas as teorias usam o mesmo formalismo
matemtico, o qual ns chamamos equao de onda, diferentemente aplicada nos dois casos. O
que as ondulaes da gua e as ondas sonoras tm em comum est completamente contido no
formalismo matemtico, e este nosso objetivo ao continuar a usando a palavra "onda". (1966, p.
20, grifos meus).
O termo onda, por analogia, generaliza uma propriedade comum a diversas
experincias fsicas. A equao de onda generaliza uma propriedade matemtica comum a
diversas relaes matemticas singulares que, provavelmente, foram notadas na aferio das
relaes fsicas por ocasio dos experimentos empricos. A analogia entre a propriedade
matemtica e a propriedade fsica presente em seus ramos distintos, estabeleceu a
possibilidade da correspondncia entre leis fsicas e uma lei matemtica, ou formalismo
matemtico, como se queira. Desse modo, o processo incerto de induo fsica encontrou,
nesse caso, por analogia, certo respaldo na exatido da lei obtida por meio da induo
matemtica, possibilitando um ganho de conhecimento cientfico. A previso de resultados se
torna extensvel a todo experimento anlogo posterior.
Nesse exemplo, como em outros exemplos citados por Hesse, ocorre tambm uma
analogia interna prpria fsica; podemos identificar que:
[...] h uma analogia entre dois ramos da fsica em virtude do fato do mesmo formalismo
matemtico aparecer em ambas as teorias. [...] Em outras palavras, a estrutura matemtica das duas
teorias a mesma, e, consequentemente, uma teoria pode ser utilizada como modelo para a outra.
(HESSE, 1953, p. 201).
Segundo observa Hesse, essa analogia encontrada entre ramos distintos da fsica, se
justifica a partir da lei matemtica comum a ambas; assim, uma teoria fsica pode se tornar
modelo para a outra teoria fsica e a lei fsica pode ser compartilhada por elas, desde que a
relao de analogia se mantenha. Ser possvel, ento, considerando o exemplo anterior,
estudar o comportamento de ondas sonoras com base no comportamento das ondas de gua, j
que, mantm semelhanas formais entre si. Entretanto, numa relao de modelagem como a
do exemplo, somente os aspectos formais e matematizveis devem ser considerados, tendo em
vista que os aspectos fsicos especficos do som e relativos hidrodinmica, podem no
determinar analogias teis
13
.
Segundo Hesse, de um modo geral:


13
Em HESSE, M. B. (1966, p. 7-14, 57-64) a autora classifica as analogias relativas analise de modelos para
estudos da fsica como analogias positivas, negativas e neutras.
40
Uma analogia na fsica uma relao, seja entre duas hipteses, ou entre uma hiptese e alguns
resultados experimentais, em que certos aspectos de ambos os relacionados podem ser descritos
pelo mesmo formalismo matemtico. (1953 p. 202)
A analogia entre duas hipteses
14
ocorre quando o mesmo formalismo matemtico, ou
seja, a mesma propriedade matemtica, se aplica igualmente a duas hipteses fsicas distintas,
permitindo que uma hiptese fsica sirva de modelo para o estudo da outra. A analogia entre
uma hiptese fsica e alguns resultados experimentais ocorre quando uma propriedade fsica
presente na hiptese se corresponde, por analogia, com alguma propriedade matemtica
encontrada na aferio dos resultados experimentais.
A analogia entre relaes fsicas e matemticas representa a prpria correspondncia
que a lei fsica necessita manter com alguma lei matemtica, leis essas que abarcam
propriedades.
Em ltima instncia, o que os modelos
15
podem trazer de til para a fsica alguma
analogia com leis matemticas ou leis matematizveis, ou seja, recamos sobre a busca de
exatido e objetividade com vistas possvel certeza da lei fsica. em funo disso que os
modelos da fsica privilegiam o formalismo e descartam aspectos materiais, como bem
destaca Hesse:
Em mecnica clssica, as entidades discutidas, tais como planos, esferas lisas perfeitamente
rgidas, e similares, no so descries literais de nada que seja encontrado na natureza, mas so
simplificaes de objetos naturais que chegaram a tudo negligenciar, menos algumas propriedades
dos objetos propriedades as quais so selecionadas por que so passveis de tratamento
matemtico. (1953, p. 202).
Essa perspectiva destacada por Hesse torna possvel afirmar que, mesmo no auge do
uso dos modelos pela mecnica clssica, as propriedades matematizveis desses modelos
que poderiam conferir alguma certeza, por analogia, s relaes fsicas que deles se pudesse
intuir.
Novamente, torna-se evidente que a fsica se aproxima do formalismo matemtico em
busca da certeza, exatido e rigor de que carecem as propriedades fsicas. Entretanto, as
analogias so o nico meio pelo qual o raciocnio por recorrncia, derivado do princpio de
recorrncia, consegue transpor todas as etapas da criao das leis matemticas e alcanar as
leis fsicas no mbito da construo do conhecimento cientifico.


14
Veremos na seo 1.6 O papel das hipteses detalhes sobre as hipteses segundo Poincar.
Provisoriamente podemos entender as hipteses a que Hesse se refere como possveis propriedades sugeridas
pelas teorias fsicas.
15
Nesse texto no entrarei no mrito da definio dos tipos de modelos e suas possveis classificaes, pois, para
meu intuito considero suficiente entend-los como recursos teis possibilidade de estabelecer analogias. Em
BEZERRA, V. A. (2011, p. 587-595) encontra-se uma sugesto de classificao sobre os tipos de modelos na
fsica e suas caractersticas.
41
1.5 Ajustando a matemtica fsica

Observamos ao longo das sees anteriores aspectos fundamentais da epistemologia
da cincia de Poincar; sua origem na verdade aritmtica calcada no princpio de recorrncia;
a necessidade das analogias e do raciocnio indutivo no interior da matemtica, da fsica e na
correspondncia entre ambas; e a condio de verdade possvel na lei fsica que,
necessariamente, mantm como referncia a lei matemtica.
Como vimos anteriormente na seo 1.3 A gnese da criao cientfica a
matemtica independe das relaes empricas para construir suas relaes. A fsica, ao
contrrio, depende das relaes matemticas que se correspondam, por analogia, com relaes
fsicas. Somente a objetividade matemtica pode fornecer instrumentos rigorosos, exatos e
infalveis fsica.
A presente seo, conforme seu ttulo sugere, ir abordar a etapa da elaborao do
conhecimento cientfico no limite da referncia mtua entre a matemtica e a fsica. Pretendo
tambm aprofundar a importncia e a necessidade do equilbrio entre exatido e objetividade,
de que tratamos na seo 1.3, e que tem de estar presente nessa interface matemtica/fsica,
garantindo uma finalidade prtica para as leis matemticas.
1.5.1 O contnuo matemtico e o contnuo fsico

Nessa seo tratarei sobre o contnuo matemtico que, segundo Poincar, teve sua
criao elaborada e motivada pela noo do contnuo fsico, derivada dos dados brutos dos
sentidos (1902, p. 38). Assim, o meu intuito ilustrar, ao modo de Poincar, como um
contnuo matemtico pode ser criado e construdo de tal forma a se assemelhar, por
aproximao, noo de contnuo fsico e, mesmo assim, conservar a exatido e o rigor
tpicos da matemtica.
Partamos da escala dos nmeros inteiros; entre dois nveis [chelons] consecutivos intercalaremos
um ou vrios nveis intermedirios, depois, entre esses novos nveis, outros ainda e, assim,
indefinidamente. Teremos, desse modo, um nmero ilimitado de termos, que so os nmeros que
so chamados fracionrios, racionais ou comensurveis. Mas no tudo; entre esses termos que j
so em nmero infinito, preciso intercalar ainda outros, que so chamados irracionais ou
incomensurveis. [...] O contnuo assim concebido no passa de uma coleo de indivduos
colocados em uma certa ordem, em nmero infinito, verdade, mas exteriores uns aos outros. [...]
S a multiplicidade subsiste, a unidade desapareceu; o contnuo a unidade da multiplicidade.
(POINCAR, 1902, p. 33, grifo do autor).
42
Poincar destaca o fato de que na construo matemtica podemos arbitrariamente
introduzir elementos, o que no nos deve parecer estranho, uma vez que a criao matemtica
no v limites, depende apenas do prprio esprito. A introduo de infinitos termos entre dois
termos consecutivos da escala de nmeros inteiros um exemplo disso. O que Poincar
chama de infinitos indivduos ordenados e exteriores uns aos outros, diz respeito ao fato de
que, a unidade no pode ser vista como um todo ininterrupto, como ocorre na noo comum
do que seja algo contnuo, mas como uma composio de infinitas partes ordenadas, mas sem
lacunas. Da procede a caracterstica do contnuo matemtico tido como a unidade da
multiplicidade. Por essa perspectiva, se o contnuo fsico visa a unidade (o todo contnuo), o
contnuo matemtico visa a multiplicidade (as infinitas divises do todo, mas sem lacunas).
Segundo Poincar isso j o bastante para nos advertir de que o verdadeiro contnuo
matemtico no , de modo algum, o mesmo que o dos fsicos [...] (1902, p. 33-34), embora
haja um objetivo prtico implcito na criao do contnuo matemtico, como veremos adiante.
Para enfatizar que essa ideia de dividir algo infinitamente no pode ter origem na
experincia da diviso sucessiva, mas finita, tpica da induo fsica, Poincar cita a lei de
Fechner a sensao seria proporcional ao logaritmo da excitao e prope um
experimento:
Observou-se, por exemplo, que um peso A de 10 gramas e um peso B de 11 gramas produziram
sensaes idnticas, e, tambm, que o peso B no podia ser distinguido de um peso C de 12
gramas, mas que se distinguia facilmente o peso A do peso C. Os resultados brutos da experincia
podem, pois, ser expressos pelas seguintes relaes: A = B, B = C, A < C, que podem ser vistas
como a frmula do contnuo fsico. Existe a uma intolervel discordncia com o princpio de
contradio e foi a necessidade de elimin-la que nos forou a inventar o contnuo matemtico.
Somos, portanto, obrigados a concluir que essa noo foi inteiramente criada pelo esprito, mas
que foi a experincia que nos deu esse ensejo. (1902, p. 36, grifos meus).
O mundo se nos apresenta atravs de nossos sentidos e, no exemplo, Poincar enfatiza
que eles so inexatos, conduzindo-nos, muitas vezes, a concluses lgicas falsas. A
possibilidade de criar relaes matemticas ilimitada e, podemos concluir pelo que vimos
anteriormente, que o contnuo matemtico, segundo Poincar, foi inventado para eliminar a
discordncia com o princpio de contradio que o conjunto de sensaes obtido da noo de
contnuo fsico apresenta, dando certeza e rigor soluo de problemas fsicos, por analogia
com relaes matemticas. Eis, portanto, o objetivo prtico implcito na inveno do contnuo
matemtico: essa noo foi inteiramente criada pelo esprito, mas [...] foi a experincia que
nos deu esse ensejo.
Pode-se argumentar que o uso de instrumentos melhora a acuidade de nossos sentidos,
mas ainda assim, est subordinado s nossas mesmas percepes falhas, embora, nesse caso,
43
numa escala diferente e que remete o erro a uma escala imediatamente posterior, perpetuando
o problema da limitao dos sentidos mesmo com o uso de instrumentos.
A criao do contnuo matemtico obedece ao mesmo raciocnio por recorrncia usado
nas propriedades bsicas da aritmtica. Se, por exemplo, na adio podemos somar unidades
indefinidamente, no contnuo matemtico a ideia dividir a unidade indefinidamente.
Segundo Poincar, desde que fomos levados a intercalar termos mdios entre dois termos
consecutivos de uma srie, sentimos que essa operao pode ser continuada indefinidamente e
que no h nenhuma razo intrnseca para que paremos (1902, p. 37). Novamente, a
faculdade da intuio que procede a essa demonstrao por recorrncia. Somente depois disso
a lgica proceder verificao pela no-contradio.
O contnuo criado a partir da diviso ao infinito de nmeros inteiros por nmeros
inteiros o contnuo matemtico de primeira ordem. Se, em seguida, intercalarmos novos
nveis [chelons], de acordo com a lei de formao dos nmeros incomensurveis, obteremos
o que chamaremos de contnuo de segunda ordem (POINCAR, 1902, p. 37). Os nmeros
incomensurveis a que Poincar se refere dizem respeito aos nmeros irracionais, ou seja,
nmeros que no podem ser representados pela diviso de nmeros inteiros por nmeros
inteiros, como por exemplo e . Segundo Wrede e Spiegel Esses nmeros irracionais
podem ser definidos de vrias maneiras, uma das quais usando a ideia de cortes de
Dedekind
16
(2004, p. 16), justamente a lei de formao dos nmeros incomensurveis a que
Poincar se refere. Poincar cita um exemplo da aplicao dos cortes de Dedekind:
Suponhamos [...] que coloquemos na primeira classe [D] todos os nmeros comensurveis cujo
quadrado seja maior do que 2, e, na segunda [E], todos aqueles cujo quadrado seja menor do que 2.
Sabemos que no existe nenhum nmero [racional] cujo quadrado seja precisamente igual a 2. [...]
Sob o ponto de vista de Dedekind, o nmero incomensurvel , exatamente o smbolo dessa
maneira particular de diviso dos nmeros comensurveis (1902, p. 35).
Desse modo, termos incomensurveis da diviso do contnuo matemtico delimitam
sequncias de nmeros comensurveis desse contnuo, sem que intervalos ocorram, uma vez
que o termo incomensurvel se encontra infinitamente prximo do termo comensurvel da
sequncia imediatamente posterior de nmeros comensurveis. O contnuo fsico no pode
prescindir dos nmeros incomensurveis, ou seja, dos nmeros que no podem ser expressos


16
Segundo Wrede R. C. e Spiegel M. R. Dedekind definiu um corte, seo ou partio no sistema dos nmeros
racionais como uma separao de todos os nmeros racionais em duas classes ou conjuntos chamados de E (a
classe do lado esquerdo) e D (a classe do lado direito) tendo as seguintes propriedades: I. As classes so no-
vazias (isto , pelo menos um nmero pertence a cada classe); II. Todo nmero racional est em uma classe ou
outra; III. Todo o nmero em E menor do que todo o nmero em D (2004, p. 27, grifos meus).
44
pela diviso de dois nmeros inteiros; uma vez que os nmeros incomensurveis sero
especialmente teis quando o contnuo fsico os transpuser geometria:
Se queremos imaginar uma linha, s o podemos fazer com as caractersticas do contnuo fsico,
isto , s a podemos imaginar com uma certa largura. Mas o gemetra puro faz um esforo a mais:
sem renunciar inteiramente ajuda dos sentidos, ele quer chegar ao conceito da linha sem largura,
do ponto sem extenso. S pode chegar a isso se considerar a linha como o limite para a qual tende
uma faixa cada vez mais estreita, e o ponto como o limite para o qual tende uma rea cada vez
menor. [...] se s os pontos cujas coordenadas so comensurveis fossem vistos como reais, o
crculo inscrito num quadrado e a diagonal desse quadrado no se cruzariam, j que as
coordenadas do ponto de interseco so incomensurveis. (POINCAR, 1902, p. 37-38)
O ponto geomtrico encontra no nmero incomensurvel a soluo que o torna
compatvel com o raciocnio intuitivo e permite a confluncia de trs domnios distintos:
matemtico, geomtrico e fsico. O que vemos, portanto, um ajuste interminvel entre
domnios. Temos as concepes de contnuo fsico, de contnuo matemtico e, entre elas, as
concepes geomtricas; todas convergindo para um equilbrio prtico entre exatido e
objetividade, ou seja, trs domnios que devem estabelecer correspondncias entre si e
resolver os problemas internos de contradio que interferem nesse equilbrio. Criar solues
para esses problemas tarefa da intuio que as remete ao domnio matemtico, uma vez que
nesse campo a intuio no abre mo da exatido, mas pode dar rumos prticos e objetivos s
relaes que inventa.
Resumindo, o esprito tem a faculdade de criar smbolos, e foi assim que construiu o contnuo
matemtico, que um sistema particular de smbolos. O nico limite para o seu poder a
necessidade de evitar toda contradio; mas o esprito s se utiliza dele se a experincia lhe
fornece uma boa razo para isso. No caso que tratamos essa razo era a noo do contnuo fsico,
derivada dos dados brutos dos sentidos. Mas essa noo conduz a uma srie de contradies das
quais temos que nos livrar, sucessivamente. assim que somos forados a imaginar um sistema de
smbolos cada vez mais complicado. (POINCAR, 1902, p. 38-39).
O resumo de Poincar faz aluso a todas as fases da criao cientfica. A criao
sinttica dos smbolos matemticos cabe faculdade da intuio, limitada pela verificao
analtica lgica das relaes que foram construdas. O poder criativo do esprito somente
segue esse caminho objetivo e prtico devido boa razo fornecida pela experincia; a
princpio para suprir a necessidade de analogia com as relaes dadas pela experincia
emprica e, mais tarde, devido oportunidade da afirmao desse poder criativo em efetivar-
se atravs da experincia pura. desse modo que a aproximao entre esses domnios se
estabelece gradativamente medida que novos dados brutos dos sentidos surgem com a
possibilidade de novos resultados e novas relaes dadas empiricamente. Novamente, mesmo
no participando efetivamente da criao matemtica, a experincia emprica a guia.
Segundo Poincar, o contnuo se torna mensurvel quando se estabelece a condio de
poder comparar o intervalo que separa dois termos quaisquer. somente com essa condio
45
que o contnuo se torna uma grandeza mensurvel e que se lhe podem aplicar as operaes da
aritmtica; para tanto, Poincar sugere que nveis [chelons] intermedirios entre dois
nveis consecutivos do contnuo sero considerados, por conveno, equidistantes,
permitindo, assim, obter medidas mensurveis das relaes entre intervalos. Com isso, as
relaes no interior do contnuo passam a estar sujeitas, por exemplo, s regas de
comutatividade e de associatividade da adio (1902, p. 39). O fato de poder aplicar as
operaes bsicas da aritmtica ao contnuo matemtico e, consequentemente, poder, por
analogia, transp-los geometria e fsica, permite que se possam cambiar as mensuraes
realizadas nos experimentos fsicos e, por analogia, obter delas relaes matemticas exatas e
rigorosas. Assim, com a criao do contnuo matemtico ocorre uma aproximao, por
analogia, entre a induo fsica e a induo matemtica, embora estejam mediadas pelas
relaes geomtricas. isso o que Poincar prope na prxima etapa de ajuste entre a
exatido e a objetividade.
De modo anlogo ao processo que descreveu para a caracterizao do contnuo fsico e
o consequente ajuste das relaes matemticas atravs da sua criao do contnuo matemtico,
Poincar descreve a noo de contnuo fsico de vrias dimenses e a criao do contnuo
matemtico de vrias dimenses. Entretanto, se as grandezas que participam desses contnuos
forem mensurveis, a noo de espao torna-se possvel. Foi quando se quis introduzir a
medida do contnuo que acabamos de definir que esse contnuo se tornou o espao, e que
nasceu a geometria (1902, p. 42, grifos meus).
Vimos nessa seo como, gradativamente, Poincar adiciona sua epistemologia da
cincia os elementos que participam e interagem em todo seu processo construtivo. A noo
de espao e a geometria mtrica so, assim, includas nesse rol e sero o objeto de nosso
estudo na prxima seo.
1.5.2 A percepo, a geometria e a matemtica

Tendo na seo anterior sugerido o ajuste, necessrio e conveniente, da noo
matemtica de contnuo com a noo de contnuo fsico, Poincar ir trabalhar as noes
geomtricas e de espao que, segundo o autor, derivam das relaes estabelecidas entre os
contnuos matemtico e fsico.
Sobre a confluncia entre essas noes, Poincar indaga:
46
Em primeiro lugar, quais so as propriedades do espao propriamente dito? Quero dizer, do espao
que o objeto da geometria e que chamarei de espao geomtrico. A seguir algumas das mais
importantes: 1 - contnuo; 2 - infinito; 3 - tem trs dimenses; 4 - homogneo, quer dizer,
todos os seus pontos so idnticos entre si; 5 - istropo, isto , todas as retas que passam por um
mesmo ponto so idnticas umas s outras. (1902, p. 55-56, grifos do autor).
As caractersticas que Poincar destaca como sendo do espao propriamente dito
so, na verdade, caractersticas impostas por definies prprias da geometria e no pela
nossa percepo do espao fsico. Representamos o espao desse modo porque tal
representao torna possvel matematizar as relaes que encontramos no contnuo fsico,
como vimos na seo anterior.
Por isso, em seguida, Poincar ir propor: Comparemos o espao geomtrico com o
quadro de nossas representaes e sensaes, que chamarei espao representativo (1902, p.
56, grifos do autor).
O movimento argumentativo que se segue far um apanhado das sensaes que so
prprias dos nossos sentidos da viso, do tato e de como percebemos nosso prprio
deslocamento e o deslocamento dos corpos nesse espao representativo.
Segundo Poincar (1902, p. 56-57), o puro espao visual, depende da imagem
formada no fundo de nossas retinas que, embora seja contnua, forma-se em duas dimenses
somente. Alm disso, essa imagem est contida num quadro limitado e no infinito. Uma
terceira diferena apontada pelo autor remete ao fato de que esse puro espao visual no
homogneo. Todos os pontos da retina, abstrao feita das imagens que a se podem formar,
no tem um mesmo papel, uma vez que a rea central desse quadro limitado produz
impresses muito mais vivas do que um ponto vizinho a uma das extremidades, ou seja, a
imagem perifrica menos detalhada que a imagem central de nosso campo visual e,
consequentemente, no uma imagem homognea.
A terceira dimenso visual s possvel, segundo Poincar, devido ao esforo de
convergncia que temos que fazer no sentido da convergncia dos dois olhos, necessria
percepo ntida dos objetos. Portanto, um esforo por meio de sensaes musculares,
bem diferentes das sensaes visuais, o que permite afirmar: o espao visual completo no
, portanto, um espao istropo (1902, p. 56, grifos do autor).
Segundo Poincar, as sensaes musculares e visuais que, pelo esforo de
acomodao e pela convergncia dos olhos nos propiciam a sensao de trs dimenses, se
forem transpostas, por analogia, a uma linguagem matemtica, so funes de trs variveis
independentes (1902, p. 57) Porm, de modo algum o espao geomtrico e o espao
visual completo so iguais; so sim uma acomodao necessria entre elementos e relaes
47
matemticas com elementos e relaes fsicas, embora tenhamos a noo de que ambos
representem o espao propriamente dito.
Quanto percepo ttil e a percepo e execuo de movimentos musculares,
Poincar considera que Cada msculo d origem a uma sensao especial (1902, p. 57) e,
sendo assim, o espao motor teria tantas dimenses quantos so os msculos que temos
(1902, p. 58, grifos do autor), mas as sensaes que correspondem a movimentos com
mesma direo esto ligados em meu esprito por uma simples associao de ideias [,] que se
reduz ao que chamamos a percepo de direo (1902, p. 58, grifos do autor), ou seja, um
conjunto de percepes entendidas pelo esprito como nica.
Portanto, o espao ttil e o espao motor se distanciam ainda mais daquilo que
entendemos como espao geomtrico, o que permite a Poincar concluir: o espao
representativo, sob sua tripla forma, visual, ttil e motora essencialmente diferente do
espao geomtrico (1902, p. 58).
Ocorre que criamos uma representao racional que nos permite pensar sobre os
corpos exteriores como se estivessem situados no espao geomtrico (POINCAR, 1902, p.
59). Sob uma perspectiva epistemolgica, h uma constante recorrncia do esprito s
analogias que possam traduzir sua verdade pela induo completa a uma verdade pela induo
fsica; ocorre uma correlao ininterrupta entre elementos matemticos, agora transpostos
geometria e, novamente, transpostos fsica. Essa necessidade to familiar e natural ao
esprito que, segundo Poincar, chega a nos representar uma nica noo que nos parece
verdadeira, mas que no passa de um ajuste de noes independentes, mas sempre
recorrentes. Por isso no devemos nos esquecer que a criao pela induo completa s
limitada pela no-contradio, o que permite ao esprito criar infinitas possibilidades de
representao sem que, no entanto, venha a abrir mo do rigor e da exatido.
Logo, se o espao geomtrico unicamente uma criao do esprito, nada nos
impede de criar mais de uma forma de representar esse espao geomtrico, j que pode
haver mais de uma forma de equipar-lo s condies empricas, embora, na prtica,
possamos escolher aquela forma que nos parea mais conveniente sua representao.
justamente por isso que podem ocorrer racionalmente geometrias distintas da geometria
euclidiana, mas ajustadas tambm aos fenmenos empricos, embora a nossa condio
imediata de interao com os objetos externos ao nosso esprito, nos faa preferir uma
representao euclidiana do espao geomtrico. A experincia nos guia nessa escolha e
no nos a impe, nos faz reconhecer qual a geometria mais cmoda e no qual a mais
verdadeira (POINCAR, 1902, p. 67, grifo do autor). A verdade do esprito, para Poincar,
48
permanece na origem comum dessas representaes do espao geomtrico, ou seja, na
induo completa intuitiva verificada pela no-contradio lgica.
O modo como o esprito pode criar formas distintas de conceber o espao
geomtrico se deve, segundo Poincar, a uma reciprocidade entre duas categorias de
percepes do nosso corpo, dentro do nosso espao representativo visual, ttil e motor: na
primeira, de fenmenos involuntrios, no-acompanhados por sensaes musculares, que
atribumos aos objetos externos, ou seja, como entendemos os movimentos dos corpos
externos; a segunda, que atribumos aos movimentos de nosso prprio corpo, so as
mudanas internas (1902, p. 62). Essa correlao permite, segundo Poincar, definir uma
classe particular de fenmenos denominados deslocamentos. As leis desses fenmenos
constituem o objeto da geometria (1902, p. 62, grifos do autor).
As sensaes obtidas dos movimentos externos ao corpo so correlacionadas com as
sensaes de movimento no prprio corpo. Os objetos externos so, ento, idealizados, para
que se tornem matematizveis, e passam a receber do esprito o tratamento de corpos slidos
perfeitos, nico modo de estabelecer, por analogia, uma correlao entre propriedades formais
e propriedades materiais.
Segundo Poincar, a primeira das leis que constituem o objeto da geometria a lei
da homogeneidade
17
(1902, p. 62). Essa lei torna possvel que os objetos slidos perfeitos
que foram idealizados pelo esprito passem a se deslocar num espao geomtrico homogneo
e istropo. Ou seja, mediante condies totalmente matematizveis que o esprito concebeu,
pode-se, ento, trabalhar por correlao ou por analogia, como se queira, com nossa prpria
percepo de movimentos musculares e com a sensao que os objetos externos nos
oferecem. Desse modo, segundo Poincar, o experimento racional obtido por meio da
aplicao da lei da homogeneidade, permite
[...] dizer que um movimento feito uma vez pode ser repetido uma segunda vez, uma terceira vez,
e assim por diante, sem que suas propriedades variem. [...] A virtude do raciocnio matemtico
[por recorrncia] advm dessa repetio; e, portanto, ela devida lei de homogeneidade que o
raciocnio matemtico tomou aos fatos geomtricos. (1902, p. 63).


17
Poincar no cita a origem da lei da homogeneidade, mas, provavelmente, est se referindo ao conceito de
homogeneidade em Kant. Segundo MORA, J. F. (2001, p. 1386), Kant usou o termo homogneo (gleichartig)
ao tratar do problema da subsuno de um objeto por um conceito. A representao de um objeto deve ser,
segundo Kant, homognea em relao a um conceito, o que significa que o conceito deve conter algo que
representado no objeto subsumido pelo conceito. Assim, por exemplo, o conceito emprico de um prato
homogneo em relao ao conceito geomtrico de crculo. [...] Assim, a noo de homogeneidade fundamental
para a questo de aplicabilidade dos conceitos s aparncias. Em geral, a noo de homogeneidade em Kant
uma noo ligada possibilidade da sntese por meio da qual se obtm o conhecimento.
49
Assim como o esprito se v capaz de recorrer s propriedades matemticas sempre
homogneas, tambm se v capaz de recorrer s propriedades matematizveis e invariveis
dos deslocamentos dos objetos slidos perfeitos, idealizados pelo esprito, no interior de um
espao geomtrico homogneo e istropo. A lei da homogeneidade estabelece o vnculo
entre os experimentos, que so realizados em condies restritas e particulares, destacando
propriedades invariveis e comuns a todos eles; h um movimento lgico que vai do
particular para o geral e guarda ntida semelhana com os procedimentos habituais da
induo. Isso me permite afirmar que, por meio da lei da homogeneidade torna-se possvel
ento, que o raciocnio por recorrncia que j participava da induo fsica e da induo
matemtica, como vimos na seo 1.2 A intuio e a origem da induo participe
tambm dos fatos geomtricos.
Portanto, posso agora enfatizar a ininterrupta sucesso de analogias entre domnios
distintos que deriva inicialmente do princpio de recorrncia nas operaes bsicas da
aritmtica e perpassa a criao do conhecimento matemtico, a criao das geometrias e a
descoberta das leis fsicas, sempre objetivando que a certeza obtida do princpio inicial possa
ser transmitida, por analogia e em ltima instncia, ao conhecimento incerto das cincias
fsicas.
Recordando Hesse na seo 1.4.2, o prprio raciocnio por analogia carrega um
vnculo, por repetio, com os procedimentos de induo. Assim, segundo Poincar,
novamente podemos observar que todas as etapas da construo do conhecimento cientfico
mantm, essencialmente, por sucessivas correlaes ou relaes de semelhana, a conexo
com o princpio de recorrncia.
Poincar afirma ainda: deveramos acrescentar lei de homogeneidade, uma grande
quantidade de outras leis anlogas, em cujos detalhes no entrarei, mas que os matemticos
resumem em uma palavra quando dizem que os deslocamentos formam um grupo (1902,
p. 63). Na seo 1.4.1 A Lei vimos que Poincar se referiu ao conceito de grupo
matemtico como exemplo do uso de termos bem escolhidos que ajudam a estabelecer, por
meio da linguagem, a abrangncia e a prpria restrio da lei matemtica, ou seja, o universo
de elementos que estaro ao alcance da aplicao da propriedade ou da lei matemtica.
O conceito matemtico de grupo prev, grosso modo, que uma dada operao sobre
um conjunto qualquer de elementos define uma estrutura de grupo sobre esse conjunto se, e
somente se: (1) a propriedade associativa possa ser observada nessa dada operao sobre
quaisquer combinaes de seus elementos; (2) exista um elemento neutro dentre todos os
elementos do conjunto, de tal modo que, se esse elemento participa da dada operao com
50
qualquer outro elemento do conjunto, esse ltimo no se altera; (3) exista um oposto simtrico
para todos os elementos do conjunto e no interior desse mesmo conjunto. Pode ser que a
propriedade comutativa tambm se aplique, mas isso no imprescindvel formao de um
grupo matemtico.
Observadas as propriedades necessrias para caracterizar a formao de um grupo
matemtico, Heinzmann afirma que:
Poincar estudou as propriedades notveis "puramente formais" do grupo, a fim de obter o espao
geomtrico e os seus elementos (pontos, linhas retas, planos, etc.). Ele destaca que o grupo
contnuo e que se podem distinguir deslocamentos que conservam certas quantidades, tais como
rotaes em torno de um ponto fixo, rotaes em torno de um eixo fixo, ou a combinao de
rotaes em torno de um eixo e as translaes paralelas ao mesmo eixo. Grupos com essas
propriedades (que formam sub-grupos) correspondem s geometrias de Euclides, Lobachevski e
Riemann. (2009, p. 180).
Desse modo, quaisquer que sejam os slidos cujas propriedades formais sejam
idealizadas pela fsica, possvel afirmar que seus deslocamentos no espao geomtrico
sempre obedecero a uma estrutura de grupo matemtico, at mesmo, por exemplo, um
grupo que tenha a mesma estrutura que os movimentos de um slido quadridimensional
invarivel (1902, p. 66). As geometrias de Euclides e no-euclidianas tambm obedecem a
essas propriedades de formao de grupos matemticos.
Poincar conclui:
A geometria seria, unicamente, o estudo dos movimentos dos slidos; mas, na realidade, ela no se
ocupa dos slidos naturais; seu objeto so certos slidos ideais, absolutamente invariveis, que so
uma imagem simplificada e bem distante dos nossos slidos reais. O conceito desses corpos ideais
puro fruto de nosso esprito e a experincia funciona como uma mola que nos impele a elabor-
lo. O objeto da geometria o estudo de um grupo particular, mas o conceito geral de grupo
preexiste no nosso esprito, pelo menos potencialmente. [...] Somente, entre todos os grupos
possveis, preciso escolher o que ser, por assim dizer o padro com o qual cotejaremos os
fenmenos naturais. (1902, p. 67, grifo do autor).
Os slidos ideais so as verses matematizveis dos slidos reais; so o resultado
da prpria necessidade de manter um equilbrio entre a objetividade e a exatido, como vimos
na seo 1.3 A gnese da criao cientfica. Neles o esprito estabeleceu, mediante a
criao matemtica, o vnculo necessrio entre propriedades fsicas e propriedades
matemticas; isso se d em funo da lei de homogeneidade, que torna o conceito desses
corpos ideais a representao homognea dos slidos reais, porm, absolutamente
invariveis. Segundo Poincar, seja qual for a geometria que venha a ser obtida dessa
matematizao dos deslocamentos dos objetos no interior do espao geomtrico, sempre ser
fruto do estudo de um grupo matemtico particular, construdo com base no raciocnio por
recorrncia. A escolha de usar uma, dentre essas possveis geometrias, fica por conta do
51
pesquisador e do que ele considere a mais cmoda ou conveniente ao nosso melhor
entendimento das relaes e propriedades observadas nos experimentos fsicos.
Todas as geometrias so reconhecidas pelo esprito como verdadeiras se nos
referirmos verdade matemtica, exata e rigorosa, vinculada induo completa. Entretanto,
as geometrias so criaes artificiais desse esprito; no advm da experincia fsica, embora
tenham de manter com ela uma analogia necessria. A geometria no representa uma verdade
do espao fsico, mas sim a condio que torna prtico seu estudo; embora o prprio conceito
de espao possa no resistir a um exame rigoroso de sua existncia alm de sua condio de
termo bem-escolhido na linguagem usada para formalizar a lei.


Depois do que vimos ao longo de toda a seo 1.5, sou forado a discordar da seguinte
afirmao de Del Vecchio Jr.:
A corroborao emprica est completamente fora de questo no mbito da geometria. Se
analisadas a Fsica, a Mecnica e a Geometria, observamos um gradual caminho de abandono do
valor da experincia como base para a fundamentao, pois a Geometria no necessita, em
absoluto, remeter experincia sensvel. Ela caminha por si s e a aproximao com as nossas
experincias de espao representativo so interessantes, mas no so necessrias. (2005, p. 55,
grifos do autor).
A argumentao de Poincar, que vimos ao longo dessa seo, demonstra segundo
meu entendimento, um claro movimento que tem por objetivo adequar a criao matemtica
s necessidades da fsica. A geometria formal, mas representa, justamente, o elo entre o
formal e o material, entre a cincia matemtica pura e a cincia emprica fsica. A criao das
geometrias permite unir, por meio de analogias, o contnuo fsico e o contnuo matemtico. O
prprio contnuo matemtico, segundo Poincar, foi construdo de tal modo a dar conta da
soluo de problemas derivados da noo de contnuo fsico. Desse modo, defendo que a
geometria mantm sim uma aproximao necessria com nossas experincias do espao
representativo, pois, sua utilidade prtica permitir que os deslocamentos dos objetos fsicos
possam ser matematizveis.
A lei da homogeneidade, segundo Poincar, a ferramenta que tornou possvel, por
analogia, dar continuidade ao raciocnio por recorrncia na interface entre a geometria e a
fsica, tornando homogneos os deslocamentos dos objetos fsicos e homogneas as
propriedades da fsica. desse modo que, segundo Poincar, o raciocnio por recorrncia
participa de todas as fases da construo do conhecimento cientfico.
52
As propriedades dos grupos matemticos transferem certeza, rigor e exatido aos
deslocamentos dos objetos slidos no interior espao geomtrico. Esses objetos j haviam
sido obtidos da idealizao dos objetos fsicos e isso os tornou matematizveis. Assim, tanto
os corpos quanto seus deslocamentos tornam-se matematizveis.
Entretanto, como vimos, isso torna possvel a criao de uma infinidade de
geometrias. J nos possvel antever que, se podemos escolher dentre vrias geometrias
verdadeiras e distintas para estabelecer o vnculo, por analogia, entre a fsica e a matemtica,
ento essa escolha se dar por melhor adequao ou, como veremos no prximo captulo, a
escolha se dar por conveno.
De um modo geral, a geometria ser, para Poincar, um dos dois elementos
convencionais que faro a ponte, por analogia, entre a fsica e a matemtica. Veremos o
outro elemento convencional oportunamente, no prximo captulo.
Por ora, tendo alcanado o domnio da fsica nessa corrente de analogias estabelecida
por Poincar, veremos a seguir, na ltima seo do presente captulo, o papel e a importncia
que Poincar atribui s hipteses, to necessrias nas teorias fsicas, mas que, segundo o
autor, por mais antagnico que possa parecer, o matemtico tambm no dispensa seu uso.

53
1.6 O papel das hipteses

O termo hiptese largamente utilizado, principalmente na construo das teorias
fsicas. Na filosofia da cincia de Poincar as hipteses desempenham papis especficos e,
por vezes, distintos do seu significado usual. Por esse motivo evitei at aqui, o quanto
possvel, usar o termo hiptese. Tentei, assim, evitar que a nossa interpretao da filosofia
da cincia de Poincar fosse impregnada de ideias pr-concebidas pelo uso comum do termo.
Procurei, tambm, estabelecer certa familiaridade com alguns fundamentos
epistemolgicos poincareanos pelo uso, por exemplo, dos termos relaes matemticas,
relaes fsicas, lei matemtica, lei fsica, analogia, princpio de recorrncia,
propriedade do esprito, intuio, induo completa, induo fsica, experincia
emprica, experincia pura, etc. Creio que o uso dessa terminologia nas sees anteriores
ir facilitar o entendimento do papel dos diversos tipos de hipteses no contexto da filosofia
da cincia poincareana.
O conceito poincareano de hiptese demanda uma anlise cuidadosa e, certamente, o
conhecimento dos fundamentos epistemolgicos poincareanos, desenvolvidos nas sees
anteriores, nos sero muito teis nessa anlise.
Portanto, nessa seo farei uma anlise dos diversos tipos de hipteses que
encontramos na obra de Poincar A cincia e a hiptese (1902) luz da epistemologia
poincareana, que desenvolvemos nas sees anteriores do presente captulo.
1.6.1 Classificao das hipteses

Na primeira pgina da introduo de A cincia e a hiptese, Poincar refere-se ao
papel da hiptese; constatou-se que o matemtico no a poderia dispensar e que tampouco o
experimentalista a dispensa (1902, p. 15). Para melhor compreender essa afirmao,
precisamos examinar o papel dos vrios tipos de hipteses no mbito do conhecimento
cientfico.
Em A cincia e a hiptese Poincar no classifica de modo explcito os tipos de
hipteses e o papel que desempenham, mas fornece alguns indcios de como proceder nesse
sentido.
54
Nessa seo usarei como referncia e seguirei o mesmo caminho proposto por
Heinzmann (2009, p. 169-192) no sentido de classificar as hipteses em Poincar, embora no
pretenda me apoiar unicamente sobre a caracterizao proposta por esse autor.
Somente em duas ocasies distintas Poincar trata das diversas espcies de hipteses
ao longo de A cincia e a hiptese. A primeira aparece na pgina inicial da Introduo:
[...] existem diversas espcies de hipteses: que umas so verificveis e que, uma vez confirmadas
pela experincia, se tornam verdades fecundas [1]; que as outras, sem poder nos induzir a erro,
podem nos ser teis tornando mais preciso nosso pensamento [2]; enfim, que outras so hipteses
na aparncia e no passam de definies ou de convenes disfaradas [3]. (POINCAR, 1902, p.
15-16, grifos meus)
A segunda aparece no Captulo IX As hipteses em fsica
18
:
[...] preciso ter o cuidado de distinguir entre os diferentes tipos de hipteses. Primeiro, existem as
que so totalmente naturais e s quais mal nos podemos furtar. difcil no supor que a influncia
dos corpos muito distantes totalmente desprezvel, que os pequenos movimentos obedecem a
uma lei linear e que o efeito uma funo contnua de sua causa. Eu direi o mesmo sobre as
condies impostas pela simetria. Todas essas hipteses formam, por assim dizer, o fundo comum
de todas as teorias da fsica matemtica. E so as ltimas que devemos abandonar [4]. Existe uma
segunda categoria de hipteses que qualificarei de indiferentes. Na maioria das questes, o analista
presume, no incio de seus clculos, ou que a matria contnua, ou, ao contrrio, que formada
por tomos. Se fizesse o contrrio, seus resultados no se modificariam [...] Se a experincia viesse
ento confirmar suas concluses, julgaria ele haver demonstrado, por exemplo, a existncia real
dos tomos? [...] Essas hipteses indiferentes nunca so perigosas, desde que no se desconhea
seu carter. Podem ser teis como artifcios de clculo, ou para sustentar nosso entendimento com
imagens concretas para fixar as idias, como se costuma dizer. No h por que proscrev-las,
portanto [5]. As hipteses da terceira categoria so as verdadeiras generalizaes. So essas que a
experincia deve confirmar ou refutar. Verificadas ou condenadas, elas so sempre fecundas. Mas,
pelas razes que expus, s o sero se no as multiplicarmos [6]. (POINCAR, 2008, p. 232-233,
grifos meus).
Heinzmann sugere a correspondncia de significados entre: as hipteses verificveis
fecundas [1] e as hipteses que so verdadeiras generalizaes [6]; as hipteses teis que
tornam mais preciso nosso pensamento [2] e as hipteses indiferentes que so teis para fixar
as ideias [5]. Segundo Heinzmann, os significados das hipteses na aparncia (definies ou
convenes disfaradas) [3] e das hipteses naturais (ltimas que devemos abandonar) [4],
no se correspondem com nenhum dos outros tipos de hipteses. Assim, ele sugere que
persistem quatro tipos de hipteses: (1) hipteses verificveis; (2) hipteses indiferentes; (3)
hipteses naturais e (4) hipteses aparentes (HEINZMANN, 2009, p. 173).
Vamos, ento, caracteriz-las, seguindo o critrio epistemolgico poincareano que
desenvolvemos at aqui.


18
Segundo Jules Vuillemin, no prefcio edio brasileira de 1984 de A cincia e a hiptese, os captulos IX e
X originalmente fazem parte de POINCAR (1901) Sur les rapports de la physique exprimentale et de la
physique mathmatique. Usarei nessa citao a traduo para o portugus contida na nossa referncia
bibliogrfica POINCAR (2008) por uma questo de preferncia pessoal. Em POINCAR (1902) essa citao
pode ser encontrada nas pginas 121-122.
55
1.6.1.1 Hiptese matemtica a priori?!
Pode nos parecer estranho que, segundo Poincar, nem o matemtico nem o
experimentalista dispensem o uso da hiptese (1902, p. 15), j que seria um contra-senso
pensar em hipteses matemticas a priori, ou seja, anteriores a experincia, uma vez que a
matemtica, segundo Poincar, no deriva da experincia emprica. O uso do termo hiptese
est vinculado s cincias empricas e, portanto, no deveria se referir experincia pura da
intuio, como vimos na seo 1.2 A intuio e a origem da induo. Tanto nas
propriedades da aritmtica, quanto por analogia, na generalizao por induo completa, a
aplicao do princpio de recorrncia uma certeza do esprito e no uma possibilidade
emprica, como denota o uso do termo hiptese.
Entretanto, como tambm j vimos na seo 1.3 A gnese da criao cientfica, a
induo fsica e a induo completa tm estruturas anlogas; a correspondncia entre as leis
matemticas e as leis fsicas depende dessa condio de analogia. Conforme a interpretao
que defendi na seo 1.4.1 A Lei, tanto o matemtico quanto o fsico experimentalista
usam a mesma estrutura na elaborao de suas leis e, por analogia, tambm as hipteses so
construdas com base nessa mesma estrutura da lei.
Podemos entender que esse uso diferenciado do termo hiptese por Poincar est
enfatizando exatamente a analogia que, como vimos ao longo das sees anteriores, est
presente e permeia a aplicao do raciocnio por recorrncia e o uso do termo bem
escolhido em todas as fases da construo do conhecimento cientfico.
Entendo que h, portanto, um aspecto prtico que est sendo enfatizado por Poincar,
ou seja, o uso da mesma estrutura e tambm do mesmo termo, tanto no mbito matemtico
quanto no mbito fsico, para se referir analogia intrnseca que esses domnios distintos
mantm. Esse tambm um aspecto do intuicionismo que, por vezes, rejeita o princpio do
terceiro excludo. Em Poincar isso se d em nome da praticidade.
1.6.1.2 As hipteses indiferentes
Poincar observa:
Verificamos uma lei simples em um grande nmero de casos particulares; ns nos recusamos a
admitir que essa descoberta, to frequentemente repetida, seja o resultado de um mero acaso e
conclumos, ento, que a lei deve ser verdadeira no caso geral. [...] Toda generalizao uma
hiptese; a hiptese tem, ento, um papel necessrio que nunca ningum contestou. Mas ela deve
ser, o mais cedo possvel e o mais frequentemente possvel, submetida verificao. (1902, p. 121,
grifos meus)
56
Temos aqui uma linha de raciocnio bem definida no que concerne s hipteses fsicas.
Por induo, generalizamos uma lei, mas, no caso da fsica, essa generalizao se d por
hiptese, obedecendo estrutura da proposta de uma lei. Sabemos que generalizar por meio
da induo fsica uma atitude incerta, motivo pelo qual o passo decisivo se d na verificao
emprica da hiptese, o mais cedo possvel e o mais frequentemente possvel.
Mesmo sendo infinita essa tarefa de verificao emprica, ainda assim ela pode ser
empreendida mediante a frequente experimentao. Entretanto, um problema surge quando as
hipteses no podem ser verificadas.
Um caso de inverificabilidade da hiptese ocorre quando esta defende afirmaes de
ordem ontolgica a respeito de entidades metafsicas atribudas fsica. Nesse caso a hiptese
pode, at mesmo, ser til ao pensamento do pesquisador, facilitando uma melhor visualizao
da questo abordada ou ajudando a organiz-la, mas totalmente intil se considerada a
impossibilidade de sua verificao. Esse o caso das hipteses indiferentes: elas no so
verificveis.
Poincar cita o exemplo da propagao do calor:
Se quisssemos estudar, em toda sua complexidade, a distribuio da temperatura num corpo que
esfria, nunca o conseguiramos. Tudo se torna simples se pensarmos que um ponto do slido no
pode ceder calor, diretamente, a um ponto afastado, s aos pontos vizinhos. [...] O fenmeno
elementar a troca de calor entre dois pontos contguos. [...] no ser preciso que penetremos seu
mecanismo; a lei dos grandes nmeros
19
bastar. [...] Cada molcula irradia calor para a molcula
vizinha; no necessrio que saibamos que lei rege esse fenmeno. Se fizssemos alguma
suposio a esse respeito, seria uma hiptese indiferente e, em conseqncia, intil e no-
verificvel. (1902, p. 123-124, grifos meus).
A verdade e a certeza do esprito, no que concerne cincia, esto nas leis
matemticas, como vimos. No exemplo dado por Poincar, j que dispomos da lei dos grandes
nmeros para dar conta do estudo do fenmeno da propagao do calor e no temos acesso ao
comportamento das partes mnimas da matria, nada adianta especular sobre essas partes
mnimas. Isso no passaria de uma insero de elementos ontolgicos inverificveis no
interior das hipteses fsicas.
Veremos no tpico 2.2.2.1 O convencionalismo fsico como epistemologia
evolutiva que, devido ao uso de hipteses indiferentes, por vezes, duas ou mais teorias


19
A lei dos grandes nmeros diz respeito ao teorema de Bernoulli. Segundo Popper, o teorema de Bernoulli
assevera que os segmentos mais curtos de seqncias causalides mostram, muitas vezes, grandes flutuaes,
enquanto que os segmentos longos sempre se comportam de modo que sugerem constncia ou convergncia; diz
o teorema, em suma, que encontramos desordem e aleatoriedade no pequeno, ordem e constncia no grande. a
esse comportamento que se refere a expresso lei dos grandes nmeros (1993, p. 195-198, grifos do autor).
57
fsicas partilham da mesma estrutura matemtica, mas defendem ideias sobre entidades fsicas
totalmente distintas.
1.6.1.3 As hipteses naturais
Resgatando do incio dessa seo o nico excerto de Poincar em A cincia e a
hiptese que trata sobre as hipteses naturais:
[...] existem as [hipteses] que so totalmente naturais e s quais mal nos podemos furtar. difcil
no supor que a influncia dos corpos muito distantes totalmente desprezvel, que os pequenos
movimentos obedecem a uma lei linear e que o efeito uma funo contnua de sua causa. Eu direi
o mesmo sobre as condies impostas pela simetria. Todas essas hipteses formam, por assim
dizer, o fundo comum de todas as teorias da fsica matemtica. E so as ltimas que devemos
abandonar (grifos meus).
Quanto a ignorar a influncia dos corpos muito distantes, presumo que Poincar se
refere lei newtoniana da gravitao universal, cuja interao se d entre dois corpos de cada
vez. Porm, quando se estudam as relaes entre um planeta e o Sol, como a lei decai com o
quadrado da distncia, despreza-se a influncia de corpos muito distantes. Entretanto, em
funo da nossa percepo limitada pelos nossos sentidos, natural acreditar que essa
influncia dos corpos muito distantes totalmente desprezvel. Percebemos o quo familiar
se torna ao esprito essa convergncia entre os domnios da fsica e da matemtica, permitindo
que a percepo, mesmo sendo inexata, se corresponda naturalmente com a formalidade
matemtica. Assim, se pde estabelecer uma analogia necessria, prtica e objetiva entre
nossas certezas da induo matemtica e nossas incertezas da induo fsica. As hipteses
naturais correspondem a essas junes criadas pelo esprito e, por isso, so as ltimas que
devem ser abandonadas. Se nos fixarmos na fsica, segundo essa perspectiva, a hiptese
natural deriva, em ltima anlise, da aplicao da lei da homogeneidade sobre os resultados
das experincias fsicas, tornando-os homogneos e matematizveis, destacando, assim,
propriedades fsicas. Caso isso no fosse possvel, a analogia no se estabeleceria. A hiptese
da homogeneidade das propriedades fsicas se deve, em grande parte, escolha da linguagem
adequada ou ao termo bem escolhido, como vimos na seo 1.4.1, em que se define a lei
fsica, preservando-se a forma em detrimento da matria.
A lei da homogeneidade o instrumento que permite ao esprito retirar de resultados
empricos particulares, princpios fsicos gerais, alm de permitir a criao das geometrias
como espaos geomtricos anlogos ao espao representativo das percepes.
De todo modo, ainda sobre o excerto acima, quanto lei linear dos pequenos
movimentos, a causalidade e a simetria, todas so hipteses que se apiam na homogeneidade
58
e na aplicao, por analogia, do raciocnio por recorrncia sobre a induo fsica, uma vez que
tais hipteses mantm a lei fsica ligada apenas forma e a desvinculam da matria, alis,
uma caracterstica da fsica matemtica, citada ao final do excerto. A causalidade, em
especial, um exemplo tpico de como a sucesso de eventos singulares e independentes
pode, assim, torn-los homogneos e semelhantes, destacando um princpio fsico imaterial.
Sob esse aspecto, as hipteses naturais so inverificveis, uma vez que no mantm contato
com a materialidade e no podem ser testadas empiricamente.
Veremos na seo 2.2.2 O convencionalismo fsico que, segundo Poincar, os
princpios da mecnica, no sentido que apontamos acima, tambm so hipteses naturais no-
verificveis, alm de serem tambm convenes, cuja forma se mantm pela linguagem, ou
seja, pelo uso dos termos bem escolhidos, mas no so verificveis empiricamente.
1.6.1.4 As hipteses verificveis
Como vimos na seo 1.2, todas as leis matemticas so verificveis. Sua
verificao est ao encargo da lgica e de seu raciocnio tipicamente analtico, ao passo que a
criao das leis matemticas depende da faculdade da intuio pelo uso do raciocnio por
recorrncia e da induo completa. As leis fsicas, por outro lado, dependem da induo fsica
incerta e imprecisa.
Verificar, portanto, para Poincar, significa estabelecer um vnculo contnuo por meio
de analogias entre a induo matemtica e a induo fsica, conferindo hiptese fsica um
estatuto de verdade possvel, embora sempre necessite da contnua verificao emprica. Em
outras palavras, sempre que se puder estabelecer um vnculo, por analogia, entre equaes
matemticas e propriedades fsicas a hiptese ser verificvel. Essa verificao se d atravs
de experimentos fsicos cujos resultados, por induo, possam ser previstos mediante o uso
das mesmas equaes matemticas. As relaes expressas pelas equaes matemticas podem
tornar possvel a previso de novos fenmenos fsicos, desde que o resultado emprico
confirme o resultado previsto por meio de equaes matemticas e mantenha verdadeira sua
analogia com a hiptese fsica. De outro modo, as propriedades contidas na lei fsica, proposta
pela hiptese fsica, tambm podem proporcionar a previso de novos fenmenos fsicos por
meio do cruzamento das possibilidades de suas relaes causais, ou seja, por induo fsica;
que posteriormente, por analogia, devero ser transpostos linguagem matemtica.
As hipteses verificveis da fsica proporcionam, por meio da previso, o ganho de
novos dados empricos para que novas hipteses verificveis possam dar continuidade
prpria construo do conhecimento nas cincias fsicas. Ao longo desse percurso, algumas
59
hipteses no-verificveis, como o caso das hipteses indiferentes, acabam por se tornar
matematicamente inteis e as hipteses que so negadas, nos mostram o caminho que no
deve ser seguido.
O problema reside no fato de que a verificao de uma hiptese no to simples.
Ora, devemos nos lembrar que a lei fsica demarca, por meio de uma linguagem conveniente,
uma determinada propriedade, ou propriedades, que se pretende destacar dentre as relaes
experimentais singulares disponveis, mas nossa linguagem toda modelada por ideias pr-
concebidas e no poderia ser diferente (POINCAR, 1902, p. 117). Ento, diferentes
generalizaes com base em diferentes termos descritivos, provm de diferentes idias pr-
concebidas. No h uma orientao comum a todos os pesquisadores da fsica, justamente
porque, de acordo com Poincar, a intuio criativa presente em cada um deles pode conduz-
los a caminhos distintos.
Em ltima instncia, a nica linguagem exata e rigorosa para a fsica a linguagem
matemtica.
Ento, como possvel a verificao da hiptese fsica?
Em primeiro lugar, graas generalizao, cada fato observado nos faz prever um
grande nmero deles; s no devemos esquecer que apenas o primeiro certo e que todos os
demais sero somente provveis (POINCAR, 2008, p. 225-226) e isso se deve incerteza
da induo fsica. Se, porm, se puder estabelecer uma analogia entre a induo fsica,
proposta por uma dada generalizao de fenmenos empricos, e a induo completa,
afirmada por uma equao matemtica, ento teremos de propor, novamente, a
homogeneidade de todo esse grande nmero de fatos estabelecendo um conceito comum e
invarivel em todos eles, como vimos na seo 1.5.2. Assim, podemos entender esse conceito
de fato homogneo como o deslocamento dos objetos ideais no interior do espao geomtrico,
e todos esses deslocamentos so analisveis como grupos matemticos. Como, segundo
Poincar, a verdade das relaes entre as coisas expressa matematicamente, a analogia e a
homogeneidade entre leis fsicas e matemticas o primeiro passo para a verificao da
hiptese fsica. Segundo Poincar:
Podemos indagar-nos por que, nas cincias fsicas, a generalizao tende a assumir a forma
matemtica. A razo, j agora, fcil de perceber: no apenas que tenhamos que exprimir leis
numricas; que o fenmeno observvel se deve superposio de um grande nmero de
fenmenos elementares, todos iguais entre si. [...] No basta que cada fenmeno elementar
obedea a leis simples; preciso que todos os que temos de combinar obedeam a mesma lei. S
ento, a interveno da matemtica pode ser til (2008, p. 237, grifos do autor).
60
Para combinar os fenmenos de modo a que obedeam a mesma lei, necessrio
que os tornemos todos iguais entre si, estabelecendo uma propriedade comum a todos e que
os torne, assim, homogneos.
Em segundo lugar e, mais importante: De acordo com Poincar, a atividade cientfica
uma capacidade e no o resultado de uma teoria sobre dados factuais. Padres de verdade
dependem do contexto cientfico e permanecem abertos reviso (HEINZMANN, 2009, p.
183). No somente permanecem sujeitos reviso como podemos comparar diferentes teorias
que surgiram de diferentes hipteses buscando alguma analogia entre elas, de modo
semelhante ao que fizemos buscando elaborar cada hiptese isoladamente. A diferena, aqui,
que estamos procurando analogias entre equaes matemticas e, por vezes, possvel
encontrar estruturas matemticas equivalentes ou, at mesmo, a mesma estrutura matemtica
em vrias teorias fsicas distintas
20
, encontrando tambm um padro de verdade, formal ou
estrutural, comum a todas elas.
1.6.1.5 As hipteses aparentes ou convenes
Como vimos na seo 1.5.2, j nos possvel perceber que no existe uma verdadeira
geometria do espao fsico, simplesmente porque a escolha dentre as geometrias, segundo
Poincar, se d por convenincia, ou seja, dentre essas verdades matemticas, escolhemos a
que seja mais conveniente nossa leitura dos fenmenos fsicos, uma vez que os
deslocamentos dos corpos no espao geomtrico so entendidos pelo autor como grupos
matemticos particulares. Assim, as geometrias so ou no convenientes ao propsito a que se
destinam, no so nem verdadeiras nem falsas se as analisarmos pela perspectiva da realidade
fsica. A verdade na geometria uma verdade por conveno, ou seja, por conveno que se
pode escolher qual geometria mais adequada a estudar o contnuo fsico por analogia a um
contnuo matemtico, representado por uma das geometrias. Cada estudo dos fenmenos
fsicos determinar, por convenincia e por conveno, a escolha de uma dada geometria.
Devido a isso, Poincar afirma que os axiomas geomtricos So convenes. Nossa
escolha entre todas as convenes possveis guiada pelos fatos experimentais (1902, p. 54,
grifos do autor). Esses axiomas no passam de definies disfaradas e, por isso, so apenas
hipteses aparentes, uma vez que foram definidas no mbito matemtico e no esto sujeitos


20
Worral (1989) ir desenvolver esse argumento em favor do realismo estrutural, como veremos na seo 3.3.1
A conciliao dos opostos aparentes.
61
verificao emprica; se parecem com hipteses fsicas, mas no passam de definies
formais.
Nossa experincia cotidiana nos faz crer que a geometria mais adequada nossa
percepo do mundo a euclidiana. Entretanto, se estivermos pensando em viajar para uma
estrela fora do nosso sistema solar, e se a velocidade com que pretendemos realizar essa
viagem se aproximar da velocidade da luz, ento, certamente nossos sentidos no sero bons
guias. Assim, provavelmente teremos de recorrer a alguma das geometrias no-euclidianas
que, certamente, sero ferramentas mais adequadas aos clculos matemticos, necessrios
para programar nossa viagem. A experincia nos guia nessa escolha e no a impe; nos faz
reconhecer qual a geometria mais cmoda [conveniente] e no qual a mais verdadeira
(POINCAR, 1902, p. 67, grifo do autor).
Os princpios da mecnica, segundo Poincar, tambm so hipteses aparentes, ou
seja, convenes, justamente por terem perdido totalmente sua materialidade e passado a
compor a base dos experimentos ideais, irrealizveis empiricamente, mas de grande utilidade
como analogias de ligao entre a fsica experimental e a matemtica.
Nesse caso, entretanto, as convenes obtidas dos princpios da mecnica so nicas e
no podem ser trocadas por outras convenes, pois seu vnculo com a fsica permanente; o
uso de uma linguagem adequada reduziu as relaes entre os objetos da mecnica e o espao,
aos prprios princpios dessa mecnica.
De acordo com Poincar, as convenes fundamentais da mecnica e as experincias
que nos demonstram que elas so convenientes so feitas sobre os prprios objetos ou sobre
objetos anlogos (1902, p. 111). Os objetos em questo so objetos geomtricos ideais e as
experincias no so empricas, tambm so idealizadas pelo esprito. Entretanto, no
apenas a materialidade a questo, mas as relaes entre os objetos mecnicos (POINCAR,
1902, p. 111) que serviram de base para a formalidade dos princpios da mecnica. Se por um
lado, os princpios da mecnica so convenes no sentido de ferramentas formais que
permitem, por conveno, manter a aplicabilidade da induo completa, por meio da analogia
entre as relaes fsicas experimentais e leis matemticas, por outro lado, esses princpios
representam as prprias relaes fsicas experimentais. Os princpios convencionais e gerais
so a generalizao natural e direta dos princpios experimentais e particulares (POINCAR,
1902, p. 111). Os princpios fsicos e as geometrias so hipteses aparentes ou convenes, ou
ainda definies disfaradas, que desempenham o papel de elo analgico entre as leis fsicas e
as leis matemticas. Em funo disso, no mantm quaisquer caractersticas materiais,
embora, segundo Poincar, sua criao tenha sido guiada pelos fatos experimentais.











Captulo 2




O convencionalismo de Poincar
63
2.1 Introduo

Vimos no primeiro captulo a construo da epistemologia da cincia de Poincar, sua
metodologia epistemolgica e por fim, o mltiplo significado que o conceito de hiptese
ganha sob o olhar intuicionista poincareano. Veremos no presente captulo como o
convencionalismo atribudo a Poincar pode ser caracterizado e entendido luz de sua
epistemologia da cincia.
Examinaremos na seo 2.2.1.1 As bases para o convencionalismo geomtrico, um
pouco do contexto histrico em que as ideias de Poincar se desenvolveram, passando por
alguns aspectos filosfico-cientficos que ganharam ateno sua poca, como, por exemplo,
o surgimento e a ascenso das geometrias no-euclidianas e o impacto que causaram, assim
como o impulso que produziram no chamado empirismo geomtrico.
Veremos tambm a construo e a definio do convencionalismo de Poincar sob
dois aspectos: o convencionalismo geomtrico e o convencionalismo fsico. Em ambos
notaremos que o vnculo analgico decisivo entre as leis matemticas formais e as leis fsicas
materiais ter de se dar, necessariamente, por conveno, seja nas geometrias, seja nos
princpios que embasam as leis da fsica.
Ao final, veremos alguns aspectos das consequncias que a perspectiva epistemolgica
poincareana da cincia sugere sobre a construo do conhecimento cientfico, na viso da
epistemologia evolucionria de Giedymin, que culmina na conciliao de teorias cientficas,
por vezes consideradas como antagnicas, no interior de uma mesma verdade formal, sempre
privilegiando o aspecto prtico.

64
2.2 Os convencionalismos: geomtrico e fsico

Como vimos nas ltimas sees do captulo anterior, as convenes (hipteses
aparentes), as hipteses naturais, e as hipteses verificveis, representam para Poincar
importantes elos da analogia entre as verdades formais e indubitveis do esprito e as
propriedades e leis obtidas da interpretao das relaes empricas.
Veremos agora que as convenes poincareanas so sempre formais e representam o
elo analgico decisivo entre o elemento formal matemtico e o elemento material fsico.
O chamado convencionalismo poincareano pode ser subdividido em dois
convencionalismos distintos e complementares: o convencionalismo geomtrico e o
convencionalismo fsico.
Veremos o papel que as geometrias (euclidiana e no-euclidianas) ocupam nas teorias
cientficas e o porqu de seu estatuto de convenes poincareanas.
As convenes poincareanas na fsica so inicialmente os princpios da mecnica, mas,
posteriormente, Poincar atribui a designao de convenes tambm aos princpios fsicos
em geral. Veremos, ao final, como Poincar chega a essa concluso e qual o papel que essas
convenes fsicas ocupam nas teorias cientficas.
2.2.1 O convencionalismo geomtrico
2.2.1.1 As bases para o convencionalismo geomtrico
Antes de desenvolver a caracterizao conceitual do convencionalismo geomtrico
poincareano necessrio destacar os elementos da base argumentativa sobre a qual ele foi
construdo, alm disso, estabelecer as condies histricas no contexto de sua elaborao.
Gillies enfatiza a importncia que as geometrias no-euclidianas tiveram no trabalho
de Poincar; sugere que provvel que ele tenha primeiro criado o convencionalismo para
dar conta da geometria, e somente mais tarde o estendeu a outras partes da cincia (1993,
p.75). No entrarei na discusso do mrito dessa possibilidade apontada por Gillies,
entretanto, ao longo de todo o primeiro captulo da presente pesquisa, acredito ter deixado
clara minha posio de que as convenes poincareanas so consequncias de uma
epistemologia elaborada e consistente, cujo fundamento primeiro o princpio de recorrncia.
65
No restam dvidas, porm, sobre o fato de que as geometrias no-euclidianas tiveram
impacto filosfico significativo sobre a posio, at ento intocvel da geometria euclidiana,
considerada poca como a verdadeira geometria do espao fsico. Consequentemente, a
prpria fundamentao das teorias do conhecimento cientfico sofreriam o impacto dessas
novas geometrias.
Giedymin (1991, p. 1) afirma que Isso parece ter provocado o seu interesse [de
Poincar] nos fundamentos da geometria e nas duas principais tradies - racionalismo e
empirismo - que dominavam a filosofia da geometria. Giedymin se refere ao racionalismo
kantiano e ao empirismo geomtrico.
A divergncia epistemolgica principal entre essas duas tradies conduz questo: A
origem do conhecimento geomtrico anterior experincia e independe dela ou posterior e
derivada dela?
De acordo com Gillies (1993, p.76-77) Os teoremas da geometria euclidiana [...] ele
[Kant] considerou como necessariamente verdadeiros, e portanto como a priori. Giedymin,
por sua vez, concorda com Gillies quando assim se refere ao estatuto epistemolgico da
geometria euclidiana para Kant: O espao e o tempo so formas de nossa sensibilidade, so
condies prvias para qualquer experincia sensvel; as verdades da geometria so sintticas
a priori, ou seja, so baseadas na nossa intuio a priori do espao (1991, p. 3).
Assim, a proposta do apriorismo kantiano defende que a base do conhecimento
geomtrico anterior e independente da experincia, deriva somente das formas de nossa
sensibilidade.
Passando agora a um panorama histrico, de acordo com Gillies (1993, p. 77)
Ironicamente a descoberta da geometria no-euclidiana surgiu das tentativas de fazer a
geometria euclidiana ainda mais segura e bem fundamentada, j que os antigos gemetras
gregos j haviam levantado questes sobre [...] o quinto postulado de Euclides, o postulado
das paralelas. Assim, de acordo com Gillies (1993, p. 79) Gerolamo Saccheri (1667-1733)
tentou desenvolver uma prova por reductio ad absurdum de que Euclides estava [...] correto.
Mas os resultados de Saccheri, embora estranhos, no eram contraditrios, e eram de fato
teoremas de uma geometria no-euclidiana. Consequentemente, alm de no ter conseguido
confirmar o quinto postulado de Euclides, Saccheri ainda manteve aberta a possibilidade de
novas interpretaes sobre o postulado das paralelas, uma vez que a tentativa de prov-lo por
absurdo no foi conclusiva e nada provou.
Segundo Poincar:
66
Durante muito tempo se procurou, em vo, demonstrar, igualmente, o [...] postulado de Euclides
(postulado das paralelas) [por um ponto, s podemos fazer passar uma paralela a uma reta dada].
[...] Enfim, no comeo do sculo (XIX) e quase ao mesmo tempo, dois sbios, um russo e um
hngaro, Lobatchevsky e Riemann estabeleceram, de maneira irrefutvel, que essa demonstrao
impossvel. (1902, p. 45).
Ora, se impossvel demonstrar o postulado das paralelas de Euclides, ento,
percorrendo caminhos distintos Lobatchevsky e Riemann o negaram, construindo geometrias
distintas da geometria de Euclides, distintas entre si, mas ainda consistentes. Segundo
Poincar:
Lobatchevsky [...] supe, no incio, que: Pode-se fazer passar por um ponto vrias paralelas a
uma reta dada; No mais ele conserva todos os axiomas de Euclides. Dessas hipteses, deduz uma
srie de teoremas entre os quais impossvel assinalar qualquer contradio e constri uma
geometria cuja lgica impecvel no fica nada a dever geometria de Euclides (1902, p. 46, grifos
do autor).
Poincar admite, entretanto, que os teoremas dessa nova geometria de Lobatchevsky
no nos parecem nem um pouco familiares e as proposies que deles podemos obter no
tem mais nenhuma relao com as de Euclides (1902, p. 46). Sobre a geometria de Riemann
Poincar assim se pronuncia:
Pois bem, a geometria de Riemann a geometria esfrica estendida a trs dimenses. Para
constru-la o matemtico alemo teve de abandonar no s o postulado de Euclides (postulado das
paralelas), mas tambm o primeiro axioma: S se pode fazer passar uma reta por dois pontos. [...]
na geometria de Riemann (pelo menos em uma de suas formas) s passar, em geral, uma reta por
dois pontos, mas h casos excepcionais [se os dois pontos dados so diametralmente opostos] em
que, por dois pontos, podero passar uma infinidade de retas. (1902, p. 47, grifos do autor).
O objeto central da questo em torno das novas geometrias diz respeito aos axiomas
indemonstrveis que definem as geometrias. A consistncia lgica dessas novas geometrias
foi um fator decisivo no contexto dessa questo. Gillies destaca que, Finalmente, entre os
anos de 1868 e 1872, o matemtico italiano Beltrami e o matemtico alemo Klein
publicaram provas da consistncia de vrias formas de geometrias no-euclidianas com
relao geometria euclidiana (1993, p. 83).
Bem, se as geometrias no-euclidianas so logicamente consistentes temos, a partir de
ento, que outros conjuntos de axiomas, propostos por outras geometrias, podem se opor
diretamente aos postulados e axiomas de Euclides. Poincar coloca a questo da seguinte
forma:
J que vrias geometrias so possveis, certo que a nossa verdadeira? Sem dvida, a
experincia nos ensina que a soma dos ngulos de um tringulo igual a dois ngulos retos; mas
isso se d por que operamos com tringulos muito pequenos; a diferena, segundo Lobatchevsky,
proporcional superfcie do tringulo: ser que ela no se tornar sensvel quando operarmos com
tringulos maiores ou quando nossas medidas se tornarem mais precisas? Assim, a geometria
euclidiana seria apenas uma geometria provisria. (1902, p. 53).
67
Poincar se refere aferio de medidas espaciais para verificar se a geometria
euclidiana permanece verdadeira ou se outra geometria a pode substituir, conforme a proposta
por Lobatchevsky. O empirismo geomtrico ir explorar exatamente essa questo, defendendo
que os fundamentos da geometria so derivados da experincia. Giedymin enfatiza que at a
descoberta das geometrias no-euclidianas, o empirismo geomtrico no foi considerado
seriamente. E, que:
Foi no mbito das suas especulaes inditas sobre geometrias alternativas de Euclides que
Gauss props resolver a questo da geometria do espao fsico por meio de medies terrestres,
enquanto Lobatchevsky achou mais promissores os mtodos astronmicos para decidir entre
Euclides e sua prpria geometria. (1991, p. 3).
Esse o resumo do quadro histrico encontrado por Poincar logo aps a descoberta,
ou construo, das geometrias no-euclidianas. A posio assumida por ele coloca em dvida,
por um lado, a epistemologia do apriorismo kantiano que concebe a geometria euclidiana
como uma verdade independente da experincia por outro lado, a pretenso do empirismo
geomtrico em fundar o conhecimento da geometria unicamente sobre base experimental.
2.2.1.2 As crticas ao apriorismo geomtrico kantiano
Veremos nesta seo como Poincar trabalha suas crticas ao apriorismo kantiano em
relao ao advento das geometrias no-euclidianas.
Segundo Giedymin:
plausvel argumentar que de acordo com a filosofia de Kant, o princpio da induo matemtica
em aritmtica uma verdade sinttica a priori; sem isso a aritmtica impossvel e no nem
analiticamente verdadeira, nem uma condio de verdade sinttica a posteriori. (GIEDYMIN,
1991, p. 3)
Giedymin chama de princpio da induo matemtica ao princpio de recorrncia a
que nos referimos ao longo do captulo 1 dessa pesquisa. Como j vimos na seo 1.2,
Poincar concorda com essa posio, derivada de uma interpretao especfica dos escritos de
Kant. Mas se essa posio vlida para a aritmtica, ento, o que muda com relao
geometria? E j que a questo gira em torno dos axiomas da geometria euclidiana, Poincar
indaga sobre a natureza desses axiomas:
So juzos sintticos a priori como dizia Kant?
Eles se imporiam, ento, a ns com uma tal fora que no poderamos conceber a posio
contrria, nem construir sobre ela um edifcio terico. No haveria Geometria no-euclidiana.
(POINCAR, 1902, p.53)
68
Poincar argumenta que, se os axiomas da geometria euclidiana fossem verdades para
o esprito anteriores a qualquer experincia, ento, no poderamos conceber uma construo
racional contrria a eles. Porm, no foi isso o que ocorreu.
Por meio da construo das geometrias no-euclidianas e sua comprovada consistncia
lgica, estabeleceram-se novas concepes geomtricas, novos teoremas e proposies que,
como vimos, no tem mais nenhuma relao com as de Euclides (POINCAR, 1902, p. 46)
e contrariam o conjunto dos axiomas da geometria euclidiana, impedindo que ela mantenha o
estatuto de uma verdade sinttica a priori. Portanto, os axiomas da geometria euclidiana,
segundo Poincar, no so juzos sintticos a priori.
Devido a esse questionamento sobre o apriorismo geomtrico kantiano, Gillies (1993,
p.86) entende que Poincar considerou a geometria no-euclidiana como uma refutao
posio kantiana (grifo meu).
Giedymin, entretanto, argumenta sobre as influncias histricas percebidas por
Poincar e afirma que:
Algumas ideias de como ampliar ou modificar a filosofia da geometria de Kant, Poincar derivou
da teoria da evoluo de Darwin; de fato seu ponto de vista epistemolgico da geometria tornou-se
uma variante da epistemologia evolucionria
21
. Esta foi uma tendncia popular no ltimo quarto
do sculo XIX entre os filsofos tanto de tendncias racionalistas quanto empiristas que viram
o principal objetivo da filosofia na anlise epistemolgica da cincia e no na busca da metafsica.
(1991, p. 4).
Segundo essa abordagem epistemolgica evolucionria, a geometria euclidiana no
tem de ser necessariamente negada ou assumida como uma verdade do espao fsico, pois, a
construo do conhecimento cientfico no deve procurar verdades metafsicas intocveis,
mas por alternativas que permitam o sucesso da orientao no espao.
Se compararmos a afirmao de Giedymin com a epistemologia poincareana que
vimos no captulo 1, teremos que, segundo Poincar, o princpio de recorrncia um juzo
sinttico a priori, mas, diferente de sua aplicao na aritmtica, no caso da geometria o
raciocnio por recorrncia depende das analogias com os deslocamentos de slidos ideias,
absolutamente invariveis da fsica; portanto, os axiomas da geometria no podem ser
totalmente a priori, uma vez que o conceito desses corpos ideais puro fruto de nosso


21
De acordo com Giedymin A abordagem evolucionria era contrria concepo de epistemologia
preocupada com a natureza e as leis de uma mente humana imutvel. Foi, portanto, contrria doutrina de uma
imutvel e universal intuio a priori do espao e do tempo como a fonte do nosso conhecimento da geometria
ou da anlise. Se existem elementos a priori em nosso conhecimento, ento eles tm de ser explicados em
termos de variaes, genticas e de seleo natural. A epistemologia evolucionria, portanto, implica uma certa
viso sobre a gnese da geometria em termos do valor para a sobrevivncia e o sucesso da orientao no espao
(1991, p. 4).
69
esprito e a experincia funciona como uma mola que nos impele a elabor-lo (POINCAR,
1902, p. 67). Alm disso, como vimos na seo 1.2, Castro (2001) destaca que, segundo a
lgica intuicionista de Poincar, o princpio do terceiro excludo no tem necessariamente que
se impor. Nesse caso, a geometria euclidiana no deve ser totalmente refutada, mas sim,
adaptada, ampliada ou modificada, dando continuidade quilo que Giedymin aqui entende por
uma evoluo epistemolgica. Giedymin, assim, interpreta que Poincar no refutou
integralmente a geometria kantiana como sugeriu Gillies.
Ainda sobre o que vimos no primeiro captulo, se considerarmos que a conveno
geomtrica poincareana nasce do raciocnio por recorrncia, embora tenha surgido da
necessidade de respaldar o espao criado pelo contnuo fsico, o que Poincar faz tornar
objetiva e prtica uma ferramenta formal, abrindo mo do conceito de juzo sinttico a priori
para a geometria.
Na prtica, Poincar deslocou a criao da geometria do campo puramente formal para
um campo formal e prtico, intermedirio entre a matemtica esta sim puramente formal e
a fsica experimental, unindo, por analogia, o contnuo matemtico ao continuo fsico. Diante
disso, a geometria euclidiana passou a ocupar, juntamente com as demais geometrias, o
estatuto de convenes, como grupos matemticos e elos teis e convenientes analogia entre
o campo formal e o campo material do conhecimento cientfico. Poincar, nesse caso,
rejeitando o uso do princpio do terceiro excludo, defendeu todas as geometrias como
verdadeiras no mbito matemtico e tornou prtica a escolha dentre elas em nome da
convenincia emprica.
Se, como vimos, as geometrias so formais e matematizveis, no de admirar que se
possam criar, por meio do raciocnio por recorrncia, tantas verdades geomtricas quantas o
esprito assim o desejar, afinal, a criao matemtica se deve induo completa e depende
exclusivamente do esprito. Ora, se queremos estabelecer um vnculo por analogia entre
resultados empricos definidos e uma infinidade de geometrias formais, isso somente se dar
por escolha e, claro que a escolha mais prtica e objetiva ser a mais conveniente, uma vez
que a exatido geomtrica inquestionvel no mbito matemtico.
O que vimos ao longo do nosso primeiro captulo corrobora, ainda, com a posio de
Giedymin se considerarmos seu seguinte argumento:
Sob a influncia da epistemologia evolucionria os conceitos de til e utilidade ganharam
importncia na epistemologia de Poincar [...] A partir de consideraes evolucionrias, bem
como da importncia de analogias formais em matemtica e em cincia, ele concluiu que a
verdade [...] no o nico ideal ou critrio para a seleo cientfica: o conhecimento consiste no
de quaisquer afirmaes verdadeiras, mas sim daquelas que so verdadeiras e teis (no sentido
mais amplo de utilidade prtica e terica). (1991, p. 5, grifos meus)
70
Esse argumento de Giedymin acrescenta uma justificativa atravs de influncias
histricas para a adoo, por parte de Poincar, de critrios prticos e no somente lgicos,
uma vez que, segundo o que vimos na epistemologia poincareana da cincia, a criao se d
sobre bases intuitivas; a lgica apenas verifica se os resultados da criao so consistentes.
Assim, Poincar prefere valorizar a ampliao e a adaptao do que j conhecemos, para
novas formas de conhecer, ao invs de, simplesmente, substituir uma verdade provisria por
outra. Sob essa perspectiva, j nos possvel afirmar que sempre deve haver um elemento de
continuidade entre as formas de conhecer ou entre teorias que se sucedem.
Esse aspecto do conhecimento til e prtico no mbito do pensamento poincareano
ser importante para entendermos, mais adiante, nas sees 2.2.2.1 O convencionalismo
fsico como epistemologia evolucionria e 2.2.2.2 A teoria fsica e a utilidade, a
amplitude que se pode dar filosofia convencionalista de Poincar, visando uma teoria do
conhecimento voltada utilidade prtica e terica na fsica.
Para consolidar sua posio convencionalista Poincar, em seguida, argumentar sobre
a possibilidade de derivar da experincia os axiomas e postulados da geometria. Em outras
palavras, se o empirismo geomtrico pode manter uma posio consistente segundo Poincar.
2.2.1.3 As crticas de Poincar ao empirismo geomtrico
Vejamos uma passagem na obra de Poincar que se mostra significativa para a anlise
do empirismo geomtrico
Se a geometria de Lobachevsky verdadeira, a paralaxe de uma estrela muito distante ser finita;
se a geometria de Riemann a verdadeira, ela ser negativa. Esses so resultados que parecem
estar ao alcance da experincia [...] Mas o que chamado linha reta em astronomia ,
simplesmente, a trajetria do raio luminoso. Portanto, se numa possibilidade extremamente remota
se chegasse a descobrir paralaxes negativas ou a demonstrar que todas as paralaxes so superiores
a um certo limite, poderamos escolher entre duas concluses: poderamos renunciar a geometria
euclidiana ou, ento, modificar as leis da tica e admitir que a luz no se propaga rigorosamente
em linha reta. (1902, p. 69).
Grosso modo, podemos explicar a paralaxe de uma estrela como a posio em que a
vemos no cu quando a Terra est num dado ponto de sua rbita em torno do Sol e
compararmos com a posio que a enxergamos quando a Terra est num ponto da sua rbita
em torno do Sol, oposto ao ponto anterior. Se olharmos para a mesma estrela a partir desses
pontos opostos, veremos uma alterao em sua posio; isso conhecido como desvio de
paralaxe estelar (figura 1).
71

Figura 1
O problema posto por Poincar diz respeito s concluses a que podemos chegar a
partir de medies sobre a posio que a estrela ocupa no cu nessas duas posies opostas
que a Terra ocupa em rbita do Sol, ou seja, sobre o desvio de paralaxe. De posse dos
resultados empricos poderamos compar-los com as proposies das geometrias de Euclides,
Lobatchevsky e de Riemann e, ento, seria possvel identificar qual delas a verdadeira
geometria do espao fsico.
Poincar argumenta que se tomarmos como referncia para uma reta verdadeira a
trajetria de um raio de luz, estaremos assumindo como verdadeiras as leis da tica, que
tambm foram obtidas de modo emprico, ou seja, so leis fsicas e, portanto, demandam uma
eterna verificao emprica, j que a induo fsica incerta. Se mesmo assim assumirmos as
leis da tica como verdadeiras e, se numa possibilidade extremamente remota se chegasse a
descobrir paralaxes negativas ou a demonstrar que todas as paralaxes so superiores a um
certo limite, ento, certamente teremos de substituir a geometria euclidiana por outra.
Por outro lado, ainda no caso acima, se tomarmos a geometria euclidiana como
verdadeira, assumindo a verdade de seus axiomas e postulados, teremos de assumir tambm
que a luz no se propaga segundo uma reta euclidiana e, portanto, teremos de modificar as leis
da tica. Logo, o que fazemos de fato, escolher dentre as possibilidades a que nos parecer
melhor ou mais conveniente e no a verdadeira, pois no se trata de prova emprica, mas de
escolha. Giedymin destaca uma interpretao similar: o que Poincar nega nessa passagem
no a relevncia de qualquer experincia para o problema da geometria do espao, mas a
72
unicidade da soluo do problema com base somente em resultados experimentais (1991,
p.6, grifo meu). De fato, so duas as varveis em jogo: as leis fsicas sempre sujeitas a
reviso e as verses da geometria tanto a euclidiana quanto as no-euclidianas. Desse
modo, sempre haveria duas escolhas possveis.
A opo de Poincar no escolher entre uma nica verdade expressa pela lei fsica e
uma nica verdade geomtrica, mas sim, entender todas as geometrias como verdadeiras, uma
vez que seu critrio de verdade matemtico, e as geometrias no passam de estruturas
matemticas criadas por meio do uso da induo completa, ou seja, so sempre verdadeiras
para o esprito que as criou. A lei fsica sempre depender da verificao emprica contnua,
ento, na viso de Poincar, melhor trabalhar o estudo dos resultados empricos por meio de
vrias ferramentas geomtricas verdadeiras e cambiveis.
Em outras palavras, no faz sentido para Poincar falar em uma nica geometria
verdadeira, pois as geometrias no passam de convenes inspiradas na experincia, mas que
dela no dependem. De fato, para Poincar esse dilema resolvido pela escolha; no a escolha
de uma verdade fsica, mas a escolha dentre as geometrias a que melhor se acomode ao nosso
objetivo prtico. As geometrias para Poincar no passam de ferramentas formais que podem
ser anlogas, tanto a leis matemticas essas sim verdadeiras quanto a leis fsicas
aproximativas. As geometrias representam o elo convencional entre os contnuos fsico e
matemtico.
Entretanto, ainda podemos indagar: Seria possvel, de fato, por prova emprica os
axiomas e postulados da geometria euclidiana? E Poincar assim argumenta:
Construamos um crculo material, meamos seu raio e sua circunferncia e procuremos verificar se
a razo entre esses dois comprimentos igual a . O que fizemos nesse caso? Fizemos uma
experincia, no sobre as propriedades do espao [geomtrico], mas sobre as propriedades da
matria com a qual construmos o crculo e sobre as daquela de que feito o metro que usamos.
(POINCAR, 1902, p. 69).
Poincar chama a ateno para o fato de que no possvel que realizemos
experimentos geomtricos ideais: sempre estaremos testando o elemento material, qualquer
que seja nossa pretenso de testar uma condio geomtrica ideal. Alis, essa a
caracterstica da geometria que a torna confivel como analogia entre a matemtica e a fsica:
ela formal, no possui materialidade. Portanto, segundo Poincar, no possvel testar
empiricamente a verdade dos axiomas da geometria.
Mas Poincar ressalva: o que a geometria tomaria emprestado experincia seria,
ento, as propriedades desses corpos (1902, p. 53) e no os prprios corpos fsicos e, como
vimos na seo 1.5.2, isso se deve lei da homogeneidade. Ele mantm, assim, a relao que
73
a geometria guarda com as formas do mundo material, sem que ocorram contradies entre
resultados empricos e formas geomtricas ideais. Em outras palavras, a forma geomtrica
dever sempre corresponder, por analogia, aos corpos fsicos materiais.
desse modo, portanto, que Poincar justifica o estatuto epistemolgico dos axiomas
geomtricos; a sua filosofia convencionalista da geometria:
Os axiomas geomtricos no so, pois, nem juzos sintticos a priori, nem fatos experimentais. So
convenes. Nossa escolha, entre todas as convenes possveis, guiada por fatos experimentais;
mas ela permanece livre e s limitada pela necessidade de evitar qualquer contradio. assim
que os postulados podem permanecer rigorosamente verdadeiros mesmo quando as leis
experimentais que determinaram sua adoo so somente aproximativas. Em outras palavras, os
axiomas da Geometria (no falo dos da Aritmtica)
22
no passam de definies disfaradas. Ento
o que devemos pensar da pergunta: A Geometria euclidiana verdadeira? Ela no tem nenhum
sentido. o mesmo que perguntar se o sistema mtrico verdadeiro e as medidas antigas, falsas;
se as coordenadas cartesianas so verdadeiras e as polares falsas. Nenhuma Geometria pode ser
mais verdadeira do que outra; o que ela pode ser mais conveniente. (POINCAR, 1902, p.54,
grifos do autor).
Portanto, reiterando, no faz sentido tentar atribuir s geometrias o estatuto de
verdades, nem a priori, nem empricas, pois elas so verdades formais do esprito; por esse
aspecto no faz sentido procurar uma geometria que seja mais verdadeira que as demais. As
convenes geomtricas poincareanas, a meu ver, evidenciam, principalmente, a importncia
com que a utilidade contemplada na epistemologia da cincia de Poincar, privilegiando o
equilbrio entre exatido e objetividade. Seguindo esse raciocnio, desde que uma conveno
se mostre mais til e evite contradies, tanto com leis matemticas quanto com leis fsicas,
dando conta satisfatoriamente das relaes empricas e resultados empricos observados, no
h porque evitar sua adoo ou uma possvel troca de convenes geomtricas. Poincar se
manteve fiel a esse critrio prtico e assim o defendeu quando uma nova mecnica estava
emergindo:
Qual ser a nossa posio diante desses novos projetos? Ser que vamos ser forados a mudar as
nossas concluses? Certamente no: adotamos uma conveno porque nos parecia cmodo, e disse
que nada poderia nos forar a abandon-la. Hoje alguns fsicos querem adotar uma nova
conveno. No que eles sejam obrigados a isso, eles julgam esta nova conveno mais cmoda, e
isso tudo; e aqueles que no so deste parecer, podero legitimamente manter a velha ordem para
no perturbar os seus velhos hbitos. Eu acho que, entre ns, isso o que eles faro por um longo
tempo. (1913, p. 54).
Mesmo ainda confiante na manuteno da geometria euclidiana como a mais
conveniente aos propsitos da fsica, Poincar manifesta claramente que a adoo de uma
conveno geomtrica uma simples questo de escolha por parte do pesquisador.


22
Como vimos na seo 1.2, Poincar no nega que os axiomas da aritmtica sejam verdades sintticas a priori,
mesmo porque, as propriedades bsicas da aritmtica nascem da aplicao original do princpio de recorrncia,
ou seja, da afirmao direta de uma propriedade do esprito.
74
2.2.2 O Convencionalismo fsico

A argumentao que Poincar usou para defender sua perspectiva convencionalista da
fsica mecnica se mantm muito parecida com a que usou na defesa de seu convencionalismo
geomtrico. Ou seja, Poincar exemplifica que os princpios da mecnica so convenes por
dois motivos bsicos: (1) no so verdades que se impem a priori ao esprito e (2) os
resultados empricos no podem neg-los. Ou seja, as leis da mecnica de Newton no podem
ser, segundo Poincar, nem anteriores a qualquer resultado emprico e nem derivadas desses
resultados.
Sobre o princpio da inrcia, Poincar se questiona:
Um corpo que no est submetido a nenhuma fora s pode ter um movimento retilneo e
uniforme. Ser que essa uma verdade que se impe a priori ao esprito? Se fosse assim, como a
teriam ignorado os gregos? Como teriam eles podido acreditar que o movimento pare com a
cessao da causa que lhe dera origem, ou ainda, que todo corpo, se no h nada que o impea, se
movimentar em crculo, o mais nobre de todos os movimentos?(1902, p. 82)
De modo semelhante ao argumento que usou para a geometria, Poincar nega assim a
possibilidade de que esse princpio fsico pudesse ser um conhecimento totalmente
independente da experincia e, portanto, nega seu estatuto a priori.
Novamente, a exemplo dos argumentos usados na geometria, Poincar ir se voltar aos
experimentos ideais que pressupem corpos que no estivessem sob a ao de nenhuma
fora e sobre a impossibilidade emprica da verificao da ausncia de foras, alm, claro,
da gravidade que no pode desaparecer em momento algum e sempre estar presente
empiricamente, seja qual for o experimento. A concluso a que se chega anloga
concluso que o autor chegou sobre as tentativas de realizao de experincias materiais com
a geometria: no possvel realizar um experimento que coloque prova um princpio ideal,
uma vez que o nico subsdio para esse experimento material. Logo, os princpios da
mecnica so convenes desprovidas totalmente de contedo material e restritas ao seu
formalismo, embora a experincia as tenha inspirado. Assim como no caso dos axiomas da
geometria, as leis da mecnica so construdas sob termos bem escolhidos que permitiram
destacar somente os conceitos e propriedades de corpos slidos ideais, inacessveis ao
experimento emprico, mas acessveis ao experimento puro racional; assim, a lei da
homogeneidade, como vimos na seo 1.5.2, torna possvel a correlao entre as leis
matemticas e as leis da mecnica.
75
Segundo o que vimos quando analisamos a epistemologia de Poincar, a concluso
no poderia ser diferente. A condio formal a nica razo pela qual o princpio fsico pode
nos ser til.
Segundo Poincar, os princpios da dinmica nos pareciam, de incio, verdades
experimentais, mas fomos obrigados a us-los como definies. por definio que a fora
igual ao produto da massa pela acelerao (1902, p. 90); o experimento no pode alcanar
essa idealizao conceitual, pois, novamente, estaremos testando a materialidade e no o
princpio. Assim ocorre tambm com a definio que a ao igual a reao (1902, p. 90).
A concluso de Poincar enftica: Fica, agora, assim explicado como a experincia pde
servir de base aos princpios da Mecnica que, contudo, nunca poder contradizer
(POINCAR, 1902, p.90, grifos do autor).
Se por um lado os princpios da mecnica so construes ideais (formais), por outro
lado, foram edificados segundo uma rigorosa analogia entre as relaes empricas e a anlise
pura, por meio da lgica matemtica, garantindo a no-contradio no princpio formal.
Pode parecer contraditrio dizer que a experincia pde servir de base para as
convenes, tendo em vista essa crtica ao empirismo, ou seja, a impossibilidade de
verificao emprica de tais convenes. Entretanto, de acordo com o exposto por Poincar, as
convenes tiveram apenas a inspirao intuitiva inicial com base na descoberta de
propriedades comuns a uma grande variedade de experincias singulares; a partir de ento,
por meio da lei da homogeneidade essas relaes empricas particulares deram lugar a
propriedades formais que j no mais podem ser colocadas prova empiricamente. O
princpio formal perde o vnculo com o experimento material.
O experimento fornece apenas um indcio particular da relao emprica; vrios
experimentos singulares fornecem propriedades, por meio do uso da intuio, que o princpio
generaliza sob bases formais. A homogeneidade e a consistncia formal das convenes,
mediante uma generalizao no-contraditria com os eventos empricos singulares, promove
sua independncia da condio emprica. Como? Por meio das relaes dadas por analogia
com convenes geomtricas e com leis matemticas.
Entretanto, adverte Poincar, se a inexistncia da materialidade no princpio fsico
impede que a experincia venha a neg-lo, o mesmo no ocorre com as hipteses e teorias
fsicas. Estas carregam consigo equaes matemticas e expressam relaes formais, mas
tambm se valem de descries ontolgicas. Recordando o que j vimos na seo 1.6, as
descries ontolgicas que participam da teoria fsica no passam de imagens do mundo que
podem, at mesmo, ajudar o pesquisador a organizar ou ilustrar suas ideias, entretanto, no
76
campo prtico das relaes entre as coisas, no passam de hipteses indiferentes e, portanto,
hipteses inverificveis que no trazem consigo qualquer utilidade prtica, pois no podem
ser comprovadas empiricamente.
Constatamos, portanto, que Poincar manteve com relao ao seu convencionalismo
fsico, um movimento argumentativo anlogo ao adotado na construo de seu
convencionalismo geomtrico.
Assim como as geometrias, os princpios fsicos so tentativas formais bem sucedidas
de vincular, por meio da analogia e de termos bem escolhidos da linguagem descritiva, as
leis matemticas e as leis fsicas, como vimos no captulo 1. Direi que, nessas circunstncias,
somente por conveno se pode estabelecer o vnculo entre o formal e o material. O termo
bem escolhido a que se referiu Poincar um termo de linguagem conveniente e usado tanto
para delimitar o alcance de leis matemticas, quanto de leis fsicas, separadamente.
Entretanto, quando usamos termos bem escolhidos para estabelecer um vnculo direto, formal
e matematizvel entre leis fsicas e leis matemticas, que o caso das geometrias e tambm
dos princpios fsicos, esse vnculo sempre se dar por conveno, pois o prprio termo bem
escolhido representa um vnculo convencional entre propriedades empricas que o esprito
tornou homogneas e formais, e propriedades matemticas convenientes a esses princpios e
geometrias. O vnculo decisivo na analogia entre leis matemticas e leis fsicas sempre ser
uma conveno, por isso que teorias fsicas no podem prescindir das convenes. As
teorias fsicas partem de pressupostos para que possam ser edificadas. Segundo Poincar:
Toda concluso supe premissas; essas premissas ou so evidentes por si mesmas e no precisam
de demonstrao, ou, ento, s podem ser estabelecidas apoiando-se em outras suposies, e como
no poderamos continuar assim indefinidamente, toda cincia dedutiva, e particularmente a
geometria, deve se basear num certo nmero de axiomas indemonstrveis. (1902, p. 45).
Poincar se refere, nesse excerto, especificamente geometria, porm, o mesmo
argumento se aplica aos princpios fsicos, pois as teorias fsicas tambm partem de princpios
indemonstrveis e necessrios e, somente ento, se torna possvel deduzir consequncias dos
resultados obtidos por meio das relaes empricas.
Entretanto, na prtica, ocorre uma diferena marcante entre as convenes geomtricas
e as convenes fsicas: podemos escolher dentre as convenes geomtricas as que nos sero
mais convenientes, porm, segundo Poincar, os princpios fsicos no podem ser trocados por
outros princpios fsicos; os princpios fsicos sero sempre nicos, como vimos na seo
1.6.1.5, e no esto sujeitos negao emprica, pois se referem s relaes expressas pelas
propriedades dos objetos da mecnica e deles no podem se desligar. Veremos na prxima
77
seo um detalhamento dos motivos que, segundo Poincar, levam os princpios da mecnica
a serem insubstituveis.
2.2.2.1 O convencionalismo fsico como epistemologia evolucionria
Como vimos na seo 2.2.1.2, Giedymin (1991) considera o convencionalismo
poincareano uma epistemologia evolucionria e em sua defesa usa elementos adicionais
externos aos escritos de Poincar.
Para Giedymin, Poincar segue o caminho das consideraes evolucionrias
associadas s analogias formais entre a matemtica e a fsica. Sob essa tica a verdade [...]
no o nico ideal ou critrio para a seleo cientfica: as afirmaes tm de ser verdadeiras
e teis (no sentido mais amplo de utilidade prtica e terica), como j foi citado.
Mas, at que ponto Poincar valoriza a utilidade prtica?
Destaco dois pontos: (1) sua rejeio intuicionista ao princpio do terceiro excludo,
como vimos nas sees 1.2 e 2.2.1.2; e (2) a vida til dos princpios da mecnica.
Vejamos a seguinte passagem
Quando um fsico constata uma contradio entre duas teorias que lhe so igualmente caras, diz,
por vezes: No nos preocupemos com isso, mas seguremos com firmeza as duas pontas da
corrente, mesmo que os elos intermedirios nos paream ocultos. Essa argumentao de telogo
embaraado seria ridcula, se tivssemos que atribuir s teorias fsicas o sentido que lhes do as
pessoas leigas. Em caso de contradio pelo menos uma delas deveria ser considerada falsa. Mas a
situao j no ser a mesma se procurarmos apenas aquilo que deve ser procurado. possvel que
uma e outra exprimam relaes verdadeiras e que s haja contradio nas imagens de que
revestimos a realidade. (POINCAR, 2008, p. 240, grifos meus).
No h como supor que a ntegra de uma teoria cientfica seja verdadeira, uma vez que
sua verificao emprica nunca cessa. O cientista dispe, quando muito, de equaes
matemticas e de dados empricos retirados de experimentos isolados entre si e reunidos sob
uma aparncia consistente e, justamente por isso, est sujeita continuamente reviso. A
matemtica se mostra exata, mas abstrata. Assim, a continuidade do exerccio da pesquisa
necessita, no raramente, da construo de imagens que ajudem a manter coesa essa
construo terica. Tais imagens derivam unicamente das metforas possveis entre algo que
conhecido pelo cientista e aquilo que aparentemente se comporta como esse algo que ele
conhece.
Em funo do exposto, no faz sentido, para Poincar, escolher uma dentre duas
teorias que se mostram aparentemente contraditrias, j que, retiradas tais imagens ilustrativas
e metafricas, podem estar ocultas relaes verdadeiras em ambas. Aplicar nesse caso o
princpio do terceiro excludo poderia significar a rejeio de relaes verdadeiras.
78
J nos possvel deduzir que Poincar est se referindo s hipteses indiferentes:
As hipteses desse gnero, portanto, tm apenas um sentido metafrico. O cientista deve privar-se
to pouco delas quanto o poeta se probe as metforas, mas deve saber que valor elas tm. Tais
hipteses podem ser teis para dar satisfao ao esprito e no sero nocivas, desde que sejam
apenas hipteses indiferentes. (POINCAR, 2008, p. 241).
Poincar se v obrigado a admitir um recurso metafrico em nome da criao
cientfica e, em contrapartida, precisa admitir tambm a possibilidade da coexistncia de
possveis relaes verdadeiras com esses recursos metafricos. Lembrando que essas relaes
verdadeiras s podem derivar das relaes matemticas e das geometrias, portanto relaes
formais; enquanto que os recursos metafricos se referem s descries ontolgicas ou
simples imagens ilustrativas. Esse um dos principais motivos pelo qual Poincar rejeita,
nessas circunstncias, o uso do princpio do terceiro excludo. Entretanto, sob a tica que ele
examina esses motivos, de fato, no se trata literalmente da rejeio do princpio do terceiro
excludo, mas de evitar que ele seja erroneamente aplicado e acabe por descartar totalmente
uma teoria que pode conter partes verdadeiras e teis.
Em outras palavras, Poincar no quer abrir mo das relaes verdadeiras que podem
estar ocultas na parte de cada uma das teorias que est empiricamente inacessvel, assim, a
nica atitude prtica possvel manter em uso essas teorias, mantendo em segundo plano suas
aparentes contradies, at que novos resultados empricos nos permitam visualizar os elos
intermedirios [que] nos paream ocultos.
Ainda quanto utilidade prtica em Poincar, o segundo ponto a que me referi diz
respeito vida til dos princpios fsicos.
Segundo a exposio de Poincar, os princpios da mecnica so convenes, como
vimos na seo 2.2.2, e, consequentemente, no sofrem a ao da negao emprica, mas,
alm disso, no so substituveis, uma vez que foi por analogia com as propriedades dos
objetos empricos da mecnica que esses princpios foram idealizados. Eles no podem perder
o vnculo que mantm com as propriedades formais inspiradas nos objetos empricos, uma
vez que tais propriedades no mudam empiricamente. Isso pode nos levar a acreditar que o
uso dos princpios da mecnica nas teorias fsicas nunca cessar. Entretanto, o uso dos
princpios da fsica est vinculado, segundo Poincar, a um aspecto prtico de utilidade.
No excerto que segue Poincar trata sobre o uso prtico dos princpios nas teorias
fsicas e, nesse caso, j nos possvel perceber que tais princpios recebem o mesmo
tratamento das leis da mecnica newtoniana, ou seja, so convenes. Eles no esto sujeitos
verificao emprica nem, tampouco, substituio por outra conveno. Sobre o papel de
79
alguns princpios gerais, como o princpio da mnima ao ou o da conservao de energia,
Poincar afirma:
Esses princpios so de altssimo valor: foram obtidos ao se investigar o que havia de comum no
enunciado de numerosas leis fsicas; assim, representam como que a quintessncia de inmeras
observaes. [...] Todavia, [...] Como no podemos fornecer uma definio geral da energia, o
princpio da conservao da energia significa, simplesmente, que h alguma coisa que se mantm
constante. [...] ele significa que as diferentes coisas a que damos o nome de energia esto ligadas
por um parentesco verdadeiro; afirma entre elas uma relao real. [...] como saberemos reconhecer
o momento em que ele [o princpio da conservao da energia] houver atingido toda a extenso
que podemos legitimamente atribuir-lhe? Muito simplesmente, quando ele deixar de nos ser til,
isto , de nos levar a prever novos fenmenos sem errar. Nesse caso, teremos certeza de que a
relao afirmada j no ser real, pois, caso contrrio, ele seria fecundo; a experincia, sem
contradizer diretamente uma nova extenso do princpio, t-lo- condenado, no entanto.
(POINCAR, 2008, p. 242-243, grifos do autor).
O fato de terem sido obtidos por meio da lei da homogeneidade, como vimos na seo
1.5.2, destacou nesses princpios somente os aspectos formais das propriedades que
participam de numerosas leis fsicas. Tais propriedades podem nos levar a prever uma ampla
gama de resultados empricos com base no cruzamento das propriedades especficas presentes
em cada uma daquelas numerosas leis fsicas e os aspectos formais das propriedades que os
princpios conservam comuns a todas elas.
O princpio somente deixar de ser til quando no mais se puder prever resultados
empricos com base no cruzamento entre suas propriedades e as propriedades especficas de
uma teoria qualquer que com ele queiramos relacionar.
Segundo o excerto, ns no podemos fornecer uma definio geral de energia, pois
o termo energia um termo bem escolhido que delimita uma propriedade imaterial, como
vimos na seo 1.4.1, e esse termo til em uma grande quantidade de teorias fsicas. O
princpio da conservao da energia foi elaborado por meio da comparao das propriedades
intrnsecas a essas leis. Entretanto, como por meio da sua negao emprica no podemos
testar a propriedade imaterial inerente ao princpio, temos de tentar afirm-la at o limite de
seu uso prtico.
por meio da utilidade prtica e terica dos princpios fsicos que podemos
determinar, por exemplo, at onde chegam as consequncias empricas da relao real e do
parentesco verdadeiro entre as diferentes coisas a que damos o nome de energia.
Quando a afirmao emprica do princpio no surtir efeito prtico em uma nova
aplicao, naturalmente ele perder sua utilidade nesse ramo de aplicao.
Portanto, a verificao dos princpios da fsica no se d pela negao emprica, como
ocorre com as hipteses verificveis, mas pela afirmao experimental do princpio fsico at
que ele atinja os limites de sua utilidade.
80
Esse o modo prtico que Poincar encontra para justificar positivamente como o
princpio fsico pode render a plenitude de sua produtividade cientfica sem nunca poder ser
negado empiricamente.
2.2.2.2 A teoria fsica e a utilidade prtica
O primeiro ponto da utilidade prtica e terica que acabo de expor permite uma
constatao simples no mundo cientfico: possvel a elaborao de diversas teorias diante
dos resultados empricos expostos pelos experimentos.
Segundo Giedymin, os resultados experimentais nunca nos impem uma nica
soluo terica, a caracterstica do convencionalismo de Poincar justamente a rejeio da
unicidade e uma nova concepo de hipteses cientficas como convenes (1991, p.7).
Desse modo, de acordo com a perspectiva de Poincar, podemos afirmar que as muitas
hipteses verificveis da fsica, como vimos na seo 1.6.1.4, podem coexistir enquanto
convenes, e dividir espao terico com hipteses indiferentes, como vimos na seo 1.6.1.2,
sempre procurando a maior consistncia terica possvel, com base nas escolhas intuitivas de
cada pesquisador, ao interpretar o conjunto de resultados obtidos dos experimentos.
Com base nas ideias de Poincar, as geometrias participam desse critrio de escolhas
convenientes e, assim, o uso de uma ou de outra geometria ser regido, tambm, pelo critrio
de utilidade, ou seja, com base na correlao mais conveniente a dar conta dos resultados
empricos na teoria fsica em estudo.
Temos ento, segundo uma perspectiva que obtivemos a partir da classificao inicial
de Heinzmann (2009) e abordamos na seo 1.6.1, sobre as hipteses em Poincar que esto
presentes nas teorias fsicas: hipteses verificveis (equaes matemticas), hipteses
indiferentes (elementos ontolgicos e metforas), convenes fsicas (princpios fsicos
insubstituveis) e convenes geomtricas (geometrias escolhidas por convenincia).
Giedymin apresenta uma leitura peculiar de utilidade em Poincar e afirma que a
geometria fsica uma famlia de sistemas observacionalmente equivalentes de geometria-
mais-fsica, que diferem entre si no que diz respeito a ontologias experimentalmente
indistinguveis (1991, p. 8, grifos meus).
Certamente, quando Giedymin fala de ontologias experimentalmente indistinguveis
no interior das teorias cientficas de uma mesma famlia, se refere s hipteses indiferentes
que carregam a caracterstica de inverificabilidade e, por isso, so indistinguveis.
Segundo Giedymin (1991, p. 8), os membros de uma famlia de teorias
observacionalmente equivalentes compartilham uma estrutura matemtica ou [...] uma
81
correspondncia pode ser estabelecida entre suas estruturas [matemticas]. Ou seja, de
acordo com a anlise empreendida sobre o papel das hipteses na seo 1.6.1, podemos
afirmar que Giedymin est identificando as caractersticas semelhantes entre teorias que
partilham hipteses verificveis (equaes matemticas) e convenes geomtricas, mas, no
tocante s suas hipteses indiferentes essas teorias so contraditrias.
justamente por isso que Giedymin pode cham-los de membros de uma mesma
famlia de teorias, pois, de acordo com a epistemologia poincareana, os elementos teis a
essas teorias so os mesmos, ou so anlogos, em cada uma delas; com a vantagem de
partilharem diferentes aspectos de resultados empricos que podem ter sido obtidos de modos
diferentes, sob diferentes interpretaes ou em diferentes ramos da fsica. A utilidade
prtica est presente na conciliao das teorias de uma mesma famlia destacando a relao
real e o parentesco verdadeiro que mantm, e ignorando o aspecto ontolgico ou
metafrico de suas hipteses indiferentes, inteis sob esse ponto de vista prtico.
Se eliminarmos as diferenas ontolgicas e puramente descritivas presentes nessas
teorias e destacarmos somente seus aspectos teis, ou seja, aqueles que por analogia permitem
a correspondncia entre as leis matemticas e as leis fsicas, estaremos destacando uma nica
teoria que, entretanto, rene uma ampla gama de aspectos favorveis e teis fsica. isso o
que Giedymin prope:
Uma teoria fsica uma famlia de teorias observacionalmente equivalentes que partilham a
mesma estrutura matemtica (ou: que suas estruturas matemticas so equivalentes) e que diferem
em relao a ontologias experimentalmente indistinguveis. (1991, p. 15).
Giedymin preserva, assim, dentro de uma mesma teoria fsica, as caractersticas teis e
comuns a todos os membros da famlia de teorias fsicas, mantendo a estrutura matemtica
(ou estruturas matemticas equivalentes) que conserva(m) a parte verdadeira (a induo
completa), exata e rigorosa (a lgica matemtica), cuja analogia com as propriedades fsicas
obtidas das relaes empricas confere confiabilidade teoria fsica conciliadora.



Essa proposta de Giedymin me parece consistente com os fundamentos
epistemolgicos poincareanos que desenvolvemos ao longo do primeiro captulo dessa
dissertao.
Caso nada soubssemos sobre a epistemologia de Poincar, nos pareceria uma
contradio colocar teorias incompatveis dentro de uma mesma famlia de teorias fsicas.
82
Entretanto, de posse do que vimos anteriormente, se considerarmos a atitude prtica que
Poincar sugere, preservando os elementos que podem representar uma verdade cientfica
ou seja, a estrutura geomtrica e a estrutura matemtica e desconsiderando as hipteses
indiferentes inverificveis que mantm em seu interior elementos ontolgicos ou metafricos,
essa tese de Giedymin consistente com a epistemologia de Poincar, pois consequncia
dela. Em outras palavras, por meio do fundamento epistemolgico poincareano possvel
concluir em favor da tese de Giedymin, porm, o caminho inverso no se sustenta, pois
faltariam elementos de fundamentao como o princpio de recorrncia, por exemplo.
Do mesmo modo, as convenes ocupam uma funo importante e especfica da
epistemologia poincareana, mas tentar derivar do convencionalismo toda epistemologia
poincareana seria intil e impraticvel, pois precisaramos de fundamentos poincareanos
anteriores s convenes e que, portanto, no so derivados delas.
Assim, conclui-se que o convencionalismo poincareano uma classificao restrita da
filosofia da cincia de Poincar, embora de suma importncia.
Veremos no captulo 3 O realismo estrutural epistemolgico, que a proposta de
Worrall, tambm com base em Poincar, justamente de interpretar essa mesma estrutura
formal que permanece no interior das teorias ou dos membros de uma mesma famlia de
teorias, como diria Giedymin como a nica realidade que persiste, ou seja, a realidade
estrutural matemtica presente nas teorias fsicas, e que se transfere s prximas teorias.













Captulo 3




O realismo estrutural epistemolgico
84
3.1 Introduo

De acordo com o caminho percorrido at aqui, no captulo 1 vimos como se d o
processo de criao e verificao do conhecimento cientfico segundo a epistemologia da
cincia de Poincar. No captulo 2, analisamos como pode ser entendido o convencionalismo
poincareano a partir dos fundamentos epistemolgicos desenvolvidos ao longo do captulo 1,
e como se torna restrita a denominao de convencionalismo para dar conta de sua
epistemologia. No presente captulo seguirei um percurso semelhante ao que usei no segundo
captulo, analisando como Poincar pode ser entendido como realista estrutural, a partir de sua
epistemologia da cincia.
O debate entre realistas cientficos e antirrealistas pode ser analisado, grosso modo,
por meio da questo: As teorias cientficas mantm algum vnculo com a realidade?
No artigo publicado por Worrall em 1989 Structural Realism: The Best of Both
Worlds? o autor prope resolver essa questo respondendo, segundo ele, de maneira
razovel aos dois argumentos mais relevantes nesse debate: o argumento do milagre e o
argumento da meta-induo pessimista.
Poincar est inserido nesse debate de dois modos: (1) Worrall se apia nos escritos
poincareanos para propor seu realismo estrutural e afirma que, tanto a soluo quanto os dois
principais argumentos desse debate esto presentes na obra de Poincar publicada em 1902;
(2) Worrall classifica Poincar como realista estrutural com base nas posies filosficas
sustentadas por ele em suas obras filosfico-cientficas.
Entretanto, a argumentao que Worrall usou da obra de Poincar para apoiar sua
proposta de realismo estrutural est reduzida a uns poucos excertos que, embora sejam
adequados ao seu objetivo, no contemplam os fundamentos epistemolgicos poincareanos.
Em outras palavras, Worrall usou uma parte muito restrita da obra de Poincar, mas que foi
suficiente para dar conta da formalizao de seu realismo estrutural.
Para desenvolver o problema que Worrall se props resolver, inicialmente, tratarei de
expor, na seo 3.2, o que defende o realismo cientfico, j que a posio contrria o
antirrealismo nega o que vou expor. Em seguida tratarei dos dois principais argumentos que
Worrall tomou como referncias em seu artigo: o argumento sem milagres favorvel ao
realismo cientfico; e o argumento da meta-induo pessimista em favor do antirrealismo e,
claro, contrrio ao realismo cientfico.
85
Definido o problema passaremos, ento, soluo proposta por Worrall apoiada nos
escritos de Poincar, principalmente na seo 3.3.1. Em seguida, tratarei de alguns temas que
se relacionam com a soluo de Worrall e problematizam a conexo entre a realidade e as
estruturas matemticas.
Como j havia dito na introduo dessa dissertao, no entrarei no mrito da
discusso que o realismo estrutural gerou em torno de si, apenas me limitarei s questes que
so relevantes epistemologia poincareana. Assim, discutirei brevemente sobre a opo de
Poincar, ou seja, se ele se mostra realista ou antirrealista; e usarei a proposta formal do
argumento do milagre de Putnam, em seu vis voltado ao realismo para examinar como
essa perspectiva se aplica epistemologia de Poincar.
Finalmente, tratarei dos rumos do conhecimento cientfico, de acordo com uma viso
histrica empreendida por Poincar, destacando duas perspectivas que emergem da busca pela
ordem geral do universo, e que nos remetem questo: A cincia caminha em direo
unidade e simplicidade ou para a variedade e a complicao? (POINCAR, 1902, p.
134).



86
3.2 O problema de Worrall: realismo X antirrealismo

Percebemos ao longo do captulo 1 que Poincar parte das verdades do esprito para
chegar realidade objetiva, ou seja, ele inicia seu percurso que vai da matemtica para a
fsica, por meio das verdades matemticas criadas pelo prprio esprito e, por fim, a verdade
matemtica se projeta, por analogia, nas possveis verdades da fsica, o que interpretei como
um equilbrio necessrio entre exatido e objetividade. A realidade objetiva seria, justamente,
o resultado da projeo das verdades matemticas nas relaes empricas.
Por esse motivo, darei preferncia a uma definio de realismo proposta por van
Fraassen, em que o movimento argumentativo vai da verdade rumo realidade, como em
Poincar. Assim, segundo van Fraassen, o enunciado correto do realismo cientfico : A
cincia visa dar-nos em suas teorias um relato literalmente verdadeiro de como o mundo , e a
aceitao de uma teoria cientfica envolve a crena de que ela verdadeira (1980, p. 27).
No enunciado de van Fraassen encontramos a presena de um elemento ontolgico
como o mundo pois as descries ontolgicas dividem espao terico com as relaes
matemticas no interior das teorias cientficas; crer na verdade da teoria pode significar a
crena tambm nessas descries ontolgicas, ou como exemplifica Chibeni, entidades e
processos no-observveis (eltrons, campos magnticos, ligaes moleculares, etc.)
postulados pela cincia para predizer e explicar os fenmenos (1996, p. 2), embora a posio
de Poincar seja favorvel somente verdade das relaes matemticas transpostas, por
analogia, s relaes empricas.
Esse um ponto que divide as opinies a respeito da posio de Poincar: ele um
realista ou um antirrealista?
Segundo French, por exemplo, Poincar, claro, no era realista, pois, insistiu que
atravs da mudana de teoria o que so preservadas so as equaes, e a natureza das coisas
est escondida do nosso olhar epistmico (2006, p.171); a perspectiva de French leva em
conta que Poincar nega as imagens do mundo que participam das teorias e que no passam
de hipteses indiferentes, como vimos na seo 1.6.1.2.
Entretanto, segundo Worrall, a permanncia de um elemento de continuidade no
interior das teorias que permite a passagem da verdade contida numa teoria obsoleta para uma
nova teoria, ou ainda, como diria Giedymin, a mesma estrutura matemtica (ou estruturas
matemticas equivalentes) que participa(m) de todos os membros de uma mesma famlia de
teorias, a prpria estrutura matemtica da realidade; para Poincar, essa seria a verdade
87
matemtica projetada na realidade objetiva das relaes empricas. Como sabemos, segundo
Poincar, a nica realidade objetiva so as relaes entre as coisas (1904, p. 170), mas ainda
permanece presente uma relao de verdade impressa nessa realidade objetiva das estruturas
matemticas e, por isso, na viso de Worrall, Poincar um realista estrutural, ou seja, um
realista quanto projeo de nossa verdade matemtica objetiva, na prpria objetividade das
relaes experimentais da fsica.
Estamos, assim, caminhando sobre um limite muito estreito, entre o que ser realista
ou no, diante dos motivos pelos quais as opinies se dividem.
De todo modo, antes de nos aprofundarmos nesses pormenores precisamos tratar do
que est em jogo na argumentao, tanto favorvel quanto contrria, a respeito do realismo
cientfico, por ocasio da proposta de Worrall. Nesse sentido, veremos inicialmente o
principal argumento em favor do realismo cientfico o argumento sem milagres.
3.2.1 O argumento sem milagres

O argumento sem milagres, conhecido tambm como argumento do milagre ou
argumento do no milagre, recebeu sua formalizao mais aceita
23
por meio das palavras de
Putnam:
O argumento positivo para o realismo que ele a nica filosofia que no faz do sucesso da
cincia um milagre. Que os termos em teorias cientficas maduras so tipicamente referenciais
(essa formulao devida a Richard Boyd), que as teorias aceitas numa cincia madura so
tipicamente aproximadamente verdadeiras; que o mesmo termo pode referir-se mesma coisa
mesmo quando ela ocorre em diferentes teorias - estas declaraes so vistas pelo realista
cientfico, no como verdades necessrias, mas como parte da nica explicao cientfica do
sucesso da cincia e, portanto, como parte de qualquer descrio cientfica adequada da cincia e
suas relaes com seus objetos. (1975, p. 73).
Grosso modo, quando Putnam se refere a teorias cientficas maduras faz meno s
teorias recorrentemente usadas para dar conta da explicao e da previso de resultados
empricos e que, portanto, tem sido amplamente testadas empiricamente com relativo sucesso,
tornando-as boas referncias de possveis verdades. Essas teorias maduras fazem uso de
termos que se referem mesma coisa, mesmo quando presentes em outras teorias e, por
isso, justificam sua utilidade e relativa confiabilidade. Uma cincia madura,
resumidamente, uma cincia consolidada sobre o uso de teorias maduras; tais teorias


23
Tendo em vista que Worrall defende que Poincar j o havia sugerido em sua obra de 1902 A cincia e a
hiptese.
88
carregam consigo excees que no participam do seu relativo sucesso, razo pela qual essa
cincia madura aproximadamente verdadeira.
Entretanto, se estas teorias maduras no so totalmente verdadeiras, tambm no nos
possvel saber que partes delas devem ser descartadas como falsas. Por outro lado, sua
relativa eficincia cientfica justifica empiricamente sua utilidade e a continuidade de seu uso.
Logo, os objetos e relaes que participam do conjunto dessas teorias maduras, ou seja, da
cincia madura, demonstraram empiricamente sua ligao efetiva com a realidade objetiva
do mundo. Por isso, segundo Putnam, a viso realista entende o conjunto de relaes e objetos
da cincia madura no como verdades necessrias, mas como parte da nica explicao
cientfica do sucesso da cincia, j que h um conjunto de resultados cientficos empricos
que permanecem teis e atestam que, de algum modo, se pode estabelecer uma conexo entre
as teorias da cincia e a realidade objetiva. Ora, se negarmos que essa conexo existe, no
teremos como explicar o sucesso da cincia, a menos que estejamos dispostos a acreditar que
a previso correta de resultados empricos mediante o uso dessas teorias maduras no passa
de um milagre espontneo e recorrente.
De um modo similar interpretao do argumento sem milagres que expus acima,
Psillos destaca a conexo explicativa e o sucesso preditivo da teoria cientfica madura:
[...] deve haver algum tipo de conexo explicativa entre o singular [novel] sucesso preditivo e a
teoria estar aproximadamente correta sobre o mundo, especificamente uma conexo explicativa
que envolve a afirmao de que o que a teoria diz sobre aspectos no observveis do mundo
aproximadamente correto. (1996, p. 306, grifos do autor).
Worrall aponta nos escritos de Poincar um argumento similar ao argumento sem
milagres:
Por exemplo, temos o direito de enunciar a lei de Newton? No h dvida de que numerosas
observaes a confirmam, mas no ser um simples efeito do acaso? Alis, como sabemos se essa
lei, verdadeira para tantas geraes, no vai ser falsa na prxima? A essa objeo a nica resposta
que posso dar : Isso muito pouco provvel. (POINCAR, 1902, p. 143).
Poincar enfatiza, justamente, os dois pontos centrais do argumento sem milagres,
ou seja, a conexo explicativa e sucesso preditivo da lei de Newton
24
, destacando que
teramos de crer num simples efeito do acaso se duvidssemos de sua conexo com as
relaes empricas.


24
A lei de Newton a que Poincar se refere unificou um grande nmero de fenmenos naturais em um conjunto
de princpios sob a forma de leis, com o qual se pde explicar e prever, por meio da ao a distncia e de
equaes matemticas bem definidas, o movimento dos corpos em queda livre, o movimento pendular, o
fenmeno das mars, as rbitas dos corpos celestes, dentre outros; embora poca de Poincar, o conjunto
terico da obra de Newton j estivesse sofrendo severas crticas desde a primeira metade do sculo XIX, em
razo, principalmente, da descoberta dos fenmenos eletromagnticos.
89
Passaremos, a seguir, ao argumento antirrealista que nega a existncia de uma conexo
verdadeira entre as teorias e as relaes empricas ou, em outros termos, uma conexo entre o
conhecimento cientfico e a realidade.


3.2.2 O argumento da meta-induo pessimista

O argumento da induo pessimista
25
ou argumento da meta-induo pessimista,
tem sua formalizao creditada a Laudan e leva em conta o resultado, no curso histrico, das
teorias que participaram da cincia em algum momento de sua construo, mesmo que por um
breve perodo de tempo. Segundo Laudan:
[...] a histria da cincia nos oferece uma infinidade de teorias que foram bem-sucedidas e (at
onde podemos julgar) no-referenciais com relao a muitos de seus conceitos explicativos
centrais. [...] alguns exemplos [...]: as esferas cristalinas da astronomia antiga e medieval; a teoria
humoral da medicina; a teoria dos eflvios para a eletricidade esttica; a geologia catastrofista,
com o compromisso com um dilvio universal noeliano; a teoria do flogisto na qumica; a teoria
do calrico do calor; a teoria vibratria do calor; as teorias de fora vital da fisiologia; o ter
eletromagntico; o ter ptico; a teoria da inrcia circular; teorias de gerao espontnea. (1981, p.
33).
De fato, diversas teorias que sua poca foram consideradas teorias bem-sucedidas,
posteriormente, acabaram sendo rejeitadas ou abandonadas por no mais conseguirem
explicar resultados empricos incompatveis com seu escopo terico ou, simplesmente, porque
novas teorias se mostraram mais eficientes que as anteriores. Segundo Laudan, os conceitos
explicativos centrais dessas teorias deixaram de ser referncias para a cincia posterior a
elas.
Chibeni assim conclui, com base nessas circunstncias histricas, a respeito da
chamada induo pessimista: se tantas teorias consideradas, sua poca, bem sucedidas
foram depois dadas como falsas, somos indutivamente levados a crer que o mesmo destino
tero as nossas presentes teorias cientficas
26
(2006, p. 20). Pois, segundo o raciocnio
indutivo, se ao longo da histria as teorias cientficas se mostraram constantemente efmeras
e seu vnculo com as relaes empricas foi apenas aparente, ento, nossas atuais teorias
tambm no possuem tal vnculo com a realidade objetiva.


25
Em Psillos (1996) encontra-se um estudo detalhado desse argumento.
26
Em Chibeni (2006) encontra-se uma crtica detalhada a esse argumento de Laudan.
90
H uma passagem na obra de Poincar que, segundo Worrall (1989, p. 117), est
claramente antecipando o que atualmente chamamos de induo pessimista assim
formalizada:
Existem muitas pessoas que se espantam ao ver quo efmeras so as teorias cientficas. Essas
pessoas vem teorias serem sucessivamente abandonadas depois de alguns anos de prosperidade;
vem runas se acumularem sobre runas; prevem que teorias hoje na moda sucumbiro, por sua
vez, dentro em pouco, e concluem que elas so inteiramente vs. o que chamam de falncia da
cincia. (POINCAR, 1902, p. 127).
De fato, o argumento usado por Poincar se parece muito com o argumento
formalizado por Laudan, entretanto, como veremos a seguir, esse apenas o incio da
argumentao usada por Poincar para destacar um elemento de continuidade entre as teorias
cientficas que, mesmo depois de serem substitudas, mantm um vnculo definitivo com as
novas teorias que as sucederam, elemento esse que tambm estar vinculado, definitivamente,
com a realidade emprica objetiva.
Vejamos, ento, como, segundo Worrall e com base nos escrito de Poincar, possvel
a soluo do impasse entre os dois principais argumentos usados no debate entre realistas
cientficos e antirrealistas.




91
3.3 A soluo de Worral em Poincar

Nas sees anteriores, 3.2.1 e 3.2.2, apresentei os argumentos sem milagres e da
meta-induo pessimista, evitando interpret-los segundo a epistemologia da cincia de
Poincar.
Entretanto, doravante usarei do mesmo expediente que usei no captulo 2, e pretendo
inserir no contexto da soluo que Worrall prope a interpretao epistemolgica
poincareana, uma vez que Worrall se apia nos escritos de Poincar para construir sua tese do
realismo estrutural.


3.3.1 A conciliao dos opostos aparentes

Segundo o argumento sem milagres deve haver algum vnculo entre as teorias
cientficas e nossa realidade objetiva, uma vez que teorias maduras permitem a previso de
resultados empricos at ento indisponveis, alm de fornecerem explicaes adequadas aos
resultados empricos anteriores a ela. Porm, segundo o argumento da meta-induo
pessimista esse vnculo deve ser apenas aparente, uma vez que historicamente as teorias se
mostram efmeras e sucumbem a uma interminvel sucesso de substituies que,
aparentemente, no deixam referncias entre as teorias. Esse problema a ser vencido por
Worrall.
Logo aps ter apresentado um argumento muito semelhante ao argumento da meta-
induo pessimista, como vimos na seo 3.2.2, Poincar o retoma do seguinte modo:
[O] ceticismo [de muitas pessoas que vem as teorias cientficas como efmeras e vs] no
fundamentado. Essas pessoas no percebem, de maneira alguma, o objetivo e o papel das teorias
cientficas. Se assim no fosse, compreenderamos que as runas [das teorias cientficas] ainda
podem ser teis para alguma coisa. Nenhuma teoria parecia mais slida do que a de Fresnel, que
atribua a luz aos movimentos do ter. Contudo, a preferida, atualmente [em 1902], a de
Maxwell. Isso significa que a obra de Fresnel foi intil? No, pois o objetivo de Fresnel no era o
de saber se existe, realmente, um ter, se ele ou no formado por tomos, se estes tomos se
movem realmente nesse ou naquele sentido, e sim prever os fenmenos ticos. Ora, isso, a teoria
de Fresnel continua a fazer hoje to bem quanto o fazia antes de Maxwell. As equaes
diferenciais continuam a ser verdadeiras; podem ser integradas pelos mesmos procedimentos e os
resultados dessa integrao conservam, ainda, todo o seu valor. (1902, p. 127).
Poincar afirma que o objetivo de Fresnel no era o de saber se existe, realmente, um
ter, se ele ou no formado por tomos, se estes tomos se movem realmente nesse ou
naquele sentido, justamente porque, como vimos na seo 1.6.1.2, estas seriam apenas
92
hipteses indiferentes e inverificveis, inteis, portanto, ao aspecto prtico da teoria. Para
atingir seu intuito de prever os fenmenos ticos, Fresnel precisou encontrar equaes
diferenciais que continuam a ser verdadeiras mesmo quando os elementos ontolgicos de sua
teoria foram rejeitados.
Worrall argumenta, ainda, que a rejeio aos elementos ontolgicos das teorias
corrobora com a viso antirrealista, entretanto, Poincar prossegue deixando bem explcito
que essa no sua posio (1989, p. 118):
E que no se diga que reduzimos, assim, as teorias fsicas ao papel de simples receitas prticas.
Essas equaes exprimem relaes, e, se as equaes permanecem verdadeiras, porque suas
relaes conservam sua realidade. Elas nos mostram, agora, como faziam antes, que h uma dada
relao entre duas coisas; unicamente, o que antes chamvamos movimento, hoje chamamos
corrente eltrica. Mas essas relaes no passam de imagens que substituam os objetos reais que
a natureza nos ocultar para todo o sempre. As verdadeiras relaes entre esses objetos reais so a
nica realidade que podemos atingir [...] (POINCAR, 1902, p. 127-128, grifos do autor).
Worrall destaca que, segundo Poincar, Fresnel descreveu com preciso no somente
os efeitos observveis da luz, mas a sua estrutura, embora sua teoria estivesse errada do
ponto de vista da teoria de Maxwell (1989, p. 118, grifo do autor).
Portanto, h um elemento matemtico que se projeta objetivamente nas relaes
empricas, promovendo uma continuidade entre as teorias de Fresnel e de Maxwell;
estendendo, ainda, as relaes objetivas e exatas que na teoria de Fresnel diziam respeito
apenas aos fenmenos ticos, para os fenmenos eletromagnticos da teoria de Maxwell, ou
seja, segundo Worrall, se nos restringirmos ao nvel das equaes matemticas e no
observarmos o nvel do fenmeno h, de fato, completa continuidade entre as teorias de
Fresnel e de Maxwell (1989, p. 119).
H uma passagem em Poincar que Worrall no cita em seu artigo, mas que
caracteriza, a meu ver, a prpria sntese do que foi exposto acima:
Podemos nos perguntar se as associaes que a cincia de hoje faz sero confirmadas pela cincia
de amanh. Para afirmar que isso ocorrer, no podemos invocar nenhuma razo a priori; mas
uma questo de fato, e a cincia j viveu o bastante para que, interrogando sua histria, possamos
saber se os edifcios que ela ergue resistem prova do tempo, ou se so apenas construes
efmeras. Ora, o que vemos? primeira vista, parece-nos que as teorias s duram um dia, e que se
acumulam runas sobre runas. Um dia nascem, no dia seguinte esto na moda, no outro dia se
tornam clssicas, no terceiro dia esto obsoletas e no quarto so esquecidas. Mas se prestarmos
mais ateno, veremos que o que assim sucumbe so as teorias propriamente ditas, aquelas que
pretendem nos ensinar o que so as coisas. Mas h nelas algo que quase sempre sobrevive. Se uma
delas nos faz conhecer uma relao verdadeira, essa relao definitivamente adquirida, e a
encontraremos sob um novo disfarce nas outras teorias que viro reinar em seu lugar.
(POINCAR, 1904, p. 168, grifos meus).
Poincar afirma que nenhuma razo a priori pode confirmar se as associaes que
a cincia de hoje faz sero confirmadas pela cincia de amanh e isso se deve a trs fatores
93
que no dependem somente da nossa convicta certeza sobre as leis matemticas construdas
com base no nosso princpio de recorrncia a priori:
1) podem ser associaes de imagens e descries ontolgicas, e, desse modo, sero
apenas hipteses indiferentes e inverificveis;
2) podem ser associaes matemticas obtidas casualmente e que, de fato, no
mantm vnculo com a realidade objetiva, portanto, tais associaes no seriam confirmadas
nos resultados de experimentos futuros;
3) podem ser associaes matemticas vinculadas realidade objetiva, mas que, no
futuro, se mostraro restritas s condies impostas pela atual teoria fsica que exigiu uma lei
matemtica tambm restrita, como vimos na seo 1.4.1. Desse modo, a lei matemtica
ampliada manter dentro de si as relaes restritas da lei matemtica anterior, como um caso
particular da nova lei. Mesmo as relaes matemticas que esto vinculadas realidade
objetiva dos resultados empricos atuais esto sujeitas verificao de futuros resultados
empricos; tais resultados empricos futuros podem ultrapassar os limites impostos pelos
termos bem escolhidos das leis usadas nas atuais associaes matemticas.
Vencidos esses fatores imprevisveis, pois dependem dos resultados empricos dos
futuros experimentos, Poincar enuncia o que hoje conhecemos por argumento sem
milagres para, em seguida, constatar que as runas das antigas teorias esquecidas detm
apenas as partes daquelas teorias que pretendem nos ensinar o que so as coisas, ou seja, as
runas inteis das hipteses indiferentes. A parte til de cada teoria cientfica que quase
sempre sobrevive, a que nos faz conhecer uma relao verdadeira, essa relao
definitivamente adquirida, a relao matemtica objetiva que se projeta, por analogia, na
relao emprica, e que se tornar parte de todas as demais teorias que a sucederem.
Nesse sentido, Post defendeu posio semelhante para a continuidade entre teorias
cientficas, embora no tenha se referido explicitamente aos elementos matemticos: Minha
alegao no apenas que h um elemento de continuidade na mudana, [...] mas que parte da
cincia presente no contedo da teoria antiga preservada, tanto quanto se sabe, para
sempre; no apenas na prxima teoria, mas em todas as teorias futuras (1971, p. 238).
Por sua vez, Worrall explcito na descrio do modo como as leis matemticas ou as
equaes matemticas anteriores permanecem intrnsecas s equaes matemticas das novas
teorias: O padro mais comum que as equaes anteriores reapaream como casos-limite
da nova teoria - ou seja, as equaes antigas e novas so estritamente inconsistentes, mas a
nova tende para a antiga como uma grandeza tende a um limite (1989, p. 120, grifos do
autor). Em outros termos, a equao matemtica antiga inconsistente com a nova equao
94
porque representa apenas parte desta e, por isso, a equao antiga se torna um caso limitado
ou particular da equao matemtica da nova teoria.
Worrall deixa claro, ainda, que essa condio de assimilao de parte de uma teoria
antiga por uma nova teoria aplica-se puramente ao nvel matemtico e, portanto, bastante
compatvel com os pressupostos tericos bsicos da nova teoria (a qual interpreta os termos
nas equaes), estando totalmente em desacordo com as da antiga (1989, p. 120-121, grifos
do autor). Por se tratarem de equaes matemticas, indiferente o modo como os termos
ontolgicos ou metafricos da nova teoria venham a fazer uso da equao, uma vez que a
equao matemtica independe do contedo material da teoria; a teoria fsica, por outro lado,
usar a exatido matemtica para, por meio da analogia entre as propriedades matemticas e
suas propriedades fsicas, explicar os resultados empricos obtidos anteriormente e prever
novos resultados. Em relao aos pressupostos tericos bsicos da nova teoria, que incluem
os seus elementos ontolgicos, estes certamente sero incompatveis com os pressupostos
tericos bsicos da antiga teoria, pois, geralmente, esse costuma ser o motivo da substituio
de uma pela outra.
Worrall usa um exemplo posterior a Poincar, mas que ilustra muito bem esse padro
mais comum em que as equaes anteriores reapaream como casos-limite da nova teoria:
No vejo qualquer sentido claro em que uma fora de ao a distncia de gravidade um "caso-
limite", ou "se aproxima" de uma curvatura do espao-tempo. Ou em que os "mecanismos
tericos" da ao a distncia da teoria gravitacional so "transpostos" para a teoria da relatividade
geral. No entanto, as equaes de Einstein inegavelmente seguem alm das de Newton, em certos
casos-limite especiais. Nesse sentido, h uma continuidade aproximada da estrutura neste caso.
(1989, p. 121, grifo do autor).
Considero esse exemplo perfeito para demarcar o que est em discusso no realismo
estrutural. De fato, no faz sentido algum aproximar os termos ontolgicos da teoria
gravitacional newtoniana com os termos ontolgicos da teoria da relatividade geral de
Einstein; elas so, simplesmente, incompatveis. Entretanto, em certos casos-limite
especiais da formulao gravitacional contempornea, expressada matematicamente pelo
clculo tensional, as equaes de Newton ressurgem. Isso representa uma forte evidncia
matemtica que corrobora uma continuidade aproximada ao nvel das estruturas
matemticas das teorias de Newton e de Einstein.
De certo modo, as equaes de Newton so muito mais teis nos clculos de nossa
fsica do cotidiano, como por exemplo, os da engenharia mecnica, ou da arquitetura, do que
os complexos clculos que poderiam nos levar a outro sistema solar, por exemplo. No de
admirar que, para condies empricas to mais abrangentes que as nossas relaes fsicas do
95
cotidiano, tenhamos de usar ferramentas tericas bem mais precisas e tambm ferramentas
matemticas mais amplas e abrangentes que nossas ferramentas newtonianas usuais. A
mecnica de Newton exigiu uma analogia com leis matemticas restritas s condies
empricas disponveis em sua poca; ampliadas as condies empricas tambm houve a
exigncia da ampliao das leis matemticas que, como sabemos, devem, por analogia, ser
compatveis com essas novas condies empricas. Entretanto, as leis matemticas mais
amplas devem conter dentro de si as leis matemticas que se tornaram restritas a casos-limite.
A continuidade matemtica necessria para garantir o vnculo com a realidade objetiva.
Krause sintetiza muito bem o que vimos ao longo dessa seo:
O realismo cientfico [...] sustenta que a cincia nos conta a verdade sobre o mundo, pelo menos
parcialmente. [...] O argumento do no milagre diz que no pode ser um milagre que a cincia
funcione [deve haver uma verdade inerente cincia]. [...] A meta-induco pessimista, por outro
lado, chama a ateno para o fato de que [...] todas as teorias cientficas, mesmo as mais bem
sucedidas, [...] foram suplantadas. [...] Na viso de Worrall [1989], mesmo durante o cambio de
teorias, a estrutura matemtica preservada. Para Worrall, o [seu] Realismo Estrutural no nos
compele crena na descrio terica correta da realidade [1], e nem compromete-nos com a
afirmao de que a estrutura matemtica de uma teoria que descreve o mundo [2]. Assim, pelo
primeiro motivo, somos liberados da meta-induco pessimista e, pelo segundo, da suposio de
que o sucesso da cincia um milagre. (2010, p. 2)
No somos obrigados a crer na descrio terica correta da realidade, pois, segundo
Poincar, o que pode haver de realidade objetiva nas teorias fsicas so somente suas
propriedades matemticas e no faz sentido, para Poincar, descartar integralmente uma teoria
em funo de suas hipteses indiferentes e inverificveis; logo, se h continuidade
matemtica, a meta-induo pessimista se justifica apenas no nvel ontolgico que, segundo
Poincar, a parte efmera das teorias cientficas. Por outro lado, os objetos inobservveis das
teorias fsicas nos so inacessveis, entretanto, podemos conhecer as relaes matemticas
que, por analogia, nos permitem compreender a realidade objetiva inerente s relaes entre
objetos inobservveis; logo, no h milagre algum no conhecimento matemtico objetivo
anlogo s relaes empricas, mesmo que no conheamos como so os objetos
inobservveis da fsica.


3.3.2 As estruturas matemticas e a realidade

Na seo 3.2.1 reproduzi a citao formal do argumento sem milagres de Putnam.
Se continuarmos a leitura do texto a partir de onde paramos, ou seja, imediatamente depois da
citao do argumento sem milagres, lemos:
96
Creio que o argumento positivo para o realismo tem um anlogo, no caso de realismo matemtico.
Aqui tambm, creio eu, o realismo a nica filosofia que no faz o sucesso da cincia um milagre.
Em minha opinio, existem dois suportes para o realismo na filosofia da matemtica: experincia
matemtica e experincia fsica. A construo de um corpo altamente articulado do conhecimento
matemtico com uma longa tradio de resoluo de problemas bem-sucedida uma realizao
social verdadeiramente notvel. (PUTNAM, 1975, p. 73, grifos do autor).
Segundo Putnam, o realismo matemtico a nica filosofia que no faz do sucesso da
cincia um milagre. No entrarei no mrito do que seja o realismo matemtico para Putnam
mas, entretanto, se considerarmos o estatuto da verdade matemtica em Poincar, ou seja, se
considerarmos que:
1) Essa verdade deriva de uma propriedade do esprito, o qual se reconhece capaz de
recorrer infinitamente a uma propriedade matemtica (ou fsica) por meio de sua faculdade da
intuio;
2) A verificao dessa criao do esprito confere a ela exatido e preciso por meio
da anlise lgica;
3) A verdade matemtica a nica capaz de, por meio de analogias com as
propriedades empricas, conferir credibilidade s teorias cientficas incertas;
4) No final desse percurso, a prpria verdade matemtica participa da realidade
objetiva.
Ento, direi que, segundo Poincar, no se trata de milagre, desde que entendamos o
realismo matemtico do modo como foi descrito acima.
Segundo Poincar, como vimos:
A nica realidade objetiva so as relaes entre as coisas, de onde resulta a harmonia universal.
Sem dvida essas relaes e essa harmonia no poderiam ser concebidas fora de um esprito que as
concebe ou as sente. Porm, so objetivas porque so, iro tornar-se ou permanecero comuns a
todos os seres humanos. (1904, p. 170)
O realismo matemtico, sem dvida, est presente na epistemologia de Poincar e,
com base no que vimos na seo 1.3 A gnese da criao cientfica (pgina 25), entendo
que seja um realismo matemtico epistemolgico.
O que salta aos olhos que Putnam cita exatamente os elementos que compem essa
realidade objetiva poincareana obtida das analogias entre relaes matemticas e relaes
empricas: experincia matemtica e experincia fsica.
Certamente, com base no que vimos acima, Putnam esteve muito prximo da soluo
proposta por Worrall para o realismo cientfico, pois identificou esses elementos que mantm
a conexo objetiva entre o conhecimento cientfico e a realidade, embora no tenha definido
como essa conexo ocorre.
97
Por outro lado, Worrall se apoiou nos escritos de Poincar e explicitou o elemento
matemtico de continuidade entre as teorias, embora no tenha se preocupado com a origem
da verdade presente nesse elemento matemtico estrutural; afinal, esse nem era seu objetivo.
A epistemologia da cincia de Poincar desenvolve a origem da verdade matemtica,
as conexes internas experincia matemtica, as conexes internas experincia fsica,
as conexes entre ambas e a verdade matemtica inerente ao elemento de continuidade que
permanece presente nos resultados empricos.
Portanto, o realismo estrutural de Worrall representa apenas uma frao da detalhada
epistemologia da cincia poincareana e as estruturas matemticas so apenas uma
consequncia dessa epistemologia.
Para finalizar essa seo recorrerei a uma questo colocada por Poincar que parece
recair sobre a interpretao das consequncias que surgem do realismo estrutural
epistemolgico de Worrall. Segundo Poincar:
Na histria do desenvolvimento da fsica, duas tendncias contrrias podem ser distinguidas. Por
um lado, a cada momento, so descobertas novas relaes entre objetos que pareciam destinados a
permanecer isolados para todo o sempre; os fatos esparsos deixam de ser estranhos uns aos outros,
tendem a se organizar numa grandiosa sntese. [1] A cincia caminha em direo unidade e
simplicidade.
Por outro lado, novos fenmenos nos so revelados, a cada dia, pela observao e eles tm de
esperar muito tempo at que encontremos seu lugar nessa sntese e, por vezes, [...] vamos
percebendo detalhes a cada dia mais variados; o que acreditvamos simples, volta a ser complexo
e [2] a cincia parece caminhar para a variedade e a complicao.
Dessas duas tendncias contrrias que parecem triunfar alternativamente uma sobre a outra, qual
delas vencer? [...] Para isso no temos resposta. O que podemos fazer observar a cincia de hoje
e compar-la com a de ontem. (1902, p. 134, grifos meus).
Poincar remete a uma constatao que parece encontrar origem nos fundamentos de
sua epistemologia. Se, por um lado, a induo completa nos garante a unicidade em torno da
certeza matemtica, por outro lado, nossa crena de uma ordem geral do universo se reflete
em nossa aspirao por verdades das cincias fsicas a serem obtidas por meio da induo
fsica; historicamente sabemos que essa possvel verdade se mostrou, at aqui, mltipla e
incerta. Da se origina o conselho de Poincar: O que podemos fazer observar a cincia de
hoje e compar-la com a de ontem e eu complemento continuando nossa busca pela
verdade externa que possa refletir nossa verdade interna.
Segundo Steinle (2006, p. 56), uma questo que surge naturalmente dessa viso de
Worrall, referente ao realismo estrutural epistemolgico, foi proposta por Votsis: aquela
de saber se a continuidade matemtica [entre teorias cientficas] um fenmeno comum
dentro da histria da cincia ou apenas um caso isolado. Bem, certamente no um caso
98
isolado, mas a dvida parece ser exatamente a mesma colocada por Poincar: A cincia
caminha em direo unidade e simplicidade ou para a variedade e a complicao?
Tomando emprestada a tese de Giedymin (1991, p. 15), sobre as estruturas
matemticas das teorias cientficas, a pergunta poderia ser reformulada nos seguintes termos:
1) A cincia caminha rumo a uma nica teoria fsica composta por mltiplas teorias
observacionalmente equivalentes que partilham a mesma estrutura matemtica (ou: que
tenham estruturas matemticas equivalentes) e que diferem em relao a ontologias
experimentalmente indistinguveis?
2) Ou, por outro lado: Haveriam mltiplas teorias fsicas que reuniriam em seu interior
outras tantas teorias fsicas que partilham a mesma estrutura matemtica (ou: que tenham
estruturas matemticas equivalentes) e que diferem em relao a ontologias
experimentalmente indistinguveis?
Entretanto, novamente, no nos resta alternativa mais prtica do quer seguir o
conselho de Poincar: O que podemos fazer observar a cincia de hoje e compar-la com a
de ontem; embora nossa esperana nos leve a continuar buscando a unidade da
multiplicidade terica, sem garantias empricas de que essa multiplicidade possa ser, de fato,
unificada. Afinal, a ordem geral do universo no tem de, necessariamente, realizar as
pretenses do esprito humano.

O realismo estrutural proposto por Worrall faz uso de poucos argumentos
poincareanos, mas as poucas passagens apontadas por Worrall na obra de Poincar so
adequadas e suficientes para dar conta de seu objetivo principal. Nesse sentido, Poincar
ocupa apenas uma parte da argumentao que desenvolve a proposta de realismo estrutural,
mas, por outro lado, oferece fortes evidncias textuais a Worrall.
A principal dessas evidncias textuais se refere ao exemplo histrico da continuidade
da estrutura matemtica entre as teorias de Fresnel e de Maxwell; ela confirma que h uma
conexo real entre a parte matemtica dessas teorias e os resultados empricos obtidos em
ramos distintos da fsica. Worrall explorou muito bem essa evidncia poincareana.
Entretanto, poderamos perguntar: Como possvel que uma estrutura matemtica
mantenha conexo com a realidade? E, no bastaria dizer que encontramos uma propriedade
matemtica verdadeira, pois, ento, a prxima pergunta seria: Como a verdade matemtica
possvel? E, junte-se tambm a essas questes: Por que a fsica necessita da linguagem
matemtica?
99
As respostas a essas perguntas no podem ser obtidas somente dos poucos excertos
poincareanos que apoiaram a tese de Worrall, mas, certamente as encontraremos no conjunto
da obra filosfico-cientfica de Poincar e na sua epistemologia da cincia.
Assim, o realismo estrutural epistemolgico de Worrall explora apenas uma pequena
parte da epistemologia poincareana da cincia e, claro, no pode dar conta de sua totalidade.
Por outro lado, concordo que Poincar pode ser entendido como um realista estrutural
epistemolgico nos moldes que Worrall defendeu e, alm disso, tambm entendo que a
filosofia de Poincar pode ser considerada como um realismo matemtico epistemolgico,
como descrevi na seo anterior (3.3.2).
Por fim, enfatizo que Worrall no se props a responder as questes colocadas acima,
pois seu objetivo no era esse. Alis, podemos reconhecer um bom trabalho, tanto nas
respostas que prope, quanto nas dvidas que gera, e, nesse sentido, o artigo de Worrall j
demonstrou seu valor ao longo das ltimas dcadas.

100
Concluses

Desenvolvi ao longo dessa dissertao uma anlise da filosofia da cincia poincareana
com nfase em sua epistemologia da cincia. Essa anlise me permitiu concluir que, quando
classificamos a filosofia da cincia de Poincar como um tipo de convencionalismo ou um
tipo de realismo estrutural, corremos o risco de tomar a parte pelo todo, j que a
epistemologia poincareana bem mais abrangente que suas classificaes.
Comeando pelo desenvolvimento da epistemologia de Poincar, sem dvida, a
principal concluso dessa dissertao que, segundo o autor, o princpio de recorrncia o
instrumento usado na criao de todas as certezas matemticas, as nicas certezas do esprito.
A intuio a faculdade do esprito ativa e inventiva, responsvel pela aplicao dessa
propriedade. Por meio do princpio de recorrncia o esprito se sabe capaz de recorrer
infinitamente aplicao de uma propriedade criada por ele. A prpria noo de infinitude
advm da aplicao desse princpio.
Se o princpio de recorrncia o instrumento de criao do esprito, a induo
completa o instrumento de verificao, pois, assim como a propriedade pode ser
infinitamente aplicada, a sua rigorosa verificao necessria em cada evento sucessivo em
que a propriedade foi aplicada. Assim que obtida a certeza indutiva matemtica, por meio de
uma amostragem finita de eventos, a verdadeira demonstrao matemtica se completa. A
lgica, por meio do princpio de contradio, a responsvel por essa verificao analtica e,
portanto, pela confirmao da certeza e da exatido matemticas.
O raciocnio por recorrncia ser usado em todas as etapas da criao matemtica.
Entretanto, a partir da criao das relaes algbricas, o raciocnio por recorrncia pode ser
aplicado de dois modos distintos: (1) recorrendo sucessividade da propriedade que a
intuio criou, ou (2) recorrendo a uma propriedade encontrada pela intuio, por meio do uso
de analogias, comparando relaes matemticas aleatrias.
A induo fsica, assim como a induo matemtica, vai do evento particular para a
generalizao de uma propriedade, entretanto, se na induo matemtica o raciocnio por
recorrncia anterior ao raciocnio indutivo, por outro lado, na induo fsica essa ordem se
inverte; por esse motivo a induo fsica incerta.
O nico recurso capaz de conferir alguma certeza induo fsica ser encontrado, por
analogia, numa correspondncia entre a induo matemtica e a induo fsica, ou seja, numa
possvel semelhana entre leis fsicas e leis matemticas. Portanto, induo fsica incerta
101
tentar tomar emprestada da matemtica sua certeza indutiva formal. Esse o motivo pelo
qual a fsica, segundo Poincar, tem de se expressar, necessariamente, por meio de relaes
matemticas.
A construo do contnuo matemtico se deve necessidade inerente fsica, de
estabelecer uma analogia consistente entre a noo de contnuo fsico e relaes matemticas
que a ele se assemelhem. Novamente, a possvel certeza das relaes fsicas depende de uma
analogia com as relaes matemticas rigorosas e exatas.
A criao das geometrias o passo anlogo decisivo entre as propriedades de
deslocamento dos corpos fsicos, tornadas homogneas, por meio da lei da homogeneidade, e,
por analogia, transpostas aos grupos matemticos que tornam possvel o estudo dos
deslocamentos dos corpos geomtricos formais. A matemtica, assim, pode criar infinitas
geometrias. Logo, todas as geometrias so verdades matemticas formais. O fsico ir
escolher dentre as geometrias a que lhe for mais conveniente, podendo trocar de geometria
caso lhe parea cmodo. A criao de qualquer geometria se d por conveno entre as
relaes da matemtica e as relaes da fsica. Os axiomas e postulados das geometrias so
convenes no-aleatrias que visam a matematizao dos deslocamentos de objetos
geomtricos inspirados nos objetos fsicos, embora as geometrias no mantenham qualquer
vnculo com a experincia emprica.
O mesmo ocorre com os princpios fsicos que, por meio da lei da homogeneidade,
perdem seu contedo material em nome das propriedades formais encontradas nas relaes
empricas, permitindo, assim, que sejam matematizveis e teis analogia entre propriedades
fsicas e matemticas. Segundo Poincar os princpios fsicos, a exemplo das geometrias,
tambm so convenes.
A aproximao definitiva entre leis matemticas e leis fsicas se d por meio dessas
convenes no-aleatrias, o cerne do convencionalismo poincareano; embora essa
aproximao nunca possa se tornar uma relao de igualdade.
Se a verdade matemtica a nica certeza do esprito, ento, a matemtica tem de se
voltar a uma objetividade prtica que permita seu uso na construo do conhecimento
cientfico das cincias fsicas. O equilbrio entre exatido e objetividade mantm essa relao
possvel.
A construo do conhecimento cientfico depende do raciocnio por recorrncia.
Inicialmente esse raciocnio aplicado criao matemtica e, mediante o uso de analogias, o
raciocnio por recorrncia participa, necessariamente, de todas as etapas de criao e
102
construo das cincias formais e empricas. O objetivo ltimo a projeo das relaes
matemticas exatas e rigorosas nas relaes empricas incertas.
A classificao das hipteses poincareanas permite enfatizar o sentido prtico que o
autor coloca no contexto das teorias fsicas. Enquanto as hipteses somente so verificveis
por meio de sua matematizao, previso e verificao emprica, as hipteses indiferentes no
passam de elementos ontolgicos ou metafricos inverificveis e, sob o ponto de vista
matemtico prtico, so desnecessrias. As hipteses aparentes (ou convenes) estabelecem
os princpios, axiomas e postulados necessrios para o embasamento das teorias cientficas;
so as geometrias e os princpios fsicos citados anteriormente.
Analisando a epistemologia de Poincar, a partir de seus fundamentos, possvel
afirmar que o convencionalismo poincareano, derivado unicamente do estatuto das
convenes, um subconjunto de sua epistemologia. Em outras palavras, as convenes
poincareanas quando so submetidas analise do conjunto de sua epistemologia, perdem o
estatuto de bases do convencionalismo e passam a ser vistas como consequncias da
epistemologia de Poincar, pois tais convenes se fundamentam no princpio de recorrncia.
Quanto s estruturas matemticas que caracterizam o realismo estrutural
epistemolgico de Worrall, quando as analisamos sob a perspectiva dos fundamentos da
epistemologia de Poincar, tornam-se o prprio elemento matemtico de continuidade que
perpassa toda a construo do conhecimento cientfico e estabelece um vnculo prtico e
objetivo com as teorias fsicas. As teorias fsicas que conseguem estabelecer um vnculo
matemtico objetivo com as relaes empricas, em geral, transmitem esse vnculo para as
teorias que a sucedem, criando uma conexo definitiva entre as relaes matemticas e as
relaes fsicas; isso o que Poincar chama de realidade objetiva.
A construo do conhecimento cientfico obedece a um sentido nico que tenta
transpor a certeza e a exatido da lei matemtica para a lei fsica. Defendo que h uma
estrutura de lei nica, que usada tanto para as leis fsicas quanto para as leis matemticas, o
que facilita a construo das analogias necessrias que devem haver entre elas.
Por fim, entendo que Poincar, alm de convencionalista, pode ser interpretado como
realista estrutural como defende Worrall e, tambm, como realista matemtico, no seu
sentido epistemolgico, considerando que, segundo Poincar:
Essa harmonia que a inteligncia humana cr descobrir na natureza existir fora dessa
inteligncia? No, sem dvida uma impossibilidade uma realidade completamente independente
do esprito que a concebe, v ou sente. Um mundo assim to exterior, se caso existisse, ser-nos-ia
para sempre inacessvel. Mas o que chamamos de realidade objetiva , em ltima anlise, o que
comum a muitos seres pensantes, e poderia ser comum a todos; essa parte comum [...] s pode ser
a harmonia expressa por leis matemticas.
103
portanto essa harmonia a nica realidade objetiva, a nica verdade que podemos atingir [...]
(1904, p. 9)
A harmonia expressa por leis matemticas a nica realidade objetiva que
podemos atingir, ma medida em que encontramos a verdade das relaes matemticas
presentes no modo como a natureza age.
A realidade depende do esprito que a concebe, v e sente, pois a verdade presente nas
leis matemticas, concebida e reconhecida pelo ele, pode ser vista e sentida no mundo que lhe
exterior. desse modo que o esprito encontra sua verdade interna e objetiva nas relaes
objetivas da realidade externa.
A partir dessa perspectiva, a verdade matemtica pode ser entendida como real, e o
conhecimento matemtico torna-se, ento, o veculo dessa verdade e da realidade objetiva.
Diante desses argumentos posso afirmar que a filosofia da cincia de Poincar pode ser
interpretada, tambm, como um realismo matemtico epistemolgico.

Onofre Crossi Filho
So Paulo, 12 de novembro de 2012.

104
Bibliografia


BEZERRA V. A. Estruturas conceituais e estratgias de investigao: modelos
representacionais e instanciais, analogias e correspondncia. Scientiae Studia, So
Paulo, v. 9, n. 3, p. 585-609, 2011.

CASTRO, E. O intuicionismo de Henri Poincar. Divulgao e Filosofia da Cincia na
obra de Henri Poincar (dissertao de mestrado). Lisboa: Faculdade de Cincias e
Tecnologia Universidade Nova de Lisboa, 2001.

CHIBENI, S. S. Armando o conseqente: uma defesa do realismo cientco (?!). Scientiae
Studia, v. 4, n. 2, p. 221-249, 2006.

______. A inferncia abdutiva e o realismo cientfico. Cadernos de Histria e Filosofia da
Cincia, srie 3, v. 6, n. 1, p. 45-73, 1996.

DEL VECCHIO Jr., J. A filosofia de Henri Poincar: a natureza do conhecimento
cientfico e os paradoxos da teoria dos conjuntos (dissertao de mestrado em
Filosofia). So Paulo: Faculdade de Filosofia, Letras e Cincias Humanas -
Universidade de So Paulo, 2005.

FRENCH, S. Structure as a weapon of the realist. Proceedings of the Aristotelian Society,
v. 106, p. 1-19, 2006.

GIEDYMIN, J. Conventionalism, the pluralist conception of theories and the nature of
interpretation. Studies in History and Philosophy of Science, A, v. 23, n. 3, p.
423-443, 1992.

______. Geometrical and physical conventionalism of Henri Poincar in epistemological
formulation. Studies in History and Philosophy of Science, v. 22, n. 1, p. 1-22,
1991.

______. On the origin and significance of Poincar's conventionalism. Studies In History
and Philosophy of Science, A, v. 8, n. 4, p. 271-301, 1977.

GILLIES, D. Poincars conventionalism of 1902. Philosophy of science in the twentieth
century: four central themes. Oxford: Blackwell, p. 75-97, 1993.

HEINZMANN, G. Hypotheses and conventions in Poincar. The Significance of the
Hypothetical in the Natural Sciences. M. Heidelberger/G. Schiemann (eds.),
Berlin: Walter de Gruyter GmbH & Co, p. 169-192, 2009.

HESSE, M. B. Models and analogies in science. Notre Dame: University of Notre Dame
Press, 1966.

______. Models in physics. The British Journal for the Philosophy of Science, v. 4, n.
15, p. 198-214, 1953.

105
KRAUSE, D. Sobre Estruturas e o Realismo Estrutural: Estruturas como Representao.
ANPOF-2010 (GT - Lgica). Universidade Federal de Santa Catarina, disponvel
em: <http://www.cfh.ufsc.br/~dkrause/Artigos/2010/Anpof2010.pdf>. Acesso em:
21/10/2012.

LADYMAN, J. What is structural realism? Studies In History and Philosophy of Science,
A, v. 29, n. 3, p. 409-424, 1998.

LAUDAN, L. A confutation of convergent realism. Philosophy of Science, v. 48, n. 1, p.
19-49, 1981.

MORA, J. F. Dicionrio de Filosofia. So Paulo: Edies Loyola, t. II, p. 1386, 2001.

PATY, M. Pensamento racional e criao cientfica em Poincar. Scientiae Studia, So
Paulo, v. 8, n. 2, p. 177-193, 2010.

______. Modelo matemtico e realidade fsica: a abordagem matemtica. A matria
roubada. A apropriao crtica do objeto da fsica contempornea. M. A. L. de
Barros (trad.). So Paulo: EDUSP, p. 233-258, 1988.

POINCAR, H. Ensaios fundamentais. Antonio Augusto Passos Videira/Ildeu de Castro
Moreira (orgs.). Vera Ribeiro (trad.). Rio de Janeiro: Contraponto, 2008.

______. (1913) Dernires penses. Paris: Flammarion, 1917.

______. (1908) Science and method. Francis Maitland (trad.). Bertrand Russell (prefcio).
New York: Dover Publications, 1914.

______. (1904) O valor da cincia. Maria Helena Franco Martins (trad.). Rio de Janeiro:
Contraponto, 1995.

______. (1902) A cincia e a hiptese. Maria Auxiliadora Kneipp (trad.). Braslia: Editora
Universidade de Braslia, 1984.

POPPER, K. A lgica da pesquisa cientfica. Trad. Leonidas Hegenberg e Octanny Silveira
da Mota. So Paulo: Cultrix, p. 195-198, 1993.

POST, H. R. Correspondence, invariance and heuristics: in praise of conservative induction.
Studies in History and Philosophy of Science, v. 2, n. 3, p. 213-255, 1971.

PSILLOS, S. Scientific realism and the pessimistic Induction. Philosophy of Science, v.
63, suplemento, (Anais do 1996 Biennial Meetings of the Philosophy of Science
Association, part I: contributed papers), p. 306-314, 1996.

PUTNAM, H. What is mathematical truth. Mathematics, Matter and Method
(Philosophical Papers, v.1). Cambridge: Cambridge University Press, p. 73, 1975.

STEINLE, W. Estudos sobre o realismo estrutural (dissertao de mestrado em filosofia).
Florianpolis: Centro de Filosofia, Letras e Cincias Humanas - Universidade
Federal de Santa Catarina, 2006.
106
STUMP, D. Henri Poincar's philosophy of science. Studies in History and Philosophy of
Science, A, v. 20, n. 3, p. 335-363, 1989.

VAN FRAASSEN, B. C. (1980) A imagem cientfica. Trad. Luiz Henrique de Arajo Dutra.
So Paulo: Editora UNESP: Discurso Editorial, 2007.

WREDE, R. C. e SPIEGEL, M. R. Clculo avanado. Porto Alegre: Bookman, p. 16 e 27,
2004.

WORRALL, J. Structural realism: the best of both worlds?. Dialectica, v. 43, p. 99-124,
1989.