Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Imre Lakatos
Versin espaola de
Juan Carlos Zapatero
Revisin de
Pilar Castrillo
CONSEJO
DE
INVESTIGACIN
INVENTARIO
PATRIMONIO
Orden
UNSa.
Alianza
Editorial
Ttulo original:
The Methodology ofScientific Research Programmes - Philosophical Papers Volurne I
Esta obra ha sido publicada en ingls por Cambridge niversity Press
NDICE
c.m.N.sa. PATRIMONIO]
Imre Lakatos Memorial Appeal Fund and The Estte of Imre Lakatos 1978
Ed. cast: Alianza Editorial, S. A., Madrid, 1982,1988,1993
Calle Juan Ignacio Lea de Tena, 15; 28027 Madrid; telf. 741 66 00
ISBN: 84-206-2349-0
Depsito legal: M. 16.711-1993
Compuesto en Fernndez Ciudad, S. L.
Impreso en Lavel. Los Llanos, nave 6. Humanes (Madrid)
Printed in Spain
Una metodologa
17
17
20
cientfica
4. Los programas de investigacin: Popper versus Kuhn.
Apndice: Popper, el falsacionismo y la Tesis DuhemQuine
...;
t
/
2. La historia de la ciencia y sus reconstrucciones racionales.
Introduccin
1. Metodologas de la ciencia rivales: las reconstrucciones racionales como guas de la Historia
...
2. Comparacin crtica de las metodologas: la historia
como cont-astacin de su reconstruccin racional
6
119
. 123
134)
13.4
135
158
c c c f c r r r.x r f r r r r r r r r r r f r r r c r r c r r r f f c f r r r f < , , v v
8
-.
ndice
180
Introduccin
180
1. Popper y la Demarcacin
2. Soluciones positivas y negativas del problema de la
Induccin: escepticismo y falibilismo
181
INTRODUCCIN:
CIENCIA Y PSEUDOCIENCIA *
199
;'
. . - - . .
216
'
Introduccin
'
'
- , - .
.
<
;;.
:.
"I
'
;,v
216
218
222
226
236
242
'247
;
1. La ruta justificcionista hacia el psicologismo y el mis,
ticismo
247
2. Metodologa versus Mtodo en Newton
257
6
284
*nn
300
303
309
,
:
.:.. : . . .
.
El
229
Bibliografa
RiKl;r*fo A~ T oW
Bibliografa de Laicatos
Indice de nombres
ndice de materias ... ... ...
'
doctrinas erafl
udo?ientficas. La demarcacin
entre ^^ y pseudodenca no un mero problema de filosofa
de saln; tiene una importancia social y poltica vital.
Muchos filsofos han intentado solucionar el problema de la demarcacin en los trminos siguientes: un enunciado constituye conocimiento si cree en l, con suficiente conviccin, un nmero suficientemente elevado de personas. Pero la historia del pensamiento muestra
que muchas personas han sido convencidos 7^o^eln^S
absurdas. Si el vigor de la creencia fuera un distintivo del conocil
miento tendramos que considerar como parte de ese conocimiento
a muchas historias sobre demonios, ngeles, diablos, cielos infiernos. Por otra parte, los cientficos son muy escpticos .incluso con
i
respecto & su/mejores teoras. La de NewtOn es la teora ms po\a que la ciencia ha producido nunca, pero el mismo Newton
sus
10
Imte Lakatos
11
los planetas se moveran en elipses slo si los planetas no se influyeran entre s en sus movimientos. Pero eso es lo que sucede. Por
ello Newton tuvo que crear una teora de las perturbaciones, de k
que se sigue que ningn planeta se mueve en una elipse.
Hoy es posible demostrar con facilidad que no se puede derivar
vlidamente una ley de la naturaleza a partir de un nmero finito
de hechos, pero la realidad es que an podemos leer afirmaciones
en el sentido de que las teoras cientficas son probadas por los hechos. A qu se debe esa obstinada oposicin a la lgica elemental?
Hay una expcacin muy plausible. Los cientficos desean que
sus teoras sean respetables y merecedoras del ttulo ciencia, esto
es, conocimiento genuino. Ahora bien, el conocimiento ms relevante
en el siglo xvn, cuando naci la ciencia, incumba a Dios, al Diablo,
al Cielo y al Infierno. Si las conjeturas de una persona eran errneas
en temas relativos a k divinidad, k consecuencia del error era la
condenacin eterna. El conocimiento teolgico no puede ser falible
sino indudable. Ahora bien, la Ilustracin entendi que ramos falibles e ignorantes en materias teolgicas. No existe una teologa cientfica y por ello no existe un conocimiento teolgico. El conocimiento
slo puede versar sobre la Naturaleza, pero esta nueva clase de conocimiento haba de ser juzgada mediante los criterios que, sin reforma, tomaron de la teologa; tena que ser probada hasta ms all
de cualquier duda. La ciencia tena que conseguir aquella certeza que
no haba conseguido la teologa. A un cientfico digno de ese nombre
no se le podan permitir las conjeturas; tena que probar con los
hechos cada frase que pronunciara. Tal"f~~d -criterio- -de .la. .honestidad cientfica. Las teoras no probadas por los hechos eran consideradas como pseudociencia pecaminosa; una hereja en el seno de
la comunidad cientfica.
El hundimiento de k teora newtoniana en este siglo hizo que
los cientficos comprendieran que sus criterios de honestidad haban
sido utpicos. Antes de Einstein la mayora de los cientficos pensaban que Newton haba descifrado las leyes ltimas de Dios probndolas a partir de los hechos. Ampere, a principios del siglo xix,
entendi que deba titular su libro relativo a sus especulaciones sobre
electromagnetismo: Teora Matemtica de los Fenmenos Electrodinmicos inequvocamente deducida de los experimentos. Pero al final
del volumen confiesa de pasada que algunos de los experimentos nunca llegaron a realizarse y que ni siquiera se haban construido los instrumentos necesarios.
Si todas las teoras cientficas son igualmente incapaces de ser \s qu
y a la ciencia de k pseudociencia?
',
t-crecrrrrrrrrc
12
r rfrrfr
Imre Lakatos
r f <*
v
r rf
r rrr
13
14
Imre Lakatos
-15
vos las teoras son fabricadas slo para acomodar los hechos yaconocidos. Por ejemplo, alguna vez ha predicho el marxismo con xito algn hecho nuevo? Nunca. Tiene algunas famosas predicciones que
no se cumplieron. Predijo el empobrecimiento absoluto de la dase
ttabaiadora Predijo que la primera revolucin socialista sucedera
eSsocTedadSdustrial ms desalada. Predijo que las sociedad^
socialistas estaran Ubres de revoluciones Predijo que no exisUtian
conflictos de intereses entre pases socialistas. Por tanto las pruneras predicciones del marxismo eran audaces y soRendentespero
fracasaron Los marxistas explicaron todos los fracasos: explicaron
kSSfafS niveles de vida de la dase trabajadora creando una
teora del imperialismo; incluso ^exphcaronks razones por las que
la primera revolucin socialista se haba producido en un pas mdustriSmente atrasado como Rusia. Expliomm *s ~fec^* *
Berln en 1953, Budapest en 1956 y Praga en 1968. Explicaron
el conflicto ruso-chino. Pero todas sus. hiptesis, auxiliares fueron
manufacturadas tras los acontecimientos para proteger a K teora de
los hechos El programa newtoniano origin hechos nuevos; el proama marxistaPse retras con relacin a los hechos y desde entonces
ha estado corriendo para alcanzarlos.
Para resumir: el distintivo del progreso emprico no son las verificaciones triviales: Popper tiene razn cuando afirma que hay millones de ellas. No es un xito para la teora newtoniana el que al
soltar una piedra sta caiga hada la tierra, sin que importe el numero
de veces que se repite el experimento. Pero las llamadas refutaciones no indican un fracaso emprico como Popper ha ensenado, porque todos los programas crecen en un.ocano, permanente^de anmalas Lo que realmente importa, son las predicciones dramticas inesperadas, grandiosas; unas pocas de stas son suficientes para decidir ;
el desenlace; si la teora se retrasa con relacin a los hechos, ello sig- ,
nifica que estamofen~presencia de programas de investigacin pobres
7 r/?G5moSsuceden
las revoluciones cientficas? Si tenemos dos programas de investigacin rivales y uno de ellos progresa, mientras que
I otrFde"genera, los cientificojllenden a. alinearse con el programa
progresivo 'TaTes la'explicaan de las revoluciones cientficas. Pero
c f16c c r r r t f f r r r
e r e. r < ,
Imre Lakatcs
aunque preservar la publicidad del caso sea una cuestin de honestidad intelectual, jio es deshonesto aferrarse a un programa en regresin e_intentar..convertirlo, en, progresivo.
^ErTcontra deJPppper>.la metodologa de los programas de inyes^igacin cientfica no ofrece una racionalidad instantnea. Hay que
tratar~cn benevolencia a los programas en desarrollo; pueden transcurrir dcadas antes de que los programas despeguen del suelo y se
hagan empricamente progresivos. La crtica no es un arma popperiana
que mate con rapidez mediante la refutacin. Las crticas importantes
son siempre constructivas; nohay refutaciones sin una teora mejor.
Kuhn se equivoca 'al pensar_queTas revoludojies j^ntiflcas son un
jambo repentirio_ejgadonal de punto de vista. La historia de la
ciencia refuta tanto al?opper como a Kuhn; cuando son examinados
de cerca, resulta que tanto los experimentos cruciales popperianos
como las revoluciones de Kuhn son mitos; .lo_que sucede normalmente es que los programas de investigacin pjrogr^l^^ustituyen_a_los
regresivos7
'
EFproblema de la demarcacin entre ciencia y pseudocienca tambin tiene serias implicaciones para la institucionalizacin de la crtica. La teora de Coprnico fue condenada por la Iglesia Catlica
en 1616 porque supuestamente era pseudocientfica. Fue retirada del
ndice en 1820 porque para entonces la Iglesia entendi que los
hechos la haban probado y por ello se haba convertido en cientfica. El Comit Central del Partido Comunista Sovitico en 1949 declar pseudocientfica a la gentica mendeliana e hizo que sus defensores, como el acadmico Vavilov, murieran en campos de concentracin; tras la muerte de Vavilov la gentica mendeliana fue rehabilitada; pero persisti el derecho del Partido a decidir lo que es cientfico
y publicable y lo que es pseudocientfico y castigable. Las instituciones liberales de Occidente tambin ejercitan el derecho a negar la
libertad de expresin cuando algo es considerado pseudocientfico,
como se ha visto en el debate relativo a la raza y la inteligencia.
Todos estos juicios inevitablemente se fundamentan en algn criterio
de demarcacin. Por ello el problema de la demarcadn entre ciencia
y__peudociejicia no es un pseudoproblema para filsofos de saln,
sino que tiene serias impHcadones_tjcs_y_Epl|icas.
Captulo 1
LA FALSACION Y LA METODOLOGA
DE LOS PROGRAMAS DE INVESTIGACIN
CIENTFICA *
Durante siglos conocimiento signific conocimiento probado; pro(bado bien por el poder del intelecto o por la evidencia de los sentidos.
La sabidura y la integridad intelectual exigan que desistiramos de
realizar manifestaciones no probadas y que minimizramos (incluso
en nuestros pensamientos) el bache entre la especulacin y el conocimiento establecido. El poder probatorio del intelecto o de los sentidos fue puesto en duda por los escpticos hace ms de dos mil aos,
pero la gloria de la fsica newtonana los sumi eri~la confusin. Los
hallazgos de Einstein de nuevo invirtieron la situacin y en la actualidad muy pocos filsofos o cientficos consideran an que el conocimiento cientfico es, o puede ser, conocimiento probado. Pero pocos
entienden que con esto se derrumba la estructura clsica de valores intelectuales y que ha de ser reemplazada; no es posible atenuar
simplemente el ideal de verdad probada llegando al ideal de verdad
* Este artculo se escribi en 1968-69 y fue publicado por primera vez en
Lakatos (1970). All Lakatos se refera al artculo como una versin mejorada
de su (1968b) y como una versin imperfecta de su prxima The Changing
Logic of Scientific Discovery, un libro proyectado que nunca pudo empezar.
Hace constar los siguientes agradecimientos: Algunas partes de (mi 1968b) se
reproducen aqu sin cambios con el permiso del Editor de Proceedings of tbe
Afistoelian Society. Para preparar esta nueva versin he recibido gran ayuda
de Tad Beckman, Coln Howson, Qive Kilmister, Larry Laudan, Eliot Leader,
Alan Musgrave, Michael Sukale, John Watkins y John Worrall (Editores).
17
18
Imre Lakatos
19
r c t e 111111 r r f f r f f r x-% , v
. 20
Imre Lakatos
21
glos en el pensamiento racional. El escepticismo no neg el justificacionismo: slo afirm que no haba ni poda haber conocimiento probado ni, por ello, conocimiento de clase alguna. Para los escpticos el
conocimiento no era sino creencias animales. De este modo el escepticismo justificacionista ridiculiz el pensamiento objetivo y abri la
puerta al irracionalismo, al misticismo y a la supersticin.
Esta situacin explica los enormes esfuerzos realizados por los
racionalistas clsicos para intentar salvar los principios sintticos a
priori del intelectualismo, y por los empiristas clsicos, para intentar
salvar la certeza de la base emprica y la validez de la inferencia
inductiva. Para todos ellos la honestidad cientfica exiga que no se
afirmara nada carente de prueba. Sin embargo, ambos fueron derrotados: los kantianos por la geometra no euclidiana y por la fsica no
newtoniana, y los empiristas, por la imposibilidad lgica de establecer una base emprica (como sealaron los kantianos, los hechos no
pueden probar las proposiciones) y de establecer una lgica inductiva
(ninguna lgica puede acrecentar el contenido de modo infalible).
Result que ninguna teora es susceptible de ser probada.
Los filsofos tardaron en reconocer esto por razones obvias. Los
justificacionistas clsicos teman que una vez aceptado que la ciencia
terica no puede ser probada, tambin tendran que concluir que no es
otra cosa que sofismas e ilusiones, un fraude deshonesto. La importancia filosfica del probabilismo (o neojustificacionismo) radica en
haber negado la necesidad de tal conclusin.
El probabilismo fue elaborado por un grupo de filsofos de Cambridge que entendan que aunque todas las teoras carecen igualmente
de la posibilidad de ser probadas, tienen, sin embargo, grados de
probabilidad diferentes (en el sentido del clculo de probabilidad)
con relacin a la evidencia emprica disponible7. Por tanto, la honestidad cientfica^requiere menos de lo que se pensaba: consiste en expresar solamente teoras muy probables, o incluso, en especificar para
cada teora cientfica, la evidencia y la probabilidad de la teora a la
luz de la evidencia.
Por supuesto, la sustitucin de la prueba por la probabilidad
constituy un retroceso fundamental para el pensamiento justificacionista. Pero incluso este retroceso result ser insuficiente. Pronto
se mostr, sobre todo merced a los esfuerzos persistentes de Popper,
que en condiciones muy generales todas las teoras tienen probabilidad cero, sea cual sea la evidencia: no slo todas las teoras son igual7 Los padres fundadores del probabilismo fueron intelectualistas: fracasaron
los esfuerzos posteriores de Carnap para construir una variante empirista del
probabilismo. Cf. MCE, cap. 8, pp. 221 y ss.
22
Imre Lakatos
En primer lugar analizar una variante muy importante del falsacionismo: el falsacionismo dogmtico (o naturalista)10. El falsacionismo dogmtico admite la falibilidad de todas las teoras cientficas
sin cualificaciones, pero retiene una clase de base emprica infalible.
Es estrictamente empirista sin ser inductivista; niega que la certeza
de la base emprica pueda ser transmitida a las teoras. Por tanto, el
falsacionismo dogmtico es la variedad ms dbil del falsacionismo.
Es extremadamente importante insistir en que el admitir que la
contraevidencia emprica (reforzada) es el arbitro final de una teora,
no convierte a uno en un falsacionista dogmtico. Cualquier kantiano
o inductivista estar de acuerdo con tal apelacin. Pero tanto el kantiano como el inductivista, aun reconociendo los experimentos cruciales negativos, especificar tambin condiciones sobre cmo establecer y defender una teora no refutada con preferencia a otra. Los
kantianos mantenan que la geometra euclidiana y la mecnica newtoniana haban sido establecidas con certeza; los inductivistas defendan que tena probabilidad 1. Sin embargo, para el falsacionista dogmtico la contraevidencia emprica es el nico arbitro posible de una
teora.
Por tanto, el distintivo del falsacionista dogmtico es el reconocimiento de que todas las teoras son igualmente conjeturales. La
ciencia no puede probar ninguna teora. Pero aunque la ciencia no
puede probar, s que puede refutar; puede realizar con certeza lgica
&-Para una discusin detallada, cf.
9 Rusell (1943), p. 683. Para una
23
completa (el acto de) repudiar lo que es falso u; esto es, existe una
base emprica de hechos, absolutamente slida, que puede utilizarse
para refutar las teoras. Los falsacionistas suministran nuevos y muy
modestos criterios de honestidad intelectual: estn dispuestos a considerar una proposicin como cientfica no slo si es una proposicin probada, sino incluso si no es ms que falsable; esto es, si existen tcnicas experimentales y matemticas disponibles en el momento,
que designan a ciertos enunciados como falsadores potenciales n.
Por tanto, la honestidad cientfica consiste en especificar por adelantado un experimento tal, que si el resultado contradice la teora,
sta debe ser abandonada u. El falsacionista pide que cuando una proposicin sea refutada no se produzcan engaos: la proposicin debe
ser rechazada sin condiciones. A las proposiciones no falsables (y no
tautolgicas) el falsacionista las despacha de un plumazo: las denomina metafsicas y les niega rango cientfico.
Los falsacionistas dogmticos trazaron una drstica demarcacin
entre el terico y el experimentador; el terico propone, el experimentador dispone (en nombre de la naturaleza). Como seala Weyl: Deseo manifestar mi ilimitada admiracin por el trabajo del experimentador en su lucha por arrancar hechos interpretables a una naturaleza
reacia que sabe muy bien cmo confrontar nuestras teoras con un No
decisivo o con un inaudible S 14. Braithwaite ofrece una exposicin
del falsacionismo dogmtico particularmente lcida. Suscita el problema de la objetividad de la ciencia: En qu medida, por tanto, debe
considerarse a un sistema cientfico deductivo como una creacin Ubre
de la mente humana y en qu medida como una exposicin objetiva
de los hechos naturales? Su respuesta es:
La forma de un enunciado referente a una hiptesis cientfica y su uso para
expresar una proposicin general, constituye un artificio humano; lo que se debe
a la naturaleza son los hechos observables que refutan o no refutan a la hiptesis cientfica... (En la ciencia) asignamos a la naturaleza la tarea de decidir si
son falsas cualquiera de las conclusiones contingentes del nivel ms bajo. Esta
contrastacin objetiva de falsedad es lo que convierte al sistema deductivo (para
cuya construccin gozamos de gran libertad) en un sistema de hiptesis cientficas. El hombre propone un sistema de hiptesis: la Naturaleza dispone su verdad
Medawar (1967), p, 144. Tambin cf. abajo, p. 123, n. 338.
n EVta discusin indica ya la importancia esencial de una demarcacin entre
proposiciones tcticas que pueden ser probadas y proposiciones tericas que no
pueden ser probadas, para el falsacionista dogmtico.
P Lo, ltenos de refutacin deben establecerse previamente; j dcbeacordar qu situaciones observables, de ser observadas realmente, unphcan que la
teora est refutada (Popper, 1963a, p. 38, n. 3).
_.. FnM Citado en Popper (1934), seccin 85, con el comentario de Popper. Enteramente de acuerdo.
v , r r r f rr r f r r rr r f
Imre Lakatos
Segn la lgica del falsacionismo dogmtico, la ciencia crece mediante reiteradas eliminaciones de teoras con la ayuda de hechos slidos. Por ejemplo, segn este punto,de vista la teora de la gravedad
mediante vrtices de Descartes fue refutada (y eliminada) por el hecho
de que los planetas se movan en elipses y no en crculos cartesianos;
la teora de Newton, sin embargo, explicaba con xito los hechos entonces disponibles: tanto los que haban sido explicados por la teora
de Descartes como aquellos que la refutaron. Por ello la teora de
Newton sustituy a la de Descartes. Anlogamente, y segn los falsacionistas, la teora de Newton fue, a su vez, refutada por el perihelio
anmalo de Mercurio, mientras que la de Einstein explic tambin
este hecho. Por tanto, la ciencia progresa mediante especulaciones
audaces que nunca son probadas ni resultan probables; algunas de las
cuales son posteriormente eliminadas por refutaciones slidas, concluyentes y sustituidas por nuevas especulaciones an ms audaces y no
refutadas al menos por el momento.
Sin embargo, el falsacionismo dogmtico es insostenible. Descansa
sobre dos supuestos falsos y un criterio de demarcacin entre ciencia
y no-ciencia demasiado restringido.
El primer supuesto es que existe una frontera natural, psicolgica,
entre las proposiciones tericas y especulativas, por una parte, y las
proposiciones fcticas u observacionales (o bsicas) por la otra. (Por
supuesto, esto es parte del enfoque naturalista del mtodo cientfico t.) '
..,
.r
i
El segundo supuesto es que si una proposicin satisface el criterio
psicolgico de ser fctica u observacional (o bsica), entonces es cierta; se puede decir que ha sido probada por los hechos. (Llamar a
esta tesis la doctrina de la prueba observacional [o experimental} ".)
15 Braithwaite (1953), pp. 367-68. Sobre la incorregibilidad de los hechos
observados de Braithwaite, cf. su (1938). Mientras que en el pasaje citado Braithwaite suministra una respuesta poderosa al problema de la objetividad cientfica,
en otro pasaje seala que con excepcin de las generalizaciones directas de hechos observables... la refutacin completa no es ms posible que la prueba completa (1953), p. 19. Tambin cf. abajo, p. 43, n. 84.
16 Cf. Popper (1934), seccin 10.
17 Sobre estos supuestos y su crtica, c. Popper (1934), secciones 4 y 10. Se
debe a este supuesto el que, siguiendo a Popper, llame naturalista a esta variedad de falsacionismo. Las proposiciones bsicas de Popper no deben confundirse con las proposiciones bsicas discutidas en esta seccin; cf. abajo,
P-35,n.46.
Es importante sealar que estos dos supuestos son tamoin comparados por
muchos justificacionistas que no son falsacionistas: puede que aadan las prue-
*.
25
Ambos supuestos otorgan a las refutaciones mortales del falsacionismo dogmtico una base emprica a partir de k cual la falsedad
probada puede transmitirse, por medio de la lgica deductiva, a la
teora objeto de contrastacin.
Estos supuestos son complementados por un criterio de demarcacin: slo son cientficas las teoras que excluyen ciertos acontecimientos observables y que, por ello, pueden ser refutadas por los
hechos. Dicho de otro modo: una teora es .cientfica- si tiene una
base emprica w.
Pero ambos supuestos son falsos. La psicologa testimonia contra
el primero, la lgica contra el segundo y, finalmente, la opinin metodolgica testifica contra el criterio de demarcacin. Discutir estos
temas sucesivamente.
1) Una somera consideracin de algunos ejemplos caractersticos
es bastante para debilitar el primer supuesto. Galileo pretendi que
poda observar montaas en la luna y manchas en el sol y que tales
observaciones refutaban la venerable teora de que los cuerpos celestiales eran inmaculadas esferas de cristal. Pero sus observaciones no
eran observacionales, esto es, realizadas mediante los sentidos y sin
ayuda alguna: su f labilidad dependa de la de su telescopio y tambin
de la teora ptica del telescopio que tan violentamente fue puesta
en duda por sus contemporneos. No fueron las observaciones puras
y atericas de Galileo las que se enfrentaban con la teora de Aristteles, sino que las observaciones de Galileo, interpretadas mediante
su teora ptica, se enfrentaban con las observaciones de los aristotlicos interpretadas segn su teora de los cielos 19. Nos quedamos
con dos teoras inconsistentes situadas a la par, prima facie. Algunos
empiristas pueden aceptar este punto de vista reconociendo que las
observaciones de Galileo no eran observaciones genuinas. Sin embargo, defendern que existe una demarcacin natural entre aquellos enunciados que los sentidos imprimen en una mente vaca y
pasiva (y slo stos constituyen conocimiento inmediato genuino)
y aquellos sugeridos por sensaciones impuras, impregnadas de teoras.
En realidad todas las variedades de las teoras del conocimiento justificacionista que reconocen a los sentidos como fuente (bien como
bas intuitivas a las pruebas experimentales como hizo Kant, o las pruebas
inductivas como hizo Mili. Nuestro falsacioista slo acepta las pruebas experimentales.
18 La base emprica de una teora es el conjunto de sus falsadores potenciales: el conjunto de aquellas proposiciones observacionales que pueden refutarla.
19 Por cierto, Galileo tambin mostr, con ayuda de su ptica, que si la Luna
fuera una bola de cristal sin impurezas, sera invisible (Galileo, 1632).
26
Imre Lakatcs
27
c r r 28r r r f f
r r r rr
r , ,
late Lakatos
i.
<
29
30
mre Lakatos
31
r * * * 32 t t t r r r r r r r r r r c r r r r c <
Imre Lakatos
33
34
Imre Lakatos
35
realidad la seleccin misma de tales enunciados es un tema de decisin no basado exclusivamente en consideraciones psicolgicas. Esta
decisin es seguida despus por una segunda clase de decisin relativa a la separacin del conjunto de enunciados bsicos aceptados
del resto.
Estas dos decisiones corresponden a los dos supuestos del falsacionismo dogmtico. Pero existen diferencias importantes. Por encima
de todo, el falsacionista metodolgico no es un justificacionista; carece de ilusiones sobre las pruebas experimentales y conoce perfectamente la falibilidad de sus decisiones y los riesgos que corre.
El falsacionista metodolgico comprende que en las tcnicas experimentales del cientfico hay implicadas47 teoras falibles con las
que interpreta los hechos. A pesar de ello, aplica tales teoras; en
el contexto dado, las considera no como teoras bajo contrastacin,
sino como conocimiento fundamental carente de problemas que aceptamos (tentativamente) como no problemtico mientras estamos contrastando la teora 4S. Puede denominar a tales teoras (y a los enunciados cuyo valor de verdad decide con ayuda de aquellas) observacionales, pero esto slo es un hbito lingstico heredado del falsacionismo naturalista49. El falsacionista metodolgico utiliza nuestras
mejores teoras como extensiones de nuestros sentidos y ampla el
mbito de las teoras que pueden ser aplicadas en la contrastacin
ms all del mbito de teoras estrictamente observacionales propio
del falsacionista dogmtico. Por ejemplo, imaginemos que se descubre
una gran radio-estrella con un sistema de satlites en rbita a su
alrededor. Desearamos contrastar alguna teora gravitacional en ese
sistema planetario: un asunto de gran inters. A continuacin imaginemos que Jodrell Bank consigue suministrar un conjunto de coordenadas espaciotemporales de los planetas que es inconsistente con la
teora. Aceptaremos como falsadores tales enunciados bsicos. Por
supuesto, tales enunciados bsicos no son observacionales en el
sentido ordinario, sino slo observacionales. Describen planetas
que ni la vista humana ni los instrumentos pticos pueden alcanzar.
A su valor de verdad se llega mediante una tcnica experimental. Esta tcnica experimental se fundamenta en la aplicacin
de una teora muy corroborada de radio-ptica. Llamar observacionales a tales enunciados no es sino una forma de decir que, en el
46 Op. ct., seccin 28. Sobre el carcter no bsico de esos enunciados metodolgicamente bsicos, cf. e. g. (1934), passim y Popper (1959a), p. 35, n. *2.
47 Cf. Popper (1934), fin de la seccin 26 y tambin su (1968 c), pp. 291-92.
48 Cf. Popper (1963), p. 390.
49 En realidad Popper coloca cuidadosamente observacional entre comillas;
cf. su (1934), seccin 28.
c c r36r r t t r c f T f r
rrrrrrcrrr
Imre Lakatos
contexto del problema, esto es, al contrastar nuestra teora gravitacional, el falsacionista metodolgico usa la radio-ptica acrticamente,
como conocimieno fundamental. La necesidad de adoptar decisiones para separar la teora que se contrasta del conocimiento fundamental no problemtico es un rasgo caracterstico de esta clase de falsacionismo metodolgico so. (Esta situacin realmente- no difiere de la
observacin de Galileo de los satlites de Jpiter; an ms, como
alguno de los contemporneos de Galileo seal con acierto, l defenda una teora ptica virtualmente inexistente que despus fue
menos corroborada e incluso menos articulada que la radio-ptica
actual. Por otra parte, llamar ubservacionales a los resultados de
nuestra visin slo indica que nos basamos en alguna imprecisa
teora fisiolgica de la visin humana51.)
Esta consideracin muestra el elemento convencional que existe
en la concesin, para un contexto dado, de rango (metodolgicamente)
observacional a una teora52. De forma anloga existe un elemento
convencional importante en la decisin relativa al autntico valor de
verdad de un enunciado bsico que adoptamos tras haber decidido
qu teora observacional se aplica. Una observacin nica puede
ser una extraa consecuencia de algn error trivial; para reducir tales
riesgos, los falsacionistas metodolgicos prescriben algunos controles
de seguridad. El ms sencillo de tales controles es repetir el experimento (cuntas veces es un asunto convencional), de modo que se
fortifica al falsador potencial mediante una hiptesis falsadora muy
corroborada M.
Los falsacionistas metodolgicos tambin sealan que, de hecho,
estas convenciones son institucionalizadas y aceptadas por la comunidad cientfica: el veredicto de los cientficos experimentales suministra la lista de falsadores aceptados M.
De este modo establece su base emprica el falsacionista metodolgico (utiliza las comillas para dar un nfasis irnico a la expresin55). Esta base difcilmente puede ser llamada base de
50 Esta demarcacin desempea un papel tanto en la primera como en la
cuarta clase de decisiones del falsacionista metodolgico. (Sobre la cuarta decisin, cf. abajo, pp. 39-40.)
51 Para una discusin fascinante, cf. Feyerabend (1969a).
52 Uno se pregunta si no sera mejor romper con la terminologa del falsacionismo naturalista y rebautizar las teoras observacionales como teoras de
contraste.
53 Cf. Popper (1934), seccin 22. Muchos filsofos olvidaron la importante
cualificacin de Popper segn la cual un enunciado bsico no tiene poder para
refutar nada sin el apoyo de una hiptesis falsadora bien corroborada.
' a. Popper (1934), seccin 30.
55 Popper (1963a), p. 387.
C C
r c c f fc
37
60 Esta dase de falsacin metodolgica es, al contrario de la falsacin dogmtica (refutacin), una idea pragmtica, metodolgica. Pero entonces, qu significado preciso le atribuimos? La respuesta de Popper, que descartar, es que
38
Imre Lakatos
39
cecee
40
cr
Imre Lakatos
decide aceptarla como parte del conocimiento fundamental, los enunciados que describen el perihelio de Mercurio a partir de la base
emprica de Nz se convierten en la base emprica de la teora especfica de Newton, N y lo que antes era una simple anomala con
relacin a Ni se convierte ahora en evidencia crucial contra ella, en
su refutacin. (Podemos llamar a un acontecimiento descrito por un
enunciado A, una anomala con relacin a una teora T si A es un
falsador potencial de la conjuncin de T y una clusula ceteris-paribus,
pero se convierte en un falsador potencial 'de T tras haber decidido
relegar la clusula ceteris-paribus al conocimiento fundamental no
problemtico 70. Como, para nuestro falsacionista radical, las refutaciones son metodolgicamente concluyentes 7l, la terrible decisin
equivale a la eliminacin metodolgica de la teora de Newton convirtiendo en irracional cualquier trabajo ulterior en tal teora. Si el
cientfico se retrae de adoptar tales decisiones audaces, nunca se
beneficiar de la experiencia, creyendo, tal vez, que su funcin es
defender contra la crtica un sistema que ha tenido xito, mientras
no sea concluyentcmente refutado. Degenerar hasta convertirse
en un apologista siempre dispuesto a afirmar que las discrepancias
que parecen existir entre los resultados experimentales y la teora
slo son aparentes y desaparecern con el avance de nuestro conocimiento 73. Pero para el falsacionista esto es todo lo contrario de la
actitud crtica que es la adecuada para el cientfico 74 y resulta intolerable. Utilizando una de las expresiones favoritas de los falsacionistas metodolgicos: de la teora se debe conseguir que ofrezca su
cuello.
El falsacionista metodolgico est en un apuro serio cuando tiene
que decidir dnde trazar la demarcacin, aunque slo sea en un contexto bien definido, entre lo que es problemtico y lo que no lo es.
El apuro se hace dramtico cuando tiene que adoptar una decisin
sobre las clusulas ceteris-paribus, cuando tiene que promocionar a
la categora de experimento crucial uno entre cientos de fen. menos anmalos y decidir que, en tal caso, el experimento fue controlado 7S.
Para una explicacin mejorada, cf. abajo, p. 97, n. 248.
Cf. arriba, p. 37, texto de las notas 57 y 58.
Popper (1934), seccin 9.
Ibid.
74 Ibid.
75 El problema del experimento controlado puede decirse que no es sino
el problema de disponer las condiciones experimentales de forma que se minimicen los riesgos involucrados en tales decisiones.
70
71
72
41
,fffrrrrrttftff
44
Imre Lakatos
45
46
Imre Lakatos
tratar de reducir, como mnimo, el elemento convencional del falsacionismo (posiblemente no es posible eliminarlo) y sustituir las versiones ingenuas del falsacionismo metodolgico [caracterizadas por
las tesis 1) y 2) descritas ms arriba] por una versin sofisticada que
ofrezca un nuevo rationde de la falsacin y recupere as la metodologa y la idea del progreso cientfico. Tal es el camino adoptado por
Popper y el que yo intento seguir94.
c)
~ El falsacionismo sofisticado difiere del ingenuo tanto en sus reglas de aceptacin (o criterio de demarcacin) como en sus reglas
de falsacin o eliminacin.
Para el falsacionista ingenuo cualquier teora que pueda interpretarse como experimentalmente falsable es aceptable o cientfica95. Para el falsacionista sofisticado una teora es aceptable
o cientfica slo si tiene un exceso de contenido emprico corroborado con relacin a su predecesora (o rival); esto es, slo si conduce al descubrimiento de hechos nuevos. Esta condicin puede descomponerse en dos apartados: que la nueva teora tenga exceso de
contenido emprico (aceptabilidad^) y que una parte de ese exceso
de contenido resulte verificado (aceptabilidad^). El primer requisito puede confirmarse inmediatamente96 mediante un anlisis lgico
a priori; el segundo slo puede contrastarse empricamente y ello
puede requerir un tiempo indefinido.
Para el falsacionista ingenuo una teora es falsada por un enunciado observacional (reforzado)97 que entra en conflicto con ella
(o que decide interpretar como si entrara en conflicto con ella). Para
el falsacionista sofisticado una teora cientfica T queda falsada si y
slo si otra teora T' ha sido propuesta y tiene las siguientes caractersticas: 1) T' tiene un exceso de contenido emprico con relacin
a T; esto es, predice hechos nuevos, improbables o incluso excluidos
por T98; 2) T' explica el xito previo de T; esto es, todo el contedica tal popularidad que la gente la considera como un planteamiento nuevo y
atractivo? En ese daso sera verificada. Pero le agradara a Kuhn tal verificacin?
94 Feyerabend, quien probablemente contribuy ms que nadie a la difusin
de las ideas de Popper, parece que ahora se ha pasado al bando enemigo. Cf. su
misterioso (1970b).
95 Cf. arriba, pp. 37-38.
96 Pero cf. abajo, pp. 93-94.
97 Cf. arriba, p. 36, texto de n. 53.
* Uso prediccin en un sentido amplio que incluye la retrodiccin.
47
-
99 Para una discusin detallada de stas reglas de aceptacin y rechazo, y referencias a la obra de Popper, cf. MCE, cap. 8, pp. 228-43. Sobre algunas cualificaciones (relativas a la continuidad y a la consistencia como principios reguladores), cf. abajo, pp. 64-66 y 75-82.
100 Moliere, por ejemplo, ridiculiz a los doctores de su Malade Imaginaire
que, interrogados sobre las razones por las que el opio produce sueo, responden
que ello se debe a su virtus dormitiva. Se puede defender incluso que la famosa afirmacin de Newton hypotbeses non fingo realmente se diriga contra
las explicaciones ad hoc (como su propia explicacin de las fuerzas gravitadonales mediante un modelo de ter diseado para responder a las objeciones cartesianas).
101 Q. arriba, pp. 32-33.
102 Por cierto, Duhem estaba de acuerdo con Bernard en que los experimentos exclusivamente (sin el auxilio de consideraciones relativas a la simplicidad)
pueden decidir el destino de las teoras de la Fisiologa. Pero defendi que ello
no es posible en la Fsica (1905, cap. VI, seccin 1).
r r48 r r
rrrrrcc.recrece
Imre Lakatos
Q. arriba, p. 45.
c c c r c c r r r r *r *r ,r vr r e r
La metodologa de los programas de investigacin cientfica
49
50
Imre Lakatos
51
c r c r cc
52
r - f f c c r c c c r r c f c c c - '" c c c c r c r r r r r r r r r c r < v v
Imre Lakatos
53
de teoras es opcional y no obligatoria. Para el falsacionista sofisticado la proliferacin de teoras no puede esperar a que las teoras
aceptadas sean refutadas (o hasta que sus defensores entren en una
crisis de confianza kuhniana) U2. Mientras que el falsacionista ingenuo
insiste en la urgencia de sustituir una hiptesis falsada por otra
mejor m, el falsacionista sofisticado reitera la urgencia de sustituir
cualquier hiptesis por otra mejor. La falsacin no puede forzar al
terico a buscar una teora mejor m simplemente porque la falsacin
no puede preceder a la teora mejor.
El cambio de problemtica desde falsacionismo ingenuo al sofisticado involucra una dificultad semntica. Para el falsacionista ingenuo una refutacin es un resultado experimental que, en virtud de
sus decisiones, se hace que entre en conflicto con la teora objeto de
contrastacin. Pero, segn el falsacionismo sofisticado, no se deben
adoptar tales decisiones antes de que el supuesto caso refutador no
se haya convertido en el ejemplo confirmador de otra teora mejor.
Por ello, siempre que vemos trminos como refutacin, falsacin,
contraejemplo debemos confirmar en cada caso si tales trminos
se aplican mediante decisiones adoptadas por el faisacionista ingenuo
o sofisticado 12S.
El falsacionismo metodolgico sofisticado ofrece nuevos criterios
de honestidad intelectual. La honestidad justificacionista exiga la
aceptacin exclusiva de lo que haba sido probado y el rechazo de
casos la falsacin, heursticamente, depende de (la condicin) de que exista
un nmero suficiente de teoras suficientemente distintas (Popper, 1940). Por
ejemplo, puede que tengamos una teora T aparentemente no refutada. Pero
puede suceder que una nueva teora T, inconsistente con T, sea propuesta y
que se corresponda igualmente con los hechos disponibles; las diferencias son
ms reducidas que los mrgenes de error observacional. En tales casos la inconsistencia nos impulsa a mejorar nuestras tcnicas experimentales retinando as
la base emprica de modo que T o T' (o ambas) puedan ser refutadas: Necesitamos (una) nueva teora para descubrir en dnde la teora antigua era deficiente (Popper, 1963a, p. 246). Pero la funcin de esta proliferacin es accidental
en el sentido de que una vez refinada la base emprica, la lucha se establece entre
esta base emprica refinada y la teora T que se contrasta; la teora rival T'
actu solamente como un catalizador. (Tambin cf. arriba, p. 50, n. 115.)
i22 Tambin cf. Feyerabend (1965), pp. 254-55.
Popper (1959a), p. 87, n. * 1.
* Popper (1934), seccin 30.
125 Cf. tambin arriba, p. 37, n. 60. Posiblemente en el futuro sera mejor
abandonar completamente estos trminos del mismo modo que hemos abandonado trminos como prueba inductiva (o experimental). Podemos llamar anomalas a. las refutaciones (ingenuas) y teoras superadas a las teoras (sofisticadamente) falsadas. Nuestro lenguaje ordinario est repleto de dogmatismo
inductivista y tambin de dogmatismo falsacionista. Procede realizar una reforma.
:
54
Imre Lakatos
55
r c c r rr
56
f f f f f f f f t f f t t f f t t t f t t f f C
Imre Lakatos
Consideremos algunos ejemplos. La teora de Einstein no es mejor que la de Newton porque la de Newton haya sido refutada y la
de Einstein no lo haya sido: existen muchas anomalas conocidas
de la teora einsteiniana. La teora de Einstein es mejor que (esto
es, representa un progreso comparada con) la teora de Newton de
1916 (la ley de la dinmica de Newton, la ley de gravitacin, el
conjunto conocido de condiciones iniciales, menos la lista de anomalas conocidas tales como el perihelio de Mercurio) porque explicaba
todo aquello que la teora de Newton haba explicado con xito y,
en cierta medida, algunas anomalas conocidas, y, adems, prohiba
ciertos acontecimientos como la transmisin de la luz en lnea recta
en la proximidad de grandes masas sobre los que la teora de Newton
nada afirmaba, pero que haban sido permitidos por otras teoras
cientficas bien corroboradas de la poca; ms an, por lo menos una
parte del inesperado exceso de contenido de la teora de Einstein fue
corroborado de hecho (por ejemplo, mediante los experimentos de
los eclipses).
Por otra parte, segn estos criterios sofisticados la teora de Galileo, segn la cual el movimiento natural de los objetos terrestres
era circular, no introduca ninguna mejora porque no prohiba ningn acontecimiento que no hubiera sido prohibido por las teoras
relevantes que l trataba de superar (esto es, por la fsica aristotlica
y por la cinemtica celeste copernicana). Por ello esta teora era
ad hoc y, por ello, carente de valor (desde un punto de vista heurstico) m.
Un ejemplo precioso de teora que slo satisface la primera parte
del criterio popperiano de progreso (exceso de contenido) pero no
la segunda parte (exceso de contenido corroborado) fue ofrecido por
el mismo Popper. la teora de Bohr-Kramers-Slater de 1924. Todas
las predicciones nuevas de esta teora fueron refutadas m.
Consideremos, finalmente, cunto convencionalismo sobrevive en
el falsacionismo sofisticado. Ciertamente, menos que en el alsacionismo ingenuo. Necesitamos un nmero nienor de decisiones metodolgicas. La cuarta clase de decisin-, que era esencial para la
versin ingenua13S, ahora resulta completamente redundante. Para
apreciar esto nos basta con entender que si una teora cientfica con133 En la terminologa de mi (1968b) esta teora era ad boct (cf. MCE, cap. 8,
n. 1); originalmente el ejemplo me lo sugiri Paul Feyerabend como un paradigma de teora valiosa ad hoc. Pero cf. abajo, p. 77, especialmente n. 191.
134 En la terminologa de mi (1968b) esta teora no era ad hoc sino ad boc
(cf. MCE, cap. 8, p. 242, n. 182). Para una ilustracin sencilla pero artificial,
consltese ibid., p. 179, n. 1. (Sobre ad hoc, cf. abajo, p. 117, n. 320.)
135 Cf. arriba, pp. 39-40.
;
57
sistente en algunas leyes de la naturaleza, ciertas condiciones iniciales, y teoras auxiliares (pero sin una clusula ceteris paribus) entra en conflicto con algunas proposiciones fcticas, no es necesario
decidir qu parte (explcita u oculta) debemos sustituir. Podemos
ensayar la sustitucin de cualquier parte y slo cuando hayamos logrado una explicacin de la anomala con la ayuda de algn cambio
acrecentador del contenido (o hiptesis auxiliar) y la naturaleza lo
corrobore, procederemos a eliminar el conjunto refutado. Por tanto, la falsacin sofisticada es un procedimiento ms lento pero posiblemente ms seguro que la falsacin ingenua.
Consideremos un ejemplo. Supongamos que el curso de un planeta difiere del curso anticipado. Algunos concluyen que esto refuta
la teora dinmica y gravitacional aplicada; las condiciones iniciales
y la clusula ceteris paribus han sido brillantemente corroboradas.
Otros concluyen que esto refuta las condiciones iniciales utilizadas
en los clculos: la teora dinmica y gravitacional ha sido magistralmente corroborada en los ltimos doscientos aos y resultaron ser
errneas todas las sugerencias relativas a la actuacin de otros factores. Otros, sin embargo, concluyen que la situacin refuta el supuesto subyacente de que no operaban otros factores excepto aquellos que se tenan en cuenta: tal vez estas personas estn influidas por el principio metafsico de que cualquier explicacin es slo
aproximada debido a la complejidad infinita de los factores involucrados en la determinacin de cualquier acontecimiento individual.
Debemos encomiar a los primeros por ser crticos, regaar a los
segundos por mostrarse interesados y condenar a los terceros como
apologistas? No. No necesitamos extraer ninguna conclusin sobre
tal refutacin. Nunca rechazamos una teora especfica por medio
de un simple fat. Si nos enfrentamos con una inconsistencia como
la mencionada no es necesario decidir qu ingredientes de la teora
consideraremos cmo problemticos y cuales como no problemticos;
estimamos que todos los ingredientes son problemticos a la luz del
conflictivo y aceptado enunciado bsico e intentamos sustituir todos
ellos. Si tenemos xito y sustituimos algn ingrediente de modo progresivo (esto es, de modo que el sustituto tenga ms contenido emprico corroborado que el original) decimos que ha sido falsado.
Tampoco necesitamos la quinta clase de decisin del falsacionista
ingenuo 13. Para apreciar esta cuestin examinemos de nuevo el problema de la evaluacin de las teoras (sintcticamente) metafsicas,
y el de su retencin y eliminacin. La solucin sofisticada es obvia. Retenemos una teora sintcticamente metafsica mientras los
Cf. arriba, pp. 41-42.
'
58
Imre Lakatos
casos problemticos puedan explicarse mediante cambios acrecentadores de contenido en las hiptesis auxiliares anejas a la misma 137.
Tomemos, por ejemplo, la metafsica cartesiana C: en todos los
procesos naturales hay un mecanismo de relojera regulado por principios animadores a priori. Esto es sintcticamente irrefutable; no
puede entrar en conflicto con ningn enunciado bsico-espaciotemporalmente singular. Por supuesto, puede entrar en conflicto con una
teora refutable como N: la gravitacin es una fuerza igual a m1rri2/
r2 que acta a distancia. Pero N slo se opondr a C si accin a
distancia se interpreta literalmente y como si representara, adems,
una verdad ltima, no reducible a causas an ms profundas. (Popper
llamara a sta una interpretacin esencialista). Alternativamente,
podemos considerar la accin a distancia como una causa mediata.
En tal caso interpretamos accin a distancia de forma figurada y
consideramos tal expresin como el apelativo de algn oculto mecanismo de accin por contacto. (Esta interpretacin puede ser calificada de nominalista). En este caso tratamos de explicar N por
medio de C como hicieron el mismo Newton y varios fsicos franceses del siglo xviii. Si una teora auxiliar que consigue llegar a esta
explicacin (o si se prefiere, a esta reduccin) origina nuevos hechos (esto es, si es independientemente contrastable) la metafsica
cartesiana debera ser considerada como metafsica valiosa, cientfica,
emprica y generadora de un cambio progresivo de problemtica. Una
teora, sintcticamente metafsica, progresiva, produce un continuo
cambio progresivo en su cinturn protector de teoras auxiliares. Si
la reduccin de la teora al marco conceptual metafsico no origina
nuevo contenido emprico ni tampoco hechos nuevos, entonces la
reduccin representa un cambio de problemtica regresivo; es un
mero ejercicio lingstico. Los esfuerzos cartesianos por remozar su
metafsica con la finalidad de explicar la gravitacin newtoniana
son un notable ejemplo de tal reduccin meramente lingstica u.
137 Esta condicin slo se puede formular con total claridad en trminos de
la metodologa de los programas de investigacin que se explicar en i 3; retenemos una teora sintcticamente metafsica como .centro firme de un programa de investigacin mientras que la heurstica positiva asociada produzca un
cambio progresivo en el cinturn protector de hiptesis auxiliares. Cf. abajo,
pp. 70-72.
138 Este fenmeno fue descrito en un excelente artculo de Whewell (1851),
pero no pudo explicarlo desde un punto de vista metodolgico. En lugar de
reconocer la victoria del programa progresivo de Newton sobre el programa
regresivo cartesiano, entendi que sta era la victoria de la verdad probada sobre
la falsedad. Para una discusin general de la demarcacin entre reduccin progresiva y regresiva, cf. Popper (1969a).
-.
_.'
'
,j>
'
. '
i
I
59
t tLakatos
tf
c r r 60r r r r r r r f r f f f t t t cImre
Los falsacionistas ingenuos no establecen ningn procedimiento
de apelacin anlogo. Aceptan un enunciado bsico si est respaldado
por una hiptesis falsadora bien corroborada 142 y permiten que destruya a la teora que se contrasta aun cuando conocen perfectamente
los riesgos involucrados 143. Pero no hay razn para que no consideremos a una hiptesis falsadora, y al enunciado bsico que apoya,
como igualmente problemticos que la hiptesis falsada. Ahora bien,
con qu precisin podemos manifestar el carcter problemtico de
un enunciado bsico? Sobre qu fundamentos pueden apelar y ganar los defensores de una teora falsada?
Algunos dirn que podemos continuar contrastando el enunciado
bsico (o la hiptesis falsadora) por sus consecuencias deductivas
hasta que por fin se alcance un acuerdo. Para esta con traslacin deducimos, con el mismo modelo deductivo, consecuencias adicionales a
partir del enunciado bsico y con la ayuda de la teora que se contrasta o bien de alguna otra teora que consideramos carente de problemas. Aunque este procedimiento no tiene un fin natural siempre
llegaremos a un punto en que desaparezcan los desacuerdos 144.
Pero cuando el terico apela contra el veredicto del experimentador, el tribunal de apelacin normalmente no investiga el enunciado bsico, sino que ms bien se interesa por la teora interpretativa
a cuya luz se ha establecido el valor de verdad de aqul.
Un ejemplo tpico de una serie de apelaciones con xito es la
lucha de los proutianos contra la evidencia experimental desfavorable;
desarrollada entre 1815 y 1911. Durante dcadas la teora de Prout,
T (todos los tomos son compuestos de tomos de hidrgeno, y por
ello los pesos atmicos de todos los elementos qumicos deben ser
expresables como nmeros enteros), se vea confrontada por hiptesis observacionales falsadoras como la refutacin de Stas, R
(el peso atmico del cloro es 35,5). Como es sabido, finalmente T
prevaleci sobre R145.
La primera etapa de cualquier crtica seria de una teora cientfica
es reconstruir y mejorar su articulacin lgico-deductiva. Hagamos
esto en el caso de la teora de Prout teniendo en cuenta la refutacin
de Stas. En primer lugar debemos comprender que en la formulacin
i Popper (1934), seccin 22.
Cf. e. g. Popper (1959a), p. 107, n. * 2. Tambin cf. arriba, pp. 41-45.
w Esto se argumenta en Popper (1934), seccin 29.
145 Agassi pretende que este ejemplo muestra que podemos retener las hiptesis a la vista de los hechos conocidos con la esperanza de que los hechos se
ajustarn a la teora en lugar de suceder lo contrario (1966, p. 18). Pero como
pueden ajustarse por s mismos los hechos? En qu condiciones particulares
ganara la teora? Agassi no suministra una respuesta.
1. %. m. . * -^ - , _
La metodologa de los programas de investigacin cientfica
61
62
Imre Lakatos
63
cr
64
ffffffffrfffffffftfft fCtfftfffff<
Imre Likatos
^a
metdologa
65
He analizado el problema de la evaluacin objetiva del crecimiento cientfico en trminos de cambios progresivos y regresivos
de problemticas para series de teoras cientficas. Las ms importantes de tales series en el crecimiento de la .ciencia se caracterizan
por cierta continuidad que relaciona a sus miembros. Esta continuidad se origina en un.programa de investigacin genuino concebido
en el comienzo. El programa consiste en reglas metodolgicas: algu-
as nos dicen las^ mtas" de ^vstigacin que "deben ser evitadas
(heurstica negativa), y otras, los caminos que deben seguirse (heurts-l
tica positiva)"5.
Incluso la ciencia en su conjunto puede ser considerada como un
enorme programa de investigacin dotado de la suprema regla heurstica de Popper: disea conjeturas que tengan ms contenido emprico que sus predecesor as. Como seal Popper, tales reglas metodolgicas pueden ser formuladas como principios metafsicos 156.
Por ejemplo, la regla anticonvencionalista universal contra la eliminacin de excepciones puede ser enunciada como el principio meta155 Se puede sealar que la heurstica positiva y negativa suministra una definicin primaria e implcita del marco conceptual (y por tanto del lenguaje).
El reconocimiento de que la historia de la ciencia es la historia de los programas
de investigacin en lugar de ser la historia de las teoras, puede por ello entenderse como una defensa parcial del punto de vista segn el cual lajstpria de
la ciencia^es la_histpria.de. los.marcos conceptuales o de los lenguajes cientficos"!
15S Popper 1934), secciones II y 707~tiliz "metafsico~cbmo ~n termin
tcnico perteneciente al falsacionismo ingenuo; una proposicin contingente es
metafsica si carece de falsadores potenciales.
66
Imre Lakatos
67
Todos los programas de investigacin cientfica pueden ser caracterizados por su ncleo firme. La^ heurstica negativa del programa impide que apliquemos el modus tollens.z este ndeojirme.
Por_el contrario, debemos utilizar "nuestra inteligencia para incorporar
e incluso~lnventar hiptesis_auxiliares que formen un cinturn_ protector en torno a ese centro, y contrasellas debemosdirigiretmodus
/bff.~Ercnturn protector de hiptesis auxiliares debe rabjirjtos
impaHos_jle_las jrontrastaciones y para defender al ncleo firme,
~sr~ajustado y reajustado e incluso completamente sustituido. Un
programa de investigacin tiene xito si ello conduce a un cambio
progresivo de problemtica; fracasa, si conduce a un cambio regresivo. '
"""
El ejemplo clsico de programa de investigacin victorioso es la
teora gravitacional de Newton: posiblemente el programa de investigacin con ms xito que ha existido nunca. Cuando apareci se
encontraba inmerso en un ocano de anomalas (o si se prefiere,
contraejemplos 1S9) y en contradiccin con las teoras observacionales que apoyaban a tales anomalas. Pero con gran inteligencia y
157 Watkins (1958). Watkins advierte que el bache lgico entre enunciados
y prescripciones en el terreno metafsico-metodolgico queda ilustrado por el
hecho de que una persona puede rechazar una doctrina (metafsica) en su forma
de enunciado fctico, y aceptarla en su versin prescriptiva. (Ibid., pp. 356-7.)
J5S Sobre este programa de investigacin cartesiano, cf. Popper (1960b) y
Watkins (1958), pp. 350-1.
139 Para una clarificacin de los conceptos contraejemplo y anomala,
cf. arriba, pp. 39-40, y especialmente abajo, pp. 96-97, y texto de n. 248.
a)
S i \~ -. /-> \%
'"\ '"-
&
c r r r c r r r c
68
c c
Imre Lakatos
latamente un nuevo hecho observado. Nuestro trmino intermitentemente suministra" suficiente espacio racional para que sea posible
la adhesin dogmtica a un programa a pesar de las refutaciones
de un heurstica negativa, de un programa de investigacin cientfica racionaliza en gran medida el ^
fico. Racionalmente es posible decicr que^no se permit
que las
refutaciones trasmitan la Jlsedad . al ^.%g ^
mente~el contenido emprico corroborado _del cmt^ror^ro
hiptesrauBnar^'Pero nuestro enfoque difiere df^
li^lstTfi5a5nista de Poincar porque, al contrario de Pomcar
mantenemos que el ncleo
s e r a a n o n a c n a g _
vosf eltoTs7^ro ncleo firme; al contrario del de Pomcar, pue"d derrumbarse en ciertas condiciones.
En este sentido estamos de acuerdo con Duhem quien pensaba
que hay que aceptar tal posibilidad M, aunque para Duhem la razn
de tal derrumbamiento, es puramente esttica146, mientras que para
nosotros es fundamentalmente lgica y emprica.
b)
rrrrrrrrrrrrccrf
La metodologa de los programas de investigacin cientfica
69
70
Imre Lakatos
71
fluir en su movimiento. Por tanto, y en general, la heurstica positiva es ms flexible que la heurstica negativa. Ms an, sucede en
ocasiones que cuando un programa de investigacin entra en una
fase regresiva, una pequea revolucin o urt cambio creativo de su
heurstica positiva puede impulsarlo de nuevo hacia adelante 17. Por
ello es mejor separar el centro firme de los principios metafsicos,
ms flexibles, que expresan la heurstica positiva.
Nuestras consideraciones muestran que la heurstica positiva avanza casi sin tener en cuenta las refutaciones; puede parecer que son
las verificacionesm y no las refutaciones las que suministran los
puntos de contacto con la realidad. Aunque se debe sealar que
cualquier verificacin de la versin (n+1) del programa es una
refutacin de la versin n, no podemos negar que algunas derrotas
de las versiones subsiguientes siempre son previstas; son las verificaciones las que mantienen la marcha del programa, a pesar de los
casos recalcitrantes.
Podemos evaluar los programas de investigacin incluso despus
de haber sido eliminados, en razn de su poder heurstico: cuntos hechos produjeron?, cuan grande era su capacidad para explicar sus propias refutaciones en el curso de su crecimiento?m.
(Tambin podemos evaluarlos por el estmulo que supusieron para
las matemticas. Las dificultades reales del cientfico terico tienen su
origen en las dificultades matemticas del programa ms que en las
anomalas. La grandeza del programa newtoniano procede en parte
del desarrollo (realizado por los newtonianos) del anlisis infinitesimal clsico, que era una precondicin crucial para su xito.)
Por tanto, la metodologa de los programas de investigacin cientfica explica la autonoma relativa de la ciencia terica: un hecho
histrico cuya racionalidad no puede ser explicado por los primeros
falsacionistas. La seleccin racional de problemas que realizan los
cientficos que trabajan en programas de investigacin importantes
est determinada por la heurstica positiva del programa y no por las
anomalas psicolgicamente embarazosas (o tecnolgicamente urgentes). Las anomalas se enumeran pero se archivan despus en la es170 La contribucin de Spddy al programa de Prout o la de Pauli al de
Bohr (la vieja teora cuntica) son ejemplos tpicos de tales cambios creativos.
171 Una verificacin es una corroboracin del exceso de contenido del
programa en expansin. Pero, natai aimente, una verificacin no verifica un
programa; slo muestra su poder heurstico.
172 Cf. mi (1963-4), pp. 324-30. Desgraciadamente, en 1963-4 an no haba
realizado una clara distincin terminolgica entre teoras y programas de investigacin y ello obstaculiz mi exposicin de un programa de investigaca de la
matemtica informal, cuasiemprica.
r c r r r r r r r r r r r r r r c f r r f r f r r r f r/ r r r c c r r c f t * f c t r r J ,
72
Imre Lakatos
73
peranza de que, llegado el momento, se convertirn en corroboraciones del programa. Slo aquellos cientficos que trabajan en ejercicios
de prueba y error173 o en una fase degenerada de un programa de
investigacin cuya heurstica positiva se qued sin contenido, se ven
obligados a redoblar su atencin a las anomalas. (Por supuesto, todo
esto puede parecer inaceptable a los falsacionistas ingenuos que mantienen que tan pronto como una teora queda refutada por un experimento [segn su libro de reglas] es irracional [y deshonesto]
continuar desarrollndola: la vieja teora refutada debe ser sustituida por una nueva, no refutada.)
a. abajo, p. 117.
Ya mencionado arriba, pp. 60-61.
Citemos las primeras lneas de su (1815): El autor del siguiente ensayo lo presenta al pblico con la mayor modestia... Sin embargo, confa en que se apreciar su importancia y que alguien emprender la tarea de examinarlo para verificar o refutar sus conclusiones. Si stas resultaran ser errneas, la investigacin
servir al menos para descubrir hechos nuevos o para establecer con mayor firmeza hechos antiguos; pero si las conclusiones fueran verificadas, toda la ciencia
de la qumica quedar iluminada de un modo nuevo e interesante.
177 Clerk Maxwell apoyaba a Stas: le pareca imposible que hubiera dos clases
de hidrgeno porque si algunas (molculas) fueran de una masa ligeramente
mayor que otras, tenemos los medios para conseguir una separacin de las molculas de masas diferentes, algunas de las cuales seran algo ms densas que
las otras. Como esto no se puede hacer, debemos admitir (que todas son anlogas) (Maxwell, 1871).
178 Marignac (1860).
"9 Crookes (1886).
75
Imre Lakatos
74
* " metodologa de
tando y \^
feal del
rama de
si
^Sa^
ser caracterizada por 1) su problema inicial; 2) su heurstica positiva y
negaba; 3)Pbs problemas que trat de solucionar en el curso de su
"
Ibid.
185 Estos tropiezos inevitablemente inducen a muchos cientficos individuales
a archivar o a. abandonar completamente el programa para vincularse a otros programas de investigacin en los que la heurstica positiva parezca ofrecer en el
momento xitos.ms fciles; la historia de la ciencia no puede entenderse completamente sin tener en cuenta la psicologa de las masas (cf. abajo, pp. 119-23).
186 De nuevo esta seccin puede parecerle al historiador una caricatura ms
que un resumen, pero confo en que cumplir su funcin (cf. arriba, p. 72).
Algunas de sus afirmaciones deben sazonarse no ya con un poco sino con toneladas de sal.
r r c r r r r r r
r r r r c c cv r c c r
ccccffrrfrcfetccfftf * ,
La metodologa de los programas de investigacin cientfica
Imre Lakatos
dan de.
de que el
qrbka
77
antiguo.
Bien pudo ser el xito de su programa injertado lo que ms tarde indujo errneamente a Bohr a creer que tales inconsistencias fundamentales en los programas de investigacin pueden y deben ser
aceptadas en principio, que no presentan ningn problema serio y que
simplemente debemos acostumbrarnos a ellas. En 1922 Bohr trat de
dulcificar los criterios de la crtica cientfica; argument que lo mximo que se puede pedir a una teora (esto es, a un programa) es que la
clasificacin (que establece) pueda llevarse tan lejos que contribuya
al desarrollo del rea de observacin mediante la prediccin de fenmenos nuevos-192.
Esta afirmacin de Bohr es similar a la de d'Alembert cuando
ste se enfrent a la inconsistencia de los fundamentos de la teora
infinitesimal: Allez en avant et la foi vous vienra. Segn Margenau, se comprende que, emocionados por su xito, estos hombres
CS iSb2*.
Imre Lakatcs
78
79
m
194
195
196
197
198
199
rrrrffffffrrffffffffrc
80
Imre Lakatos
81
82
Imre Laicatos
83
r r r r r
c r r ' :- : r r ( f - r f f \a metodologa de lo
r r
85
Imre Lakatos
84
De hecho, el problema de Bohr no era explicar las series de Balmer y Paschen, sino explicar la paradjica estabilidad del tomo de
Rutherford. Mas an, Bohr ni siquiera conoca estas frmulas antes
de escribir la primera versin de su artculo zu.
/
No todo el contenido nuevo del primer modelo de ^ohr, Mt, fue
corroborado. Por ejemplo, en Mi Bohr pretendi ser capaz de predecir todas las lneas del espectro de emisin del hidrgeno. Pero
exista evidencia experimental de una serie de hidrgeno que segn
Mi de Bohr no deba existir. La serie anmala era la 'serie ultravioleta Pickering-Fowler.
Pickering descubri esta serie en 1896 en l espectro de la estrella f Puppis. Fowler, tras haber descubierto su primera lnea tambin en el sol en 1898, produjo toda la serie en un tubo de descarga
que contena hidrgeno y helio. Ciertamente se poda argumentar que
la lnea monstruo nada tena que ver con el hidrgeno; despus de
todo, el sol y ? Puppis contienen muchos gases y el tubo de descarga tambin contena helio. Realmente la lnea no poda producirse
en un tubo de hidrgeno puro. Pero la tcnica experimental d
Pickering y Fowler, que origin una hiptesis falsadora de la ley de
Balmer, tena un fundamento terico plausible aunque nunca severamente contrastado: a) sus series tenan el mismo nmero de convergencia que las series de Balmer y por ello se acept que era una
serie de hidrgeno, y b) Fowler dio una explicacin plausible por la
que el helio no poda ser responsable de la produccin de la serie .
Sin embargo, Bohr no qued muy impresionado por la autoridad de los fsicos experimentales. No puso en duda su precisin
experimental o la fiabilidad de sus observaciones sino que atac
su teora observacional. Realmente propuso una alternativa. Primero
elabor un nuevo modelo Mz de su programa de investigacin: el
modelo de helio ionizado con un doble protn orbitado por un elec2
212
trn. Ahora este modelo predeca una serie ultravioleta en el espectro de helio ionizado que coincide con las series Pickering-Fowler.
Esta era una teora rival. Entonces sugiri un experimento crucial:
predijo que la serie de Fowler puede producirse, posiblemente con
lneas an ms fuertes, en un tubo lleno de una mezcla de helio y
cloro. Adems Bohr explic a los experimentadores, sin mirar siquiera
a sus aparatos, el poder cataltico del hidrgeno en el experimento
de Fowler y del cloro en el que l sugera 2U. Tena razn214. De este
modo la primera derrota aparente del programa de investigacin se
convirti en una resonante victoria.
Sin embargo, la victoria inmediatamente fue puesta en duda.
Fowler acept que su serie no era una serie de hidrgeno sino de
helio. Pero seal que el ajuste de la anormalidad de Bohr 215 fracasaba de todas formas: las longitudes de onda de la serie de Fowler
difieren de forma importante de los valores previstos por el vfc de
Bohr. Por tanto, la serie, aunque no refuta a Mi, refuta a Mi y debido a la estrecha conexin entre Mi y Mj debilita a Mi216.
Bohr rechaz el argumento de Fowler: por supuesto l nunca
haba pretendido que Ma se tomara demasiado en serio. Sus valores
estaban basados en un clculo rudimentario aplicado al electrn en
rbita alrededor de un ncleo fijo; por supuesto, en realidad gira en
torno al centro comn de gravedad; por supuesto,, lo mismo que
sucede cuando se tratan problemas de dos cuerpos, es necesario sustituir la masa por la masa reducida: m, = m e /[l + (m,/nin)] 217. Este
modelo modificado fue el Ms de Bohr. Y el mismo Fowler tuvo que
admitir que Bohr de nuevo tena razn218.
La refutacin aparente de Mj se convirti en una victoria de M$
y era claro que Mz y Mj hubieran sido desarrollados en el seno del
programa (tal vez tambin Mn o Ma>) sin ningn estmulo observa2 Bohr (1913b).
2M Evans (1913). Para un ejemplo similar de un fsico terico que ensea
al experimentalista proclive a descubrir refutaciones, lo que l (el experimentalista) ha observado realmente, cf. arriba, p. 63, n. 151.
215 Ajuste de anormalidades: convertir a un contraejemplo en un ejemplo
mediante alguna nueva teora. Cf. mi (1963-4), pp. 127 y ss. Pero el ajuste
de Bohr fue empricamente progresivo: predijo un hecho nuevo (la aparicin de
la lnea 4686 en tubos que no contienen hidrgeno).
2i Fowler (1913a).
217 Bohr (1913c). Este ajuste de la anormalidad tambin fue progresivo;
Bohr predijo que las observaciones de Fowler tenan que ser ligeramente imprecisas y que la constante de Rydberg deba tener una estructura fina.
218 Fowler (1913b). Pero observ escpticamente que el programa de Bohr
an no haba explicado las lneas del espectro del helio ordinario, no ionizado.
Sin embargo, pronto abandon su escepticismo y se uni al programa de investigacin de Bohr (Fowler, 1914).
86
Imre Lakatos
87
219 Cf. Hevesy (1913): Cuando le habl del espectro de Fowler los grandes
ojos de Einstein parecieron an mayores y me dijo: "Entonces es uno de los
mayores descubrimientos."
220 Sobre los esenciales aspectos matemticos de los programas de investigacin, cf. arriba, p. 71.
221 Michelson (1891-2), especialmente pp. 287-9. Michelson ni siquiera menciona a Balmer.
222 Moseley (1914).
= Sommerfeld (1916), p.68.
crcrrcrrcrrrrrrrffc*
La metodologa de los programas de investigacin cientfica
89
Podemos admirar este caso como un ejemplo clsico de trabajo terico y experimental conjunto.
2) Otra posibilidad sera imaginar a un Bohr solitario (posiblemente sin que le precediera Balmer) elaborando Hi, Ha, Hj, HU,
pero que por razones de autocrtica no publica hasta 4. Despus
se contrasta H y toda la evidencia se convierte en corroboraciones
de H*, la primera (y nica) hiptesis publicada. En este caso se advierte que el terico va por delante del experimentador: se trata de
un perodo de autonoma relativa del progreso terico.
3) Imaginemos que toda la evidencia emprica mencionada en
estos tres modelos est disponible en el momento de invencin de
Hi, Ha, H y H4. En este caso, Hi, Hz, Ha, H4 no representa un cambio progresivo de problemtica y por ello, aunque toda la evidencia
apoye a sus teoras, el cientfico debe continuar trabajando para
probar el valor cientfico de su programa227. Esta situacin puede
originarse bien porque un programa de investigacin ms antiguo
(que ha sido atacado por el que conduce a Hi, Ha, Ha, H4) ya haba
producido tales hechos o porque hay mucho dinero pblico destinado
a la recopilacin de hechos sobre las lneas del espectro y hubo mercenarios que tropezaron con tales datos. Sin embargo, este ltimo
caso es muy improbable porque, como sola decir Cullen, el nmero
de hechos falsos defendidos en el mundo es infinitamente superior al
de teoras falsas228; en la mayora de tales casos el programa de
investigacin entrar en conflicto con los hechos disponibles, el terico examinar las tcnicas experimentales del experimentador y,
tras destruirlas y sustituirlas, corregir los hechos produciendo as
otros nuevos229.
Tras esta digresin metodolgica regresemos al programa de
Bohr. No todos los desarrollos del programa fueron previstos y pla227 Esto muestra que si exactamente las mismas teoras y la misma evidencia
se reconstruyen racionalmente en diferentes rdenes temporales, pueden constituir
p bien un cambio progresivo o regresivo. Tambin cf. MCE, cap. 8, pp. 239-40.
228 Cf. McCulloch (1825), p. 19. Se encontrar un poderoso argumento sobre
lo extremadamente improbable de tal pauta abajo, p. 94.
229 Tal vez deberamos mencionar que la recopilacin manitica de datos y la
excesiva precisin impiden incluso la formacin de hiptesis empricas ingenuas
como la de Balmer. De haber conocido Balmer el espectro preciso de Michelson,
hubiera descubierto su frmula? O bien, si los datos de Tycho Brahe hubieran
sido ms precisos, se hubiera formulado nunca la ley elptica de Kepler? Lo
mismo es aplicable a la primera versin ingenua de la ley general de los gases, etc.
La conjetura de Descartes y Euler sobre poliedros puede que nunca hubiera
aparecido de no ser por la escasez de datos; cf. mi (1963-4), pp. 298 y ss.
90
Imre Lakatos
[(m+1)2m2].
Pero la frmula qued refutada. Los seguidores de Bohr sustituyeron el trmino m2 por m(m+l); esto se ajustaba a los hechos,
pero evidentemente era una alteracin ad hoc.
230 Entre la aparicin de la gran triloga de Bohr de 1913 y el nacimiento
de la mecnica ondulatoria en 1925, se public un gran nmero de artculos
que convertan las ideas de Bohr en una impresionante teora sobre los fenmenos atmicos. Se trat de un esfuerzo colectivo y los nombres de los fsicos que
contribuyeron al mismo forman una larga lista: Bohr, Klein, Rosseland, Kramers,
Pauli, Sommerfeld, Planck, Einstein, Ehrenfest, Epstein, Debye, Schwarzschild,
Wilson (Ter Haar, 1967, p. 43).
91
( < (" C
r r r r c <"
92
-t
93
Imre Lakatos
94
Imre Lakatos
95
v r v t . ^ f f f f r f f f r t
96
Tmre Lakatos
en tales casos el procedimiento de apelacin origina un conflicto entre dos programas de investigacin; en tales casos un experimento
crucial fundamental puede ser necesario.
Cuando compiten dos programas de investigacin, sus primeros
modelos ideales normalmente se ocupan de diferentes aspectos del
dominio (por ejemplo, el primer modelo de la ptica semicorpuscular
de Newton describa la refraccin de la luz; el primer modelo de
la ptica ondulatoria de Huyghens, la interferencia de la luz). Conforme se expanden los programas de investigacin rivales, gradualmente penetran en el territorio del otro hasta suceder que la versin n del primero es inconsistente de forma flagrante y dramtica
con la versin m del segundo 245. Se realiza repetidamente un experimento y como resultado, el primero es derrotado en esta batalla
mientras que gana el segundo. Pero la guerra no ha terminado: a
cualquier programa se le permiten unas cuantas derrotas como sta.
Todo lo que necesita para un contraataque es producir una versin
acrecentadora de contenido (n + 1) o (n + k) y una verificacin de
una parte de su contenido nuevo.
Si tras continuados esfuerzos tal contraataque no se produce, la
guerra se ha perdido y el experimento original se considera retrospectivamente como crucial. Pero especialmente si el programa derrotado es un programa joven y de crecimiento rpido y si decidimos
otorgar crdito suficiente a sus xitos precientficos, los experimentos
cruciales se disuelven uno tras otro con la ola de su marcha ascendente. Incluso si el programa derrotado es un programa antiguo y
gastado, prximo a su punto de saturacin natural 246, puede continuar resistiendo durante mucho tiempo, defendindose con ingeniosas innovaciones acrecentadoras de contenido aun cuando stas no
obtengan la recompensa del xito emprico. Es muy difcil derrotar
a un programa de investigacin que est defendido por cientficos
imaginativos y de talento. Alternativamente los defensores recalci245 Un caso especialmente interesante de tal competencia es la simbiosis competitiva; aquellos casos en que un nuevo programa se injerta en otro viejo con
el que es inconsistente; cf. arriba, p. 78.
M No existe un punto de saturacin natural; en mi (1963-4), especialmente en las pginas 327-8, me mostr con mayor talante hegeliano y pens que tal
cosa exista; ahora utilizo la expresin de forma irnica. No existe una limitacin
predecible o descubrible de la imaginacin humana para inventar teoras nuevas
y acrecentadoras de contenido, ni de la destreza de la razn (List der Vernunft) para recompensarlas con algn xito, emprico aunque sean falsas o incluso
si la nueva teora tiene menos verosimilitud (en el sentido de Popper) que su
predecesora. (Probablemente cualquier teora cientfica formulada por un ser humano ser falsa; sin embargo, puede ser recompensada con xitos empricos e incluso tener una verosimilitud creciente.)
97
ffrffrrrrfrrrfffftfff
*. *
Imre Lakatos
98
y condujo a la teora de la relatividad; despus analizar los experimentos Lummer-Pringsheim que supuestamente refutaron a la
teora clsica de la radiacin y condujeron a la teora cuntica 2*9.
Por fin discutir un experimento del que muchos fsicos pensaron
que sera decisivo contra las leyes de conservacin, pero que, de hecho, termin como su corroboracin ms victoriosa.
di)
El experimento Michelson-Morley
, , f f f T t 1 1 111 * 11 f T
La metodologa de los programas de investigacin cientfica
99
100
Imre Lakatos
Mientras que algunos tericos del ter, como Kelvin, no confiaban en la habilidad experimental de Michelson 2S8, Lorentz seal que
a pesar de la ingenua pretensin de Michelson, ni siquiera su nuevo
experimento suministra evidencia alguna relacionada con el problema por el que ha sido llevado a cabo259. Es perfectamente posible
considerar la teora de Fresnel como una teora interpretativa que
interpreta los hechos en lugar de ser refutada por ellos, y en tal caso,
como mostr Lorentz, la importancia del experimento MichelsonMorley radica ms bien en el hecho de que puede ensearnos algo
sobre los cambios de dimensiones 26: las dimensiones de los cuerpos son afectadas por sus movimientos a travs del ter. Lorentz
elabor este cambio creativo del programa de Fresnel con gran
habilidad y por ello pretendi haber eliminado la contradiccin entre la teora de Fresnel y el resultado de Michelson 261. Pero admiti
que puesto que la naturaleza de las fuerzas moleculares nos es enteramente desconocida, resulta imposible contrastar la hiptesisaa;
al menos en ese momento no poda predecir hechos nuevos 263.
es, treinta y tres aos ms tarde, afirm que del experimento de 1887 .debemos
concluir que el viento de ter no existe (subrayado aadido).
258 Kelvin dijo en el Congreso Internacional de Fsica de 1900 que la nica
nube en el cielo claro de la teora del ter era el resultado nulo del experimento
Michelson-Morley (cf. Miller, 1925) e inmediatamente persuadi a Morley y a
Miller, que estaban all, para que repitieron el experimento.
289 Lorentz (1852a).
260 Ibid. (subrayado aadido).
261 Lorentz (185).
262 Lorentz (1892b).
263 Fitzgerald, al mismo tiempo e independientemente de Lorentz, cre una
versin contrastable de este cambio creativo que rpidamente fue refutada
por los experimentos de Trouton, Rayleigh y Brace; era progresiva desde un
punto de vista terico pero no emprico. Cf. Whittaker (1947), p. 53, y Whittaker (1953), pp. 28-39.
Existe una opinin generalizada segn la cual la teora de Fitzgerald era
ad -hoc. Lo que quieren decir los fsicos contemporneos es que la teora era
ad hoc (cf. arriba, p. 56, n. 133): No exista evidencia emprica (positiva) independiente en su favor (cf. e.g. Larmor, 1904, p. 624). Ms tarde y bajo la influencia de Popper, el trmino ad hoc fue usado fundamentalmente en el
sentido de ad hoc; no exista una contrastacin independiente posible para ella.
Pero como muestran los experimentos refutadores, es un error pretender, como
hace Popper, que la teora de Fitzgerald era ad hoc\. Popper, 1934, seccin 20).
Ello muestra una vez ms la importancia de distinguir entre ad hoc y ad hoc.
Cuando Grunbaum, en su (1959a) seal el error de Popper, ste admiti
el mismo, pero replic que la teora de Fitzgerald ciertamente era ms ad hoc
que la de Einstein (Popper, 1959b) y que eUo suministraba otro ejemplo excelente de "grados de la condicin ad hoc" y una de las tesis principales de (su)
libro era precisamente que los grados de la condicin ad hoc estn (inversamente) relacionados con los grados de contrastabilidad e importancia. Pero la dife-
101
102
loare Lakatos
futado la teora de Fresnel y verificado la de Stokes. Tanto Michelson como Fitzgerald y Lorentz, posteriormente, explicaron el resultado positivamente en el seno del programa del tera69. Como sucede
con todos los resultados experimentales, su negatividad con relacin
al programa antiguo slo fue establecida ms tarde mediante la lenta
acumulacin de intentos ad hoc para explicarlo de acuerdo con el
antiguo y regresivo programa, y mediante el establecimiento gradual
de un nuevo programa victorioso progresivo del que se ha convertido
en un caso corroborador. Pero nunca se pudo excluir, en trminos
racionales, la posibilidad de rehabilitar alguna parte del antiguo programa regresivo.
Slo un proceso extremadamente difcil e indefinidamente largo
puede establecer la victoria de un programa de investigacin sobre
su rival; y no es prudente utilizar la expresin experimento crucial
de forma apresurada. Incluso cuando se advierte que un programa de
investigacin desplaza a su predecesor, tal desplazamiento no se debe
a los experimentos cruciales, e incluso si ms tarde se ponen en
duda algunos de tales experimentos cruciales, el nuevo programa de
investigacin no puede ser frenado sin un poderoso y progresivo resurgimiento del programa antiguo m. La negatividad y la importancia
del experimento Michelson-Morley radica fundamentalmente en el
cambio progresivo del nuevo programa de investigacin al que prest
un fuerte apoyo, y su grandeza no constituye sino un reflejo de
la grandeza de los dos programas implicados.
Sera interesante ofrecer un anlisis detallado de los cambios
opuestos involucrados en el decadente destino de la teora del ter.
Bajo la influencia del falsacionismo ingenuo la fase regresiva ms
interesante de la teora del ter posterior al experimento crucial
de Michelson fue simplemente ignorada por la mayora de los seguidores de Einstein. Creyeron que el experimento Michelson-Morley
derrotaba de un solo golpe a la teora del ter cuya persistencia slo
269 En realidad el excelente texto de Fsica de Chwolson deca en 1902 que
la probabilidad de la hiptesis del ter roza la certeza (cf. Einstein, 1909,
p. 817).
270 Polanyi se complace en explicar que Miller en 1925, y en su alocucin
presidencial a la American Physical Society, anunci que a pesar de los informes
de Michelson y Morley, l contaba con una evidencia demoledora en favor de
la corriente de ter; a pesar de ello permaneci fiel a la teora de Einstein.
Polanyi concluye que ningn aparato conceptual objetivista puede explicar la
aceptacin o el rechazo de las teoras por parte de los cientficos (Polanyi, 1958,
pp. 12-14). Pero mi reconstruccin convierte la tenacidad del programa de investigacin einsteniano ante la supuesta evidencia contraria, en un fenmeno
completamente racional y por ello debilita el mensaje mstico post-crtco de
Polanyi.
103
cctcrrfrcr
104
f C f f f f f C
\ x
Imre Lakatos
cara la correccin (me avergenza confesarlo) fue que me senta descorazonado por la escasa atencin que reciba mi trabajo y pens que
no mereca la penam. Por cierto, esta carta era una respuesta a
una carta de Rayleigh que hizo que Michelson conociera el artculo
de Lorentz. Esta carta desencaden el experimento de 1887. Pero
incluso despus de 1887 e incluso despus de 1905 el experimento
Michelson-Morley no fue generalmente considerado como una refutacin de la existencia del ter y ello por buenas razones. Puede que
ello explique el que a Michelson se le otorgara su Premio Nobel en
1907 no por refutar la teora del ter sino por sus instrumentos
pticos de precisin y por las investigaciones espectroscpicas y metodolgicas llevadas a cabo con su ayuda 21, y el que el experimento
Michelson-Morley ni siquiera fuera mencionado en los discursos de
concesin. Michelson no lo mencion en su Conferencia Nobel y silenci el hecho de que aunque puede que originalmente diseara sus
instrumentos para medir con precisin la velocidad de la luz, se vio
obligado a mejorarlos para contrastar algunas teoras especficas del
ter y que la precisin de su experimento de 1887 fue en gran
parte debida a la crtica terica de Lorentz, un hecho que nunca
menciona la literatura contempornea habitual276.
Por fin, se tiende a olvidar que incluso si el experimento Michelson-Morley hubiera mostrado la existencia de un viento de ter,
el programa de Einstein pudiera haber resultado victorioso a pesar
de todo. Cuando Miller277, un entusiasta defensor del programa clsico del ter public su sensacional conclusin de que el experimento
Michelson-Morley se haba desarrollado imperfectamente y que, de
hecho, exista un viento de ter, el corresponsal de Science afirm
que los resultados del profesor Miller destruyen radicalmente la teora de la relatividad. Sin embargo, segn Einstein, incluso si el informe de Miller hubiera sido acorde con los hechos (slo) la forma
actual de la teora de la relatividad tendra que ser abandonada xn.
Shankland (1964), p. 29.
Subrayado aadido.
El mismo Einstein pensaba que Michelson dise su interfermetro para
contrastar la teora de Fresnel (cf. Einstein, 1931). Por cierto, los primeros experimentos de Michelson sobre lneas del espectro (como su 1881-2) tambin eran
relevantes para las teoras del ter de aquel tiempo. Michelson slo exager su
xito en las mediciones precisas cuando qued decepcionado por su falta de
xito para evaluar su relevancia con relacin a las teoras. Einstein, a quien desagradaba la precisin como meta final, le pregunt por qu dedicaba tantas energas a conseguirla. La respuesta de Michelson fue porque ello le diverta
(cf. Einstein, 1931).
277 En 1925.
278 Einstein (1927); subrayado aadido.
274
275
276
- V
105
Vamos a discutir otro supuesto experimento crucial. Planck pretendi que los experimentos de Lummer y Pringsheim que refutaron las leyes de radiacin de Wien, Rayleigh y Jeans hacia finales
del siglo, condujeron a (o incluso originaron) la teora cuntica280. Pero de nuevo el papel desempeado por aquellos experimentos es mucho ms complicado y est muy en lnea con nuestro enfoque. No se trata simplemente de que los experimentos de Lummer
y Pringsheim terminaran con el enfoque clsico y fueran ntidamente explicados por la fsica cuntica. Por otra parte, algunas de las
versiones tempranas de la teora cuntica debidas a Einstein implican
la ley de Wien y por ello quedaron tan refutadas por los experimentos de Lummer y Pringsheim como la teora clsica281. Por otra parte,
se ofrecieron varias explicaciones clsicas de la frmula de Planck.
Por ejemplo, en la reunin de 1913 de la British Association for the
Advancement of Science se produjo una reunin especial sobre radiacin a la que asistieron entre otros Jeans, Rayleigh, J. J. Thomson,
Larmor, Rutherford, Bragg, Poynting, Lorentz, Pringsheim y Bohr.
Pringsheim y Rayleigh fueron cuidadosamente neutrales sobre las especulaciones tericas cunticas, pero el profesor Love represent el
punto de vista tradicional y mantuvo la posibilidad de explicar los
hechos relativos a la radiacin sin adoptar la teora cuntica. Critic
la aplicacin de la teora sobre la equidistribucin de la energa sobre la que descansa una parte de la teora cuntica. La evidencia ms
importante en favor de la teora cuntica es el acuerdo con los experimentos de la frmula de Planck para la capacidad de emisin de un
279 Synge (1952-4).
8 Planck (1929). Popper, en su (1934), seccin 30, y Gamow en su (1966),
p. 37, se ocupan de este texto. Por supuesto, los enunciados observacionales no
conducen a una teora determinada de forma nica.
281 Cf. Ter Haar (1967), p. 18. Un programa de investigacin en desarrollo
normalmente comienza por explicar leyes empricas ya refutadas, y esto, teniendo en cuenta mi enfoque, puede ser considerado racionalmente cmo un
xito.
106
Imre Lakatos
cuerpo negro. Desde un punto de vista matemtico pueden existir muchas otras frmulas que coincidan igualmente bien con los experimentos. Se trat de una frmula de la que es autor A. Korn que ofreca
resultados para un amplio nmero de casos y que consegua una correspondencia con los resultados experimentales tan buena como la
conseguida por la frmula de Planck. Como argumento adicional en
favor de que los recursos de la teora ordinaria no han sido agotados
seal que puede ser posible extender a otros casos el clculo de la capacidad de emisin de una lmina delgada que se debe a Lorentz. Para
este clculo ninguna expresin analtica sencilla puede representar los
resultados para todas las posibles longitudes de onda, y puede suceder que, en general, no exista una frmula sencilla aplicable a todas
las longitudes d onda. Puede que la frmula de Planck no sea, de
hecho, sino una frmula emprica282. Un ejemplo de explicacin
clsica fue la de Callendar: El desacuerdo con los experimentos de
la frmula muy conocida de Wien sobre distribucin de energa en
condiciones de radiacin plena puede ser fcilmente explicado si suponemos que slo representa la energa intrnseca. El valor correspondiente de la presin puede ser fcilmente deducido por referencia
al principio de Carnot, como ha indicado lord Rayleigh. La frmula
que yo he propuesto (Phil. Mag., octubre 1913) consiste simplemente en la suma de la presin y densidad de la energa as obtenidas,
y produce una correspondencia muy satisfactoria con los resultados
experimentales tanto para la radiacin como para el calor especfico.
Creo que es preferible a la frmula de Planck porque (entre otras
razones) esta ltima no puede ser reconciliada con la termodinmica
clsica e implica la concepcin de un cuanto o unidad de accin indivisible, que resulta inconcebible. La magnitud fsica correspondiente en mi teora, que en otro lugar he llamado molcula de calrico, no es necesariamente indivisible, pero tiene una relacin muy
sencilla con la energa intrnseca del tomo, que es todo lo que se
necesita para explicar el hecho de que la radiacin, en casos especiales, puede ser emitida en unidades atmicas que son mltiplos de
una magnitud particular 283.
Estas citas pueden haber sido tediosamente largas pero al menos
muestran una vez ms, y convincentemente, la ausencia de experimentos cruciales instantneos. Las refutaciones de Lummer y Pringsheim
no eliminaron el enfoque clsico del problema de la radiacin. La
situacin puede describirse mejor sealando que la frmula original
Nature (1913-14), p. 306 (subrayado aadido).
20 Callendar (1914).
252
107
C C f c r r r r r r r r r r r cc
108
3)
ffccrrcccrcccrt?,
Imre Lakatos J
109
110
Imre Lakatos
111
o*-* y
30* Shankland (1936).
rcrcffff
112
r r
r r r r f rC ^ffftfftfcerrr****
Imre Lakatos
113
Imre Lakatcs
114
3U
115
rrrcrrrrrrrrrrrrcr f f f f f f
116
Imre Lakatos
A la luz de mis consideraciones la idea de racionalidad instantnea puede considerarse utpica. Pero esta idea utpica caracteriza
a la mayora de las epistemologas. Los justificacionistas queran
que las teoras cientficas fueran probadas incluso antes de ser publicadas; los probabilistas confiaban en que una mquina indicara
instantneamente el valor (grado de confirmacin) de una teora dada
la evidencia existente; los falsacionistas ingenuos confiaban en que,
al menos, la eliminacin era el resultado instantneo del veredicto
experimental3". Confo haber mostrado que todas estas teoras de
la racionalidad instantnea (y del aprendizaje instantneo) constituyen un fracaso. Los estudios, contenidos en esta seccin, de distintos
casos, muestran que la racionalidad funciona con mayor lentitud de
lo que tendemos a pensar, y adems de forma falible. La lechuza de
Minerva vuela al anochecer. Tambin confo haber probado que la
continuidad de la ciencia, la tenacidad de algunas teoras, la racionalidad de cierta magnitud de dogmatismo, slo pueden explicarse si
interpretamos la ciencia como un campo de batalla de los programas
de investigacin y no de las teoras aisladas. Podemos comprender
muy poco del crecimiento de la ciencia si nuestro paradigma de la
unidad del conocimiento cientfico es una teora aislada como Todos los cisnes son blancos, una teora independiente, no incorporada
a un programa de investigacin importante. Mi exposicin implica
un nuevo criterio de demarcacin entre ciencia madura, que consiste
en programas de investigacin, y ciencia inmadura, que consiste en
una remendada secuencia de ensayos y errores318. Por ejemplo, podemos hacer una conjetura, que posteriormente queda refutada y que,
an ms tarde, es recuperada mediante una hiptesis auxiliar que
no es ad hoc en el sentido que hemos analizado previamente. Puede
predecir hechos nuevos algunos de los cuales puede que incluso resulten corroborados319. Con todo, es posible conseguir tal progreso
317 Por supuesto, a los falsacionistas ingenuos puede llevarles algn tiempo
el alcanzar un veredicto experimental: el experimento debe ser repetido y considerado crticamente. Pero una vez que la discusin concluye y se alcanza el
acuerdo de los expertos, convirtindose as en aceptado un particular enunciado bsico, y decidindose qu teora particular queda alcanzada por el mismo, el falsacionista ingenuo tendr poca paciencia con aquellos que an discuten.
318 La elaboracin de esta demarcacin en los dos prrafos siguientes fue mejorada cuando el texto ya estaba en la imprenta, gracias a la valiossima discusin
con Paul Meehl en Minnepolis en 1969.
319 Con anterioridad, en mi (1968b) (MCE, cap. 8) yo distingu, siguiendo a
Popper, dos criterios para identificar el carcter ad boc. Llam ad hoc\ aquellas
teoras que no tenan exceso de contenido con relacin a sus predecesoras (o
competidoras); esto es, que no predecan ningn hecho nuevo; llam ad boc
a las teoras que predecan hechos nuevos, pero que fracabasan completamente
117
118
Imre Lakatos
!".
>.
.
119
c r r fT f f f f f c r c r r r c , > v v
120
f rcrfcrcrerrerf
121
Lnre Lakatos
122
Imre Lakatos
regresivos de problemtica, suministrar una descripcin de la empresa cientfica que en muchos sentidos es diferente de la suministrada por la reconstruccin consistente en una sucesin de teoras
audaces y fracasos dramticos. Sus aspectos principales fueron desarrollados a partir de las ideas de Popper y en particular a partir de
su condena de las estratagemas convencionalistas, esto es, reductoras de contenido. La principal diferencia con respecto a la versin
original de Popper creo que es que, segn mi punto de vista, la
crtica no destruye (ni debe destruir) con la rapidez que imaginaba
Popper. La crtica destructiva, puramente negativa, como la refutacin' o la demostracin de una inconsistencia no elimina un programa de investigacin. La crtica de un programa es un proceso largo
y a menudo frustrante; hay que tratar a los programas en crecimiento
sin severidad333. Por supuesto, se puede mostrar la degeneracin de
un programa de investigacin, pero slo la crtica constructiva, con la
ayuda de programas de investigacin rivales, puede conseguir un xito
real, y los resultados dramticamente espectaculares se hacen visibles
slo retrospectivamente y mediante la reconstruccin racional.
Kuhn ciertamente prob que la psicologa de la ciencia puede
revelar verdades importantes y, en realidad, tristes. Pero la psicologa de la ciencia no es autnoma; el crecimiento (reconstruido racionalmente) de la ciencia esencialmente tiene lugar en el mundo de las
ideas, en el tercer mundo de Platn y de Popper, en el mundo del
conocimiento articulado que es independiente de los sujetos que conocen 334. El programa de investigacin de Popper trata de conseguir
una descripcin de este crecimiento cientfico objetivo33S. El progra333 La resistencia de los economistas y de otros cientficos sociales a aceptar
la metodologa de Popper parcialmente puede haberse debido al efecto destructivo del falsacionismo ingenuo sobre los programas de investigacin en desarrollo.
334 El primer mundo es el mundo de la materia, el segundo es el mundo
de la conciencia y el tercero, el mundo de las proposiciones, de la verdad y de
los criterios: el mundo del conocimiento objetivo. Los loci classid modernos
sobre este tema son Popper (1968a) y Popper (1968b); tambin cf el impresionante programa de Toulmin establecido en su (1967). Se debe mencionar aqu
que muchos textos de Popper (1934) e incluso de (1963a) suenan como descripciones de un contraste psicolgico entre la Mente Crtica y la Mente Inductiva.
Pero en gran medida los trminos psicologistas de Popper pueden ser reinterpretados en trminos del tercer mundo: consltese Musgrave (1974).
335 De hecho el programa de Popper se extiende ms all de la ciencia. El
concepto de cambios de problemtica progresivos y regresivos, y la idea de
la proliferacin de teoras pueden ser generalizados a cualquier clase de discusin racional sirviendo as como instrumentos de una teora general de la crtica; cf. abajo, captulos 2 y 3. (Mi 1963-64 puede considerarse como la historia
de un programa de investigacin no emprico progresivo; el cap. 8 de MCE
contiene la historia del programa regresivo no emprico de la lgica inductiva.)
123
rrrrrcrecrrrrrrrr(
r r r
imre Lakatos
125
26
Imre Lakatos
tica positiva del programa de investigacin original. Este nuevo requisito nos introduce en el problema de la continuidad de la ciencia.
El problema de la continuidad de la ciencia fue suscitado por
Popper y sus seguidores hace mucho tiempo. Cuando yo propuse
mi teora del crecimiento basada en la nocin de programas de investigacin competitivos, estaba siguiendo una vez ms y tratando
de mejorar la tradicin popperiana. El mismo Popper en su (1934)
ya haba insistido en la importancia heurstica de la metafsica influyente *** y fue considerado por algunos miembros del Crculo de
Viena como el campen de la peligrosa metafsica349. Cuando su inters en las funciones de la metafsica se reaviv en la dcada de
1950, escribi un Eplogo metafsico extraordinariamente interesante sobre los programas de investigacin metafsicos inserto en
su Postcript: After Twenty Years (en galeradas desde 1957) 35. Pero
Popper asoci la tenacidad no con la irrefutabilidad metodolgica
sino ms bien con la irrefutabilidad sintctica. Por metafsica en348 Cf. e. g. su (1934), fin de la seccin 4; tambin cf. su (1968 c), p. 93.
Hay que recordar que Comte y Duhem negaron tal importancia a la metafsica.
Fueron Burtt, Popper y Koyr quienes ms hicieron para invertir la marea antimetafsica en filosofa y en la historiografa de la ciencia.
349 Carnap y Hempel intentaron, en sus recensiones del libro, defender a
Popper contra esta acusacin (cf. Carnap, 1935, y Hempel, 1937). Hempel escribi: (Popper) acenta con firmeza ciertos rasgos de su enfoque que tambin
estn presentes en el enfoque de pensadores que participan, en alguna medida,
de una orientacin metafsica. Es de esperar que este valioso trabajo no sea errneamente interpretado como si fuera una lanza en favor de una metafsica nueva
y, tal vez, lgicamente defendible.
3 Vale la pena citar aqu un texto de su Poslscript: El atomismo es un...
ejemplo excelente de una teora metafsica no contrastable cuya influencia sobre
la ciencia es superior a la de muchas teoras contrastables... La ltima y ms
importante de todas ellas hasta el momento presente es el programa de Faraday,
Maxwell, Einstein, de Broglie y Schrodinger, que concibe el mundo... en trminos de campos continuos... Cada una de estas teoras metafsicas funcionaron
como un programa para la ciencia mucho antes de que fueran contrastables. Indicaban la direccin en que se podan encontrar teoras cientficas explicativas
e hicieron posible algo prximo a la evaluacin de la profundidad de una teora.
En biologa la teora de la evolucin, la teora de la clula y la teora de la
infeccin bacteriana han desempeado funciones similares al menos durante un
tiempo. En pisocologa el sensualismo, el atomismo (esto es, la teora de que
todas las experiencias se componen de elementos ltimos tales como, por ejemplo, los datos sensoriales) y el psicoanlisis deben ser mencionados como programps de investigacin metafsicos... Incluso las afirmaciones puramente existencia'^ han resultado ser algunas veces sugerentes y fructferas en la historia de
la ciencia, aunque nunca formaron parte de ella. En realidad pocas teoras metafsicas ejercieron una influencia mayor sobre el desarrollo de la ciencia que la
teora puramente metafsica: Existe una substancia que puede convertir los metales en oro (esto es, una piedra filosofal), aunque es no refutable, nunca fue
verificada, y en la actualidad nadie la Tee.
'
127
tendi enunciados sintcticamente especificables como los enunciados todos-algunos y los enunciados puramente existenciales. Ningn enunciado bsico puede entrar en conflicto con ellos debido a su
forma lgica. Por ejemplo, para todos los metales existe un disolvente sera, en este sentido, metafsico, mientras que la teora de la
gravitacin de Newton aisladamente considerada no lo sera351. En
la dcada de 1950 Popper tambin suscit el problema de cmo criticar las teoras metafsicas y sugiri algunas soluciones352. Agassi
y Watkins publicaron algunos interesantes artculos sobre las funciones de esta clase de metafsica en la ciencia, en los que se conectaba la metafsica con la continuidad del progreso cientfico3S3.
Mi anlisis difiere del suyo en primer lugar porque yo voy mucho
ms lejos que ellos en la difuminacin de la demarcacin entre la
ciencia (de Popper) y la metafsica (de Popper); ni siquiera utilizo
ya el trmino metafsico. Slo hablo acerca de programas de investigacin cientfica cuyo ncleo firme es irrefutable y no necesariamente debido a razones sintcticas sino posiblemente a razones metodolgicas que nada tienen que ver con la forma lgica. En segundo
lugar, al separar radicalmente el problema descriptivo de la funcin
psicolgico-histrica de la metafsica y el problema normativo de
cmo distinguir los programas de investigacin progresivos de los
regresivos, yo elaboro este ltimo problema mucho ms de lo que
ellos haban hecho.
Para terminar, me gustara discutir la tesis Duhem-Quine y su
relacin con el falsacionismo3S*.
Segn la tesis Duhem-Quine, con imaginacin suficiente cualquier
teora (consista en una proposicin o de una conjuncin finita de
muchas proposiciones) puede ser permanentemente salvada de la refutacin mediante ajustes adecuados en el conocimiento bsico en
el que se halla inserta. Como dice Quine: Se puede mantener la
verdad de cualquier enunciado suceda lo que suceda si realizamos
ajustes lo bastante drsticos en otras partes del sistema... Y al contrario, por las mismas razones ningn enunciado es inmune a la revisin.355 Por otra parte, el sistema es nada menos que la tota351 Cf. especialmente Popper (1934), seccin 66. En la edicin de 1959 aadi una nota clarificadora (n. * 2) para acentuar que en los enunciados metafsicos todos-algunos el cuantificador existencial debe ser interpretado como
ilimitado; por supuesto ya haba aclarado esto en la seccin 15 del texto original.
,
352 Cf. especialmente su (1958), pp. 198-99.
3 Cf. Watkins (1957) y (1958) y Agassi (1962) y (1964).
354 Esta parte final del Apndice fue aadida cuando el texto ya estaba en
la imprenta.
355 Quine (1953), cap. II.
r r c c128r
r r r
(
<,
r r rf
Imre Lakatcs
lidad de la ciencia. Una experiencia recalcitrante puede ser acomodada mediante cualquiera de las varias revaluaciones alternativas
en varios lugares alternativos del sistema total (incluyendo la posibilidad de reevaluar la misma experiencia recalcitrante). ^
Esta tesis tiene dos interpretaciones muy distintas. Segn la interpretacin dbil slo afirma la imposibilidad de un blanco experimental directo sobre un objetivo terico muy especfico y la posibilidad lgica de conformar la ciencia en un nmero indefinido de
formas distintas. La interpretacin dbil slo ataca al falsacionismo
dogmtico y no al metodolgico; niega solamente la posibilidad de
que se refute cualquier componente separado de un sistema terico.
En su interpretacin fuerte la tesis Duhem-Quine excluye cualquier regla de seleccin racional entre alternativas; esta versin
es inconsistente con todas las formas del falsacionismo metodolgico.
Las dos interpretaciones no han sido claramente separadas, aunque la
diferencia entre ellas es esencial desde un punto de vista metodolgico. Parece que Duhem slo defendi la interpretacin dbil; para
l la seleccin es un asunto de sagacidad: siempre tenemos que
realizar elecciones correctas para acercarnos a la clasificacin natural 357. Por otra parte, Quine, en la tradicin del pragmatismo americano de James y Lewis, parece defender una interpretacin muy
prxima a la interpretacin fuerte35.
Examinemos ms de cerca la interpretacin dbil de la tesis
Duhem-Quine. Tomemos una experiencia recalcitrante expresada
en un enunciado observacional O', que es inconsistente con una
conjuncin de enunciados tericos (y observacionales) hi, ha, hn,
Ii, L, ... In, donde hi son teoras e Ii son las correspondientes condiciones iniciales. En el modelo deductivo hi ...hn, Ii ... In lgicamente implican O; pero se observa O', que implica no-O. Supongamos que las premisas son independientes y que todas son necesaIbid. La clusula entre parntesis es ma.
Para Duhem un experimento por s mismo nunca puede condenar a una
teora aislada (tal como el ncleo firme de un programa de investigacin); para
que tal condena se produzca necesitamos adems sentido comn, sagacidad'
e incluso un sano instinto metafsico que nos conduzca hacia un orden claramente eminente. [Consltese el final del Apndice de la segunda edicin de su
(1906).]
358 Quine habla de enunciados que tienen distintas distancias con respecto
a la periferia sensorial y que, por ello, estn ms o menos expuestos al cambio.
Pero es difcil definir tanto la periferia sensorial como la mtrica utilizada. Segn
Quine, las consideraciones que guan (al hombre) a modificar su herencia cientfica para acomodarla a sus cambiantes periferias sensoriales, son de orden racional, pragmtico (Quine, 1953). Pero para Quine, como para James o Le Roy,
el pragmatismo slo significa bienestar psicolgico y considero irracional llamar racional a eso.
356
357
rfffffffffc-recccccf^:
La metodologa de los programas de investigacin cientfica
129
130
Imre Lakatos
131
El falsacionista sofisticado permite que cualquier parte del conjunto de la ciencia sea sustituido, pero slo con la condicin de que
sea sustituido de un modo progresivo, de forma que la sustitucin
anticipe con xito hechos nuevos. En su reconstruccin racional de
la falsacin los experimentos cruciales negativos no desempean
ninguna funcin. No ve nada errneo en que un grupo de cientficos
brillantes se pongan de acuerdo para incorporar todo lo que puedan
a su programa de investigacin favorito (marco conceptual si se
prefiere) con un sagrado ncleo firme. Mientras su genio y su suerte
les permitan expandir su programa progresivamente reteniendo el
ncleo firme, estn en libertad de hacerlo. Y si aparece un genio decidido a sustituir (progresivamente) la teora menos criticada y
ms corroborada pero que a l le disgusta por razones filosficas,
estticas o personales, se le puede desear buena suerte. Si compiten
dos equipos que trabajan en programas de investigacin rivales es
probable que triunfe el que tenga ms talento creador, a menos que
Dios les castigue con una carencia extrema de xito emprico. La direccin de la ciencia est determinada fundamentalmente por la imaginacin humana creadora y no por el universo de hechos que nos
rodea. La imaginacin creadora probablemente hallar nueva evidencia corroboradora hasta para el ms absurdo programa si la bsqueda tiene el mpetu suficiente363. Esta bsqueda de nueva evidencia
confirmadora es enteramente permisible. Los cientficos suean fantasas y despus emprenden una caza muy selectiva de hechos nuevos
que se ajusten a aquellas fantasas. Este proceso puede describirse
como la ciencia creando su propio universo (recordemos que
crear se usa aqu en un sentido provocador, ideosincrtico). Una
escuela de cientficos brillantes (respaldada por una sociedad lo basternativas ingeniosas y no triviales de los hechos. En su (1966) Grunbaum modific su postura y, como respuesta a las crticas de Mary Hesse (Hesse, 1968)
y otros, hizo cualificaciones adicionales: Al menos en algunos casos podemos
afirmar la falsedad de una hiptesis particular para cualquier finalidad cientfica,
aunque no podemos falsaria de modo que quede absolutamente descartada cualquier posibilidad de una rehabilitacin posterior (Grunbaum, 1969, p. 1.092).
363 Un ejemplo tpico de lo dicho es el principio de la atraccin gravitacional
de Newton, segn el cual los cuerpos se atraen instantneamente entre s a distancias enormes. Huyghens describi esta idea como absurda, Lcibnitz como
misteriosa y los mejores cientficos de la poca se preguntaban cmo (Newton) poda halarse tomado el trabajo de realizar un nmero tan grande de investigaciones y clculos difciles que no tenan otro fundamento que aquel mismo principio (Koyr, 1965, pp. 117-18). Ya argument anteriormente que no
es cierto que el progreso terico sea un mrito del terico y el xito emprico,
una simple cuestin de suerte. Si el terico es ms imaginativo es ms probable
que su programa terico consiga, al menos, algn xito emprico. Cf. MCE,
cap. 8, pp. 239-43.
ere r r r
132
Imre Lakatos
tante rica como para financiar algunas con traslaciones bien planeadas) puede conseguir impulsar cualquier programa fantasioso o, alternativamente, si eso es lo que desean, puede conseguir destruir cualquier soporte arbitrariamente elegido del conocimiento establecido.
El falsacionista dogmtico llevar sus manos a la cabeza horrorizado ante este enfoque. Ver el fantasma del instrumentalismo de
Bellarmino saliendo de la tumba en que haba sido sepultado por el
xito newtoniano de la ciencia probada. Acusar al falsacionista sofisticado de construir sistemas de casilleros arbitrarios y de forzar
a los hechos en ellos. Incluso puede calificar esta postura como una
reaparicin de la muy poco santa alianza irracionalista del burdo
pragmatismo de James y el voluntarismo de Bergson triunfalmente
destruida por Russell y Stebbing 364. Pero nuestro falsacionista sofisticado combina el instrumentalismo (o convencionalismo) con
un fuerte requisito empirista que ni los salvadores medievales de
fenmenos como Bellarmino, ni los pragmatistas como Quine o
bergsonianos como Le Roy, haban apreciado: el requisito LeibnitzWhewell-Popper de que la construccin, bien planeada, de casilleros
debe proceder con mucha mayor rapidez que la recopilacin de los
hechos que han de ser alojados en ellos. Mientras se satisfaga este
requisito, no importa si ponemos el nfasis en el aspecto instrumental de los programas de investigacin imaginativos que sirven
para descubrir hechos nuevos y para realizar predicciones fiables, o
si lo ponemos en la creciente verosimilitud popperiana (esto es,
en la diferencia estimada entre el contenido de verdad y el contenido
de falsedad) de sus versiones sucesivas35. El falsacionismo sofisticado combina de este modo los mejores elementos del voluntarismo,
del pragmatismo y de las teoras realistas del crecimiento emprico.
El falsacionista sofisticado no se alinea ni con Galileo ni con el
cardenal Bellarmino. No se pone de parte de Galileo porque afirma
que nuestras teoras bsicas puede que sean todas igualmente absurdas y carentes de verosimilitud para la mente divina; y no apoya
a Bellarmino a menos que el cardenal estuviera de acuerdo en que
las teoras cientficas pueden suministrarnos, a largo plazo, un nmero mayor de verdades y un nmero crecientemente menor de con** Cf. Russell (1914), Russell (1946) y Stebbing (1914). Russell, que era un
justificacionista, despreciaba el convencionalismo: Mientras que la voluntad ha
ascendido en la escala, el conocimiento ha descendido. Este es el cambio ms
notable que ha incidido sobre el talante .de la filosofa de nuestro poca. Ese
cambio fue preparado por Rousseau y Kant (1946, p. 787). Por supuesto, parte
de la inspiracin de Popper procede de Kant y de Bergson. (Cf. su 1934, secciones 2 y 4.)
365 Sobre verosimilitud, cf. Popper (1963a), cap. 10 y abajo, la nota siguiente; sobre Habilidad, cf. este volumen, cap. 3 y MCE, cap. 8.
i Laf metodologa
c f :~de flos fprogramas
f f der investigacin
r r r cientfica
r f r
133