A Busca por uma Compreenso Filosfica de Teorias Cientficas

Frederick Suppe
In: SUPPE, F. (org.), The Structure of Scientific Theories. 2a ed. Urbana: University of Illinois Press, 1977, pp. 1241. (1a ed.; 1973). Resumo confeccionado por Osvaldo Pessoa Jr. para a disciplina FLF0367, Teoria do Conhecimento e Filosofia da Cincia II, USP, 1o semestre de 2004. O incio aproximado de cada pgina do original est indicado entre colchetes: [8].

I. Antecedentes Histricos da Viso Recebida II. O Desenvolvimento da Viso Recebida A. Regras de Correspondncia e Significncia Cognitiva B. A Interpretao de Teorias: O Estatuto dos Termos Tericos C. A Lgica do Condicional D. A Distino Observacional-Terica E. A Verso Final da Viso Recebida F. O Desenvolvimento da Cincia na Viso Recebida: Reduo de Teorias III. O Estatuto da Viso Recebida IV. Crticas Viso Recebida A. Quo adequada a Viso Recebida enquanto Anlise Geral de Teorias Cientficas? B. A Distino Observacional-Terico 1. A Distino Analtico-Sinttico 2. A Distino entre Termos Observacionais e Tericos C. Interpretao Parcial D. Modelos E. Regras de Correspondncia F. Questes de Formalizao G. Concluses sobre a Adequao da Viso Recebida V. Alternativas Viso Recebida e seus Crticos A. Anlises Descritivas Cticas B. Anlises de Weltanschauungen 1. As Posies e Crticas a elas especficas: (a) Toulmin (b) Kuhn (c) Hanson (d) Os Realismos de Feyerabend e Popper: (i) Popper (ii) Feyerabend (e) Bohm (incompleto)

2 5 5 8 10 11 11 12 13 14 14 14 15 18 19 21 23 25 26 27 27 28 29 30 33 35 37 39

I. Antecedentes Histricos da Viso Recebida

[6] A Viso Recebida um produto do positivismo lgico, mas continuou a gozar de

popularidade mesmo depois da rejeio deste, pois se propunha a ser uma filosofia da cincia, e no uma epistemologia geral. Qual foi a origem do positivismo lgico? A resposta tradicional que ele surgiu como resposta aos excessos metafsicos de Hegel e de seus sucessores neo-hegelianos, como MacTaggart, Bradley etc., que procuravam explicar a realidade em termos de entidades metafsicas abstratas, como o Absoluto ou entelquias, que no podiam ser especificados empiricamente. [7] Porm, esta no era a preocupao central nos primrdios do movimento, com a formao do Crculo de Viena e da escola de Berlim. Constitudos por cientistas, matemticos e filsofos educados como cientistas, estavam preocupados principalmente com as questes filosficas levantadas pelos avanos cientficos recentes. O positivismo lgico um movimento originrio da cultura alem. A universidade alem tinha seus departamentos organizados em torno de um professor [catedrtico], que escolhia os outros professores e pesquisadores segundo preferncias acadmicas e at polticas. A cincia alem no perodo entre 1850 e 1880 era dominada pelo ponto de vista filosfico do materialismo mecanicista, uma mistura do positivismo comtista [Comte, 1830], do materialismo e do mecanicismo. [8] Esta postura dominante entre os cientistas, porm, estava em oposio filosofia oficial das universidades do estado alemo, que era uma verso diluda do hegelianismo. O porta-voz principal do materialismo mecanicista era Ludwig Bchner, que em 1855 rejeitava o idealismo e o super-naturalismo, em favor da viso de que as leis mecnicas seriam inerentes s coisas, e que toda a matria, animada ou inanimada, interage atravs de foras [e imbuda de energia]. O mtodo cientfico forneceria conhecimento objetivo dessas leis, sem recurso especulao filosfica, mas apenas investigao emprica. No haveria conhecimento a priori, nem a necessidade de uma mediao atravs de conceitos tericos. A partir de 1870, o materialismo mecanicista passou a ser questionado, como resultado dos avanos na psicologia e fisiologia. Hermann von Helmholtz (1863), por exemplo, estudou a fundo a fisiologia dos sentidos da viso e audio, e salientou a importncia da mediao dos sentidos e da atividade pensante do sujeito no crescimento do conhecimento cientfico. Esta crise do materialismo mecanicista levou ascenso de uma filosofia da cincia neo-kantiana, desenvolvida inicialmente por Helmholtz e, de forma mais importante, [9] por Hermann Cohen e sua Escola de Marburgo, e posteriormente por Ernst Cassirer. De acordo com Cohen (1871), o objetivo da cincia seria descobrir as estruturas ou formas gerais das sensaes, que constituem teias de relaes lgicas entre sensaes. A cincia descobriria as estruturas dos fenmenos, no das coisas-em-si. Essas estruturas teriam um carter ideal, platnico, absoluto. Assim, na passagem do sculo, o senso comum da comunidade cientfica alem era de que a cincia seria um conhecimento absoluto, no relativista. Esta seria a concepo que seria chacoalhada com o surgimento, na fsica, das teorias da relatividade e da mecnica quntica. A maior parte da comunidade cientfica alem seria hostil a essas novas teorias at o perodo nazista, devido sua posio predominantemente neo-kantiana e ao preconceito contra os judeus, que tiveram um papel destacado nas duas revolues da fsica. Dentre os filsofos, aps a 1a Guerra, o neo-kantismo da Escola de Marburgo cedeu lugar para posies mais pragmticas ou convencionalistas, no platnicas, como as de Friedrich Lange (1866) e Hans Vaihinger (1911). O neo-kantismo no foi a nica filosofia da cincia adotada como reao ao materialismo mecanicista. Outra escola baseava-se no neo-positivismo de Ernst Mach, e teve

influencia em um nmero menor de universidades, incluindo Gttingen e Berlim. Mach partira, em 1868, de uma posio neo-kantiana, segundo a qual toda teoria cientfica contm um elemento a priori, de carter puramente formal. Posteriormente, no entanto, ele veio a rejeitar quaisquer elementos a priori na constituio do conhecimento das coisas. A cincia seria uma reflexo conceitual sobre fatos, cujos elementos seriam os contedos da conscincia dados pelos sentidos. [10] Neste quadro filosfico, no havia uma doutrina de espao e tempo absolutos, idia esta que influenciaria Einstein. Para Mach, enunciados cientficos devem ser verificados empiricamente, ou seja, devem ser redutveis a enunciados sobre sensaes. Em 1886, procurou construir os princpios da cincia como descries abreviadas de sensaes, mas fracassou ao tentar reduzir relaes matemticas s sensaes. Seu projeto foi retomado pelos cientistas William Clifford (1885), Karl Pearson (1892) e Heinrich Hertz (1894), que no entanto introduziram um elemento a priori na cincia porm, um a priori sem contedo factual. Henri Poincar tambm seguiu esta linha em 1902. Com o surgimento da teoria da relatividade e o lento desenvolvimento da teoria quntica, considerou-se que as trs escolas de filosofia da cincia mencionados o neokantismo, o neo-positivismo machiano e o materialismo mecanicista no conseguiam dar conta dos novos avanos cientficos. As escolas neo-kantianas e materialistas incluindo as universidades de Heidelberg, Wrzburg, Jena e Munique rejeitavam o abandono da fsica clssica. J as escolas neo-positivistas eram simpticas Relatividade e Quntica, as estas exigiam um abandono da adeso estrita ao positivismo machiano. Surgiu assim uma crise nas filosofias da cincia. [11] Como incorporar as revolues da fsica? Qual a natureza da investigao cientfica? Uma das direes seguidas para superar a crise foi produzir um neo-kantismo modificado, como o de Cassirer (1910). A outra direo, que acabou sendo mais influente, foi abraar uma verso enfraquecida do neopositivismo machiano, inicialmente com Moritz Schlick (1918), em Viena, e Hans Reichenbach (1924), em Berlim. Ambos aceitavam o critrio de significado de Mach, segundo o qual os conceitos tericos deveriam ser verificveis, mas concluram que ele estava errado ao no dar um lugar para a matemtica. Para introduzir a matemtica, seguiram a proposta de Poincar (1902) antecipada por Hertz (1894) de que as leis cientficas em geral seriam meras convenes a respeito de fatos (por exemplo, a lei de conservao de energia). As regularidades observadas nos fenmenos seriam caracterizadas por termos tericos, que seriam convenes, no sentido de que qualquer afirmao feita usando termos tericos poderia tambm ser feita em linguagem fenomnica. Ou seja, termos tericos seriam definidos explicitamente em funo dos fenmenos, sendo meras descries abreviadas de fenmenos. Eis ento a base da Viso Recebida, mas ainda falta um elemento: a lgica. [12] Os matemticos e alguns dos filsofos do Crculo de Viena conheciam bem os avanos da matemtica feitos por Frege, Cantor e Russell, que culminaram com a obra Principia Mathematica de Whitehead & Russell (1910-13), que axiomatizava a matemtica com base na lgica. Isso sugeriu aos membros do Crculo de Viena que os enunciados matemticos das leis cientficas, assim como as definies dos termos tericos, poderiam ser dados em termos da lgica matemtica. Modificaram assim sua sntese de Mach e Poincar, resultando na verso original da Viso Recebida (Carnap, 1923). Os termos da axiomatizao lgica dividem-se em trs tipos: (1) termos lgicos e matemticos; (2) termos tericos; (3) termos de observao. Os axiomas da teoria so formulaes de leis cientficas, que especificam relaes entre termos tericos. Termos tericos so meras abreviaes de descries fenomnicas (com termos de observao), de forma que h definies explcitas dos termos tericos T em funo dos termos de observao O:

Tx Ox

( signo de bi-implicao, a ser lido como se e somente se).

Tais definies explcitas so chamadas regras de correspondncia. Os termos de observao, inicialmente, eram considerados descries de fenmenos perceptivos; posteriormente, passaram a descrever objetos fsicos, numa linguagem fisicalista. [13] A Viso Recebida ocupa uma posio central no positivismo lgico, e muitas outras doutrinas da epistemologia positivista so conseqncias dela. Por exemplo, ela evitava a introduo de entidades metafsicas na cincia, j que um termo terico teria que ser definido explicitamente em termos de observao, como o caso de conceitos como massa e fora. Um conceito que no tivesse essa correspondncia com termos de observao no teria lugar na cincia. Isso resolveria o problema das entidades tericas sem a admisso de entidades metafsicas. Por que no estender essa eliminao de conceitos metafsicos para toda filosofia? Influenciados pela doutrina de Wittgenstein (1922) de uma linguagem logicamente perfeita, alargaram a Viso Recebida, resultando numa doutrina geral de significncia cognitiva: s tm sentido proposies envolvendo termos de observao ou termos que so abreviaes de expresses da linguagem observacional. O significado de um termo seu mtodo de verificao: eis a teoria verificacionista de significado. [14] Na extenso da Viso Recebida para a linguagem em geral, todos os enunciados factuais seriam redutveis a enunciados na chamada linguagem protocolar, denotando a experincia fenomnica. Como verificar a linguagem observacional (no caso de teorias cientficas) ou a linguagem protocolar? H dois casos bsicos: a verificao de enunciados particulares e a verificao de generalizaes da experincia os enunciados universais. Na primeira dcada do positivismo lgico, pouca ateno era dada verificao de generalizaes. S em 1938, com Reichenbach, e 1950, com Carnap, temos a tentativa de desenvolvimento de uma lgica indutiva, que serviria como sustentao formal para a passagem de uma srie de observaes para um enunciado universal. [Nota-se que isso se deu depois da crtica de Popper, 1934.] Com relao aos enunciados particulares, duas teses foram defendidas: Carnap (1928) adotou uma abordagem fenomnica, segundo a qual a linguagem observacional ou protocolar seria uma linguagem dos dados dos sentidos. Defendia-se que tal linguagem seria incorrigvel, ou seja, prova de erros, j que se baseava na experincia sensorial do sujeito perceptivo. No entanto, a abordagem que acabou ganhando foi aquela segundo a qual a linguagem protocolar seria uma linguagem fisicalista, que denota coisas materiais e a elas atribui propriedades observacionais. A grande vantagem que a linguagem fisicalista intersubjetiva. A verificao se d pela observao de se uma coisa tem certa propriedade ou no. [15] Em suma, a Viso Recebida adota o fisicalismo como sua doutrina de conhecimento perceptivo. A doutrina neo-positivista acabou retomando tambm a anlise [clssica que o empirismo dava] do processo de aquisio de linguagem. Inicialmente a criana adquiriria um vocabulrio observacional aprendido por definio ostensiva [isto gua]; posteriormente, introduzir-se-ia o vocabulrio no-observacional por definio [explcita]. s vezes, a Viso Recebida oferecia um relato de como a cincia progride: inicialmente, a cincia consiste de generalizaes empricas formuladas com termos de observao. Depois, medida que a cincia avana, introduzem-se termos tericos por meio de definies; e introduzem-se generalizaes tericas ou leis tericas constitudas pelos termos tericos. H assim um processo ascendente, que parte de fatos particulares e procede para generalizaes tericas sobre fenmenos. Este essencialmente o mtodo indutivo defendido por Francis Bacon (1620).

Veremos a seguir que vrias modificaes foram introduzidas na Viso Recebida, mas as principais doutrinas positivistas desta viso seriam mantidas. [16]

II. O Desenvolvimento da Viso Recebida

A verso inicial da Viso Recebida pode ser resumida da seguinte maneira. Teorias cientficas seriam teorias axiomticas formuladas na linguagem da lgica matemtica L, satisfazendo s seguintes condies: (i) [Logicismo clssico] A teoria formulada na lgica de 1a ordem com igualdade, L. (ii) [Distino terico-observacional] As constantes ou termos no-lgicos de L so divididos em trs classes disjuntas, chamadas vocabulrios: (a) O vocabulrio lgico consiste de constantes lgicas, incluindo termos matemticos. (b) O vocabulrio observacional VO, que contm os termos de observao. (c) O vocabulrio terico VT, que contm os termos tericos. (iii) [Fisicalismo] Os termos de VO so interpretados como se referindo a objetos fsicos diretamente observveis ou atributos (diretamente observveis) destes. (iv) [Leis tericas] H um conjunto de postulados tericos T cujos nicos termos nolgicos so de VT. (v) [Regras de correspondncia explcitas] Os termos de VT so definidos explicitamente a partir de VO por meio de regras de correspondncia C. Ou seja, para cada termo F em VT, deve haver uma definio da forma x(Fx Ox), onde Ox uma expresso de L contendo smbolos apenas de VO, alm do vocabulrio lgico. [17] O conjunto de postulados T o conjunto de leis tericas da teoria, e o conjunto C de regras de correspondncia estipula as aplicaes permitidas da teoria aos fenmenos. A teoria cientfica a conjuno de T e C. A. REGRAS DE CORRESPONDNCIA E SIGNIFICNCIA COGNITIVA As regras de correspondncia (tambm chamadas definies coordenativas, dicionrios, sistemas interpretativos, definies operacionais, correlaes epistmicas e regras de interpretao) tm trs funes na Viso Recebida. 1o) Elas definem os termos tericos. 2o) Elas garantem a significncia cognitiva dos termos tericos. 3o) Elas especificam os procedimentos experimentais admissveis de aplicao de uma teoria a fenmenos. [18] No entanto, em 1936-37, Carnap concluiu que termos disposicionais no admitem definies explcitas em funo de termos de observao, apesar de, claramente, serem cognitivamente significantes. Como definir explicitamente um termo disposicional como frgil? Um objeto x frgil se e somente se ele satisfaz as seguintes condies: para qualquer instante t, se x for golpeado em t, ento x quebrar logo aps t. [A expresso se A, ento B exprime a chamada implicao material, e simbolizada por A B).] A clusula (i) exige que isso seja expresso em termos da lgica clssica de 1a ordem. [Uma lgica de 2a ordem permitiria que se quantifiquem predicados; por exemplo, existe alguma propriedade P que repartida por Carnap e Popper: P(Pc Pp).]

Usando Fx para simbolizar x frgil, Sxt para x golpeado em t [strike] e Bxt para x quebra logo aps t [break], teramos [ o quantificador universal para todo]: x ( Fx t(Sxt Bxt) ) . H um problema com esta definio, pois se o objeto no for golpeado, o lado direito ser verdadeiro, de forma que o objeto teria que ser considerado frgil, mesmo que ele seja feito de diamante. Assim, uma definio explcita no funciona para termos tericos disposicionais. [19] A definio operacional de Percy Bridgman um caso especial dessa exigncia de que regras de correspondncia devam ser definies explcitas. Mesmo depois de ter cado em descrdito entre filsofos, esta abordagem permaneceu forte na Psicologia Comportamental e na Biologia Sistemtica. Por exemplo, o conceito de comprimento s seria definido quando forem fixadas operaes fsicas para determin-lo. Porm, definies operacionais so claramente disposicionais, pois especificam o que aconteceria se certas operaes fossem realizadas (Hempel, 1954). Assim, enfrentam os mesmos problemas sublinhados acima para os disposicionais. H ainda um problema adicional. Em geral h mais de um procedimento experimental para determinar o valor de uma grandeza, como a massa. Porm, na prtica cientfica, esses diferentes procedimentos so considerados como relativos a um nico conceito de massa. Assim, a definio operacional no satisfatria enquanto anlise de significado de termos tericos. Curiosamente, Bridgman (1927) considerava esta proliferao de conceitos como um dos pontos fortes de sua anlise. Se quisermos manter a posio de Bridgman, [20] alguma clusula deveria ser includa para justificar esse intercmbio de conceitos, por exemplo vrias leis que estipulem a equivalncia dos conceitos, ou a introduo de um super-conceito (como massa). Tal super-conceito deixaria de ser definido operacionalmente, o que minaria a sua introduo. Resta assim a estratgia de introduzir leis de equivalncia. Se um corpo medido usando os procedimentos operacionais O1 e O2 para massa1 e massa2, os resultados numricos deveriam ser indistinguveis dentro do erro experimental. Um problema aqui que pode haver dois procedimentos operacionais que nunca se apliquem simultaneamente para um mesmo corpo. Neste caso, como interpretar tais leis de forma a torn-las empiricamente verificveis e portanto cognitivamente significantes? Este problema desemboca num problema mais amplo da Viso Recebida, que a questo de se a introduo de uma nova regra de correspondncia (por exemplo, uma nova maneira de medir uma grandeza) deve necessariamente corresponder a uma alterao da teoria. Para a Viso Recebida, que identifica a teoria com a unio de T e C, a resposta teria que ser afirmativa. Em suma, vimos dois grandes problemas que afetam a noo de regras de correspondncia como sendo definies explcitas ou operacionais. (1) Termos tericos disposicionais no so definveis explicitamente se a teoria axiomatizada na lgica de 1a ordem com igualdade. (2) No parece razovel definir um mesmo conceito terico por meio de diferentes procedimentos experimentais. [21] H duas maneiras de tentar evitar o problema (1). (I) Pode-se relaxar a clusula (v) da verso inicial da Viso Recebida, de forma a no se exigir que termos disposicionais sejam definidos de maneira explcita [mas apenas parcial ou, alm disso, implcita]. (II) Pode-se permitir que a teoria seja axiomatizada em uma lgica modal que seja capaz de exprimir condicionais subjuntivos, alterando assim a clusula (i). [Uma lgica modal introduz operadores de necessidade e possibilidade .] A alternativa (I) foi a mais seguida. Com relao ao problema (2), a soluo vai no mesmo sentido que a soluo (I) do problema (1). necessrio que nenhum procedimento experimental em particular, ou 6

condio observacional particular, seja feito uma condio necessria para a aplicabilidade de um termo terico. No mximo, as regras de correspondncia fornecem apenas condies observacionais suficientes para a aplicabilidade de um termo terico. Foi assim que Carnap (1936-37) resolveu os dois problemas supracitados, modificando a clusula (v), exigindo que as regras de correspondncia sejam sentenas de reduo que apenas definam parcialmente os termos tericos. Definiu uma sentena de reduo bilateral para Q3 como um enunciado universal da seguinte forma: Q1 (Q2 Q3), sendo que x Q1x no vlida. Regras de correspondncia seriam sentenas de reduo bilateral nas quais Q3 um termo de VT, e Q1, Q2 so termos de VO ou combinaes lgicas de tais termos (ou termos tericos previamente definidos). O termo disposicional frgil (F) seria definido da seguinte maneira (lembremos que S simboliza golpeado e B quebra): x t ( Sxt (Bxt Fx) ) . Se a for um objeto que nunca golpeado, no se conclui que ele seja frgil (ao contrrio do caso anterior), apesar de Sat (Bat Fa) ser verdadeiro. Assim, o defeito das definies explcitas evitado. [22] Uma sentena de reduo no define completamente um conceito, mas estipula uma condio de teste que se aplica em certas circunstncias (no caso, quando o objeto golpeado). Por um lado, a introduo das sentenas de reduo para exprimir as regras de correspondncia um truque formal para obter o efeito dos condicionais subjuntivos sem ter que introduzir a lgica modal. Mas as mudanas introduzidas so bem mais significativas. Em primeiro lugar, no se exige mais que as regras de correspondncia definam o significado dos termos tericos de maneira completa, mas apenas de maneira parcial, j que mais de uma sentena de reduo possvel para o mesmo termo terico. Por exemplo, um objeto frgil quebra se for fortemente torcido (T) ou sujeito a ultrassom (P). Assim, alm da sentena de reduo oferecida anteriormente, teramos: x t ( Txt (Bxt Fx) ) , x t ( Pxt (Bxt Fx) ) . Cada sentena de reduo uma definio parcial do termo terico constituinte. Esta soluo resolve os dois problemas da definio explcita que vimos acima (termos disposicionais e definies operacionais). Assim, em 1936, a clusula (v) da Viso Recebida foi substituda por: (v) A cada termo em VT dada uma interpretao parcial em termos de VO, por meio de sentenas de reduo. [23] Tais sentenas de reduo eram vistas como enunciados analticos. Essa nova clusula um avano, mas ela tem vrios problemas. Nem todos os termos tericos na cincia so introduzidos por meio de sentenas de reduo. Por exemplo, o conceito de funo de onda na Fsica Quntica. Conceitos tericos mtricos como massa, massa pontual, corpo rgido, fora, temperatura absoluta, presso, volume, ciclo de Carnot, eltron, prton etc. no so nunca introduzidos por meio de cadeias de sentenas de reduo. [24] Hempel (1952) argumentou que a cincia no pode introduzir tais conceitos mtricos por meio de sentenas de reduo, mas Suppe critica sua argumentao de maneira convincente, apontando que ela valeria contra a clusula (v), mas no (v). Suppe, porm, concorda com a concluso geral de Hempel, de que Os construtos usados numa teoria so introduzidos conjuntamente, ao se erigir um sistema terico formulado em termos deles, e ao 7

dar ao sistema uma interpretao experimental, a qual confere um significado emprico aos construtos tericos (p. 23). [25] Dessa maneira, a clusula (v) foi enfraquecida mais ainda para (v), de forma a permitir regras de correspondncia que no so sentenas de reduo. As regras de correspondncia C passam a constituir um sistema interpretativo. A teoria, enquanto uma unidade, tem vrias conseqncias observacionais que a tornam testveis. Porm, tais conseqncias no definem os termos tericos, mas so manifestaes empricas das entidades tericas, que interagem das maneiras especificadas pelas leis (postulados) da teoria. As regras de correspondncia seriam assim os procedimentos experimentais para aplicar a teoria aos fenmenos observveis. Ao mesmo tempo, juntamente com os postulados tericos, eles do uma interpretao parcial aos termos tericos de VT, ao especificar seu contedo observacional. [26] A adoo de (v) exige o abandono da concepo [empirista] de aquisio de linguagem e da teoria [indutivista] do desenvolvimento cientfico. Porm, ela ainda retm a tese de que a linguagem de observao a fonte de significncia emprica. A maior dificuldade de (v) a exigncia de que as regras de C sejam tais que TC seja cognitivamente significante. Isso pressupe que a unidade de significncia cognitiva seja a teoria como um todo. Hempel (1965) estudou com cuidado a questo de como definir precisamente que uma teoria (como um todo) seja cognitivamente significante, mas no obteve nenhuma soluo satisfatria. Assim, a maioria dos partidrios da Viso Recebida abandonou a busca por um critrio de significncia para a teoria como um todo. Ao fazerem isso, tenderam a abandonar a distino entre enunciados analticos e sintticos, e no mais afirmam que as regras de correspondncia sejam verdades analticas. [27] B. A INTERPRETAO DE TEORIAS: O ESTATUTO DOS TERMOS TERICOS O enfraquecimento sucessivo das exigncias sobre as regras de correspondncia culminou no seguinte retrato das teorias cientficas. Uma teoria TC um sistema axiomtico em que T so postulados tericos ou leis bsicas formuladas na linguagem terica LT, e C so regras de correspondncia que especificam as aplicaes admissveis de T a fenmenos empricos. A incluso de C permite que T possa ser usada para fazer previses sobre observaes futuras. Suppe oferece um exemplo simples disso na Mecnica Clssica (pp. 278). [28] J que a maioria dos proponentes da Viso Recebida tambm adota o modelo de explicao por lei de cobertura (isto , o modelo nomolgico-dedutivo de HempelOppenheim, 1948), para o qual previso e explicao so formalmente idnticas (a nica diferena seria que a previso ocorre antes do fato e a explicao depois), TC seria tambm capaz de gerar explicaes cientficas. Assim, TC estabelece diversas regularidades nomolgicas entre fenmenos observveis, ao permitir a deduo de sentenas de VO da seguinte forma ( o smbolo lgico para a conjuno e): (O1 O2 ... On) O . observao que so conseqncias vlidas de TC. Se TC for empiricamente verdadeiro, ento todos os enunciados de observao de TO so verdadeiros.
[29] Essas regularidades so as previses de TC. Seja TO a classe de todos os enunciados de

E a conversa seria verdadeira? A verdade de todos os enunciados em TO seria condio suficiente para que TC seja empiricamente verdadeira? A resposta vai depender do estatuto cognitivo atribudo a T, e aos termos tericos de VT. A interpretao realista de teorias permite que os termos tericos refiram a entidades ou atributos fsicos reais, mas no observveis, como por exemplo, o conceito de salto quntico. Para esta abordagem, o fato de os enunciados de TO serem verdadeiros no uma condio suficiente para TC ser verdadeiro. A interpretao instrumentalista de teorias nega que os termos tericos refiram a entidades no-observveis que realmente existam. Neste caso, as sentenas envolvendo VT no sero nem verdadeiras nem falsas, e portanto TC no empiricamente verdadeiro ou falso. TC meramente um conjunto de regras para especificar TO. A questo no se TC verdadeiro, mas se ele adequado, no sentido de que TO contm apenas enunciados de VO que sejam empiricamente verdadeiros. [30] A Viso Recebida pode ser mantida tanto numa interpretao realista quanto numa instrumentalista. Exemplos de interpretaes instrumentalistas encontram-se em Ramsey (1931), Schlick (1938), Toulmin (1953), Ryle (1949), assim como na interpretao ortodoxa da Teoria Quntica. No entanto, surge um problema na interpretao instrumentalista (e tambm na verso da definio explcita, ou seja, a verso original da Viso Recebida): Qual seria a necessidade dos termos tericos? Muitos defensores desta linha chegaram at a concluir que os termos de VT no seriam necessrios, mas ento por que a cincia continua a empreg-los? Hempel (1958) formulou esta questo na forma de um dilema, que ele chamou de dilema do terico. Se VT desnecessrio, ento no haveria necessidade do mecanismo proposto pela Viso Recebida. [31] O estudo deste problema centra-se na questo de se, de fato, tudo o que TC faz (na interpretao instrumentalista) definir TO (a classe de todos os enunciados de observao que so conseqncias vlidas de TC). (Na interpretao realista, TC claramente faz mais: ele tambm descreve diversas entidades no-observveis e suas interaes.) [32] Em outras palavras, a questo determinar se TO pode ser definida de outra maneira, que no faa uso de TC. Dois procedimentos tcnicos foram sugeridos. O primeiro baseia-se num resultado da lgica, o teorema de Craig (1953), que aplicado ao nosso problema diz que sempre existe uma teoria (TC) cujos smbolos nolgicos so apenas de VO e cujos teoremas so justamente as sentenas de TO. Porm, tal teoria ter um nmero infinito de axiomas, sendo praticamente uma listagem das sentenas de TO (Maxwell, 1962). A segunda abordagem emprega as chamadas sentenas de Ramsey (1931), que so enunciados em uma lgica de ordem superior, de tal forma que os termos de VT podem ser eliminados numa teoria TC com um nmero finito de axiomas. [33] A idia substituir cada predicado terico i que aparece nos postulados da teoria por uma varivel i, precedida de uma quantificao existencial em i. Ou seja, a sentena de Ramsey que substitui TC consegue evitar termos tericos apenas se recusando a nome-los! Tal abordagem no satisfatria para evitar termos tericos (Hempel, 1958). [34] A concluso parece ser, ento, que o dilema do terico um pseudoproblema: no verdade que princpios tericos envolvendo termos no-observacionais possam ser eliminados da cincia. A defesa de uma interpretao instrumentalista no significa que os termos tericos possam ser eliminados. E, de fato, uma vantagem da interpretao instrumentalista que se podem introduzir termos tericos vontade, para conseguir uma descrio econmica dos fenmenos observveis, sem se preocupar com a questo de se tais termos correspondem a uma entidade no-observvel na realidade.

No entanto, a maior parte dos filsofos da cincia que aceitam a legitimidade dos termos tericos acabam adotando uma interpretao realista. [35] Esta postura, porm, tambm tem seus problemas, concernentes ao significado dos termos tericos e ao estatuto das entidades correspondentes. Toda interpretao observacional de um termo terico dada pelas regras de correspondncia. Mas estas s fornecem uma definio parcial dos termos tericos. De onde vem o restante de seu significado? A resposta que o significado dos termos tericos no provm apenas da observao; para especificar este significado de maneira completa, seria preciso recorrer a uma metalinguagem (ou seja, uma linguagem que se refere a uma outra linguagem, a linguagem objeto) mais rica (Carnap, 1939; Hempel, 1963). [36] Suppe (1973) sugere que o contedo emprico seria extensional ao passo que a parte no-emprica seria intensional. C. A LGICA DO CONDICIONAL A clusula (i) da verso inicial da Viso Recebida estipula que as leis tericas sejam axiomatizadas na lgica de 1a ordem com igualdade, que uma lgica extensional, ou seja, que se exprime no modo indicativo. No entanto, h dificuldades em definir disposicionais no modo indicativo, e o mesmo se aplica para as leis cientficas. Estas tm um carter subjuntivo, pois no descrevem apenas o que aconteceu ou acontecer, mas tambm o que aconteceria sob diversas circunstncias. [37] Assim, o enunciado de leis envolve o chamado condicional contrafactual. Propriedades disposicionais so facilmente exprimveis em termos de contrafactuais: Se este objeto fosse batido, ele quebraria. Vimos que disposicionais so formulveis segundo sentenas de reduo, da lgica extensional. No entanto, argumenta-se que o condicional contrafactual no pode ser expresso extensionalmente em termos do condicional material () e de sentenas de reduo (Chisholm, 1946). [38] [39] Goodman (1947), inclusive, argumentou que a especificao de um condicional contrafactual repousa sempre uma lei natural, ou generalizao nomolgica. [40] Esta ltima, porm, s pode ser especificada, segundo Goodman, se tivermos uma teoria satisfatria de confirmao indutiva. [41] Esses dois artigos geraram bastante discusso epistemolgica, mas tal discusso no teve efeitos sobre a Viso Recebida. No entanto, alguns autores ligados a esta tradio concluram que avanos recentes na lgica modal, como os de Ruth Barcan Marcus (1946), permitiam o desenvolvimento de lgicas causais que poderiam caracterizar os condicionais contrafactuais e as leis naturais. Carnap (1947) deu ateno lgica modal, de maneira independente da problemtica levantada por Chisholm e Goodman, mas as tentativas mais importantes de desenvolver operadores causais foram as de Hans Reichenbach (1947) e Arthur Burks (1951). Estas tentativas, porm, geraram muitos problemas. [42] Na dcada de 60, buscou-se utilizar as tcnicas semnticas de Saul Kripke para caracterizar condicionais e leis em termos de mundos possveis. Em vista dessa linha de pesquisa, Carnap (1956) props alterar a clusula (i) da seguinte forma: (i) A teoria formulada na lgica de 1a ordem com igualdade, L, possivelmente ampliada por operadores modais. Suppe nota que as leis da Fsica, como F = ma, em si mesmas no envolvem contrafactuais, mas podem ser empiricamente interpretadas de forma a se relacionarem com o mundo de maneira contrafactual. Ou seja, as regras de correspondncia C envolveriam contrafactuais, no as leis tericas T. [43] [44] [45]

10

D. A DISTINO OBSERVACIONAL-TERICA A clusula (iii) da verso original da Viso Recebida, relativa noo empirista de observao direta de objetos fsicos (fisicalismo), manteve-se sem alterao com o passar das dcadas. [46] Carnap (1936-37) foi quem melhor discutiu a questo da observao direta, salientando que a linha divisria entre predicados observveis e no-observveis arbitrria, j que h graus contnuos de observabilidade. [47] Assim, um fsico pode considerar que uma corrente eltrica diretamente observvel, ao passo que um filsofo consideraria que o que observado o ponteiro do ampermetro, e que o valor da corrente inferido desta leitura de ponteiro, e no observado (Carnap, 1966). [48] A distino observacional-terica aparece em dois momentos. H a distino entre os vocabulrios observacional VO e terico VT, mencionada na clusula (ii). Porm, a clusula (iii) impe a exigncia adicional de que os termos de VO designem entidades ou coisas diretamente observveis, ou seus atributos. Temos assim duas dicotomias que so coextensivas. Alm disso, a clusula (iii) tambm afirma que as asseres que podem ser feitas usando apenas os termos de VO (alm dos termos lgicos) no sero intersubjetivamente problemticas com respeito verdade. Em outras palavras, a linguagem de observao seria cientificamente e teoricamente neutra, e sua verdade no seria problemtica. [49] Um ltimo ponto a ser mencionado que Carnap (1956) faz uma distino entre dois tipos de linguagem observacional. A linguagem observacional LO tem uma sintaxe simples para permitir que suas sentenas sejam confirmadas por meio de poucas observaes. J a linguagem observacional logicamente estendida LO envolve o uso de operadores modais, uso irrestrito de quantificadores, etc., de forma que suas sentenas possam no satisfazer o critrio verificacionista de significncia cognitiva. Carnap tambm considera a linguagem terica, LT, que faz uso de toda aparelhagem lgica de L. [50] E. A VERSO FINAL DA VISO RECEBIDA Suppe concentrou seu estudo sobre a Viso Recebida especialmente em Carnap e Hempel, que foram os autores principais das verses mais sofisticadas dessa metateoria. Outras verses, porm, foram desenvolvidas por diversos autores, como Duhem (1906), Campbell (1920), Ramsey (1931), Northrop (1947), Margenau (1950), Braithwaite (1953), Bergmann (1957), Nagel (1961), Reichenbach (1962) e Kaplan (1964). Nas pp. 50-2, Suppe apresenta a verso final da Viso Recebida, que uma sntese da viso de Carnap (1956-66) e de Hempel (1958-63). Ela sistematiza e completa a exposio feita at aqui. [51] [52] [53] F. O DESENVOLVIMENTO DA CINCIA NA VISO RECEBIDA: REDUO DE TEORIAS De acordo com a maioria dos partidrios da Viso Recebida, as teorias so sujeitas ao teste emprico, e se a teoria passa por uma variedade suficiente de testes, ela adquire um alto grau de confirmao. Porm, a Histria da Cincia est repleta de teorias altamente confirmadas que foram subseqentemente suplementadas por novas teorias. Para a Viso Recebida, isso pode ser entendido ao percebermos que o progresso cientfico ocorre de trs modos. Primeiro, apesar de uma teoria ter alto grau de confirmao, avanos tcnicos levando a uma maior preciso nas medies podem exibir regies em que a teoria preditivamente

11

inadequada, de forma a erodir seu grau de confirmao. A revoluo copernicana s vezes era citada como exemplo disso, mas este exemplo inadequado, j que as descobertas experimentais tiveram papel desprezvel (Kuhn, 1957). Segundo, enquanto a teoria continua bem sucedida em seu escopo (domnio de aplicao) original, ela expandida para um escopo mais amplo de sistemas ou fenmenos. Um exemplo disso a extenso da Mecnica Clssica de Partculas para cobrir corpos rgidos. Terceiro, vrias teorias diferentes, cada qual bem confirmada, passam a ser includas ou reduzidas a uma teoria mais abrangente. Em geral, os positivistas defendem que, exceto na infncia das teorias, o progresso cientfico basicamente dos dois ltimos tipos (expanso e reduo). [54] Isso porque, se uma teoria TC chega a ter um alto grau de confirmao, improvvel que em seu prprio domnio de aplicao ela venha a ser desconfirmada. Quando ela for expandida para um novo domnio de aplicao, possvel que ocorra desconfirmao, mas aps ser expandida, no se trata mais da teoria original TC, e sim de uma nova teoria TC (que mantm as leis tericas T, mas altera as regras de correspondncia de C para C). A expanso envolve novas regras de correspondncia, de forma que a teoria muda. Se a verso expandida passar os testes e tornarse altamente confirmada, ela tambm ficar relativamente isolada da desconfirmao. Tal expanso do escopo de uma teoria uma forma de reduo de teorias. A anlise da reduo entre teorias foi feita no tratamento clssico de Kemeny & Oppenheim (1956), e aperfeioada por Nagel (1961). Haveria um primeiro tipo de reduo, que ocorre quando as leis da cincia secundria (TC) no empregam nenhum termo descritivo que no seja usado, com aproximadamente o mesmo significado, na cincia primria (TC). Redues deste tipo estabelecem relaes de deduo entre dois conjuntos de enunciados que empregam um vocabulrio homogneo. O mesmo tipo de reduo ocorre quando novos princpios tericos so adicionados a T, resultando numa nova teoria TC, ou TC. Esses processos de reduo, ento, descreveriam o progresso que ocorre quando uma teoria substituda por outra muito semelhante, e mais abrangente. [55] No entanto, progresso cientfico ocorre tambm de acordo com um segundo tipo de reduo, quando a cincia secundria (reduzida) emprega, em suas formulaes de leis e teorias, diversos predicados descritivos que no esto includos nos termos tericos bsicos ou nas regras de correspondncia associadas da cincia primria (redutora). Exemplos disso so a reduo da Termodinmica Mecnica Estatstica, ou das leis de Kepler dinmica de Newton. Este tipo de reduo problemtico, e preciso introduzir suposies adicionais para relacionar os termos tericos da teoria reduzida e os da teoria redutora. [56] A cincia assim um empreendimento cumulativo, estendendo os velhos sucessos com a adio de novos sucessos. Velhas teorias no so abandonadas depois de serem aceitas; elas so apenas suplantadas [superceded] por teorias mais amplas. Eis ento a tese do desenvolviemtno por reduo. Nota-se que teorias altamente confirmadas so relativamente imunes a desconfirmaes subseqentes. Alm disso, requer-se que a reduo no afete os significados dos termos tericos. A tese do desenvolvimento por reduo no faz parte da Viso Recebida, mas ela pressupe esta viso. Essa tese ser rejeitada por Feyerabend, Hanson e Kuhn, o que os levar tambm a rejeitar a Viso Recebida. [57]

III. O Estatuto da Viso Recebida

O que se quer afirmar quando os proponentes da Viso Recebida afirmam que teorias cientficas tm formulaes cannicas que satisfazem um conjunto de clusulas determinadas? s vezes, autores escrevem como se eles estivessem descrevendo a maneira

12

pela qual as teorias cientficas so realmente formuladas (por exemplo, Nagel). Mas teorias cientficas so raramente formuladas de maneira axiomtica, e quando o so, geralmente no seguem as estipulaes formais da Viso Recebida. Qual seria ento o estatuto da anlise empreendida pela Viso Recebida? Seria explicitar [explicate, que no deve ser traduzido por explicar] o conceito de teoria cientfica. Segundo Carnap (1950), a tarefa da explicitao [explication] consiste em transformar um conceito mais ou menos inexato em um exato, ou melhor, em substituir o primeiro pelo segundo. [58] Essa noo semelhante ao conceito de anlise analisado por C.H. Langford (1942), mas a explicitao pode desviar mais do sentido original do conceito sendo explicitado. [59] Chomsky (1957) melhorou ainda mais a explicitao do conceito de explicitao. [60] Levando tudo isso em conta, Suppe prope as seguintes exigncias para uma explicitao adequada: (1) Para instncias claras (no vagas) de aplicao e de no-aplicao do conceito sendo explicitado, a explicitao deve aplicar-se ou no se aplicar da mesma maneira (Chomsky). (2) O conceito sendo explicado (explicandum) e a explicitao (explicatum) devem ter sentidos diferentes (Langford), mas o sentido da segunda deve ser mais preciso. (3) A explicitao deve ser frutfera, levando a resultados teis ou interessantes (Carnap). (4) A explicitao deve ser to simples quanto possvel (Carnap). Com isso, esclarece-se o estatuto da Viso Recebida. Esta especifica uma formulao cannica para teorias em termos de um clculo axiomtico e regras de correspondncia. Afirma-se que esta formulao cannica relaciona-se com qualquer teoria cientfica da seguinte maneira. Qualquer teoria cientfica poderia ser reformulada desta maneira cannica, e tal formulao capturaria e preservaria o contedo conceitual e estrutural da teoria, de tal maneira a revelar mais claramente a natureza conceitual ou estrutural da teoria. Esse esclarecimento indica quais seriam os caminhos para se mostrar a inadequao da Viso Recebida. (a) Pode-se mostrar que h instncias claras de teorias cientficas que no admitem tal formulao cannica, ou de teorias no-cientficas que a admitem. (b) Pode-se mostrar que vrios conceitos ou distines empregados pela formulao cannica so vagos ou ininteligveis. [61] (c) Pode-se mostrar que a formulao cannica representa erroneamente ou obscurece certas caractersticas de teorias cientficas. (d) Pode-se mostrar que a formulao cannica incompatvel com outras anlises aceitas para conceitos relacionados. (e) Pode-se mostrar que ela introduz complicaes injustificadas. (f) Pode-se apresentar uma anlise alternativa que evite as inadequaes da Viso Recebida, e que ao mesmo tempo seja mais esclarecedora com relao ao conceito sendo explicitado. Veremos a seguir os ataques que foram feitos Viso Recebida, que seguem cada um dos caminhos apontados acima.

IV. Crticas Viso Recebida

[62] Alm das crticas feitas de dentro da Viso Recebida, com o intuito de aperfeiola (seo III), examinamos agora as crticas feitas para mostrar que ela fundamentalmente equivocada.

A. QUO ADEQUADA CIENTFICAS?

VISO RECEBIDA

ENQUANTO

ANLISE GERAL

DE

TEORIAS

[63] Uma primeira questo a ser examinada (Suppe, 1967) se todos os exemplos

claros de teoria cientfica podem ser reformulados axiomaticamente, da maneira exigida pela

13

Viso Recebida. Apesar da dificuldade de obter um consenso sobre a cientificidade de diferentes teorias, Suppes vai argumentar que nem todas so passveis de reformulao axiomtica cannica (apenas algumas delas o so), ou melhor, de uma axiomatizao frutfera (pois pode-se sempre axiomatizar uma teoria listando todas as suas teses, mas isso no seria frutfero). [64] Teorias cientficas se caracterizam por sistematizarem um corpo de conhecimento emprico por meio de um sistema interrelacionado de conceitos. Segundo a Viso Recebida, uma axiomatizao frutfera deve refletir o carter sistemtico da teoria de acordo com as seguintes caractersticas: Dentre os vrios conceitos que ocorrem na verso pr-axiomtica da teoria, um pequeno nmero selecionado como sendo bsico. Axiomas so introduzidos, especificando as relaes mais fundamentais existentes entre esses conceitos bsicos. Definies so dadas especificando os conceitos restantes da teoria em termos dos conceitos bsicos. As relaes estabelecidas entre axiomas e definies no explicitam todo o contedo da teoria, mas se a axiomatizao for frutfera e adequada, ser possvel deduzir o restante do contedo da teoria a partir dos axiomas e definies. Tal mtodo axiomtico um mtodo que introduz ordem em um corpo de conhecimento j bem desenvolvido, no qual as interconexes sistemticas de conceitos sejam bem compreendidas. Caso contrrio, a axiomatizao ser prematura e infrutfera (como apontou Copi, 1958, com relao a tentativas de axiomatizar partes da lingstica e da psicologia). [65] O autor apresenta vrios exemplos de teorias cuja axiomatizao seria prematura (na poca em que escreveu), incluindo a teoria darwiniana da evoluo, a psicologia freudiana, teorias paleontolgicas, etc. Seriam teorias vagas e esquemticas. Qualquer tentativa de axiomatizao ultrapassaria tanto a teoria que constituir-se-ia numa nova teoria! Em suma, um grande nmero de teorias consideradas cientficas no passvel de reformulao por meio de uma axiomatizao cannica. [66] H, claro, exemplos bem sucedidos de axiomatizao, como as da fsica terica. A anlise feita pela Viso Recebida s se aplica a esses casos. Examinaremos, porm, a seguir, crticas feitas a essa abordagem mesmo em casos de axiomatizao bem sucedida. B. A DISTINO OBSERVACIONAL-TERICO Dentre os ataques mais importantes Viso Recebida esto aqueles que criticam a distino observacional-terico. Eles se dividem em trs tipos: (1) crticas distino analtico-sinttico, usada pela Viso Recebida; (2) crticas ao uso da distino observacionalterico para linguagens cientficas; [67] (3) descries da observao que so incompatveis com a distino observacional-terico (tpico este tratado apenas na seo V, junto com as crticas de Hanson e outros). 1. A Distino Analtico-Sinttico A distino entre analtico e sinttico foi formulada explicitamente por Kant [1781], ao definir uma proposio analtica como aquela em que o conceito do predicado da orao est contido no conceito do sujeito da orao. A noo de estar contido vaga, ensejando refinamentos posteriores (no necessariamente equivalentes). Carnap (1966) define uma proposio analtica como aquela que, se verdadeira, verdadeira devido sua forma lgica e ao significado dos termos descritivos e lgicos usados.

14

Por outro lado, a verdade ou falsidade de uma proposio sinttica no determinada pelos significados dos seus termos, mas determinada pela informao factual sobre o mundo fsico. Note que Carnap usa a expresso determinada ao invs de depende. Com isso, sua distino analtico-sinttico redunda em uma formulao alternativa para o critrio positivista de significncia cognitiva (que foi visto nas sees I e II): uma proposio significativa se e somente se ela for analiticamente verdadeira, analiticamente falsa ou empiricamente testvel o que equivale a ser sinteticamente verdadeira ou falsa. [68] A distino entre proposies analticas e sintticas da linguagem observacional LO no muito problemtica. Uma proposio analtica de LO seria aquela que verdadeira devido a sua forma lgica ou ao significado dos termos de VO (e lgicos) nele ocorrendo. As proposies restantes de LO fazem asseres sobre entidades diretamente observveis, sendo assim sintticas. J para as sentenas da linguagem terica LT ou para sentenas mistas, envolvendo termos de ambos os vocabulrios (VO e VT), a situao mais complicada. Sentenas que so instncias de verdades lgicas sero analticas. Mas o que dizer sobre as verdades no-lgicas que so analticas em virtude de suas formas lgicas e dos significados dos termos lgicos e de VT? Sentenas analticas seriam verdadeiras ou falsas, dependendo da forma lgica, dos significados dos termos lgicos e do significado dos termos VT parcialmente interpretados por TC (teoria + regras de correspondncia). [69] Mas TC no analtica, e nem C analtica. Assim, TC tem um componente factual separado de um componente de significado. Carnap (1966), assim, sugeriu que se especificassem postulados de significado M para L. Assim, as sentenas analticas so verdades lgicas ou aquelas que so conseqncia lgica de postulados de significado. Feito isso, segue-se que todas as proposies no analticas so sintticas? Se os postulados de significado forem adequados, ento sim, pois toda sentena de LT ter conseqncias em LO que so diretamente observveis. Assim, a Viso Recebida incorpora a distino entre analtico e sinttico. Se tal distino no for defensvel para linguagens cientficas, ento a Viso Recebida tambm no ser defensvel. [70] Em seu clssico artigo Dois Dogmas do Empirismo (1953), W.V. Quine argumenta que a distino analtico-sinttico insustentvel. Primeiro, ele distingue duas classes de proposies analticas: verdades lgicas e sentenas que so verdadeiras devido a seus significados. Ele ento nota que essas ltimas podem ser convertidas nas primeiras substituindo-se sinnimos por sinnimos. Ou seja, uma proposio como Nenhum solteiro casado da segunda classe; substituindo os sinnimos, fica: nenhum descasado casado, que agora da primeira classe. A segunda classe problemtica porque a noo de sinonmia de certa forma obscura (em Linsky, 1952, examinam-se os problemas dessa noo). Como ento caracterizar com rigor essa segunda classe de enunciados analticos? (i) O recurso noo de definio recai na de sinonmia. (ii) A tentativa de definir uma condio suficiente para a sinonmia fazendo uso da noo de intercmbio salva veritate (isto , sem alterao dos valores de verdade) funciona, segundo Quine, [71] apenas para linguagens suficientemente ricas (com relao a uma noo de necessidade), mas no para linguagens extensionais. Mesmo assim, a caracterizao de necessidade acaba pressupondo uma noo de analiticidade. (iii) Abandonando este caminho, Quine considera ento a idia de que analiticidade verdade em virtude de significado, que em linguagens artificiais poderia se tornar precisa usando a noo de regras semnticas ou postulados de significado para a linguagem. Conclui, novamente, que tal tentativa insatisfatria. (iv) Considera, por fim, uma proposta implcita na teoria verificacionista de significado. Argumenta que esta tentativa fracassa, ou seja,

15

fracassa a doutrina da redutibilidade de enunciados sintticos a enunciados sobre a experincia imediata: [72] O dogma do reducionismo sobrevive na suposio de que cada enunciado, tomado isoladamente dos outros, pode ser confirmado ou desconfirmado de forma absoluta. Minha sugesto contrria [...] que nossos enunciados sobre o mundo exterior se apresentam ao tribunal da experincia sensorial no individualmente, mas somente como um corpo integrado. [...] O dogma do reducionismo, mesmo em sua forma atenuada, est intimamente ligado com o outro dogma que h uma ciso entre o analtico e o sinttico (Quine, 1953). Teamos agora um comentrio crtico sobre o artigo de Quine. Em primeiro lugar, ele acaba no demonstrando a tese de que a distino analtico-sinttico insustentvel; na melhor das hipteses, ele mostrou que diferentes tentativas de sustentar a analiticidade no funcionam. Em segundo lugar, ele est correto em dizer que o dogma da redutibilidade est envolvido no uso feito por Carnap da distino analtico-sinttico, mas este dogma empregado em uma forma atenuada (como Suppe teria mostrado em sua exposio anterior), e o argumento de Quine no atinge esta forma atenuada. Vrios artigos foram escritos retrucando Quine. Destes, a primeira crtica importante foi a de Grice & Strawson (1956). [73] Apesar de existir um bom nmero de casos em que no sabemos se um enunciado analtico ou sinttico (ver Wang, 1955), para a maior parte dos exemplos h concordncia, o que indica que existe alguma distino entre analtico e sinttico. Putnam (1962a) aceita que exista tal distino, e busca definir essas classes, para em seguida argumentar que muitas proposies que chamaramos de sintticas no so nem analticas, nem sintticas. Essa classe incluiria as definies fsicas e leis cientficas. O ponto central de seu argumento a noo de conceito de aglomerado de leis (law-cluster concept). Um conceito de aglomerado [74] um conceito cujo significado um aglomerado ou conjunto de propriedades, todas ou muitas das quais possudas por um indivduo subsumido pelo conceito, mas sem haver necessidade de que todas essas propriedades sejam possudas pelo indivduo (ver Achinstein, 1968, caps. 1 e 2). [Por exemplo, uma cadeira um objeto fabricado para que pessoas sentem, na qual pessoas de fato sentam, que tem uma parte plana horizontal, tem um encosto, tem quatro pernas e feito de um material rgido.] Um conceito de aglomerado de leis seria constitudo no por um conjunto de propriedades, mas sim por um conjunto de leis que determinam a identidade do conceito. Um exemplo paradigmtico de conceito de aglomerado de leis seria o conceito de energia, que desempenha um grande nmero de papis em leis e inferncias, que constituem seu significado de maneira coletiva. Assim, a mudana nas leis de energia cintica ocasionada pela teoria da relatividade de Einstein teria alterado a intenso (sentido) do conceito de energia, mas no alterou a extenso (domnio de referncia) do conceito. Outra maneira de colocar a questo supor que as leis envolvidas no aglomerado sobredeterminam a extenso do conceito, de tal forma que se uma ou outra lei for eliminada, a extenso do conceito no se altera. 2 [75] Putnam mostra que a definio de energia (E = mv ) e os princpios da geometria euclidiana so princpios formulados em termos de conceitos de aglomerado de leis. Tais princpios no so analticos, pois podem ser considerados falsos (e isso, claro, sem precisar alterar as definies dos termos constituintes). Mas tambm no seriam sintticos, pois no podem ser testados em isolamento, mas somente em conjuno com outros princpios (a tese de Duhem, 1906, pp. 183-90 da traduo em ingls; ver crtica da tese duhemiana em Grnbaum, 1963, cap. 4, seo A). Em suma, haveria uma extensa classe de enunciados, que incluiria a maioria dos princpios, [76] definies e leis da cincia mais desenvolvida, que no seriam nem analticos, nem sintticos. E isso ocorreria porque esses enunciados so conceitos de aglomerado de leis.

16

Uma resposta tanto a Quine quanto a Putnam foi dada por Grover Maxwell (1962a). Ele defende que enunciados analticos so aqueles que, em uma reconstruo racional razovel, seriam afirmveis de maneira incondicional; assim, carecem de contedo factual. Isso faz com que a analiticidade seja dependente do contexto, e corresponderiam (grosso modo) aos postulados de significado de Carnap. No que tange aos conceitos de aglomerado de leis, de Putnam, Maxwell afirma que, dependendo do contexto, algumas leis envolvidas podem ser negadas (sendo sintticas) e outras no (sendo analticas). Feigl (1956) apresenta uma defesa semelhante da distino analtico-sinttico. [77] A essa colocao, Putnam (e Suppe) responderia que o que Maxwell e Feigl definiram no a distino analtico-sinttico, propriamente dita, mas uma semelhante. Tomar uma deciso de que um enunciado no deve ser falseado diferente de dizer que ele no pode ser falseado (o que seria, pois, analtico no sentido estrito). Suppe concorda coma viso geral de Putnam, e prope-se a explorar algumas conseqncias para a Viso Recebida. Esta incorpora a distino analtico-sinttico ao supor que em TC haja um conjunto de postulados de significado [78] que estabelecem certas relaes de definio entre termos (no-lgicos) da teoria. A discusso de Putnam indica que muitos desses termos envolveriam conceitos de aglomerado de leis, sendo que algumas dessas leis podem no pertencer teoria propriamente dita, mas a outros ramos da cincia no cobertos por TC. Qualquer um desses pode ser abandonado sem alterar a teoria. Suppe, porm, argumenta que, na prtica cientfica, em geral no se questionam princpios importados de fora (como no uso da mecnica clssica pela geofsica). Assim, mesmo que aceitemos que princpios sejam analticos no sentido fraco de Maxwell, Carnap estaria errado ao supor que os princpios analticos so todos implcitos em TC. Pelo contrrio, os enunciados analticos de Carnap so apenas aquelas sentenas sobre as quais se decidiu no falsear. Se a teoria enfrentar problemas, tais princpios no poderiam ser modificados. Na medida em que a distino analtico-sinttico incorporada por Carnap para [79] tentar separar o contedo factual de TC do seu contedo de significado, ela fracassa. A definio de um conceito de aglomerado de leis envolve princpios que no so analticos, mas fazem afirmaes factuais que so verdadeiros ou falsos. Repetindo: so factuais mas ao mesmo tempo contribuem para a definio dos termos. Assim, na tentativa de dividir as sentenas de L naquelas que tm contedo factual e naquelas que tm contedo de significado, Carnap fracassa. A Viso Recebida desenvolveu a distino analtico-sinttico porque ela embasa a distino observacional-terico (tanto assim que quando Hempel, 1958, 1963, abandonou a primeira, ele abandonou a segunda). A distino observacional-terico separa os termos nolgicos de uma teoria em vocabulrios VO e VT. As sentenas de LO so ou analticas ou sintticas, sem problemas. Mas para o restante dos enunciados da teoria, Carnap buscou introduzir postulados de significado que dividiriam as sentenas de L naquelas com contedo factual e naquelas com contedo de significado. Tomado em conjunto com um postulado de significao M, qualquer sentena no-analtica S de L (que no esteja em LO) seria tal que MS teria conseqncias em LO que permitiriam que S fosse confirmada indutivamente ou desconfirmada por si s, em isolamento (pois M seria analtica e, assim, no seria descartada). Portanto, S seria sinttica. A funo da distino observacional-terico seria garantir que toda sentena no-analtica de L seja sinttica. Porm, vimos que enunciados de L no podem ser separados entre aqueles que tm contedo de significado e aqueles que tm contedo factual, [80] j que eles contm conceitos de aglomerado de leis. Portanto, a maioria das sentenas em L no nem analtica nem sinttica. A base para a distino observacional-terico no pode assim ser sustentada. Inicialmente, a Viso Recebida enfatizava a significncia cognitiva, e no a distino analtico-sinttico. Mas, como salientou Quine (1951), os dois dogmas tm a mesma raiz.

17

2. A Distino entre Termos Observacionais e Tericos Vimos como a base para a distino observacional-terico foi minada, mas isso no implica que a distino no seja defensvel (por meio de outra base). No entanto, a presente distino tambm sofreu ataques diretos, especialmente de Putnam (1962) e Achinstein (1965, 1968). Consideremos alguns exemplos paradigmticos de termos de observao e termos tericos: Termos observacionais: vermelho, quente, esquerda de, toca, maior do que, duro, graveto, volume, bia, madeira, gua, ferro, peso, ncleo celular. Termos tericos: campo eltrico, eltron, tomo, molcula,funo de onda, carga, massa, resistncia eltrica, temperatura, gene, vrus, ego. [81] Termos de observao referem-se a entidades diretamente observveis, ao contrrio dos termos tericos. O advrbio diretamente crucial aqui. Segundo Achinstein (1968), observao significa prestar ateno a algo [attending to something], sendo que alguns pontos devem ser salientados. (1) A questo de quantos aspectos de um objeto devem estar sob minha ateno para que eu o observe depender das minhas preocupaes e de meu conhecimento prvio. (2) Observar envolve prestar ateno a vrias caractersticas do objeto, mas nem sempre envolve o reconhecimento de qual o tipo de objeto. (3) Pode-se observar algo atravs de um indcio dele, como quando um guarda florestal observa fogo s a partir da fumaa. (4) Pode-se observar algo atravs de um estgio intermedirio, como a imagem em um espelho. (5) Posso descrever o que observo no cu, por exemplo, como sendo um ponto em movimento ou como sendo um avio. De acordo com esta caracterizao, tanto os termos tericos quanto os observacionais correspondem a entidades observadas, ou seja, eltrons e campos tambm so observados, mesmo que indiretamente. O ponto (5) implica que o uso do vocabulrio (terico ou observacional) irrelevante numa observao: o movimento em uma cmara de bolhas (usado em fsica de partculas) pode ser descrito tanto como um trao (termo observacional) quanto como uma partcula alfa (termo terico). Com efeito, Carnap (1936-37) salienta que termos observacionais referem-se a observveis diretas, ou seja, a verdade de um enunciado em LO pode ser asseverado sem o uso de instrumentos ou com, no mximo, instrumentos simples. [82] Este critrio, porm, vago. Um ncleo celular observado por meio de imagens e reflexes est sendo diretamente observado? E a temperatura de um corpo: podemos sentir diretamente mudanas de temperatura? Isso torna o termo correspondente diretamente observvel? Achinstein (1965) tambm ataca o critrio segundo o qual a distino seria tomada pelo nmero de observaes necessrias para determinar se um predicado se aplica a um objeto. Concluiu, ento, que os critrios apresentados por Carnap e outros no so adequados. Isso, porm, no implica que a distino seja insustentvel (por meio de outros critrios). Putnam (1962), porm, argumenta que a distino observacional-terico no pode ser feita de maneira satisfatria. [83] Seu ponto que qualquer termo aplicvel a observveis tambm pode ser aplicado a entidades no-observveis. Assim, Newton podia afirmar que a luz vermelha consiste de corpsculos vermelhos. Por outro lado, se for argumentado que termos tericos so aqueles que nunca podem se referir a observveis, ento o que dizer do termo carga eltrica? Eu no posso observ-lo diretamente colocando minha mo na tomada? Em suma, no haveria uma diviso natural que separe termos observveis de termos no-observveis.

18

Esses argumentos no encerram a questo, segundo Suppe. Afinal, a Viso Recebida uma reconstruo racional de teorias cientficas, de forma que pode haver um critrio artificial de diviso dos termos no-lgicos nessas duas classes. [84] Poderamos ter, por exemplo, um termo observacional vermelhoOBS para observaes e um vermelhoTEOR para entidades no-observveis (ver Suppe 1972b). Assim, os argumentos de Putnam e Achinstein no so conclusivos, apesar de eles terem convencido a maioria dos filsofos da cincia de que a distino insustentvel. Um critrio artificial de distino, porm, tem o problema de complicar ainda mais a reconstruo da cincia almejada pela Viso Recebida. Sua justificativa depende ento do significado filosfico da distino. Um dos argumentos usados pelos positivistas de que tal distino reflete a maneira como a lngua aprendida e como teorias so desenvolvidas. Mas isso criticado (corretamente, segundo Suppe) por Putnam (1962). [85] No caso de teorias, no historicamente verdadeiro que a cincia se inicia com VO e gradualmente obtm generalizaes em VT. A nica resposta plausvel, para a questo da importncia filosfica da distino observacional-terico, que haveria diferenas significativas nas propriedades epistmicas das entidades referidas pelos termos tericos e no-tericos, capturadas pela distino observacional-terico. Putnam concorda que exista uma distino terico/no-terico, mas nega que ela seja capturada pela distino observacional-terico. Um termo terico, nesse sentido indicado por Putnam, seria definido como um termo que se origina de uma teoria cientfica. Mas atis termos muitas vezes referem-se a observveis. Resumindo a argumentao empreendida (pp. 85-86), Suppe conclui que a distino observacional-terico, originada como meio de implementar a metodologia empirista, [86] insustentvel. Isso retira a maior parte do interesse epistemolgico da Viso Recebida (apesar de Hempel, por exemplo, no simpsio, apresentar uma verso prxima Viso Recebida sem a distino observacional-terico). Outros argumentos sero dados por Hanson e outros, como veremos na seo V. C. INTERPRETAO PARCIAL Conforme vimos para a Viso Recebida (seo II), h uma conexo ntima entre a distino observacional-terico e a doutrina da interpretao parcial para termos tericos. expressamente proibido, segundo essa viso, que um termo do vocabulrio terico VT tenha uma interpretao observacional, designando-se um referente para ele. A nica interpretao observacional de um termo de VT aquela dada indiretamente por TC. Para LT no afirmamos ter uma interpretao completa, mas apenas uma interpretao indireta e parcial, dada pelas regras de correspondncia (Carnap, 1956). [87] Achinstein (1963, 1968) e Putnam (1962) acusam a noo de interpretao parcial de ser obscura. A noo teria sido introduzida sem definio por Carnap (1939), e usada posteriormente por outros autores sem maiores explicaes. Na tentativa de esclarecer seu significado, cada um prope trs caracterizaes da noo de interpretao parcial, que Suppe numera de (1) a (6), e que e referem a termos, a teorias ou a linguagens (a Viso Recebida aplica a noo para esses trs, sem distino). Como exemplo, escrevemos as teses (1) e (4), que sero consideradas por Suppe como as caracterizaes mais adequadas: (1) Um termo t ser parcialmente interpretado significa que o termo tem um significado, mas apenas parte do significado foi dada (Achinstein, 1968, p. 85). [88]

19

(4) Interpretar parcialmente termos e sentenas de VT, em L, especificar uma classe no-vazia de modelos intencionados, que possuam mais do que um membro (Putnam, 1962, p. 245). Os autores citados argumentam que as caracterizaes fornecidas so inadequadas, e concluem assim que a noo de interpretao parcial no pode ser sustentada. Suppe analisa a crtica apresentada, mas conclui que os objetivos de Achinstein e Putnam no foram atingidos. [89] As crticas (1), (5) e (6) desses dois autores supe que a Viso Recebida proba que LT tenha uma interpretao observacional independente das regras de correspondncia C. [90] Mas, na verdade, Carnap (1956), Hempel (1963) e outros admitem que se possa atribuir a termos de VT um significado no-observacional, uma interpretao semntica, dentro de uma leitura realista de teorias (em oposio a uma leitura instrumentalista). Alm disso, [89] Carnap (1966, pp. 267-8, 270) admite que algumas regras C so analticas, ao contrrio do que Achinstein supe ao criticar a tese (1). [90] Consideremos agora como Suppe articula uma caracterizao de interpretao parcial, que prxima s teses (1) e (4) citadas acima. Supe-se que uma interpretao observacional tenha sido dada para LO (ou seja, especifica-se um domnio de indivduos, que satisfaam certos predicados, de forma que as sentenas de L sejam verdadeiras ou falsas). Considere todas as interpretaes possveis que podem ser dadas para L. Algumas interpretaro LO da exata maneira que supusemos inicialmente; e destas, algumas sero modelos de TC (ou seja, interpretaes de L tais que TC seja verdadeira). [91] Seja M a classe de tais modelos de TC que contm a dada interpretao para LO. M ter as seguintes caractersticas: (a) M especificado completamente pela interpretao semntica dada para LO e pela verdade suposta para TC. (b) Se S uma sentena de L que um teorema de TC, ento S ser verdadeira em todo modelo em M. (c) Se S uma sentena de L contendo termos VT que no sejam definidos explicitamente em TC, e S no for um teorema de TC, ento S ser verdadeira em alguns modelos de M e falsa em outros. Afirmar TC equivale a se comprometer com a veracidade de algum modelo de M. Conforme j mencionado, a verso final da Verso Recebida aceita que se fornea para TC uma interpretao semntica independente. Segundo Hempel (1963), para isso basta que haja uma metalinguagem apropriada, que contenha VO, VT e C, ou tradues destes, de forma que cada sentena de LT tenha um critrio de verdade que consiste de sua expresso na metalinguagem. No exemplo dado, os termos de VT seriam interpretados como se referindo a eltrons, emisses eletrnicas, etc. Um termo terico como eltron corporifica um conceito cujo contedo parcialmente observacional (por exemplo, eltrons so entidades que deixam rastros em cmaras de bolhas), mas que tambm evoca, em larga medida, associaes extraobservacionais (por exemplo, eltrons incluem vrias caractersticas do modelo de bolas de bilhar, etc.). Tais caractersticas contribuem para o significado de termos tericos na linguagem cientfica usual, e bem provvel que sem elas pouco progresso cientfico poderia ocorrer. No entanto, em geral tais termos no tm conseqncias observacionais ou testveis. [92] O que esta interpretao semntica independente adiciona interpretao de TC? Ao especificar, por exemplo, que o termo t se refere a eltrons, t a emisses eletrnicas, etc., estamos reduzindo a escolha de interpretaes corretas de M. Mas o conceito de eltron consistente com os procedimentos experimentais das regras de correspondncia de TC e com os respectivos contedos observacionais. Fica claro, ento, que uma interpretao parcial no um tipo de definio. Quando uma interpretao semntica fornecida para TC, isso feito relativo aos significados j atribudos aos termos, na metalinguagem cientfica. TC demarca, mas no define, o significado de eltron e outros termos de VT, na medida em que seus significados so uma

20

funo de conseqncias observacionais. Se TC fosse tal que todos os modelos em M so extensionalmente equivalentes (ou seja, se exatamente as mesmas sentenas de L forem verdadeiras em cada modelo de M), ento TC forneceria uma especificao completa (mas no definio) do contedo observacional dos termos VT. Em geral, porm, nos casos em que no h essa equivalncia extensional, TC fornece apenas uma especificao parcial do contedo observacional dos termos de VT e L, em consonncia com a tese (1) de Achinstein. [93] O mecanismo proposto por Suppe muito parecido tambm com a tese (4) de Putnam, que fala em modelos intencionados de TC. Isso corresponde a uma restrio dos modelos de M queles que um cientista com uma viso realista no rejeitaria por ser flagrantemente diferente do que ele tinha em mente. Putnam, porm, argumenta que essa classe de modelos intencionados no pode ser bem definida, de forma que (4) deve ser rejeitada. Mas essa crtica no atinge a proposta de Suppe. Este tambm examina uma outra crtica de Putnam tese (4), mas escapa dela salientando a distino entre verdade semntica e verdade emprica. [94] Suppe conclui, ento, que a noo de interpretao parcial coerente, mas no necessariamente a noo de interpretao parcial da Viso Recebida, pois esta se fundamenta na distino observacional-terico. [95] Finaliza considerando o que outras verses recentes da Viso Recebida, como a de Nagel (1961), tm a dizer sobre a questo. D. MODELOS Na verso final da Viso Recebida, as sentenas de LT adquirem uma interpretao no-observacional por meio da correlao dos termos de VT com termos de uma linguagem cientfica natural. Esta interpretao resulta em duas coisas. Primeiro, transfere o significado da linguagem cientfica corrente para o termo terico em questo, a menos de qualquer alterao devida a TC. [96] Segundo, atribui a LT uma interpretao semntica que consiste de um mundo composto por entidades tericas, de tal forma que os termos de VT se referem ou designam essas entidades e seus atributos. Trata-se de uma interpretao segundo a qual T verdadeira, de forma que se trata de um modelo para T (isso no significa que T seja verdadeira no mundo real, pois isso dependeria da verdade de TC, incluindo LO). Assim, a doutrina da interpretao parcial leva a Viso Recebida a aceitar que um modelo seja fornecido para as leis tericas T de uma teoria. Nesse ponto, a Viso Recebida se aproxima das teses sobre modelos defendidas por Norman Campbell (1920), Ernest Nagel (1961) e Mary Hesse (1966). A anlise de Nagel consiste de uma verso da Viso Recebida ampliada pela exigncia de que se atribua a TC uma interpretao semntica em termos de elementos visualizveis ou conceitos familiares. H, porm, uma diferena significativa entre as posies de Nagel e a Viso Recebida. Para vermos isso, sublinhemos dois sentidos da palavra modelo. [97] Na lgica matemtica, um modelo uma interpretao semntica na qual todos os axiomas e teoremas da teoria so verdadeiros: sero chamados modelos matemticos (apesar de nem sempre envolverem estruturas matemticas, podendo por exemplo envolver os alunos de uma classe, com suas respectivas propriedades). O segundo sentido de modelo envolve modelos icnicos, como um modelo em escala de um avio. O cone (o aviozinho de plstico) possui uma semelhana estrutural (ou isomorfismo) com relao ao avio real que ele modela. Modelos icnicos so discutidos em Campbell (1920), Hesse (1966), Harr (1960), Hutten (1953), Black (1962), Rosenbleuth & Wiener (1945), Braithwaite (1953) e Suppe (1967). A noo de relao icnica foi introduzida por C.S. Peirce e discutida por Burks (1949). Nagel defende que um modelo fornecido para TC tanto um modelo matemtico quanto icnico, ao passo que a Viso Recebida (em sua verso final) salienta apenas o modelo

21

matemtico. Um exemplo de modelo icnico seria, para a teoria atmica de Bohr, o modelo das bolas de bilhar, no qual bolas circulam em rbitas e saltam de uma rbita para outra. Naturalmente, no se supe que um tomo seja uma tal coleo de bolas de bilhar, mas sim que ele semelhante a tal coleo em vrios aspectos. Onde h semelhana, Hesse (1966, p. 8) usa o termo analogia positiva; onde no h, ela fala em analogia negativa; quando no se sabe se h semelhana, fala-se em analogia neutra. O que distingue Nagel da Viso Recebida que o norte-americano supe que o modelo das bolas de bilhar tambm um modelo matemtico de TC, no sentido de que uma interpretao semntica dada para TC em termos de tal sistema de bolas de bilhar. Para a Viso Recebida, se TC verdadeira, o modelo matemtico da interpretao parcial o mundo real (ou parte dele). A exigncia de Nagel de que o modelo seja visualizvel ou envolva conceitos familiares desqualificaria o mundo real como sendo um modelo. [98] Se a Viso Recebida quisesse incorporar as idias de Nagel, teria que supor que h duas interpretaes semnticas separadas, uma em termos do mundo real e outra em termos de um modelo icnico. Nagel afirma que toda teoria cientfica deve incorporar um modelo icnico com conceitos familiares ou visualizveis. No entanto, a teoria quntica no admitiria tal modelo (ver Bohm, 1957, p. 93). Por conta dessa dificuldade, Hesse (1966) (que concorda em linhas gerais com Nagel) permite que um modelo icnico seja [99] qualquer sistema, seja ele construtvel, retratvel, imaginvel ou no, e que tem a caracterstica de tornar a teoria preditiva. Assim, mesmo um modelo matemtico sofisticado, como o espao de Hilbert na teoria quntica, qualificaria como um modelo icnico. Nagel e Hesse no defendem apenas que modelos podem ser fornecidos e que sejam teis, mas sim que eles so componentes essenciais e integrais de teorias. Para sustentar essa tese, dois argumentos so dados. Primeiro, sem modelos uma teoria no poderia fornecer explicaes. Suppe contra-argumenta e descarta este ponto. Segundo, sem modelos uma teoria no poderia ser testvel. [100] A maneira como Hesse argumenta, porm, [101] leva apenas concluso de que termos tericos precisam ter uma interpretao semntica independente daquela fornecida pelas regras de correspondncia. Posteriormente (sees V-B-2-b e V-C), porm, Suppe ir argumentar que teorias cientficas so entidades extra-lingsticas que no podem ser identificadas com suas formulaes lingsticas [a chamada viso semntica de teorias, em oposio viso sinttica]. Conseqentemente, TC no seria uma teoria, mas uma formulao da teoria que designa ou descreve a teoria. A nfase de Hesse no papel desempenhado pelos modelos ao interpretar termos de VT e afirmaes de LT mostra como as linguagens cientficas usadas para interpretar afirmaes de LT so ricas em associaes com os vrios campos da cincia, com teorias antigas, etc. [102] Tais associaes incluem vrios modelos icnicos. Como exemplo, podemos considerar o termo partcula. Notemos, por fim, que sempre que T formulado matematicamente, T admite tanto uma interpretao matemtica (icnica) quanto uma fsica. Ao afirmar a teoria, estar-se-ia defendendo um isomorfismo ou semelhana estrutural entre a estrutura matemtica e uma parte no-observvel do mundo. E. REGRAS DE CORRESPONDNCIA Vimos na seo II-A que as regras de correspondncia foram inicialmente concebidas para realizar trs funes principais: (1) definir os termos tericos; (2) garantir a significncia cognitiva dos termos tericos; (3) especificar os procedimentos experimentais admissveis

22

para aplicar a teoria aos fenmenos. Os dois primeiros itens, porm, foram alvos de severas crticas. Na seo IV-C, vimos que se a doutrina da interpretao parcial for mantida, as regras-C no podem ser vistas como definindo VT, mas apenas como impondo restries no seu significado. Na seo IV-B-1, a insustentabilidade da distino analtico-sinttico mostrou que as regras de correspondncia no garantem a significncia cognitiva de afirmaes de LT, conforme pretendido pela Viso Recebida. [103] Resta, assim, apenas a terceira funo mencionada. Trs tipos de crticas podem ser feitas contra o relato que a Viso Recebida d para as regras de correspondncia. Primeiro, os procedimentos de aplicao da teoria aos fenmenos no fariam, propriamente, parte da teoria. Segundo, argumenta-se o relato sobre as regras de correspondncia no representa adequadamente as conexes existentes entre teoria e fenmenos. Terceiro, fornecer-se-ia um relato inadequado de como as teorias so aplicadas experimentalmente aos fenmenos. Com relao primeira crtica, qualquer incorporao de um novo procedimento experimental levaria necessidade de introduzir novas regras de correspondncia C, transformando a teoria TC em uma nova teoria TC. Mas, segundo nossa acepo intuitiva de teoria, no haveria, neste exemplo, uma mudana de teoria: o que houve foi que aprendemos algo mais sobre como aplicar a teoria aos fenmenos. Assim, as regras de correspondncia no deveriam ser consideradas partes da teoria, mas sim hipteses auxiliares de procedimentos de aplicao da teoria aos fenmenos. Na verso inicial da Viso Recebida, havia uma justificativa para incorporar as regras-C teoria, j que as regras-C eram vistas como definies explcitas dos termos de VT, e qualquer mudana nas regras-C alterava o significado (extensional) dos termos de VT. Mas no momento em que as definies explcitas foram abandonadas e a doutrina da interpretao parcial foi introduzida, [104] no era mais defensvel incluir as regras-C como componentes da teoria. As regras-C so hipteses auxiliares que, junto com T, impem limitaes no contedo observacional das afirmaes LT. Esse ponto pode ser reforado com outros argumentos. H um nmero ilimitado de maneiras de aplicar uma teoria aos fenmenos: exigir que todas essas possveis regras de correspondncia faam parte da teoria no seria sensato. Outro argumento: em geral, teorias so apresentadas apenas por meio dos postulados tericos T e suas interpretaes; raramente fornecida uma especificao das regras de correspondncia. O segundo tipo de crtica mencionado acima feito por Schaffner (1969). Ele parte da constatao de que quando uma teoria cientfica empregada, os termos de VT j possuem um significado terico antecedente. Ele ento identifica trs espcies de regras de correspondncia. A primeira espcie cria significado para termos de VT atravs de uma original juno de noes anteriormente compreendidas, em geral envolvendo analogias ou apresentando um modelo. Um exemplo a definio de eltron feita por Lorentz, juntando os conceitos de partcula e carga eltrica. Trata-se de fornecer o que chamamos anteriormente de uma interpretao semntica independente para VT. (Hempel chama essas conexes de princpios de ponte bridge principles; ver nota 228 de Suppe). A segunda espcie de regra de correspondncia, segundo Schaffner, coordena os termos de VT com a linguagem usada em laboratrio ou com procedimentos de medio laboratorial, especificando [105] como parmetros tericos so medidos. So as regras-C que vimos anteriormente. A terceira espcie tambm aplica a teoria a fenmenos, mas ela estabelece seqncias causais entre estados de coisas descritas por T, por outras teorias e por relatos de observao (Sellars, 1961, tambm discute esta espcie). Um exemplo seria a cadeia causal ente um salto eletrnico em um tomo e o surgimento de uma linha espectral em uma fotografia de espectrmetro. H uma descrio dos mecanismos por trs do comportamento de instrumentos de medio. Sendo assim, tais regras de correspondncia de seqncias

23

causais constituem leis cientficas, pertencentes a outras teorias (que no TC), e usadas em TC como hipteses auxiliares. [106] Para no confundir com a segunda espcie, Suppe chama esta terceira espcie simplesmente de hipteses auxiliares. Nenhuma das duas deve ser considerada parte da teoria. A Viso Recebida no s ignora o papel de hipteses auxiliares na aplicao de teorias a fenmenos, como tambm distorce a descrio dos procedimentos experimentais para aplicar teorias (eis o terceiro tipo de crtica, mencionado no incio da seo). Segundo Patrick Suppes (1967), a Viso Recebida simplifica demasiadamente a cincia, em especial as regras de correspondncia. Na prtica real da cincia, o teste de teorias e a comparao entre dados e teoria requer um maquinrio formal que muito mais sofisticado e elaborado do que descrito pelas regras de correspondncia. Segundo Suppes, entre teoria e experimento h uma hierarquia de teorias, que so as seguintes. [1] No topo da hierarquia est a prpria teoria fsica, que geralmente envolve funes contnuas ou seqncias infinitas. [107] [2] Para conectar a teoria fsica com os dados experimentais, que so discretos e finitos, preciso uma teoria do experimento. Esta teoria informa, entre outras coisas, como ajustar os parmetros da teoria para que esta se aplique ao experimento. A teoria do experimento pode utilizar outras teorias como hipteses auxiliares. [3] O prximo passo realizar o experimento, determinando que medies sero feitas, que instrumentos utilizar, etc. Esta a teoria do desenho experimental (experimental design). Naturalmente, h vrias regras que no precisam se tornar explcitas, como por exemplo a constatao que no se deve colocar uma bola de ferro, usada em um experimento de queda em um plano inclinado, em cima de um im poderoso. Tais condies de controle que so implcitas so chamadas de condies ceteris paribus, e so pressupostas pela teoria do desenho experimental. [108] [4] A etapa seguinte o tratamento dos dados, que envolve, por exemplo, a considerao de que os dados reais tm um erro sistemtico devido ao atrito, alm de converses numricas. Isso estipulado pela teoria dos dados. Ao se realizar um experimento, haver realizaes putativas (modelos) das vrias teorias da hierarquia. Ao se comparar os resultados com a teoria, se houver uma discrepncia, a fonte da anomalia pode ser um modelo inapropriado usado nessa hierarquia de teorias auxiliares, ou pode ser a prpria falsidade da teoria emprica (a tese de Duhem, vista na seo IV-B-1). [109] No caso em que a teoria fsica uma teoria estatstica, vrias estatsticas podem ser usadas para avaliar se os experimentos efetuados so realizaes dessa teoria. Em suma, sem entrar nos detalhes do tratamento de Suppes, fica suficientemente claro que a comparao entre teoria e experimento bem mais complexa do que supe o tratamento feito pela Viso Recebida das regras de correspondncia. Alm disso, fica claro que errneo incorporar as regras de correspondncia como um componente integral das teorias. [110] F. QUESTES DE FORMALIZAO Na seo IV-A, argumentou-se que muitas teorias, em seu presente estado, no admitem uma reformulao axiomtica frutfera. Mas concentrando-nos naquelas teorias que podem ser axiomatizadas, qual a vantagem de se axiomatiz-las? A compreenso que temos dessas teorias aumenta? H bastante desacordo com relao a essa questo. Suppes (1968) e Kyburg (1968) defendem que a axiomatizao essencial para resolver praticamente todos os problemas da filosofia da cincia. Por outro lado, Hempel (1970) considera que a formalizao de teorias no abarca a maior parte dos problemas filosficos interessantes. A meio caminho, Achinstein (1968) considera a axiomatizao til mas limitada.

24

A insistncia da Viso Recebida em axiomatizar razovel? [111] Tal insistncia equivale a afirmar que a reformulao axiomtica revela mais a respeito de teorias, em termos epistemolgicos, ontolgicos e lgicos, do que as reformulaes no-axiomticas. Suppes (1968) menciona alguns casos em que a axiomatizao foi til para a cincia, como a axiomatizao da probabilidade de Kolmogorov e a formalizao da teoria quntica de von Neumann. Por outro lado, menciona exemplos da fsica e da psicolingstica em que a no adoo dos rigores da axiomatizao levou a erros crassos. Para ele, as vantagens filosficas da formalizao so as seguintes: (1) a formalizao de uma famlia de conceitos relacionados uma maneira de ressaltar seu significado de uma forma explcita; (2) a formalizao traz uma padronizao da terminologia e dos mtodos de anlise conceitual para vrios campos da cincia; (3) a generalidade que resulta da formalizao permite a determinao das caractersticas essenciais de teorias; [112] (4) a formalizao fornece um grau de objetividade que impossvel de se atingir sem formalizao; (5) a formalizao deixa claro quais so os pressupostos, permitindo que se evite verbalizaes ad hoc e post hoc; (6) a formalizao permite que se determine quais so as suposies mnimas requeridas pela teoria. Hempel (1970) concorda que a axiomatizao pode ocasionalmente esclarecer problemas filosficos relativos a teorias da cincia emprica, como a anlise da teoria da relatividade feita por Reichenbach (1924). No entanto, ele nega que a axiomatizao seja o mtodo principal de anlise filosfica, pois ela basicamente um dispositivo expositivo que seleciona um conjunto de sentenas e exibe suas relaes lgicas. Para uma mesma teoria, vrias axiomatizaes diferentes so possveis, de forma que no se pode atribuir importncia epistemolgica para qualquer uma delas. Por exemplo, o fato de que um enunciado tem o estatuto de uma definio em uma axiomatizao diz pouco sobre se epistemicamente ela tem tal estatuto. Mesmo que uma axiomatizao seja selecionada como privilegiada, isso s pode ser feito aps extensa anlise informal, e os benefcios adicionais da formalizao sero pequenos. [113] Muitos filsofos no aceitam a posio de Hempel, como Kyburg (1968), que considera que a anlise informal deve ser sempre aliada a uma anlise formal. No sentido estrito, axiomatizao no a mesma coisa que formalizao: aquela um subconjunto desta. Axiomatizao consiste no estabelecimento de um clculo axiomtico, sendo essencialmente uma formalizao sinttica (que, mesmo assim, tem uma interpretao semntica intencionada). J a formalizao, no sentido geral, engloba tanto as tcnicas sintticas de axiomatizao quanto as tcnicas semnticas da teoria dos modelos. H uma diferena essencial entre as duas abordagens. Na axiomatizao sinttica, qualquer distino epistemolgica relevante da teoria cientfica precisa se manifestar de maneira sinttica, ao passo que na abordagem semntica ela pode tambm se manifestar semanticamente. [114] Segundo Suppes (1967) e tambm Beth (1963), nem todas as distines relevantes de teorias cientficas podem ser expressas sintaticamente, como queria a Viso Recebida. Segundo Suppe, isso ficou claro com as dificuldades da Viso Recebida em sustentar a distino observacional-terico e as regras de correspondncia. Assim, ele defende explicitamente a abordagem semntica. Por fim, deve-se mencionar que as anlises de Weltanschauung de Feyerabend, Hanson, Kuhn e outros (seo V-B), segundo as quais teorias cientficas so sistemas conceituais profundos, que adotam uma certa perspectiva conceitual para ver o mundo, e que se modificam de maneira dinmica. Esses autores consideram implicitamente que a formalizao inapropriada para analisar filosoficamente uma teoria cientfica, j que para esta anlise essencial considerar a dinmica do desenvolvimento cientfico e as dimenses da lgica da descoberta. Suppe discorda que a argumentao apresentada por esses autores refute a pretenso de se usar uma formalizao na descrio da cincia. O que se segue de sua argumentao

25

que a formalizao teria que ser de outro tipo, e uma possibilidade seria uma formalizao na forma de um sistema adaptativo em termos da teoria de autmatos, como a de John Holland [algoritmo gentico], expresso em Burks (1970). [115] G. CONCLUSES SOBRE A ADEQUAO DA VISO RECEBIDA Vimos vrios ataques a diferentes aspectos da Viso Recebida, de forma que torna-se difcil defender esta posio. H de fato um consenso entre filsofos da cincia de que a Viso Recebida inadequada, apesar de haver uma discordncia sobre quais aspectos so inadequados. Grover Maxwell (1962a), por exemplo, no v a distino analtico-sinttico como um defeito da Viso Recebida, j que ela poderia ser reformulada como uma distino contextual entre verdades necessria e contingente. Hempel (1958) considerava que a distino observacional-terico poderia ser reformulada como uma distino entre termos bsicos e tericos, mas posteriormente abandonou esta posio (Hempel, 1970). Alm disso, as crticas interpretao parcial e no-incorporao de modelos na Viso Recebida pde ser superada na verso final desta Viso desenvolvida por Carnap e Hempel. Apesar de todos os problemas apresentados, at possvel defender que a Viso Recebida adequada, necessitando apenas de alguns reparos e de alguns desenvolvimentos para torn-la mais completa, como no caso das regras de correspondncia ( a posio de Feigl, 1970). [117] Para finalizar, em vista das crticas apresentadas, faamos uma lista das caractersticas que uma anlise adequada de teorias cientficas deveria possuir (nem todos concordaro com todos os pontos, mas a maior parte deles devem ser aceitos): 1. A distino analtico-sinttico no deve ser pressuposta. 2. No se deve assumir uma distino entre observao-direta e observao-indireta. 3. Os termos tericos devem ser considerados como tendo um significado antecedente, apesar de sua incorporao na teoria poder modificar seu significado at certo ponto. 4. O significado de termos tericos pode incorporar, ou ser modificado, por analogias e modelos icnicos. 5. Os procedimentos para correlacionar teorias e fenmenos no devem ser vistos como parte integrante das teorias; pelo menos alguns deles devem envolver hipteses e teorias auxiliares. 6. Os procedimentos para correlacionar teorias e fenmenos devem envolver correlaes de seqncias causais e de experimentos; as correlaes experimentais devem ser explicitadas com detalhes. 7. A anlise no pode supor que todo o contedo das teorias axiomatizvel ou formalizvel. 8. Qualquer formalizao envolvida deve ser semntica, e no sinttica. 9. As anlises de teorias devem incluir aspectos evolutivos ou de desenvolvimento da teorizao cientfica, e no se limitar a fornecer formulaes cannicas de teorias em estgios fixos do desenvolvimento. [118]

V. Alternativas Viso Recebida e seus Crticos

[119] Nesta seo, examinaremos as alternativas mais influentes ou promissoras Viso Recebida, e algumas crticas a elas dirigidas. [120] Essas propostas caem em trs

26

classes: (a) anlises descritivas de teorias que so cticas quanto tese de que todas as teorias cientficas tm caractersticas importantes em comum; (b) anlises que vem teorias cientficas como sendo relativas ao Weltanschauung, ou perspectiva conceitual, do qual dependeriam os significados dos termos; (c) abordagens semnticas.

A. ANLISES DESCRITIVAS CTICAS

Muitas das alternativas Viso Recebida defendem que uma anlise adequada no deve se referir a uma reconstruo racional de teorias, mas sim a teorias como elas de fato so empregadas na cincia. Alguns autores se impressionam tanto com a diversidade de teorias encontradas, e com as diferentes funes que elas desempenham, que concluem que no possvel fornecer uma anlise que englobe todas as teorias e que exiba traos profundos que todas elas tenham em comum. Peter Achinstein (1968), por exemplo, pergunta: O que significa dizer que algum tem uma teoria? [121] Sua concluso que T uma teoria, relativa a um contexto, se e somente se T for um conjunto de proposies, do qual (dependendo do contexto) no se sabe se (foi, poderia ter sido, etc.) verdadeiro ou falso, mas o qual se acredita ser plausvel, potencialmente explicativo, relativamente fundamental e em alguma medida integrado. Segundo ele, uma teoria pode ser apresentada de quatro maneiras diferentes: 1o) por meio de suas suposies centrais, [122] sendo que diferentes conjuntos de suposies centrais podem ser escolhidas; 2o) por meio de suas motivaes; 3o) por meio de seu desenvolvimento, o que pode incluir suposies adicionais, definies, reformulaes (em geral matemticas), analogias ou ilustraes, novos conceitos, derivaes, solues especiais, desenvolvimentos ulteriores, extenses da teoria, etc. 4o) por meio de suas instncias confirmadoras. Tal variedade de possveis apresentaes acabariam, segundo Achinstein, impedindo que houvesse traos profundos comuns a todas as apresentaes. Suppe, porm, discorda dessa concluso, pois teorias no seriam meramente um sistema de proposies. Elas seriam um sistema de proposies especificando um sistema estrutural que, no caso de a teoria ser verdadeira, so rplicas idealizadas de sistemas reais. [123] Todas as diferentes apresentaes de uma teoria poderiam ter propriedades estruturais em comum, como as noes de estado ou de evento, caracterizados por parmetros, e que envolveriam relaes como transio de estado, equivalncia de estado ou correlaes com outros estados. Um argumento mais forte, contra a possibilidade de se realizar uma anlise geral e profunda de teorias, se baseia na classificao feita por Anatol Rapoport (1958) dos diferentes tipos de teorias: (i) teorias intrinsecamente matemticas, com um mecanismo de transio de estado; (ii) teorias matemticas sem transio de estado (como a termodinmica e a cristalografia); (iii) teorias estocsticas, baseadas na noo de evento; (iv) teorias qualitativas, voltadas a problemas de reconhecimento e classificao; [124] (v) teorias taxonmicas; (vi) teorias histricas, preocupadas com eventos nicos; (vii) teorias sociais, que visam uma compreenso intuitiva de um sistema psicolgico ou social, como a psicanlise freudiana. Suppe admite que possa no haver semelhanas estruturais profundas entre teorias de diferentes tipos, [125] mas salienta que dentro de cada tipo haveria tais semelhanas. Conclui enfatizando a importncia de se estudarem tais propriedades estruturais profundas de cada tipo sugerido por Rapoport, rejeitando o ceticismo geral de Achinstein.

B. ANLISES DE WELTANSCHAUUNGEN

27

Hans Reichenbach (1938) introduziu as frases contexto da descoberta e contexto da justificao para marcar a distino entre como um resultado cientfico de fato descoberto e como ele apresentado, justificado e defendido para a comunidade cientfica. Segundo Reichenbach, a epistemologia deve se ocupar apenas com o contexto da justificao. Esta tese, defendida pela Viso Recebida, resultou num desinteresse pela gnese de teorias, e ateno apenas para teorias finalizadas, racionalmente reconstrudas. Bem antes que o ataque distino observao-teoria levasse a um veredicto contra a Viso Recebida, um pequeno nmero de filsofos da cincia defenderam que a epistemologia tambm deveria se preocupar com o contexto da descoberta. [126] A cincia era vista por eles como um empreendimento social contnuo, com elos comuns com a linguagem, metodologia, etc. Uma compreenso epistmica completa de teorias cientficas s poderia ser obtida levando em conta a dinmica do desenvolvimento cientfico, a aceitao e rejeio de teorias, a escolha de quais experimentos realizar, etc. Compreender uma teoria seria compreender seu uso e desenvolvimento. O trabalho ulterior de Wittgenstein (1953) sobre a linguagem e psicologia filosfica parece ter exercido um papel cataltico na origem desta viso, especialmente para Toulmin e Hanson. Assim, no se poderia mais considerar que uma anlise adequada de teorias fosse uma reconstruo racional de teorias completas. Ter-se-ia que analisar os fatores epistmicos que governam a descoberta, desenvolvimento e aceitao ou rejeio de teorias. Tal anlise precisaria considerar que a cincia feita a partir de uma perspectiva conceitual, que determina em larga medida quais so as perguntas interessantes e as respostas aceitveis. Tal perspectiva est intimamente ligada linguagem, que molda conceitualmente a maneira pela qual o mundo experienciado. A tarefa da filosofia da cincia seria investigar o que caracterstico dos sistemas lingstico-conceituais a partir dos quais a cincia funciona. Para entender as teorias seria preciso entender os correspondentes Weltanschauungen. Nesse sentido, esta abordagem herdeira da tradio filosfica que inclui Nietzsche (A Vontade de Poder, livro III), Peirce, C.I. Lewis (1929) e Quine (1959), [127] e pode ser classificada como um neokantismo pragmtico (no no sentido de haver um nico conjunto de categorias determinando o Weltanschauung). De interesse tambm o relativismo lingstico de Whorf (1956). Nessa abordagem, claro, muita ateno deve ser dada histria e sociologia da cincia. [Suppe analisa Toulmin, Kuhn, Hanson e Feyerabend, via Popper. Outro nome importante deste perodo Michael Polanyi (1955) e sua noo de conhecimento tcito. A nfase na descontinuidade do processo cientfico fora antecipada por Bachelard (1934). Kuhn cita tambm o trabalho de Piaget (1926) a respeito do crescimento do conhecimento na criana e o de Fleck (1935) envolvendo o enfoque na comunidade cientfica. Noes semelhantes a Weltanschauung so as formas de vida de Wittgenstein (1953) e o Dasein de Heidegger (1927). Outro nome que caracteriza os filsofos analisados nessa seo globalistas, que incluiria tambm Lakatos e Laudan.] 1. As Posies e Crticas a elas especficas (a) Toulmin A primeira anlise de Weltanschauung influente, que se ops Viso Recebida, foi a de Stephen Toulmin (1953), The Philosophy of Science: An Introduction, posteriormente desenvolvida em 1961. [128] Como uma teoria cientfica fornece explicaes cientficas? Em primeiro lugar, ela fornece um ideal de ordem natural, um estado de coisas que no requer explicao, como a lei da inrcia de Newton ou a propagao retilnea da luz. Em segundo lugar, ela

28

apresenta outras leis, que do conta dos desvios em relao ao ideal, como a lei de Snell (que descreve a refrao, em ptica). [129] O ideal de ordem natural permite que um fenmeno seja representado de uma certa maneira. Por ser um modo de representao (como um diagrama ou uma figura), tal ideal no verdadeiro ou falso, mas sim frutfero. Quanto s leis que descrevem o desvio em relao ao ideal, elas tm um certo escopo ou domnio de aplicabilidade (por exemplo, a lei de Snell no se aplica para certos cristais, chamados birrefringentes). O enunciado de uma lei, propriamente dito, no verdadeiro ou falso, pois tambm se trata de uma representao de desvios fenomnicos; o que tem valor de verdade o enunciado do seu escopo. [130] As leis tambm so regras para se fazer inferncias. Para Toulmin, uma teoria consiste de uma hierarquia de ideais de ordem natural, leis e hipteses, que no tm valor de verdade. So os enunciados de escopo que tm valor de verdade, mas eles no fazem parte da teoria. A relao entre os nveis tericos no dedutiva, mas uma estratificao de sentido. A formulao de uma lei sempre envolve alguma mudana de linguagem em relao ao uso anterior dos termos. Por exemplo, o enunciado da lei de Snell modifica o significado do termo luz. Questes sobre o ndice de refrao s tm sentido ao se pressupor o ndice de refrao e a aplicabilidade da lei de Snell. [131] Assim, os significados dos termos cientficos que ocorrem em uma teoria so dependentes da teoria. Teorias, tcnicas de representao e terminologias so introduzidas juntas, todas de uma vez. A concepo de teorias de Toulmin claramente instrumentalista teorias seriam regras para obter inferncias, e no so nem verdadeiras, nem falsas. So maneiras de olhar fenmenos, que podem ou no ser frutferas. [132] O que conta como frutfero, e portanto a prpria aceitao de teorias, depende das pressuposies e interesses dos cientistas. As teorias cientficas seriam formuladas, julgadas, mantidas e desenvolvidas em relao a um Weltanschauung. Tal perspectiva intelectual inclui as alteraes de significado dos termos lingsticos, os ideais de ordem natural, e suposies que determinam o que conta como fato significativo, que perguntas se podem formular, as suposies que subjazem teorizao, e os padres pelos quais de pode julgar quo frutfera a teoria. Alm disso, o Weltanschauung evolui dinamicamente, podendo se alterar medida que a teoria se desenvolve. Tal concepo vai contra o relato de reduo entre teorias fornecido por Nagel, e a doutrina associada de progresso cientfico por reduo terica (ver seo II-F). Suppe concorda com a tese de que a aceitao de teorias envolve sua coerncia com orientaes conceituais, interesses e pressuposies da cincia. Mas ele discorda do instrumentalismo de Toulmin, da idia que teorias no tem valor de verdade. Para isso, ataca a concepo de que as leis possam ser separadas de seu escopo de aplicabilidade. [133] Outro crtico do instrumentalismo de Toulmin Alexander (1958), que salienta as diferenas entre regras de inferncia e leis. [134] Alexander argumenta que o no abandono de leis, em face de suas limitaes, pode ser bem explicado supondo-se que elas tenham valor de verdade. Isso porque as leis so gerais em mltiplos aspectos (valem para todos os tempos, todas as substncias de um certo tipo, todos os valores de um certo parmetro, etc.), e uma limitao em um destes aspectos no afeta os outros. [135] Hempel (1965) tambm criticou a concepo de Toulmin de que leis seriam padres de inferncia. (b) Kuhn A anlise apresentada por Thomas Kuhn em A Estrutura das Revolues Cientficas (1962) semelhante de Toulmin em vrios aspectos. A cincia trabalharia a partir de uma

29

perspectiva ou Weltanschauung que denominou paradigma , que moldaria os interesses da cincia, como os fenmenos so vistos e os critrios de aceitabilidade de teorias. Ambos concordam que o Weltanschauung evolui dinamicamente, mas discordam quanto natureza desta evoluo. Toulmin considera que a cincia progride atravs da adio de novos ideais de ordem natural, que aumentam do Weltanschauung existente; tal adio no resulta na rejeio dos antigos elementos do Weltanschauung, mas apenas numa reduo do escopo desses ideais mais velhos. O desenvolvimento da cincia seria, assim, essencialmente cumulativo. J Kuhn v tal desenvolvimento como fundamentalmente descontnuo, envolvendo perodos de extensa reviso as revolues cientficas que substituem um Weltanschauung em favor de outro. [136] Nestes perodos, algumas das teorias, leis e resultados anteriores so rejeitados, e os que no so rejeitados so reinterpretados ao serem incorporados no novo Weltanschauung. Kuhn considera, porm, que fora desses perodos o Weltanschauung possa evoluir de determinadas maneiras. A discordncia entre Toulmin e Kuhn, tornada explcita em um debate entre eles em torno de 1970, parece residir, em grande medida (segundo Suppe), na defesa do instrumentalismo por Toulmin e na sua rejeio (implcita) por Kuhn. A tese principal de Kuhn (1962) que a tese do desenvolvimento por reduo, da Viso Recebida (seo II-E), incompatvel com o que ocorre de fato na histria da cincia, e portanto deve ser rejeitada. Pelo contrrio, a histria da cincia indica que a mudana cientfica fundamentalmente revolucionria. Segundo Kuhn: as revolues cientficas so aqueles episdios de desenvolvimento no-cumulativo nos quais um paradigma anterior substitudo total ou parcialmente por outro que incompatvel com ele. Paradigmas so definidos como exemplos aceitos de prtica cientfica exemplos que incluem conjuntamente lei, teoria, aplicao e instrumentao que fornecem modelos a partir dos quais surgem tradies particularmente coerentes de pesquisa cientfica. Infelizmente, ao desenvolver sua tese, o conceito central de paradigma usado de maneira muito ampla, como bem analisou Shapere (1964) ao resenhar o livro de Kuhn. [137] Segundo este autor, seria a amplido excessiva do termo paradigma que tornaria convincente a tese kuhniana de que paradigmas compartilhados seriam os fatores comuns que guiam a pesquisa cientfica. Masterman (1970) chegou a identificar 21 acepes diferentes do termo! [138] Em vista dessa questo, Kuhn, em 1970, distinguiu duas acepes do termo: exemplares seriam solues concretas de problemas, aceitas pela comunidade cientfica; matrizes disciplinares seriam elementos compartilhados que do conta do carter relativamente no-problemtico da comunicao profissional e da unanimidade relativa do julgamento profissional numa comunidade cientfica, sendo compostas por generalizaes simblicas, crenas comuns em modelos particulares, valores compartilhados e exemplares compartilhados. Os perodos de cincia no-revolucionria so chamados de cincia normal, e so conduzidos por comunidades cientficas que compartilham uma matriz disciplinar. As matrizes disciplinares, sendo um tipo de Weltanschauung, no podem ser explicitadas de maneira completa, [139] mas so adquiridas de maneira implcita no processo educacional, especialmente atravs da assimilao de exemplares, que so aplicaes arquetpicas das teorias aos fenmenos. [140] Kuhn rejeita a noo de que a matriz disciplinar pudesse ser adquirida atravs do estudo de formulaes explcitas de regras metodolgicas. Sua concepo tambm leva a uma rejeio da noo, cara Viso Recebida, de que a interpretao do formalismo terico seja dada por regras de correspondncia. Para Kuhn, tal interpretao dada por um conjunto de exemplares arquetpicos, que nunca exaurem completamente a variedade de aplicaes aceitveis da teoria, de forma que no podem ser codificadas na forma de regras metodolgicas. Pelo contrrio, com o surgimento de novos

30

fenmenos, aplica-se a teoria usando os exemplares como modelo. [141] Essa habilidade implicitamente adquirida de aplicar generalizaes equivale, para Kuhn, aquisio de uma viso de mundo (uma matriz disciplinar, um Weltanschauung). Conforme a escolha que seja feita dos exemplares a serem modelados, os fenmenos sero classificados de maneiras diferentes, o mundo ser visto de maneira diferente, e os dados empricos sero interpretados de maneiras diferentes. Se duas comunidades cientficas, mesmo que compartilhando suas generalizaes simblicas e empregando os mesmo vocabulrio terico, possurem exemplares significantemente diferentes, ento eles daro significados diferentes aos termos tericos e interpretaro suas generalizaes de maneiras diferentes. [142] Mesmo a linguagem dos dados dependente da matriz disciplinar (induzida por exemplares), de forma que no h linguagem observacional neutra. Alm disso, dependendo dos exemplares utilizados, tm-se diferentes valores cientficos. Quando uma comunidade cientfica formada em torno de uma matriz disciplinar, o estoque de exemplares pode ser relativamente pequeno em escopo e preciso. Assim, h muitas questes, ou charadas (puzzles), deixadas em aberto, e a tarefa central da cincia normal resolver essas charadas. [143] Este trabalho da cincia normal altamente cumulativo. Nesse trabalho, a cincia normal invariavelmente tropea em fenmenos anmalos que no correspondem s expectativas. Quando tais anomalias so descobertas, um grande esforo despendido para enquadr-las na matriz disciplinar. Se porventura essas anomalias resistirem dissoluo, surge uma crise cientfica. Nota-se que uma anomalia s aparece sobre o pano de fundo de uma matriz disciplinar, de forma que quanto mais precisa e abrangente for uma matriz disciplinar, mais sensvel ser a indicao fornecida a respeito da anomalia. [144] Se situao de crise for persistente e as anomalias no desaparecerem, surge uma situao de insegurana profissional na comunidade cientfica. Ocorre nesse momento uma proliferao de teorias, que surgem como modificaes da teoria original. Diferentes cientistas passam a explorar estoques diferentes de exemplares e passam a ter matrizes disciplinares diferentes. Neste momento, a comunidade cientfica se esfacela, j que o que definiria uma comunidade seria o compartilhamento de uma matriz disciplinar. No se tem mais a cincia normal, mas uma crise revolucionria, [145] em que o trabalho feito de maneira individual e no comunal, de maneira aleatria. Os sintomas da transio da pesquisa normal para a extraordinria so a proliferao de articulaes competidoras, a disposio para tentar qualquer coisa, a expresso explcita de descontentamento, e o recurso filosofia e a debates sobre fundamentos. A teoria (ou melhor, a matriz disciplinar) s acaba sendo rejeitada quando houver uma outra disponvel para a adeso. A rigor, o cientista no decide mudar seu paradigma; o que ele decide substituir uma generalizao simblica interpretada por outra; essa mudana leva a novos exemplares e portanto a uma nova matriz disciplinar ou paradigma. A pesquisa extraordinria pode resolver a crise de trs maneiras [146]: (a) as teorias, exemplares e tcnicas de antes da crise se mostram capazes de resolver as anomalias, apesar do desespero dos que viam na crise o fim da matriz disciplinar; (b) o problema continua a resistir at as abordagens mais radicais, e o problema ento deixado de lado para uma gerao futura que tenha instrumentos melhor desenvolvidos; (c) um novo candidato para a matriz disciplinar emerge, seguindo-se uma batalha por sua aceitao. Esta ltima alternativa (que foi a nica descrita por Kuhn, 1962) constitui uma revoluo cientfica. A nova teoria explica, por meio de generalizaes, as anomalias do paradigma anterior. A nova teoria deve, ento, ser logicamente incompatvel com a anterior. Alm disso, os novos exemplares introduzem um novo vocabulrio terico e alteram o significado dos

31

termos que tambm eram usados na velha teoria. Todas essas mudanas levam a uma nova matriz disciplinar. (Kuhn ir discordar da distino feita por Suppe entre teoria e matriz disciplinar.) [147] O debate que se segue entre os partidrios da nova matriz disciplinar e da velha feito a partir de padres e valores diferentes, ou seja, h discordncia sobre quais tipos de respostas seriam aceitveis, que tipos de tcnicas experimentais seriam vlidas, que metodologias seriam legtimas, etc. Mas uma concluso lgica s poderia ser obtida se houvesse padres e valores de comum acordo. Como no h, a resoluo do debate s pode se dar por persuaso. Se cada lado do debate puder traduzir parte das afirmaes do outro lado em sua prpria linguagem, ento alguma compreenso mtua seria possvel (Kuhn 1970). [148] Se, a partir desta comparao, um dos lados se mostrar mais capaz de acomodar os fenmenos do que o outro, ento pode ocorrer uma transferncia de cientistas de uma matriz disciplinar para outra. No entanto, apenas a capacidade de acomodar fenmenos no suficiente. Os cientistas podem concluir que, apesar de uma teoria dar melhor conta dos dados experimentais, ela no fornece respostas adequadas a questes mais significativas, ela no leva a uma maneira mais frutfera de fazer cincia normal. Mas, se um nmero suficiente de cientistas considerar que a nova teoria explica as anomalias da teoria anterior e tambm seus sucessos, e que, alm disso, deixa em aberto muitas charadas nas quais os novos convertidos possam trabalhar, ento terse- uma nova comunidade cientfica atuando na cincia normal da nova matriz disciplinar. Se a maioria dos cientistas adere ao novo paradigma, completar-se- a revoluo cientfica. [149] O relato fornecido por Kuhn considera errnea a doutrina positivista de reduo de teorias (seo II-F). As leis de Newton no podem ser reduzidas s leis da teoria da relatividade, nem no limite de baixas velocidades, pois os significados dos termos tericos so diferentes. O que se tem na teoria da relatividade seria, no mximo, uma reteno de leis de Newton modificadas. Assim, quando ocorrem revolues, o avano cientfico no cumulativo. As mudanas conceituais que acompanham a aceitao de uma nova matriz disciplinar so parecidas com uma mudana de Gestalt: duas pessoas olhando para a mesma coisa a partir de matrizes disciplinares diferentes vem coisas diferentes. Isso ocorre por diversas razes. Em primeiro lugar, os dados coletados so diferentes conforme a matriz disciplinar. Isso porque os dados no so estmulos sensoriais puros, mas resultam de uma classificao de fenmenos, de uma associao de fenmenos a diferentes agrupamentos e da realizao de medies. Em segundo lugar, os dados so expressos na linguagem da cincia, e tais significados so diferentes conforme a matriz disciplinar. [150] A adequao da anlise de Kuhn tem sido desafiada de vrias formas. 1) A noo de paradigma foi muito criticada, e Kuhn a substituiu pelas noes gmeas de exemplar e matriz disciplinar. Quo adequados so estes conceitos motivo de discusso. 2) Muitos autores negam que a distino entre cincia normal e cincia revolucionria possa ser mantida, ou que a cincia normal tenha tanta penetrao (Toulmin, 1967). 3) O relato kuhniano de revoluo como envolvendo um conflito entre matrizes disciplinares incomensurveis, conflito esse que s pode ser resolvido por persuaso no por argumento lgico, levou muitos autores a concluir que no relato kuhniano a cincia e a mudana cientfica so fundamentalmente irracionais (Scheffler, 1967). [151] 4) Se a abordagem que temos ao mundo sempre se d em termos de uma matriz disciplinar que molda e carrega os dados, como que o mundo, que no depende da matriz disciplinar (como salienta Kuhn, apesar de interpretado erroneamente neste ponto por Scheffler, que o considera um idealista), exerce uma influncia objetificante e restringente naquilo aceito pela cincia? 5) A doutrina de que mudanas de matrizes disciplinares sempre resultam em mudanas nos significados dos termos tambm tem sido atacada (Achinstein, 1965; Shapere, 1964; Scheffler, 1967).

32

(c) Hanson
[152] De acordo com Norwood Russell Hanson, no seu livro Patterns of Discovery (1958), um grave defeito da Viso Recebida que ela restringe sua ateno aos produtos finais da teorizao cientfica, sem prestar ateno ao processo de descoberta de leis, hipteses e teorias. Quando um cientista prope ou descobre uma lei, hiptese ou teoria, ele no est preocupado com um sistema dedutivo do tipo proposto pela Viso Recebida, mas sim pela explicao dos dados em termos de um padro conceitual. Teorias cientficas oferecem padres (patterns) nos quais os dados parecem inteligveis. Tais teorias no so descobertas atravs da induo a partir de dados, mas sim atravs de um raciocnio retrodutivo (abduo) de inferncia de hipteses provveis a partir de dados conceitualmente organizados. Observaes e fatos so carregados teoricamente (theory-laden). Nossas noes de causalidade so relativas a uma certa forma de organizao conceitual. A partir desses resultados, Hanson desenvolveu parcialmente uma lgica da descoberta (o raciocnio retrodutivo) relativa proposta de novas leis. Como estudo de caso, Hanson examinaria a descoberta do psitron, em seu livro The Concept of the Positron (1963). A obra de Hanson de certa forma complementa a de Kuhn, j que sua doutrina de que a observao carregada de teoria refora a negao kuhniana da linguagem observacional neutra, e sua anlise do raciocnio retrodutivo pertinente para entender a cincia extraordinria. Para a Viso Recebida, a linguagem de observao teoricamente neutra. [153] Hanson inicia seu ataque perguntando se duas pessoas com concepes de mundo diferentes, como Johannes Kepler e Tycho Brahe, assistindo ao mesmo pr de Sol, estariam vendo a mesma coisa. Poder-se-ia argumentar que sim: os dados sensoriais recebidos por suas retinas seriam quase idnticos, e o que mudaria seria a interpretao dada aps o fato. Assim, Tycho interpretaria os dados como mostrando o Sol se movendo, ao passo que Kepler os interpretaria como mostrando o movimento da Terra. Esta concepo conhecida como a teoria dos dados sensoriais (sense-data theory). H duas verses desta teoria, segundo Firth (1965): (i) a teoria da inferncia discursiva requer que a interpretao seja temporalmente distinta da percepo do dado sensorial; (ii) a teoria do cerne sensorial (sensory core theory) salienta que percepo e interpretao so praticamente simultneas, mas analiticamente distinguveis. Suppe considera seriamente apenas esta segunda verso. O ataque de Hanson comea com uma considerao ao estilo de Wittgenstein. Considere um daqueles desenhos que podem ser vistos ora como um objeto, ora como outro; por exemplo, uma figura que pode ser vista como um pato ou como uma lebre. [154] A teoria do cerne sensorial considera que a interpretao distinta da sensao. Hanson, porm, argumenta que a mudana de uma figura para outra pode se dar espontaneamente, sem raciocnio. Se pensamento no est envolvido, ento no se trataria de uma interpretao separada da percepo. [155] O que mudaria de um caso para outro, segundo Hanson, seria a organizao do que visto. Tal organizao no se encontra na figura, mas a maneira pela qual os elementos no campo visual so apreciados. A seguir, Hanson considera exemplos em que o que a pessoa consegue ver depende do contexto e do conhecimento, experincia e teorias do observador. Assim, Tycho e Kepler veriam coisas diferentes, no sentido de que as organizaes conceituais de suas experincias so muito diferentes. Ver seria um empreendimento carregado de teoria. O ato da viso moldado pelo conhecimento, uma realizao epistmica, cuja natureza expressa por ver que. [156] Ver que, e portanto conhecimento sobre o comportamento dos objetos, faz parte do ato da viso.

33

Para finalizar o argumento, Hanson salienta que ver que sempre seguido de uma clusula sentencial, de forma que haveria um componente lingstico ou proposicional na viso. Sem este elemento lingstico, nada que tenhamos observado poderia ter relevncia para o conhecimento. Ora, a teoria do cerne sensorial no atribui qualquer dimenso lingstica s percepes, somente uma dimenso imagtica, de forma que ela deve estar errada. Conclui assim que as organizaes conceituais so traos lgicos do conceito de viso que so indissociveis da observao na pesquisa em fsica. [157] Suppe considera que os argumentos de Hanson no so conclusivos. Eles tm mais uma funo, ao estilo de Wittgenstein (1953), de persuadir o leitor de que a teoria do cerne sensorial errnea, e de que a observao carregada teoricamente. Apesar disso, Suppe concorda que toda viso ver que. Dretske (1969) buscou criticar Hanson, mas Suppe no apia sua crtica. [158] A seguir, Hanson procura tecer um argumento semelhante com relao a fatos e causalidade. Seguindo Strawson (1950), ele salienta que fatos no so entidades observveis ou representveis pictoricamente, mas so enunciados pela linguagem. Procura mostrar ento que fatos so relativos linguagem, que as formas lgicas da linguagem moldam os fatos. Usa como exemplo o relato que Koyr (1939) faz de um dilogo entre Beeckman e Descartes. Conclui que os fatos so tais que diferenas de significado de termos lingsticos podem facilitar ou dificultar a habilidade de determinar ou apreender certos fatos. [159] Alm disso, o uso de linguagens com significados diferentes resultaria em percepes diferentes. Passando para a crtica da causalidade, Hanson ataca a concepo de causalidade que se baseia na noo de cadeia causal, implcita na viso de Laplace (1814) de que o estado atual do Universo determinaria qualquer estado no futuro. Para o filsofo e aviador norteamericano, a conexo entre causa e efeito seria uma conexo terica (no real), expressa por um padro conceitual, [160] que possui fora explicativa porque as palavras-causa participam de diferentes padres conceituais. Temos, pois, uma doutrina de dependncia de significado, ou seja, os significados dos termos so funo de padres conceituais nos quais eles participam. A anlise que fez para teorias causais valeria tambm para teorias envolvendo padres no-causais de explicao. Teorias fornecem padres de organizao conceitual. [161] Alm disso, mesmo que duas teorias concordem a respeito de um fato, pode ocorrer que este fato se liga de maneiras diferentes nas duas teorias, o que resultaria ento em uma diferena de significado. Hanson concorda que haja substantivos e verbos que no sejam carregados teoricamente, como os termos de uma linguagem de dados sensoriais, mas nega que tais palavras possam desempenhar qualquer funo explicativa numa teoria. O contexto tambm relevante para que uma palavra funcione como palavra-dado ou como palavra-teoria. Em suma: o significado de uma palavra depende do contexto. [162] Como toda observao na cincia carregada teoricamente, por ser lingstica, ento ver x em um certo contexto ver o referente de x participando em todas as relaes determinadas pelo padro conceitual que o termo x participa neste contexto. Algumas das conexes sero definies, outras sero fatos contingentes, e outras convenes ou prescries metodolgicas. Com isso, Hanson defende a existncia de uma lgica da descoberta, uma lgica com a qual pode-se concluir que certas hipteses so razoveis para um dado corpo em um dado contexto, onde o que razovel determinado pelos padres conceituais que permeiam o dado. [163] Sua lgica da descoberta, ou raciocnio retrodutivo, segue as linhas da abduo de Peirce, que mencionada tambm por Aristteles [s vezes chamada de inferncia para a melhor explicao]. Ele distingue entre razes para aceitar uma hiptese e razes para sugerir uma hiptese. [164] Usa como exemplo a hiptese de Kepler, obtida por analogia, de que a rbita de Jpiter seria elptica (dado que a de Marte tambm ). Alm da

34

analogia, outro critrio de sugesto de hipteses envolveria a simetria formal em conjuntos de equaes ou de argumentos. [165] [166] A anlise do raciocnio retrodutivo sustenta-se nas doutrinas de que a observao carregada teoricamente e de dependncia de significado. A adequao dessas doutrinas ser discutida mais adiante, na seo V-B-2. Est claro tambm que Hanson no apresenta uma anlise detalhada da observao ou teorizao cientficas, mas sim um programa de pesquisa, cujos mritos dependeriam dos seus desdobramentos subseqentes. (d) Os Realismos de Feyerabend e Popper Paul Feyerabend props uma anlise de teorias cientficas que radicaliza vrias idias encontradas em Toulmin, Kuhn e Hanson. Por outro lado, ele se baseia na filosofia da cincia de Sir Karl Popper, de forma que til resumir primeiro a obra deste ltimo. Cabe mencionar que, a partir de 1970, Feyerabend passou a se distanciar de seu mestre e a critic-lo. Outro autor que tomou as posies de Popper como ponto de partida foi Lakatos, que s ser examinado no Posfcio, seo III-B-1. (i) Popper
[167] Desde o incio de sua carreira filosfica, nos tempos do Crculo de Viena, Popper

rejeitou o critrio verificacionista de significncia cognitiva, salientando que os argumentos de Hume contra a possibilidade de justificao lgica da induo mostravam que teorias cientficas no podem ser verificadas por qualquer acmulo de evidncia observacional. No entanto, teorias cientficas podem ser falseadas pela observao, e assim o critrio de cientificidade de teorias seria a falseamento emprico. Seu Logik der Forschung foi publicado em Viena no final de 1934, e a traduo inglesa, levemente ampliada, em 1959. Popper tambm difere da Viso Recebida na questo de se teorias devem ser analisadas em termos de um clculo lgico artificial. Ele sustenta que o problema central da filosofia da cincia o crescimento do conhecimento cientfico, e isso no poderia, segundo ele, ser reduzido a um estudo de linguagens artificiais. De fato, Popper acha que as solues aos problemas de filosofia da cincia sugeridas pela Viso Recebida s funcionam por causa da limitao no poder expressivo das linguagens artificiais utilizadas. Ou seja, suas solues no conseguem atingir um nvel de complexidade que as tornariam pertinentes para a cincia que de fato desenvolvida. Em especial, no tocam o problema central da filosofia da cincia, que o crescimento do conhecimento. Em seu artigo de 1956, Trs Concepes acerca do Conhecimento Humano Popper considera o que chama de vises instrumentalista e essencialista de teorias. Para a primeira, teorias seriam meros instrumentos que permitem que deduzamos fenmenos a partir de fenmenos prvios. Uma lei universal ou uma teoria no seriam propriamente enunciados, mas sim regras ou instrues para a derivao de enunciados singulares a partir de outros enunciados singulares. Popper rejeita esta tese. [168] A viso essencialista de teorias tem trs premissas: (1) o objetivo do cientista encontrar uma teoria ou descrio do mundo (especialmente de suas regularidades ou leis) verdadeiras, que servir tambm como uma explicao dos fatos observados; (2) o cientista consegue, no final, estabelecer a verdade de tais teorias, para alm de qualquer dvida razovel; (3) as melhores teorias cientficas descrevem as essncias das coisas as realidades que subjazem s aparncias; tais teorias so explicaes ltimas, e o objetivo final do cientista encontr-las.

35

Popper aceita o item (1), que a negao do instrumentalismo, mas rejeita (2), com base em seu critrio de falseabilidade. Com relao s essncias do item (3), Popper no nega sua existncia, mas considera intil e at prejudicial a sua busca pelo cientista. Suppe acha que, com essa posio, fica difcil dar conta da verdade de teorias sem recorrer a essncias. Por isso, conclui que Popper no mostrou que (3) inaceitvel. O principal argumento contra a rejeio popperiana de (2) a tese de Duhem de que em todo teste no s a teoria em questo que est envolvida, mas tambm o todo o sistema de nossas teorias e suposies. Assim, nunca temos certeza de qual dessas suposies refutada no experimento falseador (ver sees IV-B-1 e IV-E, a seguir). A resposta otimista de Popper que se houver duas teorias envolvidas, que possuam o mesmo conhecimento de fundo, ento o teste de fato decide entre estas duas teorias. [169] Suppe desconfia da resposta, especialmente se for aceita a tese de que os dados so carregados teoricamente. A posio de Popper que teorias so conjecturas genunas, ou seja, palpites altamente informativos sobre o mundo, que, mesmo no sendo verificveis (isto , mostrados como sendo verdadeiros), podem ser submetidos a testes severos. So tentativas de conhecer a verdade, mesmo que nunca saibamos se so verdadeiras ou no. Popper concorda com o idealista que teorias so nossas prprias invenes, mas o fato de que tais invenes possam estar erradas mostra que existe uma realidade. Alm disso, salienta que nossas descobertas so guiadas pela teoria, e no que teorias sejam descobertas atravs da observao. A razo para isso seria que todos os termos capazes de descrever observaes so disposicionais (o que tambm foi defendido pela teoria pragmtica de significado de C.I. Lewis, 1929), e isso borraria a distino entre termos observacionais e tericos. Apesar da linguagem descritiva da cincia ser carregada teoricamente, a terminologia da cincia no est presa a teorias de maneira monoltica. Isso possibilita a comparao de teorias e seu falseamento em experimentos cruciais. Popper tambm defende a existncia de enunciados observacionais bsicos, que se referem a objetos materiais pblicos, intersubjetivos. H assim uma linguagem observacional neutra [mesmo que ela seja baseada em convenes]. Outra conseqncia da viso de Popper a prescrio de que deve haver uma proliferao de teorias diferentes [que sejam falseveis e possam ser falseadas], e isso responsvel pelo crescimento do conhecimento. A cincia no deve se fechar dogmaticamente em torno de teorias nicas, mas deve agir como uma sociedade aberta: por isso que Popper (1970) rejeita a noo kuhniana de cincia normal. (ii) Feyerabend Feyerabend aceita as doutrinas popperianas de que teorias so falseveis mas no confirmveis, que termos tericos e observacionais so disposicionais e carregados teoricamente, que a cincia deve proliferar teorias, e que o crescimento do conhecimento cientfico provm da proliferao de teorias. Porm, Feyerabend (1965) considera que h em Popper um ncleo emprico que precisa ser eliminado, qual seja, a doutrina de que h uma linguagem observacional neutra que possa ser usada em testes. Busca assim desenvolver o programa popperiano sem pressupor tal base emprica neutra. A estratgia de Feyerabend, entre 1958 e 1965, foi a de criticar o empirismo radical que encontra na Viso Recebida, para a partir da desenvolver sua prpria posio. [171] Neste perodo, uma introduo breve e completa a sua posio apresentada no artigo How to be a Good Empiricist A Plea for Tolerance in Matters Epistemological, in Baumrin, B. (org.) (1963), Philosophy of Science The Delaware Seminar, vol. II, Interscience, Nova Iorque, pp. 3-40.

36

Por empirismo radical Feyerabend designa qualquer doutrina que contenha a tese de que, uma vez que uma teoria tenha sido confirmada em um alto grau em um certo domnio, ento esta teoria deve ser mantida at que ela seja refutada ou que suas limitaes sejam indicadas por novos fatos. Ou seja, haveria uma proibio de se trabalhar em teorias alternativas naquele domnio, at que as refutaes ou limitaes aparecessem. Haveria uma proibio de que se pudesse simultaneamente utilizar teorias mutuamente inconsistentes. A negao disso, ou seja, a defesa do uso de teorias mutuamente inconsistentes, chamada por Feyerabend de pluralismo terico. A Viso Recebida seria um exemplo altamente formalizado de empirismo radical, especialmente devido a sua tese de desenvolvimento por reduo (seo II-F) e do modelo da lei de cobertura da explicao (o modelo nomolgico-dedutivo formalizado por Hempel & Oppenheim, 1948). Para que duas teorias sejam consistentes dentro de um mesmo domnio, satisfazendo uma condio de consistncia, preciso (no empirismo radical) que os termos usados nas duas teorias tenham o mesmo significado: a chamada condio de invarincia de significado. [172] A estratgia de Feyerabend foi atacar essas duas condies. Aps argumentar que elas de fato fazem parte da Viso Recebida, passou a exemplificar como essas condies so violadas na cincia real. Feyerabend admite que em boa parte das aplicaes mais simples da cincia, envolvendo generalizaes empricas, essas condies so satisfeitas. No entanto, elas fracassam em estruturas de pensamento mais amplas, como a teoria aristotlica, a teoria do impetus, a mecnica celeste de Newton, a eletrodinmica de Maxwell, e teoria da relatividade e a teoria quntica. [173] Por exemplo, a incorporao da lei da queda livre de Galileu e das leis de Kepler dentro da teoria newtoniana considerada pela Viso Recebida como um exemplo de reduo interterica. Porm, algumas das conseqncias da teoria de Newton so logicamente incompatveis com algumas conseqncias das leis de Galileu e Kepler em sues domnios de validade. Por exemplo, a lei de Galileu afirma que a acelerao da queda livre constante, ao passo que a aplicao da teoria de Newton superfcie da Terra fornece uma acelerao decrescente. Assim, as leis de Galileu e Kepler no podem ser deduzidas da teoria de Newton, e a condio de consistncia violada. Como exemplo de violao da condio de invarincia de significado, Feyerabend toma os conceitos de massa da mecnica clssica e da teoria da relatividade. O filsofo vienense parte do princpio que o significado de um termo depende sempre do contexto terico em que ele ocorre. [174] Assim, como os contextos so diferentes nessas duas teorias, o significado de massa tambm o ser. Mais especificamente, massa na mecnica clssica uma propriedade, ao passo que na relatividade ela seria uma relao, dependente do referencial de movimento. Portanto, a anlise de Nagel de reduo terica falharia neste e em outros casos, devido violao da condio de invarincia de significado. At aqui, o argumento de Feyerabend equivale ao de Kuhn, sublinhando que a tese de desenvolvimento por reduo (da Viso Recebida) no caracteriza adequadamente as revolues cientficas. E quanto cincia normal, que Kuhn v de maneira cumulativa? Feyerabend (1970) nega que exista uma cincia normal ou madura. Alm disso, mesmo que a cincia normal pudesse existir, ele tece um argumento de que ela seria indesejvel. Mais especificamente, Feyerabend (1965) tece um argumento segundo o qual a condio de consistncia seria indesejvel. Isso porque, na competio entre uma teoria bem estabelecida e outra mais nova, a condio de consistncia levaria eliminao da teoria mais nova, no porque ela discorda dos fatos, mas porque discorda da teoria bem estabelecida. [175] A condio de consistncia torna uma parte ainda no testada de uma teoria (mais velha) uma medida de validade para a teoria mais nova (se a teoria nova tivesse aparecido antes, a situao se inverteria).

37

Um defensor da Viso Recebida poderia objetar que a teoria mais velha, no exemplo acima, bem confirmada pelos fatos, e assim no haveria razo para descart-la em nome de uma teoria ainda nova, sem o seu poder explicativo. Feyerabend descarta esta objeo, apontando que ela pressupe um princpio de autonomia dos fatos: os fatos existiriam independentemente da existncia de teorias. Mas os fatos so dependentes da teoria, segundo Feyerabend, e alguns fatos s podem ser desenterrados com a ajuda de teorias alternativas. Para confrontar uma teoria com os fatos, preciso levar em conta outras teorias que so inconsistentes com ela; o pluralismo terico resultante incompatvel com a condio de consistncia. [176] Para Feyerabend, uma linguagem observacional neutra, utilizvel em testes cientficos, impossvel. Toda descrio de fatos observveis depende de alguma teoria. Esta posio pode ser vista como a inverso completa do retrato da Viso Recebida de um escoamento unidimensional de significados da linguagem de observao para a linguagem terica. Aceitando-se essas teses de Feyerabend as condies de consistncia e invarincia de significado so indesejveis, a proliferao de teorias incompatveis desejvel, descries de fatos so dependentes de teoria, e uma linguagem observacional neutra intil para testar teorias , [177] que retrato da cincia seria possvel? A resposta do austraco de que possvel testar teorias com base em observaes, a partir de uma teoria pragmtica da observao. Segundo esta teoria, enunciados de observao so distinguidos de outros enunciados no por seu contedo ou seu significado, mas sim pelas circunstncias de sua produo. Enunciados de observao extrapolam para alm do que visto (das sensaes), interpretando uma situao como sendo um estado objetivo de coisas, que se comporta de acordo com regularidades caractersticas. Um enunciado de observao interpreta a situao indicada por uma sensao, e tal interpretao depende de uma teoria. [178] Essa dependncia terica de relatos de observao e de descries de fatos leva tese de que a maneira pela qual vemos o mundo depende das teorias que esposamos. Teorias gerais trazem consigo suas prprias ontologias, sendo assim Weltanschaaungen. O teste de uma generalizao de nvel inferior (ou seja, uma lei emprica) feito sobre o pano de fundo de uma teoria geral que interpreta os relatos de observao, ou seja, de um Weltanschaaung. Porm, o teste desta teoria geral no pode ser feito da mesma maneira, pois qualquer dado que pudesse ser relevante para testar a teoria pressuporia a prpria teoria, de forma que o teste envolveria um circular vicioso. A nica maneira de testar uma teoria geral usando uma teoria alternativa e incompatvel. Se ambas compartilharem um conjunto de enunciados observacionais, ento seria possvel realizar um experimento crucial para decidir entre as duas, ao estilo de Popper. No entanto, se as duas teorias no compartilharem uma linguagem de observao (tipicamente quando envolverem elementos bsicos do universo), cada uma possuir sua prpria experincia (sem interseco), e um experimento crucial ser impossvel. Neste caso, as teorias sero incomensurveis, no sentido de que os significados de seus termos descritivos dependem de princpios mutuamente inconsistentes. Trs procedimentos so possveis nessa situao. [179] Primeiro, pode ser possvel inventar uma teoria mais geral que defina enunciados de teste aceitveis para as duas teorias. Segundo, pode ser possvel examinar internamente as duas teorias, e perceber que uma delas estabelece uma conexo mais geral com a observao, e que a interpretao dos resultados observacionais mais direta. O terceiro procedimento consiste de levar a srio a teoria pragmtica da observao, e preferir a teoria que cujos enunciados de observao se adaptem melhor s nossas preferncias e comportamentos. Eis ento uma filosofia da cincia popperiana que no pressupe uma linguagem de observao neutra.

38

Infelizmente, o relato de Feyerabend contm uma falha grave que foi apontada por diversos autores (Achinstein, 1964; Putnam, 1965; Shapere, 1966; Scheffler, 1967). A primeira proposta de Feyerabend requer que haja uma teoria de fundo em comum para as duas alternativas, mas isso impossvel j que as alternativas so incomensurveis. A segunda e a terceira propostas requerem implicitamente que as duas teorias tenham relatos observacionais em comum ou compatveis, mas isso impossvel dado que se sups que as alternativas so incomensurveis. Assim, nenhum dos procedimentos de teste possvel se a posio geral de Feyerabend for correta. Feyerabend (1965) aceitou essas crticas, e buscou modificar sua posio para escapar das crticas mantendo o essencial de seu relato. Sua nova posio (1970) incorporou a noo hegeliana de que a crtica e desenvolvimento de teorias gerais procedem por meio de um processo dialtico de crtica. Outro problema parecido envolve sua doutrina de proliferao de teorias e seu papel no crescimento do conhecimento cientfico. [180] Para Feyerabend, importante que o mesmo cientista ou a mesma comunidade cientfica possam entender e comparar diversas teorias ou Weltanschauungen radicalmente diferentes. Porm, questionvel se costuma haver pessoas com condies psicolgicas de alternarem vontade entre dois Weltanschauungen diferentes. Outras crticas foram dirigidas sua anlise de significado, que desempenha um papel importante em toda sua argumentao (Shapere, 1966). Suppe examinar as crticas dirigidas s doutrinas de significado do conjunto de vises de Weltanschauungen na seo V-B-2. (e) Bohm David Bohm (1952) formulou uma interpretao fsica alternativa para a teoria quntica e posteriormente, em conseqncia disso, desenvolveu uma filosofia da cincia bastante prxima das de Feyerabend, Hanson e Kuhn. A mecnica clssica concebe que os corpos tm propriedades (como massa, posio e momento) com valores bem definidos e mensurveis com resoluo ilimitada. [181] Alm disso, as leis que descrevem como os valores dessas propriedades evoluem no tempo so deterministas. A fsica quntica, porm, desenvolvida em torno de 1927, rompeu com esse tipo de descrio. O princpio de incerteza diz que grandezas conjugadas, como posio e momento, no podem ser especificadas simultaneamente com alto grau de resoluo. A evoluo das variveis dinmicas no mais regida por uma evoluo determinista, de forma que a natureza ltima considerada como no-causal (indeterminista). Alm disso, a teoria introduz grandezas no diretamente observveis, como a funo de onda. Ela estipula tambm um princpio de complementaridade ou dualidade onda-partcula: corpos microscpicos so medidos ou com propriedades corpusculares (trajetrias) ou com propriedades ondulatrias (interferncia), mas nunca ambos ao mesmo tempo. Tais concluses foram obtidas dentro de um quadro conhecido como a interpretao de Copenhague. [182] Para esta viso, os termos tericos (como a funo de onda) no se referem a uma entidade real, o que torna a interpretao instrumentalista. [183] Tal interpretao oficial foi recusada por alguns fsicos importantes de orientao mais realista, como Einstein, Planck, Schrdinger e de Broglie, mas nenhum deles conseguiu propor e sustentar uma interpretao realista alternativa. Quem conseguiu esta proeza foi David Bohm, em 1952, retrilhando (de incio sem saber) os passos de Louis de Broglie e indo mais alm.

39

... [a ser completado] Verso de junho de 2004

40