/

../

j)es\-"'5ch

E\\ct-lf.d-J 0..DlhmA .'t MO~IJad; ~.~\ros:

zcot , 443f.

EL PROGRESO CIENTFICO A REVISIN

POR rLKKA NIINlLUOTO

La filosofa de la ciencia en progreso

La filosofa contempornea de la ciencia puede parecer, a los ojos tanto del observador casual como del partcipe activo, una mezcolanza heterognea, una jungla' salvaje con plantas diversas brotando por doquier sin patrn de orden discernible. Aun cuando esta impresin no est del todo injustificada es, ensu conjunto, engaosa. . Con toda su diversidad y todas sus discrepancias, la filosofa de ;la ciencia constituye un terreno en rpido avance, que est progresando al mismo tiempo en varias ramas. J Estas ramas se corresponden con diversos "programas metodolgicos de investigacin",' que tratan de desarrollar y refinar "teoras" acerca de las actividades y los logros de la ciencia. Las contribuciones de dichos programas a nuestra comprensin de la naturaleza de la ciencia tan slo pueden ser apreciadas mediante revisiones retrospectiva de su desarrollo, as como por medio de anlisis crticos de sus reivindicaciones presentes. Los aos cercanos a 1960 han sido a menudo considerados como parte integrante de un punto crucial en la filosofa de la ciencia. Durante la dcada de los cincuenta, los herederos del positivismo lgico primario -Rudolph Camap, Hans Reichenbach, Carl G. Hempel, Alfred Tarski, Nelson Goodman, Ernest Nagel y Rchard Braithwaite, as como sus respectivos discpulos- haban desarrollado un resumen admirablemente preciso y comprensivo de las teoras cientficas (en cuanto a conjuntos de frases parcialmente interpretados), de las explicaciones cientficas (en cuanto a argumentos deductivo-nomolgicos) y de la inferencia cientfica (en cuanto a justificacin probabilista o inductiva de hiptesis cientficas por medio de la evidencia fruto de la observacin). Para esta liberal "Visin Recibida" empiricista.t las virtudes principales de la buena ~ ciencia consistan en la verdad (Tarski), la confirmacin (Carnap), el poder sistemtico (Hempel) y'la simplicidad (Goodman).'
373

Progreso cientfico El "racionalismo crtico" de Karl Popper puso el acento sobre la falsificacin en lugar de la justificacin, as como sobre la audacia y el contenido de informacin en lugar de la probabilidad elevada. Su ataque a la lgica inductiva de Camap culmina con la publicacin de The Logic o/ Scientific Discovery (1959), as como con su definicin de 1960 de la "verosimilitud" o "veracidad". Este concepto trataba de resaltar la importancia del hecho de que una teora errnea puede estar "ms cerca de la verdad" que otra. Asimismo nos proporciona -como argumentara ms adelante el propio Popper en su Conjetures and Refutations (1963)-- una buena razn para apoyar una interpretacin realista de las aseveraciones cientficas tericas: las teoras cientficas no son tan slo herramientas para la formulacin de predicciones observables, como reclaman los instrumentalistas, sino tambin intentos progresivos para ofrecer descripciones de la realidad cada vez ms parecidas a la verdad. Adems de la de Popper, en los aos sesenta fueron desarrolladas por Wilfrid Sellars, Jack Smart, Mario Bunge y Hilary Putnam, otras variantes de realismo cientfico. Alrededor de 1960, el cambio cientfico y el desarrollo del conocimiento cobraron actualidad gracias a los trabajos de N.R. Hanson en el campo del descubrimiento cientfico; de Thomas Kuhn en los de la ciencia normal y de las revoluciones cientficas, de Karl Popper y Paul Feyerabend en el de las revoluciones permanentes, de Kuhn y Feyerabend en el de la inconmensurabilidad de teoras rivales, de Stephen Toulmin en el de la evolucin de conceptos y teoras, y el de Irnre Lakatos en los del descubrimiento matemtico y de los programas de desarrollo cientfico. La controversia Popper-Kuhn culminara en el Coloquio de Londres de 1965, que dara como fruto la obra titulada Criticism and the Growth o/ KnowLedge (1970), editada por I. Lakatos y A. Musgrave.' Mientras que Popper trataba de defender una nocin conjetural del conocimiento recurriendo a sus conceptos de verosimilitud y veracidad, Kuhn propona en su The Structure o/ Scientific Revolutions (1962) que el trmino "verdad" debera ser excluido del anlisis del progreso cientfico. Para Kuhn (as como para realistas crticos tales como Popper), el progreso no puede consistir en la acumulacin de verdades. Sin embargo y a diferencia de Popper, Kuhn recomendaba que renunciramos a la nocin [... ] de que los cambios de paradigma llevan a los cientficos, as como a quienes de ellos aprenden, ms cerca de la verdad." Para la ciencia normal, la resolucin de los problemas o puzzles que definen sus paradigmas debe inevitablemente ser progreso.' La resolucin de problemas constituye, asimismo, la clave del progreso a travs de revoluciones.' En debates posteriores, los puntos de vista de Kuhn acerca de la variacin significativa y los valores cientficos, demostraron ser menos radicales de lo que algunos de sus seguidores y detractores haban supuesto. En p~cu.lar Kuhn sugiri que, incluso en el caso de revoluciones, existe una base de cntenoS

El progreso cientfico a revisin compartida para la evaluacin de teoras rivales, a saber: exactitud, consistencia, alcance, simplicidad y produccin. 9 Aun as, la controversia entre Kuhn y el realismo cientfico gener un problema-situacin altamente estimulante para los filsofos. Su trabajo ejerci asimismo una gran influencia en otro sentido: muchos filsofos de la ciencia abandonaron los resmenes formales y prescriptivos de la ciencia formulados desde la lgica emprica, para dirigir su atencin -en ntima colaboracin con historiadores y socilogos de la ciencia- hacia estudios descriptivos acerca de la produccin de verdadero conocimiento dentro de las comunidades cientficas.

Nuevos programas a mediados de los setenta

Hace unos aos edit, para el diario Synthese (vol. 45, n 3, 1980), un monogrfico dedicado a las Teoras sobre el progreso cientfico. No me caba entonces duda de que la clarificacin del concepto de progreso iba a convertirse en una tarea urgente para los filsofos, con independencia de la escuela a la que pertenecieran. Mirando ahora en retrospectiva, puedo comprobar que mi certeza de entonces no careca de justificacin. Sin embargo, hay que decir tambin que, con posterioridad a aquella fecha, no cabe hablar de nuevos programas dlaramente perceptibles, En lugar de ello, los aos posteriores aparecen como un perodo de intensiva elaboracin de los puntos de vista y de las ideas que vieran la luz a mediados de los aos setenta y, ms concretamente, en el lapso comprendido entre los aos 1973 Y 1978. Los ms importantes de dichos programas (con mencin de sus defensores) se resumen en la figura l. Ambas partes de la controversia Popper-Kuhn se muestran de acuerdo acerca de que los das del realismo ingenuo han terminado: tpicamente, la ciencia no progresa por medio de la acumulacin de verdades certificadas, tal como postularan las formas clsicas del racionalismo y del empirismo." El realismo crtico puede ser considerado como un intento de encontrar una via 'media entre el realismo ingenuo y el escepticismo. A finales del siglo XIX, Charles S. Peirce formul ya una versin sofisticada de dicho realismo crtico. Su epistemologa dinmica y falibilista admite que nunca podemo estar seguros de haber alcanzado la verdad pero que, a pesar de ello, la verdad acerca de la realidad es el lmite ltimo hacia el que la opinin de la comunidad cientfica est "destinada" (con probabilidad uno) a "gravitar". En un importante ensayo datado en 1973, Larry Laudan demostraba que el realismo crtico tiene una interesante prehistoria que parte del siglo XVII, pero acusaba a Peirce de trivializar la tesis auto-correctiva." En el mismo ao,

374

375

Progreso cientfico David Miller y Pavel Tichy demostraban que la definicin popperiana de verosimilitud no es aplicable a la comparacin entre teoras errneas. Algunos seguidores de Popper consideraron esta devastadora conclusin como razn suficiente para abandonar el concepto de veracidad." John Watkins, por ejemplo, trata de analizar en Science and Skepticism (1984) el cambio cientfico en trminos de "verdad posible" y de "contenido de informacin". 13 Otra reaccin consistira en aceptar el desafo de desarrollar un concepto de veracidad lgicamente satisfactorio y metodolgicamente relevante. Este programa para definir la verosimilitud por medio de la aportacin del concepto de "similitud" o "parecido", del que carece el modelo popperiano, fue iniciado en 1974 por Pavel Tichy y Risto Hilpinen, a quienes bien pronto seguiran llkka Niiniluoto y Graham Oddie. Los resultados de la activa bsqueda en la dcada 1975-1985 est recogidos en Likeness to Truth (Oddie)" y Truthlikeness (Niiniluoto)." En 1977 suger que el concepto de progreso en ciencia poda ser definido con precisin recurriendo a mi medicin del "grado de parecido a la verdad" de una teora." En mi obra titulada ls Science Progressive?" esta "visin realista del progreso" viene expresada por la defmicin de que: la ciencia progresa en la medida en que gana informacin altamente parecida a la verdad sobre la realidad. Asimismo, argumento que es posible formular afirmaciones o estimaciones racionales de progreso cognitivo, cuando (pace Popper) cabe la utilizacin de probabilidades inductivas o epistrnicas. Es ms, la mejor explicacin del xito prctico de la ciencia consiste en el reconocimiento de que las teoras cientficas son, de hecho, suficientemente parecidas a la realidad. En el Congreso de Salzburg de 1983 argument que el concepto de veracidad es asimismo aplicable a las teoras idealizacionales." A partir de ah, el programa de verosimilitud fue desarrollado en conjunto con la Escuela Poznan, que ha analizado la "concretizacin" de las leyes idealizacionales en el espritu del realismo crtico. 19 La importancia de las idealizaciones, particularmente en el caso de teoras abstractas de fsica matemtica, constituy la motivacin primaria para el instrumen talismo clsico, tal como lo desarrollaran Pierre Duhem y Henri Poicar en la primera dcada del siglo XX afirmando que, a diferencia de las afirmaciones fruto de la observacin, ninguna afirmacin terica de la ciencia puede tener un valor de verdad. A lo largo de los aos ochenta, este problema estimul una posicin "medio realista", que acepta la existencia de entidades tericas causalmente interactivas (y por consiguiente, las afirmaciones existenciales tericas s tendran un valor de verdad), pero niega que tal valor pueda proceder de leyes tericas. Entre los repre1 sentantes de este realismo de entidad cabe mencionar a Cartwright, 20 a Hackingl Y a Giere." Sin embargo, hasta el momento presente, este programa no ha conseguido an desarrollar un concepto claro de progreso cientfico.

El progreso cientfico a revision

vcrdaden cuanto a correspoodcncia teoras no expresables por medio del lenguaje

~ no verdad sucedneos anarquismo FEYERABEND

las teoras tieueV un valor de verdad

\:---\

insttumentalismo STEGMOU.ER realismo de entidad CARlWRIGJIT HACKING HARR GIERE

acepta/.~
~lidad. ideal
/.J

creeoaa xito prctico

verdad relevante

realismo interno PUTNAM TIJOMELA

pragmatismo RESCHER

relativismo BLOOR I.ATOUR

/.~
real ismo ,ingenuo realismo crtico POPPER BUNGE BOYD NOWAK NlINILUOTO

antir:ealismo metodoIgico I.AUDAN VAN FRAASSEN

escepticismo

Figura 1. En un importante ensayo, datado en 1973, Larry Laudan demostraba que el realismo crtico tiene una interesante prehistoria que parte del siglo XVII, pero acusaba a Peirce de "trivializar la tesis auto-correctiva". En el mismo ao, David Miller y Pavel Tichy demostraban que la definicin popperiana de verosimilitud no es aplicable a la comparacin entre teoras errneas. Algunos seguidores de Popper consideraron esta devastadora conclusin como razn suficiente para abandonar el concepto de veracidad. John Watkins. por ejemplo, trata de analizar en Science and Skepticism (1984) el cambio cientfico en trminos de "verdad posible" y de "contenido de informacin".

376

377

Progreso cientfico

El progreso cientfico a revision

En su forma moderna, el instrumentalismo est representado por el planteamiento "estructuralista", expuesto por Wolfgang Stegmller en su The Structure and Dynamics of Theories," as como por Wolfgang Balzer, Carlos-Ulises Moulines y Joseph Sneed en su An Achitectonic for Science? Inspirado (y explcitamente estimulado) por Kuhn, Stegmller trata la teora cientfica como una construccin conjunto-terica que, si bien adolece de falta de valor de verdad, es susceptible de ser utilizada para formular "reivindicaciones empricas". Este marco deja espacio para factores pragmticos, al mismo tiempo que posibilita una descripcin semifonnal y diacrnica de la "evolucin de la teora". Puesto que las teoras no son conjuntos de aseveraciones, StegmIler declara que los problemas de inconmensurabilidad pueden ser evitados. El progreso puede ser definido, en ausencia del concepto de verdad, en trminos de "reduccin de teora" al nivel de los modelos de las teoras rivales." Inspirado parcialmente por Kuhn y Lakatos, en su Progress and lts Problems;" Larry Laudan trata el cambio cientfico en trminos de "tradiciones de investigacin", que apuntan a la "resolucin de problemas" ms que a la "bsqueda de la verdad". El progreso viene aqu definido como el incremento de las teoras en su "efectividad en la resolucin de problemas". El planteamiento de Laudan ha inspirado, a su vez, estudios sobre casos histricos, existiendo en la actualidad base suficiente para confiar en que las resbaladizas nociones de "problema" y de "respuesta" puedan ser precisadas, dentro del modelo de investigacin cuestin-teortico o "interrogativo" de Jaako Hintikka." Laudan no es un instrumentalista, puesto que admite que las teoras tienen un valor de verdad. Sin embargo, se le puede considerar representativo del antirrealismo metodolgico puesto que, para l, la verdad (de una teora) constituye para la ciencia un objetivo utpico e ilegtimo. Dado que Laudan requiere que la teora "resuelva problemas" por medio de la derivacin de aseveraciones empricas antes observadas: o de predicciones correctas, su concepto de aptitud para la resolucin de problemas parece esencialmente equivalente al requerimiento de Bas van Fraassen de "adecuacin emprica". Utilizando (desde 1977) el tradicional eslogan instrumentalista de "guardar las apariencias", Van Fraassen demanda que: todo lo que la teora diga acerca de lo observable tiene que ser cierto. Puesto que Van Fraassen considera irrelevante el valor de verdad de las afirmaciones tericas," su "empiricisrno constructivo" puede ser tambin considerado como una variante del antirrealismo metodolgico." Todos los programas mencionados retienen su correspondiente teora de la verdad, que pueden considerar adecuada (con enmiendas tales como "verdad aproximada" o "verosimilitud"), inaplicable, o irrelevante para el anlisis del progreso cientfico. Otro tipo de reaccin ante el problema del realismo consiste en reemplazar el concepto semntico de verdad por algn sucedneo
378

metodolgico, como puedan ser probado, verificado, garantizadamente aseverable, o prcticamente til. sta ha sido la estrategia del intuicionismo matemtico (Michael Dummett), del verificacionismo y del pragmatismo. En una serie de trabajos que comienza con Methodological Pragmatism (1977) y Scientific Progress." Nicholas Rescher ha analizado la ciencia en trminos de la nocin metodolgica de "presumiblemente ms cierto". Segn Rescher, el progreso en el cambio de la teora debera ser definido en el "nivel pragmtico" como: el xito creciente de la aplicacin a la resolucin y el control de problemas." La teora de Kuhn, que consiste en que las observaciones y los significados, incluso siendo universales y ciertos, son "condicionados por la teora" o relativos a "paradigmas" o "visiones del mundo", ha actuado como inspiracin para un relativismo en marcha en relacin con las pretensiones cognitivas (verdad, racionalidad) de la ciencia. En su "programa fuerte" de "sociologa del conocimiento", la Escuela de Edimburgo (Barry Bames, David Bloor) viene proclamando, desde 1974, que el estudio cientfico de la ciencia debera describir y explicar causalmente las creencias de los cientficos, con independencia de que tales creencias fuesen ciertas o fruto de inferencias de lo racional." Como el antroplogo en su estudio de tribus exticas, el socilogo debera investigar, por medio de la observacin participativa, las actividades propias de las tribus cientficas. Este planteamiento ha sido elaborado por Bruno Latour y S~ven Woogar en su Laboratory Life;" donde defienden que los datos cientficos son "construcciones sociales" artificiales, nacidas en laboratorios como consecuencia del proceso de solucin de controversias." Finalmente, el realismo interno de Putnam constituye un intento de combinar el kantismo con el pragmatismo, obviando el relativismo. Rechazando espectacularmente su anterior "realismo metafsico" de 1977, Putnam declara ahora que la verdad constituye un concepto "epistmico", que debe ser definido como "aceptabilidad ideal"." El realismo interno rechaza toda versin ontolgica, epistemolgica y lingstica del "mito de lo dado": no existe ningn mundo predeterminado ni ningn lenguaje privilegiado." Es ms, este planteamiento evita el relativismo por medio de la identificacin de la verdad con el contenido del ideal epistmico de "~iencia lmite pierciana".

Aprender del progreso

Evaluar aqu en detalle los programas reflejados en la figura 1 queda fuera del alcance del presente ensayo." En lugar de ello, en esta parte tratar de analizar algunas de las consecuencias que hemos ido aprendiendo del progreso.
379

progresO cientfico En otras palabras, los debates sobre el cambio cientfico nos han enseado algunas lecciones importantes acerca de la filosofa de la ciencia. a) Metodologaforma/frente a metodologia histrica El mensaje de la revolucin kuhniana ha sido interpretado, en ocasiones, como una tesis que postula que la filosofa de la ciencia debera seguir un mtodo descriptivo histrico, abandonando la bsqueda camapiana en pos de una explicacin lgica y cuantitativa de los conceptos. Si bien podramos estar de acuerdo con Lakatos en que una filosofa de la ciencia sin una filosofa de la historia est vaca, mientras que una filosofa de la historia sin una filosofa de la ciencia est ciega," un contraste agudo entre los mtodos formales e histricos en los estudios sobre la ciencia, no resulta tan slo engaoso, sino tambin innecesario. Los mtodos lgicos y cuantitativos no estn, bajo ningn concepto, limitados al estudio "sincrnico" de los sistemas cientficos completados, sino que pueden ser igualmente aplicados al estudio "diacrnico" del cambio cientfico. Al menos desde Little Science, Big Science de Derek de Solla Price (1963), ha quedado claro que el crecimiento de la ciencia (medido por el volumen de produccin literaria de los cientficos) es susceptible de ser estudiado mediante mtodos cuantitativos. Los indicadores cientficos, estudiados ahora por la "ciencimetra" y ampliamente utilizados como instrumento de poltica cientfica," no constituyen por s mismos medidas del crecimiento del conocimiento, puesto que se limitan a enumerar las publicaciones y las citas, ignorando su contenido semntica. En cambio, las medidas de informacin semntica de Carnap y Hintikka, o las de verosimilitud de Tichy, Oddie y Niiniluoto, pueden ser empleadas para expresar, en trminos cuantitativos, que determinado cuerpo nuevo de conocimiento cientfico "dice ms acerca de" y "se aproxima ms a" la verdad que otro anterior. Tales mediciones permiten asimismo precisar conceptos peirceanos de epistemologa dinmica, tales como "planteamiento" o "convergencia hacia la verdad". En la misma lnea, los defensores de la "cinemtica de probabilidad" bayesiana (Richard Jeffrey, Isaac Levi) han venido utilizando, desde mediados de los sesenta, el concepto cuantitativo de probabilidad epistmica (es decir, el grado de creencia en la verdad de una proposicin, en relacin con la evidencia) para el estudio del cambio de creencias. Es ms, est actualmente bien reconocido y aceptado, que el estudio del cambio cientfico puede emplear con xito conceptos tomados de la teora de conjuntos (del "estructuralismo" de Sneed y Stegmller), as como de la teora del modelo lgico." Adems de las matemticas y de la lgica, la ciencia cognitiva y la inteligencia artificial son actualmente recomendadas como fuentes de mtodos "computacionales", susceptibles de ser aplicados en su trabajo por los filsofos de la ciencia."

El progreso cientifico a revisin b) Normativismo frente a naturalismo El empirismo lgico es a menudo presentado como un intento de establecer, por medio del anlisis lgico y de la reconstruccin racional, prescripciones generales para la ciencia slida, o bien normas que expresen lo que debera ser la ciencia. As, la filosoffa de la ciencia se convierte en un resumen apriorstico de la racionalidad cientfica. Por otro lado, la tradicin pragmtica -ejemplificada por la "epistemologa natural" de W.v.O. Quine, as como por un enfoque histrico/sociolgico de la filosofa de la ciencia- defiende que la racionalidad cientfica tiene que estar basada en la prctica real de la investigacin cientfica." Siguiendo la lnea que indica Lakatos, con su requerimiento "naturalista" de que la metodologa debera ser contrastada con el registro histrico real de las ciencias, Laudan defendi que la teora metodolgica debera aceptar, como racionales, ciertos casos intuitivos claros de buena ciencia. Ms adelante, el propio Laudan rechazara esta "metametodologa intuicionista"." Ahora bien, a pesar de que Laudan reconociera explcitamente la "patente implausibilidad" de la reivindicacin de que "la mayor parte de lo que ha sucedido en ciencia es racional" ,44 sigue insistiendo en que las teoras sobre el cambio cientfico (Kuhn, Feyerabend, Lakatos, Laudan) deberan ser verificadas por la verdadera historia de la ciencia. La cita siguiente sugiere que, efectivamente, Laudan se muestra dispuesto a incluir todos los casos histricos entre los casos relevantes para la verificacin: En sus formas originales, estos modelos filosficos son a menudo expresados en lenguaje normativo. Siempre que ha sido factible, hemos reformulado como declaraciones, sobre el modo en que la ciencia acta, sus reivindicaciones acerca de cul debera ser el comportamiento de la ciencia. Tenemos una consciencia razonablemente clara sobre dichas traducciones, puesto que todos los autores cuyo trabajo hemos parafraseado estn explcitamente comprometidos con la reivindicacin de que la ciencia, puesto que es racional, se comportar normalmente de formas que dichos autores normativamente suscriben [... ]. Est claro que los filsofos pertenecient~ a la escuela histrica definen la distincin entre interno y externo en trminos que incluyen, dentro del mbito pertinente a sus puntos de vista normativos, virtualmente todos los episodios histricos, extensamente citados y conocidos, de la ciencia fsica posterior al siglo XVI." El programa para "verificar teoras sobre el cambio cientfico" ha producido ya casos de estudio impresionantes y tiles." No obstante, si bien es cierto que lo objetivos y los mtodos cognitivos de los cientficos han ido cambian381

380

/'

Progreso cientfico

El progreso cientfico a revisin

do a lo largo de la historia, como argumenta convincentemente Laudan en Science and values." as como que los cientficos han actuado sobre la base de sus principios metodol6gicos, de ello simplemente no puede extraerse la con. clusin de que "virtualmente todos" los casos puedan exhibir un mismo patrn de reglas metodol6gicas. Por consiguiente, no cabe abrigar esperanza alguna de que alguna teora normativa no trivial sobre el cambio cientfico pudiera superar de manera satisfactoria "tests empricos". Cuando un caso de estudio revela, por ejemplo, que Galileo o Ampere no recurrieron a predicciones novedosas para apoyar sus teoras, "contraindica" tal aspecto el requerimiento de Lakatos, en el sentido de que toda buena teora debera ser capaz de producir nuevas predicciones? En lugar de utilizar el comportamiento de Galileo y de Ampre como "tests" de reglas metodolgicas, tal vez podramos concluir sin ms que estos cientficos no haban ledo los trabajos de WhewelI, de Popper y de Lakatos. En este sentido, ningn debera normativo puede ser derivado de -o refutado por- un es histrico. Aparecen problemas similares cuando se trata de aplicar el programa naturalista, cientficos centemperneos, Ron Giere proporciona, en su excelente obra tituada Exp/aining Science (1988), interesante material con el que demuestra que los fsicos de altas energas actan, al menos en determinadas ocasiones, como "satisfacedores". Asimismo, sugiere que el prolongado debate sobre si "los cientficos, en cuanto a tales, deberan ser procesadores bayesianos de informacin" es ftil:
Es intil proseguir con este debate, puesto que no existe evidencia emprica abrumadora de que ningn modelo bayesiano se adapte a los pensamientos o a las acciones de los verdaderos cientficos. Los filsofos han estado debatiendo, durante demasiado tiempo, sobre cmo deberan los cientficos juzgar las hiptesis, ignorando descaradamente cmo los cientficos juzgan realmente las hiptesis."

versidad, estn dominados por representantes de la escuela "ortodoxa" de Neyman y Pearson. Para evitar esta suerte de circularidad viciosa en el procedimiento de comprobacin, deberamos descubrir alguna tribu extraa de cientficos, que nunca hubiera estado expuesta a la contaminacin de ninguna idea metodolgica o filosfica, En cualquier caso, en la medida en que sugiere que el mejor ejemplo para el comportamiento de la ciencia debe ser extrado de sus practicantes ms ignorantes en metodologa, el naturalismo no es ciertamente plausible.
c) Normas metodolgicas El importante artculo de Larry Laudan, titulado Progress or Rationality? The Prospects for Normative Naturalism," contribuye sobremanera a clarificar el debate acerca del naturalismo. Laudan sugiere que las reglas metodolgicas pueden ser entendidas como normas condicionales para la forma:

(1) Si el principal objetivo es x, hay que hacer

y.

Tales afirmaciones, que expresan conexiones entre fines y medios, son ciertas (o garantizadas) siempre y cuando y promueva realmente el objetivo x, es decir, cuando es cierto que: (2) Hacer y parece ms adecuado que sus alternativas para producir x. Puesto que (2) es una afirmacin emprica contingente, de ello se deduce que el "metametodologista naturalista" se apoyar en datos hist6ricos relacionados con las conexiones entre medios y fines, en lugar de hacerlo en las intuiciones preanalticas o en las elecciones de la elite cientfica. Las aseveraciones bajo la forma (1) reciben de G.H. von Wright la denominacin de normas tcnicas (1963). Con anterioridad he sugerido que las normas tcnicas definen la modalidad tpica de conocimiento buscada en las ciencias aplicadas," La tesis de Laudan puede, por consiguiente, ser expresada diciendo que la metodologa constituye una ciencia aplicada. Si bien estoy de acuerdo con esta tesis, me parece que las normas condicionales del tipo (1) no quedan tpicamente justificadas, de forma inductiva, por los datos histricos, sino ms bien por el estudio de la eficacia de las estrategias cognitivas, en relaci6n con los objetivos epistmicos y las presuposiciones fcticas acerca del mundo." Podemos encontrar ejemplos de ello en disciplinas tales como la matemtica aplicada, la estadstica matemtica, la teora del juego, la teora de decisiones y la investigaci6n sobre operaciones.

Sin embargo, este punto de vista ignora el hecho de que, durante siglos y dentro del campo de la inferencia cientfica, la teora y la prctica han estado en mutua interacci6n. Los cientficos aprenden a hacer ciencia mediante el adoctrinamiento implcito y la instruccin explcita de sus profesores, de sus textos de estudio y de sus colegas. As pues, cuando un caso de estudio revela que un grupo de cientficos reales se inclina por "hiptesis atrevidas" y por "tests rigurosos" podemos inferir que, o ellos mismos o sus maestros, han ledo a Popper. Y si algunos cientficos no actan como optimizadores bayesianos, la razn ser probablemente que el Departamento de Estadstica -as como los cursos introductorios de metodologa- de su correspondiente uni382

-(

383

Progreso cientfico

El progreso cientifico a revisin

(3) Si lo que se desea es garantizar que toda hiptesis errnea sea rechazada con alta probabilidad, se deber realizar un test de parecido." (4) Si el objetivo consiste en la convergencia con el valor verdadero de parmetro p, y el error de medicin est normalmente distribuido por medio de p, se deber tomar como p estimada la media de las mediciones repetidas. (5) Dadas estas creencias y preferencias, si el objetivo consiste en la maximizacin del logro esperado, ste es el acto que habra que elegir. Un factor importante para los resultados condicionalmente normativos de esta ndole, consiste en la posibilidad de proveerlos apriorsticamente por medio de la demostracin matemtica. Al mismo tiempo, su aplicacin a determinada situacin concreta ~s decir, derivar de ellos reglas no condicionales o recomendaciones- requiere un conocimiento garantizado fctico, hipottico o emprico. Algunas reglas metodolgicas que expresan conexiones conceptuales, precisamente entre nociones explicadas, son puramente apriorsticas." Por ejemplo, un realista cientfico podra formular reglas metodol6gicas del tipo (1) por medio de los resultados siguientes (Niiniluoto, 1987), que son analticamente ciertos (dada la medida de Hintikka para la corroboracin, as como la ma de veracidad): (6) Cuando una generalizacin presenta un alto grado de corroboracin, su grado de verosimilitud estimada ser tambin elevado. (7) Cuando una teora es altamente parecida a la verdad, sus consecuencias deductivas sern aproximadamente ciertas. Podramos, pues, concluir que la nocin de metodologa de Laudan como constituida por normas condicionales legitima, adems del papel como evidencia emprica de los datos histricos, la posibilidad de una filosofa forma] de la ciencia, de forma que el planteamiento del empirismo lgico queda parcialmente rehabilitado. d) Reglas constitutivas y axiologa El concepto de metodologa de Laudan queda limitado a las reglas estratgicas que expresan relaciones entre medios y fines. stas corresponden a principios que nos dicen cmo jugar al ajedrez eficazmente: cmo atacar, defender, construir posiciones fuertes y, eventualmente, derrotar al adversario. Sin embargo, toda actividad institucional tiene asimismo reglas constitutivas (en trminos de Searle), que caracterizan sus "movimientos" legtimos. En el caso del ajedrez, estas reglas constitutivas nos indican los movimientos autorizados
384

para cada ficha sobre el tablero. La violacin de dichas reglas no conduce ajugar de forma ineficaz, sino a no jugar en obsluio. Muchos de los debates en filosofa de la ciencia tratan de las reglas constitutivas de sta. En la medida en que definen lo que la ciencia es, dichas reglas tienen -como afirma Popper- un carcter "convencional". No obstante, cualquier demarcacin entre ciencia y no ciencia, o cualquier explicacin del concepto de ciencia, debera asimismo estar "cerca" del uso aceptado de los trminos "ciencia" y "cientfico"." El mtodo de justificacin de reglas constitutivas no puede ser puramente lgico o emprico, sino que debe consistir en un intento por alcanzar un "equilibrio reflexivo" (en trminos de Rawls) entre nuestras exigencias normativas para la ciencia y la prctica rea1'de sta." Laudan rechaza el problema de demarcacin: ms que no ciencia, el creacionismo es para l mala ciencia. Por consiguiente, se puede entender que Laudan no mencione en ningn momento regla constitutiva alguna para la ciencia." Sin embargo, Laudan aporta un aadido importante al afirmar que:sin la axiologa, la metodologa no va a ninguna parte. A diferencia de Giere, cuya versin de naturalismo admite nicamente la racionalidad instrumental," Laudan reconoce la necesidad de suplementar la metodologa con una investigacin acerca de los [mes legtimos o permisibles de la investigacin. Corno sucede con Science and Values, Laudan propone un "modelo reticulado" para demostrar que las cuestiones sobre los valores cientficos pueden ser resueltas recurriendo (temporalmente) a teoras y mtodos compartidos. Cabra objetar al modelo de Laudan que no siempre resulta suficiente: las disputas sobre valores cientficos pueden referirse o recurrir, adems de prcticas especficas, tambin a principios filosficos procedentes de campos tales como la lgica, la epistemologa, la esttica y la tica. 58 Tal objecin no sera, no obstante, justa, puesto que Laudan podra incluir en su modelo, como "teoras", versiones naturalizadas de dichos principios. Pero, aun as, parece problemtico que una red de aseveraciones descriptivas y normas condicionales, pueda nunca llegar a proporcionar una justificacin positiva para la bsqueda en ciencia de determinado valor. El modelo reticulado de Laudan propone un sistema negativo para la eliminacin de objetivos utpicos o irrealizables: la adopcin racional de un objetivo o de un fin requiere la especificacin previa de la base para la creencia de que stos puedan ser posiblemente alcanzados." Sera demasiado fuerte entender esta declaracin como una afirmacin de que ningn objetivo racional puede ser realmente alcanzado. Por ejemplo, los argumentos epistemolgicos en contra de la infalibilidad del conocimiento fctico, han llevado a los filsofos a rechazar la bsqueda tradicional de la certeza absoluta,
385

El progreso cientfico a revisin

como valor generalizado para la ciencia." Sin embargo, estos argumentos logran su apoyo ms fuerte a partir de la observacin de que en muchas (aunque no en todas) situaciones, queda excluido incluso el mero planteamiento a la certeza, puesto que las hiptesis relevantes contienen presuposiciones contrarias a los hechos o idealizantes y, por consiguiente, se sabe que son falsas. As pues, los valores cientficos deberan ser considerados respetables, cuando existan criterios razonables para afmnar que ha habido progreso hacia su realizacin. Por esta razn, el argumento de Laudan en el sentido de que la verdad constituye un objetivo utpico para la ciencia, no me parece concluyente. Incluso en el caso de que no existieran criterios infalibles para reconocer que la verdad haya sido realizada, es probable que tal objetivo se haya logrado en muchos casos particulares. E incluso en aquellos casos en los que la verdad constituya, como mucho, el lmite de la bsqueda, las medidas de verosimilitud nos ayudan a aseverar, con garanta emprica, que nos hemos acercado al objetivo. Por ejemplo, dado el problema descrito antes en (4), es posible demostrar que la secuencia infinita de estimaciones puntuales converge, con probabilidad, hacia el valor verdadero del parmetro desconocido." e e ioJog(a d 1ajedrez es dominada por una nicl regla suprema; 1 objetivo del juego es ganar. Una regla secundaria nos dice que, si se ha perdido la oportunidad de ganar, hay que tratar de lograr tablas. Cuando el ajedrez se convierte en un arte, el estilo de juego se convierte en un objetivo en s mismo: no slo tratamos de ganar, sino que intentamos hacerlo mediante una combinacin de movimientos nueva, breve y elegante. En mi opinin, la axiologa de la ciencia debera estar igualmente regida por una regla primaria: tratar de hallar la respuesta verdadera completa al problema cognitivo, es decir, intentar alcanzar este objetivo, o aproximarse lo ms posible a l. Como reglas secundarias, podramos requerir que nuestra respuesta fuera justificada, simple, consistente, etctera. Ms an, si supiramos de antemano que las respuestas disponibles no incluyen la verdadera, nuestro papel debera consistir en alcanzar la menos errnea de entre ellas."

disponible, aceptados dentro de la comunidad cientfica de la correspondiente poca." Queda ahora claro por qu la proliferacin de teoras metodolgicas resulta favorable para la historiografa de la ciencia. Por ejemplo, la lgica inductiva de Carnap y Hintikka puede ser empleada para evaluar y explicar el comportamiento de los cientficos que acabaron por apoyar el inductivismo. Observaciones semejantes son aplicables a las filosofas de Popper, Feyerabend, Lakatos y Laudan. Por otro lado, el progreso" cognitivo constituye un concepto relacionado con los objetivos, susceptible de ser distinguido de trminos descriptivos neutros tales como "cambio" y "desarrollo", as como de trminos metodolgicos tales como "racionalidad". El progreso cognitivo es un concepto axiolgico: el paso de A a B es progresivo cuando B es una mejora de A, 'es decir, si B es mejor que A en relacin con los fines o los valores de la investigacin cientfica. El progreso, en cuanto a palabra orientada a los resultados o al logro, debera asimismo ser diferenciado de trminos orientados al proceso tales como cualidad o habilidad (es decir, competencia en la realizacin de determinada tarea, lo bien que se hace algo). No es necesaria ninguna conexin entre cualidad y progreso, aun cuando una alta calidad en la investigacin constituya un buen indicador probabilstico de progreso." ! Como afirma Laudan, el progreso en ciencia debera ser evaluado por medio de "nuestras propias luces" o "estndares"." Sin embargo, aqu es donde los filsofos actuales dejan de mostrarse de acuerdo, puesto que defienden diferentes valores para la ciencia y, por ende, diferentes "teoras de progreso cientfico". En secciones anteriores he sealado ya la diferencia fundamental que existe entre los filsofos realistas, cuya axiologa incluye la verdad (o alguna utilidad epistmica "veraz" relacionada," como pueda ser la verosimilitud) y quienes niegan la relevancia de la verdad como valor para la ciencia. b) Poder sistemtico y confirmacin En lugar de repetir mis argumentos a favor del realismo," me concentrar aqu en otra cuestin: Laudan demanda que los objetivos de la ciencia deberan ser detectables o eficazmente reconocibles, en el sentido de que pudieramos saber cundo han sido o no alcanzados." En mi opinin, esta demanda es demasiado exigente. A menos que seamos realistas ingenuos, este requerimiento no excluir tan slo el concepto de verdad, sino tambin a cualquier objetivo que dependa de la verdad. En trminos de decisin terica, tal cosa significara que nuestra definicin de progreso no debera implicar ninguna utilidad que dependiera del estado desconocido de la naturaleza. 387

Aprender acerca del progreso

a) Racionalidad, cualidad y progreso Sirvindonos de los conceptos presentados en la seccin anterior, cabra afirmar que la racionalidad es un concepto metodolgico y, por consiguiente, tambin histricamente relativo: al tratar de la racionalidad de las opciones tomadas en el pasado por los cientficos, estamos obligados a estudiar los o~jetivos, los estndares, los mtodos, las teoras alternativas y la evidencra

386

El progreso cientfico a revisin

En su Progress and lIS Problems, Laudan argumenta que la ciencia constituye un proceso de resolucin de problemas, ms que de bsqueda de la verdad y propone que la capacidad de cualquier teora para la resolucin de problemas, mensurada por medio del nmero de problemas empricos que soluciona, menos el nmero de anomalas y de problemas conceptuales que genera, debera definir este objetivo efectivamente reconocible de la ciencia. En este caso, la capacidad emprica para la resolucin de problemas viene definida en relacin con el estado de cosas ya observado que la teora comporta." Este concepto sinttico es -a condicin de ignorar la insistencia de Laudan sobre la "importancia" de los problemas- esencialmente equivalente al concepto de Hempel de poder sistemtico, formulado en el artculo, ya clsico, de Hempel y Oppenheim titulado Studies in the Logic of Explanation de 1948. Cabra argumentar que el poder sistemtico de una teora T, en relacin con la evidencia E, co-vara con el grado de apoyo por medio de la evidencia procedente de E a favor de la teora T," El poder sistemtico de una teora relacionada con hechos observados parece, pues, ser un indicador falible de su grado de verdad. Es ms, como demuestra Juhani Pietarinen, la maximizacin del poder sistemtico como utilidad dependiente de la verdad, equivale a la aceptacin de una teora, ms confirmada que sus rivales por la evidencia fruto de la observacin. Una vez ms, se establece un vnculo directo entre los conceptos propios de la capacidad de resolucin de problemas y la confirmacin. Incluso un sencillo argumento puede demos.trar que una teora T, que deductivamente comporta la afirmacin E, es asimismo confirmada por E, es decir, que la probabilidad P(TIE) de T dada E, deber ser mayor que la probabilidad anterior P(T) de T. El nico modo de negar el poder de confirmacin de E consistira en asumir de antemano que la teora T es errnea, de modo que su probabilidad P(T/B) en relacin con el conocimiento de fondo B es cero, con 10 que P(TIE&B) - P(TIB) = O. Este argumento sugiere que, el filsofo que piense que las teoras tienen un valor de verdad, pero que la evidencia emprica no es competente para aportar indicacin alguna sobre dicho valor, deber asumir de antemano que todas las teoras son errneas. Por consiguiente, la clase de antirrealismo metodolgico que apoya Laudan parece hundirse en el escepticismo acerca de las teoras.
1 '

problema cognitivo, donde C", .. , C, son mutuamente excluyentes y conjuntamente exhaustivas. Una y slo una de ellas, que desconocemos pero denominaremos C. , es verdadera. He demostrado en detalle, en diversas ocasiones, cmo definir la "proximidad" M(T, C,) de una teora T a partir de una respuesta completa dada Cli = 1, ... , k), cuando se trata de dar en la diana de C" as como de excluir tantas alternativas alejadas como sea posible. As pues, el grado de verosimilitud Tr(T, CJ de la teora T equivale a su M-distancia de la respuesta verdadera C. Pero, puesto que este valor es desconocido, la mejor eleccin de T ser aquella que maximice la verosimilitud esperada, definida por (8) ver(T/e)

= L P(C/e)M(T,
j;1

C),

donde P(C/e) es la probabilidad epistmica de que C, sea cierta dada la evidencia e, y M(T, C) es el incremento debido a T, en caso de que C, fuera la alternativa verdadera." La distincin entre la verosimilitud desconocidaTr(T, C.) y la verosirnilitud estimada ver(T/e) nos permite definir conceptos absolutos y relacionados con la evidencia de progreso: (9) El paso de T a T' es (absolutamente) progresivo cuando Ti(T, C.) < Tr(T', CJ. (lO) El paso de T a T' parece progresivo a partir de la evidencia e, cuando ver(T/e) < (ver(T'/e). En este caso, (lO) es un concepto decidible, aplicable en retrospectiva a casos histricos tomando a e como evidencia pasada de nuestra teora presente." La funcin ver sugiere, asimismo, la existencia de un "camino hacia arriba" falible, desde el xito emprico hasta la elevada verosimilitud." Se dan casos en los que ver(T/e) es elevada, o se aproxima a su valor mximo, cuando e es la evidencia presente aceptada. Si la evidencia es considerada como fiable, y si la medida de probabilidad P en (8) es racional, ser racional afirmar (falibilidad) que T est, en efecto, ms cerca de la verdad (o ms cerca de ella que sus teoras rivales)." La funcin M nos permite demostrar que las consecuencias deductivas de una teora altamente verosmil deben ser aproximadamente ciertas [comparese con (7)]. As pues, resulta de ayuda expresar con precisin, en qu sentido la presuposicin de verosimilitud sirve como razn abductiva para creer que las teoras cientficas exitosas sean verosmiles en aspectos relevantes, as como que puedan proporcionar una base desde la que defender el realismo cientfico crtico. ri
389

c) Progreso a travs de verosimilitud Mi propuesta para definir y estimar la verosimilitud constituye una generalizacin directa del planteamiento bayesiano a la inferencia cientfica. Supongamos que C", .. , C, sean las respuestas potenciales ms fuertes a nuestro

388

El progreso cientfico a revisin

Por consiguiente, el realismo, en cuanto a intento de "estimar el carcter de la realidad", no constituye tan slo un "realismo de intencin", sino tambin de "realizacin"." La ciencia no es meramente una actividad de bsqueda de la verdad, sino que ha descubierto tambin mtodos para progresar en el descubrimiento de sta.

d) lnconmensurabilidad
Al proporcionar un instrumento que convierte en precisos y respetables a los . conceptos ms notorios del realismo crtico, la teora de verosimilitud demuestra que los das del realismo metafrico han terminado." Sin embargo, no pretendo que la doctrina de verosimilitud pueda resolver todos los problemas del progreso cientfico. Sigue necesitando ser desarrollada en mltiples direcciones, y debera ser aplicada a casos de estudio de la vida real de la ciencia. Un problema, en particular, merece que le prestemos aqu nuestra atencin. Se trata de la tesis de inconmensurabilidad de Kuhn y Feyerabend. En su variante ms extrema, esta tesis no resulta demasiado interesante, puesto que convertira a cada teora en una unidad aislada, que no podra competir con ninguna otra teora rival. Puesto que no podran existir razones para rechazar las teoras, la inconmensurabilidad fuerte convertira a la ciencia en acumulativa en' un sentido extremo." Sin embargo, una modalidad ms suave de inconmensurabilidad -en el sentido de variacin- sigue siendo un problema significativo para todos los programas importantes de la filosofa de la ciencia. Los intentos realizados para librarse de este problema no se han visto coronados por el xito." Para poder hablar de teoras competidoras, de tradiciones de investigacin rivales y de progreso cientfico, en casos en que los marcos conceptuales relevantes son en cierta medida distintos, necesitaremos de mtodos para descubrir vnculos entre ellas o entre sus declaraciones, sus aplicaciones, sus problemas, etctera. En el caso de la verosimilitud, ello significa que para comparar significativamente dos teoras debemos poderlas contemplar como respuestas rivales para un mismo problema cognitivo. Esto, a su vez, puede ser conseguido traduciendo una teora a la otra, o ambas a un tercer lenguaje ms rico." Afortunadamente, tambin se est progresando en el trabajo sobre estos importantes problemas de traduccin y reduccin Y

cientfico." El autor reconoce que el concepto de verosimilitud puede ser aplicado a la comparacin entre teoras rivales desarrolladas dentro de una misma cultura, como en el caso de la ciencia occidental. Sin embargo, -declara- la relacin de inconmensurabilidad prevalece entre teoras procedentes de culturas distintas, como por ejemplo, las ciencias china y occidental. Una tesis de esta ndole podra estar basada en la presuposicin de que los vocabularios de los lenguajes orientales y occidentales son radicalmente diferentes y, por consiguiente, no traducibles entre s. No obstante, tal vez pudiera argumentarse, de forma ms plausible, a favor de la afirmacin de que las axiologas de las actividades denominadas "ciencia" en Oriente y en Occidente, son fundamentalmente distintas. En particular, existe una notable diferencia en los vnculos entre valores cientficos y progreso social: la ciencia ha constituido un elemento indispensable en la promocin del proyecto occidental de modernidad. La bsqueda de la verdad y la resolucin de problemas como indicadores de progreso cientfico, constituyen expresiones distintas de este legado occidental. Mediante su relacin con el tema principal de la presente obra, los debates acerca del concepto de progreso cientfico, mantenidos en el seno de la filosofa analtica moderna, pueden aportar una contribucin al estudio comparativo de las modalidades de pensamiento de Oriente y de Occidente. :

Observacin final.

Un artculo reciente de Wang Shun Vi, publicado en el Journal of Dialectics of Nature de Beijing, analiza mi debate con Larry Laudan sobre el progreso
391

390