Você está na página 1de 31

Racionalidade, scienti zudia, Vol. consistncia, 1, No. 2, 2003, p. 151-81 reticulao e coerncia...

Racionalidade, consistncia, reticulao e coerncia: o caso da renormalizao na teoria quntica do campo


Valter Alnis Bezerra

resumo
Um exame do desenvolvimento da teoria quntica do campo, no perodo que vai de 1927 a 1971, evidencia o fato de que as tcnicas de renormalizao desempenharam um papel fundamental ao longo de todo o processo. Em particular, a renormalizao reabilitou a eletrodinmica quntica no final dos anos 40 e, depois, tambm reabilitou a teoria quntica do campo como um todo e ajudou a consolidar as teorias de gauge no incio dos anos 70. O sucesso da renormalizao foi tal que ela passou gradualmente de mero dispositivo terico ad hoc condio de critrio para a construo e avaliao de teorias na fsica do campo. Um dos objetivos deste artigo mostrar que essa transformao no estatuto metodolgico da renormalizao pode ser entendida no contexto do modelo reticulado de racionalidade de Larry Laudan. Apesar do extraordinrio progresso terico e emprico alcanado, porm, sempre houve polmicas acerca do lugar que a renormalizao deve ocupar dentro da estrutura conceitual da disciplina. Essas polmicas giram em torno do fato de que a renormalizao aparentemente vai contra um valor cognitivo considerado fundamental: a consistncia. O segundo objetivo deste artigo mostrar como o modelo reticulado tambm permite lanar luz sobre essa questo. Procuramos expor em que sentido foi racional adotar a renormalizao na fsica de partculas e campos apesar de existir o problema da inconsistncia. Para isso nos valemos das teses do modelo reticulado, complementadas por teses de Putnam, Quine e da teoria coerencial da justificao. PALAVRAS-CHAVE q Metodologia cientfica. Racionalidade cientfica. Modelo reticulado. Valores cognitivos. Teoria quntica do campo. Teoria de gauge. Renormalizao. Inconsistncia.

Introduo
A teoria quntica do campo constitui um programa de pesquisa extremamente bemsucedido dentro da fsica do sculo XX. Nascido dos esforos para descrever sob um ponto de vista quntico a interao eletromagntica, atravs da eletrodinmica quntica, o programa da teoria quntica do campo foi gradualmente estendido com sucesso aos outros tipos de interaes existentes na natureza com exceo, por enquanto, da
151

Valter Alnis Bezerra

gravitao e acumulou um notvel cabedal de xitos empricos. Porm a teoria quntica do campo se viu desde o incio assolada por um problema srio, que o problema das divergncias. Em vrias situaes, a teoria prev valores infinitos para diversas quantidades que deveriam ser observveis. Neste artigo iremos discutir dois casos historicamente importantes nos quais o problema se manifestou: o primeiro o dos infinitos na eletrodinmica quntica, e o segundo o das divergncias na classe de teorias conhecidas como teorias de gauge no-abelianas. Em ambos os casos, a teoria quntica do campo se defrontou com difceis impasses. Tambm em ambos os casos, a chave para solucionar o problema estava num procedimento conhecido como renormalizao, que ser o objeto de nosso interesse neste texto. Estamos interessados em analisar a racionalidade do procedimento de renormalizao, e para isso nos valeremos do modelo reticulado de racionalidade cientfica proposto por Larry Laudan. O modelo reticulado prev, entre outras coisas, a mutabilidade da metodologia e da axiologia cientfica, e a interao no-hierrquica entre os componentes da estrutura cognitiva de uma disciplina. Uma anlise reticulacional permite colocar em perspectiva alguns aspectos importantes da aceitao da renormalizao. Primeiro, ela permite apreciar a relao de condicionamento recproco que existe entre teorias cientficas e metodologias. Em particular, podemos apreciar como a renormalizao passou de um dispositivo ad hoc das teorias a um critrio metodolgico fundamental da fsica do campo, e isso basicamente em decorrncia de uma presso gerada pelo desempenho, na prtica, de uma certa classe de teorias. Em segundo lugar, a viso reticulacional pode nos ajudar a compreender em que sentido a aceitao da renormalizao pelos fsicos pode ser considerada racional, a despeito das polmicas que cercaram (e ainda cercam) a sua suposta inconsistncia. Para tentar esclarecer essa questo, valemo-nos das teses do modelo reticulado, complementadas por uma viso coerencial de justificao e por teses de Putnam, sobre o carter emprico da lgica, e de Quine, sobre o holismo terico.

1. Breve histria da teoria quntica do campo


A teoria quntica do campo possui caractersticas bastante diferentes da mecnica quntica usual de partculas. Pode-se dizer que a teoria quntica do campo nasce de uma tripla convergncia entre a teoria lagrangiana do campo, a mecnica quntica e a relatividade restrita com o objetivo de descrever os campos, entendidos como sistemas com um nmero infinito de graus de liberdade. A primeira tentativa de estender a mecnica quntica aos campos remonta j aos primeiros anos da teoria, mais precisamente a 1926, quando Born, Heisenberg e Jordan descreveram o campo eletromagn152

Racionalidade, consistncia, reticulao e coerncia...

tico no vcuo (isto , na ausncia de cargas e correntes) como um sistema de osciladores, concluindo que a energia do campo seria quantizada (Born, Heisenberg & Jordan, 1968). Em 1927, Paul Dirac criou o chamado mtodo da segunda quantizao (Dirac, 1927) e formulou a primeira teoria quntica do campo, a eletrodinmica quntica, que lhe permitiu tratar o problema da emisso e absoro de radiao, um processo no qual partculas so criadas e destrudas (os ftons). Jordan & Wigner (1928) estenderam o mtodo da segunda quantizao (inicialmente formulado para bsons, isto , partculas com spin inteiro) aos frmions (partculas com spin semi-inteiro), e Jordan & Pauli (1928) tornaram o mtodo relativstico. Os anos 30 foram um perodo de grande desenvolvimento para a teoria quntica do campo. Ao final da dcada, os conceitos fundamentais da teoria j se encontravam bem estabelecidos no arsenal conceitual dos fsicos.1 Houve inclusive tentativas de se estender o programa da teoria quntica do campo a outras interaes, alm da eletromagntica em particular a interao nuclear fraca, por Fermi, e a interao nuclear forte, por Yukawa.2 Historicamente, foi na eletrodinmica quntica que o problema das divergncias apareceu pela primeira vez, e tambm foi no contexto da eletrodinmica que surgiu a renormalizao.3 Uma forma do problema a chamada catstrofe ultravioleta que aparece ao se calcular os efeitos da auto-energia do eltron e da polarizao do vcuo. Ambos os efeitos esto relacionados com a criao de partculas virtuais a partir do vcuo, o qual, na teoria quntica do campo, possui um carter dinmico. A auto-energia do eltron resulta do fato de que existe uma contnua emisso e reabsoro de ftons virtuais por qualquer carga eltrica. Assim o eltron tem que interagir com uma nuvem de ftons virtuais produzidos por ele mesmo ou, em outras palavras, interage com o seu prprio campo. Essa auto-interao tem o efeito de alterar a energia do eltron, ou, de acordo com a equivalncia massa-energia, a sua inrcia efetiva. J na

1 Entre os conceitos fundamentais do programa da teoria quntica do campo, podemos citar: (a) a descrio dos campos em termos de operadores, em vez de funes ou distribuies; (b) o conceito de criao e destruio de partculas, descrito pelos operadores de criao e aniquilao; (c) a quantizao da energia dos campos; (d) o papel crucial desempenhado pelo estado do vcuo, como estado fundamental sobre o qual atuam os operadores de criao, para construir recursivamente os outros estados; (e) o conceito de antipartcula; (f) o conceito de partculas virtuais; (g) a interpretao das foras ou interaes como processos de troca de partculas; (h) o carter local das interaes; (i) a conexo entre spin e estatstica. 2 A interao nuclear fraca responsvel pelo decaimento beta, e a interao forte responsvel pela coeso do ncleo atmico, contrabalanando a repulso eletrosttica entre os prtons. 3 O primeiro e mais elementar tipo de divergncia que surge dentro da teoria dizia respeito previso de uma energia infinita para o estado de vcuo. Nesse caso, raciocinou-se que, como so experimentalmente detectveis apenas as diferenas entre energia, porm no as energias absolutas, bastaria redefinir a escala de energia, e medir todas as energias relativamente ao estado de vcuo. Isso implementado na prtica por meio de um truque matemtico conhecido como ordenamento normal de operadores, onde se estipula que certos comutadores devem se anular.

153

Valter Alnis Bezerra

polarizao do vcuo, o campo eletrosttico de um eltron leva ao surgimento de pares eltron-psitron virtuais que so criados a partir do vcuo. Os eltrons virtuais so repelidos pela carga negativa original, ao passo que os psitrons so atrados. Por causa dessa assimetria, o eltron original fica envolvido por uma nuvem de psitrons virtuais que blinda parte da sua carga, resultando em uma carga efetiva que menor do que a carga original. O vcuo se comporta, assim, como um meio dieltrico polarizvel pelo campo eltrico, da o nome do efeito. O grande problema que ambos os efeitos, quando calculados na teoria do campo, do origem a resultados que divergem, isto , tendem ao infinito, quando se leva em conta a contribuio devida s partculas com momentos arbitrariamente altos.4 (Momentos elevados correspondem, no contexto da dualidade partcula-onda, a baixos comprimentos de onda, como na radiao ultravioleta, da o nome de catstrofe ultravioleta.) O problema com a auto-energia do eltron foi detectado por Oppenheimer (1930a) e analisado por Weisskopf (em 1934 e 1939; respectivamente, Weisskopf, 1994a; 1939). O problema com a polarizao do vcuo tambm foi identificado por Oppenheimer (1930b) e analisado por Dirac (em 1933 e 1934; respectivamente, Dirac, 1994a; 1994b), Furry & Oppenheimer (1934), Heisenberg (em 1934; ver Heisenberg, 1994) e Weisskopf (em 1936; ver Weisskopf, 1994b). As divergncias da eletrodinmica quntica levavam a previses absurdas para resultados experimentais, tais como o espaamento das linhas espectrais e as sees de choque de espalhamento.5 Nos anos 30 e 40, diversas tcnicas foram desenvolvidas para eliminar ou pelo menos contornar os infinitos da teoria quntica do campo, como os campos compensadores e a chamada fsica da subtrao. Todas essas tcnicas pioneiras, porm, possuam um carter ad hoc e ainda no estavam integradas numa abordagem sistemtica. Alm disso, elas envolviam certas operaes com quantidades infinitas que eram difceis de justificar rigorosamente em termos matemticos. Por isso, a atitude que reinava nos anos 40 entre os fsicos era basicamente a de continuar usando a teoria quntica do campo, na falta de outra abordagem melhor, porm com uma ponta de ceticismo.

4 Em termos matemticos, levar em conta momentos arbitrariamente altos significa calcular integrais imprprias, ou seja, integrais nas quais um dos limites de integrao, ou ambos, so infinitos. Apesar de serem definidas sobre um intervalo infinito, as integrais imprprias comumente convergem, isto , possuem valor finito. Porm as integrais importantes no caso da auto-energia do eltron e da polarizao do vcuo so divergentes. 5 Um outro tipo importante de divergncia era a catstrofe infravermelha, decorrente de processos envolvendo ftons com momento baixo (ou, equivalentemente, comprimento de onda alto, como na radiao infravermelha). Esse tipo de divergncia produzia resultados infinitos para as sees de choque, o que invalidava certas previses concernentes aos problemas de espalhamento. Entre os que estudaram o problema esto Pauli e Fierz (em 1938; ver Pauli & Fierz, 1994) e Dancoff (1939).

154

Racionalidade, consistncia, reticulao e coerncia...

A soluo para o problema foi encontrada nas tcnicas de renormalizao. O conceito moderno de renormalizao baseia-se na idia de que a massa efetiva de um eltron, por exemplo, deve ser entendida como formada por dois componentes: uma massa limpa (sem a presena de ftons virtuais), que se pressupe ser infinita, e tambm uma auto-massa (resultante dos ftons virtuais), que pode ser calculada na teoria, dando um resultado infinito. A idia que uma quantidade infinita cancela a outra, num certo sentido preciso, resultando num valor finito que coincide com o valor observado experimentalmente. O fato de que a massa limpa infinita no deve constituir problema, uma vez que ela no pode ser observada diretamente. A renormalizao , portanto, um processo de eliminar os infinitos absorvendo-os dentro de uma redefinio dos parmetros fsicos (Schwinger, 1958, p. xi; Weinberg, 1977, p. 27). O processo pode ser aplicado a outros parmetros alm da massa, como por exemplo a carga. O procedimento de renormalizao no deve ser considerado como apenas mais um exemplo da fsica da subtrao mencionada acima. Evidentemente, a subtrao de uma quantidade infinita de outra quantidade tambm infinita no parece ser uma operao matematicamente bem definida. Na prtica, a redefinio dos parmetros obtida formalmente por um processo de corte (em ingls cutoff) nas integrais relevantes e subseqente passagem ao limite.6 Porm, restava o problema de como executar esse cutoff de forma a preservar a covarincia relativstica. A noo de renormalizao j havia sido sugerida por Weisskopf (em 1936; ver Weisskopf, 1994b) e por Kramers (1938), porm no atraiu grande interesse no incio. Os fsicos percebiam que, para um tratamento sistemtico da questo, trs coisas ainda eram necessrias. Primeiro, era preciso encontrar uma maneira de classificar os tipos de infinitos que surgiam nos clculos, uma vez que, para que a tcnica de renormalizao possa ser aplicada, os infinitos precisam aparecer de uma maneira especfica, isto, , na forma de correes aos parmetros. Segundo, era indispensvel descobrir como executar o procedimento de renormalizao de tal forma que no se destrusse a covarincia relativstica. Terceiro, faltava uma quantidade maior de dados experimentais, capazes de permitir uma discriminao fina entre as vrias tcnicas de eliminao de infinitos. Todos esses trs elementos iriam emergir de maneira dramtica no final dos anos 40.

6 Esse corte nas integrais sobre os momentos pode ser executado, seja especificando um valor grande, porm finito, como limite superior de integrao, seja multiplicando o integrando por uma funo apropriada, que cai prxima de zero para momentos acima de um certo valor. O importante fazer com que os termos que dependem do limite superior ou da funo escolhida sejam precisamente os termos que tm problemas de divergncia, enquanto os outros termos permanecem quase independentes dessa escolha.

155

Valter Alnis Bezerra

Num experimento que se tornaria clebre, Lamb e Retherford realizaram uma medida de preciso do desdobramento hiperfino dos nveis de energia do tomo de hidrognio (Lamb & Retherford, 1947). De acordo com a teoria de Dirac do eltron, de 1928, as energias dos dois primeiros estados excitados do hidrognio deveriam ser iguais, porm Lamb e Retherford mostraram que eles diferiam por 1000 MHz, um efeito que ficaria conhecido como deslocamento de Lamb (Lamb shift). Esse resultado foi anunciado no famoso congresso de fsica de Shelter Island em 1947. Imediatamente em seguida ao congresso, Hans Bethe (1947) formulou uma explicao para o deslocamento de Lamb em termos da auto-interao do eltron, usou a renormalizao da massa para eliminar as divergncias, e encontrou um valor prximo ao observado. Porm, assim como os outros clculos de renormalizao efetuados na eletrodinmica de ento, o clculo de Bethe no possua covarincia relativstica. Parcialmente impulsionados pelos acontecimentos de Shelter Island, Richard Feynman e Julian Schwinger deram entre 1947 e 1949 os toques finais numa eletrodinmica quntica de carter sistemtico, que era ao mesmo tempo renormalizvel e covariante (cf. Schwinger, 1948; 1949a; 1949b; Feynman, 1948a; 1948b; 1949a; 1949b). Sin-Itiro Tomonaga j havia desenvolvido no Japo uma teoria desse tipo em 1943, publicada em ingls em 1946 (cf. Tomonaga, 1946; 1948). Em seguida, Freeman Dyson (1949a; 1949b) demonstrou que os formalismos de Feynman, Schwinger e Tomonaga eram equivalentes, e conseguiu fornecer uma classificao dos tipos de divergncias da eletrodinmica quntica, provando que elas eram precisamente do tipo que poderia ser removido atravs da renormalizao. Nos anos que se seguiram, a eletrodinmica quntica provocou um grande entusiasmo entre os fsicos, e os clculos foram sendo executados com aproximao cada vez melhor. Atualmente, os clculos mais detalhados efetuados utilizando a teoria conseguem atingir uma impressionante preciso de dez casas decimais (ver Mandl & Shaw, 1993). O sucesso da eletrodinmica quntica inspirou na comunidade cientfica a esperana de que as outras interaes da Natureza, alm da eletromagntica, pudessem ser descritas por meio de teorias qunticas renormalizveis. Porm, medida que se prosseguia nesse projeto, percebeu-se que isso dificilmente seria conseguido no que se refere interao nuclear fraca e interao forte. No caso da interao fraca, as divergncias que surgiam eram de um tipo que no podia ser erradicado por meio das tcnicas de renormalizao existentes. No caso da interao forte, era impossvel aplicar a teoria da perturbao que era o modo pelo qual a maioria dos clculos eram efetuados na teoria do campo devido ao valor elevado da constante de acoplamento.7 Essas dificuldades levaram o programa da teoria quntica do campo a um impasse em meados dos anos 50. Esse impasse provocaria o abandono do projeto por grande parte da comunidade cientfica, que se voltou ento para outras abor156

Racionalidade, consistncia, reticulao e coerncia...

dagens, como o programa das simetrias e da lgebra de correntes, ou ento para o programa da matriz-S. Essa situao persistiria at o final dos anos 60.

Quadro 1. Cronologia resumida da eletrodinmica quntica 1926: Born, Heisenberg e Jordan Primeira descrio do campo eletromagntico no vcuo como um sistema de osciladores 1927: Dirac Mtodo da segunda quantizao; eletrodinmica quntica; tratamento do problema da emisso e absoro de radiao 1928: Jordan, Wigner, Pauli Verso relativstica do mtodo da segunda quantizao; extenso ao caso dos frmions Anos 30: Fermi, Yukawa Tentativas de estender o programa da teoria quntica do campo interao nuclear fraca e interao nuclear forte 1930: Oppenheimer Identificao dos problemas da auto-energia do eltron e da polarizao do vcuo 1934, 1939: Weisskopf Anlise do problema da auto-energia do eltron 1933, 1934, 1936: Dirac, Furry-Oppenheimer, Heisenberg, Weisskopf Anlise do problema da polarizao do vcuo Anos 30 e 40: Tcnicas ad hoc para eliminar os infinitos na teoria quntica do campo; ceticismo em relao teoria quntica do campo 1936, 1938: Weisskopf, Kramers Primeiras sugestes do conceito moderno de renormalizao
7 Na teoria da perturbao, os clculos so efetuados calculando inicialmente um termo bsico que possui forma relativamente simples, sem considerar os detalhes do sistema, e depois calculando sucessivamente termos de ordem mais alta que so agregados aos termos j existentes, funcionando como correes cada vez mais precisas expresso inicial. Essa soma de termos uma srie de potncias na constante de acoplamento. A abordagem perturbativa possvel no eletromagnetismo, cuja constante de acoplamento aproximadamente igual a 1/137, porm impossvel na interao forte, devido ao valor extremamente alto da constante de acoplamento, aproximadamente igual a 15. (Na interao fraca a constante da ordem de 10-5.)

157

Valter Alnis Bezerra

1943/1946/1948: Tomonaga Antecipao da eletrodinmica quntica covariante 1947: Lamb e Retherford Experimento sobre a estrutura hiperfina do hidrognio 1947: Bethe Clculo no-relativstico do Lamb shift usando renormalizao de massa 1948/1949: Feynman, Schwinger Eletrodinmica quntica renormalizvel e covariante; grande impulso ao programa da teoria quntica do campo 1949: Dyson Equivalncia dos formalismos de Feynman, Schwinger e Tomonaga; classificao sistemtica dos tipos de divergncias da eletrodinmica quntica Anos 50: Extraordinrio sucesso emprico da eletrodinmica quntica

Em meio ao descrdito em que havia cado a teoria quntica do campo, porm, foi lanada a semente que, anos depois, permitiria o seu renascimento. Trata-se da teoria de gauge no-abeliana, proposta por C. N. Yang e R. L. Mills em 1954 (Yang & Mills, 1997) e, independentemente, por Ronald Shaw em 1955 (Shaw, 1997) e por Ryoyu Utiyama em 1956 (Utiyama, 1997). Essa teoria viria a desempenhar um papel crucial em todo o desenvolvimento posterior do programa da teoria quntica do campo. E aqui tem incio o segundo episdio no qual a renormalizao viria a desempenhar um papel fundamental. O termo teoria de gauge refere-se a um tipo particular de invarincia ou simetria que determinadas teorias possuem. A invarincia de gauge,8 no caso clssico, consiste em se poder somar ao potencial o gradiente de uma funo arbitrria, e ainda assim manter inalteradas as previses experimentais da teoria. A eletrodinmica de Maxwell, por exemplo, invariante de gauge clssica. No caso dos campos qunticos, a invarincia de gauge consiste em se poder preservar as previses experimentais quando se efetua, alm da adio do gradiente, tambm uma rotao arbitrria na fase do campo. O conceito de invarincia de gauge havia sido proposto por Hermann Weyl j nos primrdios da fsica quntica.9

8 Ocasionalmente este termo tambm traduzido em portugus como invarincia de calibre. 9 Ver Gravitation and electricity, de 1918 (Weyl, 1997a) e Electron and gravitation, de 1929 (Weyl, 1997b). Sobre a origem e o desenvolvimento histrico das teorias de gauge, pode-se consultar os artigos de reviso de Jackson & Okun (2001) e de ORaifeartaigh & Straumann (2000).

158

Racionalidade, consistncia, reticulao e coerncia...

A teoria de Yang e Mills se refere ao spin isotpico, que uma quantidade conservada na interao forte. A hiptese feita por eles foi de que o spin isotpico obedeceria a uma simetria de gauge local no-abeliana, expressa pelo grupo SU(2). Uma simetria dita global quando as equaes so transformadas da mema maneira em todos os pontos do espao-tempo, e local quando a transformao pode ser diferente em diferentes pontos. O fato de que a simetria de spin isotpico utilizada por Yang e Mills do tipo local significa, em termos fsicos, a possibilidade de transformar prtons em nutrons, e vice-versa, de maneira independente para cada partcula, isto , as transformaes no precisam ser executadas em unssono, por assim dizer; alm disso, o resultado de uma seqncia de transformaes depende da ordem em que elas so efetuadas.10 Uma vez imposta a invarincia de gauge, Yang e Mills determinaram qual seria o campo correspondente, executaram o processo de quantizao e obtiveram quanta com spin unitrio e spin istpico unitrio, e carga que poderia ser nula, positiva ou negativa. (Essas partculas corresponderiam aos ftons da eletrodinmica quntica.) Duas questes acerca da teoria tiveram, porm, que ser deixadas em aberto pelos autores, devido a dificuldades tcnicas: o problema da massa dos quanta do campo e a questo da renormalizabilidade.11 Por causa das dificuldades encontradas, a teoria de gauge no-abeliana no parecia ser aplicvel interao forte. Restava ainda a possibilidade de que a interao fraca fosse passvel de descrio por meio de uma teoria do tipo de Yang-Mills. Ademais, como a teoria de gauge era inspirada na eletrodinmica quntica, talvez as interaes fracas e eletromagnticas fossem, em algum sentido, manifestaes de uma mesma interao eletrofraca

10 Uma propriedade fundamental da invarincia de gauge que ela explica a existncia dos campos de interao entre as partculas materiais. A relao profunda que existe entre a simetria de gauge e a existncia de campos mediando as interaes pode ser descrita do seguinte modo. Para descrever partculas relativsticas livres, isto , na ausncia de campos por exemplo, eltrons com spin 1/2 escreve-se um lagrangiano em termos de operadores que correspondem a campos de matria. Para obter a invarincia do lagrangiano sob transformaes de fase locais dos campos de matria, preciso substituir as derivadas espao-temporais ordinrias pelas chamadas derivadas covariantes. Ocorre que as derivadas covariantes incluem, por definio, potenciais de gauge, e portanto automaticamente acoplam campos de gauge aos campos de matria. Portanto, pode-se dizer que a invarincia de gauge requer a introduo de campos de interao. Assim, por exemplo, no caso da eletrodinmica, a exigncia de invarincia de gauge implica a existncia de um campo cujos quanta so os ftons. 11 Colocava-se o seguinte dilema: para que a simetria bsica da teoria fosse preservada, os quanta do campo deveriam ter massa nula; por outro lado, sabe-se que a interao forte de curto alcance, o que implica quanta com massa grande. O dilema se tornava mais agudo uma vez que Yang e Mills concluram que a renormalizabilidade da teoria dependia de maneira essencial do fato de as partculas possurem massa nula. Para complicar a situao, os prprios quanta do campo possuem spin isotpico vale dizer, eles podem interagir entre si o que tornava os clculos de renormalizao bastante difceis.

159

Valter Alnis Bezerra

subjacente. Depois de algumas tentativas preliminares por parte dos fsicos, foram propostas duas teorias de gauge unificando o eletromagnetismo e a interao fraca, por Sheldon Glashow (1961) e por Abdus Salam e John Ward (Salam & Ward, 1964), utilizando o grupo de simetria SU(2)U(1). Nessas teorias, o lagrangiano da interao previa a existncia de quatro bsons: o fton e trs bsons vetoriais fracos (um com carga positiva, um negativo e um neutro). Porm havia o problema da diferena de massa, que nula para o fton, mas deveria ser no-nula para as outras trs partculas. As massas das partculas precisavam ser inseridas manualmente na teoria, por assim dizer. Alm disso, restava a questo de como se poderia ter bsons massivos sem destruir a invarincia de gauge. A idia crucial que faltava para solucionar esses problemas era a quebra espontnea de simetria. Na quebra espontnea de simetria, a noo fundamental envolvida de uma simetria que est presente no lagrangiano de forma exata mas que no se manifesta em termos fsicos, ou se manifesta de forma apenas aproximada. Colocando de outro modo, enquanto a totalidade das solues de uma equao de campo possui a simetria, uma soluo particular pode no a possuir. A simetria fica escondida ou, como se costuma dizer, espontaneamente quebrada. Em 1961, Jeffrey Goldstone props um mecanismo para obter a quebra espontnea de simetria na teoria quntica do campo (Goldstone, 1961).12 Porm Steven Weinberg, Salam e o prprio Goldstone mostraram em 1962 que, em muitas teorias, a quebra espontnea de simetria teria que ser acompanhada pelo surgimento de partculas de spin um e massa nula, os chamados bsons de Goldstone (Goldstone, Salam & Weinberg, 1962). Isso constitua um problema, uma vez que tais partculas de massa nula no foram observadas nem poderiam desempenhar um papel em interaes de curto alcance. Peter Higgs completou o mecanismo, valendo-se da invarincia de gauge para mostrar como as partculas podem ganhar massa via quebra espontnea de simetria sem o surgimento de partculas de massa nula (Higgs, 1964a; 1964b; 1966).13 Por meio

12 Goldstone considerou um campo escalar complexo cujo potencial, no plano complexo, tinha uma forma simtrica parecida com a de uma forma de bolo, com um monte ou mximo local na origem e todo um crculo de mnimos absolutos ao redor. O estado de vcuo, portanto, no era nico, ou, como se diz em teoria quntica, era degenerado. Goldstone incluiu ento na teoria uma regra de superseleo proibindo as superposies de estados construdos a partir de vcuos diferentes. (Como j mencionamos, na teoria quntica do campo os estados do campo so construdos a partir do estado de vcuo por meio de combinaes de operadores de criao e aniquilao.) Assim um estado de vcuo particular deve ser escolhido o que feito especificando-se um ngulo no crculo de mnimos o que destri a simetria original. 13 Higgs considerou um lagrangiano que era uma generalizao do de Goldstone, invariante sob o grupo U(1), com o mesmo campo escalar complexo, e o mesmo tipo de vcuo degenerado, porm agora incluindo tambm o acoplamento

160

Racionalidade, consistncia, reticulao e coerncia...

do mecanismo de Higgs desaparecem os bsons de Goldstone, os quanta de campo adquirem massa, e aparece tambm uma partcula massiva que conhecida como bson de Higgs. O mecanismo de Higgs tambm funciona para teorias baseadas no grupo no-abeliano SU(2)U(1), o que abriu o caminho para uma teoria de gauge unificada das interaes eletromagnticas e fracas. Essa teoria seria formulada independentemente por Weinberg, em 1967, e por Salam, em 1968 (ver Weinberg, 1967; Salam, 1994a). Eles partiram, respectivamente, das teorias de Glashow (1961) e de Salam & Ward (1964), e usaram o mecanismo de Higgs para explicar as massas das partculas, em vez de introduzir as massas manualmente. A teoria eletrofraca de WeinbergSalam no despertou interesse nos primeiros anos aps sua formulao, uma vez que a teoria quntica do campo ainda atravessava uma fase de desprestgio na poca. Alm disso, no se tinha certeza quanto sua renormalizabilidade. Esse cenrio iria se alterar de forma dramtica no incio dos anos 70. Em 1971, Gerard tHooft conseguiu demonstrar que as teorias de gauge massivas com quebra espontnea de simetria so renormalizveis (tHooft, 1971a; 1971b; cf. tambm tHooft & Veltman, 1972a; 1972b). Esta era a pea que faltava no quebra-cabeas, no plano terico. No s essa demonstrao resgatou a teoria de Weinberg-Salam do esquecimento como levou a um renascimento do prprio programa da teoria quntica do campo. A partir de 1971, observa-se uma verdadeira exploso no nmero anual de citaes dos trabalhos de Weinberg e Salam, saltando de zero citaes por ano para centenas de citaes (cf. Pickering 1984, p. 172), o que indica claramente o aumento de interesse por parte dos fsicos. A partir da, assumiu grande importncia a questo dos testes experimentais da teoria eletrofraca unificada. E, de fato, seguiram-se corroboraes experimentais espetaculares, como a deteco das correntes neutras (Hasert et

com um campo vetorial real sem massa. Considerando ambos os campos, obtm-se quatro graus de liberdade no total. O campo escalar complexo pode ser expandido em termos de dois campos escalares reais, um dos quais corresponde ao bson de Goldstone. Porm existe um problema: o lagrangiano assim reescrito descreve dois campos escalares reais sem massa e um campo vetorial real com massa, o que d cinco graus de liberdade. Como uma simples mudana de variveis no pode alterar o nmero de graus de liberdade de um sistema, conclui-se que um dos campos escalares no tem significado fsico e deve ser eliminado; esse seria justamente o campo correspondente ao bson de Goldstone. A eliminao desejada conseguida por meio de uma transformao de gauge (o chamado gauge unitrio). A aplicao dessa transformao resulta num lagrangiano que possui o nmero correto de graus de liberdade (quatro), s que, em vez de descrever um campo escalar complexo com massa e um campo vetorial real sem massa, ele descreve agora um campo escalar real com massa e um campo vetorial real com massa. Assim, como se o campo vetorial real tivesse engolido o bson de Goldstone e absorvido o grau de liberdade a ele associado, adquirindo massa no processo. A simetria original do lagrangiano, U(1), mantida, s que no manifesta no espectro observvel de partculas.

161

Valter Alnis Bezerra

al, 1973) e a descoberta dos bsons fracos W-, W+, e Z0 (Arnison et al, 1983a; 1983b). A pea que ainda falta para completar o quadro, no plano experimental, a deteco do bson de Higgs.14 Nos anos 70 e 80, a teoria quntica do campo reassumiu o primeiro plano na fsica terica, inclusive no mbito da interao forte, com o desenvolvimento da cromodinmica quntica (a teoria dos quarks), baseada no grupo SU(3). Houve tambm grande interesse em buscar uma teoria capaz de unificar todas as trs unificaes eletromagntica, fraca e forte por meio de um nico grupo de gauge, como o SU(4) ou SU(5). Apesar dos grandes esforos dispendidos nessa direo, porm, essas teorias, ditas teorias da grande unificao, no foram inteiramente bem-sucedidas. Tambm no se conseguiu incorporar a gravitao dentro do quadro das teorias de gauge renormalizveis. Pode-se dizer que o principal legado dessa era na fsica de partculas e campos o chamado modelo padro, constitudo pela teoria eletrofraca mais a cromodinmica quntica, dentro da estrutura U(1)SU(2)SU(3). O modelo padro constitui, por ora, o melhor paradigma disponvel para descrever a estrutura da matria e o comportamento dos campos.15

Quadro 2. Cronologia resumida das teorias de gauge 1918, 1929: Weyl Primeiras sugestes do conceito de invarincia de gauge Anos 50: Dificuldades para construir teorias qunticas renormalizveis para as interaes nucleares fraca e forte; crise do programa da teoria quntica do campo; surgimento de programas alternativos (matriz-S e lgebra de correntes) 1954: Yang e Mills Teoria de gauge no-abeliana para o spin isotpico utilizando o grupo de simetria SU(2); incertezas quanto sua renormalizabilidade

14 Para um tpico relato recente de uma das frentes da busca ao bson de Higgs, cf. por exemplo Sopczak (2002). 15 Existe um sem-nmero de bons textos apresentando a teoria quntica do campo de um ponto de vista tcnico. Mencionaremos aqui o de Itzykson & Zuber (1985), consideravelmente avanado, o de Mandl & Shaw (1993), mais acessvel e didtico do que o primeiro, o de Bjorken & Drell (1965) que, embora antigo, ainda tem seu valor, e o de Weinberg (1995; 1996), extremamente avanado e de carter enciclopdico, escrito por algum que foi um protagonista dos acontecimentos. Sobre o desenvolvimento conceitual da teoria quntica do campo, pode-se consultar o magnfico livro de Cao (1997), bem como os artigos de reviso de Weinberg (1977) e de Cushing (1982), e o estudo sociologicamente orientado de Pickering (1984).

162

Racionalidade, consistncia, reticulao e coerncia...

1955/1956: Shaw, Utiyama Desenvolvimento independente da teoria de gauge no-abeliana 1961, 1964: Glashow, Salam-Ward Teorias de gauge unificando o eletromagnetismo e a interao fraca, utilizando o grupo SU(2)U(1); problema da origem da massa das partculas 1961: Goldstone Mecanismo para a quebra espontnea de simetria na teoria quntica do campo 1962: Weinberg-Salam-Goldstone Problema do aparecimento de bsons de massa nula (bsons de Goldstone) 1964/1966: Higgs Extenso do mecanismo de Goldstone para obter partculas massivas via quebra espontnea de simetria, sem bsons de massa nula; aparecimento de um bson residual massivo (bson de Higgs) 1967/1968: Weinberg, Salam Teoria de gauge unificada das interaes eletromagnticas e fracas, utilizando o grupo SU(2)U(1) e o mecanismo de Goldstone-Higgs 1971: tHooft Demonstrao de que as teorias de gauge massivas com quebra espontnea de simetria so renormalizveis; renascimento da teoria de Weinberg-Salam e do programa da teoria quntica do campo 1973: Hasert et al Deteco experimental das correntes neutras (corroborao da teoria de Weinberg-Salam) Anos 70 e 80: Cromodinmica quntica (teoria da interao forte) baseada no grupo SU(3); Modelo Padro = teoria eletrofraca + cromodinmica quntica, com estrutura U(1)SU(2)SU(3) 1983: Arnison et al Descoberta dos bsons fracos W-, W+, e Z0 (nova corroborao da teoria de Weinberg-Salam) Atualmente: Busca ao bson de Higgs

163

Valter Alnis Bezerra

2. A polmica sobre a renormalizao


A renormalizao claramente desempenhou um papel fundamental no desenvolvimento da teoria quntica do campo.16 Vimos dois momentos especialmente dramticos nesse processo. No final dos anos 40, no bojo da teoria covariante de Feynman-SchwingerTomonaga-Dyson, a renormalizao permitiu superar as dificuldades da eletrodinmica quntica e inaugurou um perodo de extraordinrio sucesso emprico. No incio dos anos 70, com base na demonstrao de tHooft, a renormalizao possibilitou o renascimento das teorias de gauge e levou consagrao da teoria eletrofraca unificada. No perodo que medeia entre esses dois eventos, a renormalizao foi sendo gradualmente promovida ao posto de um critrio tanto de construo terica como de escolha terica. A demonstrao de tHooft foi como que um ponto de inflexo desse processo. A partir dela, a renormalizao passou indubitavelmente a constituir uma parte essencial da metodologia da fsica de partculas e campos. Atualmente, quando um novo modelo terico proposto, a condio de renormalizabilidade condiciona fortemente a aceitao ou rejeio desse modelo. Esse diagnstico corroborado tanto por fsicos como por historiadores. Por exemplo, Weinberg, um dos arquitetos da unificao eletrofraca, escreveu:
Coloquei grande nfase na condio de renormalizabilidade... Muitos fsicos discordariam dessa nfase, e de fato, pode-se vir a descobrir que todas as teorias qunticas do campo, renormalizveis ou no, so igualmente satisfatrias. No entanto, sempre me pareceu que o requisito da renormalizabilidade coloca exatamente o tipo de restrio de que precisamos em uma teoria fsica fundamental. Existem muito poucas teorias qunticas do campo renormalizveis... Precisamos muito de um princpio-guia como a renormalizabilidade para nos ajudar a selecionar, em meio infinita variedade de teorias qunticas do campo concebveis, a teoria que se aplica ao mundo real (Weinberg, 1977, p. 33).

16 Cabe lembrar que, na fsica atual, a renormalizao no necessariamente um processo voltado para a eliminao dos infinitos. Existem renormalizaes finitas, no s na teoria do campo como tambm, particularmente, no estudo das transies de fase. Tambm digno de nota o fato de que, na teoria axiomtica de campos, existe interesse em estudar as propriedades de certas teorias no-renormalizveis. No obstante, o aspecto histrico-metodolgico que ora nos interessa diz respeito renormalizao tal como ela foi originalmente executada na eletrodinmica e nas teorias de gauge, isto , com o objetivo de eliminar as divergncias. Por isso, nesse tipo de renormalizao que iremos nos concentrar aqui.

164

Racionalidade, consistncia, reticulao e coerncia...

Enquanto isso, Silvan Schweber, um destacado historiador da fsica contempornea, escreve:


A renormalizabilidade pode ... ser considerada como um princpio regulador, guiando a construo e a seleo de teorias dentro do quadro geral da teoria quntica do campo ... um fato histrico que os desenvolvimentos subseqentes da teoria quntica do campo, para alm do mbito da eletrodinmica quntica, foram efetuados empregando o princpio de renormalizabilidade como guia ... No seria um grande exagero afirmar que os avanos mais substanciais conseguidos na teoria quntica do campo nas ltimas quatro dcadas foram guiados e condicionados pelo princpio de renormalizabilidade (Schweber, 1994, p. 595, 598-9).

Hoje em dia, as tcnicas de renormalizao fazem parte de qualquer livro-texto sobre teoria do campo. Parece foroso admitir, como faz um consagrado texto sobre o assunto, o de Itzykson e Zuber, que a renormalizao, em todas as ordens [de aproximao], jaz no prprio cerne da teoria quntica do campo (Itzykson & Zuber, 1985, p. 372). Porm a aceitao da renormalizao pela comunidade cientfica, ainda que macia, sempre esteve cercada por dvidas, e nunca se viu livre de polmicas. Isso se deve percepo, por parte de muitos fsicos, de que a renormalizao constituiria, de algum modo, um procedimento inconsistente do ponto de vista matemtico e lgico. As operaes envolvidas a redefinio da massa e da carga, o apelo a quantidades infinitas inobservveis que cancelam outras quantidades infinitas, os procedimentos de corte (cutoff) executados nas integrais divergentes, os processos de limite, os esquemas de regularizao dimensional tudo isso parecia, para aqueles cientistas (nos anos 30 a 70 mais ainda do que hoje), no mnimo duvidoso do ponto de vista lgico. Pode-se argumentar, ademais, que a inconsistncia de que se acusa a renormalizao possui razes fsicas. Um dos pressupostos bsicos do programa da teoria quntica do campo que ele possui carter local, isto , as equaes que governam a evoluo de um campo num ponto do espao-tempo devem depender somente do comportamento do campo e de suas derivadas naquele ponto. Esse pressuposto de localidade implica uma noo de interaes e excitaes pontuais dos campos. Isso, por sua vez, implica que, nos clculos, preciso levar em conta os quanta virtuais com momentos arbitrariamente altos. (Recordemos aqui a complementaridade que existe entre a posio e o momento, expressa pelo princpio de incerteza: quanto mais estreita a faixa considerada para o valor da posio, mais larga a faixa admissvel para o valor do momento.) Porm a incluso de tais processos de altas freqncias geralmente leva ao aparecimento de quantidades infinitas. Assim, as divergncias ultravioletas estariam, em ltima anlise, ligadas localidade das interaes. Ora, o uso das tcnicas de
165

Valter Alnis Bezerra

renormalizao para eliminar os infinitos tem o efeito de borrar ou espalhar espacialmente o modelo pontual e local das interaes, devido imposio de um limite sobre os momentos (o cutoff). Existe aqui, portanto, uma tenso conceitual fundamental entre uma concepo estritamente pontual de interao e uma outra concepo, caracterstica das teorias renormalizadas, onde a interao no perfeitamente pontual. As referncias que faz T. Y. Cao a um modelo quase pontual (Cao, 1997, p. 205-6) revelam bem esta tenso. Nesse caso, o surgimento dos infinitos no deveria ser tomado como uma indicao das limitaes intrnsecas ao ponto de vista local? A renormalizao no constituiria, ento, um preldio para o enterro definitivo do programa da teoria quntica do campo? Esta no precisaria ser substituda, finalmente, por uma teoria com interaes no-locais? Eram dvidas desse tipo que pairavam na mente dos fsicos desde os anos do ps-guerra. Cumpre lembrar que nos referimos aqui, particularmente, ao perodo que vai dos anos 30 at o incio dos anos 70. Hoje em dia, conversando com os fsicos, percebe-se que a renormalizao j mais bem aceita do que h trinta anos. Isso se deve em parte pesquisa em teoria axiomtica de campos, que procura colocar a renormalizao sobre bases matemticas mais slidas. Porm, independentemente de um julgamento sobre o mrito dessas investigaes mais recentes, nosso interesse aqui est nas escolhas tericas e metodolgicas tal como foram feitas no perodo em questo, com base nos conceitos de que se dispunha na poca. interessante considerar, sobretudo, os pronunciamentos dos fsicos que, mesmo tendo participado ativamente do desenvolvimento da teoria quntica do campo, assumiram uma posio crtica com respeito renormalizao. H aqueles como Feynman (um dos criadores da eletrodinmica quntica moderna), que se valiam regularmente da renormalizao no desenvolvimento da teoria, ao mesmo tempo que observavam que a renormalizao no era inteiramente satisfatria. Numa conferncia proferida no Congresso Solvay de 1961, aps apresentar um panorama dos xitos e problemas da teoria naquela poca, Feynman conclui: eu no subscrevo a filosofia da renormalizao (Feynman, 2000a, p. 162). E, ao descrever, em sua conferncia Nobel de 1965, o desenvolvimento conceitual da teoria, ele escreve:
Acredito que no haja uma eletrodinmica quntica realmente satisfatria ... Penso embora no tenha certeza disso que a teoria da renormalizao simplesmente uma maneira de varrer as dificuldades com as divergncias para debaixo do tapete (Feynman, 1966, p. 707).

Tambm h aqueles como Dirac (ningum menos que um dos pais da mecnica quntica, da mecnica quntica relativstica e da teoria quntica do campo), que eram
166

Racionalidade, consistncia, reticulao e coerncia...

crticos acerbos e constantes da renormalizao, argumentando que ela constitui, por si mesma, um indcio de que algo est muito errado com a teoria. Dirac escreveu:
Precisamos aceitar o fato de que existe algo fundamentalmente errado com a nossa teoria da interao do campo eletromagntico com os eltrons. Por fundamentalmente errado quero dizer que a mecnica est errada, ou a fora de interao est errada. O que est errado com a teoria to srio quanto aquilo que estava errado com a teoria das rbitas de Bohr ... So necessrias algumas novas equaes relativsticas, e novos tipos de interaes devem ser postos em jogo. Quando essas novas equaes e novas interaes forem imaginadas, os problemas que hoje nos confundem sero automaticamente solucionados, e no mais teremos que lanar mo de processos ilgicos como a renormalizao de infinitos. Esta um completo contra-senso em termos fsicos, e eu sempre me opus a ela. Trata-se apenas uma regra prtica (rule of thumb) que produz resultados. A despeito dos seus xitos, preciso estar preparado para abandon-la completamente, e encarar todos os xitos que foram alcanados usando a eletrodinmica quntica na forma usual com os infinitos removidos por processos artificiais como sendo meros acidentes, nos casos em que fornecem as respostas certas, do mesmo modo que os xitos da teoria de Bohr foram considerados meramente acidentais quando corretos (Dirac, 1983, p. 53-5).

Existia (e ainda hoje existe), entre uma parcela considervel da comunidade cientfica, uma forte sensao de que a renormalizao em si mesma um indcio de que falta algo fundamental na base conceitual da teoria quntica do campo. No obstante, devido ao sucesso extraordinrio das teorias renormalizveis, ao mesmo tempo parece impossvel escapar ao domnio da renormalizao. Temos assim, em resumo, uma situao epistmica bastante estranha: por um lado, a teoria quntica do campo foi empiricamente bem sucedida, e no entanto foi criticada; por outro lado, a renormalizaco se afigura inconsistente, e contudo foi aceita.

3. Uma anlise reticulacional da renormalizao


Desejamos interpretar o desenvolvimento da teoria quntica do campo, e o episdio da emergncia da renormalizao, em termos do modelo reticulado de racionalidade cientfica. Esse modelo foi desenvolvido por Larry Laudan nos anos 80, e est exposto principalmente em seu livro Science and Values (Laudan, 1984), com alguns importantes aperfeioamentos referentes metodologia e metametodologia no artigo Progress
167

Valter Alnis Bezerra

or rationality? The prospects for normative naturalism (Laudan, 1987). Creio que se trata da perspectiva mais vivel e frtil de que dispomos para tratar a questo da racionalidade cientfica e da justificao dos padres de avaliao em cincia. No seria possvel, dentro dos limites deste artigo, apresentar detalhadamente o modelo reticulado, de um modo que fizesse justia importncia que ele possui dentro da atual filosofia da cincia. (Existe uma literatura filosfica considervel, surgida nos anos 80 e 90, discutindo diversos aspectos e implicaes do modelo.) Por isso, vamos nos limitar a recapitular de forma muito sucinta os traos essenciais. O modelo reticulado pressupe que o conhecimento cientfico, numa dada disciplina, est estruturado em trs componentes fundamentais: o das teorias [representado por T], o da metodologia [M] e o dos valores cognitivos ou axiologia [A], tal como esquematizado na Figura 1. A metodologia, em particular, constituda no apenas pelos mtodos, mas tambm por imperativos hipotticos que expressam conexes entre os valores cognitivos, entendidos como fins, e os mtodos, entendidos como meios para a obteno daqueles fins. Existem relaes de influncia cognitiva mtua entre todos os pares de componentes [relaes que podemos indicar por A T, A T, A M, A M, M T e M T, ou, abreviadamente, T M, A M e A T]. A estrutura completa do reticulado consiste, portanto, em trs componentes e trs pares de relaes entre esses componentes.

Figura 1. Estrutura do modelo reticulado.

168

Racionalidade, consistncia, reticulao e coerncia...

Nessa estrutura triangular, a justificao epistmica se d por um processo de ajuste mtuo entre os componentes do sistema. Uma escolha cientfica estar racionalmente justificada quando contribuir para maximizar a adequao mtua entre os componentes do reticulado. Esse processo no hierrquico. Todos os componentes do sistema se encontram em p de igualdade: nenhum deles tem proeminncia sobre os outros. Trata-se, por assim dizer, de adequar no somente os meios aos fins [ou seja, as influncias clssicas A T, A M e M T], mas tambm os fins aos meios [isto , as influncias recprocas A T, A M e M T]. Alm disso, cabe notar que nenhuma parte da metodologia ou da axiologia est imune a reviso, caso as influncias provenientes do restante do sistema sejam fortes o suficiente para pressionar nesse sentido. (Em outras palavras, na perspectiva laudaniana, no existe um ncleo duro metodolgico nem axiolgico.) O modelo reticulado prev que as mudanas cientficas, quando ocorrem, nunca afetam simultaneamente todos os componentes do sistema. Para que o processo reticulacional de ajuste mtuo entre os trs componentes possa funcionar, pelo menos um componente precisa funcionar, em cada instante, como um piv provisoriamente fixo em relao ao qual os outros se ajustam. O processo de transformao da estrutura teoria-metodologia-valores por meio de uma sucesso de transformaes parciais precisamente o que se denomina reticulao. Isso leva a um cenrio gradualista de mudana cientfica, por oposio a um cenrio holista, onde as transformaes ocorreriam em todo o sistema de uma s vez. De acordo com a perspectiva reticulacional, mesmo uma mudana conceitual aparentemente revolucionria, que parece passar de um s golpe de um complexo teoria-metodologia-axiologia para outro totalmente diferente, consiste, na realidade, em uma seqncia de mudanas parciais, locais e que, tomadas individualmente, podem ser perfeitamente racionais. O episdio da renormalizao na teoria quntica do campo pode ser sintetizado em termos reticulacionais da seguinte maneira. Consideremos primeiramente a axiologia da disciplina. No h dvida de que, tal como ocorre em muitas outras disciplinas cientficas, a axiologia da fsica do campo inclua, desde o incio, os valores de adequao emprica e poder preditivo. Tambm podemos supor que o valor da consistncia matemtica fazia parte, originalmente, da axiologia. Inicialmente, com o objetivo de implementar os fins cognitivos de adequao emprica e poder preditivo, foi formulada uma certa regra metodolgica de carter geral, a saber: se aceitamos os fins de adequao emprica e poder preditivo, ento deve-se dar preferncia quelas teorias que no atribuam valores infinitos s quantidades que admitem interpretao em termos observveis. De fato, uma teoria que prediz valores infinitos para quantidades observveis no capaz de fazer previses aproveitveis, e portanto no pode ser empiricamente adequada. Esta uma influncia da axiologia sobre a metodo169

Valter Alnis Bezerra

logia, que pode ser representada como A M. Sob o ponto de vista dessa regra metodolgica, optar por uma teoria que atribusse valores infinitos a quantidades observveis seria uma escolha irracional. Desse modo a metodologia passa, por sua vez, a exercer uma presso sobre as teorias, que pode ser abreviada como M T. Essas duas interaes se encontram ilustradas na Figura 2.

Figura 2. Interaes A M e M T no reticulado da teoria quntica do campo.

As teorias do campo somente eram capazes de fazer jus a essa regra metodolgica recorrendo a um expediente a renormalizao que possua, no incio (anos 30 e 40), carter puramente formal e ad hoc. Por ser matematicamente no-standard, esse expediente era visto inicialmente com desconfiana. Porm esse mecanismo passou a ter o apoio de uma classe crescente de teorias altamente bem sucedidas (no final dos anos 40 e incio dos anos 50), e finalmente resultou num procedimento sistemtico que, com o passar dos anos, logrou impor-se no plano metodolgico. Temos aqui uma influncia retroativa das teorias sobre a metodologia, interao que pode ser representada como T M (onde a linha indica uma modificao em M), como mostra a Figura 3.

170

Racionalidade, consistncia, reticulao e coerncia...

Figura 3. Interao T M no reticulado.

Finalmente, o procedimento de renormalizao consolidou-se de tal maneira (no incio dos anos 70) que se transformou num critrio de formulao e escolha de teorias. Isso corresponde a uma influncia que a metodologia (modificada) passa a ter sobre as novas teorias, abreviadamente M T, como ilustra a Figura 4.

Figura 4. Interao M T no reticulado.

171

Valter Alnis Bezerra

interessante notar que o estabelecimento da renormalizao como parte constituinte da metodologia no se deu diretamente a partir da axiologia, isto , pela formulao de uma regra metodolgica estipulando a renormalizao como um meio para o atingimento de determinado fim. Em vez disso, o processo se deu pelo outro lado, por assim dizer pelo lado das teorias. Quando a renormalizao comeou a ser aplicada, ela sequer fazia parte da metodologia da fsica do campo. No estava ainda codificada em regras metodolgicas. A renormalizao era um procedimento que se encontrava inicialmente restrito ao mbito das teorias, num registro formal e ad hoc. Somente medida que se foi percebendo que essa tcnica formal estava estreitamente associada a uma classe de teorias bem sucedidas, que ele foi sendo alado condio de critrio metodolgico. Assim, a renormalizao no foi aceita por mritos conceituais intrnsecos, nem com base em consideraes filosficas, mas simplesmente em conseqncia de uma forte presso cognitiva decorrente da existncia de teorias que eram extremamente bem sucedidas e exibiam a propriedade de ser renormalizveis. O resultado dessa interao tambm interessante porque a metodologia modificada (com renormalizao) [M] estava em conflito com outro fim cognitivo da axiologia [A], a saber, a consistncia. Da as crticas por parte de vrios cientistas, como vimos. Porm, como sabemos, isso no foi suficiente para evitar a aceitao do procedimento de renormalizao. Essa aceitao pode ser interpretada como uma modificao na axiologia, com um enfraquecimento ou suspenso temporria do valor da consistncia. Temos portanto uma influncia da metodologia (modificada) sobre a axiologia, abreviadamente M A (onde a linha indica uma modificao em A), como se acha esquematizado na Figura 5.

Figura 5. Interao M A no reticulado.

172

Racionalidade, consistncia, reticulao e coerncia...

Assim, partindo de uma determinada configurao inicial do reticulado, chegamos a uma configurao totalmente diferente, esquematizada na Figura 6. Esta nova configurao, por sua vez, poder continuar evoluindo, por meio de novos processos de reticulao.

Figura 6. Configurao resultante do reticulado da teoria quntica do campo.

O caso da renormalizao na teoria quntica do campo nos coloca, portanto, diante de uma situao na qual ocorrem mltiplas interaes epistmicas, no-hierrquicas, dentro do reticulado de uma disciplina. Temos um processo gradual de ajuste mtuo no somente dos meios aos fins, mas tambm dos fins aos meios. Em termos mais gerais, um ajuste multidirecional entre os componentes do reticulado cognitivo da teoria do campo. Desse modo, sob a concepo instrumental de racionalidade que caracteriza a perspectiva reticulacional, pode-se afirmar que o estabelecimento da renormalizao na teoria quntica do campo foi um processo racional.

4. A questo da consistncia
Nossa anlise coloca em destaque um aspecto especialmente interessante desse processo, que o estatuto da consistncia. A aceitao da renormalizao e sua incorporao metodologia permitiram aos cientistas atingir certos fins cognitivos, porm ao preo de ir contra um outro valor, que teve de ser enfraquecido na axiologia. O problema que no se trata de um valor qualquer, mas sim o valor da consistncia, que
173

Valter Alnis Bezerra

aparentemente constitui um dos padres mais intocveis da Razo ocidental moderna. Um crtico racionalista poderia objetar: como pode ser racional a aceitao de um procedimento inconsistente? Como pode um relaxamento da consistncia ser considerado racional? A consistncia no uma das caractersticas constitutivas da prpria racionalidade? E, nesse caso, um gesto no sentido de derrog-la no teria que ser considerado irracional? Nossa resposta a essa crtica toma por base a tese reticulacional de que nenhuma parte de um reticulado em particular, nenhum valor cognitivo est, em princpio, imune a reviso. A consistncia um elemento do componente axiolgico do reticulado, do mesmo modo que, por exemplo, as equaes de campo ou as relaes de comutao fazem parte do componente terico. Como tal, a consistncia no um valor absoluto, e pode ser enfraquecida talvez provisoriamente e de modo parcial se isso for conveniente para manter a aplicabilidade de outros valores cognitivos e preservar a coerncia global do reticulado. Quando se trata de preservar o princpio geral de racionalidade como adequao instrumental mtua, at mesmo um movimento no sentido de enfraquecer o princpio de consistncia pode ser um movimento vlido, uma vez que o princpio de racionalidade tem precedncia sobre qualquer outro princpio axiolgico, metodolgico ou terico. Assim, uma incompatibilidade da renormalizao com o princpio de consistncia no deveria ser tomado como uma indicao de que a prpria noo de racionalidade defeituosa, mas sim como uma indicao de que existe uma tenso interna no componente terico, ou, em outras palavras, um problema conceitual. Como j haviam notado Imre Lakatos (1978a) e o prprio Laudan (1977), a existncia de problemas conceituais a regra, e no a exceo, em qualquer corpo de conhecimento cientfico razoavelmente desenvolvido. Nossa estratgia seria, portanto, a de entender o problema da inconsistncia da renormalizao como sendo um problema conceitual, em vez de um problema acerca da prpria noo de racionalidade utilizada. Resta o problema de solucionar tal inconsistncia no componente terico, ou, equivalentemente, de resolver a tenso entre o componente terico e o valor da consistncia no componente axiolgico. A soluo dada pela maioria dos fsicos a saber, enfraquecer o valor da consistncia e apegar-se ao programa da renormalizao, sem questionar o arcabouo conceitual no parece ser uma alternativa que tenha muito apelo para os filsofos. Porm existem outras possibilidades que iriam requerer uma investigao mais profunda dos aspectos estruturais da teoria do campo. Uma possibilidade seria mostrar que a atual teoria quntica do campo pode ser subsumida a uma teoria mais geral, que seja consistente. Outra possibilidade seria substituir a teoria quntica do campo por uma teoria inteiramente diferente, fundada sobre outros pressupostos como, por exemplo, a teoria das supercordas. Ainda outra possibilidade seria incluir a teoria quntica do campo dentro de um esquema lgico mais geral por exem174

Racionalidade, consistncia, reticulao e coerncia...

plo, isolando as partes mutuamente inconsistentes da teoria e executando um processo de unificao formal por meio da lgica multidedutiva, semelhante ao que foi feito pelo lgico brasileiro Edelcio G. de Souza para o modelo atmico de Bohr (Souza, 2000). Em resumo, este no seria um problema para os tericos da racionalidade, e sim para os especialistas em axiomtica. Desejo, em concluso, considerar a possibilidade de uma modificao na prpria lgica subjacente. Confrontados com a objeo de que a noo de racionalidade aqui empregada insatisfatria uma vez que, no caso da renormalizao, atribui o estatuto de racional a algo que aparentemente ilgico poderamos tentar elaborar uma resposta da seguinte maneira. Notemos que a objeo, tal como est formulada, implicitamente torna a racionalidade dependente da lgica. Seria legtimo, ento, perguntar: qual lgica? Pressupor a lgica clssica, sem mais, seria, em muitos casos, ingnuo. As limitaes da lgica clssica enquanto ferramenta para capturar algumas sutilezas da racionalidade cientfica j so bem conhecidas. Alguns exemplos so: a coexistncia de teorias inconsistentes durante o perodo da antiga teoria quntica (i. e. anterior a 1925), a aceitao de noes como a complementaridade na moderna mecnica quntica, e a dificuldade de conciliar teoria quntica e relatividade geral numa escala prxima ao comprimento de Planck. Exemplos como esses mostram que no faltam dificuldades para uma racionalidade cientfica baseada exclusivamente na lgica clssica. O que se sugere que a escolha da lgica de um sistema terico deveria ser feita numa base instrumental, tanto quanto a escolha das hipteses cientficas. A lgica no deve ser vista como parte de uma noo a priori de racionalidade: em vez disso, ela deve ser vista como uma parte do componente terico de um reticulado. Assim, a escolha da lgica , muito mais do que comumente se pensa, uma questo contingente: a lgica adequada para um sistema cientfico um dos elementos que devem ser escolhidos de maneira a resultar numa configurao do reticulado que maximize a adequao mtua entre os componentes. Como observamos anteriormente, isso tem o efeito de deslocar o registro da questo original e, ao mesmo tempo, tambm indica uma possvel soluo: se a renormalizao conflita com aquilo que seria esperado com base na lgica clssica, isso constitui um problema conceitual para a teoria, e neste caso a soluo pode estar numa mudana da prpria lgica que pressuposta. Existem, na filosofia da cincia, precedentes para uma posio deste tipo. Vamos encontrar esses precedentes em Hilary Putnam e em W. v. O. Quine. De Putnam temos a tese do carter contingente da lgica, defendida em seu artigo de 1969, The logic of quantum mechanics (Putnam, 1979a).17 Naquele texto, Putnam lembra que, no

17 Esse artigo foi publicado originalmente com o ttulo Is logic empirical?.

175

Valter Alnis Bezerra

contexto da teoria da relatividade, a geometria no-euclidiana precisou substituir a geometria euclidiana porque esta se revelou empiricamente falsa. De modo anlogo, no contexto da mecnica quntica, dedues acerca dos enunciados empricos elementares da teoria, se executadas por meio da lgica clssica, levam a resultados que contradizem a experincia. Portanto, a lgica clssica precisaria dar lugar a uma lgica quntica no-distributiva (j proposta por G. Birkhoff e J. Von Neumann em 1936: ver Birkhoff & Von Neumann, 1975). De acordo com Putnam e vrios outros filsofos, a substituio da lgica clssica pela lgica quntica permitiria esclarecer diversas questes notoriamente difceis nos fundamentos da mecnica quntica. (Cabe notar que a lgica quntica se tornou, a partir dos anos 60 e 70, uma linha de pesquisa bastante ativa dentro da rea de fundamentos da mecnica quntica.) De Quine nos vem a tese da inexistncia de uma fronteira ntida entre os enunciados da lgica e os enunciados empricos dentro de uma rede conceitual, tese expressa em seu famoso texto de 1953, Two dogmas of empiricism (Quine, 1980a). Segundo Quine, a nica diferena que existe entre os enunciados da lgica, os postulados tericos e os enunciados empricos est no fato de que estes ltimos esto mais prximos da periferia da rede conceitual, ao passo que os primeiros esto imbricados mais profundamente, prximos ao ncleo do sistema. Os enunciados empricos so, portanto, mais fceis de serem abandonados, modificados ou substitudos, em face de um resultado experimental anmalo, ao passo que os postulados tericos so menos suscetveis s mudanas, e os enunciados da lgica menos ainda. Porm, em princpio, nem mesmo estes ltimos so intocveis. Podemos imaginar uma classificao dos enunciados cientficos ao longo de um espectro, com alguns mais prximos do extremo emprico e alguns mais prximos do extremo formal, enquanto outros esto situados numa regio intermediria. A diferena que existe entre eles basicamente uma diferena de grau, no de natureza. Tomados em conjunto, os argumentos de Putnam e Quine apontam na mesma direo para uma concepo acerca da estrutura do conhecimento cientfico, e acerca do estatuto da lgica dentro dessa estrutura, que plenamente compatvel com a que sugerimos aqui. A lgica passa a ser vista como constituindo apenas uma parte, entre tantas outras, do reticulado uma parte que talvez mais difcil de modificar, mas que no deveria ser tomada a priori como sendo imutvel. Assim, em uma mudana da lgica pressuposta pelo sistema talvez se possa encontrar a soluo para o problema conceitual que a renormalizao coloca para a fsica do campo.18
18 Desejo registrar meus agradecimentos aos Professores Larry Laudan, Carlos O. Escobar, Caetano E. Plastino, Henrique Fleming e Newton da Costa por seus comentrios. Agradeo tambm aos Profs. Claudemir R. Tossato e Walter M. Pontuschka pela assistncia com a bibliografia.

176

Racionalidade, consistncia, reticulao e coerncia...

A linha de pesquisa aqui desenvolvida tem sua origem em minha tese de doutoramento (Bezerra, 1999). Partes do material deste artigo foram previamente expostas em comunicaes apresentadas no III Encontro de Filosofia e Histria da Cincia do Cone Sul (guas de Lindia, SP, maio de 2002) e no X Encontro Nacional de Filosofia da ANPOF (So Paulo, SP, outubro de 2002).

Valter Alnis Bezerra


Pesquisador do Projeto Temtico Estudos de Filosofia e Histria da Cincia da FAPESP, ps-doutorando do Departamento de Filosofia da Universidade de So Paulo. bezerra@usp.br

abstract
A study of the development of quantum field theory, in the period that goes from 1927 to 1971, highlights the fact that renormalization techniques played a fundamental role during the whole process. In particular, renormalization rehabilitated quantum electrodynamics in the late 40s and, later, also rehabilitated quantum field theory as a whole and helped consolidating gauge theories in the early 70s. The success of renormalization was such that, from its beginnings as a mere ad hoc theoretical device, it gradually earned the condition of a criterion for the construction and appraisal of theories in field physics. One of the aims of this article is to show that this change in the methodological status of renormalization can be understood in the context of Larry Laudans reticulational model of rationality. In spite of the extraordinary theoretical and empirical progress achieved, however, there were always polemics regarding the place that renormalization should occupy within the conceptual structure of the discipline. These polemics revolve around the fact that renormalization apparently goes against a cognitive value that is regarded as fundamental, namely, consistency. The second aim of this paper is to show how the reticulational model helps to throw light upon this question as well. We attempt to show in which sense it was rational to accept renormalization in particle and field physics despite the problem of inconsistency. To this end we make use of the theses of the reticulational model, supplemented with theses from Putnam and Quine, and from the coherence theory of justification. KEYWORDS q Scientific methodology. Scientific rationality. Reticulational model. Cognitive values. Quantum field theory. Gauge theory. Renormalization. Inconsistency.

referncias bibliogrficas
NOTA BIBLIOGRFICA. Esto disponveis alguns volumes de reprints fotogrficos que so muito convenientes por reunir vrios artigos clssicos em um nico lugar, no formato em que foram originalmente publicados (inclusive com a paginao original). Em Schwinger (ed., 1958) esto reproduzidos os seguintes artigos: Bethe, 1947; Dirac, 1927; Dyson, 1949a; 1949b; Feynman, 1949a; 1949b; Jordan & Wigner, 1928; Lamb & Retherford, 1947; Schwinger, 1949b;

177

Valter Alnis Bezerra


Tomonaga, 1946; 1948; Weisskopf, 1939; 1994b. Em Feynman (2000b) encontram-se reproduzidos os seguintes: Feynman, 1948a; 1948b; 1949a; 1949b; 1966; 2000a. Finalmente, em Salam (1994b), acham-se reproduzidos os seguintes artigos: Goldstone, Salam & Weinberg, 1962; Salam, 1994a; Salam & Ward, 1964.

ARNISON, G. et al. Experimental observation of isolated large transverse energy electrons with associated missing energy at s = 540 GeV. In: Physics Letters, 122B, 1983a, p. 103-16. _______. Experimental observation of lepton pairs of invariant mass around 95 GeV/c2 at the CERN SPS collider. In: Physics Letters, 126B, 1983b, p. 398-410. BETHE, H. A. The electromagnetic shift of energy levels. In: Physical Review, 72, 1947, p. 339-41. BEZERRA, V. A. Estruturas em busca do equilbrio: o lugar da metametodologia e o papel da coerncia no modelo reticulado de racionalidade cientfica. Tese de doutoramento. So Paulo, Departamento de Filosofia da Universidade de So Paulo, 1999. BIRKHOFF, G. & VON NEUMANN, J. The logic of quantum mechanics. In: HOOKER, C. A. (ed.). The logico-algebraic approach to quantum mechanics. Volume I: historical evolution. Dordrecht, D. Reidel, 1975, p. 1-26. BJORKEN, J. D. & DRELL, S. D. Relativistic quantum fields. Nova Iorque, McGraw-Hill, 1965. BORN, M.; HEISENBERG, W. & JORDAN, P. On quantum mechanics II. In: VAN DER WAERDEN, B. L. (ed.). Sources of quantum mechanics. Nova Iorque, Dover, 1968, p. 321-85. BROWN, L. M. & HODDESON, L. (eds.). The birth of particle physics. Cambridge, Cambridge University Press, 1983. CAO, T. Y. Conceptual developments of 20th century field theories. Cambridge, Cambridge University Press, 1997. CUSHING, J. T. Models and methodologies in current theoretical high-energy physics. In: Synthese, 50, 1982, p. 5-101. DANCOFF, S. M. On radiative corrections for electron scattering. In: Physical Review, 55, 1939, p. 959-63. DIRAC, P. A. M. The quantum theory of the emission and absorption of radiation. In: Proceedings of the Royal Society, A114, 1927, p. 243-65. _______. The origin of quantum field theory. In: BROWN, L. M. & HODDESON, L. (eds.). The birth of particle physics. Cambridge, Cambridge University Press, 1983, p. 39-55. _______. Theory of the positron. In: MILLER, A. I. (ed.). Early quantum electrodynamics: a source book. Cambridge, Cambridge University Press, 1994a, p. 136-44. _______. Discussion of the infinite distribution of electrons in the theory of the positron. In: MILLER, A. I. (ed.). Early quantum electrodynamics: a source book. Cambridge, Cambridge University Press, 1994b, p. 145-56. DYSON, F. J. The radiation theories of Tomonaga, Schwinger, and Feynman. In: Physical Review, 75, 1949a, p. 486-502. _______. The S matrix in quantum electrodynamics. In: Physical Review, 75, 1949b, p. 1736-55. FEYNMAN, R. P. A relativistic cut-off for classical electrodynamics. In: Physical Review, 74, 1948a, p. 939-46. _______. Relativistic cut-off for quantum electrodynamics. In: Physical Review, 74, 1948b, p. 1430-8. _______. Space-time approach to quantum electrodynamics. In: Physical Review, 76, 1949a, p. 769-89. _______. The theory of positrons. In: Physical Review, 76, 1949b, p. 749-59. _______. The development of the space-time view of quantum electrodynamics. In: Science, 153, 3737, 1966, p. 699-708.

178

Racionalidade, consistncia, reticulao e coerncia...


FEYNMAN, R. P. The present status of quantum electrodynamics. In: Selected papers of Richard Feynman (with commentary). Singapura, World Scientific, 2000a, p. 134-72. _______. Selected papers of Richard Feynman (with commentary). Ed. de L. M. Brown. Singapura, World Scientific, 2000b. FURRY, W. & OPPENHEIMER, J. R. On the theory of the electron and positive. In: Physical Review, 45, 1934, p. 245-62. GLASHOW, S. L. Partial-symmetries of weak interactions. In: Nuclear Physics, 22, 1961, p. 579-88. GOLDSTONE, J. Field theories with superconductor solutions. In: Nuovo Cimento (New series), 19, 1961, p. 154-64. GOLDSTONE, J.; SALAM, A. & WEINBERG, S. Broken symmetries. In: Physical Review, 127, 1962, p. 965-70. HASERT, F. J. et al. Observation of neutrino-like interactions without muon or electron in the Gargamelle neutrino experiment. In: Physics Letters, 46B, 1973, p. 138-40. HEISENBERG, W. Remarks on the Dirac theory of the positron. In: MILLER, A. I. (ed.). Early quantum electrodynamics: a source book. Cambridge, Cambridge University Press, 1994, p. 169-87. HIGGS, P. W. Broken symmetries, massless particles and gauge fields. In: Physics Letters, 12, 1964a, p. 132-3. _______. Broken symmetries and the masses of gauge bosons. In: Physical Review Letters, 13, 1964b, p. 508-9. _______. Spontaneous symmetry breakdown without massless bosons. In: Physical Review, 145, 4, 1966, p. 1156-63. HOOKER, C. A. (ed.). The logico-algebraic approach to quantum mechanics. Volume I: historical evolution. Dordrecht, D. Reidel, 1975. ITZYKSON, C. & ZUBER, J.-B. Quantum field theory. Nova Iorque, McGraw-Hill, 1985. JACKSON, J. D. & OKUN, L. B. Historical roots of gauge invariance. In: Reviews of Modern Physics, 73, 2001, p. 663-80. JORDAN, P. & WIGNER, E. ber das Paulische quivalenzverbot. In: Zeitschrift fr Physik, 47, 1928, p. 631-51. JORDAN, P. & PAULI, W. Zur Quantenelektrodynamik ladungsfreier Felder. In: Zeitschrift fr Physik, 47, 1928, p. 151-73. KRAMERS, H. Die Wechselwirkung zwischen geladenen Teilchen und Strahlungsfeld. In: Nuovo Cimento (Srie antiga), 15, 1938, p. 108-14. LAKATOS, I. Falsification and the methodology of scientific research programmes. In: _______. The methodology of scientific research programmes. Cambridge, Cambridge University Press, 1978a, p. 8-101. _______. The methodology of scientific research programmes. Ed. de J. Worrale & G. Currie. Cambridge, Cambridge University Press, 1978b. LAMB, W. E. & RETHERFORD, R. C. Fine structure of the hydrogen atom by a microwave method. In: Physical Review, 72, 1947, p. 241-3. LAUDAN, L. Progress and its problems: towards a theory of scientific growth. Londres, Routledge & Kegan Paul, 1977. _______. Science and values: the aims of science and their role in scientific debate. Berkeley, University of California Press, 1984. _______. Progress or rationality? The prospects for normative naturalism. In: American Philosophical Quarterly, 24, 1987, p. 19-31. MANDL, F. & SHAW, G. Quantum field theory (Revised edition). Chichester, John Wiley & Sons, 1993.

179

Valter Alnis Bezerra MILLER, A. I. (ed.). Early quantum electrodynamics: a source book. Cambridge, Cambridge University Press, 1994. OPPENHEIMER, J. R. Note on the theory of the interaction of field and matter. In: Physical Review, 35, 1930a, p. 461-77. _______. On the theory of electrons and protons. In: Physical Review, 35, 1930b, p. 562-3. ORAIFEARTAIGH, L. (ed.). The dawning of gauge theory. Princeton, Princeton University Press, 1997. ORAIFEARTAIGH, L. & STRAUMANN, N. Gauge theory: historical origins and some modern developments. In: Reviews of Modern Physics, 72, 1, 2000, p. 1-23. PAULI, W. & FIERZ, M. Theory of the emission of long-wave light quanta. In: MILLER, A. I. (ed.). Early quantum electrodynamics: a source book. Cambridge, Cambridge University Press, 1994, p. 227-43. PICKERING, A. Constructing quarks: a sociological history of particle physics. Chicago, University of Chicago Press, 1984. PUTNAM, H. The logic of quantum mechanics. In: _______. Mathematics, matter and method: philosophical papers, volume I (Second edition). Cambridge, Cambridge University Press, 1979a, p. 174-97. _______. Mathematics, matter and method: philosophical papers, volume I (Second edition). Cambridge, Cambridge University Press, 1979b. QUINE, W. v. O. Two dogmas of empiricism. In: _______. From a logical point of view: nine logico-philosophical essays (Second, revised edition). Cambridge (Massachusetts), Harvard University Press, 1980a, p. 20-46. _______. From a logical point of view: nine logico-philosophical essays (Second, revised edition). Cambridge (Massachusetts), Harvard University Press, 1980b. SALAM, A. Weak and electromagnetic interactions. In: _______. Selected papers of Abdus Salam (with commentary). Singapura, World Scientific, 1994a, p. 244-54. _______. Selected papers of Abdus Salam (with commentary). Ed. de A. Ali; C. Isham; T. Kibble & Riazuddin. Singapura, World Scientific, 1994b. SALAM, A. & WARD, J. C. Electromagnetic and weak interactions. Physics Letters, 13, 1964, p. 168-71. SCHWEBER, S. S. QED and the men who made it: Dyson, Feynman, Schwinger, and Tomonaga. Princeton, Princeton University Press, 1994. SCHWINGER, J. Quantum electrodynamics. I. A covariant formulation. In: Physical Review, 74, 1948, p. 1439-61. _______. Quantum electrodynamics. II. Vacuum polarization and self energy. In: Physical Review, 75, 1949a, p. 651-79. _______. Quantum electrodynamics. III. The electromagnetic properties of the electron Radiative corrections to scattering. In: Physical Review, 76, 1949b, p. 790-817. _______. Preface. In: SCHWINGER, J. (ed.). Selected papers on quantum electrodynamics. Nova Iorque, Dover, 1958, p. vii-xvii. _______. (ed.). Selected papers on quantum electrodynamics. Nova Iorque, Dover, 1958. SHAW, R. Invariance under general isotopic spin transformations. In: ORAIFEARTAIGH, L. (ed.). The dawning of gauge theory. Princeton, Princeton University Press, 1997, p. 200-7. SOPCZAK, A. Higgs physics at LEP-1. In: Physics Reports, 359, 2002, p. 169-282. SOUZA, E. G. Multideductive logic and the theoretic-formal unification of physical theories. In: Synthese, 125, 2000, p. 253-62. tHOOFT, G. Renormalization of massless Yang-Mills fields. In: Nuclear Physics, B33, 1971a, p. 173-99. _______. Renormalizable lagrangians for massive Yang-Mills fields. In: Nuclear Physics, B35, 1971b, p. 167-88.

180

Racionalidade, consistncia, reticulao e coerncia...


tHOOFT, G. & VELTMAN, M. Regularization and renormalization of gauge fields. In: Nuclear Physics, B44, 1972a, p. 189-213. tHOOFT, G. & VELTMAN, M. Combinatorics of gauge fields. In: Nuclear Physics, B50, 1972b, p. 318-53. TOMONAGA, S. On a relativistically invariant formulation of the quantum theory of wave fields. In: Progress of Theoretical Physics, 1, 2, 1946, p. 27-42. _______. On infinite field reactions in quantum field theory. In: Physical Review, 74, 1948, p. 224. UTIYAMA, R. Invariant theoretical interpretation of interaction. In: ORAIFEARTAIGH, L. (ed.). The dawning of gauge theory. Princeton, Princeton University Press, 1997, p. 213-39. VAN DER WAERDEN, B. L. (ed.). Sources of quantum mechanics. Nova Iorque, Dover, 1968. WEINBERG, S. A model of leptons. In: Physical Review Letters, 19, 21, 1967, p. 1264-66. _______. The search for unity: notes for a history of quantum field theory. In: Daedalus, 106, 2, 1977, p. 17-35. _______. The quantum theory of fields. Volume I: foundations. Cambridge, Cambridge University Press, 1995. _______. The quantum theory of fields. Volume II: modern applications. Cambridge, Cambridge University Press, 1996. WEISSKOPF, V. On the self-energy and the electromagnetic field of the electron. In: Physical Review, 56, 1939, p. 72-85. _______. The self-energy of the electron. In: MILLER, A. I. (ed.). Early quantum electrodynamics: a source book. Cambridge, Cambridge University Press, 1994a, p. 157-68. _______. The electrodynamics of the vacuum based on the quantum theory of the electron. In: MILLER, A. I. (ed.). Early quantum electrodynamics: a source book. Cambridge, Cambridge University Press, 1994b, p. 206-26. WEYL, H. Gravitation and electricity. In: ORAIFEARTAIGH, L. (ed.). The dawning of gauge theory. Princeton, Princeton University Press, 1997a, p. 24-37. _______. Electron and gravitation. In: ORAIFEARTAIGH, L. (ed.). The dawning of gauge theory. Princeton, Princeton University Press, 1997b, p. 121-44. YANG, C. N. & MILLS, R. L. Conservation of isotopic spin and isotopic gauge invariance. In: ORAIFEARTAIGH, L. (ed.). The dawning of gauge theory. Princeton, Princeton University Press, 1997, p. 186-96.

181