Filosofia Da Física Clássica

FLF0472 Filosofia da Fsica (2o sem.
2008)
Filosofia da Fsica Clssica

Osvaldo Pessoa Jr.
Curso ministrado pelo Depto. de Filosofia, FFLCH, USP para o 3o ano de Licenciatura de Fsica, IFUSP.
FLF0472 Filosofia da Fsica (USP - 2008)
Sumrio
Cap. I. FILOSOFIA DA MATEMTICA Como explicar a importncia da matemtica nas cincias naturais? 1. A Desarrazoada Efetividade da Matemtica 2. A Matemtica na Grcia Antiga 3. Os Postulados de Euclides 4. Questo Ontolgica: Existem Objetos Matemticos? 5. Questo Epistemolgica: Nmeros Imaginrios se aplicam Realidade Fsica? 6. Noes de Continuidade 7. Existe o Infinito?
1 1 2 3 4 5 6
Cap. II. PARADOXOS DE ZENO O espao e o tempo so contnuos ou discretos? 1. Pano de Fundo de Zeno 2. Paradoxos do Movimento 3. Paradoxos da Pluralidade 3. O Holismo Aristotlico 4. Viso Moderna dos Paradoxos 5. Espao e Tempo Discretizado na Gravidade Quntica Cap. III. FILOSOFIA MECNICA Como explicar a gravidade sem foras distncia? 1. Hilemorfismo e a Fsica Aristotlica 2. Atomismo Greco-Romano 3. Naturalismo Animista 4. A Filosofia Mecnica 5. A Fsica e Cosmologia de Descartes 6. Explicao da Gravidade segundo a Filosofia Mecnica 7. Teoria Cintica da Gravitao Cap. IV. CONCEPES REALISTA E INSTRUMENTALISTA DE FORA A cincia deve apenas descrever o que observvel ou deve lanar hipteses sobre a realidade que estaria por trs dos fenmenos? 1. Mecanicismo com Foras Distncia 2. Definies e Leis no Principia 3. A Natureza da Fora 4. Realismo, Instrumentalismo, Descritivismo 5. Realismo e Anti-Realismo em Newton Cap. V. EXPERIMENTO DO BALDE E ESPAO ABSOLUTO O espao e o tempo so absolutos ou relativos? 1. H Juzos Sintticos A Priori? 2. Referenciais Inerciais e No-Inerciais 3. O Experimento do Balde 4. A Defesa do Espao Relativo 5. Princpio de Mach e a Teoria da Relatividade Geral
7 8 8 10 11 12
13 14 15 16 16 18 19
21 22 24 25 27
28 29 29 31 32
ii
Cap. VI. DETERMINISMO E PROBABILIDADE (verso preliminar) A natureza determinista ou h eventos sem causa? 1. Determinismo e Previsibilidade 2. O Demnio de Laplace 3. Probabilidade 4. Definies de Aleatoricidade 5. Caos Determinstico e Sensibilidade a Condies Iniciais Cap. VII. PRINCPIOS DE MNIMA AO Qual o lugar das causas finais na fsica (e na cincia)? 1. Paradigmas e Programas de Pesquisa 2. Programas de Pesquisa Rivais na Mecnica Clssica 3. Princpios de Mnima Ao 4. Causas Finais na Fsica Cap. VIII. AXIOMATIZAO DA MECNICA CLSSICA Por que e como axiomatizar as teorias fsicas? 1. Contexto da Descoberta e Contexto da Justificao 2. Discusso dos Princpios Newtonianos no Sc. XIX 3. Crticas ao Mtodo de Mach 4. Axiomatizao das Teorias Matemticas 5. Axiomatizao Dedutivista da Mecnica Clssica 6. O Debate entre Axiomatizaes Empiristas e Dedutivistas Cap. IX. A ONTOLOGIA DO ELETROMAGNETISMO Quais conceitos do eletromagnetismo correspondem a entidades reais? 1. Critrios para estabelecer o que Real 2. Ampre e o Magnetismo como Epifenmeno 3. Foras Magnticas violam o Princpio de Ao e Reao? 4. Campos e a Ao por Contato, ou Localidade 5. O Potencial Vetor um Campo? 6. Invariantes da Teoria da Relatividade Cap. X. CONTEXTO DA DESCOBERTA DO ELETROMAGNETISMO Qual o papel das imagens e das analogias na cincia? Cap. XI. TERMODINMICA E ENERGTICA A lei de conservao de energia uma conveno? Cap. XII. MECNICA ESTATSTICA E IRREVERSIBILIDADE Qual a origem da irreversibilidade dos fenmenos macroscpicos? Cap. XIII. DEMNIO DE MAXWELL E FSICA DA COMPUTAO Um ser inteligente conseguiria violar a irreversibilidade?
34 34 35 36 37
39 40 42 44
45 45 47 48 49 51
53 54 56 57 58 60
iii
Cap. I
Filosofia da Matemtica
Questo: Como explicar a importncia da matemtica nas cincias naturais?
1. A Desarrazoada Efetividade da Matemtica Por que a matemtica to importante na fsica? Essa a questo que o importante fsico hngaro Eugene Wigner (1902-95) discutiu em um artigo em que usou a curiosa expresso desarrazoada (no razovel) efetividade (eficcia) da matemtica.1 A opinio de Wigner era que a gente no compreende porque a matemtica to til na fsica: seria uma espcie de milagre: A lei da gravitao, que Newton relutantemente estabeleceu e que ele pde verificar com uma acurcia de aproximadamente 4%, mostrou-se acurada numa porcentagem menor do que dez milsimos (p. 231). Ou seja, usamos a matemtica para descrever um domnio limitado da realidade, e s vezes essa descrio matemtica se mostra eficaz em domnios muito mais amplos. Outro exemplo que Wigner cita o sucesso da mecnica quntica (a partir de 1927) em explicar os nveis energticos do tomo de hlio, um sistema bem mais complexo (por envolver dois eltrons interagentes) do que aqueles usados por Heisenberg para construir sua mecnica matricial. Com certeza, neste caso, conseguimos tirar algo das equaes que no tnhamos colocado (p. 232). A tese de Wigner, de que a efetividade da matemtica na fsica desarrazoada, inexplicvel, exprime um certo aspecto de seu pensamento filosfico no incio dos anos 60, uma sensibilidade a problemas no resolvidos, como o mistrio da conscincia humana ou o problema do colapso na mecnica quntica. No entanto, muitas outras respostas foram dadas a este problema, desde a poca de Pitgoras, que considerava que a essncia da natureza so nmeros. Curiosamente, uma resposta semelhante de Pitgoras foi proposta recentemente pelo cosmlogo Max Tegmark, para quem nosso mundo fsico uma estrutura matemtica abstrata!2 2. A Matemtica na Grcia Antiga A matemtica grega, partindo de Tales de Mileto (c. 625-546 a.C.) e Pitgoras de Samos (c. 575-495 a.C.), se caracterizou pelo esforo de demonstrar de maneira rigorosa os seus resultados. Os pitagricos, reunidos onde hoje a Siclia, defendiam que todas as relaes cientficas eram expressas por meio de nmeros naturais (1, 2, 3, ...) ou razes entre tais nmeros, os chamados nmeros racionais, , , etc. Em conseqncia desta concepo, supunham que o espao, o tempo e o movimento eram constitudos de elementos discretos. Ao pitagrico Hipaso de Metaponto (nascido circa 500 a.C.) atribuda a descoberta dos nmeros irracionais, como 2 , que seria a medida da diagonal de um quadrado de lado 1. Esta descoberta era vista como um problema para a filosofia pitagrica, e conta a lenda que
WIGNER, E.P. (1960), The Unreasonable Effectiveness of Mathematics in the Natural Sciences, Communications in Pure and Applied Mathematics 13, 1-14. Disponvel na internet. Traduo disponvel no saite do curso. TEGMARK, M. (2007), The Mathematical Universe, arXiv 0704.0646v1, 28 pp. Na internet, fcil tambm encontrar sobre o assunto o artigo do matemtico aplicado HAMMING, R.W. (1980), The Unreasonable Effectiveness of Mathematics, American Mathematical Monthly 87.
2 1
Cap. I: Filosofia da Matemtica
Hipaso teria sido lanado ao mar por seus colegas, em represlia.3 Veremos no cap. II outro problema para a concepo pitagrica: os paradoxos de Zeno, que punham em xeque a concepo de que o espao e o tempo so divisveis. Os matemticos gregos passaram a dividir a matemtica na teoria dos nmeros, que estuda entidades discretas ordenadas, e na geometria, que envolve o contnuo. Essa diviso transparece nos Elementos, obra escrita por Euclides de Alexandria em torno de 300 a.C. Ele reuniu os trabalhos de Eudoxo, Teeteto e outros matemticos, sistematizou-os, melhorou as demonstraes, e coligiu sua obra de acordo com o mtodo axiomtico. Os Elementos partem de definies, axiomas (noes comuns, princpios auto-evidentes) e postulados (suposies geomtricas). O nmero 1 foi tratado como a unidade, e os outros como nmeros propriamente ditos. O nmero 0 no estava presente, e s foi introduzido na ndia, onde se usava o sistema numrico posicional, juntamente com os nmeros negativos, pelo matemtico Brahmagupta, em 628 d.C. 3. Os Postulados de Euclides Euclides partiu de 23 definies, como a de ponto, que aquilo que no tem partes, e reta, que um comprimento sem espessura [...] que repousa equilibradamente sobre seus prprios pontos. Em 1899, o alemo David Hilbert reformularia a axiomatizao da geometria plana sem partir de definies primitivas: ponto e reta seriam definidos implicitamente pelos postulados. Os cinco axiomas usados por Euclides, em notao moderna, so: A1) A2) A3) A4) A5) Se A=B e B=C, ento A=C. Se A=B e C=D, ento A+C = B+C. Se A=B e C=D, ento AC = BC. Figuras coincidentes so iguais em todos os seus aspectos. O todo maior do que qualquer de suas partes. Os cinco postulados da geometria plana so: P1) Dois pontos determinam um segmento de reta. P2) Um segmento de reta pode ser estendido para uma reta em qualquer direo. P3) Dado um ponto, h sempre um crculo em que ele centro, com qualquer raio. P4) Todos os ngulos retos so iguais. P5) Se a soma dos ngulos a e b for menor do que dois ngulos retos, ento os segmentos de reta A e B se encontram, se forem estendidos suficientemente (ver Fig. I.1).
Figura I.1: Quinto postulado de Euclides.
O postulado P5 logicamente equivalente proposio de que, dados uma reta A e um ponto P fora dela, passa apenas uma reta por P que seja paralela a A. Veremos mais frente como a discusso do quinto postulado levou no sc. XIX s geometrias no-euclidianas.
Muitos detalhes da histria da matemtica podem ser obtidos de: EVES, H. (2004), Introduo Histria da Matemtica, trad. H.H. Domingues, Ed. Unicamp, Campinas (original em ingls: 1964). Sobre Hipaso, ver p. 107.
Com esses axiomas e postulados, deduz-se boa parte da geometria plana, como o teorema de Pitgoras. No entanto, a base de postulados no completa. Por exemplo, Euclides supe tacitamente que uma reta que passa pelo centro de um crculo passa tambm por dois pontos do crculo, mas isso no dedutvel da base de postulados! Alm disso, muitas verdades geomtricas que dependem da noo de limite, algumas das quais formuladas por Arquimedes de Siracusa (287-212 a.C.), no so dedutveis dos axiomas de Euclides.4 A geometria euclidiana foi o paradigma de conhecimento certo e verdadeiro, na cincia e filosofia, at o sc. XIX. 4. Questo Ontolgica: Existem Objetos Matemticos? Os nmeros existem? H 27 alunos nesta classe, isso um fato indubitvel: mas o nmero 27 existe de maneira independente, no mundo, ou apenas em minha mente? H duas respostas bsicas a esta questo. A tradio pitagrica, elaborada por Plato (428-348 a.C.), concebe que os nmeros naturais so entidades reais, assim como outros objetos matemticos, como o tringulo. Tais entidades, porm, no existiriam no mundo fsico, mas em um mundo abstrato, ideal, para fora do espao e do tempo. O filsofo Bertrand Russell, simptico a esta concepo no livro Problemas da Filosofia (1912), utilizou o verbo subsistir para designar este tipo de realidade, em oposio ao existir das coisas particulares. Essa noo de subsistncia, em Plato e Russell, no se limitava apenas a entidades matemticas, mas se estendia para quaisquer propriedades ou relaes abstratas, ditas universais. Assim, para Plato, aquilo que haveria em comum entre um ato justo de um magistrado romano e um ato justo de um rei asteca seria a justia, um universal que subsistiria num mundo parte do material. Os diferentes tringulos que desenhamos num papirus seriam cpias imperfeitas de tringulos ideais, e o que todos os tringulos tm em comum seria a triangularidade, um universal distinto de qualquer tringulo desenhvel, pois cada tringulo ou issceles (ao menos dois lados de mesmo comprimento) ou escaleno, ao passo que a triangularidade no teria nenhuma dessas duas propriedades. A viso metafsica que defende a existncia de universais, quer sejam nmeros, quer sejam propriedades ou relaes, pode ser chamada de realismo de universais. A viso antagnica conhecida como nominalismo, e defende que no mundo fsico h particulares concretos (coisas) com propriedades, mas tais propriedades no tm uma realidade autnoma, independente de cada particular. Ou seja, no se pode dizer que os universais subsistem. O que o realista chama de universais seriam apenas idias em nossa mente (conceitualismo) ou nomes lingsticos (nominalismo, em sentido estrito). A querela dos universais foi disputada intensamente na Idade Mdia, e Guilherme de Ockham (1285-1350) o grande representante do nominalismo medieval, ao passo que o lgico Willard Quine (1908-2000) um importante nominalista moderno.5 Em filosofia da matemtica, a oposio entre realistas e nominalistas um pouco diferente da querela metafsica. Os realistas afirmam que os nmeros, conjuntos e outros objetos matemticos existem ou subsistem de alguma maneira, independentes dos seres
4
O presente relato foi obtido de SKLAR, L. (1974), Space, Time, and Spacetime, U. California Press, Berkeley, pp. 13-6. O livro de Euclides est disponvel na internet, ou como: EUCLID (1956), The Thirteen Books of Euclids Elements, traduo e comentrios de T.L. Heath, 3 vols., Dover, Nova Iorque.
Uma excelente introduo ao debate metafsico entre realistas de universais e nominalistas apresentada por LOUX, M.J. (2002), Metaphysics A Contemporary Introduction, 2a ed, Routledge, Londres, caps. 1 e 2. H um resumo em portugus na internet.
humanos. J os nominalistas defendem que os objetos matemticos so construes mentais, de forma que no se pode afirmar que os nmeros naturais existam no mundo. Um dos argumentos dos realistas, em favor da existncia dos objetos matemticos, justamente a sua grande utilidade nas cincias naturais. Segundo este argumento da indispensabilidade, formulado por Willard Quine (um nominalista metafsico, mas um realista matemtico) e Hilary Putnam, como nossas melhores teorias cientficas fazem referncia a objetos matemticos como nmeros, conjuntos e funes, e tais entidades so indispensveis para a cincia, ento devemos nos comprometer com a existncia real de objetos matemticos, da mesma maneira que nos comprometemos com a existncia de entidades fsicas tericas como quarks e partculas virtuais. Opondo-se a este argumento, o filsofo nominalista Hartry Field vem trabalhando num projeto para mostrar como possvel construir teorias cientficas sem nmeros e outros objetos matemticos, numa certa linguagem relacional. Conseguiu aplicar seu mtodo para a teoria da gravitao newtoniana, mas no para outras teorias mais contemporneas. A matemtica seria til para a cincia pelo fato de ela simplificar muito os clculos e a expresso de enunciados das cincias exatas, mas ela no seria indispensvel.6 5. Questo Metodolgica: Nmeros Imaginrios se aplicam Realidade Fsica? Na seo anterior, vimos que a questo sobre a existncia do nmero natural 27 pode receber diferentes respostas. Mas a prtica do fsico no afetada por esta questo filosfica: qualquer que seja a resposta a essa questo ontolgica (ou seja, questo sobre o que real), seguro supor que o nmero inteiro 27 se aplica corretamente descrio da realidade nessa sala de aula. Podemos investigar esta questo metodolgica em relao a nmeros no positivos, como os inteiros negativos. Talvez no possamos dizer que h 5 mas na cesta, mas podemos dizer que a temperatura 5C. Ou seja, pode-se dizer que os inteiros negativos se aplicam a certos domnios da realidade. E quanto aos nmeros que representam uma reta contnua? A estrutura do espao fsico a estrutura dos nmeros racionais ou dos nmeros reais? Na seo seguinte deixaremos clara a distino entre os dois, com base na distino entre conjuntos ordenados densos e completos. A questo levantada tambm uma questo ontolgica, mas no em relao natureza dos objetos matemticos, e sim em relao a uma entidade fsica, o espao. Sendo assim, para examinar esta questo devemos levar em conta tambm as evidncias experimentais. Deixaremos o estudo desta questo para o Cap. II. Associada a esta questo h tambm uma constatao metodolgica: usual representar o espao fsico como um espao matemtico tridimensional contnuo, envolvendo nmeros reais, e no apenas nmeros racionais. E os nmeros imaginrios? Tais nmeros, mltiplos de i, ou 1 , surgiram com o matemtico italiano Gerolamo Cardano, em 1545, como solues de equaes cbicas. Em 1637, Ren Descartes os chamou de imaginrios, indicando que no os levava srio. No entanto, Abraham de Moivre (1730) e Leonhard Euler (1748) os estudaram, chegando notvel equao que tanto fascinou o jovem Richard Feynman: e i = 1 . Isso levaria noo
Uma resumo sucinto da filosofia da matemtica : POSY, C.J. (1995), Philosophy of Mathematics, in AUDI, R. (org.), The Cambridge Dictionary of Philosophy, Cambridge U. Press, pp. 594-7. Sobre o argumento da indispensabilidade, ver: COLYVAN, M. (2004), Indispensability Arguments in the Philosophy of Mathematics, Stanford Encyclopedia of Philosophy, na internet. O filsofo brasileiro Otvio Bueno (U. Miami) tem trabalhado nesta e noutras questes da filosofia da cincia e da matemtica; por exemplo: BUENO, O. (2005), Dirac and the Dispensability of Mathematics, Studies in History and Philosophy of Modern Physics 36, 465-90.
6
de plano complexo, formulado por Caspar Wessel (1797), Carl Gauss (1799) e Jean Argand (1806), que representa os nmeros complexos a + bi em um plano. A questo ontolgica, da realidade dos nmeros imaginrios, no parece ser diferente da questo ontolgica de outros objetos matemticos. A diferena est na questo metodolgica, pois costume afirmar-se que nenhuma grandeza fsica observvel representada por um nmero imaginrio. Nmeros imaginrios aparecem na representao de movimentos oscilantes ou ondulatrios, mas na hora de exprimir valores de correntes (na engenharia eltrica) ou de probabilidades (na mecnica quntica), o resultado sempre expresso por meio de nmeros reais. Assim, num certo sentido, nmeros imaginrios no se aplicam realidade observvel. Mas e a realidade no-observvel? Aqui recamos na discusso sobre o estatuto da realidade no-observvel (realismo x instrumentalismo), que veremos no cap. IV. Alguns autores argumentam que os nmeros imaginrios no podem ser eliminados da mecnica quntica e das modernos teorias de campo, a no ser por procedimentos artificiais, e portanto eles tm aplicao essencial na fsica7. Por outro lado, a discusso no que os nmeros imaginrios no podem ser aplicados realidade observada, pois por conveno poderamos multiplicar todos os nmeros que representam grandezas observveis por i, de tal maneira que seriam os reais no-imaginrios que no teriam aplicao direta. O ponto da discusso que os nmeros reais seriam suficientes para descrever a realidade observvel, sem necessidade de ampliar, com os nmeros imaginrios, o sistema numrico utilizado. 6. Noes de Continuidade Consideremos o intervalo entre os nmeros 0 e 1, e imaginemos o conjunto ordenado de todos os nmeros racionais (fraes) deste intervalo. Este conjunto denso, pois entre quaisquer dois nmeros racionais existe pelo menos um nmero racional. fcil intuir que h um nmero infinito de racionais neste intervalo. No entanto, sabemos que nmeros como 22 e 8 no so racionais, mas fazem parte do conjunto dos reais. Est claro que este conjunto denso, mas ele tambm tem a propriedade de ser completo. Considere a seguinte seqncia crescente infinita de nmeros
38 1289 racionais, {1 3 , 105 , 3465 , 16988 45045
, ...}, onde cada termo n=1,2,... expresso por
[(4m 3)(4m 1)]

m =1
2 , ou seja, h nmeros racionais Tal seqncia tem limites superiores racionais, como 5 maiores do que todos os termos da seqncia. O problema, porm, que no h um racional que seja o menor limite superior, ou supremo. Se considerarmos agora esta seqncia como um subconjunto dos reais, mostra-se (a partir de frmula derivada por Gregory e Leibniz no sc. XVII) que tal seqncia converge para 8 , que o supremo da seqncia. Assim, os reais so completos, no sentido que todas as seqncias com limite superior tm um supremo. Na matemtica, a noo de continuidade aplica-se a funes, como y = f(x) . Intuitivamente, diz-se que uma funo contnua se uma pequena variao no argumento x levar a uma pequena variao em y. Na disciplina de Clculo I, aprendemos a definio rigorosa de continuidade de Cauchy para os reais, em termos de psilons e eltas. Se uma funo for definida para nmeros racionais, parece ser possvel aplicar essa noo de
WIGNER (1960), op. cit. (nota 1), pp. 225, 229. YANG, C.N. (1987), Square Root of Minus One, Complex Phases and Erwin Schrdinger, in Kilmister, C.W. (org.), Schrdinger: Centenary Celebration of a Polymath, Cambridge: Cambridge University Press, pp. 53-64.
continuidade tambm para os racionais. Por outro lado, o conjunto dos nmeros reais s vezes chamado de o contnuo. 7. Existe o Infinito? H uma longa histria da noo de infinito na matemtica, na cincia e na filosofia. Hoje em dia aceita-se que o Universo tenha uma extenso espacial finita, mas a questo do infinitamente pequeno ainda est em aberto, como discutiremos no Cap. II. Na matemtica, um resultado importante foi obtido pelo russo-alemo Georg Cantor (1845-1918): podem se definir infinitos maiores do que o infinito contvel! O tamanho de um conjunto denominado sua cardinalidade. Cantor denotou a cardinalidade dos nmeros naturais por 0 (alef-zero), ou infinito contvel. Para encontrar a cardinalidade de outro conjunto infinito, basta tentar mapear os elementos do conjunto nos nmeros naturais. Por exemplo, mostra-se que a cardinalidade dos nmeros racionais tambm 0, escrevendo todas as fraes m/n em uma matriz na posio (m,n), e escolhendo uma seqncia de ordenamento, como o da Fig. I.2, que mapeia cada frao em um nmero natural (podem-se eliminar as fraes de valores repetidos). Qual seria a cardinalidade dos nmeros reais, entre 0 e 1? Cantor apresentou o argumento da diagonal, que permite construir um nmero real que escapa da tentativa de mapear bijetoramente os inteiros nos nmeros reais. Faamos uma lista dos nmeros reais entre 0 e 1, com i = 1, 2, ..., escrevendo cada um da seguinte forma: pi = 0 , ai1, ai2, ai3, ..., onde os aij so dgitos entre 0 e 9 (Fig. I.3). Por exemplo, 8 = 0,392... teria ai1=3, ai2=9, ai3=2, etc. Naturalmente, esta lista de nmeros reais pi seria contavelmente infinita, mas h pelo menos um nmero real que no consta desta lista, o nmero q = 0 , b1, b2, b3, ..., construdo da seguinte maneira. Consideremos os dgitos na diagonal i=j, ou seja, a11, a22, etc. Se o dgito aii = 5, ento bi = 4; se aii 5, ento bi = 5. Com isso, constri-se um nmero real b que no consta da lista contavelmente infinita (que tem cardinalidade 0). Isso mostra que a cardinalidade dos nmeros reais, que Cantor mostrou ser igual a 20, maior do que a dos nmeros racionais: 20 > 0 .
Figura I.2: Numeros racionais so contveis.
Figura I.3: Argumento da diagonal de Cantor.
Cap. II
Paradoxos de Zeno
Questo: O espao e o tempo so contnuos ou discretos?
1. Pano de Fundo de Zeno Zeno de Elia (490-430 a.C.) bem conhecido por causa de seus paradoxos, como aquele da corrida de Aquiles com a tartaruga. De fato, escreveu um livro com em torno de 40 paradoxos, mas este se perdeu. O que sabemos de Zeno nos foi transmitido por Plato, Aristteles e pelo comentador Simplcio do sc. VI d.C. 8 O que Zeno queria provar com seus paradoxos? Como eles foram encarados na Antigidade? Como eles so resolvidos hoje em dia? Zeno era discpulo do grande filsofo Parmnides (515-450 a.C.), da cidade de Elia (atual Itlia), que defendia que a pluralidade (o estado de haver muitas coisas distintas, ao invs de uma s) no existe e que qualquer mudana impossvel. O ponto de partida de Parmnides era a razo, o intelecto, em oposio observao. verdade que nossos sentidos vem uma aparente mudana, mas isso seria pura iluso, pois a realidade no poderia mudar. Afinal, o que no pode deixar de ser: se alguma coisa tem uma essncia, como que essa essncia pode desaparecer desta coisa? Por outro lado, do no-ser no pode surgir o ser: como que algo pode surgir do nada? Assim, o Universo seria uno, e Figura II.1: Zeno de Elia. no mudaria (algo parecido com a idia de um nico Deus imutvel).9 As teses de Parmnides tiveram um forte impacto na filosofia da natureza na Grcia. Elas estimularam solues como a de Empdocles (490-435 a.C.), para quem haveria quatro elementos imutveis (terra, gua, ar e fogo) que se combinariam em diferentes propores para gerar os diferentes objetos que conhecemos. A mudana seria uma recombinao dos quatro elementos fundamentais, como na queima de madeira (constituda de uma certa proporo de terra, gua e fogo), que perde seu elemento gua e fogo para se transformar em carvo, que seria terra pura. Zeno buscava defender as idias de seu mestre, atacando a idia de pluralidade e de movimento. Sua estratgia era supor a tese que queria atacar, por exemplo a pluralidade de pontos em uma reta, e da deduzir uma conseqncia que contradissesse sua suposio, levando assim a uma reduo ao absurdo.
Uma excelente apresentao dada por: HUGGETT, N. (2004), Zenos Paradoxes, The Stanford Encyclopedia of Philosophy, na internet Um livro clssico com textos de diversos autores : SALMON, W.C. (org.), Zenos Paradoxes, Bobbs-Merrill, Indianpolis, 1970. A figura de Zeno foi retirada de http://www-history.mcs.standrews.ac.uk/history/ PictDisplay/Zeno_of_Elea.html. Alguns cosmlogos modernos gostam de olhar para o Universo como uma entidade nica, um bloco (block Universe) no qual o tempo visto como uma quarta dimenso semelhante ao espao, sem distines ontolgicas entre passado e futuro (tambm chamada de doutrina das partes temporais). Olhando este bloco de fora, um observador abstrato pode olhar para o futuro, para o passado, para onde quiser. O bloco no muda, ento nesse sentido no h mudana, o que lembra o Uno parmenidiano (por outro lado, a concepo do universo em bloco no rejeita a pluralidade).
9 8
Cap. II: Paradoxos de Zeno
2. Paradoxos do Movimento Concentremo-nos aqui em quatro paradoxos do movimento, que so apresentados por Aristteles (384-322 a.C.) em sua Fsica.10 A Dicotomia e o Aquiles so semelhantes: Zeno parte da suposio de que uma certa distncia tem infinitos pontos, e que um corredor teria que passar por todos eles antes de atingir a linha de chegada (ou uma tartaruga), para concluir que o corredor nunca atinge seu objetivo. Assim, a razo mostra que o movimento impossvel, e o que vemos uma iluso. A Flecha envolve a noo de que, em cada instante, uma flecha est parada, ento como ela poderia estar em movimento? O quarto paradoxo, o Estdio, apresentado de maneira provavelmente errnea por Aristteles, ento ele tem que ser reconstrudo. 3. Paradoxos da Pluralidade interessante que os paradoxos do movimento tambm podem ser usados contra a tese de que o espao e o tempo possuem partes atuais (reais), ou seja, contra a pluralidade do Universo (que mencionamos ser uma das teses de Parmnides). O filsofo gals G.E.L. Owen (1922-82) fez uma reconstruo de como poderia ter sido este argumento, resultando num grande argumento contra diferentes concepes de pluralidade11. Ou seja, apresentaremos os quatro paradoxos de Zeno no como argumentos contra a possibilidade de movimento que iremos supor que ocorre realmente , mas contra a divisibilidade do espao e do tempo em partes reais. provvel que Zeno no tenha articulado seus argumentos dessa forma, mas como nosso interesse mais filosfico do que histrico, seguiremos a reconstruo de Owen. O argumento em questo consistente com a concluso de Aristteles de que um todo no possui partes atuais, mas apenas partes em potncia, cuja atualizao s pode ocorrer posteriormente existncia do todo. Essa prioridade do todo sobre as partes exprime uma posio conhecida como holismo, que examinaremos na seo seguinte. A questo a ser examinada, ento, se o espao e o tempo so compostos de uma pluralidade de partes reais. H, naturalmente, duas respostas possveis: SIM, so compostos de partes reais; ou NO, so um todo sem partes reais, apenas partes imaginadas. Vamos examinar a resposta positiva. Veremos que as diferentes possibilidades levam a paradoxos, de forma que seremos obrigados a concluir (segundo o argumento atribudo a Zeno) que o espao e o tempo NO so compostos de partes reais. Partamos ento da tese de que o espao e o tempo tm partes reais. A prxima questo a ser colocada se o espao e o tempo podem ser divididos sem limite ou se h limites para a diviso. H duas respostas plausveis: A) So divisveis sem limite. B) H limites para a diviso. Consideremos a primeira alternativa. A) O espao e o tempo so divisveis sem limite. Zeno ento teria apresentado dois paradoxos para refutar esta alternativa, o da Dicotomia e o de Aquiles. 1) Paradoxo da Dicotomia. Um corredor pretende cobrir uma certa extenso, digamos de 100 m. Antes de chegar ao final, ele ter que passar por um ponto localizado no meio do percurso, da extenso total. Aps isso, ele tem que passar pelo ponto que corresponde a do percurso. Depois disso, pelo ponto 7 8 , depois 1516 , depois 31 32 , etc. Como, pela hiptese A, o
10
ARISTOTLE (1996), Physics, trad. R. Waterfield, Oxford U. Press, 1996, orig. c. 350 a.C. Traduo para o portugus de trechos relativos aos paradoxos de Zeno est disponvel no saite do curso.
OWEN, G.E.L. (1957), Zeno and the Mathematicians, Proceedings of the Aristotelian Society 58, 199-222, republicado em SALMON (1970), op. cit. (nota 8), pp. 139-63. Um resumo deste argumento apresentado por TILES, MARY (1989), The Philosophy of Set Theory, Blackwell, Oxford (nova edio pela Dover), pp. 12-21.
11
espao divisvel sem limite, h um nmero infinito de pontos que o corredor deve percorrer antes de chegar ao final de seu percurso. Assim, conclui Zeno, ele nunca chega ao final! Este o paradoxo da Dicotomia progressivo; h tambm a verso regressiva. Antes de chegar metade do percurso, o corredor tem que atingir da extenso total; mas para chegar neste ponto, tem que antes atingir 18 do percurso; e antes disso, 116 , etc. Desta maneira, o corredor nem conseguiria iniciar sua corrida! 2) Paradoxo de Aquiles. Nesta verso do argumento, o veloz Aquiles aposta uma corrida contra uma lenta tartaruga, que comea dez metros sua frente. Em pouco tempo, Aquiles atinge a marca dos 10 m, mas neste intervalo de tempo a tartaruga caminhou 1 m. Em seguida, Aquiles percorre esse metro adicional, mas a tartaruga no est mais l, pois percorreu mais 110 de metro. Quando Aquiles cobre este 110 de metro adicional, a tartaruga est 1100 m frente. E depois, 11000 frente, e depois 110.000 , etc. Como, pela hiptese A, o espao infinitamente divisvel, sempre haver um ponto que Aquiles deve atingir antes de prosseguir em seu encalo tartaruga. Conclui-se ento que Aquiles nunca conseguir alcanar a tartaruga! Visto que a hiptese A levou a duas situaes que vo contra o que constatamos na realidade, ela deve ser rejeitada. Assim, supondo-se que o espao e o tempo so compostos de partes, no se poderia admitir que essas partes sejam infinitamente divisveis. Para sermos mais precisos, o que esses argumentos sustentam que o espao no seria infinitamente divisvel. Resta assim a hiptese alternativa. B) H limites para a diviso do espao e do tempo. Neste caso, pergunta-se sobre o tamanho desses limites: eles tm tamanho? (a) Sim, tm tamanho. (b) No, no tm tamanho. Consideremos cada caso em separado. (a) Os limites para a diviso do espao e do tempo tm tamanho. Ou seja, dentro de uma unidade indivisvel de tempo, ocorreria um pequeno movimento (esta uma situao difcil de imaginar, mas prossigamos com o argumento reconstrudo por Owen). Neste caso, Zeno teria invocado o paradoxo do estdio. (3) Paradoxo do Estdio. Imagine que durante a Olimpada, em um estdio, dois dardos so atiradas em sentidos opostos. Estamos supondo que o espao e o tempo so discretizados, ou seja, suas partes tm um tamanho ou durao mnimos (que chamaremos unidades). Supomos tambm que cada dardo percorre uma unidade espacial a cada unidade temporal. Consideremos um instante em que as pontas dos dardos ainda no se sobrepuseram, mas ocupam unidades espaciais adjacentes. Isso pode ser representado ao encostarmos o dedo indicador da mo esquerda no indicador da mo direita, com as unhas viradas para fora, de forma que possamos ver a diviso de nossos indicadores em trs falanges (Fig. II.2a). Escolhendo um ponto de referncia em algum objeto nossa frente, consideremos qual a posio dos nossos dedos/dardos no instante discreto (unidade temporal) seguinte. Ora, o indicador direito se moveu uma unidade para a esquerda, e o dedo esquerdo uma para a direita. Assim, na nova posio relativa dos dois dedos/dardos, h duas unidades espaciais emparelhadas (Fig. II.2b). No entanto, para eles terem chegado nesta situao de emparelhamento de duas unidades, eles teriam que ter passado pela situao intermediria em que apenas uma unidade estivesse emparelhada. Isso teria que acontecer em um instante que metade da unidade temporal tomada como mnima. Portanto, tal unidade no mnima, mas Figura II.2: Paradoxo do Estdio. divisvel! Alm disso, nesta meia unidade, 9
temporal, cada dardo voou, em relao ao estdio, uma distncia que a metade da unidade espacial. Assim, a unidade espacial tambm seria divisvel! Isso refutaria a hiptese (a). Resta-nos a outra alternativa. (b) H limites para a diviso do espao e do tempo mas esses no tm extenso ou durao, so pontuais ou instantneos. Neste caso, segundo a reconstruo de Owen, Zeno invocaria o seguinte problema. (4) Paradoxo da Flecha. Um arqueiro lana uma flecha. Em um certo instante, a flecha ocupa um espao que igual ao seu volume, portanto, segundo Zeno, ela estaria parada neste instante. Isso se aplica para todos os instantes, assim, a flecha est sempre parada e no poderia estar se movendo. Poder-se-ia argumentar que a flecha voa um pouquinho durante um instante, de forma que ela estaria em diferentes posies no incio e no fim do instante; mas neste caso o instante seria divisvel, indo contra a hiptese (b). Aristteles criticou este paradoxo argumentando que o repouso no tempo diferente do que ocorreria no agora, j que neste no se define o movimento, e portanto nem o repouso (Fsica, 234a24). Com isso, rejeitando-se ambas as opes (a) e (b), refuta-se a alternativa B, segundo a qual haveria limites para a diviso do espao e do tempo. Mas a alternativa A j tinha sido rejeitada. Assim, refuta-se a tese de que o espao e o tempo sejam compostos de uma pluralidade de partes. A resposta para a questo inicial portanto NO: o espao e o tempo so um todo sem partes reais, apenas partes imaginadas. 4. O Holismo Aristotlico Eis ento como Aristteles utiliza o argumento de Zeno para defender sua viso holista da matria, de que o todo precede as partes. O espao e o tempo no seriam compostos de um agregado de partes. verdade que se pode dividir um objeto em partes. Quando um tijolo dividido, temos uma diviso atual, em ato. Talvez se possa at dividir um tijolo o quanto queiramos ou possamos, mas antes de realizar essas divises atuais, elas s existem em potncia, como potencialidade. O fato de que podemos dividir um tijolo no significa que ele seja feito de partes, pois essa possibilidade de dividi-lo apenas uma potencialidade, no uma atualizao. O todo precede as partes. Com esta concluso, Aristteles pde resolver os paradoxos sua maneira. Os paradoxos da Dicotomia e de Aquiles no procedem porque, para Aristteles, o contnuo da pista de corrida homogneo. Pode-se dividi-lo sem limites, mas tal diviso no natural, ela pode ser feita de diferentes maneiras. A diviso imposta por ns, ela no existe de fato: o enunciado do problema concretiza de maneira indevida a potencialidade de diviso. Em primeiro lugar, o corredor percorre o todo. por percorrer o todo que ele percorre as partes, e no o contrrio, como os enunciado dos paradoxos parecem indicar. Aristteles defende que se possa potencialmente dividir o contnuo de maneira ilimitada. Com isso, rejeitam-se os paradoxos do Estdio e da Flecha, que pressupem um limite para a diviso. Alm disso, um ponto, para Aristteles, no formado por diviso, de maneira que um ponto no seria parte de uma reta. Para ele, um ponto pode ser concebido como uma fronteira entre duas regies distintas adjacentes. A viso holista de Aristteles foi retomada no incio do sculo XX por filsofos que defendem que o espao e/ou o tempo no so compostos de pontos ou instantes. Para esta corrente, que inclui Henri Bergson, William James e Alfred Whitehead, esta seria a chave para se entender o vir-a-ser temporal, ou seja, como o presente desabrocha do passado.12
12
Este comentrio feito por HUGGETT (2004), op. cit. (nota 8), p. 14. Ele cita BERGSON, H. (1907), Lvolution Cratice, Presses Universitaires de France, Paris; JAMES, W. (1911), Some Problems of Philosophy,
10
5. Viso Moderna dos Paradoxos Os paradoxos de Zeno so ainda tema de discusso hoje em dia. Uma atitude muito natural, por exemplo em relao ao Aquiles, dizer que a concluso de Zeno um absurdo, pois no corresponde realidade, e que portanto o paradoxo deve ser rejeitado. Seguindo esta linha, Digenes, o Cnico (413-323 a.C.), respondeu ao paradoxo simplesmente se levantando e andando! Mas essa constatao no resolve os paradoxos. (i) Para o paradoxo do movimento, o ponto de Zeno que racionalmente no pode haver movimento, de forma que a vivncia que temos deste movimento teria que ser uma iluso dos sentidos. (ii) Para o paradoxo da pluralidade, conforme a reconstruo de Owen, concorda-se que o movimento ocorre, porm nenhuma hiptese sobre a pluralidade, usada para explicar racionalmente o movimento, livre de problemas. O problema por trs da Dicotomia, que o mesmo que o do Aquiles, parece repousar na intuio de que o corredor demora um tempo finito mnimo para percorrer cada intervalo espacial sucessivo. Como h infinitos desses intervalos, o tempo de transcurso seria infinito. Porm, sabemos que essa intuio errnea: o tempo de percurso por cada intervalo proporcional ao comprimento do intervalo (supondo velocidade constante). Esse ponto foi apontado por Aristteles (Fsica VI, 233a25), mas em outro trecho ele se confundiu com relao presena de infinitos intervalos finitos de tempo (Fsica VIII, 263a15). Da mesma maneira que os intervalos espaciais somam 1 na srie convergente + 1 4 + 18 + ... , os intervalos temporais tambm o fazem. O corredor acaba completando o percurso! A moderna anlise matemtica, inaugurada no sc. XIX com os trabalhos de Augustin Cauchy, Karl Weierstrass e Richard Dedekind, esclareceu a natureza das sries convergentes e do clculo diferencial e integral, banindo a noo de infinitesimal, utilizada a partir de Leibniz. Na seo I.7, vimos como Cantor mostrou que o infinito da seqncia de nmeros inteiros (que igual ao infinito dos nmeros racionais), o chamado infinito contvel, tem cardinalidade menor do que o infinito no-contvel dos pontos da reta real entre 0 e 1. No entanto, no parece que seja necessrio supor que o espao seja isomrfico aos nmeros reais para resolver os paradoxos da Dicotomia e do Aquiles: bastaria que o espao tivesse a estrutura dos nmeros racionais (ver seo I.6). No sculo XX, avanos na teoria da medida e da dimenso esclareceram ainda mais a natureza do infinito na matemtica. Em 1966, o matemtico Abraham Robinson formulou a anlise no-standard, que reintroduziu de maneira rigorosa os infinitesimais na matemtica. A aplicao desta teoria para os paradoxos de Zeno foi feita por McLaughlin (1994).13 O paradoxo da Flecha levanta discusses a respeito da natureza do movimento e do conceito de velocidade instantnea. O movimento deve ser visto como a ocupao sucessiva de posies em diferentes instantes? Esta viso chegou a ser defendida por Bertrand Russell, e conhecida como a teoria em-em de movimento (at-at theory of motion). Se for verdade que, em cada instante, a flecha estaria parada, no se segue que ela estaria parada ao considerarmos todo o intervalo.
Longmans, Green & Co., Nova Iorque, caps. 10-11; e WHITEHEAD, A.N. (1929), Process and Reality, Macmillan, Nova Iorque. Este ponto de vista tem sido retomado mais recentemente por Ilya Prigogine. MCLAUGHLIN, W.I. (1994), Resolving Zenos Paradoxes, Scientific American 271 (5), pp. 84-9. Seguimos nesta seo as pp. 20-6 de: SALMON, W.C. (1970), Introduction, in Salmon (org.), op. cit. (nota 8), pp. 5-44, e alguns comentrios de HUGGETT (2004), op. cit. (nota 8), pp. 15-6. Ver tambm: SALMON, W.C. (1980), A Contemporary Look at Zenos Paradoxes, in Salmon, Space, Time, and Motion: A Philosophical Introduction. 2a ed., U. of Minnesota Press, Minneapolis, pp. 31-67.
13
11
O esclarecimento matemtico dos paradoxos da pluralidade e do movimento deixa ainda em aberto a questo da natureza microscpica do espao e do tempo no mundo fsico. Ser que a continuidade do espao e do tempo deve ser vista antes de tudo como uma propriedade holstica? Ou ser que eles podem ser decompostos em partes menores? Estas partes teriam a estrutura dos nmeros reais? Dos nmeros racionais? Haveria instantes infinitesimais? Faz sentido dizer que existem velocidades instantneas? O espao poderia ter uma estrutura fractal? A teoria quntica teria algo a acrescentar a esta problemtica? 6. Espao e Tempo Discretizado na Gravidade Quntica Nesta seo, apresentaremos superficialmente uma viso recente proposta pelo fsico Lee Smolin e colaboradores, que sugere que o espao e o tempo seriam na verdade discretos. Esta teoria, a gravidade quntica em loop, um dos programas de pesquisa que concorrem com a teoria das cordas, visando unificar as quatro interaes conhecidas na fsica.14 A idia de que o espao e o tempo no seriam contnuos surgiu na metade da dcada de 1980 como resultado do fracasso de tentativas anteriores de juntar a teoria da relatividade geral com a mecnica quntica. Smolin, juntamente com Abhay Astekar, Ted Jacobson e Carlo Rovelli, perceberam que os problemas dessa tentativa de juntar as duas teorias poderiam ser resolvidos supondo que haveria um quantum mnimo de volume, da ordem de 1099 cm3. Este seria um volume mnimo de espao, e qualquer volume maior seria uma soma destas unidades discretas mnimas. O espao poderia ser concebido como consistindo de um nmero imenso de pequenos poliedros encostados uns aos outros. A teoria da gravidade quntica em loop (ou seja, em circuitos fechados) substitui essa representao de volume por outra na qual cada quantum de volume representado por um n ou ponto ligado aos pontos dos outros volumes adjacentes por segmentos de reta. A rede resultante conhecida em matemtica como um grafo, e os fsicos e matemticos que trabalham nesta rea formularam uma maneira de exprimir estados qunticos em termos desses grafos. Tais grafos so tambm chamados de redes de spin, e o uso de tais redes para descrever a gravitao havia sido sugerida na dcada de 1960 por Roger Penrose. Tudo o que existe so as linhas e os ns; eles criam o espao, e a forma como se conectam define a geometria do espao (p. 61). As partculas elementares estariam associadas a ns e os campos s linhas entre os ns; o movimento dessas partculas se daria em passos discretos, de n em n. O movimento da matria e energia, por sua vez, alteraria o padro de conectividade da rede, o que refletiria na estrutura do espao. O espao-tempo da teoria da relatividade geral se comportaria microscopicamente como uma espuma de spin. O tempo tambm descrito como evoluindo de maneira discreta, a tiques quantizados que teriam a durao mnima de 1043 segundos.
14
SMOLIN, L. (2004), tomos de Espao e Tempo, Scientific American Brasil, fev. 2004, 56-65. Sobre a teoria das cordas, ver: ABDALLA, E. & CASALI, A. (2003), Cordas, Dimenses e Teoria M, Scientific American Brasil, maro 2003. Outro texto sobre os tijolos que comporiam o espao e o tempo : AMBJRN, J.; JURKIEWICZ, J. & LOLL, R. (2008), Universo Quntico Auto-Organizado, Scientific American Brasil 75, ago. 2008, 28-35.
12
Cap. III
Filosofia Mecnica
Questo: Como explicar a gravidade sem foras distncia?
Voc realmente entende o que est acontecendo quando solta uma pedra e v ela cair? Por que ela cai? Porque ela atrada. Mas por que ela atrada? Porque todos os corpos se atraem. Mas por que eles se atraem, ou melhor, qual o mecanismo que est por trs disso? Podemos ficar perguntando porqus para sempre? Ou uma hora temos que parar e aceitar uma resposta dogmaticamente? E, mudando o foco da pergunta, por que queremos obter respostas? E por que s vezes nos satisfazemos com uma resposta, sentimos uma felicidade de termos compreendido uma questo, s para mais tarde descobrir que tnhamos deixado de perceber uma ambigidade, e que o prazer da compreenso era s uma iluso? Qual a diferena entre explicar e compreender? As concepes tradicionais da matria e da gravidade, antes do sculo XVII, eram basicamente trs: o hilemorfismo aristotlico, o atomismo greco-romano e o naturalismo animista. 1. Hilemorfismo e a Fsica Aristotlica O hilemorfismo a filosofia desenvolvida por Aristteles de que todas as coisas consistem de matria (hile) e forma (morfe). Por matria entende-se um substrato (matria prima) que s existe potencialmente, e que s existe em ato junto com uma forma (sobre potncia e ato, ver seo II.4). A mudana das coisas explicada por quatro tipos de causas: o fator material, a forma, a causa eficiente e a causa final (ou propsito). Haveria quatro elementos bsicos, terra, gua, ar e fogo, cada qual tendo um par de qualidades distintivas: terra fria e seca; gua fria e mida; ar quente e mido; fogo quente e seco. Os elementos tendem a se ordenar em torno do centro do mundo, cada qual em seu lugar natural. Se um elemento removido de seu lugar natural, seu movimento natural retornar de maneira retilnea: terra e gua tendem a descer, ar e fogo tendem a subir. O movimento violento envolve a remoo de um corpo de seu lugar natural, ou o resultado do exerccio de uma fora por um agente. Para Aristteles, todo movimento tem um agente (um motor) e um paciente (o movido). A fonte do movimento uma fora (dunamin ou squis). No movimento natural a fora interna, e no movimento violento ela externa, tendo que haver contato contnuo entre o motor e o movido. Assim, para explicar porque uma pedra arremessada continua se movendo na horizontal, Aristteles tinha que postular a antiperistasis, ou seja, o ar deslocado pela frente da pedra retornaria para a parte traseira da pedra e nela exerceria uma fora! O paradigma de movimento violento uma pessoa empurrando um objeto, como um barco, em uma superfcie, como na areia. A distncia (S) percorrida em um intervalo de tempo (T) proporcional fora exercida (F) dividida pelo peso do corpo (P), sendo que este peso inclui tambm a resistncia do meio: F/P = S/T. Aristteles tinha uma noo clara de que, abaixo de uma certa fora exercida, o movimento pode cessar (devido ao atrito esttico) (Fsica VII.5, 249b30-250a28). O paradigma do movimento natural a queda de um corpo na gua. Neste caso (Fsica IV.8, 215a24-b10), a fora o peso do corpo (P), e a resistncia (R) exprime a densidade do meio: P/R = S/T. Aristteles tambm descreveu o movimento para cima de uma poro de 13
Cap. III: Filosofia Mecnica
fogo com a mesma lei, indicando que a velocidade seria proporcional ao volume do objeto (De Caelo, 309b11-15). O filsofo da cincia Stephen Toulmin (1961) salientou que esta lei correta no domnio de observao restrito em que o corpo atinge uma velocidade terminal de queda, sendo uma verso simplificada da lei de Navier-Stokes. H dois trechos em que Aristteles indica ter noo de que, na queda dos corpos, h alterao de velocidade (Fsica, 230b24-28; De Caelo, 277b4-5). Em sua Fsica (IV.8, 215b12-22), Aristteles trata da possibilidade do vazio. Como este no oferece resistncia, o movimento de queda seria infinitamente rpido, o que inadmissvel. Assim, o vazio no existiria. Porm, em outros trechos, menciona que a velocidade de queda dos corpos depende do peso. Na Fsica (VIII, 216-220), considera que se no houvesse um meio a ser vencido (ou seja, se a queda fosse no vazio), as velocidades seriam as mesmas! Esse resumo indica que Aristteles no era um idiota15, que fundou suas teorias em observaes, e que tinha uma noo confusa de que a queda dos corpos poderia envolver variao de velocidade. O aristotlico Estrton de Lmpsaco (c. 340-268 a.C.) argumentaria que a queda dos corpos graves no ar no se d com velocidade uniforme, pois o barulho que um corpo faz ao cair de uma altura pequena bem menor do que quando cai de uma altura maior. 2. Atomismo Greco-Romano O atomismo grego surgiu com Leucipo de Mileto (incio do sc. V a.C.) e foi desenvolvido por seu discpulo Demcrito de Abdera (c. 460-370 a.C.). Posteriormente ele se estabeleceu como escola em Atenas no Jardim de Epicuro (341-270 a.C.), e foi difundido no mundo romano por Lucrcio (c. 99-55 a.C.), em seu famoso poema Da Natureza das Coisas. Segundo esta viso, s teriam realidade os tomos e o espao vazio. Cada tomo, imperceptvel para os nossos sentidos, teria uma forma e um tamanho imutvel, e seria indivisvel. Haveria um nmero infinito de tomos espalhados no vazio infinito. Eles estariam em movimento contnuo, chocando-se freqentemente uns com os outros. Nas colises, os tomos poderiam rebater ou ento se ligar atravs de ganchos ou formas complementares. As propriedades primrias dos tomos, para Demcrito, seriam trs: a forma de cada tomo (o que inclui o tamanho), sua posio (o que inclui sua orientao em relao a outros tomos), e o arranjo de um conjunto de tomos. Epicuro adicionou o peso a esta lista. Epicuro incumbiu-se da tarefa de responder s crticas de Aristteles ao atomismo. Dentre essas, estava a crtica concepo de como os mundos teriam se originado. Segundo Demcrito, os tomos originariamente estariam caindo no vazio, todos na mesma direo paralela. tomos maiores cairiam com maior velocidade, se chocariam com os mais lentos e, assim, se iniciariam movimentos em todas as direes, que acabariam formando os mundos, num dos quais ns viveramos (os outros mundos estariam espalhados pelo espao infinito). Vimos que Aristteles mencionou que, se houvesse o vazio, os tomos deveriam cair com a mesma velocidade, e assim no poderiam se chocar uns com os outros, para formar os mundos. Epicuro (ou Lucrcio, segundo alguns autores) resolveu o problema da formao dos mundos introduzindo um pequeno movimento aleatrio lateral (clinamen), um movimento
Comentrio de CASPER, B.M. (1977), Galileo and the Fall of Aristotle: A Case of Historical Injustice?, American Journal of Physics 45, 325-30. Ver tambm KATZ, J. (1943), Aristotle on Velocity in the Void, American Journal of Philology 64, 432-5, e TOULMIN, S. (1961), Foresight and Understanding, Harper & Row, Nova Iorque, p. 50.
15
14
sem causa, para explicar a progressiva agregao dos tomos. Esse movimento sem causa de tomos espirituais seria tambm usado para explicar a liberdade da alma. Os atomistas eram materialistas, pois consideravam que, na morte, os tomos espirituais se desagregariam, ou seja, a alma seria fruto da matria. No sc. XVII, o atomismo seria discutido especialmente por Pierre Gassendi, dentro da viso de mundo do catolicismo.16 3. Naturalismo Animista Outra corrente que foi importante nos primrdios da cincia pode ser chamada de naturalismo animista. Esta posio considera que a natureza tem uma espcie de alma ou vida. Na Antigidade, ela pode ser associada aos pitagricos, ao taosmo na China e ao estoicismo, entre outros. No Renascimento, o naturalismo animista ressurgiu com vigor, e considerava que a natureza seria imbuda de uma espcie de alma, que fazia as partes separadas (como as de um im) desejarem se unir novamente, regidos por foras de simpatia e antipatia. Para a escolstica aristotlica, havia uma ordem racional da natureza que o intelecto poderia penetrar. Por contraste, o naturalismo renascentista salientava o mistrio de uma natureza opaca razo, s cognoscvel atravs da experincia. Os representantes tpicos desta corrente eram os alquimistas, como o suo Paracelso (1493-1541) e o alemo Andreas Libavius (1560-1616). A finalidade da alquimia era conseguir a transmutao dos metais em ouro e descobrir um elixir da vida eterna e cura de todas as doenas. Introduziram a idia de utilizar agentes qumicos na medicina, alm das ervas medicinais. A concepo alqumica da matria baseava-se em trs princpios: sal, enxofre e mercrio. O naturalismo renascentista foi tambm influenciado pelo hermetismo, uma tradio semi-religiosa e mgica vinda da Antigidade, que ensinava que o homem capaz de descobrir elementos divinos dentro de si, defendendo uma afinidade mstica entre o mundo e a humanidade, entre o macrocosmo e o microcosmo. Essa afinidade seria tambm a base terica da astrologia. Uma das mais importantes obras dentro da tradio do naturalismo renascentista foi o De Magnete, escrito em 1600 pelo ingls William Gilbert (1544-1603). O magnetismo seria uma matria telrica, seria a chave para se compreender a natureza. Ele seria um poder nocorpreo, a alma da Terra, j que a interveno de objetos entre dois ims no afeta a atrao. Contrastou eletricidade e magnetismo da seguinte maneira: a primeira envolveria uma ao da matria, com fora e coeso; a segunda seria uma ao da forma, com unio e concordncia. Johannes Kepler (1571-1630) foi influenciado por esta tradio, ao conceber que o Sol seria a anima motrix (alma motiva) que exerceria uma fora nos planetas, fazendoos orbitar em torno de si. Imaginou que essa atrao seria de natureza magntica.17 Em suma, para o naturalismo animista a gravidade explicada por uma atrao entre os corpos, que possuem uma espcie de alma, e que semelhante ao amor entre os seres vivos. Da mesma maneira que um filho separado da me por ela atrado, e que um im
Um relato detalhado dos atomistas est em LANGE, F.A. (1974), The History of Materialism, trad. E.C. Thomas, Arno Press, Nova Iorque (1a ed. em alemo: 1866; 2a ed.: 1875). E dele a hiptese discutvel de que Epicuro teria introduzido o clinamen para responder a Aristteles (p. 26). Uma boa fonte da histria da cincia grega : LLOYD, G.E.R. (1970), Early Greek Science: Thales to Aristotle, e LLOYD (1973), Greek Science after Aristotle, ambos da Norton, Nova Iorque. Sobre o naturalismo renascentista, ver WESTFALL, R.S. (1971), The Construction of Modern Science, Cambridge U. Press, pp. 25-31, e tambm RONAN (1987), Histria Ilustrada da Cincia da Universidade de Cambridge, 4 vols., J. Zahar, Rio de Janeiro; Crculo do Livro, So Paulo (orig. em ingls: 1983), vol. III, pp. 11-15, 28-36.
17
16
15
separado em dois deseja se unir novamente, assim tambm os princpios de simpatia e antipatia regeriam o comportamento dos corpos celestes. 4. A Filosofia Mecnica Os trabalhos de Coprnico e Galileu abriram o caminho para o ressurgimento da antiga tradio materialista, representada pelos atomistas, resultando no que viria a ser chamado de filosofia mecnica (termo usado por Boyle), em que os princpios explicativos envolvem apenas matria e movimento. Curiosamente, esta viso de mundo surgiu no seio do cristianismo, como uma reao contra o naturalismo animista, a partir do padre Marin Mersenne (1623)18. Para ele, a ameaa das doutrinas naturalistas estava na concepo de que a matria seria ativa, o que retiraria de Deus e dos prprios seres humanos a responsabilidade pelas questes humanas. Se no houvesse atividade alguma na matria, como queria Mersenne, Deus teria que ser invocado para explicar essa atividade. Na filosofia mecnica, portanto, matria e esprito estavam separados. A matria seria regida apenas por causas eficientes externas, provenientes de choques, e seria inerte, sem atividade ou potncia internas, o que seria expresso no princpio de inrcia da mecnica clssica. Acabava-se com o mistrio do mundo do naturalismo animista, e salientava-se a transparncia do mundo razo. Deus teria criado o Universo de uma s vez, pondo a matria em movimento de uma vez por todas. Este movimento se conservaria, seria indestrutvel. O mundo material mover-se-ia apenas em conseqncia dos choques entre os corpos, como o mecanismo de um relgio, seguindo a necessidade das leis da fsica. Na fsica, a concepo mecanicista tornou-se hegemnica durante uns oitenta anos a partir de 1644, sendo compartilhada por cientistas (Descartes, Huygens, Hooke, Boyle, o jovem Newton) e filsofos (Gassendi, Mersenne, Hobbes). Esta viso de mundo seria lentamente destruda pela ascenso da fsica de Newton e da astronomia de Kepler no continente europeu, a partir de 1720. Com isso, a noo de fora gravitacional passou a ser aceita sem que se postulasse um mecanismo subjacente. 5. A Fsica e Cosmologia de Descartes Ren Descartes (1596-1650) ganhou fama com seu Discurso do Mtodo (1637), que continha um apndice, A Geometria, no qual mostrou como escrever curvas geomtricas em termos de equaes algbricas, e vice-versa (Pierre de Fermat tambm estava desenvolvendo isso, de maneira independente). Em 1644 publicou o Princpios de Filosofia, que buscou explicar todos os fenmenos fsicos (incluindo qumicos, geolgicos e astronmicos) em termos de matria em movimento.19 A matemtica tinha um papel central na concepo cartesiana. A geometria, que lidava com formas no espao, podia ser deduzida a partir das idias claras e distintas do intelecto. A fsica tratava de matria em movimento. Um engenhoso passo de Descartes foi identificar a matria com a extenso, de tal maneira que a fsica passaria a ser uma geometria de figuras em movimento (extenso significa espao, volume). Identificando matria e extenso,
18 19
Ver GAUKROGER, S. (1999), Descartes Uma Biografia Intelectual, Contraponto, Rio, pp. 191-8.
DESCARTES, R. (2005), Princpios de Filosofia, trad. Helosa Burati, Rideel, So Paulo, pp. 189-93 (orig. em latim: 1644). As Figs. III.1 e 2 so retiradas deste livro. Sobre a filosofia mecnica em Descartes, pode-se tambm consultar DIJKSTERHUIS, E.J. (1986), The Mechanization of the World Picture, trad. C. Dikshoorn, Princeton U. Press, pp. 403-18 (orig. em holands: 1950), e WESTFALL (1971), op. cit. (nota 17), pp. 30-42.
16
quatro conseqncias eram imediatamente tiradas: i) Como o espao infinito, tambm o seria a matria. ii) Como o espao homogneo, haveria a mesma matria por toda parte. iii) Como o espao infinitamente divisvel, assim tambm seria a matria, o que negava o atomismo. iv) Como no faria sentido pensar num espao sem extenso, no haveria espao sem matria: o vcuo seria impossvel. Descartes partiu de um princpio a priori (anterior experincia) para derivar as leis gerais da fsica, a perfeio de Deus, e sua conseqente invariabilidade. Porm, observamos mudana no mundo, significando que Deus quis que o mundo estivesse em movimento. H portanto variao, mas tal variabilidade deve ser a mais simples possvel, a mais invarivel possvel. Isso equivaleria a um ato contnuo de conservao da quantidade de movimento (quantitas motus) total do Universo. Tal quantidade, segundo Descartes, seria medida pelo produto da quantidade de matria (massa) do corpo pela velocidade do mesmo corpo: mv. O princpio de conservao de quantidade de movimento diz ento que a soma da quantidade de movimento (mv) de todos os corpos do Universo sempre a mesma. um princpio que ainda se aceita hoje em dia, e quem o formulou pela primeira vez foi Descartes, a partir da idia clara e distinta de Deus. Na verdade, o princpio hoje aceito tem uma diferena importante, que que a velocidade precisa ser tomada como um vetor (com direo), e no simplesmente como um escalar (um nmero simples, sem direo). Com isso, passa a enunciar trs leis da natureza. A primeira uma lei de inrcia geral: cada coisa permanece no estado em que est, enquanto no encontra outras causas exteriores. Assim, um objeto tem a tendncia natural de manter sua forma, por exemplo. A segunda lei a da inrcia linear: todo corpo que se move tende a continuar seu movimento em linha reta, com a mesma velocidade. Essa idia surgiu com Galileu, mas para o cientista italiano o movimento inercial acabava sendo um movimento circular em torno da Terra. Para Descartes, em contrapartida, o movimento inercial (livre de causas) sempre linear. Assim, um corpo que gira em uma corda (uma funda, Fig. III.1), se for liberado durante o movimento, escapar em linha reta. E essa tendncia permanente, conforme podemos sentir pela fora com a qual a pedra girante puxa, tensiona, a corda. A terceira lei envolve um conjunto de sete regras para descrever o choque entre os corpos, mas os filsofos naturais da poca mostrariam que essas leis estavam erradas, levando Huygens, Wallis e Wren a formularem independentemente as leis corretas, em torno da dcada de 1660. A cosmologia de Descartes baseava-se na noo de que cada estrela tinha em torno de si um grande vrtice, que giraria da maneira como faz o nosso sistema solar (Fig. III.2). Ou seja, o Sol uma dentre as vrias estrelas, e os planetas orbitam sua volta porque so carregados por uma espcie de redemoinho de matria. Descartes fez observaes de redemoinhos em tonis de vinho, e pode-se observar que objetos flutuantes giram em torno de si mesmos no mesmo sentido que a rotao do lquido: ora, exatamente isso que acontece com os planetas do Sistema Solar! Haveria trs tipos de matria. O 1o elemento, chamado tambm de matria sutil, seria constitudo de lascas minsculas que teriam se separado do choque entre a matria dos outros tipos. Elas teriam um movimento muito rpido, seriam luminosas e formariam a matria do Sol e das outras estrelas. Teriam migrado para o centro do vrtice por causa da tendncia da matria mais grossa de se afastar do centro. O 2o elemento seria constitudo por partculas arredondadas que preencheriam os cus. Seria a matria transparente que carregaria os planetas em rbita circular. O 3o elemento seria a matria mais grossa que constitui a Terra, os planetas e os cometas. Ela seria opaca, apesar de o ar ser to fino que aparece transparente. A matria celeste, que a tudo permeia, seria constituda principalmente do 2o elemento, mas tambm conteria a matria sutil e fragmentos do 3o elemento, incluindo ar (Princpios de Filosofia, IV, 25).
17
O 3o tipo de matria, que nos cerca, cheio de interstcios, como uma esponja, e essas fendas esto sempre preenchidas pela matria celeste, j que o vcuo impossvel. Da mesma maneira que uma esponja aumenta de tamanho quando ela embebida em gua, a matria terciria expande quando aquecida e preenchida pela matria celeste. A quantidade de matria (o que viria a ser chamada massa) dada pelo volume ocupado pela matria terciria. Sendo assim, por que dois objetos de igual volume (digamos 1 litro), um de chumbo e outro de cera, tm pesos diferentes? A explicao de Descartes que o chumbo tem poucos interstcios, ao passo que a cera tem muitos. Assim, o volume efetivamente ocupado pela matria celeste bem maior na cera do que no chumbo.
Figura III.2. Vrtices associados a diferentes estrelas. O Sol (S) est cercado pelas trajetrias circulares de seus planetas. V-se tambm a trajetria de um cometa por entre as clulas de cada vrtice. Figura III.1. Pedra em movimento circular que solta de uma funda segue a trajetria retilnea ACG.
6. Explicao da Gravidade segundo a Filosofia Mecnica Por que sentimos que o chumbo mais pesado do que a cera? Qual a origem da gravidade? Descartes considerava que a Terra gira em torno de seu eixo movido pelo vrtice de matria celeste. Na superfcie da Terra, tal matria se move mais rapidamente do que os corpos grossos, como se fosse um vento. Sua tendncia para sair para fora (em movimento centrfugo, assim como a funda mencionada acima) seria maior do que os corpos de matria terciria, mais lentos. Essa sada da matria celeste (que se daria inclusive por entre os interstcios dos corpos mais grossos) tende a criar um vcuo em baixo da matria terciria, de forma que esta tem uma tendncia a preencher este (quase) vcuo, descendo verticalmente (a mesma explicao era tambm dada em termos de diferenas de presso da matria celeste). Assim, os corpos caem, devido rotao da matria celeste em torno da Terra, para preencher o espao deixado por essa matria celeste. A explicao para a rbita da Lua em torno da Terra a mesma: matria celeste se afasta da Terra, devido ao movimento do vrtice em torno de nosso planeta, e a Lua obrigada a preencher o vcuo que se formaria, desviando assim de seu trajeto retilneo natural. Mas por que um corpo mais pesado que cai em nossa mo gera uma sensao mais intensa de fora? Ora, os corpos caem com a mesma velocidade, como demonstrara Galileu (desprezando-se, claro, o efeito retardador do ar). Pelas leis do choque, um corpo com mais matria terciria (como o litro de chumbo) transmite mais quantidade de movimento
18
(velocidade) para a nossa mo do que o corpo com menos matria terciria (como o litro de cera). Assim, o chumbo que cai em nossa mo mais difcil de segurar. E se os dois corpos estiverem parados em nossa mo? Neste caso, por que o litro de chumbo mais difcil de segurar do que o de cera? A eu no sei, pergunte ao Ren! A teoria da gravitao de Descartes tinha um problema srio, que era o fato de que a tendncia centrfuga da matria celeste de se afastar do centro de rotao, digamos da Terra, se dava apenas no plano perpendicular ao eixo da Terra. Por que ento os corpos caem em direo ao centro da Terra, mesmo fora do Equador? Christiaan Huygens (1629-95) buscou resolver este problema em seu Discurso sobre a Causa do Peso, redigido em 1669 mas s publicado em 1690.20 Substituiu o vrtice cilndrico de Descartes por um vrtice esfrico, imaginando que as partculas da matria etrea giram em torno da Terra em todas as direes. A velocidade v dessas partculas obedeceria relao v2/r = g, onde r o raio da Terra e g a acelerao dos corpos em queda livre. Uma pedra que fosse solta no ar seria atingida em sua parte superior por matria celeste de velocidade maior, e assim, segundo ele, tenderia para o centro da Terra. Para sustentar sua teoria, Huygens realizou experimentos em uma mesa giratria com um recipiente cilndrico de gua, com seu centro no eixo de rotao da mesa. Pedaos de cera levemente mais pesados do que a gua, que se encontravam no fundo do recipiente, tendiam para o centro do recipiente (isto , para o eixo de rotao) a partir de uma certa velocidade de rotao, j que no conseguiam acompanhar o movimento da gua (devido ao atrito com o fundo do recipiente). A teoria mecnica dos vrtices planetrios explicava bem o fato de os planetas se moverem no mesmo plano em torno do Sol, em movimento aparentemente circular, e de suas rotaes e revolues se darem no mesmo sentido. Nas palavras de Huygens (1686): Os planetas nadam em matria. Pois, se no o fizessem, o que impediria os planetas de se afastarem, o que os moveria? Kepler quer, erroneamente, que seja o Sol. A teoria da gravitao de Newton (1687) foi a primeira a explicar as leis de Kepler, e a evidncia experimental a favor de rbitas elpticas levou tanto Huygens quanto Leibniz a tentar formular uma explicao mecnica para elas, em 1690 (at Newton tentou fazer isso, como aparece na Questo 21 de seu livro Opticks). O primeiro efeito da obra de Newton foi ento o fortalecimento da teoria mecnica dos vrtices planetrios. Mas a partir de 1720, a nova gerao de fsicos no Continente Europeu se convenceu da superioridade do programa newtoniano.21 7. Teoria Cintica da Gravitao Em 1782, muito tempo depois da queda da filosofia mecnica, George Louis Le Sage, em Genebra, encontrou uma maneira elegante de explicar a lei da gravitao de Newton por meio de princpios mecnicos (ou seja, envolvendo apenas foras de contato). Sua teoria pode ser chamada uma teoria cintica da gravitao, inspirada na idia formulada por Daniel Bernoulli para gases, em 1738. Na verdade, sua teoria semelhante a uma proposta feita por um matemtico suio, amigo de Newton, Nicolas Fatio de Duillier, em torno de 1693. A ontologia de Le Sage envolve corpsculos ultramundanos, bastante leves, que bombardeariam todos os corpos pesados de todos os lados. Um corpo perdido no espao receberia um nmero de impactos mais ou menos igual de todos os lados, permanecendo
20
DIJKSTERHUIS (1986), op. cit. (nota 19), pp. 461-3. Ver tambm MARTINS, R.A. (1989), Huygens e a Gravitao Newtoniana, Cadernos de Histria e Filosofia da Cincia (srie 2) 1, 151-84. BAIGREE, B.S. (1988), The Vortex Theory of Motion, 1687-1713: Empirical Difficulties and Guiding Assumptions, em Donovan, A.; Laudan, L. & Laudan, R. (orgs.), Scrutinizing Science, (Synthese Library 193). Kluwer, Dordrecht, pp. 85-102.
21
19
assim em um estado inercial. Mas quando dois corpos esto prximos, como a Terra e a Lua, um deles bloquearia parte dos corpsculos ultramundanos que atingiria o outro, como na formao de uma sombra. Desta forma, os corpos se atrairiam. Le Sage ajustou seus parmetros de forma a obter a lei da gravitao de Newton. Para explicar porque corpos mais densos exercem maior fora gravitacional, Le Sage teve que adotar a teoria cartesiana da matria, e supor que um corpo menos denso tem mais espao vazio em seu interior. A teoria cintica da gravitao uma idia que periodicamente volta cena, ora defendida por detratores da fsica oficial, ora incorporada em teorias cosmolgicas sofisticadas.22
22
BRUSH, S.G. (1976): The Kind of Motion We Call Heat, North-Holland, Amsterd, vol. 1, pp. 21-2. Este menciona alguns autores do sculo XX que retomam esta idia. Ver tambm: GOUGH, J.B. (1970), Lesage, George-Louis, em Dictionary of Scientific Biography, Scribners, Nova Iorque, vol. 8, pp. 259-60.
20
Cap. IV
Concepes Realista e Instrumentalista de Fora

Questo: A cincia deve apenas descrever o que observvel ou deve lanar hipteses sobre a realidade que estaria por trs dos fenmenos?
1. Mecanicismo com Foras Distncia O trabalho de Isaac Newton (1642-1727) pode ser visto, por um lado, como a culminao da tradio de pesquisa da filosofia mecnica, ao enunciar suas trs leis da mecnica (princpio de inrcia, definio de fora e princpio de ao e reao). No entanto, especialmente em seu estudo da lei de atrao gravitacional, introduziu a concepo de uma fora que age distncia. Ao fazer isso, injetou no programa mecanicista um elemento da tradio do naturalismo animista (de Kepler), e foi bastante criticado por isso. No entanto, no seguiu explicitamente a concepo de realidade desse naturalismo renascentista, mas adotou uma postura instrumentalista de renunciar busca de uma explicao mecnica para esta atrao. Em sua juventude, Newton era partidrio da concepo mecnica de Descartes e Huygens, adotando a viso atomista divulgada principalmente por Pierre Gassendi. No perodo 1664-66, estudou a mecnica de Descartes e assimilou o princpio de inrcia e as leis do choque entre corpos23. A noo de fora, a potncia de uma causa, era concebida como uma presso de um corpo sobre outro, estando restrita a choques entre corpos. Desses autores, herdou a noo de que a fora exercida por um corpo em outro, durante um choque, igual fora recebida. Passou a estudar os movimentos circulares, imaginando uma bola que est presa em uma arena circular, e se move chocando-se constantemente com as paredes da arena. Derivou uma expresso para a fora centrfuga (tambm estudada por Huygens), que descreve o movimento de fuga em relao ao centro (e no uma atrao): F = mv2/r. Juntou este resultado com a 3a lei de Kepler (que relaciona os perodos e os raios mdios das rbitas dos planetas: T 2/r3 = cte.), e encontrou uma fora que decresce com a distncia de acordo com 1/r2 (faa como exerccio, lembrando que v=2r/T). Ao aplicar esta frmula para a queda da Lua (usando a lei de Galileu, d = at2 ), encontrou uma discrepncia de uns 15%, e deixou a questo de lado. Alm disso, Newton no tinha ainda a noo de uma fora de atrao. Ao finalizar esses estudos, em 1666, Newton abandonou a mecnica e foi trabalhar com matemtica e com ptica. Em 1675, aps realizar importantes pesquisas em ptica, esboou uma viso de mundo que seguia Descartes em sua concepo de que a gravidade podia ser explicada a partir do movimento das partculas do ter, que ocupariam todo o espao. No entanto, adotava um princpio secreto de sociabilidade para explicar algumas reaes qumicas. Neste ano, ficou sabendo de uma correo para o valor de um grau de latitude, medida pelo astrnomo francs Jean Picard em 69,1 milhas inglesas, ao invs do valor de 60 milhas que Newton usara em seu clculo da queda da Lua em 1666. Com essa correo, a lei da fora gravitacional que ele havia encontrado passou a explicar bem o movimento da Lua. Em 1679, recebeu um convite de Robert Hooke (1635-1703) para reexaminar o problema dos movimentos planetrios. Aps algumas dificuldades iniciais, Hooke lhe sugeriu usar uma lei de atrao com uma fora proporcional a 1/r2. Deu alguns passos adiante, mas teve uma crise nervosa e acabou abandonando as pesquisas, recuperando-se ao longo de cinco anos. Finalmente, em 1684, o astrnomo Edmund Halley visitou Newton, perguntando ao exmio matemtico qual seria a trajetria de um corpo orbitando com uma fora de atrao
23
Seguimos WESTFALL (1971), op. cit. (nota 17), pp. 120-59, e DIJKSTERHUIS (1986), op. cit. (nota 19), pp. 463-91.
21
Cap.IV: Concepes Realista e Instrumentalista de Fora
proporcional a 1/r2, ao que Newton respondeu que seria uma elipse, conforme tinha calculado cinco anos antes para o problema de Hooke. As peas ento se encaixaram, e Newton retomou seu trabalho em mecnica, recebendo estmulo e auxlio financeiro de Halley. Disso resultou a publicao da grandiosa obra Philosophiae naturalis principia mathematica (Princpios naturais da filosofia natural, 1687). Outra obra importante de Newton foi seu Opticks (1704). Nesta, estendeu sua concepo de que existem foras que atuam distncia entre todos os corpos para todas as partculas, inclusive tomos e partculas de luz. Tais foras poderiam ser de atrao, o que explica a coeso dos corpos e a capilaridade, e tambm de repulso, como na expanso dos gases. O magnetismo seria outro exemplo importante de foras atuando distncia. Reaes qumicas tambm poderiam ser explicadas por meio da atrao e repulso no nvel microscpico. Ao final do sc. XVIII, essa concepo tornar-se-ia o paradigma dominante (especialmente para o grupo que trabalhava em torno de Laplace), no que s vezes chamado a viso astronmica da natureza: partculas imponderveis (sem peso) sujeitas a foras de atrao e repulso. 2. Definies e Leis no Principia O Livro I do Principia no falou em gravitao, mas apresentou os princpios gerais da mecnica, com definies bsicas e as suas trs leis. Com estas leis e a noo de fora centrpeta (fora central), Newton derivou as trs leis de Kepler. No Livro II, considerou sistemas com fluidos, e criticou a concepo cartesiana de vrtices para o sistema solar. No Livro III, aplicou sua teoria para a descrio detalhada do sistema solar, mostrando que a lei da gravitao a mesma para as luas de Jpiter, para os planetas em torno do Sol e para um corpo caindo na superfcie da Terra. Enunciou ento a lei da gravitao universal. interessante enfocarmos os conceitos fundamentais apresentados por Newton24, buscando entender se esses fundamentos so extrados da observao ou formulados teoricamente. Seguindo o mtodo axiomtico de Euclides, como era costume no sc. XVII, Newton parte de oito definies. A primeira do conceito de massa, que chamava quantidade de matria, e define como o produto da densidade e do volume. Tal definio passou a ser considerada problemtica, j que ele no define o que seria densidade. Com o desenvolvimento do texto, certas propriedades de massa deixaram claro que ela se distingue da noo de peso, conceitos esses que antes de Newton no eram distinguidos claramente (salvo em Kepler).25 A segunda definio de quantidade de movimento, hoje em dia s vezes chamada de momento linear, que seria o produto da massa e da velocidade. As definies 3, 4 e 5 apresentam uma lista de trs tipos de fora. O que chama de fora inata da matria (vis insita) o que chamamos de inrcia, uma tendncia do corpo de resistir ao de foras externas, e de permanecer em seu estado, seja ele de repouso ou movimento retilneo uniforme. A fora imprimida uma ao exercida sobre um corpo para modificar seu estado. o nosso conceito atual de fora, e exemplificado pela percusso ou pela presso (como era costume na filosofia mecnica) e tambm pela fora centrpeta (o que era uma novidade). A fora centrpeta, descrita na sexta definio, aquela dirigida para um ponto, e
Trechos relevantes de Newton se encontram na excelente coletnea de COHEN, I.B. & WESTFALL, R.S. (orgs.) (2002), Newton: Textos, Antecedentes, Comentrios, trad. Vera Ribeiro, Contraponto/Ed. UERJ, Rio de Janeiro, pp. 152-7, 278-91. (Original em ingls: 1995).
25 24
Ver JAMMER, M. (1964), Concepts of Mass in Classical and Modern Physics, Harper & Row, Nova Iorque.
22
exemplificada pela gravidade (atuando sobre projteis e sobre a Lua), pelo magnetismo, pela fora dos planetas (neste momento ainda no identificado com a gravidade) e pela fora de uma funda (ou seja, a fora elstica ou a tenso em uma corda). Nas definies seguintes, caracteriza trs tipos de quantidades de uma fora centrpeta. A primeira a quantidade absoluta, que no caso de uma fora eltrica estaria relacionada com a carga de um corpo. Ele no apresenta este exemplo, mas sim o da fora magntica, cuja carga estaria relacionada ao tamanho do im e sua intensidade. No caso de uma fora gravitacional, a quantidade absoluta seria a massa do corpo que gera a fora (o que poderamos chamar a carga gravitacional). A quantidade aceleradora de uma fora centrpeta seria simplesmente sua acelerao, a velocidade que ela gera em um determinado tempo. Na superfcie da Terra, a quantidade aceleradora igual para dois corpos, retirando ou descontando a resistncia do ar. J em montanhas elevadas, ela menor. Na definio 8, apresenta a fora motriz, que equivale nossa noo atual de fora, e exemplificado pelo peso. O enunciado exprime claramente a noo de uma fora contnua, que em um determinado intervalo de tempo gera um movimento, ou seja, gera uma variao na quantidade de movimento. Esta definio se aproxima bem da nossa concepo atual da expresso F = ma, ao contrrio da 2a lei, como veremos a seguir. Newton pde assim afirmar (p. 282) que a fora de acelerao est para a fora motriz assim como est a celeridade para o movimento, ou seja, a/F = v/p, j que a quantidade de movimento p = mv e a fora motriz F = ma. No esclio que se segue, diz que no ir definir tempo, espao, lugar e movimento, pois esse conceitos so bem conhecidos de todos. Com referncia ao tempo, distingue entre o tempo absoluto, real, matemtico, que flui uniformemente, sem relao com qualquer coisa externa, e o tempo relativo, que seria uma medida sensvel e externa. Analogamente, haveria o espao absoluto, sem relao com coisas externas, e o espao relativo, que seria uma medida do espao absoluto. Analogamente, haveria um lugar (volume) absoluto e um relativo, e tambm um movimento absoluto e um movimento relativo. No Cap. V discutiremos mais a fundo esta distino. Mais adiante no Livro 1, Newton apresenta suas famosas trs leis. A 1a lei o princpio de inrcia, que afirma que um corpo permanece em seu estado de movimento uniforme (velocidade constante) a menos que seja compelido a modificar esse estado por foras imprimidas sobre ele. A 2a lei afirma que a variao do movimento proporcional fora motriz imprimida, e ocorre na direo da linha reta em que essa fora imprimida. Por movimento entende-se a quantidade de movimento p = mv (introduzimos o negrito para designar grandezas vetoriais). A interpretao mais natural para o leitor moderno supor que Newton est afirmando que a fora motriz a derivada temporal do momento linear, ou seja, F = d/dt (mv), que seria equivalente a F = ma. Dijksterhuis (1986, pp. 470-4), porm, observa que a noo de fora usada por Newton em seus clculos de uma fora impulsiva I, como em um choque entre corpos, que resulta em uma variao finita de momento: I = (mv). Para sustentar esta interpretao, o historiador holands refere-se ao Corolrio 1 que se segue s leis, cujo enunciado o seguinte: Um corpo que sofre a ao de duas foras simultneas descreve a diagonal de um paralelogramo no mesmo tempo em que descreveria os lados do paralelogramo por essas foras, separadamente (ver Fig. IV. 1).
23
Figura IV.1: Paralelogramo descrevendo os movimentos resultantes de foras impulsivas exercidas em A.
Newton salienta que o movimento de A para B, etc., uniforme, de forma que est claro, neste caso, que a fora exercida em A impulsiva. A 2a lei garante que as duas foras agindo em A agem de maneira independente, resultando no movimento de A para D. Este um bom exemplo de uma soma linear de causas. verdade que Newton parecia ter a noo de uma fora que age de maneira contnua, como exprimiu em sua Definio 8 (e tambm em seu Corolrio 2, que no mencionamos), mas a utilizao da 2a lei em seus clculos envolve sempre uma fora impulsiva. Quem consolidou a concepo moderna de F = ma, para foras de todos os tipos, foi Leonhard Euler (1707-83), em 175026. A 3 lei de Newton a lei de ao e reao: para cada ao existe sempre uma reao igual e contrria. Se um corpo A exerce uma fora FAB sobre um corpo B, ento necessariamente haver uma fora FAB sendo exercida em A. O Corolrio 3 mostra como o princpio de conservao da quantidade de movimento segue das 2a e 3a leis. O Corolrio 4 mostra que o centro de gravidade de corpos interagentes permanece em seu estado de movimento inercial. 3. A Natureza da Fora Qual a natureza da fora? Seria ela uma vera causa, um processo real que resulta nos movimentos observados? Ou seria ela apenas uma construo matemtica obtida a partir dos movimentos observados?27 Newton oscila entre essas duas concepes. Em seu famoso Esclio Geral, escrito em 1713, na 2a edio do Principia, Newton afirma: At hoje, entretanto, no pude descobrir a causa dessas propriedades da gravidade dos fenmenos, e no invento hipteses; pois o que quer que no seja deduzido dos fenmenos deve ser chamado de hiptese, e as hipteses, sejam elas metafsicas ou fsicas, de qualidades ocultas ou mecnicas, no tm lugar na filosofia experimental (in COHEN & WESTFALL, 2002, pp. 154-5). Para entender o que Newton quis dizer com isso, preciso distinguir duas acepes do termo hiptese. (i) No sentido mais usual hoje em dia, uma hiptese qualquer tese que conjeturamos sem que ela ainda tenha sido submetida a teste. (ii) No sentido usado por Newton, uma conjectura a respeito da natureza no-observvel que estaria por trs dos fenmenos observveis. Na verdade, antes de escrever o Principia, Newton trabalhou em uma teoria mecanicista da gravitao (ou seja, s com foras de contato, como em Descartes, ver cap. II). Isso aparece em uma carta a Boyle em 1678, e reaparece na Questo 21 do Opticks. Tendo fracassado em sua tentativa, declarou ento que no invento hipteses (hypotheses non
TRUESDELL, C. ([1960] 1968), A Program toward Rediscovering the Rational Mechanics of the Age of Reason, in Essays in the History of Mechanics, Springer, Berlim, pp. 84-137. Ver pp. 112-7.
27 26
Essa maneira de apresentar a distino feita na seguinte interessante bibliografia sobre os problemas filosficos da mecnica clssica: HESSE, MARY (1964), Resource Letter PhM-1 on Philosophical Foundations of Classical Mechanics, American Journal of Physics 32, 905-11.
24
fingo), ou seja, que no h necessidade de estipular causas ou mecanismos ocultos, j que a expresso matemtica da lei de atrao universal suficiente para que se explique o movimento dos corpos celestes. Tal atitude pode ser chamada instrumentalista, em oposio ao realismo da filosofia mecnica. 4. Realismo, Instrumentalismo, Descritivismo A discusso envolvendo o realismo cientfico e seus opositores conhecida como a questo do estatuto cognitivo das teorias cientficas.28 Segundo o realismo, uma teoria bem confirmada deve ser considerada literalmente verdadeira ou falsa, no mesmo sentido em que um enunciado particular considerado verdadeiro ou falso. Assim, (i) as entidades postuladas pela teoria teriam realidade, no mesmo sentido em que objetos cotidianos so reais, mesmo que elas no sejam observveis (como quarks ou partculas virtuais); (ii) as leis tericas e princpios gerais seriam verdadeiros ou falsos, exprimindo a estrutura da realidade. Porm, como as teorias cientficas geralmente envolvem aproximaes ou simplificaes, deve-se entender a verdade atravs da noo de verdade aproximada ou do conceito de verossemelhana. Na Antigidade, a fsica era vista como uma cincia que buscava explicaes verdadeiras sobre o mundo, lanando hipteses sobre as verdadeiras causas dos fenmenos. Na astronomia, porm, com o desenvolvimento da tcnica de epiciclos para prever as posies dos astros, passou-se a considerar que a tarefa da astronomia seria apenas salvar os fenmenos, ou seja, descrever com preciso as observaes, fazendo previses precisas, sem se preocupar com a verdade. Segundo esta verso forte do instrumentalismo, uma teoria cientfica seria apenas um instrumento para se fazerem previses, e no havia a pretenso de que os epiciclos correspondessem realidade por detrs dos fenmenos astronmicos. Um exemplo clssico de discurso instrumentalista foi o prefcio escrito por Andras Osiander29 ao livro de Nicolau Coprnico, salientando que no seu sistema astronmico no tinha a prestenso de ser verdadeiro, salvar os fenmenos, fornecendo um clculo coerente com as observaes, e no um retrato real do Universo. O descritivismo uma forma de anti-realismo que busca traduzir ou reduzir os enunciados tericos de uma teoria em termos dos enunciados de observao. Uma teoria vista como uma formulao econmica (ou seja, a mais simples possvel) das relaes de dependncia entre eventos ou entre propriedades observveis. Termos tericos como partculas virtuais seriam uma descrio abreviada de um complexo de eventos e de propriedades observveis, e no faria sentido dizer que se referem a uma realidade fsica inacessvel para a observao (Fig. IV.2). Mesmo assim, o descritivismo aceita que um enunciado terico seja considerado verdadeiro ou falso, na medida em que for tradutvel em enunciados de observao verdadeiros. A distino entre instrumentalismo e descritivismo sutil, e hoje em dia h uma tendncia de englobar ambos sob o nome instrumentalismo (em sentido lato) ou simplesmente anti-realismo. O primeiro autor a quem se costuma atribuir o termo descritivista Ernst Mach (por exemplo, em Niiniluoto, 1999, p. 110), com sua preocupao em reduzir a linguagem terica linguagem de observao (como veremos na
Uma apresentao clssica, mas um pouco desatualizada, feita por NAGEL, E. (1961), The Structure of Science, Harcourt, Brace & World, Nova Iorque, pp. 117-52. Uma discusso mais completa e atualizada dada por NIINILUOTO, I. (1999), Critical Scientific Realism, Oxford U. Press, cap. 5.
29 28
OSIANDER, A. ([1543] 1980), Prefcio ao De Revolutionibus Orbium Coelestium, de Coprnico, trad. e notas de Z. Lopari, Cadernos de Histria e Filosofia da Cincia 1, pp. 44-61.
25
seo VII.2), mas foram os positivistas lgicos (Carnap, Schlick, Reichenbach, etc., entre as dcadas de 1920 e 60) que mais trabalharam nesta concepo, com sua preocupao com a linguagem da cincia. Pode-se talvez associar o positivismo a uma viso descritivista, apesar de se tambm poder associ-lo ao instrumentalismo. Alm do descritivismo, outras teses que comporiam o positivismo seriam o nominalismo (seo I.4), o critrio de demarcao entre cincia e metafsica, a separao entre fato e valor, e a tese da unidade da cincia.30 Ao contrrio do descritivismo, que est ligado a uma preocupao com a linguagem da cincia e na reduo do significado dos enunciados tericos ao significado dos enunciados de observao, o instrumentalismo no v uma teoria cientfica necessariamente como uma linguagem, mas sim como um instrumento lgico ou matemtico para organizar as observaes e as leis experimentais. Uma teoria vista no como um conjunto de enunciados que tenham valor de verdade, mas sim regras de acordo com as quais as observaes so analisadas e inferncias (previses) so obtidas. Seria incorreto dizer que a teoria uma descrio abreviada de observaes (como no descritivismo), da mesma maneira que um martelo no uma descrio abreviada de seus produtos. O instrumentalismo tem facilidade em lidar com idealizaes e modelos simplificados em uma teoria cientfica, no tendo necessidade de definir uma noo de verdade aproximada. Uma idealizao, ou seja, uma teoria simplificada, fornece um bom exemplo de como uma teoria pode funcionar como instrumento, sem ter referncia (sem ser verdadeira ou falsa). Alm disso, o instrumentalismo no v problemas em se utilizar, em diferentes momentos, teorias contraditrias.
Figura IV.2: Esquema da relao entre teoria e realidade, segundo a viso recebida.
30
31
Para um estudo das teses que compem o positivismo, ver o cap. I de: KOLAKOWSKI, L. (1981), La Filosofa Positivista, trad. G. Ruiz-Ramn, Ediciones Ctedra, Madri (original em alemo publicado em Varsvia em 1966).
31
A viso recebida foi desenvolvida entre 1920 e 1960, e caracteriza uma teoria como sendo uma linguagem logicamente estruturada. Uma boa referncia, na qual a figura se baseia, : FEIGL, H. ([1970] 2004) A Viso
26
A distino entre realismo e anti-realismo leva a uma distino entre dois tipos de teorias cientficas (seguindo nomenclatura de Rankine, 1855, citado por Nagel, 1961). Teorias hipotticas (transcendentes, microscpicas) enunciam relaes entre entidades hipotticas que no so observveis, como os mecanismos ocultos da filosofia mecnica ou os tomos da teoria cintica dos gases. J as teorias abstrativas (fenomenolgicas, macroscpicas) formulam apenas relaes entre propriedades observveis, como foi feito por Fourier, em sua teoria do calor, e pela termodinmica. A afirmao de Newton de que no inventaria hipteses a respeito da natureza da lei da gravitao prpria de uma teoria abstrativa. 5. Realismo e Anti-Realismo em Newton Newton era realista, instrumentalista ou descritivista? A tradio mecanicista de Descartes e Huygens era realista (assim como o atomismo grego), j que concebiam mecanismos envolvendo partculas invisveis que dariam conta dos fenmenos macroscpicos observados. Newton foi formado nesta tradio (recebendo influncias tambm do naturalismo animista, uma viso tambm realista), e assim ele tinha uma atitude basicamente realista. Um exemplo claro de uma tese realista sua defesa do espao absoluto, que veremos no prximo captulo. Outro exemplo sua tese de que a luz consiste de partculas emitidas com diferentes velocidades. No entanto, ao anunciar que no se preocuparia em inventar hipteses a respeito das causas da fora gravitacional, adotou uma postura anti-realista. Seria esta uma postura descritivista ou instrumentalista? No se costuma chamar sua atitude de descritivista porque ele no tinha preocupao em reduzir o significado de enunciados tericos a enunciados de observao, como Mach faria mais tarde. Por outro lado, ele no seria um instrumentalista no sentido forte da tradio astronmica, conforme expresso no prefcio de Osiander, que mencionamos na seo anterior. Uma soluo dizer que adotou um instrumentalismo metodolgico, ou seja, j que no conseguiu imaginar um mecanismo para a gravitao, absteve-se de postular uma hiptese, no por um princpio filosfico, mas apenas pelas circunstncias do problema. No entanto, a partir do sc. XIX, sua afirmao seria interpretada por muitos como a afirmao de que a Fsica no precisa se preocupar com mecanismos ocultos, que basta conhecer o estado inicial e as condies de contorno observveis, para da fazer previses utilizando as leis de movimento da Fsica. No sc. XIX, o trabalho que lanaria esse projeto anti-realista seria a Teoria Analtica do Calor (1822), de Joseph Fourier, que descrevia situaes de equilbrio e conduo trmica de maneira matemtica, sem se comprometer com a natureza ltima do calor, com o debate de se o calor era uma forma de movimento de partculas ou uma substncia, um fluido sem peso (calrico). Este trabalho foi uma das fontes de inspirao para o positivismo do sc. XIX, que se inicia com Auguste Comte (Kolakowski, porm, cita Hume como o primeiro positivista completo). Apesar de sua atitude metodologicamente instrumentalista com relao s causas da fora gravitacional, Newton considerava que as foras existiam de fato, ou seja, era um realista com relao entidade fora. No sc. XIX, Mach desenvolveria um positivismo radical no qual o prprio conceito de fora seria visto como uma mera construo mental, um termo terico (no observvel), que buscaria definir em termos de grandezas observveis, como posies e aceleraes (ver adiante).
Ortodoxa de Teorias: Comentrios para Defesa assim como para Crtica, Scientiae Studia 2(2), pp. 265-77. Devido a dificuldades de incorporar modelos e analogias, essa viso sinttica tem sido hoje preterida em favor da chamada viso semntica de teorias.
27
Cap. V
Experimento do Balde e Espao Absoluto

Questo: O espao e o tempo so absolutos ou relativos?
1. H Juzos Sintticos A Priori? Ser que apenas atravs do raciocnio (antes da observao) a gente consegue chegar a alguma verdade sobre o mundo real? Vimos que Descartes considerou que sim (seo III.5): partiu de princpios a priori, atingveis pela razo pura (sem experincia ou observao), de que o eu existe, de que Deus existe, de que ele perfeito e invarivel, e teria deduzido a lei de conservao da quantidade do movimento. Como esta lei descreve o movimento dos corpos do mundo, diz-se que um enunciado sinttico ou factual. Os empiristas britnicos rejeitaram essa pretenso dos metafsicos (como Descartes e Leibniz) de que se pudesse conhecer o mundo apenas atravs da razo, sem observao. David Hume (1711-76) foi o mais importante crtico desta concepo, salientando que existem verdades analticas a priori, mas no sintticas a priori. Uma verdade analtica ou uma verdade lgica, como Dentro de uma hora chover aqui ou no chover aqui, ou uma verdade por definio, como Nenhum casado solteiro. A negao de uma verdade analtica uma contradio lgica, mas a negao de uma verdade sinttica uma possibilidade lgica (por exemplo, que a grandeza mev se conserva, ao invs de mv). Em suma, para o empirismo no h verdades sintticas a priori. No entanto, influenciado por Hume, o alemo Immanuel Kant (1724-1804) buscou fazer uma sntese do racionalismo dos metafsicos e do empirismo britnico (que ganhara adeptos na Frana), salientando que o nosso conhecimento do mundo envolve uma construo mental, e que a estrutura comum a tudo o que observamos (como o espao euclidiano, a relao de causalidade, etc.) algo que nosso intelecto constri, e no algo que possamos dizer que existe na realidade. Para Kant, a geometria euclidiana exprime como o mundo de fato, mas tal geometria pode ser conhecida de maneira a priori! Assim, para Kant, haveria verdades sintticas a priori. A diferena com Descartes que tais verdades no se refeririam a algo l fora, no mundo real, pois para Kant tal mundo das coisas-em-si inatingvel pela razo pura, pela a cincia. Para o filsofo de Knigsburg, as verdades mais gerais de nosso conhecimento exprimem a maneira como ns (ou qualquer ser inteligente que tenha experincia do mundo) inevitavelmente organizamos nossa experincia. E estas verdades podem, para Kant, serem conhecidas de maneira a priori. No final de sua vida, Kant procurou mostrar que as prprias trs leis da mecnica newtoniana so sintticas a priori, ou seja, derivveis teoricamente, sem necessidade de observar o mundo. Esse projeto deixa claro a certeza que se tinha da veracidade da mecnica clssica, a noo de que a cincia atinge verdades definitivas. No sc. XX, o positivismo lgico herdou a concepo empirista de que no h verdades sintticas a priori, mas a partir da dcada de 1950, crticos como Quine argumentaram que a prpria distino entre enunciados analticos e sintticos mal formulada. Hoje em dia, a questo se coloca em um contexto naturalizado, ou seja, levando em conta que nossa mente fruto de um crebro que evoluiu biologicamente, de maneira a se adaptar de forma muito fina com o ambiente. Ser que o fato de termos evoludo por seleo natural, dentro de um mundo fsico-qumico-biolgico, permite que possamos conhecer verdades a respeito de ns mesmos e do mundo (do qual fazemos parte) sem termos que observar o mundo exterior? 28
FLF0472 Filosofia da Fsica (USP- 2008)
Cap. V: Experimento do Balde e Espao Absoluto
2. Referenciais Inerciais e No-Inerciais Um dos conceitos que surgem da mecnica de Newton o de referencial inercial. Trata-se de um referencial (sistema de referncia) em movimento retilneo uniforme (i.e., com velocidade constante) em relao ao referencial do espao absoluto. As leis da mecnica clssica so invariantes ante mudanas de referenciais inerciais: eis o princpio de relatividade galileano. Se o referencial no for inercial, a sua acelerao gerar foras fictcias nos objetos do sistema. Por exemplo, quando um carro faz uma curva para a esquerda, o passageiro cai para a direita, no porque exista uma fora real atraindo ele para a direita, mas porque, por inrcia, sua tendncia natural permanecer em movimento retilneo uniforme, e quando o carro vira para a esquerda, o passageiro tende a permanecer em linha reta, o que resulta num movimento aparente para a direita, aparente em relao ao carro. No referencial do carro, a fora para a direita fictcia, pois no h fontes que ocasionam esta fora, e porque h um referencial inercial externo que explica esta fora fictcia a partir da acelerao do carro. Mas como podemos descobrir se um certo referencial ou no inercial? Uma proposta inicial seria a seguinte. Analisam-se todas as aceleraes dos corpos que compem o sistema de estudo, e buscam-se as foras responsveis por essas aceleraes, ou seja, as fontes das foras, como massas (que geram foras gravitacionais), cargas eltricas, ims, molas, mesas (fonte da fora normal), presses, atritos, etc. Se ao final deste estudo, houver alguma acelerao que no pode ser atribuda a uma interao fsica, ento o referencial considerado no inercial. Ao se soltar uma pedra para o fundo de um poo, observa-se uma pequena acelerao para leste. Como essa acelerao no pode ser atribuda fora gravitacional ou a um movimento do ar, conclui-se que vivemos num referencial no inercial. De fato, a acelerao para leste devida fora fictcia de Coriolis, que se origina da rotao da Terra. Tal receita apresenta alguns problemas, pois ela depende de quais interaes (que geram as foras) a teoria fsica aceita. Poder-se-ia talvez, a princpio, postular uma nova interao para explicar a origem da fora considerada fictcia. Como saber com certeza? 3. O Experimento do Balde Newton apresentou o seguinte argumento em favor da existncia de um referencial inercial absoluto, que constituiria um espao absoluto. No seguiremos risca seu argumento, mas o ampliaremos a partir das anlises feitas por outros autores.32 Considere um balde parcialmente cheio de gua, que repousa a mil quilmetros acima do plo Sul. Consideremos quatros estgios do experimento-de-pensamento, ilustrados pela Fig. V.1. (a) Inicialmente o balde est em repouso, e a gua tambm. (b) A seguir, o balde girado a uma velocidade angular constante, mas neste primeiro instante a gua permanece parada, no seu estado inicial (apenas a camada em contato com a parede do balde se movimenta, mas esse movimento desprezado). (c) Aps algum tempo, a gua passa a girar com a mesma velocidade angular que o balde, e sua superfcie deixa de ser plana, e passa a ter a forma de um parabolide de revoluo. (d) Por fim, o balde parado, mas a gua, num primeiro instante, continua girando, com sua superfcie em forma de parabolide.
NEWTON, I. (1990), Princpios Matemticos de Filosofia Natural, v. 1, trad. T.S.F. Ricci, L.G. Brunet, S.T. Gherin & M.H.C. Celia, Nova Stella/Edusp, So Paulo, pp. 11-12 (orig. em latim: 1687). MACH, E. (1960), The Science of Mechanics, Open Court, La Salle (EUA), pp. 271-97, 336-41 (orig. em alemo: 1883). Ver tambm o relato geral de NAGEL (1961), op. cit. (nota 28), pp. 203-14, e o relato mais pungente de ASSIS, A.K.T. (1998), Mecnica Relacional, Coleo CLE 22, CLE-Unicamp, pp. 45-54, 68-9, 134-43.
32
29
Figura V.1: (a) Balde e gua parados. (b) Balde girando e gua ainda parada. (c) Balde girando e gua girando junto. (d) Balde parado, mas gua continua girando.
A tendncia da gua de subir as paredes do balde um fenmeno real, conseqncia de uma acelerao radial da gua. Haveria uma fora (com fonte bem definida) associada a esta acelerao, ou ela seria o efeito de uma fora fictcia (ver seo V.2)? Claramente tratase de um efeito que surge do movimento do balde (nenhum outro corpo do Universo foi alterado, ou seja, assume-se uma clusula de ceteris paribus). Assim, o efeito resultante de uma fora fictcia no referencial girante do balde; ou seja, da perspectiva de um referencial inercial, o efeito resultado de uma acelerao. A questo agora : em relao a que referencial (inercial) se d esta acelerao? Pois para medirmos uma acelerao (constituindo uma acelerao relativa, segundo as definies de espao e tempo relativos de Newton, ver seo IV.2), devemos faz-lo em relao a algum sistema de referncia. Podemos imaginar diferentes candidatos: o balde, a Terra, as estrelas, um espao absoluto. Ser que o movimento da gua em relao ao balde o responsvel pela forma parabolide de sua superfcie? No, argumentou Newton, pois na Fig. IV.1 temos duas situaes em que o movimento relativo de ambos diferente (c e d), mas a forma da gua idntica; ou uma situao em que o movimento relativo igual (a e c), mas a forma diferente. Talvez ento o responsvel pela gua subir a parede seja o movimento da gua em relao Terra. Mas segundo a teoria da gravitao de Newton, se a Terra subitamente parasse de girar, isso no teria efeito algum sobre a gua. Portanto, no a acelerao em relao Terra que seria responsvel pela acelerao da gua. Ser talvez que o referencial em questo seria fixado pelas estrelas, que formam aproximadamente uma casca esfrica de matria, no centro da qual se encontraria o balde? No, pois se pudssemos girar a casca das estrelas, nenhum efeito surgiria no seu interior, segundo a teoria de Newton. Portanto, nenhum corpo material pode fixar o referencial em relao ao qual o efeito na gua medido. Assim, Newton concluiu que haveria um referencial espacial imaterial, absoluto, em relao ao qual se do todas as aceleraes. Seria um referencial inercial, mas no poderamos determinar sua velocidade em relao a outros referenciais inerciais. De uma perspectiva anti-realista, no teria sentido estipular uma velocidade para este referencial. Newton completa sua discusso com outro experimento-de-pensamento, a de dois globos ligados por uma corda. Quando o sistema gira, surge uma tenso na corda. No entanto, se as estrelas fixas girassem em torno dos globos e estes ficassem parados, no haveria tenso na corda, segundo a fsica de Newton. Assim, a tenso na corda s poderia ser explicada pela rotao dos globos em relao ao espao absoluto.
30
4. A Defesa do Espao Relativo A primeira defesa do espao relativo, aps o trabalho de Newton, foi feita por Gottfried Wilhelm von Leibniz (1646-1716). Ela apareceu em uma troca de cartas com o telogo ingls Samuel Clarke, amigo de Newton, em 1715-6. O ponto de vista do alemo se baseia no princpio de razo suficiente, que em sua segunda carta expresso da seguinte maneira: nada acontece sem uma razo pela qual ela deva ser de uma maneira ao invs de outra. Em sua terceira carta, Leibniz argumenta que um espao absoluto violaria o princpio de razo suficiente. Pois o espao uniforme, e se ele no contiver coisas materiais, um ponto do espao no ir diferir de outro ponto. Ora, se houver um espao absoluto, quando Deus resolveu colocar as coisas no espao, ele no teria razo nenhuma para colocar as coisas aqui ou acol, ou orientadas num sentido e no em outro (mesmo mantendo a situao relativa entre elas). No haveria razo suficiente para a criao das coisas no mundo, mas elas de fato foram criadas. Assim, o espao absoluto no poderia existir. O espao seria a ordem das coexistncias, ou seja, seria a prpria relao entre as coisas materiais.33 O problema do balde no foi satisfatoriamente resolvido por Leibniz. Na verdade, foi Clarke quem vislumbrou a possibilidade de que se um corpo existisse sozinho, seria incapaz de movimento, ou [...] as partes de um corpo que circula (ao redor do Sol, p. ex.) perderiam a fora centrfuga que nasce de seu movimento circular, se toda a matria exterior que as cerca fosse aniquilada (in ASSIS, p. 113). Note-se tambm que Leibniz no percebeu que sua teoria relacional do espao e tempo deveria entrar em contradio com sua noo de que a energia cintica (vis viva) teria um valor absoluto. Outro filsofo que defendeu o espao relativo foi o bispo irlands George Berkeley (1685-1753), que na sua obra De Motu (1721) afirmou que seria suficiente, para determinar o movimento e o repouso verdadeiros [...], considerar o espao relativo, ao invs do espao absoluto, enquanto confinado pelo cu das estrelas fixas, que se considera estar em repouso.34 No entanto, ao analisar o experimento do balde girante, no invocou de maneira clara esta possibilidade. Essas questes foram discutidas nas dcadas seguintes, mas foi s com Ernst Mach (1838-1916) que as teses relacionais receberam uma sustentao mais forte, em sua obra A Cincia da Mecnica (1883). Sua idia bsica foi considerar que todo o universo ou as estrelas fixas que estabelecem o referencial a partir do qual as velocidades tm significado, assim como a lei de inrcia. De fato, havia um estudo experimental do astrnomo Hugo von Seeliger que indicava que o sistema inercial que se estabelece na Terra coincide com o sistema emprico obtido a partir da observao das estrelas. Em termos newtonianos, o conjunto das galxias no gira em relao ao espao absoluto. Para Mach, todas as massas e todas as velocidades e, conseqentemente, todas as foras, so relativas [...] a viso ptolomaica [ou melhor, a de Tycho Brahe] ou copernicana nossa interpretao, mas ambas so igualmente verdadeiras. Tente fixar o balde de Newton e girar o cu das estrelas fixas e ento prove a ausncia de foras centrfugas. [...] Os princpios da mecnica podem, de fato, ser concebidos tal que mesmo para rotaes relativas surgem as foras centrfugas (in ASSIS, 1998, pp. 132-3).
A correspondncia Leibniz-Clarke aparece em: ALEXANDER, H.G. (org.) (1956), The Leibniz-Clarke Correspondence, Manchester U. Press. Seguimos aqui o relato e anlise de ASSIS (1998), op. cit. (nota 32), pp. 105-43, que contm vrias citaes. BERKELEY, G. (2006), De Motu (Sobre o movimento ou sobre o princpio, a natureza e a causa da comunicao dos movimentos), trad. Marcos R. da Silva, Scientiae Studia 4(1), 115-37, disponvel na internet.
34
33
31
A tese de que o espao, tempo e velocidades so relativos passou a ser conhecido como princpio de Mach. Em outros termos, a tese de que as foras fictcias so reais e geradas pelo movimento em relao matria. Uma conseqncia do princpio de Mach, incorporado na abordagem conhecida como mecnica relacional, a tese de que a massa inercial de um corpo devido interao gravitacional com os outros corpos do Universo. Ou seja, se quase toda a matria do Universo, fora da Terra, desaparecesse, voc poderia parar um caminho que estivesse se movendo em ponto morto na horizontal com suas prprias mos (desde que seus ps estivessem em contato com o cho, sofrendo atrito esttico)! Isso ocorreria porque a massa inercial do caminho ficaria reduzida, j que a quantidade de matria no Universo se reduziu. A mecnica relacional redescoberta por Andr Assis, da Unicamp, pode ser considerada uma teoria mais completa que a mecnica newtoniana, e implementa o princpio de Mach utilizando-se de uma expresso para o potencial gravitacional que depende no s das posies relativas mas tambm da velocidade relativa entre os corpos. Tal expresso para a fora foi derivada pela primeira vez por Wilhelm Weber em 1848, no contexto do eletromagnetismo. Na gravitao, foi introduzida na dcada de 1870. A idia de que a massa inercial surge da interao com a matria do resto do Universo apareceu no final do sc. XIX. Essa idia tambm se aplica para a origem da energia cintica dos corpos em movimento. Em 1925, Erwin Schrdinger desenvolveu a mecnica relacional de forma independente, considerado-a como sendo pelo menos um estgio intermedirio permissvel e til [em direo teoria da relatividade geral], que torna possvel compreender, de maneira simples mas ao mesmo tempo sensata, uma situao emprica simples atravs de concepes que so familiares a todos.35 5. Princpio de Mach e a Teoria da Relatividade Geral Albert Einstein formulou sua teoria da relatividade geral de 1916 tendo sido influenciado pelas idias relacionais de Mach. Desde 1912 Einstein utilizava o princpio, quando calculou o aumento da massa inercial de um corpo no interior de uma casca esfrica e sua acelerao induzida pela rotao da casca. Com a teoria da relatividade geral, Einstein generalizou sua teoria da relatividade restrita impondo que as leis da fsica devem ter uma estrutura tal que a sua validade permanea em sistemas de referncia animados de qualquer movimento, e no apenas para referenciais inerciais. Ou seja, ele imps a igualdade na forma das equaes em todos os sistemas de referncia. Esta invarincia na forma das equaes no tinha sido sugerida por Mach. Einstein36 considerava que quatro conseqncias tm de ser obtidas em qualquer teoria que implemente o princpio de Mach: 1) A inrcia de um corpo deve aumentar se se acumulam na sua vizinhana massas ponderveis. 2) Um corpo deve sofrer uma fora aceleradora quando massas vizinhas so aceleradas; a fora estaria no mesmo sentido que a acelerao.
ASSIS, A.K.T. & PESSOA JR., O. (2001), Erwin Schrdinger e o Princpio de Mach, Cadernos de Histria e Filosofia da Cincia (srie 3) 11, 131-52. Ver p. 145. Sobra a histria da mecnica relacional, ver ASSIS (1998), op. cit. (nota 32), pp. 297-319.
36
35
EINSTEIN, A. (1958), O Significado da Relatividade, trad. de M. Silva, Armnio Amado, Coimbra, p. 123 (orig. em alemo: 1922).
32
3) Um corpo oco animado de um movimento de rotao deve produzir no seu interior um campo de Coriolis que faz com que corpos em movimento sejam desviados no sentido da rotao; deve ainda produzir um campo de foras centrfugas radial. 4) Um corpo em um universo vazio no deve ter inrcia; ou, toda inrcia de qualquer corpo tem que vir de sua interao com outras massas no universo. Inicialmente, em 1916-18, Einstein pensava que estas quatro conseqncias estavam contidas na relatividade geral, e que portanto seria possvel implementar o princpio de Mach em sua teoria. Em meados de 1918, porm, foi obrigado a abandonar a quarta conseqncia, e assim, aos poucos, foi abandonando o princpio de Mach. O que ocorreu foi o seguinte. As primeiras solues obtidas para sua equao de campo gravitacional (como a de Schwarzschild) supunham como condio de contorno que a mtrica no infinito era minkowskiana, ou seja, idntica da relatividade restrita. Isso ia contra o princpio de Mach, pois (i) a mtrica local no seria determinada apenas pela distribuio de matria, mas tambm por uma condio de contorno, e (ii) se o universo fosse vazio, sua mtrica seria toda minkowskiana, mas com isso ter-se-ia um espao absoluto no qual um corpo de prova teria inrcia (mesmo na ausncia de outras massas). Para manter o princpio de Mach, Einstein props em 1917 o seu famoso modelo cosmolgico no qual o universo fechado (como a superfcie de uma esfera), de forma que no h contorno: a mtrica (que descreve as propriedades inerciais dos corpos) seria determinada apenas pela distribuio de matria, e no por condies de contorno. Nota-se que, para conseguir um universo fechado esttico (a expanso do universo no era ainda conhecida), Einstein teve que modificar suas equaes, introduzindo uma constante cosmolgica. Concluiu assim ter conseguido implementar o princpio de Mach. No entanto, ainda em 1917 o astrnomo holands Willem de Sitter mostrou que as equaes modificadas admitiam uma soluo para um universo vazio, que correspondia a um universo em expanso! Aps passar um ano tentando mostrar que a soluo de de Sitter era fisicamente inaceitvel (devido a alguma singularidade), Einstein abandonou suas tentativas de implementar rigorosamente o princpio de Mach. Em 1951, A.H. Taub mostrou tambm que as equaes de Einstein sem a constante cosmolgica podem gerar um espao curvo na ausncia de matria.37 O fato de a Teoria da Relatividade Geral permitir solues que violem o princpio de Mach no significa que o princpio no seja verdadeiro. Com efeito, h propostas como a de John Wheeler (1964) de se utilizar o princpio de Mach na Relatividade Geral para selecionar condies iniciais, de contorno ou de simetria apropriadas para o Universo. Mesmo aceitando a validade da Relatividade Geral, um problema em aberto a questo da validade do princpio de Mach. Ou seja, a questo de se o espao absoluto ou relativo ainda est aberta!
ASSIS & PESSOA (2001), op. cit. (nota 35), pp. 135-9. Uma referncia no citada neste artigo : GRNBAUM, A. (1964), The Philosophical Retention of Absolute Space in Einsteins General Theory of Relativity, in Smart, J.C.C. (org.), Problems of Space and Time, Macmillan, Nova Iorque, pp. 313-7.
37
33
Cap. VI
Determinismo e Probabilidade
(verso preliminar)
Questo: A natureza determinista ou h eventos sem causa?

1. Determinismo e Previsibilidade O determinismo estrito a tese de que o estado presente do Universo fixa de maneira unvoca o estado do Universo em qualquer instante do futuro. Esta tese sugerida pela mecnica clssica, para a qual, dados as condies iniciais e de contorno de um sistema, e dadas as equaes diferenciais que regem a evoluo do sistema, o estado em qualquer instante futuro poderia em princpio ser calculado. Segundo a mecnica clssica, o determinismo estrito vale tambm para um sistema completamente isolado do resto do Universo, ou para um sistema cuja evoluo no afetada de maneira significativa pelo ambiente. Se a evoluo de um sistema for previsvel para todos os estado iniciais, isso indica que o sistema determinista, mas o contrrio no vlido. Ou seja, se constatarmos que um sistema imprevisvel, isso no implica que ele seja indeterminista, pois pode acontecer que no tenhamos acesso a todas as variveis que influenciam a evoluo do sistema. Esta situao em que h um determinismo escondido s vezes chamada de criptodeterminismo. Notemos que o termo determinismo uma designao ontolgica, pois se refere natureza do mundo, ao passo que previsibilidade um termo epistemolgico, relativo capacidade que temos de conhecer o futuro. Um exemplo de sistema imprevisvel fornecido pela Fsica Quntica, teoria desenvolvida em 1926. Aps a consolidao desta teoria, achava-se que ela tinha mostrado que o mundo essencialmente indeterminista, mas em 1951 David Bohm forneceu uma interpretao determinista da Fsica Quntica. Como resultado disso, a questo de se a natureza determinista ou no permanece como um problema aberto. Apesar da imprevisibilidade para resultados de medies individuais, a Fsica Quntica permite que se faam previses precisas sobre as freqncias estatsticas com as quais diferentes resultados ocorrem. Pode-se assim falar de um determinismo estatstico. Se o Universo no for estritamente determinista, tem-se uma situao de indeterminismo, probabilismo ou tiquismo (termo usado pelo filsofo norte-americano Charles Peirce, a partir do termo grego tyche, que acaso). Pode-se tambm falar em estocasticidade, mas geralmente um sistema estocstico (como um gro de plen em movimento browniano) consistente com um determinismo em uma escala inferior (por exemplo, entre os tomos que fazem o gro de plen flutuar). Outros termos usados so aleatrio ou catico, que so mencionados nas sees VI.4 e 5. Outra maneira de caracterizar um sistema indeterminista falar em perda de causalidade, ou afirmar que ocorrem eventos sem causa, que ocorrem espontaneamente. Isso iria contra o princpio de razo suficiente de Leibniz, para o qual tudo tem que ter uma razo (uma causa) para acontecer. 2. O Demnio de Laplace Ao definirmos um sistema determinista, escrevemos que seria em princpio possvel prever com exatido o futuro desse sistema. Uma maneira de exprimir isso de maneira um pouco diferente foi feita por Pierre-Simon Laplace (1749-1827), em sua famosa defesa do determinismo: 34
Cap. VI: Determinismo e Caos
Podemos considerar o estado atual do universo como o efeito de seu passado e a causa de seu futuro. Uma inteligncia que, em um instante determinado, deveria conhecer todas as foras que pem em movimento a natureza, e todas as posies de todos os objetos dos quais a natureza composta, se esta inteligncia fosse ampla o suficiente para submeter esses dados anlise, ela englobaria em uma nica frmula os movimentos dos maiores corpos do universo e dos menores tomos; para tal inteligncia nada seria incerto e o prprio futuro, assim como o passado, estariam evidentes a seus olhos.38
Essa inteligncia imaginada por Laplace foi posteriormente chamada de demnio de Laplace, onde demnio deve ser entendido no sentido original grego, como um semideus (daimon) ou super-heri, sem ser necessariamente do mal. O demnio de Laplace teria que ter pelo menos quatro propriedades para funcionar: (i) Oniscincia instantnea: Conheceria o estado de todo o Universo em um instante do tempo, com resoluo e acurcia perfeitas. (ii) Erudio nomolgica: Conheceria com exatido todas as leis que regem o Universo. (iii) Super-computao: Seria capaz de realizar o clculo mais complicado em um intervalo de tempo insignificante. (iv) No distrbio: A atuao do demnio no afetaria em nada o funcionamento do Universo. Com essas quatro propriedades, pode-se definir o determinismo estrito da seguinte maneira. Se o demnio de Laplace partir do conhecimento do estado atual do Universo, e fizer uma previso sobre qual ser o estado exato do Universo depois de um certo tempo t, ento se ele acertar 100% de suas previses, o Universo ser determinista, se no, ser indeterminista. 3. Probabilidade A discusso sobre se a fsica quntica (cripto-)determinista ou indeterminista pode ser reformulada com relao a se a noo de probabilidade epistmica ou ontolgica. Se afirmo que a probabilidade de obter um resultado em um experimento quntico , isso uma expresso da minha ignorncia a respeito de todos os fatores causais envolvidos situao tpica da mecnica estatstica clssica ou exprime uma indefinio essencial da realidade? No primeiro caso, quando atribumos uma probabilidade apenas por falta de informao, fala-se em uma noo epistmica de probabilidade, ao passo que em um Universo tiquista ou indeterminista tem-se uma probabilidade ontolgica (neste caso, nem o demnio de Laplace conseguiria prever com certeza). Um exemplo disso pode ser tirado da biologia. Uma mulher grvida pode perguntar ao mdico qual a probabilidade de seu filho ter olhos claros, e ele poder responder que . Esta uma probabilidade epistmica, pois a cor dos olhos j est definida no cromossomo do feto, e a probabilidade atribuda devido ignorncia que se tem a respeito do gene, que na realidade j est definido. Por outro lado, esta mesma mulher poderia perguntar qual a probabilidade de um segundo filho, ainda no concebido, ter olhos claros. Se supusermos que o futuro aberto (ou seja, a evoluo do Universo indeterminista), ento a resposta do mdico, de que tal chance , seria uma probabilidade ontolgica. E se o Universo segue o determinismo estrito?
LAPLACE, P.-S. (1814), Essai philosophique sur les probabilits, introduo. Traduzido de citao em francs obtida na internet.
38
35
A noo de probabilidade fundamental na cincia, mas curioso que haja diferentes interpretaes a respeito do que seja probabilidade. Vejamos algumas delas39: 1) Interpretao clssica. Esta a viso tradicional, defendida por Laplace (1814), que define a probabilidade como a razo entre os casos favorveis e o total de casos igualmente possveis. O que define os casos igualmente possveis um princpio de indiferena, que afirma que dois casos so igualmente provveis se no h razo para preferir um em relao ao outro. Assim, um dado simtrico teria seis casos equiprovveis. Porm, como caracterizar as probabilidades em um dado enviesado? 2) Interpretao freqentista. No caso de um dado enviesado, a abordagem freqentista sugere jog-lo um grande nmero de vezes e anotar as freqncias relativas em que cada lado cai. No limite para um nmero infinito de jogadas, ter-se-iam as probabilidades de cada caso. Este o procedimento costumeiramente usado nas cincias empricas, mas em termos rigorosos h um problema envolvendo a passagem de uma seqncia finita de observaes para um seqncia infinita. Desenvolvida primeiramente por John Venn (1866), foi aprofundada por Richard von Mises (1928) e Hans Reichenbach (1935). 3) Interpretao das propenses. Um problema com a interpretao freqentista que a probabilidade parece no se aplicar para um evento nico, mas para uma classe (seqncia) de eventos (uma abordagem instrumentalista). Karl Popper (1957) buscou corrigir isso, introduzindo a noo de propenso, que seria a probabilidade de um evento nico (uma viso realista). A obteno da freqncia relativa seria um procedimento para medirmos a propenso, cujo valor seria pr-existente s medies. 4) Interpretao logicista. Segundo esta viso, a probabilidade de uma crena mede o grau de confiana que se pode racionalmente ter a respeito dela com base na evidncia disponvel. A probabilidade p(h/e) seria assim uma relao lgica entre proposies: entre uma hiptese h e as evidncias disponveis e. Em outras palavras, a probabilidade mede o grau com que e implica logicamente h (se a probabilidade for 1, tem-se uma deduo lgica). Essa viso foi desenvolvida por John Maynard Keynes (1921) e Rudolf Carnap (1950), entre outros. Seu maior problema a dificuldade de ser aplicado, j que no estipula critrios para determinar probabilidades iniciais. 5) Interpretao subjetivista. Para contornar este ltimo problema, a interpretao desenvolvida por Frank Ramsey (1926), Bruno de Finetti (1937) e Leonard Savage (1954) parte da admisso de que as probabilidades iniciais, com as quais abordamos problemas reais, so sempre subjetivas ou chutadas. Mesmo admitindo isso, porm, possvel ir melhorando nossa avaliao subjetiva com base em novas evidncias, e da aplicao do teorema de Bayes: p(h/e) = p(h)p(e/h)/p(e). A avaliao do grau inicial de crena que uma pessoa possui geralmente traduzida em termos das apostas (com dinheiro) que tal pessoa faria. 6) Interpretao bayesiana objetivista. Inspirado na abordagem subjetivista, o fsico Edwin Jaynes (1957) iniciou uma abordagem que procura atribuir o grau inicial de crena com base em critrios objetivos, relacionados com a noo de entropia. Deixaremos para discutir esta abordagem mais para frente. 4. Definies de Aleatoricidade Como caracterizar o que genuinamente aleatrio? A definio tradicional, provinda da fsica, atribui este termo a processos: por exemplo, lanar uma moeda seria um processo
39
SALMON, W.C. (1966), The Foundations of Scientific Inference, U. Pittsburgh Press, pp. 65-96. Uma verso mais resumida aparece em HOME, D. & WHITAKER, M.A.B. (1992), Ensemble Interpretation of Quantum Mechanics: A Modern Perspecive, Physics Reports 210, 223-317, ver pp. 233-41.
36
aleatrio, independentemente do resultado da seqncia (ou seja, mesmo que o resultado fosse 0101010101). Na dcada de 1960, alguns matemticos40 passaram a buscar um critrio que caracterizasse uma seqncia aleatria, independentemente de como ela tenha sido gerada na prtica (ou seja, um critrio que distinguisse 0100101101 de 1111111111). Isso foi conseguido com a noo de complexidade algortmica, que o tamanho do menor programa de computador que gera a seqncia. Para uniformizar este critrio, este programa deve ser escrito na linguagem de um computador abstrato conhecido como mquina de Turing. Uma seqncia no aleatria, como 1111111111, seria programada da seguinte maneira: repita o digito 1 at o final da seqncia, o que tem um tamanho fixo, qualquer que seja o tamanho da seqncia. Por outro lado, no h um programa simples para gerar a seqncia de dgitos do nmero : o menor programa simplesmente aquele que escreve os dgitos da prpria seqncia. Em outras palavras, o valor mximo da complexidade algortmica de uma seqncia binria gira em torno do seu prprio tamanho. E esta a definio de uma seqncia binria aleatria: aquela cuja complexidade algortmica no menor do que seu comprimento. Outra questo a de gerar seqncias aleatrias para serem usadas em mtodos estatsticos de modelagem computacional, mtodos esses que so conhecidos genericamente como simulaes de Monte Carlo, em aluso ao famoso cassino. Geralmente, tais seqncias so geradas a partir de uma computao determinstica, e por isso so chamadas pseudoaleatrias. Uma maneira simples de efetuar uma computao genuinamente aleatria (no sentido fsico, mencionado no incio desta seo) introduzir no clculo o horrio exato (por exemplo, em milissegundos) em que a computao est sendo realizada. 5. Caos Determinstico e Sensibilidade a Condies Iniciais No incio da dcada de 1970, com o uso disseminado de computadores na cincia, tornou-se claro uma grande classe de comportamentos que foram denominados caos determinstico, pois envolvem a no-previsibilidade em sistemas deterministas. Esta situao surge para sistemas regidos por equaes no-lineares, como as da atrao gravitacional entre planetas. Henri Poincar mostrou, em 1890, que o problema gravitacional dos trs corpos apresenta solues no-peridicas que apresentam extrema sensibilidade s condies iniciais. Em suas palavras:
Uma causa muito pequena que escapa de nossa observao determina um efeito considervel que no podemos deixar de ver; dizemos ento que o efeito devido ao acaso. Se soubssemos exatamente as leis da natureza e a situao do universo no instante inicial, poderamos prever exatamente a situao do mesmo universo em um momento posterior. Mas, mesmo que fosse o caso de as leis da natureza no serem segredo para ns, poderamos ainda conhecer as condies iniciais somente aproximadamente. Se isto nos permitisse prever a situao posterior com a mesma aproximao, isso seria tudo o que queramos e diramos que o fenmeno foi previsto, isto , governado por leis. Mas no sempre assim: pode acontecer que pequenas diferenas nas condies iniciais venham a produzir um erro enorme nos acontecimentos posteriores. A previso se torna impossvel e temos um fenmeno fortuito.
Estes matemticos foram Ray Solomonoff (1964), Andrey Kolmogorov (1965), Gregory Chaitin (1966) e Per Martin-Lf (1966). Algumas referncias so: CHAITIN, G.J. (1975), Randomness and Mthematical Proof, Scientific American 232(5), pp. 47-52; FORD, J. (1983), How Random is a Coin Toss?, Physics Today 36(4), abril, pp. 40-7. Sobre a comparao com mtodos prticos de gerao de nmeros pseudo-aleatrios, ver COMPAGNER, A. (1991), Definitions of Randomness, American Journal of Physics 59, 700-5.
40
37
Essa sensibilidade s condies iniciais for redescoberta em 1963 pelo meteorologista norte-americano Edward Lorenz, ao utilizar um computador para gerar trajetrias para o sistema de equaes no-lineares que props para descrever o movimento da atmosfera. O termo efeito borboleta foi cunhado para esta sensibilidade, a partir do ttulo de uma palestra sua: O bater de asas de uma borboleta no Brasil pode provocar um tornado no Texas?. (Texto ainda em construo)
38
Cap. VII
Princpios de Mnima Ao
Questo: Qual o lugar das causas finais na fsica (e na cincia)?
(Nota: Esta aula no foi ministrada em 2008) 1. Paradigmas e Programas de Pesquisa Os princpios da mecnica de Newton, e sua teoria gravitacional, foram aos poucos sendo aceitos pela grande maioria dos fsicos e passou a constituir o que Thomas Kuhn chamou de paradigma. Um paradigma ou matriz disciplinar, como Kuhn passaria a nome-lo constitudo no s das leis gerais da teoria, mas tambm de estratgias heursticas (ou seja, de resoluo de problemas), mtodos de justificao, exemplares (ou seja, modelos ou exerccios prototpicos, ensinados na formao do cientista), valores cognitivos (ou seja, quais as caractersticas desejveis de uma boa teoria cientfica), teses metafsicas e mesmo conhecimento tcito (aquele que no conseguimos exprimir lingisticamente). Dentro de um paradigma, desenvolve-se uma cincia normal de resoluo de charadas, sem que haja, segundo Kuhn, uma busca por novos princpios. Ele estudou como um paradigma substitudo por outro por exemplo, como a fsica de Newton foi substituda pelas teorias da relatividade , ao que ele denominou revoluo cientfica. Esta seria uma transio entre duas maneiras diferentes de ver o mundo, o que faz com que os cientistas da velha gerao no consigam entender o novo paradigma, fato este que refletiria a incomensurabilidade entre paradigmas diferentes (Kuhn, Feyerabend). A transio entre paradigmas, segundo Kuhn, seria precedida por uma crise, em que inmeras anomalias (isto , discrepncias entre fatos observados e previses tericas) no seriam resolvidas pelo paradigma anterior.41 A metateoria de Kuhn (ou seja, sua teoria de como teorias cientficas se transformam) no deu nfase adequada ao fato de que, mesmo em cincias maduras, paradigmas diferentes podem coexistir e competir. Este aspecto foi levado em conta por Imre Lakatos42, em sua metodologia dos programas de pesquisa cientfica. Para ele, a unidade do desenvolvimento cientfico no seria uma teoria cientfica isolada, mas sim uma seqncia de teorias, formando um programa de pesquisa. As teorias que se sucedem em um programa manteriam, sem modificao, um conjunto de teses centrais que Lakatos chamou de ncleo duro. Sempre que alguma nova previso terica falseada pela experincia, modificaes so introduzidas em teses perifricas, que constituem o cinto de proteo do ncleo. A maneira de empreender esses ajustes ao cinto de proteo, e de fazer novas previses, ditada pela heurstica do programa. Um programa de pesquisa pode ser progressivo, caso em que racional para o cientista continuar trabalhando nele. Para ser progressivo, segundo Lakatos, o programa tem que fazer novas previses, mas essas previses no precisam ser sempre corroboradas (confirmadas) pela experincia basta que o sejam apenas de vez em quando, de maneira intermitente. No calor da hora, nunca podemos ter certeza que um programa de pesquisa foi refutado; s podemos dizer que houve um experimento crucial muito tempo depois: a racionalidade cientfica no instantnea.
KUHN, T. (1975), A Estrutura das Revolues Cientficas, trad. B.V. Boeira & N. Boeira, Perspectiva, So Paulo (orig. 1962). FEYERABEND, P. (1977), Contra o Mtodo, Francisco Alves, So Paulo (orig. 1975).
42 41
LAKATOS, I. (1979), O Falseamento e a Metodologia dos Programas de Pesquisa Cientfica, in LAKATOS, I. & MUSGRAVE, A. (orgs.), A Crtica e o Desenvolvimento do Conhecimento, Cultrix, So Paulo, pp. 109-243 (orig. 1970).
39
FLF0472 Filosofia da Fsica (USP-2008)
Cap.VII: Princpios de Mnima Ao
Larry Laudan levou adiante a noo de programa de pesquisa, mas salientou que teses do ncleo duro podem ser abandonadas sem que se abandone a tradio do programa. Preferiu o termo tradio de pesquisa, que envolve uma seqncia de teorias que se assemelham e se sucedem, de tal forma que os cientistas participantes tenham um compromisso com pelo menos uma parte das teses centrais de um subconjunto das teorias anteriores de sua tradio. Um exemplo seriam as tradies de pesquisa sobre a natureza da luz: os programas corpuscular e o ondulatrio competiram desde a poca de Huygens e Newton at meados do sc. XIX, quando o ondulatrio se viu vencedor, mas depois, com a fsica quntica, houve uma espcie de sntese entre os dois. A relao multifacetada entre teoria, mtodos e valores foi analisada por Laudan em seu modelo reticulado de racionalidade cientfica. Segundo esta abordagem, cada um desses trs aspectos da pesquisa cientfica pode afetar a evoluo histrica do outro, dentro de uma tradio de pesquisa.43 2. Programas de Pesquisa Rivais na Mecnica Clssica Em 1687, Isaac Newton formulou a abordagem mecnica baseado em suas trs leis (inrcia, fora e ao & reao) e, supondo sua lei da gravitao universal, a aplicou com muito sucesso para a descrio dos movimentos dos planetas do sistema solar. A partir dessa mesma poca, e culminando com seu Specimen dynamicum (1695), Gottfried Leibniz estava definido a fora viva (energia cintica, mv2) e a fora morta (energia potencial, na queda livre proporcional altura da queda). Em processos mecnicos em que se despreza a resistncia do meio e no h obstculos inelsticos, como um pndulo, haveria uma conservao da soma das foras viva e morta (esta noo j fora enunciada por Huygens, em 1673). Num choque inelstico, vislumbrou que a fora viva se transforma em uma fora morta ligada deformao dos corpos. Leibniz argumentou que o princpio de conservao de quantidade de movimento, de Descartes, era errneo. Depois da morte de Leibniz, seguiu-se um longo debate a respeito da sua teoria das foras vivas. Em 1728, Jean-Jacques de Mairan corrigiu o enunciado do princpio cartesiano, levando em conta as direes das velocidades (ou seja, o carter vetorial da velocidade). A aceitao geral do princpio de fora viva s viria a partir de 1743, com o Trait de Dynamique do francs Jean dAlembert, mas j antes disso os suios Johann Bernoulli e seu filho Daniel estavam resolvendo diversos problemas de mecnica utilizando os dois princpios de conservao.44 Quanto abordagem newtoniana, sua sistematizao foi empreendida pelo grande matemtico suio Leonhard Euler, a partir de 1726. Em 1736, com sua Mechanica, introduz massas pontuais, aceleraes contnuas e consideraes vetoriais, demonstrando de maneira rigorosa vrios resultados e resolvendo diversos problemas. Configurava-se, a esta altura, o ramo da matemtica aplicada conhecido como mecnica racional, vista como uma geometria de corpos em movimento. Posteriormente, discutir-se-ia se as leis da mecnica seriam necessrias ou contingentes (ou seja, nonecessrias). Euler e dAlembert defenderiam sua necessidade, ao passo que Lazare Carnot (1783) defenderia seu carter emprico (portanto contingente).
LAUDAN, L. (1977), Progress and its Problems, Berkeley U. Press (traduo em preparao pela Discurso Editorial, So Paulo). O modelo reticulado est exposto em: LAUDAN, L. (1984), Science and Values, U. California Press, Berkeley.
44 43
Seguimos TRUESDELL (1968), op. cit. (nota 26), e DUGAS, R. (1988), A History of Mechanics, Dover, Nova Iorque (orig. em francs, 1955), pp. 219-53.
40
Paralelamente a essas linhas de pesquisa, h o desenvolvimento da dinmica dos corpos rgidos. Em seu Horologium oscillatorium (1673), Christiaan Huygens havia mostrado como calcular o centro de oscilao de um pndulo fsico, ou seja, o pndulo simples com o mesmo perodo de oscilao. Houve muita discusso sobre esse trabalho, o que levou Jakob Bernoulli, irmo mais velho de Johann, a publicar em 1703 um trabalho em que refaz a demonstrao de Huygens a partir das propriedades da alavanca. Isso seria uma antecipao do princpio de trabalho virtual, de dAlembert. Jakob Bernoulli tambm inaugurou a teoria dos corpos elsticos (1705). A teoria das vibraes se inicia com Taylor (1713) e desenvolvida por Euler, Johann e Daniel Bernoulli. Este ltimo desenvolve tambm a hidrodinmica (1733-38). O Trait de Dynamique (1743) de dAlembert trata do problema dos corpos rgidos sem utilizar o conceito de fora newtoniano, mas sim o princpio de trabalho virtual, que uma lei de equilbrio. Tal princpio est intimamente relacionado com o de conservao de fora viva, mas dAlembert toma o princpio de trabalho virtual como fundamental (no o de fora viva), juntamente com o princpio de inrcia e o princpio de composio de movimentos (que permite decompor um movimento de maneira conveniente para a aplicao do trabalho virtual). Para entender o princpio de trabalho virtual, pode-se consultar a exposio didtica de Feynman45. Considere a situao de equilbrio de dois corpos ligados, como o da Fig. VII.1a. Numa situao de reversibilidade (sem atrito), o equilbrio pode ser estabelecido como na Fig. VII.1b. Nesta transio, o corpo B subiu uma altura de hB = 3 m, ao passo que a descida de A expressa pela variao hA = 5 m. Assim, a massa desconhecida mA pode ser calculada pela conservao de energia potencial gravitacional (a energia cintica no se altera), o que corresponde a uma igualdade nos trabalhos realizados (a menos do sinal): mAhA + mBhB = 0. Numa situao mais complicada, como a da Fig. VII.2, o valor do peso W que equilibra o conjunto pode ser calculado considerando-se um pequeno deslocamento vertical neste peso, o que alterar as alturas das outras massas para valores facilmente calculveis. Aplica-se ento a conservao dos trabalhos e encontra-se o valor de W. Como esse trabalho no ocorre de fato, mas apenas um artifcio para o clculo, recebe o nome de trabalho virtual.
Figura VII.1: Pesos em equilbrio, sem atrito, em um plano inclinado.
Figura VII.2: Situao de equilbrio para aplicao do princpio de trabalho virtual.
DAlembert fez questo de no exprimir as causas motivas dos movimentos, ou seja, as foras, que considerava obscuras e metafsicas (ver DUGAS, p. 247). A partir de seu princpio, aplicado a sistemas com restries entre as partes, derivou a conservao de fora viva. Esta estratgia foi posteriormente generalizada com sucesso pelo italiano de
FEYNMAN, R.P.; LEIGHTON, R.B. & SANDS, M. (1963), The Feynman Lectures on Physics, vol. I, AddisonWesley, Reading, pp. 4-1 a 4-5. As Figs. VII.1 e VII.2 so retiradas desta referncia.
45
41
descendncia francesa Louis de Lagrange, em sua Mcanique Analytique (1788), onde tambm no se fala em foras (no sentido de Newton e especialmente Euler). Euler, por seu turno, foi bem sucedido na extenso dos princpios newtonianos para diversos sistemas, inclusive corpos rgidos, que envolve um princpio adicional, a lei do torque, derivada em 1776. Argumenta-se que este princpio independente das trs leis de Newton, para casos gerais. Delineam-se, assim, diferentes programas de pesquisa na mecnica no sc. XVIII, e uma tendncia de unificao entre eles. O programa cartesiano acabou sendo mesclado com o leibniziano, e ambos foram incorporados ao programa dalembertiano, que resultou na mecnica lagrangiana. Paralelamente a isso, o programa de Newton e Euler acabou se firmando como mais geral, aplicvel em maior nmero de casos, fundamentado na noo de fora. A controvrsia a respeito do estatuto do conceito de fora adentraria o sc. XIX, como veremos no prximo captulo, mas as abordagens rivais de Euler e dAlembert acabaram sendo vistas como duas abordagens diferentes para uma mesma cincia da mecnica. 3. Princpio de Mnima Ao No esboo histrico da mecnica apresentada acima, deixamos de lado uma abordagem adicional, inaugurada por Pierre de Maupertuis em 1744, o princpio de mnima ao, e que seria posteriormente assimilado na mecnica analtica de Lagrange. Este princpio de interesse pois ele pretende implementar a tese filosfica de que a natureza age de maneira a minimizar uma certa grandeza, como se ela tivesse um objetivo ou uma meta um telos, em grego. Nas palavras de Maupertuis: a Natureza, na produo de seus efeitos, sempre age das maneiras mais simples.46 Tal tese levou a uma grande discusso porque ela sugere que a fsica pode ser construda de maneira teleolgica, ou seja, envolvendo causas finais (que estariam no futuro ou estariam indicando um estado no futuro), e no apenas causas eficientes (que vm sempre antes dos efeitos). A fsica de Aristteles um exemplo de teleologia. Para ele, os corpos graves tm um lugar natural, que o centro do Universo, e por isso eles caem quando soltos (ver seo III.1). como se eles tivessem uma meta (telos), um propsito. As explicaes do naturalismo animista (seo III.3) tambm so teleolgicas. A idia de que a natureza segue caminhos simples tem vrios precursores, mas na fsica o primeiro exemplo mais detalhado dado por Hron de Alexandria, em 125 a.C. Ele argumentou que na reflexo da luz por um espelho, o caminho percorrido o de menor comprimento. Considere a Fig. VII.3, no qual a luz sai de uma vela em A, reflete no espelho em C, e ruma para o olho em B. Este o caminho mais curto saindo de A, refletindo no espelho e incidindo em B. Para mostrar isso, considere um outro ponto de reflexo, D. Ligando o ponto E, que a imagem de A, aos pontos C e D, temos que os seguintes segmentos tm o mesmo comprimento: AC = EC, e AD = ED. Ora, mas est claro que a linha reta ECB mais curta do que o caminho EDB (desigualdade do tringulo). Portanto, o caminho ACB mais curto do que qualquer outro caminho ADB. Em 1662, Pierre de Fermat adaptou a estratgia de Hron para o caso da refrao da luz, s que agora considerando que a luz toma o caminho que leva menos tempo. Ele queria mostrar que a frmula da refrao (lei de Snell) derivada por Descartes era falsa, e para isso sups que a luz se propaga com uma velocidade menor em meios mais densos (o que verdade, mas ia contra ao que achavam Descartes e Newton). Ao fazer suas contas, descobriu que o caminho de menor tempo era justamente aquele que satisfazia a lei de Snell-Descartes!
46
DUGAS (1988), op. cit. (nota 44), pp. 254-75. Ver tambm YOURGRAU, W. & MANDELSTAM, S. (1968), Variational Principles in Dynamics and Quantum Theory, Dover, Nova Iorque.
42
Obteve assim uma lei de mnimo para a propagao da luz, mas seu resultado s seria aceito aps a metade do sc. XIX.
Figura VII.3. Diagrama ilustrando a demonstrao de Hron de que a luz, na reflexo, percorre o caminho de menor distncia.
Em 1744, Maupertuis buscou corrigir o trabalho de Fermat, e chegou concluso que o que seria minimizado na propagao da luz no seria o tempo, mas a ao S, que o produto da distncia r percorrida e do momento linear mv: S = m v(r) dr . J em 1740 Maupertuis havia usado um princpio de mximo ou de mnimo para uma situao de equilbrio Em 1747, mostrou que possvel aplicar este resultado para o choque de dois corpos, quer no caso de colises elsticas quanto inelsticas, o que tornaria o princpio mais geral do que a conservao de fora viva (que s valeria no caso de choques elsticos). A partir da, generalizou o princpio de mnima ao para toda a mecnica: Quando alguma mudana ocorre na natureza, a quantidade de ao necessria para essa mudana a menor possvel (DUGAS, p. 265). Maupertuis via em seu princpio uma expresso da perfeio de Deus, que agiria por meio de leis simples e com um gasto mnimo de ao. Em 1751, o holands Samuel Koenig apresentou uma carta em que Leibniz teria anunciado em 1707 que nas variaes dos movimentos, [a ao] usualmente se torna mnima ou mxima. Ele usou o termo ao, definindo-o tambm como o produto do tempo e da fora viva (energia cintica). Iniciou-se ento uma grande polmica sobre a prioridade e os mritos de Maupertuis, mas a tal carta de Leibniz nunca foi encontrada (DUGAS, pp. 270-3). Independentemente de Maupertuis, seu amigo Euler publicou em 1744 uma verso mais particular, porm matematicamente mais precisa, do princpio de mnima ao. Segundo seu teorema, quando uma partcula viaja entre dois pontos fixos, ela toma o caminho para o qual v(r) dr mnimo. Seu resultado baseado no clculo de variaes, e na verdade o que ele demonstra que a integral da ao um mnimo, um mximo ou mesmo um ponto intermedirio de derivada nula. A rigor, ento, o princpio de Euler um enunciado relativo s trajetrias virtuais (que no satisfazem as leis de Newton) que so vizinhas trajetria real da partcula. A diferena entre as integrais v dr tomadas ao longo da trajetria real e dos caminhos virtuais vizinhos, entre os dois pontos, uma grandeza infinitesimal de segunda ordem; os caminhos virtuais considerados so aqueles com velocidades que resultem na mesma energia que aquela suposta para a partcula (YOURGRAU & MANDELSTAM, p. 25). O princpio variacional foi derivado de maneira mais geral por Lagrange, em 1760, para n partculas, mostrando que as leis de Newton so equivalentes ao princpio de mnima ao em conjuno com a lei de conservao de energia. A conservao de energia entra ao se considerarem caminhos virtuais de mesma energia. Com o princpio de trabalhos virtuais, Lagrange abriu caminho para sua Mcanique Analytique (1788), que forneceu um mtodo prtico para calcular os movimentos de corpos rgidos sujeitos a vnculos, problema cuja resoluo pelos mtodos de Newton e Euler em geral se torna onerosa. Ele introduziu coordenadas generalizadas e obteve equaes cuja forma invariante ante troca de coordenadas. Definindo a lagrangiana como a diferena 43
entre a energia cintica T e potencial V, escrita em funo das coordenadas generalizadas qi e & := dqi/dt, sua equao : q
d dt L q &i L q i = 0 .
As formulaes do princpio variacional de Euler e Lagrange esto restringidas a caminhos virtuais de mesma energia. Essa restrio foi removida em 1834 pelo irlands William Hamilton, que considerou, porm, caminhos virtuais que terminam no mesmo ponto e no mesmo tempo. Chegou assim ao chamado princpio de Hamilton: L dt = 0. Um sistema muda de uma configurao para outra de tal maneira que a variao da integral Ldt entre o caminho real e um vizinho, terminando no mesmo ponto do espao e do tempo, nula (YOURGRAU & MANDELSTAM, p. 47). A partir deste princpio variacional, obtm-se as equaes de Lagrange. Uma formulao em que o tempo eliminando, resultando em uma geometrizao do princpio de extremo, foi feita pelo alemo Carl Jacobi em 1843. Anunciou ento que em sua forma verdadeira [ difcil] atribuir uma causa metafsica a este princpio (DUGAS, pp. 407-8). Princpios variacionais foram usados na velha teoria quntica e na derivao da equao de Schrdinger, da mecnica quntica, e nos trabalhos de Schwinger e Feynman47 na teoria quntica de campos relativsticos. 4. Causas Finais na Fsica O princpio de mnima ao foi visto, por Maupertuis e Euler, como um princpio metafsico exprimindo a perfeio de Deus ou uma tendncia da natureza de escolher caminhos mais simples. Essa noo teleolgica passou a ser atacada posteriormente, por exemplo por dAlembert (1758), que criticou o princpio das causas finais (DUGAS, p. 269), e foi abandonada pela maioria dos fsicos, que costuma no interpretar os princpios de extremo de maneira teleolgica. Mesmo assim, a linguagem teleolgica est presente em algumas explicaes fsicas corriqueiras. Um sistema tende para o estado que minimiza sua energia, ou para um que maximiza sua entropia. Explicaes mecnicas buscam dar conta desses enunciados teleolgicos por meio apenas de causas eficientes, como ser exemplificado mais frente com relao entropia. A questo da teleologia na biologia bem mais controversa. Pode-se interpretar o mecanismo da seleo natural como uma explicao causal-eficiente para evoluo dos seres vivos, mas autores como Ernst Mayr defendem que uma teleonomia estaria associada ao cdigo gentico. Na cosmologia, o princpio antrpico pode ser interpretado como uma tese finalista, ao afirmar que o nosso Universo contm as condies ideais para o surgimento da vida. No entanto, em sua verso mais fraca, tal princpio perfeitamente consistente com a causao eficiente.
47
Uma discusso interessante sobre o princpio de Fermat feito por FEYNMAN et al. (1962), op. cit. (nota 45), pp. 26-7 a 26-8, em que ele apresenta de maneira didtica sua viso conhecida como soma sobre histrias.
44
Cap. VIII
Axiomatizao da Mecnica Clssica

Questo: Por que e como axiomatizar as teorias fsicas ?
(Nota: Esta aula no foi ministrada em 2008) 1. Contexto da Descoberta e Contexto da Justificao Ao se discutir a metodologia da cincia, importante traar uma distino entre dois contextos: o da descoberta e o da justificao.48 A maneira como uma descoberta cientfica feita envolve diversos fatores, incluindo aspectos psicolgicos, sociais e culturais. O qumico alemo August Kekul (1865), por exemplo, chegou idia de que o benzeno um anel de tomos de carbono aps ter sonhado com uma cobra mordendo o rabo. No entanto, ele no incluiria esta informao ao escrever seu artigo para publicao. No contexto da justificao de uma teoria, procura-se partir de bases firmes e deduzir conseqncias de maneira rigorosa e de acordo com os cnones da metodologia cientfica. No contexto da descoberta, por outro lado, os caminhos para se adquirir conhecimento so os mais variados. Ao se discutir uma questo de filosofia da cincia, preciso especificar em qual contexto se est trabalhando. Por exemplo, qual a importncia da induo na cincia? A induo por enumerao consiste de se observar uma regularidade em um nmero finito de casos, e da generalizar para todos os casos, em uma lei emprica. No contexto da descoberta, tal mtodo muitas vezes usado, especialmente nos estgios iniciais de uma rea cientfica. Os positivistas tendem a considerar que a induo tambm uma maneira de justificar a aceitao de uma lei emprica. No entanto, autores como Karl Popper discordam que a induo possa servir de justificao, sem negar, porm, que ela possa ter um papel na gerao de hipteses (contexto da descoberta). Para Popper, o mtodo privilegiado para se justificar uma teoria o mtodo hipottico-dedutivo, que consiste em formular uma hiptese e deduzir suas conseqncias empricas (observacionais): se houver concordncia entre a previso e o que de fato observado, a hiptese corroborada (verificada); se no, ela falseada (ou seja, a hiptese ou alguma outra suposio usada na deduo deve ser abandonada). Neste captulo, examinaremos as tentativas de fundamentar teorias cientficas em bases rigorosas, por meio de sua axiomatizao. Tais tentativas esto claramente no contexto da justificao. No cap. X, estudaremos o contexto da descoberta da teoria do eletromagnetismo por Maxwell, onde as analogias desempenham papel importante. 2. Discusso dos Princpios Newtonianos no Sc. XIX Em meados do sc. XIX, concomitantemente com a ascenso da Termodinmica e do princpio de conservao de energia, vrios fsicos comearam a questionar os fundamentos da mecnica newtoniana. Na Frana, Barr de Saint-Vernant (1797-1886), em 1851, adotou uma perspectiva atomista para fundar a mecnica apenas nas velocidades e aceleraes entre pontos, derivando definies de massa e fora. Considerava que as foras eram agncias de uma natureza oculta ou metafsica, e no as relacionou com as causas eficientes dos
48
Os termos contexto da descoberta e contexto da justificao foram cunhados por Hans Reichenbach (1938), mas a distino mais antiga. Immanuel Kant (1781), por exemplo, se referia a questes de fato (quid facti) e questes de direito (quid juris). John Herschel (1830) tambm citado como um autor que distinguiu claramente entre como alcanamos conhecimento e a verificao das indues.
45
Cap.VIII: Axiomatizao da Mecnica Clssica
movimentos.49 Por contraste, outro francs, Frdric Reech (1852), seguiu a abordagem de Euler ao colocar a fora como ponto de partida da mecnica. Comparou uma fora a um fio tensionado que estaria ligado partcula sofrendo a ao da fora. A fora poderia ser avaliada cortando-se o fio e observando o movimento subseqente da partcula. Trabalhando com diferenas de aceleraes, buscou eliminar a descrio em termos de um referencial privilegiado. Sua escola do fio foi levada adiante por Jules Andrade (1898). Um quarto de sculo aps essas primeiras formulaes, em 1876, o alemo Gustav Kirchhoff (1824-87) se props a construir a mecnica de maneira lgica, a partir das noes de espao, tempo e matria, e derivando destas os conceitos de fora e massa. Uma abordagem semelhante foi publicada independentemente, em 1883, pelo austraco Ernst Mach (de quem j falamos na seo V.4), em seu livro A Cincia da Mecnica. Mach considerou que os princpios da mecnica precisariam ser fundados na experincia, e no na especulao terica: seu livro seria um trabalho de explicao crtica animado por um esprito anti-metafsico. Fez uso de um princpio de simetria para definir operacionalmente (por meio de operaes experimentais) o conceito de massa (inercial). Para isso, considerou que dois corpos idnticos A e B comunicam aceleraes iguais e contrrias, aA, aB, ao longo da linha que os une (por exemplo, por meio de uma mola). Tomando A como tendo massa unitria mA=1, a massa de B seria tal que mBaB = mAaA. Eliminou assim o apelo de Newton noo intuitiva de quantidade de matria (ver seo IV.2), e declarou que nesta concepo de massa no h teoria. Tendo assim definido massa em termos operacionais, pde caracterizar a 2a lei de Newton como sendo uma definio50 de fora: F := ma , derivada a partir de termos observacionais. Sua estratgia foi apoiada por positivistas como Karl Pearson (1892). Heinrich Hertz (1857-1894) tambm se dedicou ao problema, logo antes de sua morte prematura, publicando Os Princpios da Mecnica apresentados em uma Nova Forma (1894). Seguindo seu professor Kirchhoff, buscou construir a Mecnica a partir dos conceitos de tempo, espao e massa. Comentou a abordagem tradicional, baseada nos conceitos de espao, massa, fora e movimento, que esto ligadas s leis de Newton e ao princpio de dAlembert (seo VII.2), argumentando que ela teria imprecises lgicas. Uma dessas imprecises seria que a noo de fora em geral tomada como a causa do movimento, mas, no caso de foras fictcias como a fora centrfuga, ela surge como efeito do movimento. Criticou tambm a profuso do uso do conceito de fora, por exemplo na Mecnica Celeste, sem que isso correspondesse a algo observvel: s observamos as posies dos astros em diferentes instantes (comparou o uso de foras ao uso de epiciclos na Astronomia antiga). Parte ento da abordagem de Kirchhoff, mas faz a seguinte constatao, caracterstica de uma atitude realista. Se quisermos obter um quadro do mundo que fechado em si mesmo, no que tange a leis, devemos conjeturar a existncia de outros seres invisveis por trs das coisas que vemos, e buscar os atores escondidos por detrs das barreiras de nossos sentidos. Os conceitos de fora e de energia seriam idealizaes desse tipo, mas Hertz preferiu postular a existncia de variveis ocultas que nada mais seriam do que massas em movimento, que se chocariam com os corpos visveis de maneira a dar conta do que observamos. Teramos assim um retrato mecanicista, semelhante ao de Descartes ou Le Sage (sees III.6 e 7). Hertz, porm, no estava preocupado em fornecer modelos particulares para diferentes fenmenos, como a gravitao, mas em formular uma descrio geral que fosse consistente com os princpios da Mecnica Clssica. A lei fundamental da Mecnica seria uma lei de mnimo (seo VII.3): para sistemas isolados, o sistema segue a trajetria de curvatura mnima, com uma velocidade
49 50
Nesta seo, seguimos DUGAS (1988), op. cit. (nota 44), pp. 436-51.
Adotamos a conveno de dois-pontos-igualdade, adotada por alguns lgicos, para exprimir uma definio: :=. Outras signos usados para definio so: ou =df..
46
constante. Tal lei se reduziria para as leis conhecidas da Mecnica, como o princpio de mnima restrio de Gauss, que era uma formulao alternativa do princpio de dAlembert. O ltimo autor que consideraremos neste resumo o francs Henri Poincar (18541912), que em sua Cincia e Hiptese (1902) levou adiante o projeto de mostrar em que medida as teorias fsicas envolvem convenes. Uma conveno seria uma tese, a respeito do mundo, que poderia ser diferente, mas que adotada porque permite a construo de uma teoria econmica (simples) e eficiente em suas previses. Nossa tendncia supor que o princpio de inrcia (1a lei de Newton), por exemplo, reflete um fato fundamental do mundo ou espelha diretamente a uma realidade. No entanto, argumenta Poincar, no possvel verificar experimentalmente este princpio. Podemos tentar faz-lo lanando um corpo em uma regio na qual no h foras resultantes, mas, neste caso, como sabemos que no h foras atuando? Um critrio verificar se um corpo de prova no sofre aceleraes, mas neste caso estaramos usando implicitamente o princpio de inrcia para constatar que numa regio no h foras, de modo a testar o prprio princpio de inrcia! Seria um crculo vicioso!51 Poincar considerava que vrios outros princpios seriam convencionais: a simultaneidade do tempo, o espao absoluto, a suposio que o espao seria euclidiano, a lei de ao e reao, e o princpio de conservao de energia. (Em um captulo posterior examinaremos o argumento de Poincar a respeito deste ltimo princpio.) A 2a lei de Newton seria uma conveno, mas mesmo assim Poincar associava ao conceito de fora um contedo intuitivo (associado noo de esforo), ao contrrio do que fizera Kirchhoff. Considerava assim que a abordagem de Kirchhoff era apenas uma conveno possvel, assim como a adotada pela escola do fio que mencionamos anteriormente. Quanto ao papel da experimentao, considerava que ela poderia verificar a teoria fsica de maneira apenas aproximada (dado que no existiria um sistema perfeitamente isolado); ou seja, as convenes da fsica seriam parcialmente justificadas pela experimentao. 3. Crticas ao Mtodo de Mach Crticas proposta de Mach comearam a surgir de maneira mais detalhada a partir do trabalho de dois matemticos ingleses, L.N.G. Filon e C.G. Pendse, na dcada de 1930. Filon publicou em 1926 um estudo sobre as bases da mecnica racional em que tinha simpatia pela abordagem de Mach. Em torno de 1932, porm, passou a questionar a abordagem machiana por razes semelhantes s consideradas por Poincar (a quem no cita): nunca podemos ter certeza que um corpo no est sob o efeito de uma fora externa, nem que dois corpos interagentes (segundo a receita de Mach) tambm no estejam. As trs leis de Newton no seriam leis experimentais, pois no podem ser provadas nem refutadas experimentalmente. Filon concluiu que a nica maneira correta de definir a massa de um corpo seria atravs de seu peso, mtodo este proposto pelo prprio Newton.52 Em 1937, C.G. Pendse53 mostrou que o mtodo operacional de Mach, de observar as aceleraes entre dois corpos para inferir os valores das massas, falhava para muitos corpos. Sem levar em conta a 3a lei de Newton, se as aceleraes fossem medidas apenas uma vez, o
Esta e outras discusses so tratadas em CHIBENI, S.S. (1999), A Fundamentao Emprica das Leis Dinmicas de Newton, Revista Brasileira de Ensino de Fsica 21, 1-13.
52 53 51
FILON, L.N.G. (1938), Mass and Force in Newtonian Mechanics, Mathematical Gazette 22, 9-16.
PENDSE, C.G. (1937), A Note on the Definition and Determination of Mass in Newtonian Physics, Philosophical Magazine 24, 1012-22. PENDSE, C.G. (1939), A Further Note on the Definition and Determination of Mass in Newtonian Mechanics, Philosophical Magazine 27, 51-61. PENDSE, C.G. (1940), On Mass and Force in Newtonian Mechanics, Philosophical Magazine 29, 477-84.
47
mtodo falhava para mais do que 4 corpos, pois o nmero de incgnitas (foras entre pares de partculas, mais as massas) tornava-se maior do que o nmero de equaes. Mesmo levando em conta a 3a lei de Newton, uma nica observao de acelerao, para corpos no coplanares, no consegue determinar as massas relativas, de maneira exata, para mais do que 5 corpos. Pendse calculou tambm o que aconteceria se se pudesse medir as aceleraes em vrios instantes diferentes. Inicialmente, concluiu que para acima de 7 corpos o mtodo falharia, mas em um artigo posterior concluiu que seria possvel derivar as massas relativas em alguns casos, com um nmero suficientemente grande de medies, mas no as foras! O mtodo de Mach funcionaria, naturalmente, se se pudesse pegar cada corpo individualmente, e comparar sua acelerao com a de um corpo de referncia, e p-lo de volta no sistema, supondo que sua massa no varia neste procedimento. Na prtica, claro, tal procedimento no necessrio para corpos de nosso cotidiano, pois confiamos em balanas. Para se determinar as massas dos planetas, no podemos retirar os corpos para pesagem, mas o fato de o Sol ser muito mais massivo do que os planetas facilita os clculos a partir das aceleraes. J no caso de partculas elementares, as massas so medidas por diversos procedimentos, muitos dos quais dependem da aceitao de uma teoria fsica. Concluindo esta seo, podemos dizer que mtodos operacionais parecem viveis na fsica, mas na prtica cientfica utilizam-se de bom grado mtodos nos quais conceitos tericos so introduzidos de maneira primitiva. 4. Axiomatizao de Teorias Matemticas Uma axiomatizao consiste em uma formulao de uma teoria que se inspira na sistematizao que Euclides deu para a geometria (ver seo I.3). Partem-se de axiomas, demonstram-se teoremas e resolvem-se problemas de construo. No sc. XIX, o quinto postulado de Euclides que diz que dados uma reta e um ponto fora dela, em um plano, ento pelo ponto passa apenas uma paralela reta passou a ser modificado, resultando nas geometrias no-euclidianas. Com isso, comeou a ficar claro que o importante em uma axiomatizao na matemtica no nossa opinio sobre a veracidade dos axiomas, mas a consistncia interna do sistema axiomtico. Essa concepo foi bastante divulgada no comeo do sc. XX pelo alemo David Hilbert, que sublinhou que uma axiomatizao deve deixar claro quais so as noes primitivas (no-definidas) do sistema. No caso da Geometria Euclidiana, as noes de ponto e reta so primitivas: no devem ser definidas a partir de outros conceitos e nem precisam satisfazer nossa intuio a seu respeito. O significado dessas noes parcialmente estabelecido pelos cinco axiomas de Euclides. No entanto, diferentes interpretaes podem satisfazer o sistema axiomtico, sendo chamadas de modelos. Por exemplo, o modelo representado pictoricamente na Fig. VIII.1 satisfaz o seguinte conjunto de axiomas, usados por Hilbert54: A1: Para quaisquer duas retas, h no mximo um ponto pertencente s duas. A2: Para quaisquer dois pontos, h exatamente uma reta que as contm. A3: Em cada reta h pelo menos dois pontos. A figura pode causar estranheza, porque a reta BDF no se parece com as outras. Mesmo assim, representa um modelo do sistema de axiomas {A1,A2,A3}.
54
Exemplo apresentado por VAN FRAASSEN, B. (2007), A Imagem Cientfica, trad. L.H.A. Dutra, Ed. Unesp/ Discurso, So Paulo, pp. 84-6 (orig. em ingls: 1980).
48
Figura VIII.1: Geometria dos sete pontos e sete retas, que um modelo dos axiomas A1, A2 e A3.
5. Axiomatizao Dedutivista da Mecnica Clssica A formulao que Newton deu para a Mecnica pode ser considerada uma axiomatizao informal, pois partiu de algumas definies e das trs leis fundamentais da Mecnica, alm da lei de atrao gravitacional, e deduziu diversos teoremas. No entanto, a sua axiomatizao no satisfaz os critrios de rigor da lgica moderna, sendo por isso considerada informal. Em 1953, J.C.C. McKinsey, A.C. Sugar & Patrick Suppes publicaram uma axiomatizao da mecnica clssica de partculas que se propunha a cumprir os padres de rigor estipulados por Hilbert. Em especial, tomaram cuidado em deixar claro quais so as noes primitivas da teoria mecnica. Escolheram no introduzir um axioma de impenetrabilidade entre partculas, e pressupuseram tambm diversos resultados da matemtica clssica. As noes primitivas introduzidas foram P, T, m, s e f. O que seria P? No diretamente uma entidade fsica, mas um conjunto! P e T so conjuntos, m uma funo unria, s uma funo binria e f uma funo ternria. A axiomatizao de McKinsey et al. uma teoria matemtica, baseada em conjuntos e em funes, que por sua vez so redutveis a conjuntos. Assim, Suppes cunhou o slogan que axiomatizar uma teoria definir um predicado conjuntista.55 Essa abordagem no foi bem recebida pelos fsicos, como pode ser visto pelo comentrio de Clifford Truesdell, em nota na primeira pgina do artigo de McKinsey et al., que se inicia assim: O comunicador est em completo desacordo com a viso da mecnica clssica expressa neste artigo. Naturalmente, McKinsey et al. tinham em mente uma interpretao fsica para esses conceitos matemticos. P poderia ser interpretado como um conjunto de partculas p, mas tambm poderia ser interpretado de maneira no fsica, como um conjunto de nmeros, por exemplo. T interpretado como um conjunto de nmeros reais que medem o tempo transcorrido. A funo m(p) interpreta-se fisicamente como a massa da partcula p, s(p,t) seu vetor posio num instante de tempo t, e f(p,t,i) o vetor de fora i atuando em p no instante t. Apresentam ento seis axiomas, de tal forma que o conjunto ordenado P,T,m,s,f define um sistema de mecnica de partculas. Os axiomas P1 e P2 apenas estipulam que P no vazio e
MCKINSEY, J.C.C.; SUGAR, A.C. & SUPPES, P. (1953), Axiomatic Foundations of Classical Particle Mechanics, Journal of Classical Mechanics and Analysis 2, 253-72. O slogan de Suppes aparece em um texto no publicado de 1967, e citado na reviso feita por SANTANNA, A.S. & GARCIA, C. (1998), Possvel Eliminar o Conceito de Fora da Mecnica Clssica, Revista Brasileira de Ensino de Fsica 20, 346-53, que axiomatiza a mecnica de Hertz.
55
49
que T um intervalo de nmeros reais. O terceiro axioma cinemtico determina que o vetor s(p,t) duplamente diferencivel em t. O axioma P4 apenas estipula que m(p) um nmero real positivo, e P5 que a soma em i das foras f(p,t,i) converge em uma fora resultante de valor finito. O ltimo dos trs axiomas dinmicos, P6, corresponde 2a lei de Newton. Notamos a importncia que os autores atribuem especificao matemtica precisa dos conceitos envolvidos. A 1a lei de Newton derivada de P3, P4 e P6, como o teorema de que se a fora resultante sobre um corpo nula, o vetor velocidade constante. Quanto 3a lei de Newton (ao e reao), McKinsey et al. preferem no imp-la como axioma, para permitir aplicaes em que ela no usada, como no disparo de uma bala de canho (em que a fora de reao na Terra desprezada). Vemos assim uma caracterstica pragmtica de sua axiomatizao, prxima de um instrumentalismo (seo IV.4), pois na formulao dos axiomas no importa tanto qual a verdade, mas sim o quo prtico a aplicao do formalismo. De fato, no incio do artigo eles advertem:
Deve-se notar que a mecnica de partculas, como quase qualquer outra cincia em forma dedutiva, envolve uma idealizao do conhecimento emprico factual [actual empirical knowledge] e assim melhor concebida como um instrumento para lidar com o mundo [a tool for dealing with the world], do que como um retrato que o representa. (MCKINSEY et al., 1953, p. 254.)
Apesar de no adotarem a 3a lei de Newton, provam um teorema segundo o qual qualquer modelo de seu sistema axiomtico pode ser inserido como parte de um modelo mais amplo que satisfaz a 3a lei. Um resultado bastante citado do trabalho de McKinsey et al. a demonstrao de que m, s e f so noes primitivas independentes, sendo que P e T, por seu turno, poderiam ser definidos em termos dos outros primitivos. Utilizam para isso um mtodo lgico devido a Alessandro Padoa (1900), que consiste essencialmente em fixar os valores dos outros primitivos, e mostrar que o primitivo em questo pode assumir diferentes valores (ou seja, seu valor no fixado univocamente pelos valores dos outros primitivos). No caso da fora, mostram, em um exemplo simples, que as aceleraes de um conjunto de corpos colineares podem ser devidas a distintos conjuntos de foras (ver Fig. VIII.2). O exemplo trivial porque os dois conjuntos de foras, ={ f 0}, ={ f 1, f 2}, fornecem as mesmas foras resultantes em cada corpo. Isso revela a diferena entre a abordagem de McKinsey et al. e os de Kirchhoff e Mach (seo VIII.2). Kirchhoff define a fora a partir da massa e da acelerao. Assim, no exemplo da Fig. VIII.2, as duas situaes correspondem mesma fora em cada partcula, que no caso a fora resultante. Na abordagem descritivista de Kirchhoff, no faria sentido nesse exemplo distinguir os casos () e (), a no ser que houvesse alguma outra maneira emprica de distinguir essas situaes. J McKinsey et al. partem do princpio que existem os dois conjuntos distintos de foras, e que cada uma das foras indicadas real, mesmo que empiricamente os conjuntos de foras sejam indistinguveis. Apesar de termos citado um pargrafo em que apresentam um discurso instrumentalista, neste momento eles adotam uma postura mais realista que a de Kirchhoff, com relao ao conceito de fora. Com relao a Mach, consideram plausvel que se pegue cada partcula, e que cada uma seja submetida (individualmente) ao procedimento operacional para se determinar sua massa, em relao a uma massa de referncia. No entanto, tal procedimento envolve um cientista experimental, e McKinsey et al. no vem como seria possvel incorporar tal cientista em um sistema clssico de mecnica de partculas!
50
Figura VIII.2: Exemplo de McKinsey et al. de dois conjuntos de foras (indicadas por flechas) que geram as mesmas aceleraes.
6. O Debate entre Axiomatizaes Empiristas e Dedutivistas Vimos at aqui duas estratgias para se fundar a mecnica clssica de partculas. Na axiomatizao informal de Newton, cada axioma pretende exprimir uma lei fundamental do Universo, ou seja, pretende ter um importante contedo fsico, mesmo que haja redundncias (a 1a lei um caso particular da 2a). A maioria das revises formuladas no sc. XIX (que vimos na seo VIII.2) envolviam a questo de se os postulados de Newton exprimiam diretamente fatos observados na natureza, ou se eles envolviam conceitos tericos (no diretamente observveis), como fora. A tentativa de axiomatizar uma teoria fsica com base em postulados prximos observao pode ser chamada de abordagem empirista ou operacional (ou mesmo indutivista) axiomatizao de teorias cientficas. J a abordagem de McKinsey, Sugar & Suppes encara o conceito de fora de maneira realista (mesmo adotando um tom geral instrumentalista), aceitando que se possa definir esse conceito de modo independente das observaes. Tal abordagem pode ser chamada de dedutivista ou realista. Outros autores propuseram axiomatizaes mais empiristas do que as de McKinsey et al. Herbert Simon, pensador multifacetado, expoente da inteligncia artificial e ganhador do Prmio Nobel de Economia, escreveu vrios trabalhos formulando uma axiomatizao de sabor mais empirista56. Ele contorna as dificuldades que o mtodo de Mach enfrenta para definir operacionalmente massa, ao incluir a lei da atrao gravitacional como um axioma. Dentre as concluses que obteve, est a de que se se quiser definir fora a partir da 2a lei de Newton, ento a lei da gravitao se torna uma lei emprica. Mas se, de maneira alternativa, se quiser definir fora a partir do axioma correspondente lei da gravitao, ento F=ma se
SIMON, H.A. (1946), The Axioms of Newtonian Mechanics, Philosophical Magazine (series 7) 38, 888-905. SIMON, H.A. (1954), The Axiomatization of Classical Mechanics, Philosophy of Science 21, 340-3. SIMON, H.A. (1970), The Axiomatization of Physical Theories, Philosophy of Science 37, 16-26.
56
51
torna uma lei emprica da Fsica. Ou seja, a questo de qual a conveno (definio) e qual a lei emprica depende da perspectiva que se adota. Um interessante balano geral deste debate fornecido pelo filsofo da fsica ingls Jon Dorling57:
Este resultado [de Suppes e colegas] normalmente tomado como mostrando que, ao contrrio das vises positivistas de Mach, massas e foras so termos tericos que no podem ser eliminados em favor de termos de observao. primeira vista, essa concluso parece tambm fornecer um forte apoio para o hipottico-dedutivismo, contra o indutivismo. Porm, difcil aceitar os resultados facilmente provados de Suppes da maneira em que so vendidos filosoficamente. Por um lado (ao contrrio do que a maioria dos filsofos parece supor), os fsicos matemticos parecem, em geral, ter tido sucesso em eliminar termos tericos em favor de termos mais diretamente observveis [...] (DORLING, 1977, p. 55.)
Dorling cita as axiomatizaes operacionais da Termodinmica e da Mecnica Quntica feitas por Robin Giles, e se detm numa axiomatizao da Mecnica Clssica feita por G.W. Mackey (1963), que fornece uma generalizao do mtodo de Mach para se determinarem operacionalmente as massas. Conclui que o resultado de independncia de McKinsey et al. decorrente da escolha idiossincrtica de primitivos feita por eles, e que seu resultado no geral, no afetando a plausibilidade de axiomatizaes operacionais ou positivistas.
DORLING, J. (1977), The Eliminability of Masses and Forces in Newtonian Particle Mechanics: Suppes Reconsidered, British Journal for the Philosophy of Science 28, 55-7.
57
52
Cap. IX
A Ontologia do Eletromagnetismo
Questo: Quais conceitos do eletromagnetismo correspondem a entidades reais ?
1. Critrios para estabelecer o que Real A teoria do eletromagnetismo de Maxwell postulou a existncia de diversos campos (definiremos este conceito na seo IX.4), como o eltrico E, o de induo magntica B, o potencial e o potencial vetor A. Quais deles correspondem a entidades reais? Em nosso ensino de fsica, E e B so considerados reais, e a luz costumeiramente representada como ondas E e B. J o potencial vetor considerado irreal, apenas uma representao matemtica. Qual o critrio usado para se estabelecer que um termo terico corresponde ou no a uma entidade real? Iniciaremos este captulo examinando esta questo filosfica, e depois discutiremos vises alternativas, uma que defende que o campo magntico no real, e outra que o potencial vetor tambm real. O que real? O prottipo de um objeto real uma pedra. Ela dura, colorida, tem at gosto, continua igual mesmo que eu a jogue, tem uma forma tridimensional que consistente com todas as imagens formadas de diferentes perspectivas, facilmente concebida e representada pela minha mente, posso lhe dar um nome, se algum a atirar em mim eu sentirei dor, e se eu jog-la contra uma vidraa terei o poder de causar a quebra desta. Podemos extrair desta caracterizao quatro critrios para decidir se um objeto real ou no. Tais critrios no so necessariamente exaustivos, e podem no ser independentes, mas serviro como um ponto de partida para discutir se determinado objeto, como um arcoris, uma sombra, um quark ou uma partcula virtual, real. Quando consideramos um objeto real, ele costuma ser:53 1) Observvel. Se observamos algo, temos boa confiana de que ele existe. H porm iluses, como lampejos de luz quando batemos a cabea, e h objetos visveis que interpretamos como sendo distintos do que so, como as aparies de discos voadores nos cus. O sentido do tato parece ter mais importncia na determinao de que algo real. Vemos um arco-ris mas no conseguimos peg-lo: ser que ele real? Quando todo mundo observa o mesmo objeto, h mais razes para considerarmos que o objeto real, mas mesmo observaes privadas, como o lampejo ilusrio ou uma dor no calcanhar, so indcio de um evento real em nosso corpo. 2) Invariante. Ao tratar de entidades inobservveis, o critrio de invarincia adquire muita importncia. Aquilo que permanece constante ante transformaes de coordenadas ou de perspectivas costuma ser considerado real. Na teoria da relatividade restrita, comprimentos e duraes temporais variam com o referencial, mas h um intervalo espao-temporal que permanece invariante, sugerindo que seja mais real do que o espao e o tempo separados, apesar de estes serem observados. Na teoria quntica, a funo de onda (r) invariante ante mudanas no aparelho de medio, ou seja, ante mudanas no observvel sendo medido. Isso faz alguns autores admitirem que a onda de probabilidade (r) seja real, mas os crticos desta opinio argumentam que ela no diretamente observvel e nem satisfaz o critrio seguinte, no sendo por isso real. 3) Concebvel. Outro critrio importante para aceitarmos que um conceito corresponda a algo real que ele possa ser representado de maneira no-problemtica em uma teoria. A
Uma discusso semelhante, sobre o que fisicamente real, apresentada em NAGEL (1961), op. cit. (nota 28), pp. 146 ff.
53
53
Cap.IX: A Ontologia do Eletromagnetismo
funo de onda mencionada no pargrafo anterior estaria sujeita a colapsos no-locais (falaremos sobre a localidade na seo VIII.4), e para duas partculas correlacionadas (r1,r2) seria definida em seis dimenses, o que problemtica teoricamente. A maioria dos cientistas no acredita em fantasmas porque (entre outras razes) estes no so explicveis pela teoria fsica atual. Na fsica, podemos aceitar que a energia cintica de uma bala seja real porque esse termo terico est presente em leis cientficas bem confirmadas e aceitas. NAGEL salienta tambm que se um termo terico aparecer em diferentes leis experimentais, aumenta nossa confiana em sua realidade. 4) Causalmente potente. Se um objeto apresenta poderes causais, isso aumenta nossa crena em sua realidade. Se uma bruxa consegue lanar um encantamento e quebrar uma vidraa, passamos a levar seriamente que seu encantamento real. Em discusses sobre a realidade do mental (como sendo distinto do corporal ou cerebral), s vezes utiliza-se o argumento de que seriam os estados mentais (e no prioritariamente os correspondentes estados cerebrais) que causariam nossas aes, de forma que tais estados seriam reais (e no meros epifenmenos do cerebral). Em filosofia da biologia, discute-se qual o nvel de seleo que tem realidade (o gene, o indivduo ou o grupo) a partir de seu poder causal. Na presente discusso, enfocamos objetos individuais, mas h tambm uma longa discusso sobre a realidade de entidades envolvendo mais de um indivduo, como conjuntos de indivduos (um conjunto existe ou apenas uma representao), ou propriedades universais e entidades matemticas, que examinamos na seo I.4. 2. Ampre e o Magnetismo como Epifenmeno Em julho de 1820, o dinamarqus Hans Christian rsted descobriu que, ao colocar um fio de platina, condutor de corrente galvnica, prximo e paralelamente a uma bssola, esta tendia a girar para uma posio quase perpendicular ao fio (o efeito no era completo devido ao campo magntico da Terra). Com isso, enunciou sua lei fundamental do eletromagnetismo: o efeito magntico da corrente eltrica tem um movimento circular em torno dela.54
Figura IX.1: Foras entre ims e entre espiras de corrente equivalentes.

MARTINS, R.A. (1986), rsted e a Descoberta do Eletromagnetismo, Cadernos de Histria e Filosofia da Cincia 10, pp. 89-114. Este artigo seguido pela traduo do texto original de rsted.
54
54
Em Paris, em setembro, Andr-Marie Ampre construiu o primeiro galvanmetro e mostrou que dois fios paralelos, carregando corrente no mesmo sentido, se atraem. Em outubro, Franois Arago construiu os primeiros solenides e Jean Baptiste Biot & Flix Savart anunciaram a lei de fora entre uma corrente e um im. Em 1821, em Londres, Michael Faraday conseguiu produzir um movimento circular constante de um im em torno de uma corrente (e vice-versa). A maioria dos cientistas dava igual importncia aos efeitos eltricos, de um lado, e aos efeitos magnticos, de outro. Podemos dizer que eletricidade e magnetismo tinham o mesmo estatuto ontolgico, ou seja, considerava-se que ambos existiam na realidade. Ampre, porm, impressionou-se com a equivalncia da ao de um im e de uma espira de corrente eltrica. A Fig. IX.1 apresenta as foras que surgem entre dois ims, em diferentes disposies, e as anlogas foras entre duas espiras de corrente. Ampre, ento, lanou a hiptese de que a ao magntica nada mais do que a ao de espiras eltricas de dimenses atmicas! Em outras palavras, os efeitos magnticos seriam apenas epifenmenos dos eltricos, ou seja, no fundo nada mais seriam do que conseqncias de correntes eltricas fechadas. Como explicar, porm, o fato de que uma agulha de ferro pode no estar imantada, mas que ao entrar em contato com um im, torna-se magntica? Ampre postulou que cada tomo de ferro, nas condies normais em que no est magnetizado, teria correntes dispostas de acordo com a superfcie de uma ma (Fig. IX.2a). O resultando desta disposio seria um campo magntico interno ao tomo (na forma de um crculo passando por dentro das espiras), mas um campo nulo no exterior do tomo. No entanto, se o ferro fosse aproximado de um im e se magnetizasse, o que ocorreria, segundo Ampre, seria uma deformao como a da Fig. IX.2b, gerando um campo magntico fora do tomo, perpendicular ao plano do desenho.55
Figura IX.2: Modelo pictrico de um tomo de ferro, segundo Ampre. As linhas referem-se a correntes eltricas nos tomos. O caso (a) representa a situao sem magnetizao, e o caso (b) o tomo magnetizado. Neste ltimo caso o campo magntico perpendicular ao plano do desenho.
Hoje em dia, a tese de que o magnetismo dos materiais devido a correntes atmicas pode ser sustentada, mas a explicao estatstica. A circulao de eltrons em um tomo de ferro pode ser visto como gerando um campo magntico, mas se tais tomos estiverem orientados ao acaso, o efeito magntico global ser nulo. Com a aproximao de um im, o que ocorre um alinhamento dos tomos, de tal forma que seus campos magnticos apontam mais ou menos na mesma direo e sentido, gerando uma magnetizao do material como um todo. Um problema para a tese de Ampre o fenmeno do momento magntico intrnseco de eltrons, chamado de spin. como se um eltron fosse um minsculo im. Para tentar
As Figs. IX.2 e IX.3 foram adaptadas de TRICKER, R.A.R. (1965), Early Electrodynamics, Pergamon, Oxford, pp. 29-30 e 43.
55
55
explicar esse magnetismo a partir do movimento de cargas eltricas, pensou-se no eltron como uma esfera eltrica em rotao, mas os clculos mostraram que a velocidade de rotao necessria para gerar o spin do eltron violaria a teoria da relatividade restrita. possvel, porm, elaborar outros modelos para o spin do eltron56, de maneira a salvar a tese de Ampre do primado ontolgico da eletricidade. Recentemente, Andr Assis apresentou um argumento contra a realidade do campo magntico57, baseado no princpio de razo suficiente de Leibniz (ver seo V.4). Se considerarmos uma espira circular em um plano, qualquer fora gerada por este sistema em alguma carga localizada no plano estar direcionada paralela ao plano (nunca para fora do plano). Que razo teramos, ento, para postular a existncia de um vetor de induo magntica apontada para fora do plano? Que razo teramos para estipular que este vetor est apontado para cima do plano e no para baixo? No haveria razo para quebrar essa simetria. Logo, o campo magntico no existiria. 3. Foras Magnticas violam o Princpio de Ao e Reao? Ampre buscou construir uma teoria eletromagntica que satisfizesse os princpios da mecnica de Newton, concebendo que os elementos infinitesimais de corrente se atrairiam ou se repeliriam segundo uma fora central, satisfazendo o princpio de ao e reao (3a lei de Newton). Para exprimir a ao entre uma espira eltrica e um im (ou entre dois ims), Ampre substitua o im pela espira equivalente, aplicava sua lei de fora para cada par de elementos de corrente, fazia a integrao ao longo de cada circuito fechado, e obtinha a fora resultante entre os dois sistemas. Este, porm, era um mtodo diferente daquele introduzido por Biot & Savart, que em outubro de 1820 obtiveram uma lei de fora entre um elemento de corrente e um im. Para este tipo de interao, a lei de Biot-Savart, ou sua reformulao por Grassmann (1845), foi adotada pela maioria dos fsicos, mas ela tinha a caracterstica peculiar de nem sempre satisfazer o princpio de ao e reao. A Fig. IX.3 ilustra esta violao para dois elementos de corrente. Usando a regra da mo direita, vemos que o elemento 1 gera um campo r r magntico B21 no elemento 2, o que resulta na fora F21 indicada, que no central. Por outro lado, o campo magntico exercido por 2 em 1 nulo, de forma que no haveria fora resultante em 2. Temos assim uma clara violao do princpio de ao e reao!
Figura IX.3: Foras entre elementos de corrente segundo Biot & Savart.
Ver referncias em PESSOA JR., O. (2003), Conceitos de Fsica Quntica, vol. 1, Livraria da Fsica, So Paulo, pp. 145-6.
57 56
ASSIS, A.K.T. (1999), Arguments in favour of Action at a Distance, in Chubykalo, A.E.; Pope, V. & Smirnov-Rueda, R. (orgs.), Instantaneous Action at a Distance in Modern Physics Pro and Contra, Nova Science, Commack (Nova Iorque), pp. 45-56; ver p. 54.
56
O curioso que os dois mtodos, o de Ampre e o de Biot-Savart, quando aplicados para circuitos inteiros fechados (o que envolve a integrao da contribuio de todos os elementos), resultam sempre no mesmo resultado! Aps a descoberta da induo eletromagntica por Faraday e Joseph Henry, em 1831, tornou-se necessrio formular uma teoria mais abrangente para o eletromagnetismo. Isso foi feito por Franz Neumann, em 1845, por Wilhelm Weber, a partir de 1846, e por James Maxwell, a partir de 1856. Nesse perodo, a oposio entre as estratgias de Biot-Savart e Ampre se manteve. Biot-Savart e Grassmann influenciaram a abordagem de Lorentz, de 1892, que apresentada na maioria dos textos didticos, juntamente com a teoria de Maxwell. J a abordagem de Ampre foi retomada por Weber, que manteve a 3a lei de Newton, e acabou formulando uma teoria empiricamente equivalente de Maxwell. Uma comparao da lei de fora de Lorentz, segundo a expanso aproximativa de Linard-Schwarzschild, e a de Weber, apresentada por Andr Assis (que mencionamos na seo anterior), um seguidor contemporneo da tradio de Ampre e Weber. Ambas as leis de fora fornecem os mesmos resultados, quando integradas ao longo de circuitos, a menos de um termo proporcional ao quadrado da velocidade. Tentativas para testar esta diferena no tm levado a resultados conclusivos.58 4. Campos e a Ao por Contato, ou Localidade Quando falamos em um campo na fsica, como o campo eltrico ou o campo gravitacional, pensamos em uma funo matemtica geralmente definida em todos os pontos do espao e do tempo, como E(r,t). Atribumos realidade para esse campo porque se no instante t colocarmos uma carga q de massa m no ponto r, concebemos que este campo causa uma acelerao a, cujo valor medido ser tal que F = ma = q E(r,t). Notamos que a descrio do movimento da carga depende s de uma entidade postulada (o campo) presente localmente em torno do ponto r, no instante t. verdade que tal campo gerado por cargas presentes em outras regies, mas a causa prxima do movimento da carga seria o campo, e no as entidades localizadas distncia. Para testar esta ltima afirmao, pode-se imaginar o que aconteceria se um demnio (ver seo VI.2) arrancasse o Sol de sua posio com a maior acelerao possvel. Segundo a teoria da relatividade geral, demoraria 8 minutos (mais 19 8 s) para que a Terra sentisse o baque. A ao ocorrida no Sol no afeta instantaneamente a Terra, mas se propaga a uma velocidade finita igual da luz. Vemos assim que a noo de campo est intimamente ligada noo de ao por contato (ou por contigidade): os efeitos causais no se propagam instantaneamente distncia, mas se propagam de vizinho em vizinho, a uma velocidade finita. Se o arranque do Sol afetasse a Terra instantaneamente, poderamos dizer que a causa prxima do baque na Terra seria o afastamento do Sol. Neste caso, poderamos trabalhar com uma funo potencial gravitacional definida em todo espao, U(r,t), como fez Poisson em 1813, mas isso no seria um campo, no sentido estrito, pois envolve ao distncia. Um campo (no sentido estrito) teria ento trs caractersticas: (i) Seria definida em todos (ou quase todos) os pontos do espao e do tempo de uma determinada regio, correspondendo assim a uma entidade espalhada, podendo ser associada a uma energia. (ii) Em geral, tem um carter meio abstrato ou fantasmagrico, pois no diretamente observvel (sua existncia inferida dos efeitos que causa), podendo ser caracterizado como
58
ASSIS, A.K.T. (1995), Eletrodinmica de Weber, Unicamp, Campinas.
57
uma potencialidade no sentido aristotlico (seo II.3), o que justifica o uso do termo potencial na fsica matemtica. (iii) Os efeitos se propagam a uma velocidade finita, numa ao por contato. Isso tambm expresso pelo termo localidade. Esta ltima noo de ao por contato ou localidade estava presente na filosofia mecnica de Descartes e Huygens (seo III.4), e retornou fsica a partir dos trabalhos de Faraday no eletromagnetismo. A teoria da relatividade geral de Einstein uma teoria da gravitao com ao por contato. Assim, podemos dizer que em 1922 toda a fsica hegemnica era local. Isso razovel: como que algo que acontece no Sol poderia chegar at ns instantaneamente? No entanto, com a teoria quntica, especialmente a partir do teorema de Bell (1964), a no-localidade voltou a figurar nas discusses de fsica. costume dizer que Einstein estava errado (no seu trabalho com Podolsky e Rosen, de 1935) e que a no-localidade se manifesta em pares de partculas emaranhadas. No entanto, a situao mais sutil do que parece. A questo envolve uma escolha entre uma postura instrumentalista (positivista) e uma realista (seo IV.4). O teorema de Bell diz que se algum adotar uma postura realista com relao teoria quntica, ele obrigado a aceitar a no-localidade (ao distncia). Por exemplo, se algum atribui realidade funo de onda (r) (que mencionamos na seo IX.1), ento ter que aceitar a existncia de colapsos no-locais. Porm, numa viso instrumentalista (para a qual (r) apenas um objeto matemtico), o mundo se comporta de maneira local. Isso se reflete na impossibilidade de transmitir informao (algo macroscpico e observvel) a uma velocidade maior do que a luz. 5. O Potencial Vetor um Campo Real? Em seu estudo das propriedades eletromagnticas de um meio, Faraday concluiu que os efeitos eletromagnticos se propagam por contato a partir de deformaes do estado eletrotnico do meio. Maxwell matematizou esta noo (ver cap. X), levando ao conceito de potencial vetor A. Este campo possui as seguintes propriedades: (i) O rotacional de A o campo magntico: A = B. (ii) Ele um potencial para o campo eltrico, juntamente com o potencial escalar : E = A/t . (iii) A seguinte transformao de calibre altera A e , mas mantm os valores de E e B, para qualquer funo escalar : A A + ; (1/c)/t . Assim, tais transformaes no alteram as medies experimentais. (iv) Fixando-se A = 0, pode-se calcular o valor de A a partir da densidade de corrente j: 2A = j/(0 c2), de forma que A seja paralelo a j. (v) A pode ser interpretado como um momento reduzido. Assim, em analogia com a a 2 lei de Newton, F = ma = p/t, onde p o momento linear, tem-se para a fora eltrica: F = qE = (qA)/t, de forma que qA age como um momento. (vi) Do potencial vetor pode-se derivar a energia do campo: U = jA dV. (vii) Em alguns problemas complicados, as integrais envolvendo A so mais fceis de trabalhar do que aquelas envolvendo B. (viii) Por fim, o potencial vetor reaparece da mecnica quntica, na teoria da relatividade e no princpio de mnima ao.
58
Richard Feynman59 escreveu uma instrutiva apresentao ao conceito de campo, em que discute a questo de se o potencial vetor A do eletromagnetismo um campo real ou no. Na verdade, seu conceito de real um tanto instrumentalista. Ele escreve: devemos dizer que a frase um campo real no tem muito significado, mas ele diz isso basicamente por causa do critrio de observao (da seo IX.1): voc no pode pr sua mo e sentir o campo magntico. Para Feynman, um campo real portanto um conjunto de nmeros que especificamos de tal maneira que o que acontece num ponto depende apenas dos nmeros naquele ponto. A discusso do fsico norte-americano pertinente mesmo que adotemos uma concepo mais realista de real. O principal argumento utilizado contra a realidade do potencial vetor A que seu valor no nico (item iii acima), mas se levarmos em conta a teoria da relatividade (seo seguinte), o mesmo se aplicaria para os campos eltricos e magnticos usuais. Outro argumento contra a realidade que A no aparece explicitamente em expresses de fora, como F = q(E + v B); se tivermos uma regio em que B = 0, no haver fora magntica mesmo se A 0. No entanto, com a fsica quntica, descobriu-se um efeito que s pode ser explicado, em termos locais, a partir do campo A! Este o chamado efeito Aharonov-Bohm, formulado explicitamente por esses dois autores em 1959, mas j previsto em trabalho anterior de Ehrenberg & Siday (1949). Um feixe de eltrons passa em torno de um solenide praticamente infinito (em outro arranjo possvel, o solenide tem forma toroidal), tendo-se o cuidado de blindar o solenide para impedir a penetrao de eltrons (Fig. IX.4). A fsica quntica prev que neste experimento os eltrons se comportam como ondas, formando-se um padro de interferncia na tela, mesmo quando o solenide est desligado. Neste arranjo, o campo magntico externo ao solenide nulo, e classicamente no se esperaria nenhum efeito sobre os eltrons propagando volta do solenide. Mas ao se ligar o solenide, o que se observa um deslocamento uniforme da franja de interferncia, explicado por uma variao na fase relativa das amplitudes de onda que passam por um lado e por outro do solenide. Como se d esta alterao na fase relativa?
Figura IX.4: Arranjo do experimento de Aharonov-Bohm. Quando o solenide ligado, as franjas sofrem um deslocamento.
FEYNMAN, LEIGHTON & SANDS (1963), op. cit. (nota 40), vol. II, p. 15-7. Sobre o potencial vetor, ver tambm p. 14-10.
59
59
Ora, esta fase teoricamente expressa como exp (ie/h) A dr . Assim, a teoria nos
diz que ela depende de uma integral em termos do valor do potencial vetor na regio externa ao solenide, por onde passa a onda eletrnica. O efeito assim local. Isso ento sugere que A tenha realidade, no sentindo usual atribudo a campos. No entanto, nem todos os fsicos esto dispostos a atribuir realidade ao potencial vetor. Assim, alguns preferem considerar que h um efeito no-local (ao distncia) do campo magntico dentro do solenide em uma regio distante, fora do solenide. No entanto, tal ao no poderia ser instantnea.60
6. Invariantes da Teoria da Relatividade
No cabe aqui fazer uma exposio da teoria da relatividade restrita, mas vale a pena salientar uma discusso filosfica que surge com esta teoria, a respeito da realidade do espao e do tempo. O que ocorre, segundo esta teoria desenvolvida por Einstein em 1905, que as medies de comprimento l que so realizadas em um certo objeto, ou as medies de tempo t entre dois eventos, tero valores diferentes conforme o referencial inercial R ou R em que se encontra o observador. No entanto, h uma grandeza conhecida como intervalo espao-temporal I, que pode ser definido a partir de I 2 := c2 t 2 l 2, onde c uma constante que equivale velocidade da luz. Este intervalo I invariante com relao ao referencial do observador, o que, segundo os critrios de realidade propostos na seo VIII.1, sugere que ele tenha realidade. O comprimento de um determinado objeto seria medido de maneiras diferentes (conforme o referencial) porque cada referencial observa o objeto numa perspectiva diferente (o mesmo valeria para medies temporais). Segundo os livros didticos, o espao-tempo absoluto (tem o mesmo valor quando calculado por diferentes observadores inerciais, um invariante de Lorentz), ao passo que o espao e o tempo (tomados individualmente) so relativos.61 A tese filosfica de que o que tem realidade o intervalo espao-temporal, e que espao e tempo so apenas vises em perspectiva do intervalo, no aceita por todos, e h uma discusso na literatura a este respeito. Nossa inteno aqui, porm, estender a interpretao perpectivista para as entidades eletromagnticas. O campo magntico B, gerado por um eltron em movimento uniforme, ter valor nulo em um referencial que se move juntamente com o eltron. O campo eltrico E medido tambm variar conforme o referencial do observador. O que se mostra na teoria da relatividade que h dois invariantes de Lorentz, que nomearemos I1 e I2 (no confundir com o intervalo espao-temporal I): I1 := E2 c2B2 , e I2 := (EB)2 . Seriam apenas essas grandezas que teriam realidade, segundo a interpretao perspectivista.
Um relato do experimento de Aharonov-Bohm encontra-se em TONOMURA, A. (1993), Electron Holography, Springer, Berlim, pp. 57-67. Ver tambm OLARIU, S. & POPESCU, I.I. (1985), Quantum Effects of Electromagnetic Fluxes, Reviews of Modern Physics 57, 339. Ver, por exemplo: GAZZINELLI, R. (2005), Teoria da Relatividade Especial, Blcher, So Paulo, p. 83. Sobre os invariantes do eletromagnetismo, ver p. 113.
61
60
60

Filosofia Da Física Clássica

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Filosofia Da Física Clássica

Enviado por

Direitos autorais:

Formatos disponíveis

FLF0472 Filosofia da Fsica (2o sem.

Filosofia da Fsica Clssica

FLF0472 Filosofia da Fsica (USP - 2008)

FLF0472 Filosofia da Fsica (USP - 2008)

Filosofia da Fsica Clssica

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. I: Filosofia da Matemtica

Figura I.1: Quinto postulado de Euclides.

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. I: Filosofia da Matemtica

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. I: Filosofia da Matemtica

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. I: Filosofia da Matemtica

, ...}, onde cada termo n=1,2,... expresso por

[(4m 3)(4m 1)]

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. I: Filosofia da Matemtica

Figura I.2: Numeros racionais so contveis.

Figura I.3: Argumento da diagonal de Cantor.

Filosofia da Fsica Clssica

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. II: Paradoxos de Zeno

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. II: Paradoxos de Zeno

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. II: Paradoxos de Zeno

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. II: Paradoxos de Zeno

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. II: Paradoxos de Zeno

Filosofia da Fsica Clssica

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. III: Filosofia Mecnica

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. III: Filosofia Mecnica

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. III: Filosofia Mecnica

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. III: Filosofia Mecnica

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. III: Filosofia Mecnica

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. III: Filosofia Mecnica

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. III: Filosofia Mecnica

Filosofia da Fsica Clssica

Concepes Realista e Instrumentalista de Fora

FLF0472 Filosofia da Fsica (USP - 2008)

Cap.IV: Concepes Realista e Instrumentalista de Fora

FLF0472 Filosofia da Fsica (USP - 2008)

Cap.IV: Concepes Realista e Instrumentalista de Fora

FLF0472 Filosofia da Fsica (USP - 2008)

Cap.IV: Concepes Realista e Instrumentalista de Fora

Figura IV.1: Paralelogramo descrevendo os movimentos resultantes de foras impulsivas exercidas em A.

FLF0472 Filosofia da Fsica (USP - 2008)

Cap.IV: Concepes Realista e Instrumentalista de Fora

FLF0472 Filosofia da Fsica (USP - 2008)

Cap.IV: Concepes Realista e Instrumentalista de Fora

FLF0472 Filosofia da Fsica (USP - 2008)

Cap.IV: Concepes Realista e Instrumentalista de Fora

Filosofia da Fsica Clssica