/ .

../
j)es\-"'5ch I E\\ct-lf.d-J 0..DlhmA .'t MO~IJ ad;
~.~\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, alos ojos tanto del
observador casual como del partcipe activo, una mezcolanza heterognea,
una jungla' salvaje con plantas diversas brotando por doquier sin patrn de or-
den 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;laciencia
constituye un terreno en rpido avance, que est progresando al mismo tiem-
po 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 di-
chos 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 in-
tegrante 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 de-
sarrollado 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 ajustificacin probabilista oinductiva 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 laverdad (Tarski), laconfirmacin (Carnap), el poder sis-
temtico (Hempel) y'la simplicidad (Goodman).'
373
Progreso cientfico
El "racionalismo crtico" de Karl Popper puso el acento sobre lafalsificacin
en lugar de lajustificacin, as como sobre la audacia y el contenido de infor-
macin 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 Refu-
tations (1963)-- una buena razn para apoyar una interpretacin realista de las
aseveraciones cientficas tericas: las teoras cientficas no son tan slo herra-
mientas 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, J ack Smart, Mario
Bunge y Hilary Putnam, otras variantes de realismo cientfico.
Alrededor de 1960, el cambio cientfico y el desarrollo del conocimiento co-
braron actualidad gracias a los trabajos de N.R. Hanson en el campo del descu-
brimiento cientfico; de Thomas Kuhn en los de laciencia normal y de las revo-
luciones cientficas, de Karl Popper y Paul Feyerabend en el de las revoluciones
permanentes, de Kuhn y Feyerabend en el de lainconmensurabilidad 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 de-
sarrollo cientfico. La controversia Popper-Kuhn culminara en el Coloquio de
Londres de 1965, que dara como fruto laobra 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 conoci-
miento recurriendo asus conceptos de verosimilitud y veracidad, Kuhn propona
en su The Structure o/ Scientific Revolutions (1962) que el trmino "verdad" de-
bera ser excluido del anlisis del progreso cientfico. Para Kuhn (as como para
realistas crticos tales como Popper), el progreso nopuede consistir en laacumu-
lacin 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 opuzzles que definen sus
paradigmas debe inevitablemente ser progreso.' La resolucin de problemas
constituye, asimismo, la clave del progreso atravs 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 cnteno
S
374
El progreso cientfico a revisin
compartida para laevaluacin deteoras rivales, asaber: exactitud, consistencia,
alcance, simplicidad y produccin.
9
Aun as, la controversia entre Kuhn y el realismo cientfico gener un pro-
blema-situacin altamente estimulante para los filsofos. Su trabajo ejerci asi-
mismo una gran influencia en otro sentido: muchos filsofos de laciencia aban-
donaron los resmenes formales y prescriptivos de la ciencia formulados desde
la lgica emprica, para dirigir su atencin -enntima colaboracin con histo-
riadores y socilogos de laciencia- hacia estudios descriptivos acerca de lapro-
duccin 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 mo-
nogrfico dedicado a las Teoras sobre el progreso cientfico. No me caba
entonces duda de que la clarificacin del concepto de progreso iba a conver-
tirse 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 enton-
ces 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
amediados de los aos setenta y, ms concretamente, en el lapso comprendido
entre los aos 1973Y 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 re-
alismo 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 se-
guros de haber alcanzado la verdad pero que, a pesar de ello, la verdad acerca
de larealidad es el lmite ltimo hacia el que laopinin de lacomunidad cien-
tfica 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,
375
Progreso cientfico
David Miller y Pavel Tichy demostraban que la definicin popperiana de ve-
rosimilitud 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." J ohn Watkins, por ejem-
plo, 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 progra-
ma para definir la verosimilitud por medio de la aportacin del concepto de "si-
militud" o"parecido", del que carece el modelo popperiano, fue iniciado en 1974
por Pavel Tichy y Risto Hilpinen, aquienes bien pronto seguiran llkka Niiniluo-
toy Graham Oddie. Los resultados de laactiva bsqueda en ladcada 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 ami medicin del "grado de parecido ala 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 reali-
dad. Asimismo, argumento que es posible formular afirmaciones oestimaciones
racionales de progreso cognitivo, cuando (pace Popper) cabe la utilizacin de
probabilidades inductivas oepistrnicas. Es ms, la mejor explicacin del xito
prctico de laciencia consiste en el reconocimiento de que las teoras cientficas
son, de hecho, suficientemente parecidas ala realidad.
En el Congreso de Salzburg de 1983argument que el concepto de veraci-
dad es asimismo aplicable alas teoras idealizacionales." A partir de ah, el pro-
grama de verosimilitud fue desarrollado en conjunto con la Escuela Poznan,
que ha analizado la "concretizacin" de las leyes idealizacionales en el espri-
tu del realismo crtico. 19
La importancia de las idealizaciones, particularmente en el caso de teoras abs-
tractas de fsica matemtica, constituy la motivacin primaria para el instrumen
talismo clsico, tal como lodesarrollaran Pierre Duhem y Henri Poicar en lapri-
mera dcada del siglo XX afirmando que, adiferencia de las afirmaciones fruto de
la observacin, ninguna afirmacin terica de la ciencia puede tener un valor de
verdad. A lolargo de los aos ochenta, este problema estimul una posicin "me-
diorealista", que acepta laexistencia deentidades 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 repre-
sentantes de este realismo de entidad cabe mencionar aCartwright, 20 aHackingl
1
Y
aGiere." Sin embargo, hasta el momento presente, este programa no haconsegui-
doan desarrollar un concepto claro de progreso cientfico.
376
El progreso cientfico a revision
o
vcrdaden cuanto ~
acorrespoodcncia
noverdad
teoras noexpresables
por mediodel lenguaje sucedneos
lasteorastieueV \:---- insttumentalismo
unvalor deverdad \ STEGMOU.ER
realismo acepta/.~
deentidad ~lidad. creeoaa
CARlWRIGJ IT ideal xito
HACKING /.J prctico
HARR
GIERE realismo pragma- relativismo
interno tismo
PUTNAM RESCHER
TIJ OMELA
anarquismo
FEYERABEND
verdad
relevante
BLOOR
I.ATOUR
antir:ealismo
metodoIgico
I.AUDAN
VAN FRAASSEN
/.~
real ismo realismo escepticismo
,ingenuo crtico
POPPER
BUNGE
BOYD
NOWAK
NlINILUOTO
Figura 1. En un importante ensayo, datado en 1973, Larry Laudan demostraba queel realismo
crtico tiene una interesante prehistoria que parte del siglo XVII, pero acusaba aPeirce de "tri-
vializar latesis auto-correctiva". Enel mismo ao, David Miller yPavel Tichy demostraban que
ladefinicin popperiana deverosimilitud noes aplicable alacomparacin entre teoras errne-
as. Algunos seguidores de Popper consideraron esta devastadora conclusin como razn sufi-
cientepara abandonar el concepto deveracidad. J ohn Watkins. por ejemplo, tratadeanalizar en
Science and Skepticism (1984) el cambio cientfico entrminos de"verdad posible" yde"con-
tenido deinformacin".
377
Progreso cientfico
En suforma moderna, el instrumentalismo estrepresentado por el plante-
amiento "estructuralista", expuesto por Wolfgang Stegmller ensuThe Struc-
ture and Dynamics of Theories," as como por Wolfgang Balzer, Carlos-Uli-
ses Moulines yJ oseph Sneed ensuAn Achitectonic for Science? Inspirado (y
explcitamente estimulado) por Kuhn, Stegmller trata la teora cientfica
como unaconstruccin conjunto-terica que, si bien adolece defaltadevalor
deverdad, es susceptible deser utilizada para formular "reivindicaciones em-
pricas". Estemarco dejaespacio parafactores pragmticos, al mismotiempo
que posibilita una descripcin semifonnal y diacrnica dela"evolucin dela
teora". Puesto que las teoras nosonconjuntos deaseveraciones, StegmIler
declara que los problemas de inconmensurabilidad pueden ser evitados. El
progreso puede ser definido, en ausencia del concepto deverdad, entrminos
de"reduccin deteora" al nivel delos modelos delas teoras rivales."
Inspirado parcialmente por Kuhn y Lakatos, en su Progress and lts Pro-
blems;" Larry Laudan tratael cambiocientfico entrminos de"tradiciones de
investigacin", queapuntan ala"resolucin deproblemas" ms queala"bs-
queda de la verdad". El progreso viene aqu definido como el incremento de
las teoras en su"efectividad en laresolucin deproblemas". El planteamien-
todeLaudan hainspirado, asu vez, estudios sobrecasos histricos, existien-
doen laactualidad base suficiente para confiar enquelasresbaladizas nocio-
nes de"problema" yde"respuesta" puedan ser precisadas, dentro del modelo
deinvestigacin cuestin-teortico o"interrogativo" deJ aako Hintikka."
Laudan noesuninstrumentalista, puestoqueadmitequelasteorastienenun
valor deverdad. Sinembargo, selepuedeconsiderar representativodel antirre-
alismo metodolgico puesto que, para l, la verdad (deuna teora) constituye
paralacienciaunobjetivoutpicoeilegtimo. DadoqueLaudanrequierequela
teora"resuelva problemas" por mediodeladerivacin deaseveraciones emp-
ricas antes observadas: odepredicciones correctas, suconceptodeaptitudpara
laresolucin de problemas parece esencialmente equivalente al requerimiento
deBas van Fraassen de"adecuacin emprica". Utilizando(desde 1977) el tra-
dicional eslogan instrumentalista de"guardar lasapariencias", VanFraassende-
mandaque: todoloquelateoradigaacercadeloobservabletienequesercier-
to. Puesto que Van Fraassen considera irrelevante el valor de verdad de las
afirmaciones tericas," su"empiricisrnoconstructivo" puedesertambinconsi-
deradocomounavariantedel antirrealismo metodolgico."
Todos losprogramas mencionados retienen sucorrespondiente teoradela
verdad, que pueden considerar adecuada (con enmiendas tales como "verdad
aproximada" o"verosimilitud"), inaplicable, oirrelevante parael anlisis del
progreso cientfico. Otro tipodereaccin ante el problema del realismo con-
siste en reemplazar el concepto semntico de verdad por algn sucedneo
378
El progreso cientfico a revision
metodolgico, comopuedan serprobado, verificado, garantizadamente aseve-
rable, oprcticamente til. stahasidolaestrategia del intuicionismo mate-
mtico(Michael Dummett), del verificacionismo y del pragmatismo.
En una serie de trabajos que comienza con Methodological Pragmatism
(1977) yScientific Progress." Nicholas Rescher haanalizadolacienciaentr-
minos de la nocin metodolgica de "presumiblemente ms cierto". Segn
Rescher, el progreso enel cambiodelateoradebera ser definidoenel "nivel
pragmtico" como: el xito creciente de la aplicacin a la resolucin y el
control deproblemas."
LateoradeKuhn, queconsisteenquelasobservaciones y lossignificados,
inclusosiendouniversales yciertos, son"condicionados por lateora" orelati-
vos a"paradigmas" o"visiones del mundo", haactuadocomoinspiracin para
un relativismo en marcha en relacin con las pretensiones cognitivas (verdad,
racionalidad) delaciencia. Ensu"programa fuerte" de"sociologa del conoci-
miento", laEscuela deEdimburgo (Barry Bames, David Bloor) vieneprocla-
mando, desde 1974,queel estudiocientficodelacienciadeberadescribiryex-
plicar causalmente las creencias de los cientficos, con independencia de que
talescreenciasfuesenciertas ofrutodeinferencias deloracional." Comoel an-
troplogoen suestudio detribus exticas, el socilogodebera investigar, por
mediodelaobservacinparticipativa, lasactividades propias delastribus cien-
tficas. Esteplanteamiento hasidoelaboradopor BrunoLatour y S~ven Woo-
garensuLaboratory Life;" dondedefiendenquelosdatoscientficosson"cons-
trucciones sociales" artificiales, nacidasenlaboratorios comoconsecuenciadel
proceso desolucindecontroversias."
Finalmente, el realismo interno dePutnam constituye un intento decom-
binar el kantismo con el pragmatismo, obviando el relativismo. Rechazando
espectacularmente suanterior "realismo metafsico" de 1977, Putnam declara
ahoraquelaverdad constituye unconcepto"epistmico", quedebeserdefini-
docomo"aceptabilidad ideal"." El realismo interno rechaza todaversin on-
tolgica, epistemolgica y lingstica del "mito delodado": noexisteningn
mundopredeterminado ni ningn lenguaje privilegiado." Es ms, esteplante-
amientoevitael relativismo por mediodelaidentificacin delaverdad conel
contenido del ideal epistmico de"~iencialmitepierciana".
Aprender del progreso
Evaluar aqu endetalle losprogramas reflejados enlafigura 1quedafuera
del alcancedel presente ensayo." Enlugar deello, enestapartetratardeana-
lizar algunas de las consecuencias que hemos idoaprendiendo del progreso.
379
progresO cientfico
En otras palabras, los debates sobre el cambio cientfico nos han enseado al-
gunas 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 lafilosofa de laciencia debera seguir un mto-
do descriptivo histrico, abandonando labsqueda camapiana en pos de una ex-
plicacin lgica y cuantitativa de los conceptos. Si bien podramos estar deacuer-
do con Lakatos en que una filosofa de laciencia sin una filosofa de lahistoria
est vaca, mientras que una filosofa de lahistoria sin una filosofa de laciencia
est ciega," un contraste agudo entre los mtodos formales e histricos en los
estudios sobre laciencia, 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 median-
te mtodos cuantitativos. Los indicadores cientficos, estudiados ahora por la
"ciencimetra" y ampliamente utilizados como instrumento de poltica cient-
fica," no constituyen por s mismos medidas del crecimiento del conocimien-
to, puesto que se limitan aenumerar 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, pue-
den 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 pre-
cisar conceptos peirceanos de epistemologa dinmica, tales como "plantea-
miento" o "convergencia hacia la verdad".
En la misma lnea, los defensores de la "cinemtica de probabilidad" ba-
yesiana (Richard J effrey, 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 eviden-
cia) para el estudio del cambio de creencias. Es ms, est actualmente bien re-
conocido 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", sus-
ceptibles de ser aplicados en su trabajo por los filsofos de la ciencia."
380
El progreso cientifico a revisin
b) Normativismo frente a naturalismo
El empirismo lgico es a menudo presentado como un intento de estable-
cer, por medio del anlisis lgico y de la reconstruccin racional, prescripcio-
nes generales para la ciencia slida, o bien normas que expresen lo que debe-
ra ser la ciencia. As, la filosoffa de la ciencia se convierte en un resumen
apriorstico de la racionalidad cientfica. Por otro lado, la tradicin pragmti-
ca -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 laracionalidad cientfica tiene que estar basada en laprctica real de la in-
vestigacin 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 adelan-
te, el propio Laudan rechazara esta "metametodologa intuicionista"." Ahora
bien, a pesar de que Laudan reconociera explcitamente la "patente implausi-
bilidad" de la reivindicacin de que "la mayor parte de lo que ha sucedido en
ciencia es racional" ,44sigue insistiendo en que las teoras sobre el cambio cien-
tfico (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 ca-
sos relevantes para la verificacin:
En susformas originales, estos modelos filosficos sonamenudo expresa-
dos en lenguaje normativo. Siempre que ha sidofactible, hemos reformulado
comodeclaraciones, sobre el modo en que laciencia acta, sus reivindicacio-
nes acerca de cul debera ser el comportamiento de laciencia. Tenemos una
consciencia razonablemente clara sobre dichas traducciones, puesto quetodos
los autores cuyo trabajo hemos parafraseado estn explcitamente comprome-
tidos con lareivindicacin deque la ciencia, puesto que es racional, se com-
portar normalmente deformas que dichos autores normativamente suscriben
[... ]. Est claro que los filsofos pertenecient~ alaescuela histrica definen
ladistincin entre interno y externo en trminos que incluyen, dentro del m-
bitopertinente asus puntos devista normativos, virtualmente todos los episo-
dioshistricos, extensamente citados yconocidos, delaciencia fsicaposterior
al sigloXVI."
El programa para "verificar teoras sobre el cambio cientfico" ha produci-
do 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 cambian-
381
/' Progreso cientfico
do a lo largo de la historia, como argumenta convincentemente Laudan en
Science and values." as comoqueloscientficos hanactuadosobrelabasede
sus principios metodol6gicos, deellosimplemente nopuedeextraerse lacon-
.clusin deque"virtualmente todos" loscasospuedan exhibir unmismopatrn
de reglas metodol6gicas. Por consiguiente, nocabe abrigar esperanza alguna
de que alguna teora normativa notrivial sobre el cambio cientfico pudiera
superar demanera satisfactoria "tests empricos".
Cuando un caso deestudio revela, por ejemplo, que Galileo oAmpere no
recurrieron apredicciones novedosas paraapoyar susteoras, "contraindica"
tal aspecto el requerimiento deLakatos, enel sentidodequetodabuenateora
debera ser capaz deproducir nuevas predicciones? Enlugar deutilizar el com-
portamiento deGalileo y deAmpre como"tests" dereglas metodolgicas, tal
vez podramos concluir sinms queestos cientficos nohaban ledolos traba-
jos deWhewelI, dePopper y deLakatos. Eneste sentido, ningn debera nor-
mativopuede ser derivado de-o refutadopor- unes histrico.
Aparecen problemas similares cuando setratadeaplicar el programa natu-
ralista, cientficos centemperneos, Ron Giere proporciona, en suexcelente
obra tituada Exp/aining Science (1988), interesante material con el que de-
muestra que los fsicos de altas energas actan, al menos en determinadas
ocasiones, como "satisfacedores". Asimismo, sugierequeel prolongado deba-
tesobre si "los cientficos, en cuanto atales, deberan ser procesadores baye-
sianos deinformacin" es ftil:
Es intil proseguir con este debate, puesto que noexiste evidencia empri-
ca abrumadora deque ningn modelo bayesiano seadapte alos pensamientos
o a las acciones de los verdaderos cientficos. Los filsofos han estado deba-
tiendo, durante demasiado tiempo, sobre cmo deberan los cientficos juzgar
las hiptesis, ignorando descaradamente cmo los cientficos juzgan realmen-
telas hiptesis."
Sin embargo, este punto de vista ignora el hecho deque, durante siglos y
dentro del campo delainferencia cientfica, lateora y laprctica han estado
en mutua interacci6n. Los cientficos aprenden a hacer ciencia mediante el
adoctrinamiento implcito y la instruccin explcita de sus profesores, desus
textos deestudio ydesus colegas. As pues, cuando uncasodeestudio revela
que un grupo de cientficos reales se inclina por "hiptesis atrevidas" y por
"tests rigurosos" podemos inferir que, oellos mismos osusmaestros, hanle-
doaPopper. Y si algunos cientficos noactan como optimizadores bayesia-
nos, la razn ser probablemente que el Departamento de Estadstica -as
como los cursos introductorios de metodologa- de su correspondiente uni-
382
El progreso cientfico a revisin
versidad, estn dominados por representantes de la escuela "ortodoxa" de
Neyman yPearson.
Paraevitar estasuertedecircularidad viciosa enel procedimiento decom-
probacin, deberamos descubrir alguna tribu extraa decientficos, quenun-
cahubiera estadoexpuesta alacontaminacin deninguna ideametodolgica
ofilosfica, Encualquier caso, enlamedidaenquesugierequeel mejor ejem-
ploparael comportamiento delaciencia debe serextrado desuspracticantes
ms ignorantes en metodologa, el naturalismo noes ciertamente plausible.
c) Normas metodolgicas
El importante artculodeLarry Laudan, titulado Progress or Rationality?
TheProspects for Normative Naturalism," contribuye sobremanera aclarifi-
car el debateacercadel naturalismo. Laudan sugiere quelasreglas metodol-
gicas pueden ser entendidas comonormas condicionales paralaforma:
(1) Si el principal objetivoesx, hay quehacer y.
Tales afirmaciones, que expresan conexiones entre fines y medios, son
ciertas (ogarantizadas) siempre ycuandoy promueva realmente el objetivox,
es decir, cuandoes ciertoque:
(2) Hacer y parece ms adecuado quesus alternativas paraproducir x.
Puesto que (2) es una afirmacin emprica contingente, deello sededuce
queel "metametodologista naturalista" seapoyar endatos hist6ricos relacio-
nados con las conexiones entre medios y fines, en lugar dehacerlo en las in-
tuiciones preanalticas oen laselecciones delaelitecientfica.
Las aseveraciones bajo laforma (1) reciben deG.H. von Wright ladeno-
minacin de normas tcnicas (1963). Con anterioridad he sugerido que las
normas tcnicas definen lamodalidad tpica deconocimiento buscada en las
ciencias aplicadas," Latesis deLaudan puede, por consiguiente, ser expresa-
dadiciendoquelametodologa constituye una ciencia aplicada.
Si bien estoy deacuerdo con esta tesis, me parece que las normas condi-
cionales del tipo (1) noquedan tpicamente justificadas, de forma inductiva,
por los datos histricos, sinoms bien por el estudio delaeficacia delas es-
trategias cognitivas, enrelaci6n conlos objetivos epistmicos ylaspresuposi-
ciones fcticas acerca del mundo." Podemos encontrar ejemplos de ello en
disciplinas tales comolamatemtica aplicada, laestadstica matemtica, late-
oradel juego, lateoradedecisiones y lainvestigaci6n sobreoperaciones.
-( 383
Progreso cientfico
(3) Si loque sedesea es garantizar quetoda hiptesis errnea searechaza-
dacon altaprobabilidad, sedeber realizar untest deparecido."
(4) Si el objetivo consiste enlaconvergencia conel valor verdadero depa-
rmetrop, yel error demedicin est normalmente distribuido por me-
dio dep, sedeber tomar comop estimada lamedia delas mediciones
repetidas.
(5) Dadas estas creencias y preferencias, si el objetivo consiste enlamaxi-
mizacin del logroesperado, ste es el actoquehabra queelegir.
Un factor importante para los resultados condicionalmente normativos de
esta ndole, consiste en laposibilidad deproveerlos apriorsticamente por me-
diodelademostracin matemtica. Al mismotiempo, suaplicacin adetermi-
nadasituacin concreta~s decir, derivar deellos reglas nocondicionales ore-
comendaciones- requiere un conocimiento garantizado fctico, hipottico o
emprico.
Algunas reglas metodolgicas queexpresan conexiones conceptuales, pre-
cisamente entre nociones explicadas, sonpuramente apriorsticas." Por ejem-
plo, un realista cientfico podra formular reglas metodol6gicas del tipo (1)
por medio de los resultados siguientes (Niiniluoto, 1987), que son analtica-
mente ciertos (dada lamedida deHintikka para lacorroboracin, as comola
madeveracidad):
(6) Cuando unageneralizacin presenta unaltogradodecorroboracin, su
grado deverosimilitud estimada ser tambin elevado.
(7) Cuando unateora es altamente parecida alaverdad, 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 delos datos histricos, laposibilidad deuna
filosofa forma] delaciencia, deforma que el planteamiento del empi-
rismo lgicoqueda parcialmente rehabilitado.
d) Reglas constitutivas y axiologa
El concepto demetodologa deLaudan queda limitado alasreglas estrat-
gicas queexpresan relaciones entremedios yfines. stas corresponden aprin-
cipios que nos dicen cmojugar al ajedrez eficazmente: cmo atacar, defen-
der, construir posiciones fuertes y, eventualmente, derrotar al adversario. Sin
embargo, toda actividad institucional tiene asimismo reglas constitutivas (en
trminos deSearle), quecaracterizan sus"movimientos" legtimos. Enel caso
del ajedrez, estas reglas constitutivas nosindican losmovimientos autorizados
384
El progreso cientifico a revisin
paracadafichasobreel tablero. Laviolacin dedichas reglas noconduceaju-
gar deforma ineficaz, sinoanojugar en obsluio.
Muchos delos debates enfilosofa delaciencia tratan delasreglas consti-
tutivas desta. En lamedidaenquedefinen loquelacienciaes, dichas reglas
tienen -como afirma Popper- un carcter "convencional". Noobstante, cual-
quier demarcacin entreciencia y nociencia, ocualquier explicacin del con-
ceptodeciencia, deberaasimismoestar "cerca" del usoaceptadodelostrmi-
nos"ciencia" y"cientfico"." El mtododejustificacin dereglasconstitutivas
nopuedeserpuramente lgicooemprico, sinoquedebeconsistir enuninten-
topor alcanzar un"equilibrio reflexivo" (entrminos deRawls) entrenuestras
exigencias normativas paralaciencia ylaprctica rea1'de sta."
Laudan rechaza el problema dedemarcacin: ms que no ciencia, el crea-
cionismo es para l mala ciencia. Por consiguiente, se puede entender que
Laudan no mencione en ningn momento regla constitutiva alguna para la
ciencia."
Sinembargo, Laudan aporta un aadido importante al afirmar que:sin la
axiologa, lametodologa novaaninguna parte. A diferenciadeGiere, cuya
versin denaturalismoadmitenicamente laracionalidad instrumental," Lau-
danreconoce lanecesidad desuplementar lametodologa conunainvestiga-
cinacercadelos[mes legtimos opermisibles delainvestigacin. Cornosu-
cede con Science and Values, Laudan propone un "modelo reticulado" para
demostrar quelas cuestiones sobrelos valores cientficos pueden ser resueltas
recurriendo(temporalmente) ateoras ymtodos compartidos.
Cabra objetar al modelo deLaudan quenosiempre resulta suficiente: las
disputas sobrevalores cientficos pueden referirse orecurrir, adems deprc-
ticas especficas, tambin aprincipios filosficos procedentes decampos tales
comolalgica, laepistemologa, laesttica y latica.58 Tal objecin nosera,
noobstante, justa, puesto queLaudan podra incluir en sumodelo, como"te-
oras", versiones naturalizadas dedichos principios. Pero, aunas, parecepro-
blemtico queunared deaseveraciones descriptivas y normas condicionales,
puedanuncallegar aproporcionar unajustificacin positiva paralabsqueda
enciencia dedeterminado valor.
El modelo reticulado deLaudan propone un sistema negativo para laeli-
minacin de objetivos utpicos o irrealizables: la adopcin racional de un
objetivoodeunfin requiere laespecificacin previa delabaseparalacreen-
ciadequestospuedan serposiblemente alcanzados." Serademasiado fuer-
teentender estadeclaracin comouna afirmacin dequeningn objetivo ra-
cional puede ser realmente alcanzado. Por ejemplo, los argumentos
epistemolgicos encontradelainfalibilidad del conocimiento fctico, hanlle-
vadoalos filsofos arechazar labsqueda tradicional delacerteza absoluta,
385
como valor generalizado para la ciencia." Sin embargo, estos argumentos lo-
gran su apoyo ms fuerte apartir 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 contra-
rias 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 conclu-
yente. Incluso en el caso de que no existieran criterios infalibles para recono-
cer que la verdad haya sido realizada, es probable que tal objetivo se haya lo-
grado 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 ve-
rosimilitud nos ayudan aaseverar, con garanta emprica, que nos hemos acer-
cado al objetivo. Por ejemplo, dado el problema descrito antes en (4), es posi-
ble demostrar que la secuencia infinita de estimaciones puntuales converge,
con probabilidad, hacia el valor verdadero del parmetro desconocido."
e e ioJ og(a d 1ajedrez es dominada por una nicl regla suprema; 1ob-
jetivo 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 mis-
mo: 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 pro-
blema 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 supira-
mos de antemano que las respuestas disponibles no incluyen la verdadera,
nuestro papel debera consistir en alcanzar la menos errnea de entre ellas."
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 aestudiar los o~-
jetivos, los estndares, los mtodos, las teoras alternativas y la evidencra
386
El progreso cientfico a revisin
disponible, aceptados dentro de la comunidad cientfica de la correspondiente
poca."
Queda ahora claro por qu la proliferacin de teoras metodolgicas resulta
favorable para lahistoriografa de laciencia. Por ejemplo, lalgica inductiva de
Carnap y Hintikka puede ser empleada para evaluar y explicar el comporta-
miento de los cientficos que acabaron por apoyar el inductivismo. Observacio-
nes semejantes son aplicables alas 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 neu-
tros 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 cient-
fica.
El progreso, en cuanto a palabra orientada a los resultados o al logro, de-
bera 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 cua-
lidad y progreso, aun cuando una alta calidad en lainvestigacin constituya un
buen indicador probabilstico de progreso." !
Como afirma Laudan, el progreso en ciencia debera ser evaluado por me-
dio de "nuestras propias luces" o "estndares"." Sin embargo, aqu es donde
los filsofos actuales dejan de mostrarse de acuerdo, puesto que defienden di-
ferentes 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 al-
guna utilidad epistmica "veraz" relacionada," como pueda ser la verosimili-
tud) 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 deber-
an ser detectables o eficazmente reconocibles, en el sentido de que pudiera-
mos saber cundo han sido o no alcanzados." En mi opinin, esta demanda
es demasiado exigente. A menos que seamos realistas ingenuos, este requeri-
miento 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
En suProgress and lIS Problems, Laudan argumenta quelaciencia consti-
tuye un proceso deresolucin deproblemas, ms quedebsqueda delaver-
dad ypropone que lacapacidad decualquier teora paralaresolucin depro-
blemas, mensurada por medio del nmero de problemas empricos que
soluciona, menos el nmero de anomalas y deproblemas conceptuales que
genera, debera definir esteobjetivo efectivamente reconocible delaciencia.
En este caso, lacapacidad emprica para la resolucin de problemas vie-
ne definida en relacin con el estado de cosas ya observado que la teora
comporta." Este concepto sinttico es -a condicin deignorar lainsistencia
de Laudan sobre la"importancia" de los problemas- esencialmente equiva-
lenteal concepto deHempel depoder sistemtico, formuladoenel artculo, ya
clsico, de Hempel y Oppenheim titulado Studies inthe Logic of Explana-
tion de 1948.
1
' Cabra argumentar queel poder sistemticodeunateoraT, en
relacin con la evidencia E, co-vara con el grado deapoyo por medio de la
evidencia procedente deE afavor delateoraT," El poder sistemtico deuna
teora relacionada con hechos observados parece, pues, ser un indicador fali-
ble desugrado deverdad. Es ms, comodemuestra J uhani Pietarinen, lama-
ximizacin del poder sistemtico como utilidad dependiente de la verdad,
equivale ala aceptacin deuna teora, ms confirmada que sus rivales por la
evidencia fruto de la observacin. Una vez ms, se establece un vnculo di-
rectoentre los conceptos propios delacapacidad deresolucin deproblemas
y laconfirmacin.
Incluso un sencillo argumento puede demos.trar que una teora T, que de-
ductivamente comporta laafirmacin E, es asimismo confirmada porE, esde-
cir, que laprobabilidad P(TIE) deT dada E, deber ser mayor quelaprobabi-
lidad anterior P(T) deT. El nico mododenegar el poder deconfirmacin de
E consistira en asumir deantemano que lateora T es errnea, demodo que
su probabilidad P(T/B) en relacin con el conocimiento defondo B es cero,
con 10 queP(TIE&B) - P(TIB) = O.
Esteargumento sugiereque, el filsofoquepiensequelasteoras tienenun
valor deverdad, peroquelaevidencia emprica noes competente paraaportar
indicacin alguna sobredichovalor, deber asumir deantemano quetodas las
teoras son errneas. Por consiguiente, laclase deantirrealismo metodolgi-
coqueapoya Laudan parece hundirse enel escepticismo acercadelasteoras.
c) Progreso a travs de verosimilitud
Mi propuesta para definir y estimar la verosimilitud constituye una gene-
ralizacin directa del planteamiento bayesiano ala inferencia cientfica. Su-
pongamos que C", .., C, sean las respuestas potenciales ms fuertes anuestro
388
El progreso cientfico a revisin
problemacognitivo, dondeC", .., C, sonmutuamente excluyentes yconjunta-
menteexhaustivas. Unay slouna deellas, quedesconocemos perodenomi-
naremos C. , es verdadera. He demostrado en detalle, en diversas ocasiones,
cmo definir la "proximidad" M(T, C,) de una teora T apartir de una res-
puestacompleta dadaCli = 1, ... , k), cuando setratadedar en ladiana deC"
as comodeexcluir tantas alternativas alejadas comoseaposible. As pues, el
gradodeverosimilitud Tr(T, CJ delateoraT equivale asuM-distancia dela
respuesta verdadera C. Pero, puesto que este valor es desconocido, la mejor
eleccin deT ser aquella que maximice laverosimilitud esperada, definida
por
k
(8) ver(T/e) = L P(C/e)M(T, C),
j;1
dondeP(C/e) eslaprobabilidad epistmica dequeC,seaciertadadalaevi-
denciae, y M(T, C) esel incremento debidoaT, encasodequeC,fuera laal-
ternativa verdadera."
Ladistincin entrelaverosimilitud desconocidaTr(T, C.) y laverosirnili-
tudestimada ver(T/e) nos permite definir conceptos absolutos y relacionados
conlaevidencia deprogreso:
(9) El paso de T aT' es (absolutamente) progresivo cuando Ti(T, C.) <
Tr(T', CJ .
(lO) El pasodeT aT' parece progresivo apartir delaevidencia e, cuando
ver(T/e) <(ver(T'/e).
Enestecaso, (lO) esunconcepto decidible, aplicableenretrospectiva aca-
soshistricos tomando ae comoevidencia pasadadenuestrateorapresente."
Lafuncin ver sugiere, asimismo, laexistencia deun "camino hacia arri-
ba" falible, desdeel xitoemprico hastalaelevadaverosimilitud." Sedanca-
sosen los quever(T/e) es elevada, oseaproxima asuvalor mximo, cuando
e es laevidencia presente aceptada. Si laevidencia es considerada como fia-
ble, y si lamedida deprobabilidad P en (8) es racional, serracional afirmar
(falibilidad) queT est, enefecto, ms cercadelaverdad (oms cercadeella
quesusteoras rivales)."
Lafuncin M nos permite demostrar quelasconsecuencias deductivas de
unateora altamente verosmil deben ser aproximadamente ciertas [compare-
secon (7)]. As pues, resulta deayuda expresar con precisin, en qu sentido
lapresuposicin deverosimilitud sirve comorazn 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
Por consiguiente, el realismo, en cuanto aintento 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 des-
cubrimiento de sta.
d) lnconmensurabilidad
Al proporcionar un instrumento que convierte en precisos y respetables alos .
conceptos ms notorios del realismo crtico, la teora de verosimilitud demues-
tra que los das del realismo metafrico han terminado." Sin embargo, no pre-
tendo 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 leprestemos aqu nuestra atencin.
Se trata de la tesis de inconmensurabilidad de Kuhn y Feyerabend. En su va-
riante 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 acumula-
tiva en' un sentido extremo."
Sin embargo, una modalidad ms suave de inconmensurabilidad -en el sen-
tido de variacin- sigue siendo un problema significativo para todos los progra-
mas importantes de lafilosofa de laciencia. Los intentos realizados para librar-
se 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 me-
dida 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 significati-
vamente dos teoras debemos poderlas contemplar como respuestas rivales
para un mismo problema cognitivo. Esto, a su vez, puede ser conseguido tra-
duciendo una teora a la otra, o ambas a un tercer lenguaje ms rico." Afortu-
nadamente, tambin se est progresando en el trabajo sobre estos importantes
problemas de traduccin y reduccin Y
Observacin final-
.
Un artculo reciente deWang Shun Vi, publicado en el Journal of Dialectics
of Nature de Beijing, analiza mi debate con Larry Laudan sobre el progreso
390
El progreso cientfico a revisin
cientfico." El autor reconoce que el concepto de verosimilitud puede ser apli-
cado a la comparacin entre teoras rivales desarrolladas dentro de una misma
cultura, como en el caso de laciencia occidental. Sin embargo, -declara- lare-
lacin 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 dife-
rentes y, por consiguiente, no traducibles entre s. No obstante, tal vez pudie-
ra argumentarse, de forma ms plausible, a favor de la afirmacin de que las
axiologas de las actividades denominadas "ciencia" en Oriente y en Occiden-
te, son fundamentalmente distintas. En particular, existe una notable diferen-
cia en los vnculos entre valores cientficos y progreso social: la ciencia ha
constituido un elemento indispensable en la promocin del proyecto occiden-
tal 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 filoso-
fa analtica moderna, pueden aportar una contribucin al estudio comparati-
vo de las modalidades de pensamiento de Oriente y de Occidente. :
391