Wolfgang Balzer, C.

Ulises Moulines e Joseph Sneed, Una arquitectnica para la ciencia | 95

Resenha de Balzer, Wolfgang, Moulines, C. Ulises e Joseph Sneed, Una arquitectnica para la ciencia. El programa estructuralista, Quilmes: Universidad Nacional de Quilmes, 2012, 498 pp. Traduo de Pablo Lorenzano de Balzer, Wolfgang; Moulines, C. Ulises e Joseph Sneed, An Architectonic for Science. The Structuralist Program, Dordrecht: Reidel, 1987, 440 pp.*
Review of Balzer, Wolfgang, Moulines, C. Ulises e Joseph Sneed, Una arquitectnica para la ciencia. El programa estructuralista, Quilmes: Universidad Nacional de Quilmes, 2012, 498 pp. Translation by Pablo Lorenzano of Balzer, Wolfgang; Moulines, C. Ulises e Joseph Sneed, An Architectonic for Science. The Structuralist Program, Dordrecht: Reidel, 1987, 440 pp.

Alm de Kuhn: Cincia e teoria hoje

An Architectonic for Science. The Structuralist Program, obra editada pela editora Reidel Publishing Company em 1987, trata-se de uma destas obras que a histria converte em um clssico da literatura. Se em 1928 surge Der logische Aufbau der Welt (Carnap 1928), trabalho referencial e emblemtico para o perodo clssico da filosofia da cincia, e em 1962 surge The Structure of Scientific Revolutions (Kuhn 1962), marco de referencia da perspectiva historicista em filosofia da cincia, em 1987 surge esta obra que a recepo posterior (em pouco mais de duas dcadas) consolidou como a bblia estruturalista e tambm como um marco de referncia para a filosofia da cincia contempornea, principalmente no que se refere ao modo como hoje se concebem as teorias cientficas. Uma das razes para sua importncia que o trabalho de Joseph Sneed, Wolfgang Balzer e C. Ulises Moulines incorpora tanto caractersticas do trabalho de Carnap como caractersticas do trabalho de Kuhn, ou seja, elementos da concepo clssica e da concepo historicista. A partir do trabalho pioneiro de Sneed, The Logical Structure of Mathematical Physics (Sneed 1971), a partir do impulso dado por Wolfgang Stegmller, Balzer e Moulines (ento doutorandos de Stegmller na Universidade de Munique) comeam a trabalhar com as idias de Sneed. Desta juno de esforos surge An Architectonic for Science, obra que mostra a viabilidade da anlise e reconstruo formal das teorias cientficas reais. Ao tratar das teorias efetivamente usadas, seja pelos cientistas, por exemplo, em laboratrios, ou por professores para o ensino das disciplinas
* Recebido: 2 de Julho de 2012. Aceito: 27 de Agosto de 2012. Metatheoria 3(1)(2012): 95-104. ISSN 1853-2322. Editorial de la Universidad Nacional de Tres de Febrero. Publicado en la Repblica Argentina.

96 | Cludio Abreu

cientficas, como so apresentadas, por exemplo, nos livros de textos, a concepo estruturalista aproxima a filosofia da cincia da realidade cientfica evitando que a reflexo filosfica, mesmo com rigor formal, fique apenas no mbito dos experimentos de pensamento. Ainda mais, alm de ter propiciado a reconstruo de mais de cinquenta teorias, o instrumental estruturalista no possibilita reconstrues apenas na perspectiva sincrnica, mas tambm o faz de modo diacrnico, e nisto se aproxima dos aspectos apontados por Kuhn. Se bem contribuem filosofia da cincia contempornea tanto as epistemologias naturalizadas, como as discusses acerca de instrumentos e de experimentos e tambm as filosofias especiais da cincia aquelas voltadas a uma cincia em especial ou a uma parte de uma cincia , est claro que no que respeita s teorias cientficas os aportes das concepes semnticas so os mais significativos. Isso se deve a que esta famlia de concepes (que inclui pensadores como P. Suppes, B. van Fraassen y F. Suppe, num primeiro momento, e logo R.N. Giere, M.L. Dalla Chiara, G. Torraldo di Francia, M. Przelecki, R. Wjcicki, G. Ludwig, N.C.A. da Costa e, tambm, os j mencionados J. Sneed, W. Stegmller, W. Balzer e U. Moulines) conserva a virtude clssica da clareza e preciso conceituais utilizando, alm da lgica formal de primeira ordem, todos os instrumentos lgicos matemticos que possam contribuir melhor compreenso das teorias cientficas.1 As teorias j no so mais concebidas como um conjunto de enunciados, mas a idia que compartilham todos estes pensadores que apresentar uma teoria querer, entre outras coisas, apresentar uma classe de modelos, este ltimo concebido como um sistema que representa de modo mais ou menos aproximado uma parte da realidade. Entre as concepes semnticas se destaca a concepo estruturalista, dentre outras pelas razes apresentadas acima, a ponto de ser reconhecida como a concepo que sem dvida oferece o tratamento mais satisfatoriamente detalhado e bem ilustrado da estrutura das teorias cientficas (Cartwright 2008, p. 65)2 e uma concepo:
impressionante em dois aspectos: primeiro, [porque] apresenta uma anlise muito detalhada do que pode ser chamada a estrutura profunda de uma teoria emprica. Em segundo lugar, tem mostrado que uma srie de teorias cientficas reais podem ser reconstrudas como redes de teoria. [...] a riqueza da representao estruturalista das teorias esperamos que nos permita levantar questes novas e interessantes sobre a mudana de teoria e, tambm, que nos permitir fundamentar a lgica da mudana de teoria em uma noo emprica adequada de teoria (Enqvist 2011, p. 107).

Esta breve apresentao do contexto e da importncia de An Architectonic for Science serve como justificativa para uma resenha destinada a apresentar a traduo ao espanhol desta obra lanada originalmente em ingls h 25 anos. Dada a proximiPara uma detalhada apresentao da filosofia da cincia no sculo passado envolvendo as trs concepes (etapas) confira Dez & Lorenzano (2002). 2 Para um (quase) completo levantamento dos trabalhos desenvolvidos com a utilizao do aparato metaterico estruturalista consulte Diederich, Ibarra & Mormann (1989, 1994).
1

Wolfgang Balzer, C. Ulises Moulines e Joseph Sneed, Una arquitectnica para la ciencia | 97

dade entre o espanhol e o portugus, e com isso uma relativa quebra da barreira lingustica referente ao ingls existente em alguns contextos, a importncia da obra de Sneed, Balzer e Moulines j justificaria a resenha. Contudo, como bem salienta o prprio C. Ulises Moulines na introduo ao volume em espanhol, Una arquitectnica para la ciencia no somente uma traduo excelente mas tambm uma edio revisada de An Architectonic for Science. A traduo (e reviso, devidamente dialogada com C. Ulises Moulines) de Pablo Lorenzano no traz erros sejam de carter tipogrfico ou, em especial em aspectos formais, tcnicos , que a edio original apresentava. Alm disso, a traduo brinda ao leitor citaes completas dos textos em que se apoiaram os autores: a primeira edio da obra no apresenta, nas citaes, a pgina em que o trecho citado est inserido no texto original. A traduo apresenta esta informao. Alm do prlogo edio em espanhol, a obra se constitui de uma introduo e oito captulos. No prlogo, C. Ulises Moulines faz uma interessante reflexo acerca do que passou com o programa estruturalista durante as duas dcadas que se seguiram depois do lanamento da obra em 1987. Alm de apontar algumas obras posteriores que apresentam os desenvolvimentos do programa, trata de explicitar as contribuies da metateoria estruturalista tanto no que se refere a noes e problemas gerais da filosofia da cincia como tambm os estudos de caso, ou seja, aplicaes do programa estruturalista, levadas a cabo desde 1987. Na introduo, Visin de conjunto, como o prprio ttulo indica, os autores apresentam a obra, iniciando por aclarar que se trata de um livro acerca da estrutura do conhecimento, que entendido como crena verdadeira, fundamentada. Neste contexto, por estrutura entendem a maneira em que os valores de verdade ou os valores de probabilidade dos enunciados so interdependentes. Assumem que a cincia emprica o exemplo paradigmtico de conhecimento e anunciam que o livro trata deste tipo de conhecimento. O propsito proporcionar uma descrio daquelas caractersticas estruturais do conhecimento emprico que, pensamos, pudessem servir para distingui-lo, de uma maneira interessante, de outras coisas. Comprometendo-se com certo tipo de holismo, afirmam que aquelas caractersticas da cincia emprica que a distinguem completamente das empresas no-cientficas somente podem ser vistas claramente considerando-se fragmentos suficientemente grandes do conhecimento cientfico. Assim, o programa estruturalista se constitui de um conjunto de ferramentas conceituais que so utilizadas para representar a estrutura (aspecto sincrnico) de partes do conhecimento cientfico bem como o desenvolvimento (aspecto diacrnico) destas partes. No h incompatibilidade entre estudos sincrnicos e diacrnicos da cincia. Contudo, este esquema de representao do conhecimento cientfico pode ser usado adequadamente ou no. O critrio para uma deciso a este respeito enunciado pelos autores nos seguintes termos: a reconstruo de cada fragmento particular da cincia deveria gerar de maneira sistemtica, estandardizada e natural as propriedades essenciais deste fragmento e as asseres centrais associadas a ele pelos utilizadores mdios deste fragmento (os expertos).

98 | Cludio Abreu

O menor fragmento do conhecimento cientfico, suficientemente interessante para a filosofia da cincia, denominado elemento terico [primeiro sentido do termo teoria no marco da metateoria estruturalista]. Trata-se de um conceito chave para uma imagem local da cincia emprica. Contudo, a cincia mais que um conjunto enorme, mas finito, de elementos tericos; estes elementos geralmente encontram-se agrupados pelo que em linguagem estruturalista se denomina vnculo interterico. Assim se possibilita uma imagem global da cincia, uma vez que por meio destes vnculos se explicita a relao entre teorias. Um conjunto de elementos tericos com a mesma estrutura, mas em graus distintos de generalidade compe uma rede terica (segundo sentido do termo teoria). As teorias mais interessantes produzidas at ento tm a forma de uma rede deste tipo, que geralmente apresentam um elemento terico mais geral em termos de abstrao que vai especializandose, por meio de restries adicionais, em elementos tericos de menos abstrao. A rede terica uma imagem complexa de uma teoria em determinado instante temporal, uma imagem sincrnica. Ao longo do tempo, as redes tericas podem sofrer alteraes. Isso pode ocorrer de trs maneiras: a) possvel que os cientficos mudem de ideia a respeito das partes do mundo as quais se pretende aplicar a teoria; b) pode dar-se, tambm, que com a evoluo da atividade cientfica alguns elementos tericos desapaream; por fim, c) o mesmo pode acontecer com alguns vnculos intertericos. Nestes casos, qualquer um deles, h uma transformao da rede teoria, uma evoluo terica (terceiro sentido do termo teoria) que caracteriza o aspecto diacrnico que tambm analisado pela metateoria estruturalista. Um ponto chave para entender a idia estruturalista acerca das teorias, e em decorrncia disto acerca da cincia, a distino entre conceitos tericos e no-tericos. Uma primeira caracterstica desta distino que relativa s teorias e no absoluta, como, por exemplo, a teoricidade de um conceito era concebida na filosofia clssica da cincia; j no se concebe a linguagem cientfica como contendo termos observacionais, por um lado, e tericos, por outro, de modo absoluto. Esta distino mescla duas distines: por uma parte, possvel classificar os conceitos como observacionais ou no-observacionais e, por outra parte, classific-los como tericos ou no-tericos. A classificao acerca da teoricidade de um conceito relativa a uma teoria. Um conceito ser terico se todos os mtodos de determinao de sua extenso so dependentes da teoria (critrio forte de teoricidade). Deste modo, dada uma teoria T, esta teoria se constituir de conceitos T-no-tericos y de conceitos T-tericos. No primeiro captulo, Modelos y estructuras, a partir da idia de que os fragmentos do conhecimento cientfico so mais bem caracterizados como entidades modelo-tericas, os autores apresentam sua posio acerca da justificao intuitiva deste enfoque introduzindo um aparato tcnico especfico para falar de modelos de teorias. O captulo inicia com uma discusso acerca da idia de modelo e se segue com a apresentao de dois componentes dos elementos tericos, a saber,

Wolfgang Balzer, C. Ulises Moulines e Joseph Sneed, Una arquitectnica para la ciencia | 99

os modelos e os modelos potenciais. Cabe notar que a distino entre modelos e modelos potenciais estreitamente paralela bem conhecida distino entre oraes de tipo legal e no legal. Com a noo de espcie de estrutura provido um marco que possibilita falar-se de classe de modelos de uma teoria, uma idia familiar, como salientam os prprios autores, a idia de axiomatizar uma teoria mediante a introduo de um predicado conjuntista. Trata-se de um captulo que procura sentar as bases formais para todo o desenvolvimento do programa estruturalista que detalhado nos demais captulos da obra. De modo geral, a no ser no caso do leitor que tem interesse especfico em questes formais, o captulo perfeitamente dispensvel no que se refere ao entendimento global da obra bem como de cada um dos captulos. O segundo captulo, Elementos tericos, apresenta uma discusso acerca do tipo mais simples de estrutura conjuntista que pode ser identificada com, ou pode servir como uma reconstruo lgica de uma teoria emprica. A apresentao da noo de elemento terico comea enfatizando que este constitudo de duas partes, uma formal (o ncleo K) e outra aplicativa (as aplicaes intencionais I). A partir da introduo desta distino o captulo se destina a apresentar os elementos que constituem K, as aplicaes intencionais e a forma da assero que se faz, com K, acerca de I. Uma teoria , ento, uma estrutura do seguinte tipo: T = K, I. O ncleo formal K uma estrutura do seguinte tipo: K = Mp, M, Mpp, C, L, onde: Mp modelos potenciais designa aquelas coisas que podem ser subsumidas sob o mesmo marco conceitual de uma teoria dada [as quais] costuma-se chama-las realizaes possveis, modelos possveis ou modelos potenciais. Na literatura estruturalista se costuma utilizar este ltimo termo. Os modelos potenciais capturam aqueles fenmenos aos quais faz sentido perguntar se so modelos de uma teoria; M modelo designa os modelos potenciais que no s pertencem ao mesmo marco conceitual, mas que, alm disso, satisfazem as leis da mesma teoria. So os que se conhece como as leis de uma teoria; Mpp modelos potenciais parciais designa uma classe de modelos parciais: fragmentos dos modelos potenciais que podem ser compreendidos ou interpretados independentemente da teoria em questo. So os modelos potenciais menos os conceitos T-tericos; C condies de ligadura que descrevem conexes ou relaes entre aplicaes diferentes da mesma teoria; por fim, L vnculos intertericos que descrevem conexes essenciais entre aplicaes da teoria em questo e outras teorias diferentes representadas por elementos tericos diferentes. Alm da parte formal, K, est o conjunto de aplicaes intencionais I, ou seja, as teorias tm associadas a si algumas descries informais dos pedaos particulares da realidade aos que se tenta aplic-las. Ao longo do captulo, estas noes so detalhadamente discutidas, o que ao final vai estabelecer as condies para que se possa entender a noo de assero emprica de uma teoria, ou seja, o enunciado que afirma que o que o fenmeno emprico a que se pretende aplicar a teoria comporta-se de determinada maneira. Importa notar que esta afirmao mais forte que dizer que este comportar-se est de acordo com a lei: alm da lei, tambm as condies de ligadura e os vnculos intertericos esto envolvidos. As primeiras garantem a consistncia entre os mo-

100 | Cludio Abreu

delos da teoria e os segundos a consistncia da teoria com as demais do campo de saber em questo, ou seja, aquelas teorias das quais a teoria em questo utiliza os conceitos tericos (e que so para ela mesma conceito no-tericos). O terceiro captulo, Algunos elementos tericos bsicos apresenta alguns exemplos de elementos tericos explicitando os conceitos metatericos introduzidos no captulo anterior. Os exemplos so: as mecnicas clssica e relativista do choque, a estequiometria daltoniana, a termodinmica do equilbrio simples, a mecnica lagrangiana e a economia de intercmbio puro. Se bem as reconstrues apresentadas so incompletas, no sentido de que apresentam apenas as partes mais fundamentais das teorias em questo e, por outra parte, pressupem alguns teoremas que esto presentes nas reconstrues quando completas, servem perfeitamente para exemplificar o que at esta altura foi apresentado acerca da concepo de teoria que advoga o estruturalismo metaterico. Em particular, importa salientar a reconstruo da economia de intercmbio puro que, presente a, aponta para o fato de que a concepo estruturalista no se aplica apenas s cincias empricas naturais como poderia pensar algum mais desatento ao ter em conta o trabalho fundacional do estruturalismo , mas tambm s cincias sociais. Se bem verdade que a maioria das teorias reconstrudas com o instrumental metaterico estruturalista so teorias das cincias naturais, muitas teorias sociais tambm foram trabalhadas ao longo destes vinte e cinco anos transcorridos desde o lanamento de An Architectonic for Science. O quarto captulo, Redes tericas, apresenta o seguinte nvel de complexidade no que respeita s teorias. Uma rede terica se constitui de uma srie inteira de elementos tericos interconectados, todos os quais possuem a mesma estrutura. Importa notar que esta srie de elementos tericos esta constituda por elementos de distintos graus de abstrao. O vnculo entre estes elementos tericos capturado pela noo de especializao. Um elemento terico uma especializao de outro elemento quando possui a mesma estrutura, porm, apresenta algumas restries a mais. Tais restries podem ser estabelecidas por meio dos conceitos constituintes da teoria em questo ou por meio de condies de ligaduras e vnculos especiais. O resultado prtico que este elemento terico especializado ter um conjunto de aplicaes intencionais restringido. Deste modo, uma teoria complexa no somente um conjunto amorfo de elementos tericos, mas sim uma rede de elementos organizados hierarquicamente, o que possibilita representar com muito mais clareza a idia de Imre Lakatos referente ao ncleo duro de uma teoria e seu cinturo protetor. A rede terica est constituda de um elemento terico bsico, aquele mais abstrato, e as especializaes. As especializaes terminais, aquelas que no possuem nenhuma especializao, so as que so contrastadas. Ao se chegar concluso de que determinada especializao resulta inadequada, ou seja, que sua assero emprica falsa (os pedaos de mundo a que se pretende aplicar este elemento terico no se comportam como a partir dele pode ser previsto), e se decide abandonar este elemento terico, no se abandona a teoria (agora, enten-

Wolfgang Balzer, C. Ulises Moulines e Joseph Sneed, Una arquitectnica para la ciencia | 101

dida como uma rede terica), mas apenas tal elemento terico (na linguagem de Lakatos, uma hiptese do cinturo protetor). Com a noo de rede terica a metateoria estruturalista apresenta a imagem sincrnica de uma teoria. Alm de explicitar os distintos nveis de teorizao presentes em uma teoria, permite uma leitura mais completa de campos de estudo, apontando relao existente entre elementos tericos parecidos, mas ao mesmo tempo distintos em aspectos relevantes. Alm disso, o conceito contribui , em muitos casos, difcil tarefa de unificao conceitual, de percepo de lacunas tericas, da relao de uma teoria com outras. Em certa medida, todos estes aspectos esto presentes nos exemplos apresentados pelos autores, neste caso a mecnica clssica de partculas e a termodinmica do equilbrio simples. O quinto captulo, La estructura diacrnica de las teoras, apresenta o aparato estruturalista para tratar do aspecto diacrnico, ou seja, a existncia de uma teoria ao longo de um perodo de tempo. Como visto, a noo de evoluo terica captura o terceiro sentido do termo teoria no marco da metateoria estruturalista: uma sequncia de redes tericas no tempo histrico sujeita a algumas restries. Os autores no pretendem, com este conceito, ser exaustivos no que se refere aos aspectos diacrnicos de uma teoria; pretendem somente capturar a cinemtica normal de uma teoria. No so contemplados os aspectos dinmicos causas, por exemplo que produzem as mudanas nas redes tericas. Ainda mais, o foco est na evoluo normal da cincia, o que em linguagem de Kuhn se denominaria cincia normal, na de Lakatos programa de investigao cientfica. De modo geral, a noo de evoluo terica captura mudana(s) na teoria e no mudana de teoria. No obstante ao foco estar posto nas mudanas, pode-se dizer, internas de uma teoria, os autores apresentam outros quatro casos que bem poderiam tambm ser tratados formalmente: a emergncia inicial de um paradigma, a emergncia gradual de um paradigma em um campo onde havia outro paradigma, a apario bastante repentina de um novo paradigma que substitui e rejeita totalmente o anterior e, por fim, a substituio de um paradigma mais velho por um mais novo [...] sem rejeitar completamente o antigo. Neste contexto, so apresentados os conceitos pragmticos envolvidos na tarefa de estabelecer uma reconstruo racional da diacronia de uma teoria em perodos de cincia normal. So eles: perodos histricos, precedncia histrica, cientistas, comunidades cientficas e geraes cientficas. A partir destes conceitos primitivos desenvolvida formalmente a noo de evoluo terica. Mais uma vez a mecnica clssica de partcula e a teoria do equilbrio simples so usadas para exemplificar as noes introduzidas. O sexto captulo, Relaciones intertericas, apresenta aquela noo que colocar as teorias empricas em contato com seu entorno. Depois de apresentar os trs sentidos que a noo de teoria pode ter na tradio estruturalista sempre tratando uma teoria como algo isolado, plenamente cientes de que isto no o que ocorre na cincia, os autores tratam de capturar as relaes que uma teoria pode ter com outras teorias. Dado que h trs sentidos para o termo teoria e que agora se trata da relao entre teorias, importa decidir qual dos sentidos ser usado.

102 | Cludio Abreu

Fundamentados no fato de que cada sentido do termo posterior ao sentido pelo qual se entende uma teoria como um elemento terico incluem elementos tericos, partem das relaes entre estes ltimos. A idia bsica a de que tanto nas redes tericas como nas evolues tericas, em verdade, as relaes entre teorias se do entre elementos tericos. Estas relaes constituem um aspecto da identidade de uma teoria e esto representadas no ncleo formal da teoria por meio da noo de vnculo interterico. Apontando as relaes existentes entre as teorias, o aparato estruturalista explicita a importncia de ter em conta algumas outras teorias para entender a teoria especfica que o objeto de estudo. Ao longo do captulo so detalhadas as relaes de especializao, de teorizao e de reduo. Ainda assim, o captulo apresenta exemplos como a reduo da mecnica do choque mecnica clssica de partculas e a reduo da mecnica de corpos rgidos tambm mecnica clssica de partculas. Por fim, aps a discusso acerca da equivalncia emprica entre teorias exemplificada plenamente no caso das mecnicas lagrangiana e clssica segue-se uma discusso envolvendo as noes de reduo, linguagem e incomensurabilidade. Fica explcita, tambm neste ponto, a capacidade da metateoria estruturalista de unificar em uma nica viso os espritos clssico e historicista em uma mais frutfera viso das teorias empricas e, em consequncia, da cincia emprica como um todo. O stimo captulo, Aproximacin, apresenta a idia de que qualquer teoria pode ser efetivamente aplicada a seu domnio de aplicaes intencionais somente sob a suposio de permitir algum grau de inexatido ou aproximao no uso da teoria e na reconstruo terica dos dados. A aproximao, bastante presente na rotina de cientistas experimentais e tecnlogos e nem tanto na de cientistas tericos, pode ser, segundo os autores, de quatro tipos: aproximao na construo de modelos, na aplicao, aproximao de lei e, por fim, aproximao interterica. apresentao de modo intuitivo de cada tipo de aproximao se segue um tratamento tcnico bastante denso. Apresentado o tratamento tcnico, se passa a aplicar a noo no que se refere s asseres empricas, s redes tericas e s evolues tericas. O captulo termina com uma ampla apresentao das aproximaes intertericas, com a exemplificao destas feita por meio da relao existente entre Kepler e Newton. Mostrando-se nada inocentes em relao aos pressupostos que sustentam a concepo estruturalista, uma vez que estabeleceram as ideias bsicas requeridas para o tratamento da estrutura da cincia, os autores pretendem com o captulo dedicado aproximao dar conta da natureza inexata ou aproximada da maioria do conhecimento emprico real. A exceo feita aproximao na construo de modelos, o captulo apresenta um aparato formal adequado para tratar os outros trs tipos de aproximaes. A base para este aparato est no conceito tipolgico de uniformidade, derivado de Bourbaki, mas devidamente adaptado, como se pode perceber quando se define uniformidade emprica. O ltimo captulo, La estrutura global de la ciencia, apresenta e segue tratando do entorno de uma teoria. Ao tratar da estrutura global da cincia, apre-

Wolfgang Balzer, C. Ulises Moulines e Joseph Sneed, Una arquitectnica para la ciencia | 103

senta novas noes, agora para dar conta de um pedao consideravelmente grande do conhecimento cientfico, e reconsidera, por exemplo, a noo de teoricidade de um conceito e a noo de aplicao intencional de uma teoria. O objetivo a estrutura de toda cincia. Todo aparato apresentado, os trs sentidos possveis do termo teoria dentro da tradio estruturalista, afirmam os autores, so ainda locais se comparados com toda a cincia. A partir desde aspecto local, se inicia um movimento a patamares cada vez mais complexos: disso resulta que o papel de um elemento terico individual ir fazendo-se cada vez menor e menor em um complexo tal. O que o captulo busca apresentar conceitos que possam capturar plausivelmente pedaos da cincia emprica maiores que as evolues tericas, possibilitando assim, ao menos conceitualmente, uma imagem global da estrutura da cincia. A primeira noo apresentada a de hlon terico. Esta noo tenta responder pergunta acerca das relaes intertericas relevantes para obter uma imagem metacientfica adequada da cincia como um todo. Imediatamente a este questionamento surge, para o contexto formal estruturalista, a pergunta acerca do tipo de estrutura que deve ter esta imagem. No que se refere ao primeiro questionamento, os autores apostam na noo de vnculos intertericos como um candidato plausvel a representar as relaes intertericas em geral. Com esta idia em mente, introduzem a noo de hlon terico para capturar conjuntos de elementos tericos que esto relacionados por meio de vnculos intertericos arbitrrios. A partir do conceito de hlon terico se pode formalizar o, at ento informal, conceito de teoricidade: a ideia intuitiva bsica que outros elementos tericos conectados a um elemento terico T por vnculos implicativos provm meios T-independentes de medio de alguns dos componentes que aparecem em T. Outra noo que retomada a noo de aplicao intencional, agora relacionada com a de hlon terico: se passa a considerar de que maneira as estruturas no-tericas e as aplicaes intencionais de um elemento terico individual em um hlon esto determinadas pelas propriedades globais do hlon. O captulo termina com uma anlise de possibilidades alternativas referentes estrutura de um hlon global da cincia. Uma delas o fundacionalismo e a outra o coerentismo. Ambas so analisadas em detalhe, com a apresentao de seus limites. A apresentao dos captulos da obra, mais exaustiva a princpio que ao final, serve para demonstrar que no se trata de um livro que prescinda de certos conhecimentos para ser entendido. Como caracterstico deste tipo de obra tipo que talvez tenha nas investigaes Filosficas de Wittgenstein seu exemplar mais famoso , uma completa compreenso somente possvel a partir do entendimento do novo paradigma que apresentado no livro; contudo, como o paradigma justamente apresentado no livro, um completo entendimento deste paradigma somente possvel a partir da compreenso do mesmo. Aqui no se tem crculo, como para muitos desavisados poderia parecer, mas sim um dilema. Parece plausvel pensar que em 1987 este dilema seria mais forte que o atualmente, pois agora o leitor pode apoiar-se em apresentaes mais didticas do contedo do livro.

104 | Cludio Abreu

Alm disso, como poder perceber aquele leitor, que ao ter contato com a obra, possa visualizar com certa clareza o conjunto do instrumental metaterico apresentado, a metateoria estruturalista no exige, por sua adoo para a anlise das teorias empricas, nenhum tipo de comprometimento com alguma posio em discusses como, por exemplo, aquelas acerca do realismo. Por outro lado, estes debates podem ser revistos com base a concepo semntica estruturalista. Este mais um aspecto que demonstra o potencial do programa estruturalista, potencial este que lamentavelmente ainda no suficientemente explorado na comunidade filosfica de lngua portuguesa. Trata-se de uma obra consistente, densa e desafiadora. Apresentando um programa metacientfico, convoca, por um lado, aplicao deste a todas as reas do conhecimento emprico e, por outro, a uma constante reviso do programa mesmo. Trabalhos em ambas as perspectivas foram desenvolvidos ao longo deste quarto de sculo desde 1987. Espera-se que a apario da obra em lngua espanhola permita que a metateoria seja mais conhecida e, deste modo, que possa contribuir ainda mais cincia. Cludio Abreu Universidad Nacional de Tres de Febrero / Universidad Nacional de Quilmes / Conicet

Bibliografia
Carnap, R. (1928), Der Logische Aufbau der Welt, Leipzig: Felix Meiner Verlag. Cartwright, N. (2008), Reply to Ulrich Ghde, em Hartmann, S., Hoefer, C. e L. Bovens (eds.), Nancy Cartwrights philosophy of Science, New York/Oxford: Routledge, 2008, pp. 6566. Diederich, W., Ibarra, A. e T. Mormann (1989), Bibliography of structuralism, Erkenntnis 30: 387-407. Diederich, W., Ibarra, A. e T. Mormann (1994), Bibliography of structuralism II (1989-1994 and additions), Erkenntnis 41: 403-418. Dez, J.A. e P. Lorenzano (eds.) (2002), Desarrollos actuales de la metateora estructuralista: problemas y discusiones, Quilmes: Universidad Rovira i Virgili/Universidad Autnoma de Zacatecas/Universidad Nacional de Quilmes. Enqvist, S. (2011), A Structuralist Framework for the Logic of Theory Change, em Olsson, E.J. e S. Enqvist (eds.), Belief Revision Meets Philosophy of Science, Dordrecht: Springer, pp. 105-135. Kuhn, T.S. (1962), The Structure of Scientific Revolutions, 1st ed., Chicago: The University of Chicago Press. Sneed,J.D. (1971), The Logical Structure of Mathematical Physics, Dordrecht: Reidel.