M. Bunge As leis das leis fsicas [Laws of physical laws] Trad. V. A.

Bezerra

As leis das leis fsicas

[Laws of physical laws] Mario Bunge Publicado originalmente em: American Journal of Physics, v. 29, pp. 518-529, 1961 Traduo: Prof. Valter A. Bezerra Universidade Federal do ABC

ma das novidades mais excitantes na fsica recente a descoberta de que nem toda lei fsica invariante sob inverso espacial, i.e. que a lei da conservao da paridade no universalmente vlida. A despeito do impacto que essa descoberta teve na pesquisa em fsica e at mesmo na nossa viso geral (uma vez que envolve a distinguibilidade entre direita e esquerda em certos casos), existe margem para dvida sobre se a violao da paridade sempre compreendida com clareza o que no deveria nos parecer supreendente, uma vez que a frase faz referncia, de modo ambguo, a duas categorias bem distintas de objetos: os enunciados de leis e os fatos. Uma anlise do conceito de enunciado sobre enunciados de leis, como sendo algo distinto dos enunciados acerca de fatos, deve, portanto, ser til para esclarecer no apenas o estatuto lgico das proposies acerca da simetria, como tambm o seu significado fsico. O material a seguir, embora seja ilustrado principalmente com enunciados acerca de enunciados da fsica, transcende o mbito da filosofia da fsica: o conceito de lei to importante em todo o campo das cincias empricas como o a noo correspondente de metateorema nas cincias formais. 1. Enunciados de metaleis e enunciados metanomolgicos

Os textos cientficos contm tanto enunciados-objeto (p. ex. 2 + 3 = 5 [sic],1 A gua se expande ao ser congelada) como meta-enunciados (p. ex. A igualdade 2 + 3 = 5 um teorema da aritmtica ordinria, A lei A gua se expande quando congelada bem conhecida pelos encanadores). Enquanto os enunciados-objeto se referem aos objetos (sejam eles materiais ou no) dos quais trata a parte correspondente da linguagem, os metaenunciados dizem algo acerca de outros enunciados: eles no so signos dos objetos primrios, mas signos de signos; conseqentemente, os meta-enunciados pertencem metalinguagem. Uma subclase importante dos meta-enunciados constituda por aqueles que tratam de enunciados de leis, ou seja, leis cientficas. Os enunciados acerca de enunciados de leis podem ser denominados enunciados de metaleis. Eles podem falar sobre qualquer um dos problemas associados conjectura, processamento, teste ou aplicao de regularidades de qualquer tipo. Assim, os enunciados de metaleis podem se referir forma lgica dos enunciados de leis (p. ex. As leis estatsticas no consistem em implicaes de carter geral), aos mtodos adequados para se testar enunciados de leis (p. ex. As leis da fisiologia so testadas por meios fsico-qumicos), ao seu mbito de validade (p. ex. A lei da equivalncia entre massa e energia no se aplica aos campos), s suas propriedades de
Evidentemente, interessa a Bunge fornecer exemplos tanto de enunciados cientficos verdadeiros quanto de enunciados falsos. (N. do T.)
1

M. Bunge As leis das leis fsicas [Laws of physical laws] Trad. V. A. Bezerra

simetria (p. ex. As equaes de Maxwell so invariantes sob inverso espacial), e assim por diante. Alguns enunciados de metaleis ocorrem na linguagem ordinria, outros pertencem cincia, e alguns so de propriedade da metacincia. Em nenhum caso eles so leis da natureza ou leis da cultura: eles apenas se referem a enunciados que expressam, por sua vez, aquilo que se supe serem as leis objetivas da natureza ou da cultura. No que se segue, iremos concentrar nossa ateno em um tipo particularmente interessante e negligenciado de enunciados de metaleis: a saber, a classe dos enunciados legiformes 2 (ou nomomorfos) acerca de leis cientficas; isto , o conjunto das assertivas bem justificadas (ou, pelo menos, aceitas), que so de carter geral, em algum sentido e em alguma medida, e que se referem s leis cientficas. Os enunciados A lei da conservao da paridade no vale para as interaes fracas e As leis da hereditariedade esto baseadas nas leis da qumica so membros desse conjunto. Enunciados legiformes como esses diferem dos pronunciamentos casuais de metaleis no sentido de que os primeiros no especificam situaes particulares envolvendo o uso dos enunciados de leis (como, p. ex., em Os eletricistas empregam as leis de Kirchhoff), mas descrevem ou prescrevem caractersticas bsicas dos enunciados de leis. Sugeriu-se o nome enunciado metanomolgico para esta subclasse dos enunciados de metaleis; ele menos ambguo que o nome lei de leis porque as leis cientficas tambm podem ser consideradas como leis de leis se o termo lei, na sua segunda ocorrncia, for tomado como denotando um padro ou estrutura nmica objetiva. O nome enunciado metanomolgico tambm mais correto do que lei de leis porque, como veremos a seguir, nem todos os enunciados acerca de leis so, eles prprios, leis: nem todos eles so passveis de serem verdadeiros (pois alguns deles so normas ou prescries), embora todos eles sejam mais ou menos gerais e justificados. Porm claro que apenas por meio de uma conveno lingstica que ns atribumos designata diferentes a enunciado de metalei (a classe dos enunciados acerca de enunciados de leis) e enunciado metanomolgico (a subclasse prpria dos enunciados legiformes de metalei). Antes de prosseguir com o levantamento dos tipos de enunciados metanomolgicos, convm examinar um exemplo. Um bom exemplo o seguinte: A regio de validade das aproximaes simplificadoras, que toda teoria necessariamente precisa utilizar, sempre muito maior do que aquilo que poderia ser justificado por meios tericos. Este enunciado metacientfico no se refere natureza, mas sim a uma caracterstica universal das teorias cientficas quantitativas (sistemas de proposies dentre as quais os enunciados de leis desempenham um papel proeminente); mais especificamente, ele se refere ao desempenho das suposies auxiliares simplificadoras que so feitas em toda tentativa de se descrever um estado de coisas com a ajuda de enunciados de leis tericas, ou de explic-lo construindo um modelo terico simples o suficiente para ser desenvolvido. A frase citada abrange, alm disso, o desempenho das suposies simplificadoras envolvidas em qualquer enunciado nomolgico quantitativo digno desse nome. Como toda lei cientfica, o enunciado em foco transcende o conjunto das experincias singulares disponveis (relativas a tal desempenho) e assume o risco de afirmar que algo a saber, a regio de validade das aproximaes simplficadoras sempre maior do que aquilo que poderia ser esperado antes do teste experimental. Trata-se, portanto, de um enunciado metanomolgico duplamente universal. claro que nem todos os enunciados metanomolgicos possuem um escopo to amplo; todos eles so, porm, gerais em algum sentido e em alguma medida.

No original, lawlike (N. do T.)

M. Bunge As leis das leis fsicas [Laws of physical laws] Trad. V. A. Bezerra

Ora, nem todos os enunciados metanomolgicos so iguais: alguns so enunciados legiformes acerca do estatuto das leis cientficas, ao passo que outros so critrios ou, se se preferir, requisitos que freqentemente so impostos s leis. Na verdade, pode-se distinguir pelo menos trs tipos de enunciados metanomolgicos, os quais sero denominados enunciados metanomolgicos factuais, normativos e metodolgicos. Vamos examinar cada um desses tipos separadamente. 2. Enunciados metanomolgicos factuais Estes so enunciados sobre as propriedades, o desempenho (domnio de validade) ou a utilidade dos enunciados nomolgicos. Podem ser particulares ou universais, conforme se refiram a algumas leis ou a todas as leis que caracterizam um dado nvel ou subnvel da realidade. Porm os enunciados metanomolgicos factuais so todos gerais no sentido de que no se referem a instncias particulares de aplicao das leis cientficas. A proposio As leis da mecnica newtoniana so vlidas para corpos movendo-se a baixas velocidades no mbito macroscpico uma instncia de enunciado metanomolgico particular: particular porque se refere a um conjunto especfico de leis, mas universal no que diz respeito classe dos fatos para os quais essas leis so tidas como vlidas. Este mbito permanece aberto. Por outro lado, um enunciado metanomolgico como aquele que se referia ao domnio de aplicabilidade das aproximaes feitas nos enunciados de leis e nas suas conseqncias3 (ver a seo 1) universal tanto no que diz respeito ao escopo dos enunciados de leis como sua variedade. Outro enunciado metanomolgico de escopo universal : Todas as equaes diferenciais da cincia so derivveis a partir de princpios variacionais. Tambm As leis da histria so todas de carter estatstico um enunciado metanomolgico universal na medida em que se refere a todas as leis de um certo campo. Deve-se ter em mente que os enunciados metanomolgicos factuais no so leis da natureza ou da sociedade, mas sim afirmaes acerca de enunciados de leis. O enunciado As equaes de movimento so invariantes sob transformaes cannicas ilustra esse ponto com particular clareza. Em primeiro lugar, se ele for tomado como uma definio implcita da expresso transformaes cannicas, trata-se de uma proposio analtica. Em segundo lugar, as transformaes cannicas no so e no refletem processos tendo lugar na natureza, mas so apenas mudanas na nossa descrio ou representao de certos fenmenos fsicos, em p de igualdade com as mudanas na direo de observao. O fato de que um mesmo conjunto de fenmenos que obedecem a um dado conjunto de equaes de movimento possa ser representado de uma infinidade de maneiras equivalentes no uma caracterstica dos sistemas fsicos, mas sim uma caracterstica de uma das nossas descries deles. (Vale lembrar que so as solues das equaes bsicas da fsica que podem ser empregadas para descrever os fenmenos, e no as prprias equaes de movimento.) Assim, o enunciado metanomolgico acima nada mais do que uma assero (demonstrvel) acerca da linguagem que utilizamos para descrever um certo nvel da natureza: ele afirma, com efeito, que a relao fenmenosconstrutos no um-a-um, mas sim um-a-infinito. A inverso temporal coloca um problema semelhante: ele mais refratrio apenas de um ponto de vista psicolgico, devido s dificuldades envolvidas no conceito de tempo. Essa questo, j bastante discutida, pode ser consideravelmente esclarecida se a transformao t t nas equaes de movimento for considerada, no mais como algo que acontece no mundo
3

O original traz aqui conseqentes [consequents], um termo legtimo da lgica, porm o contexto sugere que se trata de conseqncias [consequences], tal como aparece em outras passagens do texto. (N. do T.)

M. Bunge As leis das leis fsicas [Laws of physical laws] Trad. V. A. Bezerra

exterior, mas sim como uma troca de sinal sem significado, semelhante s transformaes cannicas (e equivalente, na realidade, a uma transformao anticannica). Mesmo a inverso temporal de Wigner (uma inverso do tempo acompanhada por uma conjugao complexa) possui essa natureza formal, embora ela seja chamada algumas vezes de inverso temporal fsica, em contraste com a inverso temporal formal anterior. Na verdade, a inverso temporal de Wigner nos permite obter os movimentos invertidos das partculas e ondas; e esses movimentos de trs para a frente levam as partculas e ondas para o passado tanto quanto a projeo de um filme ao contrrio. No contexto da teoria das partculas elementares, a inverso temporal no significa o intercmbio entre passado e futuro, mas sim a inverso das velocidades e das correntes e isso tambm pode ser devido a uma mera mudana de ponto de vista ou representao. A invarincia de algumas variveis e relaes fsicas bsicas (p. ex. leis) sob inverso temporal no uma propriedade da realidade fsica, mas sim uma caracterstica de alguns construtos que foram inventados para a descrio e explicao dos fenmenos fsicos. Assim, quando dizemos que a invarincia sob inverso temporal (de Wigner) violada em certos processos das partculas elementares, queremos dizer que a hamiltoniana de interao que entra na teoria correspondente no invariante sob aquela operao conceitual. No contexto da mecnica newtoniana, podemos escolher descrever os fenmenos mecnicos quer empregando tempos crescentes quer utilizando tempos decrescentes, na medida em que as foras no forem de grau mpar nas velocidades; isso tem a ver com a nossa maneira de marcar o tempo, e no com o fluxo objetivo dos fenmenos. Do mesmo modo, no contexto da teoria eletrodinmica, podemos decidir contar o tempo de trs para a frente, e no para a frente; nesse caso, tudo o que temos que fazer inverter os sinais usuais dos campos e das correntes. Pode parecer um procedimento desajeitado, mas to legtimo quanto o procedimento usual. A teoria do eltron, tanto na sua forma clssica como na forma quntica, fornece outra ilustrao da natureza da inverso temporal ou melhor, da mudana de sinal da varivel t. Os psitrons podem ser descritos como se fossem eltrons indo para trs no tempo. Mas essa uma possibilidade da linguagem [in voce], no das coisas [de re]: ela no implica a possibilidade fsica de os eltrons visitarem o passado. Se o fizesse, ns teramos os meios para construir uma mquina do tempo e modificar o passado. Porm no podemos ir contra a correnteza dos eventos, no podemos desfazer aquilo que j aconteceu; tudo o que podemos fazer construir relgios que andam ao contrrio e formular teorias que so invariantes sob inverso temporal (ou sob inverso combinada de tempo e carga). Se o tempo nada mais fosse do que aquilo que lemos nos mostradores de relgios ideais sem atrito, no existiria flecha do tempo objetiva em cada sistema de referncia. A simetria combinada de tempo e carga das equaes de movimento no significa que o psitron meramente um eltron com o tempo prprio invertido; ela significa que, assim como as equaes da mecnica e da teoria do campo eletromagntico permitem uma infinidade de descries equivalentes dos fenmenos, assim tambm as equaes de movimento das partculas carregadas podem ser utilizadas para descrever certos processos qualitativamente diferentes sem fazer quaisquer modificaes nas equaes. Ocorre que uma das descries possveis do psitron a imagem especular, no tempo e na carga, da nossa descrio usual do eltron; longe de indicar uma simetria da natureza, isso mostra que as nossas equaes so ambivalentes. E tambm nos alerta para no confundirmos as propriedades dos sinais com as propriedades dos seus referentes.

M. Bunge As leis das leis fsicas [Laws of physical laws] Trad. V. A. Bezerra

Como se pode ver, o mero fato de estar cnscio da existncia dos enunciados metanomolgicos constitui um lembrete eficaz de que nem todo enunciado cientfico se refere aos fatos. Vamos agora aplicar as distinies elaboradas at aqui ao problema da inverso espacial. 3. Aplicao: a no-conservao da paridade Sugeriu-se em 1956 o supreendente enunciado metanomolgico de que a lei da conservao da paridade poderia no valer para certos processos fsicos, tais como o decaimento beta de ncleos atmicos e mons. Ora, quando ouvimos dizer que a paridade no conservada nas interaes que se supe levarem a processos desse tipo, devemos distinguir trs significados diferentes, ligados respectivamente a: (1) a metateoria, (2) os enunciados de nvel superior da teoria, (3) os enunciados de nvel inferior da teoria. No nvel metacientfico, o enunciado em questo pode ser formulado assim: A hiptese (tcita) de que a lei da conservao da paridade (ou invarincia sob inverso espacial) universalmente vlida deve ser abandonada. Com relao ao nvel mais alto da teoria (aquele onde os axiomas ocorrem), a expresso no-conservao da paridade significa que a hamiltoniana de campo que aparece nas equaes bsicas pelas quais esses processos so explicados no invariante sob reflexes espaciais. Tambm neste caso, o que est em jogo , claramente, um metaenunciado, e no necessrio nenhum experimento para test-lo, uma vez que sele se refere a uma propriedade matemtica da hamiltoniana; o experimento necessrio para decidir entre hamiltonianas alternativas com diferentes propriedades de simetria. Se descermos dos enunciados de nvel mais alto da teoria para as suas conseqncias empiricamente testveis, encontraremos, entre outras, a frmula para a distribuio angular das partculas emitidas no decaimento beta. Essa frmula de nvel mais baixo uma descrio dos fenmenos: um enunciado-objeto. Se acontecer de essa frmula no ser invariante de paridade (p. ex. porque ela contm uma quantidade pseudo-escalar, tal como p), teremos que distinguir: (a) enunciados acerca das propriedades matemticas de simetria da frmula em questo (que no sero invariantes sob reflexes espaciais se a lei-me no for, ela mesma, invariante); (b) enunciados acerca do significado fsico da frmula-filha. esta ltima que confrontada com os dados experimentais, os quais apresentam uma notvel assimetria na distribuio angular dos eltrons emitidos. Por outro lado, os enunciados acerca das propriedades matemticas das frmulas de baixo nvel so enunciados metanomolgicos, cujo valor de verdade pode ser determinado por operaes com lpis e papel. O processo real de testar meta-enunciados acerca das propriedades de invarincia das leis fundamentais , ento, o seguinte: (1) formula-se uma hamiltoniana que contm tanto termos P-invariantes como termos P-no-invariantes em propores desconhecidas; (2) derivam-se matematicamente conseqncias experimentalmente testveis a partir do enunciado de lei que contm a hamiltoniana sugerida; (3) projetam-se experimentos para testar algumas conseqncias novas, porm tpicas, da hiptese bsica; (4) so projetadas e executadas as observaes e medidas correspondentes (p. ex. da distribuio angular dos eltrons emitidos por ncleos alinhados de Co60); (5) os resultados experimentais so comparados com as predies tericas; (6) os parmetros (acoplamentos) que aparecem na lei bsica (e, especificamente, na hamiltoniana contida na equao de onda), e que reaparecem na frmula de baixo nvel para a distribuio angular, so ajustados s descobertas experimentais.

M. Bunge As leis das leis fsicas [Laws of physical laws] Trad. V. A. Bezerra

O processo de validar os enunciados metanomolgicos acerca das propriedades de simetria das leis bsicas , portanto, puramente analtico; somente o processo de validar as prprias leis bsicas, que so enunciados-objeto, que requer procedimentos empricos. Os primeiros no descrevem os fatos; os fatos so relevantes apenas para o teste dos referentes dos enunciados metanomolgicos, i.e. os enunciados-objeto de leis. Os enunciados metanomolgicos sobre as propriedades de simetria das leis cientficas so apenas assertivas acerca das propriedades de smbolos; eles no tm uma contraparte emprica direta e podem conter termos que no possuem definio operacional. Assim, a propriedade denominada paridade intrnseca (das funes de estado) no possui nem um anlogo clssico nem um significado intrnseco, donde se segue que ela no pode ser considerada como uma propriedade fsica em p de igualdade com a massa ou o tempo de decaimento. Na verdade, a paridade intrnseca uma propriedade matemtica das funes de onda, e no uma propriedade fsica dos sistemas materiais, do mesmo modo que o fato de ser hemitiano uma propriedade formal dos operadores. A paridade intrnseca dos estados dos sistemas fsicos no pode ser medida separademente da teoria que os descreve: deve-se assumir primeiro uma equao de onda definida. Se, para fins didticos, forem necessrios anlogos familiares para a conservao e a no-conservao daquele operador tipicamente quntico denominado paridade, deve-se busc-las em consideraes outras, que no aquelas referentes s simetrias nas coisas ou nos fenmenos; pois o que as interaes fracas violam uma hiptese relativa a uma propriedade de smbolos fsicos no-representacionais, que agem como funes fonte, a partir das quais se podem derivar smbolos representacionais, tais como a intensidade das emisses de partculas. Vejamos a seguir o que pode ser uma analogia adequada para a violao da paridade. Seja R a propriedade de uma varivel fsica ser real no sentido matemtico. Com relao a muitos processos R conservada, i.e. se a varivel era inicialmente real, ela continua sendo real o tempo todo; porm alguns processo envolvem a violao da realidade. Exemplos de no-conservao de R so: (a) se um solenide for acrescentado a uma resistncia hmica num circuito eltrico, a impedncia total4 se torna um parmetro complexo; (b) na passagem de raios X do vidro para o ferro, o ndice de refrao do meio passa de um nmero real para um nmero complexo; (c) no espalhamento de projteis atmicos por ncleos atmicos, h um ponto no qual o potencial de espalhamento, que real a baixas energias, passa a ser complexo. Em todos os casos acima, dizer que R violada significa dizer que a descrio de certos processos requer a substituio de uma varivel real por uma varivel complexa porque ocorre um novo fenmeno (induo no primeiro caso, e absoro nos dois ltimos), para cuja descrio se necessita uma nova varivel complexa.5 O significado fsico da frase R violada deve, ento, ser procurado nos enunciados-objeto que descrevem esses novos fenmenos, dos quais a hiptese da R-invarincia no d conta. O caso da P-invarincia semelhante, mas um pouco mais um pouco mais complicado do que o seu anlogo em termos de R-invarincia. Na verdade, no enunciado ambguo a paridade no conservada nas interaes fracas, esto envolvidos dois conceitos de paridade: (a) uma propriedade analtica das funes de estado, que so construtos que se referem realidade de uma maneira extremamente indireta; (b) uma
O original traz aqui a resistncia total [the total resistance], provavelmente um engano que escapou reviso, uma vez que, nos circuitos eltricos, a resistncia sempre real, sendo a impedncia que pode ser complexa, caso tambm esteja presente no circuito uma reatncia capacitiva ou resistiva (que sempre imaginria). (N. do T.) 5 O original traz aqui uma nova varivel real [a new real variable]. (N. do T.)
4

M. Bunge As leis das leis fsicas [Laws of physical laws] Trad. V. A. Bezerra

propriedade de certos processos fsicos (p. ex. o decaimento beta). No primeiro caso, o enunciado em foco se refere s leis que se supe descreverem o fenmeno em questo: ele , portanto, um meta-enunciado e, mais especificamente, um enunciado enunciado metanomolgico, visto que, em vez de dizer respeito a uma instncia particular, ele descreve uma caracterstica bsica das leis envolvidas na descrio terica das interaes fracas. No segundo caso, o enunciado sobre a no-conservao da paridade se refere a certos fenmenos descritos pelo enunciado de lei em questo, e portanto um enunciado-objeto. Pode-se extrair vrias morais da histria da violao da paridade. (1) Pode-se evitar muita confuso se a ambigidade for reduzida enunciando-se cuidadosamente o que deve ser considerado como simtrico (ou invariante) em um certo sentido: as coisas (p. ex. os corpos), os fenmenos (p. ex. a emisso de partculas), as propriedades dos sistemas ou fenmenos (p. ex. distribuio angular), os termos tericos ligados mais ou menos estreitamente s propriedades (p. ex. as hamiltonianas de interao), os enunciados de leis bsicas6 (p. ex. equaes de movimento), ou, finalmente, os enunciados de leis derivadas que podem ser testadas pelo experimento (p. ex. frmulas nas quais ocorrem tanto a direo de movimento como o sentido de rotao do spin). Quando se discute as simetrias (ou invarincias), tal indicao explcita deveria bastar para determinar se o que se tem em mente so os enunciados-objeto ou os meta-enunciados. (2) Embora os nossos retratos da realidade sejam controlados por meio do experimento e da observao, os enunciados sobre enunciados que ocorrem nesses retratos no descrevem, eles mesmos, os fatos; em particular, os enunciados metanomolgicos, sejam eles factuais ou no, definitivamente no so diretamente descritivos. (3) As suposies mais perigosas da cincia (talvez as nicas) so aquelas feitas tacitamente, como acontecia com o enunciado metanomolgico todas as leis fsicas so invariantes sob inverso espacial. Essa suposio generalizante, uma inferncia indutiva, impediu vrios desenvolvimentos tericos durante trinta anos, tais como experimentar hamiltonianas de interao no-P-invariantes, e desenvolver a teoria do neutrino de duas componentes, a qual fora esboada e abandonda em 1929, por no ser invariante de paridade. (4) O bvio s vezes est errado, e os enunciados nomolgicos e metanomolgicos mais confiveis podem falhar em algum domnio; todos eles continuam sendo hipteses, mesmo aps repetidos testes favorveis. 4. O valor de verdade dos enunciados metanomolgicos factuais de tipo analtico Admitindo-se que existem enunciados metanomolgicos, surge agora a questo de se eles podem ser verdadeiros, e quando. Depois de estabelecer que um enunciado pode ser verdadeiro um problema sinttico e semntico , podemos perguntar como ele testado uma questo metodolgica , e, finalmente, se ele de fato verdadeiro, dentro de uma boa aproximao um problema cientfico. Parece claro que os enunciados metanomolgicos factuais, que tm a forma As leis L possuem a propriedade F, podem ser verdadeiros. Sempre podemos decidir, pelo menos em princpio, se um dado conjunto de enunciados (sejam eles nomolgicos ou no) possui a propriedade atribuda a ele por outro enunciado, contanto que tanto os enunciados-objeto como o meta-enunciado sejam bem formados e no possuam termos demasiado vagos (tais como significativo ou simples).

O original traz aqui basic low statements em vez da expresso que seria de se esperar, i.e. basic law statements, provavelmente por um simples erro de reviso. (N. do T.)

M. Bunge As leis das leis fsicas [Laws of physical laws] Trad. V. A. Bezerra

Consideremos o notvel recm-chegado que o teorema de paridade combinada de Luders-Pauli, o qual pode ser formulado da seguinte maneira: Se uma teoria de campo local invariante de Lorentz, ento ela tambm invariante sob inverso combinada de carga (C), tempo (T) e paridade (P). (Na realidade T representa a inverso temporal combinada com conjugao complexa.) Primeiro, vamos nos certificar se esse enunciado representa uma lei da natureza. primeira vista, o teorema CPT trata de certas operaes conceituais (inverter os sinais das cargas e das coordenadas espao-temporais), que podem ser efetuadas sobre as frmulas que expressam as leis da natureza que se supe (caridosamente) que sejam reproduzidas num nvel fundamental pelas equaes bsicas. No se v os ncleons, eltrons e outras entidades (que tentamos descrever por meio das teorias de campo) viajando para o passado, ou invertendo as direes dos seus movimentos, ou se transmutando espontaneamente nas suas antipartculas, somente porque decidimos registrar o tempo, as coordenadas de posio e os valores das cargas antes positivos como sendo negativos. Nas operaes de inverso de CPT est envolvida apenas uma mudana no modo de descrio. claro que as inverses de sinal envolvidas no teorema CPT no se referem aos fenmenos descritos pelas teorias de campo, mas sua descrio feita com o auxlio de tais construtos: o teorema afirma que a descrio dos fenmenos de partculas elementares pode ser feita de duas formas equivalentes, uma das quais a imagem especular da outra. Na realidade, o teorema nada afirma sobre as simetrias encontradas nos fenmenos, que so descritos atravs das solues das equaes bsicas. O teorema CPT um enunciado sobre certas simetrias (ou invarincias) encontradas nos enunciados de leis bsicas; essas simetrias reaparecem em algumas das conseqncias7 de baixo nvel das equaes bsicas: ele , portanto, um enunciado metanomolgico, mesmo que possa ser tomado por um enunciadoobjeto e, em particular, por uma lei da natureza. O que verdadeiro que um outro enunciado de metalei, mais prontamente compreensvel, pode ser inferido a partir do teorema CPT, tomado em conjuno com a hiptese adicional de uma invarincia separada em T, mais a definio de antimatria (composta por eltrons positivos, antiprtons, etc) a saber, A antimatria obedece s mesmas leis que a matria. Est claro que esse tambm um metaenunciado: ele se resume afirmao de que a antimatria (que nome infeliz!) no requer (por enquanto) a inveno de novas teorias, uma vez que as teorias relativsticas disponveis so bivalentes; elas funcionam tanto para o mundo usual como para o seu dual. A propsito, note-se a analogia desse enunciado de metalei com os princpios de dualidade em matemtica (p. ex. na geometria projetiva); eles tambm so metateoremas e permitem economizar trabalho. Por que se diz que o teorema CPT funciona? Os experimentalistas no o colocaram sob teste. O que eles submeteram ao experimento so os enunciados-objeto aos quais referese o teorema CPT. Como eles poderiam testar o teorema CPT no laboratrio, se ele no fala sobre os fenmenos, mas sim, basicamente, sobre os modos de descrio? Tentar fazer o teste emprico do teorema de paridade combinada seria como tentar provar, pelo experimento, que qualquer conjunto dado de equaes de movimento pode ser derivado a partir de uma infinidade de lagrangianas, que diferem entre si apenas pela divergncia de um vetor arbitrrio. Qualquer verdade que exista no teorema CPT decorre de procedimentos puramente matemticos: ele uma proposio analtica. Isso no significa que ele seja um enunciado arbitrrio: afinal, ele se refere a enunciados-objeto que so empiricamente testados. Assim, o teorema permance ou cai [will stand or fall] juntamente com o restante da teoria, isto , em
7

Ver a explicao dada na nota 3 (N. do T.)

M. Bunge As leis das leis fsicas [Laws of physical laws] Trad. V. A. Bezerra

ltima anlise, em virtude da evidncia emprica, mesmo que ele no seja testado pelo experimento. Como segundo exemplo de enunciado metanomolgico analtico, considere o princpio heurstico Todas as leis fsicas so derivveis a partir de princpios variacionais, que fundamenta o convite para se descobrir enunciados de alto nvel, de grande poder unificador, em todos os ramos das cincias fsicas. Esse enunciado verdadeiro em relao quela importante subclasse dos enunciados de leis fsicas que podem receber a forma de equaes diferenciais (uma vez que toda equao variacional implica uma ou mais equaes diferenciais). Porm fato que as equaes integrais e ntegro-diferenciais no podem ser derivadas desse modo, e contudo necessitamos delas para a descrio dos fenmenos hereditrios. Portanto, o enunciado metanomolgico acima, tal como est, no totalmente adequado; em vez disso, ele deveria ser reformulado para ficar: Todos os enunciados exprimveis como equaes diferenciais so derivveis a partir de princpios variacionais. E, desta forma, a sua natureza sinttica ou formal fica aparente: uma verdade metamatemtica, e portanto uma proposio analtica. Ela pode funcionar como uma regra para guiar a pesquisa, mas a sua veracidade independe de qualquer suposio fsica. Conclumos que alguns enunciados metanomolgicos factuais so justificados por operaes puramente lgicas ou formais; conseqentemente, deveramos cham-los de enunciados metanomolgicos analticos. 5. O tipo sinttico de enunciado metanomolgico factual Outros enunciados metanomolgicos no se enquadram to bem nas teorias cientficas ou matemticas quanto os enunciados metanomolgicos analticos; eles no podem ser demonstrados, embora possam ser justificados a posteriori. Esse o caso dos enunciados metanomolgicos que funcionam como postulados de uma teoria. Considere o princpio da covarincia geral, um postulado da relatividade geral. Ele pode ser formulado de vrias maneiras, mais ou menos eqipolentes: s vezes como um enunciado-objeto, ocasionalmente como um meta-enunciado, e freqentemente de maneira ambgua. Um exemplo do primeiro tipo de formulao : Todos os sistemas de coordenadas transformveis mutuamente atravs transformaes ponto-a-ponto arbitrrias [arbitrary point transformations] so fisicamente equivalentes. Por outro lado, As equaes que expressam leis fsicas bsicas so invariantes na forma [form invariant] com respeito a transformaes contnuas gerais de coordenadas claramente um enunciado metanomolgico. Ainda outras formulaes podem ser interpretadas de qualquer um dos modos, por conterem a frase leis da natureza,8 que pode designar tanto um padro objetivo (caso em que est em jogo um enunciado-objeto) quanto um enunciado nomolgico caso em que estamos diante de um enunciado metanomolgico. Exemplos de tal ambigidade so: As leis da natureza no dependem de nenhum sistema de referncia privilegiado, As leis das natureza valem para sistemas de referncia em qualquer tipo de movimento, e As leis da natureza no dependem do sistema de referncia do observador. A justificativa para se afirmar enunciados metanomolgicos desse tipo est nos frutos que eles trazem, i.e. no xito dos enunciados-objeto a que eles se referem; esse xito, por sua
8

O original traz laws and nature em vez de laws of nature, provavelmente por falha de reviso. As frases seguintes do texto no deixam dvida que a segunda forma que deve ser preferida. (N. do T.)

M. Bunge As leis das leis fsicas [Laws of physical laws] Trad. V. A. Bezerra

vez, medido, claro, pela quantidade de predies verdadeiras e explicaes abrangentes originadas pelo enunciado-objeto (em conjuno com outros enunciados de leis e com pedaos de informao emprica). Sendo um axioma de uma teoria factual, o princpio da covarincia geral, na sua roupagem metanomolgica, bem pode ser corrigido ou at abandonado, embora, no momento atual, uma mudana radical nele parea ser improvvel, devido ao seu profundo importe filosfico, na medida em que ele afirma, entre outras coisas, que as leis-objeto da fsica so independentes do observador (da estarem fadadas ao fracasso as tentativas de interpretar a teoria da relatividade em termos operacionalistas). Pode-se dizer algo semelhante em relao a outro enunciado metanomolgico bsico, a saber, As teorias de campo corretas so invariantes de gauge, que tambm pode ser formulado de uma maneira dentica, que esta: As teorias de campo devem ser invariantes de gauge. Note em primeiro lugar que aquilo que se requer que seja invariante sob certas transformaes so as teorias, e em particular os seus enunciados bsicos, as equaes de campo fundamentais ou os princpios variacionais que as originam; no os campos, mas sim as equaes de campo que devem ser invariantes sob certas mudanas nas variveis de campo (potenciais ou funes de onda). Note ainda que, desse modo, asseverado que h infinitas descries alternativas, equivalentes entre si, para cada conjunto de fatos. (Isso compatvel com a interpretao segundo a qual as funes submetidas s transformaes de gauge, i.e. os potenciais eletromagnticos, no possuem significado fsico independente, no contexto da teoria de campos no vcuo [free field theory], mas so funes-fonte a partir das quais se pode derivar as funes com significado fsico, como as intensidades de campo. Os potenciais adquirem um significado fsico nas teorias hamiltonianas de partculas com carga, onde se pode ver que eles contribuem para o momento da partcula.) Parece claro, ento que o princpio de invarincia de gauge um enunciado metanomolgico. certo que ele no um mandamento arbitrrio: ns o aceitamos porque a sua violao teria conseqncias falsas, pelo menos na eletrodinmica. Com efeito, a noinvarincia9 das equaes do campo eletromagntico com respeito s transformaes de gauge iria implicar: (a) a no-conservao da carga eltrica, o que contradiz as melhores evidncias empricas; (b) a existncia de uma massa do fton, o que contradiz tanto as evidncias empricas quanto a teoria da relatividade restrita (a despeito dos muitos textos que atribuem uma massa ao fton em virtude do teorema de equivalncia entre massa e energia, que deduzido na mecnica relativstica de partculas). Em resumo, os enunciados metanomolgicos factuais so hipteses a serem validadas, em ltima anlise, pelo experimento e pela sua concordncia com princpios metacientficos aceitos (p. ex. princpios epistemolgicos): eles no so simplesmente sentenas sintticas do tipo O termo lei um nome universal. Tampouco eles so diretamente testveis no laboratrio: os enunciados metanomolgicos factuais, se no forem analticos, so hipteses confirmadas ou infirmadas atravs do desempenho dos enunciados-objeto das leis s quais eles se referem. 6. Enunciados metanomolgicos normativos Estas so condies extralgicas e extra-epistemolgicas impostas aos enunciados das leis, e funcionam como regras que restringem as suas possveis escolhas. O representante mais bem
O original traz aqui nonconservation, porm em portugus estamos acostumados a atribuir a conservao ou no-conservao somente s grandezas, e a invarincia ou no-invarincia s equaes. (N. do T.)
9

10

M. Bunge As leis das leis fsicas [Laws of physical laws] Trad. V. A. Bezerra

conhecido desse tipo de enunciado de alto nvel , provavelmente, o princpio da relatividade restrita, a saber: As leis do movimento devem ser as mesmas em todos os referenciais em movimento de translao uniforme uns em relao aos outros. Os enunciados metanomolgicos normativos no so requsitos de tipo filosfico, como a condio lgica (e controversa) de que todos os enunciados de leis devem ser implicaes gerais da forma Para todo x, se x um F, ento x um G, ou como o requisito epistemolgico (e igualmente controverso) de que todos os enunciados de leis devem conter somente predicados diretamente observveis. A colocao e a discusso dos enunciados metanomolgicos normativos geralmente feita pelos cientistas, no pelos filsofos; alm do mais, certos princpios regulativos desse tipo com freqncia constituem os principais focos de luz de que se valem os fsicos para construir as teorias, especialmente na pesquisa de ponta.

11