Publicado em Cadernos de Histria e Filosofia da Cincia, Srie 3, 2 (2): 141-164, 1992.
Implicaes filosficas da microfsica
1
SILVIO SENO CHIBENI Departamento de Filosofia - IFCH Universidade Estadual de Campinas
Resumo: Este artigo apresenta uma viso geral da discusso atual em torno das implicaes filosficas da microfsica, em um nvel acessvel ao pblico no-especializado. Elucida-se o papel preciso do realismo cientfico nessa questo, apontando-se algumas confuses comuns a esse respeito. Indica-se que, dados certos resultados recentes nos fundamentos da fsica, a adoo daquela posio filosfica descortina desafiadores horizontes de investigao.
Abstract: This paper presents an introductory, non-technical survey of the much-debated issue of the philosophical implications of microphysics. Some frequent misunderstandings about the precise role of scientific realism in this discussion are dispelled. It is pointed out that, given certain recent results in the foundations of physics, the adoption of this philosophical position opens up broad fields of investigation. 1. Introduo
bem sabido que mesmo aps a cincia e a filosofia haverem assumido identidades mais ou menos distintas, a partir da era moderna, elas no cessaram de todo de se influenciar mutuamente. Um exemplo significativo o papel desempenhado pela crena universal na dinmica newtoniana no desenvolvimento da filosofia de Kant. Tambm visvel a influncia da concepo mecanicista do mundo, inerente s teorias clssicas e relativistas, nas doutrinas de vrios filsofos modernos e contemporneos. Parece haver acordo entre os filsofos que apreciaram de perto certos desenvolvimentos recentes na microfsica de que eles criaram uma situao sem precedentes na histria das conexes entre a cincia e a filosofia. O carter sui generis
1 Texto apresentado no Encontro de Filosofia Analtica Comemorao do Centenrio de Nascimento de Rudolf Carnap, realizado em Valinhos, de 1 a 5 de setembro de 1991, organizado conjuntamente pelo Departamento de Ps-Graduao em Filosofia da PUCCAMP, Departamento de Filosofia da PUC-RJ e Departamento de Filosofia da UFRJ. Gostaria de agradecer aos organizadores desse evento pelo convite que me foi feito para realizar esta palestra, assim como ao Professor Michel Ghins, da Universidade Catlica de Louvain, por haver lido a penltima verso deste artigo e feito sugestes que contriburam para aprimorar a sua apresentao. 1 2 dessa situao liga-se parcialmente ao fato de que no se trata de implicaes filosficas de mais uma teoria fsica. Infelizmente, os termos em que essa discusso comumente se trava fala-se freqentemente em conseqncias filosficas da mecnica quntica, por exemplo induzem a esse engano. Se tal fosse o caso, estaramos diante de mais um episdio como tantos outros, e seu interesse estaria limitado pela necessria vulnerabilidade de qualquer teoria fsica. Por mais difcil que seja crer nisto primeira vista, um fato inegvel que investigaes inusitadas forneceram evidncia emprica quase direta contra certas concepes extremamente gerais e bsicas acerca do mundo, que sempre fizeram parte das teorias fsicas (com exceo da mecnica quntica) e do senso comum. Embora alguns dos resultados principais surpreendentemente estejam ao alcance de um pblico culto no-especializado, naturalmente este no o lugar para reproduzi-los, ainda que em suas linhas gerais. Este assunto apresenta desdobramentos extremamente variados e complexos, que ocupam a maior parte da literatura em filosofia e fundamentos da fsica das trs ltimas dcadas, e sua explorao parece estar ainda em sua fase inicial. Tentarei aqui oferecer uma idia geral, necessariamente incompleta e simplificada, dessa discusso.
2. Primrdios da discusso contempornea
Os problemas comearam com o advento da mecnica quntica, nossa teoria fundamental da estrutura da matria. Apesar de sua enorme abrangncia e preciso emprica, essa teoria representa, por suas caractersticas conceituais e estruturais, um srio desafio intuio fsica ordinria. Os conceitos clssicos fundamentais sobre a natureza da matria e do espao-tempo nela no encontram aplicao imediata e irrestrita, o que tem obstado elaborao de uma ontologia compatvel com as relaes inter-fenomnicas previstas pela teoria e admiravelmente corroboradas pela experincia. Em conseqncia, essa teoria prima facie no se amolda a uma interpretao realista, o que aparentemente a singulariza entre todas as demais teorias fsicas de todos os tempos. Esse fato, que se tornou evidente desde a criao da teoria, na segunda metade da dcada de 20, acarretou aquilo que Popper denominaria de um cisma na fsica, em um dos volumes do Posfcio de seu The Logic of Scientific Discovery especificamente destinado a tratar da questo da mecnica quntica (Popper 1982). Entre os prprios pais da teoria estabeleceu-se a diviso entre aqueles que acreditavam que a referida caracterstica da mecnica quntica indica que ela no pode constituir uma descrio completa da realidade (Einstein, Schrdinger, o jovem e o velho de Broglie), e os que mantinham que aquela caracterstica indica, ao contrrio, a necessidade de revises profundas em vrias de nossas mais fundamentais concepes fsicas e filosficas (Bohr, Heisenberg, Dirac, Born, Pauli, Jordan). 3 Um acalorado e duradouro debate estabeleceu-se. Argumentos diversos para as mais variadas teses foram apresentados por seus principais protagonistas, destacando-se, por sua ampla repercusso, os argumentos de Einstein, Podolsky e Rosen (EPR) e o do gato de Schrdinger, ambos apresentados em 1935. 2 A cogncia desses argumentos forou os adversrios a buscarem refgio em inesperadas e, no raro, bizarras posies fsicas e filosficas. Livros-texto, artigos e conferncias sobre a teoria quntica via de regra abrem espao para discusses ditas epistemolgicas. Apesar da obscuridade, e mesmo da precariedade, da maior parte dessas discusses pretensamente filosficas, a opinio professada da grande maioria dos fsicos rapidamente deslocou-se para alguma forma de oposio ao pensamento clssico, que, remando contra a mar, Einstein defendeu at o fim de sua vida. Costuma-se dizer que a comunidade dos fsicos se aglutinou em torno da chamada Interpretao Ortodoxa, ou de Copenhague, da mecnica quntica, desenvolvida sob a liderana de Bohr. Esta afirmao , porm, enganosa, em um certo sentido, dado que uma anlise cuidadosa revela uma grande heterogeneidade de vistas entre os supostos proponentes dessa interpretao. E mais: as concepes do prprio Bohr esto longe de constituir um conjunto homogneo ou mesmo consistente de teses (pelo menos at onde seus escritos podem ser compreendidos). No entanto, um ponto comum parece existir: a seduo, pelo menos em alguns momentos, por alguma forma de anti-realismo. Simpatizo com a tese de que tais concesses anti-realistas raramente so efetivamente levadas em conta quando os cientistas esto fazendo hard work. Todavia, acredito que a predominncia dessas opinies nas discusses de fundamentos teve um efeito inibidor importante sobre as pesquisas em fsica. Embora aparentemente o movimento positivista lgico, que vivia seu apogeu quando a mecnica quntica se desenvolveu, tenha exercido alguma influncia no estabelecimento da posio ortodoxa, as formas de anti-realismo que nela comparecem no se identificam com o redutivismo positivista estrito. Encontramos, sim, elementos tipicamente instrumentalistas, como bem ilustra esta frase de Bohr em seu artigo no volume editado por Schilpp em homenagem a Einstein (Bohr 1949, p. 238): ... a interpretao fsica apropriada do formalismo simblico da mecnica quntica resume- se [amounts to] apenas em predies, de carter determinado ou estatstico, relativas a fenmenos indivisveis que aparecem sob condies definidas por conceitos da fsica clssica. Tambm encontramos declaraes que pendem para formas de anti-realismo mais radicais, de tipo idealista. Vejamos alguns exemplos importantes. Ficou famoso este trecho da rplica de Bohr a Einstein, Podolsky e Rosen (Bohr 1935, pp. 696-7):
A aparente contradio [apontada por EPR] na verdade revela apenas uma inadequao essencial do ponto de vista usual da filosofia natural para um tratamento racional dos
2 Einstein, Podolsky & Rosen 1935; Schrdinger 1980. 3 4 fenmenos fsicos do tipo dos que nos ocupamos na mecnica quntica. De fato, a interao finita entre objeto e agentes de mensurao, condicionada pela prpria existncia do quantum de ao, acarreta ... a necessidade de uma renncia final do ideal clsico de causalidade e uma reviso radical de nossa atitude com relao ao problema da realidade fsica. Em 1949, comentando esse seu artigo, Bohr esclarece um pouco mais o sentido em que fala em reviso radical de nossa atitude com relao ao problema da realidade (Bohr 1949, p. 234): Lendo essas passagens, estou plenamente consciente da ineficincia de expresso que h de ter tornado muito difcil apreciar o fluxo da argumentao que visa a apontar a ambigidade essencial envolvida ao se fazer referncia a atributos fsicos de objetos quando se lida com fenmenos onde nenhuma distino ntida pode ser feita entre o comportamento dos prprios objetos e suas interaes com os instrumentos de observao. J em um artigo de 1933 encontramos a seguinte afirmao de Bohr, que indica, de maneira inequvoca, um certo compromisso com uma forma de subjetivismo idealista (Bohr 1933, p. 423): Do mesmo modo que o conceito de relatividade geral expressa a dependncia essencial dos fenmenos fsicos com relao ao sistema de referncia usado para sua co-ordenao no espao e no tempo, assim tambm a noo de complementaridade serve para simbolizar a limitao fundamental, encontrada na fsica atmica, de nossa idia enraizada dos fenmenos como existindo independentemente dos meios pelos quais so observados. De teor semelhante so algumas das declaraes de Heisenberg. Em seu livro The Physical Principles of Quantum Theory (1949), ele sustenta (p. 2) que as dificuldades da teoria quntica prendem-se exatamente ao fato de no obedecer exigncia tradicional da cincia de diviso do mundo em sujeito e objeto (observador e observado). Lembrando que a teoria da relatividade levou a uma reviso de nossas concepes de espao e de tempo, Heisenberg afirma, mais abaixo (p. 65): Do mesmo modo, agora til revisar as discusses fundamentais, to importantes para a epistemologia, da dificuldade de separar-se os aspectos subjetivos e objetivos do mundo. Muitas das abstraes que so caractersticas da moderna fsica terica podem ser encontradas nas discusses filosficas dos sculos passados. Naquela poca, essas abstraes podiam ser ignoradas como meros exerccios mentais pelos cientistas cuja nica preocupao era a realidade; hoje, porm, somos forados a consider-las seriamente pelos refinamentos da arte experimental. E Putnam, em um artigo de sua fase ps-realista, prope que as dificuldades dos fundamentos da mecnica quntica sejam resolvidas pela adoo de uma lgica quntica juntamente com sua forma de anti-realismo (internal realism), que acarreta a relativizao da realidade: Relativamente a este observador, estas propriedades so `reais; ... mas relativamente a um outro observador outras propriedades seriam `reais. ... [Rejeito] a idia de Einstein de um detached observer. H entidades reais, mas quais so elas relativo ao observador. (Putnam 1983, pp. 262 e 269.) 5 As caractersticas da mecnica quntica que deram margem a tais posies anti- realistas tambm tm sido apontadas como relevantes para uma vasta srie de problemas filosficos ou de fundamentos da cincia, quais sejam: determinismo e causalidade, livre- arbtrio e tica, problema mente-corpo, conscincia, holismo, relaes no-supervenientes, individuao de objetos, explicao cientfica, lgica quntica, vida, espao-tempo, etc. Antes de fornecer um breve sumrio da histria dos resultados recentes que em um sentido importante mostraram que qualquer teoria empiricamente adequada deve necessariamente incorporar parte dos elementos da mecnica quntica que levaram a essas alegaes, vejamos algo sobre a situao da prpria mecnica quntica.
3. A situao na mecnica quntica
Como est implcito no que j disse, no cerne das discusses sobre os fundamentos da mecnica quntica est o problema de sua aparente incompletude. importante enfatizar que, pelo menos a partir de 1930, nunca esteve em questo a correo emprica da teoria, ou seja, ningum forneceu argumentos para mostrar que a teoria era empiricamente falsa. 3
A descrio clssica do estado de um sistema fsico, atravs da especificao da posio e do momentum (massa vezes velocidade) das partculas e dos valores dos campos em cada ponto do espao substituda, na mecnica quntica, por objetos matemticos abstratos, denominados funes de onda, usualmente simbolizadas pela letra grega . importante notar, porm, que no se trata em nenhum sentido de ondas identificveis com as ondas usuais da fsica clssica; os domnios das funes de onda qunticas so espaos matemticos multidimensionais e seus valores so nmeros complexos; elas no podem ser entendidas como referentes a configuraes de grandezas fsicas no espao fsico tridimensional ordinrio. Contrariamente ao que ocorre com as teorias clssicas, onde a especificao do estado de um sistema permite o clculo dos valores de todas as grandezas dinmicas do sistema (energia cintica, momento angular, etc.), a especificao completa de um estado quntico () s permite a previso dos valores de parte dessas grandezas; para as demais, a teoria fornece apenas a probabilidade de sua ocorrncia, em medidas efetuadas sobre o sistema. Um outro estado quntico () poder fornecer valores precisos para as grandezas que o primeiro no determinava, mas necessariamente deixar, por sua vez, de fornecer valores precisos para as grandezas que aquele determinava. E a teoria no permite a juno desses dois estados, a fim de que se obtenha a especificao completa de todas as propriedades fsicas classicamente consideradas como pertinentes ao sistema. Quando uma determinada grandeza no tem seu valor definido pelo estado quntico do sistema, uma medida dessa grandeza fornece um resultado aleatrio. neste sentido que
3 Isso at o surgimento da Desigualdade de Bell, em 1964; veremos abaixo que esse resultado levantou a suspeita terica de que algumas das previses empricas da mecnica quntica poderiam ser incorretas. 5 6 se diz que a mecnica quntica uma teoria indeterminista, j que os resultados das observaes futuras sobre o sistema nunca so todos determinados, mesmo quando presentemente conhecemos perfeitamente o estado quntico do sistema. 4
Esse aspecto da mecnica quntica foi visto por vrios fsicos como indicao de que a descrio quntica da realidade incompleta, pois aparentemente ela deixa de especificar resultados de observao genunos. Anteriormente a 1935, Einstein apresentou vrios argumentos nesse sentido, que foram rebatidos atravs do apelo controversa idia de que o ato de observao inevitavelmente perturba o sistema observado. 5
Foi para neutralizar essa sada que o argumento de EPR foi concebido. Esse argumento explora as previses qunticas para certos sistemas fsicos compostos de duas coisas qunticas (como est implcito no que foi dito mais acima, no h uma ontologia quntica, de modo que melhor falar aqui simplesmente em coisas), tais como ftons, nutrons, etc., que durante um certo tempo interagem e depois se separam (pelo menos aparentemente), indo cada uma para um lado. Naturalmente no me ser possvel reproduzir aqui o argumento de EPR em todos os seus detalhes, motivaes e conseqncias. Apresentarei, no entanto, uma verso simplificada, mas que contribui para colocar em evidncia os aspectos conceituais mais relevantes. A figura abaixo esquematiza o arranjo experimental usado no argumento.
medidor 1 coisa 1 Fonte coisa 2 medidor 2 Figura 1. O arranjo experimental de EPR.
Uma fonte produz os pares de coisas qunticas j referidos. Em cada um dos lados da aparelhagem existe um medidor, que mede uma propriedade quntica simples (mas que realmente existe), a que denominarei S. Essa propriedade s tem dois valores, +1 e -1. A mecnica quntica prev, e a experincia confirma, que sempre que o medidor 1 acusa um determinado valor, o medidor 2 acusa o valor oposto. A teoria no prev o resultado de
4 Deve-se notar aqui que a evoluo do estado do sistema regida pela equao fundamental da teoria, a equao de Schrdinger, completamente determinista. O que acaba de ser dito implica que essa equao aparentemente no se aplica durante os processos de medida. Esse fato constitui a fonte de grandes embaraos na interpretao da teoria. 5 No reproduzirei aqui as objees que mais recentemente foram levantadas contra essa contra- argumentao, por falta de espao e por haver tratado do assunto em outros trabalhos (Chibeni 1984 e 1991). Para uma crtica da doutrina da perturbao, ver Brown e Redhead 1981. Para uma anlise histrica dos argumentos de Einstein, ver Brown 1981. 7 uma medida de S, mas se for dado que o valor encontrado em uma medida efetuada em um lado +1, digamos, ela assegura que o valor encontrado em uma medida no outro lado ser -1, e vice versa. H, pois, uma correlao absoluta entre os resultados dos dois aparelhos de medida. Classicamente, esse tipo de correlao seria explicado trivialmente, assumindo-se que a correlao entre os resultados de medida nos dois medidores deve-se a correlaes entre propriedades dos objetos que esto sendo medidos, e que tais correlaes so estabelecidas quando da criao conjunta dos objetos na fonte. til ilustrar essa explicao clssica atravs de um exemplo ordinrio. Uma fbrica de luvas sempre produz luvas em pares. Imaginemos que o dono da fbrica, por alguma estranha psicose (desenvolvida talvez em suas tentativas de solucionar os enigmas da microfsica...), determine que assim que um par seja produzido na seo de costura, cada uma das luvas, direita (D) e esquerda (E), seja colocada ao acaso (por um operrio cego, por exemplo) em duas caixas, marcadas com um mesmo nmero, o nmero do par. Essas caixas so ento fechadas, para que as luvas no sejam vistas, e colocadas sobre esteiras, que as transportam em direes opostas, levando-as para dentro de quartos fechados. Em cada um desses quartos est um operrio, cuja funo consiste em abrir as caixas que chegam, e observar se a luva esquerda ou direita, registrando os resultados em uma tabela, ao lado do nmero da caixa (e portanto do par a que a luva pertence). A Figura 2 mostra um esquema dessa bizarra fbrica de luvas.
operrio 1 1 2 3 fbrica 3 2 1 operrio 2 Figura 2. Fbrica de luvas: exemplo de correlaes clsicas.
Dado esse sistema de produo, claro que as observaes dos operrios 1 e 2 estaro correlacionadas, de maneira anloga em que o esto os registros dos medidores no experimento de EPR. Sempre que um operrio observar o valor E, o outro observar o valor D, e vice versa. A Figura 3 mostra possveis resultados de observaes dos fsicos qunticos e dos operrios da fbrica de luvas. 7 8
Nmero do par S 1 S 2
1 +1 1 2 +1 1 3 1 +1 4 +1 1 5 1 +1 6 1 +1
Nmero do par Luva 1 Luva 2 1 D E 2 E D 3 E D 4 D E 5 E D 6 D E
Figura 3. Exemplos de tabelas de correlao: Experimento de EPR e fbrica de luvas.
Estamos diante de fenmenos de correlao formalmente idnticos, e nada mais natural do que supor que os mecanismos que os produzem tambm so idnticos, ou seja, que a correlao das medidas de S no experimento de EPR se deve existncia de propriedades intrnsecas a cada coisa quntica (cada uma traria em si um valor de S durante todo o tempo), e que a correlao entre essas propriedades se estabeleceu desde que o par foi criado. essencialmente esse o raciocnio de Einstein, Podolsky e Rosen. Por incrvel que possa parecer, porm, a mecnica quntica rejeita essa explicao bvia, que funciona perfeitamente bem no caso das luvas e das propriedades clssicas em geral. Na verdade, a mecnica quntica no somente rejeita a explicao clssica das correlaes de EPR como tambm no a substitui por nenhuma outra! Vejamos como isso ocorre. Segundo a mecnica quntica, quando os pares de coisas qunticas se separam, cada uma delas simplesmente no tem valor definido da propriedade S. Tudo o que a teoria diz que h 50% de probabilidade que uma medida de S sobre a coisa d +1, e 50% que d -1. durante a medida que o valor de S se torna definido, sendo em um certo sentido criado pela medida. (Note-se que tal processo guarda pouca relao com o conceito usual de `medida.) Mas qual ser o valor especfico criado em uma determinada medida , segundo a teoria, uma questo de puro acaso. Desse modo, fica claro que a teoria torna impossvel a explicao do fenmeno em termos de propriedades inerentes a cada uma das coisas, e cujos valores tenham sido definidos na fonte. ento inevitvel uma pergunta crucial: Se as coisas no tinham propriedade S alguma antes de serem sujeitas a mensuraes dessa propriedade, por que fantstica coincidncia sempre que a interao da coisa 1 com o aparelho 1 cria um determinado valor a interao da coisa 2 com o aparelho 2 cria o valor oposto, sendo que esses dois aparelhos podem estar situados a uma distncia arbitrariamente grande um do outro (em galxias diferentes, por exemplo)? A nica maneira de se evitar a atribuio desse fenmeno a uma coincidncia de vastas propores, assumir que algum tipo de interao no-local desconhecida e estranha conecta os dois sub-sistemas de modo a que a criao (aleatria) de um determinado resultado em um deles cause a produo do resultado oposto 9 no outro. A situao agravada pelo fato de a teoria estabelecer que to logo uma medida seja efetuada sobre uma das coisas, com a obteno de um dado valor, imediatamente o resultado de uma medida de S sobre a outra coisa se tornar definido, quando antes no era! Mas interaes desse tipo parecem conflitar com determinadas conseqncias da teoria da relatividade especial, que est amplamente apoiada nos fatos. Einstein, que descobriu esse desconcertante paradoxo, no podendo aceitar nem que as correlaes se deviam a uma coincidncia nem que eram produzidas por uma ao no- local instantnea, viu-se forado a atribu-las incompletude da teoria. De fato, se descrio quntica do estado das coisas 1 e 2 forem acrescentados parmetros contendo informaes adicionais, essa especificao mais completa poder evitar a indefinio dos valores da propriedade S antes da medida, possibilitando assim a explicao das correlaes nos termos ordinrios, e sem qualquer apelo a aes no-locais.
4. Alm da mecnica quntica
Conforme j notei, o argumento de EPR esteve no centro de vivas discusses sobre os fundamentos da mecnica quntica desde que foi proposto em 1935. Relatarei agora de modo muito sucinto e simplificado os principais desdobramentos a que deu lugar. Em 1932, John von Neumann publicou uma obra que se tornaria um clssico (von Neumann 1955), na qual forneceu um tratamento matemtico rigoroso da estrutura da nova teoria. Nesse livro, ele apresentou uma prova da impossibilidade da complementao da mecnica quntica atravs de parmetros adicionais que ficaram conhecidos na literatura como parmetros ou variveis ocultas (devido ao fato de tais parmetros no comparecerem na descrio quntica). Essa prova dissuadiu a grande maioria dos fsicos da busca de teorias mais completas que a mecnica quntica, denominadas genericamente de teorias de variveis ocultas. Apenas Einstein e uns poucos seguidores no a levaram a srio, por motivos no completamente explicitados. Foi somente bem mais tarde que comecou a ficar claro que esses poucos dissidentes poderiam estar certos: no obstante sua validade matemtica, a prova contm premissas fisicamente vulnerveis. Em 1952, um recm convertido posio dissidente, o fsico americano David Bohm (que na poca se encontrava exilado em So Paulo) publicou dois artigos (Bohm 1952, I e II) nos quais apresentou uma teoria de variveis ocultas aparentemente consistente e que capaz de reproduzir as previses empricas da mecnica quntica. poca, essa teoria foi vista com desconfiana, pois a prova de von Neumann dizia que teorias desse tipo eram impossveis. Para complicar as coisas, Andrew Gleason deu a pblico em 1957 outra prova da impossibilidade de teorias de variveis ocultas (Gleason 1957). Outras provas foram posteriormente obtidas, as principais sendo a de Bell (1966) e a de Kochen e Specker (1967). Essas provas so de natureza puramente matemtica. Em uma verso geral, mostra- se que se as grandezas fsicas forem representadas, como na mecnica quntica, por 9 10 operadores auto-adjuntos no espao de Hilbert, e se as relaes algbricas entre os valores que a teoria de variveis ocultas atribui a essas grandezas forem as mesmas relaes que vigem entre os operadores correspondentes, ento a teoria ser inconsistente. O artigo de Kochen e Specker traz tambm um resultado mais simples, e portanto mais forte, para o caso de spin de sistemas de spin-1; neste caso, prescinde-se da assuno da representabilidade das grandezas por operadores no espao de Hilbert. Tais provas podem ser consideradas verses melhoradas da prova de von Neumann. Como ento entender o fato de Bohm haver apresentado uma teoria de variveis ocultas em carne e osso ? Uma primeira resposta pode ser encontrada nos prprios artigos pioneiros de Bohm. Estabeleceu-se porm na literatura a opinio de que o esclarecimento dessa questo foi feito por John Stewart Bell. 1 No mesmo artigo que contm o resultado de bloqueio acima mencionado (Bell 1966), Bell observa, em um desenvolvimento das linhas apontadas por Bohm, que a teoria de variveis ocultas de Bohm apresenta um estranho aspecto, posteriormente denominado contextualismo na literatura especializada. Em termos no tcnicos e simplificados, isso significa que em tal teoria os resultados de medida podem depender no apenas de propriedades inerentes ao sistema medido, mas tambm do contexto de medida, ou seja, da disposio do arranjo experimental de preparao de estado e de medida. justamente por ser contextual que a teoria de Bohm escapa s referidas provas de impossibilidade. Ora, essa caracterstica da teoria de variveis ocultas de Bohm redunda em um distanciamento do ideal clssico que se perseguia ao se procurar uma teoria de variveis ocultas. E as referidas provas de Gleason, Bell e Kochen e Specker mostram que ela inevitvel em qualquer teoria de variveis ocultas consistente que reproduza as previses empricas qunticas. No caso especfico dos sistemas EPR, o contextualismo implica um tipo de ao distncia, ou de no-localidade, pois o resultado de uma medida em um dos sub-sistemas pode depender da disposio da aparelhagem referente ao outro sub-sistema, espacialmente distante. Intrigado com esse aspecto da teoria de Bohm, Bell prosseguiu suas investigaes, e ainda no mesmo ano, ou seja, em 1964, obteve outro resultado de importncia capital. Em um trabalho brilhante, por seu carter inusitado, sua simplicidade e suas amplas conseqncias (Bell 1964), Bell deduziu, a partir de pressupostos mnimos a atribuio completa de valores s grandezas fsicas de um sistema e a impossibilidade da alterao instantnea desses valores por aes remotas , uma previso, na forma de um limite superior para o valor de uma expresso que mede o grau de correlao entre sistemas fsicos do tipo EPR, ligeiramente modificados, onde a correlao deixa de ser absoluta. Esse resultado, a agora famosa Desigualdade de Bell, foi generalizado por Bell (1971) e Clauser e Horne (1974), para prescindir da assuno determinista da determinao precisa dos valores das grandezas fsicas; tudo o que se exige que as probabilidades que a teoria
1 Curiosa e injustamente, esse ponto no tem sido observado na literatura. Em minha tese de doutorado (em elaborao) argumento em detalhe que a resposta de Bohm em um certo sentido mais adequada do que a que prevalece na literatura. 11 assinala para os resultados de medida em um dos sub-sistemas independa da disposio do aparelho distante e do resultado que registre, quando o estado completo do sitema dado. Surpreendentemente, essa assuno mnima j suficiente para produzir um conflito com a mecnica quntica: essa teoria viola as desigualdades de Bell. crucial aqui o fato de que os coeficientes de correlao que comparecem nessas desigualdades so grandezas empricas bsicas, que independem de qualquer hiptese terica. Em 1972, Freedman e Clauser realizaram em Berkeley o primeiro teste experimental de uma verso da desigualdade de Bell obtida por Clauser et alii em 1969. 2
Os resultados confirmaram as previses qunticas, desconfirmando portanto a assuno mnima mencionada acima. O experimento foi, desde ento, repetido mais de uma dzia de vezes, por diferentes experimentalistas e usando vrios tipos de sistemas fsicos e diferentes aparelhagens. H consenso hoje de que o resultado global dessa srie de experimentos foi a confirmao esmagadora das previses qunticas, em prejuzo daquela assuno mnima. 3
Dentre todos os testes das desigualdades de Bell, o realizado em 1982 por Alain Aspect e seus colaboradores na Universidade de Paris (Aspect et al. 1982) merece destaque especial, no somente pelo grande cuidado com que foi conduzido e pela admirvel concordncia quantitativa dos resultados com as previses qunticas, mas principalmente por haver praticamente eliminado as teorias que contemplem aes no-locais a velocidades inferiores da luz. A relevncia fsica disso reside no fato de que a velocidade da luz tida como uma velocidade-limite para as influncias fsicas. Todos os objetos e foras fsicas conhecidos propagam-se a velocidades menores ou iguais da luz. Alm disso, a teoria da relatividade probe que um corpo qualquer seja acelerado at que sua velocidade ultrapasse a da luz, e prev estranhas conseqncias para corpos que eventualmente j tenham velocidades superliminares (os hipotticos tquions), como por exemplo a reverso na direo do tempo. Por todos esses motivos, a no-localidade a velocidades superliminares algo extremamente repugnante aos fsicos. As relaes entre localidade e a premissa essencial das desigualdades de Bell s comearam a ser aclaradas de modo satisfatrio com o trabalho de Jon Jarrett (1984). Quando acima expus aquela premissa fiz uso implcito da anlise de Jarrett. Em termos mais explcitos, o que Jarrett mostrou foi que na obteno das desigualdades de Bell do tipo mais geral h duas assunes essenciais envolvidas, a que Shimony apropriadamente denominou parameter independence (PI) e outcome independence (OI) (Shimony 1986 e 1989). A primeira diz que, dada a especificao do estado completo do sistema, as probabilidades dos resultados de medida em um dos sub-sistemas independem da disposio do aparelho de medida do outro subsistema, em particular da grandeza fsica que nele est sendo medida. A segunda condio diz que, dada a especificao do estado completo do sistema, as probabilidades dos resultados de medida em um dos sub-sistemas independem do resultado de eventual medida de uma grandeza fsica sobre o outro sub- sistema.
2 Freedman & Clauser 1972; Clauser et al. 1969. 3 Para resenhas dos experimentos, ver e.g. Chibeni 1984, Clauser & Shimony 1978 e Redhead 1987. 11 12 Jarrett mostrou que uma teoria que viole PI acarreta a possibilidade de transmisso de sinais, inclusive a velocidades superliminares, o que parece estar em conflito com a teoria da relatividade especial. J uma teoria que viole apenas OI no implica necessariamente a possibilidade de transmisso de sinais, como ilustra o caso da prpria mecnica quntica: essa teoria no est sujeita s desigualdades de Bell exatamente por violar OI; mas h vrios resultados (Tausk 1967, Eberhard 1978, Ghirardi, Rimini e Weber 1980) que mostram que no caso da mecnica quntica a violao de OI no permite a transmisso de sinais. importante enfatizar que tanto em um caso como em outro h algum tipo de influncia no-local. No primeiro, a no-localidade em princpio controlvel pelo experimentalista; no segundo, pode no o ser. Tentarei agora uma apreciao geral simplificada da presente situao, considerando separadamente os casos das teorias deterministas e das teorias no- deterministas. TEORIAS DETERMINISTAS: As teorias clssicas, i.e., deterministas no- contextuais, so eliminadas tanto pelos resultados algbricos de Gleason, Bell e Kochen e Specker como pela violao emprica das desigualdades de Bell. 4 Portanto qualquer teoria determista ter de ser contextual; 5 no caso dos sistemas EPR isto significa no-localidade controlvel (violao de PI). o caso, por exemplo, da teoria de variveis ocultas de Bohm.
TEORIAS NO-DETERMINISTAS (ESTOCSTICAS): As teorias estocsticas escapam dos resultados algbricos, mas esbarram nas desigualdades generalizadas de Bell. Tais teorias devero necessariamente violar ou OI, ou PI, ou ambas essas condies. No h exemplos concretos de teorias estocsticas que violem PI, ou ambas PI e OI, talvez por estas serem possibilidades aparentemente sem interesse; mas sabemos que teorias desses tipos estaro em aparente conflito com a teoria da relatividade especial, ou pelo menos com seu esprito. Teorias que violem apenas OI podem escapar a essa conseqncia, como o caso da mecnica quntica. Tambm no h exemplos de teorias que violem OI e sejam menos estocsticas do que a mecnica quntica; uma questo em aberto se tais teorias possibilitariam a transmisso de sinais; aparentemente sim; de qualquer modo, tambm no seriam interessantes. Ficamos assim entre a mecnica quntica e as teorias de variveis ocultas do tipo da de Bohm. Contra estas ltimas pesa no somente o grave problema da localidade
4 Em meu ensaio manuscrito, The EPR-type incompleteness arguments, the Bell inequalities and related topics, mostro que uma teoria determinista que obedea chamada Regra do Produto satisfaz OI; sendo a teoria no-contextual, ser tambm local, satisfazendo PI; isso implica que as teorias deterministas no- contextuais interessantes so eliminadas tambm pelos resultados relativos s desigualdes de Bell. 5 Isso se a teoria tiver que obedecer muito plausvel Regra do Produto. Analiso o papel que essa e outras regras semelhantes desempenham nas vrias provas de bloqueio das teorias de variveis ocultas em minha tese de doutorado, que tambm examina em detalhe as relaes entre o contextualismo e a no-localidade. 13 controlvel, mas tambm a navalha de Occam. No h qualquer razo para crer que os parmetros ocultos de tais teorias viro a ser controlados experimentalmente; ou, em outros termos, para crer que surgiro motivos empricos para preferirmos tais teorias mecnica quntica. Eis porque o interesse nessas teorias raramente saiu do crculo dos pesquisadores de fundamentos e filosofia da fsica. Passo agora a consideraes mais gerais. O fato inegvel mais importante a violao emprica das desigualdades de Bell, pois isso mostra que h fenmenos que no podem ser explicados por nenhuma teoria em que as propriedades dos objetos fsicos so locais. Qualquer que seja a forma dessa no-localidade, estamos diante da necessidade de rever elementos centrais de nossas concepes de mundo clssica e relativista. A via de Bohm e colaboradores permite manter o determinismo e a objetividade dessas concepes: os resultados de observaes so determinados e entendidos como mera revalao de propriedades pr-existentes. O preo fsico e filosfico a ser pago, no entanto, parece ser proibitivo. A via da mecnica quntica a um tempo mais desafiadora e mais frtil dos pontos de vista fsico e filosfico, abrindo vastos horizontes de investigao. Antes de referir-me a esses horizontes, acho importante ressaltar que, nessa discusso, a questo do realismo bsica. As dificuldades de se conceber uma realidade compatvel com uma interpretao realista da mecnica quntica levaram os fsicos a propor interpretaes instrumentalistas e idealistas, em uma escala sem precedentes na histria da cincia. Os resultados recentes referidos acima mostraram que parte dessas dificuldades resultam diretamente da experincia e de restries lgicas e matemticas, independentemente da mecnica quntica ou de qualquer outra teoria fsica. As sadas anti-realistas continuam e continuaro sendo uma alternativa. Discordo, porm, da opinio daqueles que sustentam que somos obrigados a seguir esse caminho. 6
6 Vejamos alguns exemplos. Um influente artigo de divulgao, de Bernard dEspagnat, The quantum theory and reality (dEspagnat 1979), traz o seguinte sub-ttulo: The doctrine that the world is made up of objects whose existence is independent of human consciousness turns out to be in conflict with quantum mechanics and with facts established by experiment. justo alertar, porm, que no corpo do artigo o autor mais comedido, e coloca a refutao do realismo como uma das possveis conseqncias da violao experimental das desigualdades de Bell. Asher Peres conclui um artigo com a frase: Any attempt to inject realism in physical theory is bound to lead to inconsistencies (Peres 1985, p. 205). Outro artigo relativamente comentado, Quantum realism: Navet is no excuse, de Richard Healey, tem o propsito declarado de mostrar que os resultados recentes na microfsica representam the strongest currently available objections to a particularly simple and inviting form of quantum mechanical realism (Healey 1979, p. 121). Mais significativas so as aluses de van Fraassen a esta questo. Em seu The Scientific Image um dos argumentos contra a exigncia ilimitada de explicao uma pea importante na argumentao anti-realista do livro o de que ela levaria exigncia de teorias de variveis ocultas na mecnica quntica (van Fraassen 1980, cap. 2, pargrafos 4, 5 e 6). Na introduo do artigo The charybdis of realism: Epistemological implications of Bells inequality van Fraassen declara: Concerning epistemic realism I shall argue that, given one plausible way to make it precise, it is refuted by Bells inequality argument (van Fraassen 1989, p. 97). Aqui tambm preciso ressalvar que a noo de `realismo epistmico a que van Fraassen se refere bastante restrita: Reasonable expectation of future events is possible only on the basis of some understanding of (or, reasonable certainty about) causal mechanisms that produce those events (p. 98). 13 14 Estou convencido, por razes filosficas, da convenincia de se adotar a posio do realismo cientfico. 7 Mesmo neste caso, acredito que os resultados recentes na microfsica continuam tendo implicaes filosficas muito expressivas. Uma alterao radical de nossas crenas acerca de como o mundo no pode deixar de repercutir sobre vrios problemas de natureza filosfica. Pelos motivos apontados, defendo que devemos tentar seriamente elaborar uma interpretao realista da mecnica quntica ao invs de seguirmos Bohm, mesmo estando conscientes das dificuldades a enfrentar. Uma primeira srie de conseqncias decorreria da presena de processos indeterministas no mundo. Isto remove a barreira colocada pelas teorias fsicas clssicas no caminho das concepes de homem que o entendem como um ser dotado de livre-arbtrio, e portanto responsvel por suas aes. 8
Teramos que admitir a categoria de ser em potncia (porm possivelmente diferente da de Aristteles). Teramos que encarar de frente o problema da medida uma tarefa herclea, sem dvida!
9 Isso envolveria, na interpretao realista em questo, a substituio das interpretaes subjetivista ou instrumentalista atuais por uma de carter objetivo. A seu turno, isso envolveria o desenvolvimento de uma teoria de interaes fsicas no-locais que possibilite a atualizao de potencialidades distncia. Novas concepes de causalidade seriam provavelmente requeridas. Em conseqncia, teramos que substituir a presente concepo do mundo como consistindo de entes localizados no espao-tempo quadridimensional, e no influenciveis superliminarmente, por uma concepo holista, sobre espaos com um grande nmero de dimenses, e talvez com uma diferente topologia. Necessariamente, novas concepes de individuao seriam requeridas.
7 Exponho algumas dessas razes que no so novas, diga-se de passagem em meu texto manuscrito Uma breve introduo ao problema do realismo cientfico; argumento mais amplamente nesse sentido em minha tese de doutorado. 8 Deve-se porm ressaltar que nem todos os filsofos vem as coisas desse modo. Um exemplo importante o nosso homenageado neste Encontro. Em um captulo de seu An Introduction to the Philosophy of Science (1966), intitulado Causality and determinism, Carnap argumenta contra o estabelecimento de ligaes entre o comportamento determinista ou no da matria e a existncia ou no do livre-arbtrio. Vejamos estas afirmaes, que marcam sua divergncia com relao posio que adotei acima (e incidentalmente me apontam um aliado tambm famoso!): I do not share Reichenbachs opinion that, if physics had retained the classical position of strict determinism, we could not meaningfully speak of making a choice, uttering a preference, making a rational decision, being held responsible for our acts, and so on. I believe that all those things are entirely meaningful, even in a world that is deterministic in the strong sense. A anlise de Carnap depende, entre outras coisas, da adoo de determinadas interpretaes do indeterminismo quntico, que tem sido questionadas por vrios filsofos da fsica, luz de desenvolvimentos recentes. Infelizmente, no disponho de espao aqui para analisar esse interessante texto de Carnap. 9 Para uma anlise incisiva das chamadas provas de insolubilidade do problema da medida quntica, ver Brown 1986a e 1986b. 15 Finalizo notando que a histria das investigaes dos problemas da microfsica apresenta duas grandes ironias: Primeiro, Einstein recorreu ao princpio de localidade ao qual dizia que deveramos aderir incondicionalmente para sustentar, no argumento de EPR, que a descrio quntica da realidade era incompleta. Investigando porm as condies mais gerais de possibilidade de teorias mais completas que a mecnica quntica, Bell provou, utilizando o mesmo tipo de sistema usado por Einstein, que se essas teorias tiverem que ser interpretadas realisticamente o que Einstein tambm julgava essencial elas necessariamente tero de ser no-locais! Depois, anteriormente refutao experimental das desigualdades de Bell, era corrente a opinio de que se isso de fato viesse a ocorrer, mais lenha seria jogada na fogueira de Copenhague, ou seja, haveria um reforo das interpretaes anti-realistas. Eis porm que quando ficou patente a impossibilidade de teorias de variveis ocultas locais os esforos dos especialistas salutarmente comearam a pender de modo mais visvel para a elaborao de uma interpretao realista da mecnica quntica, com todas as surpreendentes caractersticas que apontei acima, e vrias outras que a limitao de espao e a natureza deste artigo no me permitiram mencionar.
Referncias
ASPECT, A., DALIBARD, J. & ROGER, G. Experimental test of the Bells Inequalities using time-varying analizers. Physical Review Letters 49 (25): 1804-7, 1982. BELL, J. S. On the Einstein Podolsky Rosen paradox. Physics 1:195-200, 1964. - . On the problem of hidden variables in quantum mechanics. Review of Modern Physics 38: 447-452, 1966. - . Introduction to the hidden-variable question. In: DESPAGNAT 1971, pp. 171-81. BOHM, D. A suggested interpretation of the quantum theory in terms of hidden variables, I and II. Physical Review 85 (2): 166-79 e 180-93, 1952. BOHR, N. Light and life. Nature, 25/3/1933, pp. 421-3, e 1/4/1933, pp. 457-9. Can quantum-mechanical description of physical reality be considered complete? Physical Review 48: 696-402, 1935. - . Discussion with Einstein on epistemological problems in atomic physics. In: SCHILPP 1949, pp. 201-41, 1949. BROWN, H.R. O debate Einstein-Bohr sobre a mecnica quntica. Cadernos de Histria e Filosofia da Cincia, n. 2, pp. 51-89, 1981. 15 16 . O problema da medida em mecnica quntica: Uma avaliao das provas de insolubilidade existentes. Cadernos de Histria e Filosofia da Cincia, n. 9, pp. 5- 33, 1986a. . The insolubility proof of the quantum measurement problem. Foundations of Physics, 16: 857-70, 1986b. BROWN, H.R. & REDHEAD, M.L.G. A critique of the disturbance theory of indeterminacy in quantum mechanics. Foundations of Physics 11: 1-20, 1981. CARNAP, R. An Introduction to the Philosophy of Science. Ed. Martin Gardner. New York, Basic Books, 1966. CHIBENI, S. S. Problemas com o Realismo em Mecnica Quntica: Uma Anlise de Resultados Recentes. Dissertao de Mestrado, Instituto de Fsica Gleb Wataghin, UNICAMP, 1984. - . A incompletude da mecnica quntica. O Que Nos Faz Pensar, n. 5, pp. 89-113, 1991. - The EPR-type incompleteness arguments, the Bell inequalities and related topics. (Manuscrito no publicado, 1987.) Uma breve introduo ao problema do realismo cientfico. (Manuscrito no publicado, 1990.) Aspectos da descrio fsica da realidade. (Tese de doutorado, em elaborao.) CLAUSER, J. F. & HORNE, M. A. Experimental consequences of objective local theories. Physical Review D 10: 526-535, 1974. CLAUSER, J. F., HORNE, M. A., SHIMONY, A. & HOLT, R. A. Proposed experiment to test local hidden-variable theories. Physical Review Letters 23: 880-884, 1969. CLAUSER, J. F. & SHIMONY, A. Bells theorem: Experimental tests and implications. Reports on Progress in Physics 41: 1881-1927, 1978. CUSHING, J. T. & McMULLIN, E. (eds.) Philosophical Consequences of Quantum Theory. Notre Dame, Indiana, University of Notre Dame Press, 1989. DESPAGNAT, B. (ed.) Foundations of Quantum Mechanics. Proceedings of the International School of Physics `Enrico Fermi, Course 49. New York, Academic Press, 1971. DESPAGNAT, B. The quantum theory and reality, Scientific American, November, pp. 128-40, 1979. EBERHARD, P. H. Bells theorem and the different concepts of locality, Il Nuovo Cimento 46B: 392-419, 1978. EINSTEIN, A., PODOLSKY, B. & ROSEN, N. Can quantum-mechanical description of reality be considered complete? Physical Review 47: 777-780, 1935. 17 FREEDMAN, S. J. & CLAUSER, J. F. Experimental test of local hidden-variable theories. Physical Review Letters 28: 938, 1972. GHIRARDI, C. G., RIMINI, A. & WEBER, T. A general argument against superluminal transmission through the quantum mechanical measurement process. Lettere al Nuovo Cimento 27: 293-298, 1980. GLEASON, A. M. Measures on the closed subspaces of a Hilbert space. Journal of Mathematics and Mechanics 6: 885-893, 1957. HEALEY, R. Quantum realism: Navet is no excuse, Synthese 42: 121-44, 1979. HEISENBERG, W. The Physical Principles of the Quantum Theory. Trad. C. Eckart e F. C. Hoyt. Toronto and London, Dover Publications, 1949. JARRETT, J. P. On the physical significance of the locality conditions in the Bell arguments. Nous 18: 569-589, 1984. KOCHEN, S. & SPECKER, E. P. The problem of hidden variables in quantum mechanics. Journal of Mathematics and Mechanics 17:59-87, 1967. PENROSE, R. & ISHAM, C. J. (eds.) Quantum Concepts in Space and Time. Oxford, Clarendon Press, 1986. PERES, A. Einstein, Gdel, Bohr. Foundations of Physics 15 (2): 201-5, 1985. POPPER, K. R. Quantum Theory and the Schism in Physics. London, Hutchinson, 1982. PUTNAM, H. Quantum mechanics and the observer. In: Realism and Reason. (Philosophical Papers, vol. 3.) Cambridge, Cambridge University Press, 1983. (Originalmente publicado em Erkenntnis 16:193-219, 1978.) REDHEAD, M.L.G. Incompleteness, Nonlocality, and Realism. Oxford, Clarendon Press, 1987. SCHILPP, P. A. Albert Einstein: Philosopher-Scientist. 3rd. ed. La Salle, Illinois, Open Court, 1949. SCHRDINGER, E. The present situation in quantum mechanics. Trad. J. D. Trimmer. Proceedings of the American Philosophical Society 124 (5): 323-38, 1980. SHIMONY, A. Events and processes in the quantum world. In: PENROSE & ISHAM 1986, pp. 182-203. . Search for a worldview which can accomodate our knowledge of microphysics. In CUSHING & McMULLIN 1989, pp. 25-37, 1989. TAUSK, K. A Medida na Mecnica Quntica. Tese de Doutorado, Universidade de So Paulo, Brasil, 1967. VAN FRAASSEN, B. C. The Scientific Image. Oxford, Clarendon Press, 1980. 17 18 . The charybdis of realism: Epistemological implications of Bells inequality. In: CUSHING & McMULLIN 1989, pp. 97-113. (Verso ligeiramente modificada de artigo com o mesmo ttulo publicado em Synthese 52: 25-38, 1982.) VON NEUMANN, J. Mathematical Foundations of Quantum Mechanics. Trad. Robert T. Beyer. Princeton, Princeton University Press, 1955.