Escolar Documentos
Profissional Documentos
Cultura Documentos
C. ULISES MOULINES
Traduccin:
XAVIER
DE
DONATO
/
/
El desarrollo moderno de la filosofa de la ciencia (1890-2000) / C. Ulises Moulines; traduccin:
Xavier de Donato. - Mxico: UNAM, Instituto de Investigaciones Filosficas, 2011
186 pp. - (Coleccin Filosofa de la ciencia) Traduccin de: Die Entwidtlurig der modernen Wissenschaftstheorie (1890-2000): eine historische Ein- fhrung
ISBN 978-607-02-2366-2
1. Ciencia - Filosofa - Historia. I. Donato, Xavier de, tr. II, t. II. Ser.
Prlogo
Lo que aqu propongo al lector es una visin de conjunco del desarrollo de la historia de la
filosofa de la ciencia, desde sus inicios institucionales hasta nuestros das. Esta visin no
puede ser completa ni totalmente neutra. Expuesta necesariamente desde una perspectiva
particular la ma, esta historia intenta abocarse a la parte de la herencia de nuestra
disciplina que me parece ms significativa y poner nfasis en los aspectos de su evolucin
que, desde el punto de vista actual, han tenido mayor impacto en sus ulteriores desarrollos
temticos y metodolgicos. Me he esforzado, sin embargo, en ser lo menos subjetivo posible
en el relato de la historia de la disciplina y en subrayar prioritariamente los aspectos
positivos de los enfoques examinados; cuando he hecho juicios crticos, he intentado hacerlo
situndome dentro de la lgica inherente a los autores considerados.
Tal vez para comenzar el lector desee tener una respuesta general a la pregunta: qu es
la filosofa de la cienfcia?. Hasta el momento no existe ningn consenso sobre los
contenidos ni sobre los mtodos esenciales a esta disciplina. Cualquier determinacin global
que se adopte es ya una toma de posicin ms o menos sujeta a controversia. Para definir
nuestra disciplina, adoptar ms bien un punto de vista externo, institucional. Por todo el
mundo, encontramos ctedras universitarias e institutos con nombres que incluyen las
ence, British Journal for the Philosophy of Science, Studies ih the History and Philosophy of Science,
Philosophia fturalis, Zeitschriftfr allgemei- ne Wissenschaftstheorie (la cual, por cierto,
recientemente internacionaliz su nombre sustituyndolo por Journal for General Philosophy
of Science) han visto la luz, as como aqullas con ttulos ms neutrales, pero reconocidas
como rganos ms o menos oficiosos de la filosofa de la.ciencia contempornea, como
Erkenntnis, Synthese, The Journal of Philosophy o Dialctica. Finalmente, series de colecciones
como Minnesota Studies in the Philosophy of the Sciences, Boston Studies in the Philosophy of Science
6 Elindesarrollo
moderno de
filosofaand
de lathe
ciencia
(,1890-2000)
o aun Poznan Studies
the . Philosophy
of la
Science
Humanities
han sido o todava son
publicadas regularmente. El objeto de este libro consiste, pues, en una serie de autores,
enfoques, mtodos y resultados que se han expresado o discutido a lo largo del siglo xx,
principalmente en las asociaciones, congresos, revistas y colecciones ya mencionados. Lo
anterior me permitir abordar, de una manera menos polmica, la cuestin del desarrollo
histrico de la filosofa de la ciencia as definida.
Para evitar posibles malentendidos por parte del lector no iniciado, de entrada se sealan
tres advertencias. Conviene indicar desde un principio que la filosofa de la ciencia ha
devenido una disciplina fuertemente especializada, que es necesario distinguir de otras
disciplinas que mantienen con ella relaciones ms o menos estrechas, pero que tienen
propsitos y mtodos claramente diferentes. En ciertos aspectos, la filosofa de la ciencia,
que es una disciplina reciente, tiene relaciones temticas con otra disciplina filosfica mucho
ms antigua, la teora (o filosofa) del conocimiento. Sin embargo, estas relaciones no
conciernen ms que a una parte de esas dos disciplinas, las cuales siguen una metodologa
bastante diferente. El objeto de la reflexin filosfica es tambin diferente en ambas
disciplinas: mientras que la teora del conocimiento se ocupa de las condicio nes y lmites
del conocimiento humano en general, la filosofa de la ciencia analiza la estructura y el
funcionamiento de esta forma muy particular de conocimiento que es el conocimiento
cientfico, y ms especialmente el proporcionado por las teoras cientficas. Este libro se
concentra, pues, en la evolucin de la filosofa de la ciencia stric- to sensu. lo que
naturalmente no excluye que contenga aqu o all referencias a problemas, a corrientes de
pensamiento o a autores que tambin pudieran tener su lugar en una historia de la teora
del conocimiento.
Pero su objeto el conocimiento cientfico no basta para caracterizar la filosofa de la
ciencia. Otras disciplinas tambin toman ciertos aspectos de las ciencias como objeto de
estudio. Ahora bien, la disciplina que aqu nos interesa no es una sociologa de la ciencia, ni
una historiografa de la ciencia, ni una tica de la ciencia mucho menos an ese conjunto
de reflexiones al que se suelen dedicar con gusto los cientficos renombrados cuando llegan
a cierta edad. La filosofa de la ciencia es fundamentalmente una disciplina terica de
segundo orden en relacin con las ciencias existentes, es decir, una metaciencia. Para
decirlo escuetamente, el objetivo de la filosofa de la ciencia es construir modelos
(metacientficos) para elucidar lo que es esencial en los conceptos, teoras, mtodos y
relaciones mutuas que se dan entre las ciencias establecidas. Y justamente en este sentido
es, pura y claramente, una disciplina ante todo filosfica.
Un trmino casi sinnimo de filosofa de la ciencia en el sentido en que la entiendo aqu
es.el ms tradicional de epistemologa. 1 Este trmino tiene contornos semnticos ms
generales que, por lo regular, corresponden mejor a la teora general del conocimiento. No
lo usar, pues, ms qe ocasionalmente y para referirme a lo que tenga que ver con
capacidades del conocimiento humano en un contexto principalmente cientfico.
Una segunda advertencia concierne a los lmites de las disciplinas que son el objeto
estudiado por la filosofa de la ciencia. Se trata de ciencias que, en lenguas europeas
distintas de la francesa, se suelen llamar empricas (fsica, qumica, biologa, psicologa,
economa, etc.) es decir, disciplinas cuya validez depende, aunque sea de una manera muy
indirecta, de aquello que llamamos experiencia sensible. Aqu, pues, utilizar el
1Epistemologa, en su acepcin ms habitual tanto en espaol como en ingls, es sinnimo de teora del
conocimiento (lo que en alemn se llama Erkenntnis- theorie). Sin embargo, en francs pistmologie" es, por lo
general, un sinnimo de filosofa de la ciencia. As se seala, por ejemplo, en el Dictionnaire de la lagu philosophique
de Paul Foulqui (P.U.F., Pars, 1962, p. 217), donde se dice que es la acepcin no slo ms comn en esa lengua, sino
induso la ms conforme con la etimologa. No obstante, el trmino tiene tambin otros usos. Vase la Encyclopdie de
philosophie universelle II, publicada bajo la direccin de Andr Jacob, Les Notions philosopkiques, tome 1, P.U.F., Pars,
1990, p. 813. [Cuando no se indique lo contrario, las notas corresponden al autor. N. del t]
obra principal, aparecida en 1687, Philosophiae Naturalis Principia Mathematica, y que pueden ser
vistas como un pequeo tratado de metodologa en.el sentido actual.) Pero siendo mi
objetivo examinar la evolucin de la filosofa de la ciencia contempornea, propongo dar un
gran salto hacia delante para pasar a Kant sin ms prembulos.5
Una razn fundamental nos hace privilegiar a Kant sobre los pensadores precedentes. La
filosofa trascendental kantiana, en particular en lo concerniente a las tesis presentadas en
la Crtica de la razn pura (1781) y en los Primeros principios metafsicas de la ciencia natural (1786),
El desarrollo moderno
de la filosofa
de la ciencia
marca una etapa10
importante
en lo que
podemos
llamar(,1890-2000)
la protohistoria de nuestra
disciplina. Esto es verdad no slo porque el pensamiento kantiano ha influido fuertemente
en las discusiones flosfico-cientficas hasta mediados del siglo XX, sino tambin porque el
enfoque kantiano se puede interpretar como un primer ejemplo de metateora sistemtica, es
decir, como la construccin de un modelo, en el sentido moderno, de la estructura
conceptual de las teoras cientficas (resulta, pues, verosmil que Kant mismo empleara el
trmino de arquitectnica, Architektonik en alemn). 2
Kant toma como objeto de reflexin dos teoras ya bien establecidas en su tiempo (la
geometra eucldea y la mecnica newtoniana), y se pregunta qu estructura conceptual
subyacente podra explicar por qu estas dos teoras, a pesar de ser tan abstractas,
ofrecen un conocimiento preciso y eficaz de la realidad emprica. La concepcin general
kantiana de los juicios sintticos a priori, de las categoras y de las formas puras de la
intuicin (espacio y tiempo) puede interpretarse como una metateora general de las teoras
de las ciencias empricas matematizadas (representadas por lo que hoy llamamos la
geometra fsica y la mecnica clsica). Estos elementos a la vez sintticos (es decir, con un
contenido sustancial) y a priori (es decir, independientes de la experiencia) nos permiten
comprender por qu la matematizacin de las ciencias de la naturaleza nos da un
conocimiento cierto y exacto de la realidad emprica.
Raros son los filsofos de la ciencia que an hoy aceptan el conjunto d la metateora
kantiana. Sin embargo, Kant estableci las bases de la discusin sobre muchos temas
centrales de la filosofa de la ciencia, tales como la funcin de las matemticas en las
ciencias empricas, la naturaleza de las leyes cientficas, el valor del principio de causalidad
o aun la esencia del espacio y del tiempo. Muy particularmente, la doble distincin kantiana
analtico/sinttico y a prio- ri/a posteriori, igual que la existencia de elementos sintticos apriori en
nuestro conocimiento cientfico, ocupa un lugar central en los debates epistemolgicos del siglo XX, aun
cuando estas categoras conceptuales han sido reinterpretadas o definidas de una manera diferente en
relacin con el modelo kantiano, como se ver ms adelante.
De los filsofos del idealismo alemn posteriores a Kant no puede decirse propiamente que
hayan ntribuido de manera significativa a la filosofa de la ciencia en el sentido en que la
entendemos aqu. Su objetivo, sobre todo en el caso de Hegel y Schelling, fue ms bien
construir una filosofa de la naturaleza, es decir, una especulacin directa (de primer orden)
sobre la realidad emprica, basada en sus respectivos sistemas metafsicos. En realidad,
estos filsofos aceptaban poco o se oponan francamente (como muestran las crticas
acerbas de Hegel en contra de Newton) al espritu de la ciencia moderna tal y como se haba
desarrollado a partir del siglo XVII. Extrapolando un poco, se podra interpretar la filosofa
de la naturaleza de Schelling y Hegel como intentos de proponer programas de
investigacin alternativos a los que haban constituido las ciencias a partir de la revolucin
cientfica del siglo XVII. Estos programas, sin embargo, casi no tuvieron repercusin sobre la
investigacin posterior, al menos en el campo de las ciencias naturales.
Tras el parntesis del idealismo alemn, Auguste Comte (Francia, 1798-1852), fundador
del positivismo, da un nuevo impulso a la filosofa de la ciencia como reflexin de segundo
orden sobre las ciencias establecidas durante el segundo cuarto del siglo XIX. Comte
construy un sistema clasificatorio y jerrquico de las ciencias desde una perspectiva
sincrnica y diacrnica a la vez, que le permite explicar su desarrollo y formular, por as
decirlo, unas normas de la buena conducta cientfica. Sus ideas, con el rechazo radical de
toda especulacin metafsica, gozaron de una gran influencia en su poca, no slo en los
filsofos, sino tambin en los cientficos, particularmente en la medicina y en las ciencias
sociales.
5Para mayor informacin a propsito de. las ideas filosficas sobre la ciencia anteriores a Kant, vanse P. Wagner
(dir.), Les philosophes et la Science, yj. Losee, A Historical Introduction to the Philosophy of Science.
2 Vase, por ejemplo, la Critica de la razn pura, B860/A832.
slo en geometra, sino sobre todo en fsica). Hay que reconocer, sin embargo, que el
neokantismo simplemente no ha participado en la construccin de la temtica especfica
de la filosofa de la ciencia contempornea. El papel primordial en la construccin de
nuestra disciplina corri a cargo de una serie de cientficos de orientacin filosfica que,
aun siendo crticos con respecto a las tesis kantianas, supieron reemprender las
cuestiones planteadas por Kant, de una forma directa, o a travs de la lectura de las
reflexiones de orden kantiano realizadas por otros autores de la generacin
12 El desarrollo
moderno
de la filosofa
la cienciade
(,1890-2000)
inmediatamente precedente,
siendo
Helmholtz
el de
primero
ellos. ste es precisamente
el lugar en el que entramos en el meollo de nuestra disciplina;
, 3. Las cinco fases del desarrollo
A modo de hiptesis de trabajo y para orientarnos en nuestra exposicin, postulamos que,
en el desarrollo de la filosofa de la ciencia desde los ltimos aos del siglo XIX hasta el fin del
siglo XX, se pueden distinguir cinco grandes fases. (Por supuesto aqu hablamos de fases y
no de periodos histricos en sentido estricto: se trata ms bien de maneras diferentes de
comprender la tarea de la filosofa de la ciencia que ms o menos se suceden en el tiempo,
pero que tambin se pueden solapar y, a veces incluso, desarrollar en paralelo.)
La fase de germinacin o de preformacin (de 1890 aproximadamente hasta el fin de la
Primera Guerra Mundial) est caracterizada principalmente por reflexiones epistemolgicas
y metodolgicas de ciertos cientficos (fsicos y fisilogos) y de algunos filsofos dotados de
conocimientos cientficos slidos, as como por influencias ms o menos directas de Kant y
de la fisiologa de los sentidos del siglo XIX. El empiriocriticismo y el convencionalismo
representan las corrientes ms destacadas de esta fase. El inters por la historia de la
ciencia no es insignificante, pero tampoco decisivo.
La fase de eclosin (1918-1935) se define por la irrupcin intensa y generalizada de
mtodos de anlisis formal (lgica formal, axiomtica hilbertiana, teora de conjuntos) y por
la vinculacin con los problemas de los fundamentos de la matemtica, as como por una
clara voluntad de ruptura con las tradiciones epistemolgicas precedentes y tina postura
polmica contra toda forma de metafsica. Se considera que el proyecto kantiano tiene que
abandonarse definitivamente. Es la poca del positivismo y empirismo lgicos, del
operacionalismo y de otras corrientes afines.
La fase clsica (aproximadamente de 1935 a 1970) presenta bsicamente una continuidad,
al menos temtica y metodolgica, con respecto a la fase precedente; sin embargo, es al
mismo tiempo ms autocrtica y ms serena. Aporta asimismo numerosos y slidos
resultados formales (aunque a menudo negativos), y favorece los estudios de detalle a
veces extremadamente tcnicos. No podemos hablar aqu de una escuela dominante, sino
ms bien de una familia con un aire vagamente empirista en un sentido bastante amplio
(que . debera incluir el racionalismo crtico y la concepcin hipottico- deductiva del
mtodo cientfico). Existe un amplio consenso de que diarante esta fase la filosofa de la
ciencia se consolida definitivamen- . te como disciplina. (En esta poca es cuando
aparecieron la mayor parte de los centros, los congresos, las revistas, las antologas, etc.
cuyos nombres hacan referencia explcita a la filosofa de la ciencia.) Los filsofos de la
ciencia que vinieron despus, sobre todo aquellos que estaban en desacuerdo con las
posturas caractersticas de sta fase, frecuentemente se refieren a ella como una concepcin heredada (received view), aunque el uso del singular en esta expresin resulta
bastante inadecuado.
La fase historicista (aproximadamente de 1960 a 1985) explcitamente se opone en su
totalidadi los presupuestos de contenido y de mtodo de las fases anteriores, y subraya al
mismo tiempo la importancia capital de la historia de la ciencia para una filosofa realista
de la ciencia. Asimismo, esta fase ignora e incluso niega abiertamente la utilidad de los
mtodos de anlisis formal. El empirismo lgico y el racionalismo crtico se arrojan al
vertedero de la historia. Otro aspecto de esta fase, aunque no se hiciera casi nunca
explcito, es una fuerte tendencia al relativismo epistmico y al so- ciologismo en lo que
concierne a los fundamentos del conocimiento cientfico.
A partir de 1970, la fase modelista (en ausencia de un trmino ms atractivo) aporta una
mirada bastante crtica sobre los presupuestos de las fases segunda y tercera, aunque sin el
carcter polmico de la cuarta, y sin rechazar en bloque la utilidad, en algunos contextos, de
instrumentos formales de anlisis. Ms an que en las fases precedentes es difcil hablar en
este caso de una corriente nica. Antes bien se trata de una familia mal definida de
enfoques mucho ms prudentes y flexibles que los precedentes. Ms todava, hay que
reconocer que la insuficiente perspectiva histrica hace difcil la identificacin de los rasgos
ms caractersticos de esta fase. Sin embargo, se pueden sealar dos denominadores
comunes: un giro antilingstico en relacin con las corrientes precedentes, que
privilegia la nocin de modelo frente a la de proposicin como unidad bsica del conocimiento
cientfico, y el papel central desempeado por las reconstrucciones, lo ms detalladas
posibl, de teoras cientficas concretas. Resulta sintomtico que esta fase vea el surgimiento de lo que se ha dado en llamar la filosofa especial de la ciencia filosofa de la
Una visin
de Sin
conjunto
fsica, de la biologa, de la economa,
etc.
embargo, tambin 13
encontramos algunos
enfoques relativamente sistemticos alimentados por ambiciones generalizadoras, siendo
probablemente los ms significativos el estructuralismo (metaterico) y el empirismo
constructivo.
1.
Los ltimos decenios del siglo XIX atestiguan una recepcin crtica de Kant relacionada con la
cuestin de los fundamentos de las ciencias empricas (sobre todo de la fsica) y con los
nuevos resultados de la fisiologa de los sentidos, que coincide con el establecimiento de la
filosofa de la ciencia como nueva disciplina universitaria en los pases de lengua alemana.
La mayor parte de los protagonistas de esta corriente son fsicos y fisilogos con intereses
filosficos, sin embargo, tambin encontramos algunos filsofos profesionales. Se pueden
resumir de la siguiente manera las principales preocupaciones de estos pensadores:
La otra obra de Mach, Die Analyse der Empfindungen, es bastante ms ambiciosa y tiene
un carcter ms explcitamente epistemolgico: se trat de reconstruir el conocimiento
cientfico y, especialmente, la fsica y la psicologa, partiendo de una base fenomnica
nica. De este modo, segn l, podremos liberarnos de toda metafsica oculta y
restablecer la unidad perdida de la ciencia. Esta base nica debe componerse
exclusivamente de sensaciones inmediatas
(colores, sonidos, impresiones tctiles, etc.); los otros objetos del conocimiento cientfico,
Fase de germinacin
o de preformacin
21 ser reconstruidos
los cuerpos slidos, por ejemplo,
o los estados
mentales, deben
gradualmente como complejos de sensaciones. De este modo, la fsica y la psicologa se
convierten en ramas metodolgicamente, aunque no ontolgicamente, diferentes del mismo
tronco comn: la psicofisiologa de los sentidos. He aqu la nica ciencia fundamental, A
decir verdad, la obra de Mach no se debera haber intitulado Anlisis de las sensaciones,
sino ms bien Construccin de la materia y de la mente a partir de las sensa ciones. Su
programa de reconstruccin de la unidad de las ciencias sobre la base de complejos
sensoriales tuvo un impacto extremadamente fuerte sobre sus contemporneos. A menudo
reeditado, Die Analyse era un best seller cientfico. A pesar de su legendaria modestia, Mach
escribi en 1902 en el prefacio a la cuarta edicin de su obra:
Constato hoy que un gran nmero de filsofos [ . . . ] y hasta algunos naturalistas aislados han ido, sin conocerse
entre s, por caminos convergentes. Si, por esta razn, el valor de mi trabajo en particular se limita a poca cosa,
puedo asegurar, en cambio, que no persigo ninguna quimera, sino que he colaborado a una empresa ms general.
El convencionalismo y el instrumentalismo
pretender ser la imagen de una supuesta realidad en s. Poincar admite que podemos
estar frente a teoras divergentes, en competencia por el mismo dominio de la experiencia;
pero el criterio para decidir entre estas teoras no es saber cul es la verdadera en sentido
estricto (ni siquiera cul es la menos falsa), sino ms bien saber cul de las convenciones
adoptadas resulta ms til, es decir, la ms simple para organizar la experiencia. La
simplicidad del aparato conceptual utilizado representa el nico criterio significativo para
decidir entre hiptesis o teoras rivales.
Fase de germinacin
o de preformacin
23
El convencionalismo metodolgico
de Poincar
se expresa de manera
particularmente
clara en su interpretacin de la teora especial de la relatividad, cuyas bases l mismo
contribuy a formular. Despus de la discusin en tomo a la propuesta de algunos fsicos
(como l mismo dice, sin citar explcitamente a Einstein) de reemplazar la geometra
eucldea tridimensional por la geometra tetradimensional de Minkowski con el fin de hacer
compatibles los resultados experimentales y el principio de la relatividad de Lorentz,
concluye que, incluso si esta propuesta es una nueva convencin, coherente en s, no hay
ninguna razn vlida para abandonar la antigua convencin, es decir, la geometra
eucldea tradicional. Llega incluso a vaticinar que la mayora de los fsicos se mantendrn
fieles a esta tradicin, pues es ms cmoda;
i, Ironas de la historia, esta prediccin metodolgica de Poincar ser refutada
definitivamente algunos aos despus de la publicacin de su libro. En efecto, con el auge de la teora general de la relatividad a partir de
1916, la mayor parte de los fsicos se pronuncia a favor de un tipo de geometra
(riemanniana) an ms diversa de la eucldea de lo que Poincar habra podido imaginar
que se pudiera aplicar a la fsica. Confrontados a una alternativa mantener la antigua y
cmoda geometra eucldea al precio de tener que formular las leyes sustanciales de la
fsica de un modo extremadamente complicado o elegir una geometra mens intuitiva
pero que permita una mejor formulacin de las leyes fsicas, los fsicos terminaron por
escoger la segunda opcin. Esto no implica que Poincar haya tomado una posicin
completamente errnea mostrando el elemento. convencional (a priori pero no
trascendental) inherente a toda eleccin de una teora emprica. Lo que este ejemplo
histrico muestra verdaderamente es que la relacin entre la teora y la experiencia (un
tema central en la filosofa de la ciencia del siglo XX) es ms compleja de lo que Poincar
haba entrevisto. La parte de verdad de su convencionalismo se apoya en un hecho
lgico-metodolgico que Quine habra de popularizar ms tarde segn la frmula de subdeterminacin de la teora por la experiencia (vase ms adelante, captulo. 4, pp. 7475). Su parte errnea proviene de que el principio de subdeterminacin de la teora por la
experiencia no equivale a una completa libertad en la eleccin de teoras, en funcin del
gusto del consumidor. Adems del criterio local de la adecuacin de la teora con el
dominio de la experiencia que le corresponde, es necesario tomar en cuenta criterios de
una naturaleza ms global, con una funcin importante en la eleccin: entre varias teoras
rivales, elegiremos aquella que es globalmente la ms coherente en relacin con las
teoras ya establecidas. Esto proviene del hecho de que las disciplinas cientficas (o al
menos las ciencias fsicas) funcionan de una manera bolista: es siempre una gran familia de
teoras
o, quiz incluso, la fsica entera lo que, en ltima instancia, est en cuestin cuando
contrastamos una determinada teora con la observacin emprica o con un experimento
de laboratorio. He aqu la leccin que es necesario recordar del ejemplo histrico de la
teora de la relatividad y de la adopcin de la geometra riemanniana.
La naturaleza holista de la ciencia constituye una tesis central de la filosofa posterior
de Quine. Pero esta tesis tiene un precursor, el tambin fsico-filsofo Pierre Duhem
(Francia, 1861-1916). Por esto la concepcin holista en filosofa de la ciencia es llamada
habitualmente tesis de Duhem-Quine una denominacin, por otra parte, un poco
injusta por dos motivos: primeramente, porque el holismo
,de Duhem no es tan radical como el de Quine; en segundo lugar,, porque adems de Duhem
y Quine, hay otro gran defensor del ho- lismo: Otto Neurath, de quien hablaremos en el
prximo captulo.
Duhem no tuvo en esa poca una gran influencia como filsofo de la ciencia. Ms conocido
como fsico, qumico por sus contribuciones a la termodinmica, gran historiador de las
ciencias, se le debe, entre otras cosas, la revalorizacin de la teora medieval del mpetus
como anunciadora de la dinmica de.Galileo. Sin embargo, Duhem no estudiaba la historia
Fase de germinacin
de preformacin
26 estudiado), tena
de la ciencia como mero historiador.
Como o
Mach
(cuya Mechanik haba
por objetivo extraer de la historia de la ciencia ideas pertinentes para una metodologa
general de la fsica. Si la gran obra historiogrfica de Duhem es Le Systme du Monde [El
sistema del mundo] (cuya publicacin, comenzada en 1913, se concluye bastante despus
de su muerte en 1959), para la filosofa de la ciencia su obra ms impor tante es La thorie
physique, son objet, sa structure (1906) [La teora fsica, su objeto, su estructura]. Aqu es
donde Duhem presenta su metodologa holista, limitada a la fsica, porque, curiosamente,
considera que la fisiologa no funciona de manera holista: segn l en las investigaciones
fisiolgicas es posible aislar una hiptesis particular y ponerla a prueba en un experimento
de laboratorio, sin que se est obligado a tener en cuenta la disciplina entera. En cambio, en
el caso de la fsica, este mtodo puntual de confrontacin emprica no dara ningn buen
resultado. Al examinar en detalle numerosos ejemplos de la historia de la fsica, Duhem
muestra que, en contra de las apariencias, nunca es una hiptesis particular lo que uno
pone a prueba, sino toda una red de leyes y teoras. Y si el experimento de laboratorio o la
observacin dieran un resultado negativo, siempre sera posible buscar otro culpable en
el cuerpo de la disciplina y salvar as la hiptesis que uno haba confrontado con la
experiencia. De manera sutil, pero perfectamente real, todas, las leyes y teoras de la fsica
tienen relaciones esenciales entre ellas. Una experiencia negativa nos seala solamente que
hay algo que no funciona en el cuerpo de la disciplina, pero no es posible determinar
unvocamente qu efs. He aqu una manera diferente, pero parecida a la de Poincar, de
argumentar a favor de la tesis de la subdeterminacin de la teora por l experiencia.
. A pesar de la pertinencia del anlisis de Duhem, sus contemporneos no comprendieron
su profunda importancia epistemolgica, y la filosofa de la ciencia inmediatamente
posterior sigui otros caminos. Fueron primeramente Neurath, a principios de los aos
treinta,
Antes de concluir este captulo, citemos a un autor y una disciplina ms. Ni uno ni otra
tuvieron una verdadera influencia en el desarrollo de la filosofa de la ciencia en esta fase,
pero ms adelante tuvieron una gran importancia. Se trata de Charles S. Peirce (Estados
Unidos, 1859-1914) y de la nueva lgica. Se suele asociar a Peirce con el pragmatismo como
movimiento filosfico general, incluso si no quiso ver asimiladas sus teoras a las versiones
ms populares y ms ideolgicas que ofrecieron James u otros contemporneos. Para marcar
la diferencia, Peirce, que no careca de cierto sentido de au- toirona, tuvo que dar a su
propia posicin la etiqueta poco atractiva de pragmaticismo... i
Retrospectivamente, el pensamiento de Peirce es significativo no slo para la filosofa de
la ciencia, sino tambin para la lgica y la filosofa del lenguaje. Desgraciadamente, su estilo
difcil y un tanto catico, su terminologa oscura y ciertos rasgos de su personalidad
constituyeron un verdadero obstculo para la difusin de su obra en la comunidad
epistemolgica de la poca. Los grandes ejes de la epistemologa de Peirce eran los
siguientes: (1) la tesis segn la cual el sentido de una hiptesis cientfica depende
simplemente de las situaciones empricas a las cuales queremos someterla, de suerte que si
somos incapaces de indicar efectivamente las situaciones concretas dadas las cuales la
hiptesis sera verdadera o falsa, la hiptesis en.cuestin no tiene sentido; (2) el principio
metodolgico con base en el cual el mtodo ms autntico de las ciencias empricas no es la
induccin (como se pensaba entonces) ni la deduccin (como se pensara posteriormente),
sino ms bien una tercera forma de inferencia, que Peirce llama abduccin: confrontados
con hechos particulares que queremos explicar o predecir, debemos buscar la hiptesis
general ms simple de la cual puedan ser deducidos los hechos en cuestin en la literatura
epistemolgica ulterior se hablar de la inferencia a la mejor explicacin posible; (3) la
visin de la ciencia en su totalidad como empresa colectiva, en evolucin constante,
convergente hacia una teora global final (que no se puede suponer que sea alcanzada algn
da, pero cuya existencia es supuesta como principio regulador), no pudindose definir la
verdad cientfica ms que en relacin a esta teora final.
La otra semilla para el futuro que quiero mencionar, la nueva lgica matemtica en
sentido amplio, fue creada al mismo tiempo que la moderna filosofa de la ciencia, es decir,
durante el ltimo cuarto del siglo XIX y principios del XX. Sin embargo, curiosamente, la
interseccin entre las dos disciplinas es casi nula durante esta primera fase. Sin duda se
reconoci debidamente el impacto revolucionario de los trabajos de Gottlob Frege
(Alemania, 1848-1925) sobre la lgica formal y los fundamentos de la aritmtica, de David
Hil- bert (Alemania, 1862-1943) sobre los fundamentos de la geometra y sobre la axiomtica
general, de Georg Cantor (Rusia/Alemania, 1845-1918) y de Emst Zermelo (Alemania, 18711953) sobre la teora de conjuntos, o aun de Bertrand Russell y de Alfred N. Whit& head
sobre el programa logicista, por mencionar slo algunos autores famosos; pero los
resultados de estos trabajos apenas tuvieron influencia en la filosofa de la ciencia de la
poca. El primer encuentro, an tmido, entre las dos disciplinas se produjo en la ya citada
obra de Russell, Our Knowledge ofthe External World, que corresponde al periodo de transicin
entre la primera y la segunda fase de la historia de la filosofa de la ciencia. La importancia
de la lgica y, ms comnmente, de los mtodos formales del anlisis para los fundamentos
de las ciencias empricas ser reconocida a partir de los aos veinte. Este giro resultar
29
siglo XIX, son, sin duda, Le Nowtel Esprit scientifique (1932) [El nuevo espritu cientfico],
centrada en la importancia filosfica del nuevo indeterminismo en la microfsica, y sobre
todo La Formation de lEsprit scientifique (1938) [La formacin del espritu cientfico]. La tesis
epistemolgica ms importante de Bachelard es quiz su reinterpretacin del espritu de la
ciencia moderna, y ms particularmente de su aspecto experimental: pra l, el gran valor del
nuevo mtodo experimental reside en su ruptura radical con el sentido comn. Apoyndose
en un gran nmero de ejemplos histricos, Bachelard intenta mostrar que las intuiciones y
generalizaciones del sentido comn, o aun las especulaciones seudocientficas fciles,
siempre han representado un obstculo para el desarrollo del verdadero espritu cientfico,
el cual, en cierta medida, no puede ser sino insensato.
La tendencia de la epistemologa francesa hacia una perspectiva puramente histrica se
acenta an en algunos de los autores que sucedieron inmediatamente a Bachelard. Los dos
ejemplos ms significativos son probablemente Alexandre Koyr (Rusia/Francia, 1892- 1964)
y Georges Canguilhem (Francia, 1904-1995). En sus estudios de la obra de Galileo y Newton,
Koyr defiende una interpretacin platonizante de los orgenes de la ciencia moderna: el
rasgo esencial de sta no reside en la experimentacin (como se haba supuesto hasta
entonces), sino ms bien en el espritu matemtico platnico una tesis que habra de ser
discutida enrgicamente por los historiadores de la ciencia y que contina suscitando
controversias.
Canguilhem, por su parte, siguiendo un camino que nos recuerda el de Bachelard, se
interesa por los aspectos ideolgicos de las ciencias de la vida (biologa, medicina) en el
curso de la historia y en sus interacciones con las ideas filosficas generales que les son
contemporneas. Su obra ms importante es, sin duda, Le Normal et le pathologique [Lo normal
y lo patolgico] (1943, reeditada en 1962), situada en la encrucijada entre medicina terica,
historia y filosofa de la medicina. Canguilhem defiende ah una especie de holismo
o'rganicista y se declara abiertamente antireduccionista con respecto a las ciencias de la
vida una posicin que mantendr en sus reflexiones ulteriores.
Canguilhem es probablemente el epistemlogo ms influyente en la reflexin francesa
sobre la ciencia de la segunda mitad del siglo XX. Michel Foucault (Francia, 1926-1984), sin
duda su discpulo ms conocido, al menos en la primera fase de su obra ( Naissance de la
clinique (1963) [El nacimiento de la clnica]), contina, tanto en la temtica como en la
metodologa, el proyecto de un anlisis filosfico-crtico de la medicina desde una
perspectiva esencialmente diacrnica. Incluso en las generaciones ms recientes de epistemlogos franceses, la influencia, de Canguilhem parece ineludible. Podemos citar, entre
otros, a nne Fagot-Largeault y a Claude Debru, que han tomado tambin las ciencias de la
vida, en su dimensin histrica, como objeto principal de sus anlisis crticos.
Este resumen, altamente sinttico, de la evolucin de la filosofa de la ciencia francesa
tras la Segunda Guerra Mundial no debe llevarnos a pensar que constituye un bloque
homogneo historicista. No slo porque existen diferencias de concepcin bastante importantes entre los autores citados, sino tambin porque, en el periodo considerado, ciertos
filsofos franceses, sin abandonar la perspectiva histrica, llevaron a cabo estudios lgicometodolgicos de la ciencia en un espritu ms sincrnico e intentaron establecer un
puente entre los temas abordados por la epistemologa francesa y la filosofa de la ciencia
surgida del positivismo lgico (vase este captulo, pp. 74 y ss.). Los dos ejemplos ms
significativos son, sin duda, Jules Vuillemin (Francia, 1920-2001), que contribuy
enormemente a la recepcin del pensamiento de Rudolf Camap en Francia a partir de los
aos sesenta y, sobre todo, Gilles-Gaston Granger (Francia, nacido en 1920), .autor de un
gran nmero de obras epistemolgicas, de las cuales la ms importante es probablemente
Pense formelle et Science de lhomme (1960) [Pensamiento formal y ciencia del hombre]. Gran
conocedor de disciplinas tan diversas como las matemticas, la fsica, la economa, la
psicologa y la lingstica, Granger propugna una epistemologa comparativa, es decir,
plural (mas no fragmentada), cuyo centro sigue estando anclado, a pesar de todo, en las
formas matemticas.
. Dicho esto y reconociendo su justo valor a estas excepciones dentro de la excepcin
epistemolgica francesa para las sucesivas generaciones de epistemlogos franceses
despus de 1930, la concentracin del inters en torno a cuestiones principalmente histricas est tan presente que se puede calificar la filosofa de la ciencia francesa en general,
casi hasta fines del siglo XX, de historia(s) de la ciencia puesta(s) en relacin con ideas filosficas, y no
2,
La reflexin filosfica sobr la ciencia en los pases de Europa y Amrica, donde la nueva
filosofa de la ciencia comienza a implantarse de una manera ms o menos institucional
despus de la Primera Guerra Mundial, toma un camino radicalmente diferente de la va
francesa: se interesa mucho menos en la perspectiva histrica y se preocupa mucho ms por
fundar rigurosamente el conocimiento cientfico y para tomar prestada una terminologa
que, aunque anacrnica, est extendida hoy en da producir una modelizacin formal de
las teoras y de los mtodos cientficos. El elemento clave para comprender las
caractersticas de esta nueva fase es, sin duda, el impacto que la nueva lgica formal o la
lgica matemtica tuvo sobre los filsofos de la ciencia contemporneos; de una manera
ms general, uno puede inscribir esta fase en la tradicin de lo que es corriente llamar el
giro lingstico (linguistic turn) que la filosofa haba emprendido a comienzos del siglo en el
Reino Unido con el mtodo filosfico de G.E. Moore y de Bertrand Russell, este ltimo
inspirado por la obra de Gottlob Frege. La expresin ms radical de este giro lingstico se
halla en el Tractatus logicophilosophicus (1922) de Ludwig Wittgenstein (Austria, 1889-1951),
en el que se puede leer toda filosofa es crtica del lenguaje ( 4.0031). Si esta'
declaracin es vlida para la filosofa en general, esto implica para la filosofa de la ciencia
en particular qu se va a convertir en un anlisis crtico del lenguaje de la ciencia.
Justamente la herramienta que permite realizar este anlisis de la manera ms eficaz y
controlada posible es la nueva lgica (incluyendo algunas disciplinas fundamentales de las
matemticas, tales como la teora de conjuntos y la teora de la prueba, que en esa poca no
se distinguan mucho de la lgica). De ah se comprende que el esfuerzo emprendido para
aplicar de una manera sistemtica los nuevos mtodos formales a la reconstruccin del
lenguaje cientfico, para hacer de l un lenguaje ideal depurado de toda confusin y
perfectamente controlado, ocupe un lugar eminente en esta fase de la historia de nuestra
disciplina.
Adems, el presupuesto metodolgico implicaba que la aplicacin de los mtodos formales
deba permitir esclarecer no solamente los fundamentos conceptuales y metodolgicos del
conocimiento cientfico, sino al mismo tiempo alcanzar de una vez por todas el objetivo que
Mach y sus contemporneos se haban fijado: purificar las ciencias de todo tipo de
metafsica. Por consiguiente, la forma- lizacin del lenguaje cientfico deba hacer posible l
deteccin de porciones de lenguaje ordinario que todava estaban impregnadas de trminos
y enunciados que el anlisis formal revela como vacos de sentido, justamente debido a su
naturaleza metafsica.
3.
El Crculo de Viena
Con la distancia que nos permite la perspectiva actual, esta nueva manera de comprender la
tarea y el mtodo de la filosofa de la ciencia al mismo tiempo (y, de hecho, de la filosofa
tout court), puede describirse como una verdadera revolucin, como un cambio de
paradigma, haciendo uso de la expresin que Thomas Kuhn hara popular algunos decenios
ms tarde. El epicentro de esta revolucin se encuentra en la Viena de los aos veinte, con
centros secundarios importantes situados en Berln, Varsovia, Lvov, Cambridge, Oxford y
aun en los pases nrdicos y en Estados Unidos. Se trata de n movimiento intelectual muy
vasto, habitualmente conocido como positivismo lgico. No todos los protagonistas de este
movimiento aceptaron esta denominacin; algunos prefirieron la expresin empirismo
ejemplo), sobre proyectos de reforma pedaggica en los pases germnicos o aun sobre el
programa social- demcrata.
Desde el punto de vista de la filosofa de la ciencia, Rudolf Carnap (Alemania, 1891-1970)
es, sin duda, el miembro del Crculo de Viena ms notable por la influencia que ejerci a la
vez en .sus contemporneos y sobre las generaciones siguientes. Gracias a los esfuerzos de
Schlick, Carnap obtuvo una ctedra en Viena en 1926 y, en 1928, public la obra ms
representativa de este periodo, Der logi- sche Aufbau der Welt [La construccin lgica del
mundo]. Su contenido es tan complejo y variado que resulta difcil de clasificar desde el
punto de vista de la teora de las ideas. No es un tratado de filosofa de la ciencia en el
sentido actual. Ciertamente, contiene numerosos elementos que contribuyeron de una
manera decisiva a la discusin ulterior de nuestra disciplina, ms desde el punto de vista del
mtodo que del contenido, pero se trata sobre todo del primer ensayo sistemtico de
modelizacin matemtica del conocimiento humano (el conocimiento cientfico incluido). Su
ttulo es un poco desconcertante. Ms que La construccin lgica del mundo, se tendra
que haber titulado La construccin lgica de los conceptos del conocimiento emprico.
Carnap pretende alcanzar el mismo objetivo que muchos filsofos de la ciencia antes que l
(especialmente Mach y sus sucesores cfr. captulo 2, pp. 19-20): llegar a la unificacin
conceptual de los conocimientos empricos a partir de datos sensoriales, purificndolos de
toda metafsica. Sin embargo, el mtodo empleado por Carnap para alcanzar este objetivo
es revolucionario: se trata de la aplicacin de la lgica formal, de la teora de conjuntos y de
la topologa a la construccin de conceptos de niveles sucesivos, un poco a la manera de la
teora de los tipos que Russell haba aplicado a los fundamentos de la matemtica. El nico
precedente metodolgico, si bien menos desarrollado, que poda orientar a Carnap en este
contexto es el proyecto de construcciones formales sugerido por el mismo Russell en Our
Knowledge of the External World. De hecho, con la honestidad intelectual que siempre
caracteriz su desarrollo filosfico, Carnap hablara ms tarde en su Autobiografa
intelectual de la profunda impresin que la lectura de Russell le dej entonces, cuando
estaba en sus inicios filosficos. Carnap realiz efectivamente, con una tenacidad admirable,
una gran parte del programa que Russell no haba sino esbozado.
El mundo conceptual de Der logische Aufbau der Welt, de Carnap, se compone de un
inmenso edificio construido sobre cuatro pisos perfectamente diferenciados: los
fundamentos se constituyen por lo que Carnap llama la base del psiquismo propio (die
eigenpsychische Basis), es decir, los conceptos que se refieren a experiencias sensoriales de un
sujeto de percepcin; el segundo piso est reservado a los conceptos de la fsica; el tercero
corresponde a los conceptos psicolgicos en general (intersubjetivos); el ltimo culmina con
los conceptos de las ciencias de la cultura. Cada uno de estos pisos se divide, a su vez, en
varios niveles. Se pasa de cada uno de estos niveles al siguiente utilizando nicamente
mtodos formales de construccin (esencialmente, la definicin de un conjunto cualquiera
partiendo de sus elementos y de relaciones entre ellos al igual que en las matemticas se
construyen los nmeros racionales a partir de los enteros, los nmeros reales a partir de los
racionales, etc.). Los elementos de base del edificio camapiano pueden ser identificados
(desde el punto de vista intuitivo, presistemtico) recurriendo a lo que Carnap llama las
vivencias globales de un sujeto de percepcin en un instante dado. (Hay que sealar que
el sujeto mismo, en tanto que entidad identificable, no est todava presupuesto en este
nivel: ser construido mucho ms tarde en un (nivel superior del edificio de ah el principio
de solipsismo sin sujeto con el cual Carnap caracteriza su procedimiento). Partiendo de
estas experiencias de base y de una sola relacin entre ellas (el recuerdo de semejanza),
Carnap construye paso a paso, por un particular mtodo recursivo al que llama
casianlisis, el resto de conceptos esenciales del mundo fenomnico: las cualidades, los
colores, los lugares visuales, los sentidos, etc. Enseguida viene un salto al piso siguiente,
el mundo fsico, donde Carnap ya no logra aplicar mtodos tan rigurosos como el
casianlisis, sino i slo mtodos semiformales de correlacin (hoy en da se hablara de la
construccin de un homomorfismo). De manera an menos formal, pero de todos modos
sistemtica, se pasa del mundo fsico al de la psicologa intersubjetiva y finalmente al
dominio de las nociones culturales. El procedimiento de Carnap se caracteriza por una
precisin muy superior a todo lo que haba sido emprendido hasta entonces en este mbito.
Por el enfoque epistemolgico que adopta, la construccin cama- piana es fenomenista6 y,
6Traduzco fenomenista y fenomenismo en lugar de, como 'algunas veces se hace, por influencia del ingls,
queda justificada y pasa a adquirir verdadero sentido a partir del momento en que podemos
considerar un conjunto de enunciados protocolares derivables de ella por vas ms o menos
indirectas: por ejemplo, si conectamos el cable aqu, veremos un punto luminoso all
abajo, o si tocamos el cable, tendremos una sensacin de quemadura en los dedos, etc. A
partir del principio de verificabilidad de Carnap, un enunciado terico cualquiera T es
verificado si y slo si podemos indicar una combinacin lgica de un cierto nmero de
enunciados protocolares que son verdaderos y en su conjunto equivalentes a T; si
descubrimos que esta combinacin de protocolos es falsa, T es fals^'; y si no podemos
indicar una combinacin tal de enunciados protocolares de este tipo, debemos concluir que
el enunciado terico propuesto carece de significado, tratndose, pues, de un
pseudoenunciado y, por consecuencia, que debe ser eliminado del discurso cientfico.
Si admitimos el principio de verificabilidad, disponemos de un mtodo universal y
uniforme para justificar los enunciados tericos de cualquier disciplina gracias a los
enunciados protocolares. Por su naturaleza, estos enunciados preceden, desde una perspectiva epistemolgica, a una disciplina o a una teora cualquiera. No obstante, una vez
llegados a este punto, debemos plantear la cuestin: cmo justificamos los enunciados
protocolares mismos? Fue en torno a esta cuestin que estall el famoso debate de los
enunciados protocolares en los aos treinta. Dos posiciones antagnicas se perfilaron
entonces: por un lado, una posicin que se puede calificar defundacionista,2 ms o menos
asociada al fenomenismo y, por
2
Traduzco por fundacionista y fundacionismo lo que algunas veces se tra- otro, una posicin ms bien
coherentista y dedicidamente fisicista? Los protagonistas de la primera fueron Schlick y Carnap; los de la
segunda, Carnap en un segundo momento, Neurath y, en cierto sentido, Popper. Segn los
fundacionistas, los enunciados protocolares fundan el conocimiento cientfico, pero,, en s mismos, no
son susceptibles de ser fundados. Son irrevocables porque expresan una experiencia inmediata del
sujeto de percepcin de la que ste no puede dudar. He ah por qu representan el fundamento absoluto
de la ciencia. No hay nada ms debajo, salvo la experiencia subjetiva inmediata.
El problema evidente que presenta esta concepcin del fundamento del conocimiento
cientfico es que no da cuenta del carcter esencialmente intersubjetivo que se considera
tiene este tipo de conocimiento. Sea cual sea la caracterizacin ulterior de la ciencia, debe
ser primeramente concebida como una empresa colectiva y, por tanto, intersubjetiva.
Carnap intent responder a esta dificultad utilizando una idea que haba sido esbozada ya
en el Aufbau: lo que cuenta para el conocimiento cientfico no es el contenido particular de
los enunciados, que puede ser tan subjetivo como se quiera, sino su estructura. Si un sujeto
establece un protocolo enunciando, por ejemplo, veo un punto luminoso rojo mientras que
siento una quemadura en los dedos, y otro sujeto establece su protocolo en los mismos
trminos, poco importa que el contenido de los trminos rojo y quemadura sea
completamente diferente, por subjetivo, para los dos sujetos, si la estructura de los
protocolos es la misma. Durante esta fase de su pensamiento, lo mismo que en el Aufbau,
Carnap adopta un punto de vista claramente estructuralista de la naturaleza de la ciencia.
Para Otto Neurath (Austria, 1882-1945), al contrario, la idea de un lenguaje con
contenidos subjetivos, incluso si uno establece una isomorfla estructural entre sus
enunciados, no tiene ningn papel que desempear en los fundamentos del conocimiento
cientfico. La nocin misma de lenguaje subjetivo carece de sentido, ya que to do tipo de
lenguaje es, por naturaleza, intersubjetivo: aprendemos las plabras que empleamos,
incluidas palabras tan ligadas a la experiencia como rojo o quemadura, en el curso de
un proceso
duce como fundamentsta y fondamentismo y, por influencia del ingls, como fundadonalista y
fundacionalismo o, peor an, como fundamentalista y fun- damentalismo. [N. del t.]
3
Traduzco mejor por fisicista y fisicismo los trminos ms extendidos, por influencia del ingls, de
fisicalista y fisicalismo. [N. del t.] social de interaccin con otros individuos. Por tanto, Neurath propone
que uno tome como protocolos enunciados expresados en un lenguaje puramente fisicista, es decir, en
un lenguaje en el que los trminos ms primitivos se refieren ya a objetos fsicos macroscpicos, tales
como mesas, cables, agujas, etc. Estos enunciados protocolares fisicistas deben ser formulados de una
manera estndar, comprensible para todo el mundo, y que represente una idealizacin de los protocolos
realizados en el laboratorio. En cuanto tales, no son irrevocables y no pueden presentarse como
fundamento absoluto del conocimiento.
La dificultad aparente de la posicin de Neurath, a su vez, consiste en el hecho de que, si
los protocolos del lenguaje fisicista no son irrevocables, hara falta, para que fueran
aceptables, que disemos alguna justificacin de ellos. Pero, puesto que, por definicin, son
stos los que a fin de cuentas deben justificar todos los dems enunciados de la ciencia,
parece que estamos condenados a un crculo vicioso o bien a un regressus ad infinitum. Por
supuesto, Neurath comprendi esta dificultad, pero pretenda evitarla tomando una posicin
cohe- rentista: la justificacin de los enunciados protocolares no se har nunca a ttulo
individual, sino que deber ser colectiva: slo tomndolos en un conjunto coherente podrn
pasar a ser fundamento del conocimiento cientfico.
Neurath convenci a Carnap (pero no a Schlick) de las ventajas metodolgicas del
fisicismo. No obstante, Carnap fue todava ms lejos. En efecto, si los enunciados
protocolares no gozan de ningn privilegio absoluto, puesto que no estn ms cerca de l
certidumbre que los otros, entonces no hay motivo para atribuirles una funcin
epistemolgica particular. La idea misma de enunciado protocolar se vuelve obsoleta. A
partir de esta fase del debate,; sus protagonistas no utilizaron ms el trmino de
enunciado protocolar y se limitaron a hablar de enunciados bsicos o enunciados
observado- nales, como aquellos que son aceptados en cierto momento por la comunidad
cientfica para poner a prueba una hiptesis cientfica terica cualquiera. Lo que se espera
de ellos, desde un punto de vista epistemolgico ms bien vago, es que correspondan de
una u otra forma a observaciones, validadas de forma intersubjetiva, de algunos eventos u
objetos fsicos.
Lo que resulta importante para Neurath, Carnap y otros miembros del Crculo de Viena, es
que estos enunciados bsicos son universales, interdisciplinarios y comprensibles por todos.
Como Neurath tuvo la ocasin de decir, deben tener un sentido claro , incluso para un
chofer de taxi con el que uno llegue a discutir suponiendo, obviamente, que el
vocabulario del chofer de taxi en cuestin no haya sido previamente contaminado por la
metafsica de Hegel o de Heidegger (lo que, crean ustedes segn mi propia experiencia,
puede muy bien suceder). Sea como sea, Neurath propuso, al final del debate sobre los
enunciados protocolares, la reconstruccin del lenguaje apropiado para todas las ciencias en
una jerga universal, una especie de esperanto depurado de toda metafsica y
comprensible incluso para personas sin formacin cientfica, que de esta forma podran
controlar fcilmente las afirmaciones de los cientficos y evitar ser engaados. Esta
propuesta revela un fuerte componente social. Para algunos miembros del Crculo de Viena
y, sobre todo, para Neurath, el fondo de estos debates ms o menos tcnicos estaba
marcado o slo por preocupaciones epistemolgicas y metodolgicas, sino tambin por una
motivacin sociopeda- ggica muy fuerte. No es un azar histrico que, justo despus del
Congreso de filosofa de'la ciencia que se celebr en Pars en 1935, Neurath, Carnap y los
dems integrantes concibieran la idea de una Enciclopedia de la Ciencia Unificada; su
publicacin deba comenzar poco despus bajo la direccin de Neurath. Esta enciclopedia
tena por objetivo la unificacin de todas las ciencias, no por sus contenidos especficos, sino
por el lenguaje bsico comn, esa jerga universal a la que nos acabamos de referir, y que
justamente deba ser aprendida por todos los ciudadanos que perteneciesen a la misma
concepcin cientfica del mundo.
La concepcin de la reconstruccin del conocimiento cientfico propagada por el Crculo
de Viena y por otros grupos de filsofos y cientficos en Europa, como el de Hans
Reichenbach (Alemania, 1891-1953) en Berln, u otros, ms restringidos, pero igualmente
activos, en Polonia, Suecia, Finlandia y Reino Unido, llega as a su apogeo a mediados de los
aos treinta. Esta concepcin representa lo que de una manera general se puede llamar
positivismo lgico. Se trata de una visin del edificio conceptual y metodolgico del conjunto
de las ciencias empricas estrictamente reduccionista, lgico- empirista j verificacionista. Se
compone de tres pilares fundamentales uno concerniente a los conceptos, los otros dos a
los enunciados cientficos. El primero consiste en reducir todos los conceptos cien tficos,
por definiciones estrictas y lgicamente irrebatibles, a conceptos muy simples de tipo
directamente observacional. El segun- do pilar postula que todo enunciado
verdaderamente cientfico es puramente analtico o sinttico (es decir, que es verdadero o
falso en virtud nicamente de su forma lgica, o que es verdadero o falso en virtud de su
contenido emprico). El tercer pilar corresponde a los enunciados sintticos o empricos:
deben ser verificables, al menos en principio, por enunciados estrictamente
observacionales y controlables por todo el mundo.
4.El operacionalismo
7En francs falsifier se traduce generalmente por falsificar o falsear, pero en espaol se ha impuesto
falsar como traduccin del trmino tcnico de Popper, el cual debe entenderse en el sentido de refutar. Lo
mismo ocurre con el trmino falsificationnisme que he traducido por el que, en este contexto, es ms corriente en
espaol: falsacionismo. [N. del t.]
!
pase lo que pase. Es por esta razn que no nos procuran forma alguna de autntico
conocimiento. Adems, segn Popper, el principio de falsabilidad nos permite hacer
desaparecer pura y simplemente el problema de la induccin: el pretendido razonamiento
inductivo no representa de hecho ninguna forma de razonamiento vlido. El nico tipo d
razonamiento cientfico aceptable es el que sigue las reglas de la lgica (deductiva) y basta
para caracterizar de manera adecuada la metodologa cientfica. Las ciencias empricas no
son ciencias, inductivas, como se haba dicho; son tan deductivas como las matemticas,
con la nica diferencia de que las ciencias empricas son adems falsables.
La obra de Popper tuvo un impacto inmediato slo sobre los miembros del Crculo de
Viena y sus allegados; no. fue sino hasta ms tarde, a partir de los aos cincuenta, despus
de su traduccin al ingls (y a varias otras lenguas), que comenz a tener una influencia
verdaderamente fuerte sobre un pblico filosfico y cientfico mucho ms amplio. Durante la
segunda mitad del siglo XX, el racionalismo crtico, como Popper bautiz su propia
posicin, se convirti en la filosofa de la ciencia predominante en el Reino Unido. Sin
embargo, con el tiempo, la metodologa popperiana fue
.objeto de una serie de crticas que partan de puntos de vista distintos, pero
convergentes hacia una fundamental puesta en cuestin del mtodo falsacionista.
La crtica ms conocida del pblico no especializado consisti en la objecin fundamental
segn la cual, el falsacionismo popperiano propone una imagen completamente deformada
de la manera real de proceder de las ciencias empricas, de su dinmica interna. En el
captulo siguiente me ocupar de esta crtica, a propsito de la revuelta historicista en la
filosofa de la ciencia de los aos sesenta.
Crisis
delinterno,
positivismopero
lgicosignificativo, al58cual se enfrenta la
Abordemos ahora otro problema,
ms
metodologa falsacionista popperiana problema que fue planteado ya en las primeras
discusiones en el seno del Crculo de Viena. Este problema proviene del hecho lgicometodolgico siguiente: aceptemos de entrada, como Popper pretende, que las hiptesis
cientficas ms fundamentales tengan la forma de enunciados universalmente cuantificados
y que, por esta razn, no pueden ser verificadas, sino slo falsadas. Para Popper, las
hiptesis que no tienen la forma de enunciados cuantificados umversalmente sino
existencialmente son aceptables como enunciados cientficos slo en la medida en que
puedan deducirse de hiptesis ms generales cuantificadas universalmente. Ahora bien, se
puede constatar l presencia en todas las disciplinas cientficas, sobre todo, fuera de la
fsica, de hiptesis existenciales bastante fundamentales que no son derivables de
enunciados universalmente cuantificados, pero cuya categora cientfica nadie pondra en
discusin. Por razones estrictamente lgicas, los enunciados existencialmente cuantificados
son verificables pero no falsables, o n todo caso, si lo son, lo son muy difcilmente. Por
ejemplo, no existe ninguna buena razn para calificar de metafsica o seudocientfica
una hiptesis del tipo: existen o han existido formas de vida en alguna otra parte de
nuestra galaxia adems de la Tierra. Ahora bien, claramente, si bien es fcil imaginar una
verificacin de esta hiptesis (por ejemplo, si encontramos restos de bacterias en Marte o
en un meteorito), es muy difcil imaginar cmo podramos falsaria (para ello, deberamos
viajar a travs del espacio y del tiempo por todos los rincones de la galaxia). Este gnero de
hiptesis es an ms frecuente en las ciencias sociales (psicologa, sociologa, lingstica,
etc.). Es ms, desgraciadamente para Popper, en los dominios ms tericos de la fsica nos
encontramos con un tipo de enunciados que tienen una forma lgica tal que /no son
estrictamente falsables ni verificables en s mismos. No podemos entrar en la discusin de
detalles tcnicos para mostrar este punto; nos limitaremos a sealar que se trata de
enunciados que, de acuerdo con un anlisis lgico adecuado, revelan cierta combinacin de
cuantificadores universales y existenciales. (He aqu dos ejemplos significativos: el segundo
principio de Newton, que en los manuales se formula como fuerza igual a masa por
aceleracin, pero que de hecho tiene una forma lgica mucho ms complicada, y las .leyes
bsicas de la termodinmica.)8 Si decidiramos persistir eri la aplicacin de la metodologa
falsacionista, tendramos que excluir del discurso cientfico una cantidad tan considerable
de hiptesis y de teoras como en el caso del verificacionismo.
Una tercera razn para considerar inverosmil la metodologa popperiana seguida al pie de
la letra es la siguiente. Incluso si limitamos nuestra atencin a hiptesis generales
efectivamente falsables (como la hiptesis de la negrura de los cuervos), el falsacionismo
estricto sencillamente no corresponde a la prctica cientfica. En efecto, al rechazar
totalmente toda forma de razonamiento inductivo, la metodologa popperiana hace que nos
deba ser indiferente encontrar un gran nmero de casos positivos de una hiptesis, o bien
un pequeo nmero, o bien ninguno. Aparentemente, la nica cosa que debera contar para
un cientfico que siga la metodologa falsacionista sera encontrar un caso negativo.
Retomando nuestro ejemplo de los cuervos, la persona que formula la hiptesis todos los
cuervos son negros sin haber visto jams un cuervo negro estara en la misma situacin
epistmica que el que formula la misma hiptesis despus de haber visto 1 000 cuervos
negros y ninguno de otro color. Ahora bien, aun cuando el razonamiento inductivo no es
vlido desde un estricto punto de vista lgico, todo el mundo considera intuitivamente
que, cuando pasamos de la primera situacin descrita a la segunda, se realiza un progreso
en nuestro conocimiento.
De hecho, Popper mismo era consciente, por supuesto, de la naturaleza altamente
antiintuitiva del falsacionismo sin calificativos y, por esta razn, introdujo el concepto de
8El lector encontrar un anlisis detallado de la forma lgica de estos dos ejemplos en mi libro Exploraciones metaen
tificas, 3.
corroboracin', cuando se constata un gran nmero de casos positivos para una hiptesis determinada y ningn caso negativo, es cierto que uno no puede certificar que la hiptesis en
cuestin sea verdadera, pero se puede afirmar que ha sido corroborada en una cierta
medida. En sus escritos posteriores de los aos cincuenta y sesenta y, sobre todo, en
Objective Knowledge (1972) [Conocimiento objetivo], Popper intent , introducir un concepto
formal preciso para resolver este problema la nocin de verosimilitud', no podremos jams
estar seguros de que una hiptesis cientfica general sea verdadera, pero podemos aseguramos que es ms o menos verosmil;
y positivismo
podremos
admitirla en el corpus
de disciplinas
Crisis del
lgico
58
verdaderamente cientficas si tiene un alto grado de verosimilitud. Sin embargo, muchos
autores han demostrado formalmente que la definicin original de Popper de esta nocin
conduce a contradicciones lgicas insolubles. Ms adelante, otros autores, que
estrictamente hablando no fueron discpulos de Pop- per, pero que fueron inspirados por su
obra, particularmente Hkka Niiniluoto (Finlandia, nacido en 1947) en su tratado Truthlikeness
(1987) [Verosimilitud], han intentado desarrollar un sistema formalmente coherente de la
verosimilitud. Hasta el presente, sin embargo, ninguno de los sistemas propuestos ha
resultado
verdaderamente
convincente,
sea
porque
conducen
a
consecuencias
contradictorias con la prctica cientfica, sea porque se ven obligados a dar valores
arbitrarios al grado de verosimilitud de hiptesis universalmente cuantificadas.
Para compensar las consecuencias inaceptables tanto del verificacionismo como del
falsacionismo, a partir de los aos cuarenta, Carnap comienza a desarrollar lo que llama
una lgica inductiva. Admite la crtica de Popper, segn la cual el razonamiento inductivo
no es capaz de conducirnos a una conclusin absolutamente cierta. Pero esto no quiere
decir que las formas inductivas de razonamiento sean siempre inadecuadas para los
procedimientos cientficos. Por el contrario, esta forma de razonamiento nos permite llegar
a la conclusin de que una hiptesis determinada, para la cual hemos encontrado casos
positivos y ninguno negativo, es ms o menos probable. El razonamiento inductivo
representa simplemente una forma de razonamiento probabista, que no tiene nada de
arbitrario. As, la nocin de probabilidad (tal y como Reichenbach haba preconizado ya
algunos aos antes) est situada en el corazn de la filosofa de la ciencia a partir de 1950.
Para Carnap, una tarea fundamental de los filsofos de la ciencia debe ser clarificar la
nocin de probabilidad y determinar el papel que tiene que desempear en una reconstruccin lgica de la metodologa cientfica.
Es sintomtico que el ttulo del tratado fundacional de Carnap en este dominio contenga
el trmino probabilidad y no ms el de induccin: Logical Foundations of Probability (1950)
[Fundamentos lgicos de la probabilidad]. Segn Carnap, el verdadero sentido de : la
induccin consiste en atribuir a las hiptesis cientficas generales lo que se llama, en
trminos habituales de la teora de probabilidades, probabilidades condicionales', se trata,
pues, de desarrollar un sistema de reglas formalmente consistente y lo ms intuitivo
posible, que permita calcular, tomando un enunciado observacional particular e (verificado
o verificable en tanto que enunciado particular), cul es la probabilidad de la hiptesis
general h a partir de la cual podemos deducir formalmente el enunciado e. Al utilizar el
simbolismo habitual del clculo de probabilidades, se trata en definitiva de poder calcular el
valor de la funcin p(h/e). Volviendo a nuestro modesto ejemplo, se tratara de construir un
sistema formal de inferencia no deductiva que nos permita calcular la probabilidad de la
hiptesis Todos los cuervos son negros partiendo del enunciado observacional verificado
El cuervo que he visto esta maana era negro. Es claro que el sistema debe construirse
de manera tal que la probabilidad de la hiptesis examinada sea diferente y mayor si el
enunciado particular verificado no es solamente El cuervo que he visto esta maana era
negro, sino ms bien la conjuncin de enunciados El cuervo que he visto esta maana era
negro y El cuervo que vi ayer por la tarde era negro. Y si la conjuncin se compone de un
nmero an mayor de enunciados bsicos, la probabilidad de la hiptesis deber aumentar
uniformemente, y as sucesivamente. No obstante, tambin es necesario tener en cuenta la
condicin segn la cual todos estos enunciados particulares deben ser consecuencias
lgicas deductivas de la hiptesis general examinada. Para Carnap, en esta etapa de su
pensamiento, un sistema de razonamiento inductivo aceptable no puede ser sino una
combinacin coherente de la lgica normal, deductiva, con la teora de la probabilidad.
Desgraciadamente, el proyect inicial de Carnap de desarrollar una lgica inductiva tal,
a pesar de su carcter razonable prima facie, pronto se top con una serie de dificultades,
ms o menos tcnicas. La ms importante, sin duda, reside en el hecho. de que, en el
Al comienzo de este captulo he recordado que dos elementos clave del positivismo lgico,
el reduccionismo y el verificacionismo, fueron puestos en duda a mediados de la dcada de
1930 para derrumbarse poco despus y dar lugar a nuevas concepciones de la metodologa
y de la estructura conceptual del conocimiento cientfico. Hasta aqu he descrito el proceso
de abandono y reemplazo del verificacionismo, sea por el falsacionismo popperiano o por el
in- ductivismo lgico de Carnap y, an ms tarde, por las concepciones ms epistmicas (o
subjetivistas) d sus herederos. Consideremos ahora el otro pilar del positivismo lgico
derribado: el reduccionismo, es decir, la idea segn la cual todos los conceptos cientficos,
en la medida en que pretenden tener un sentido emprico, deben ser reducibles, por medio
de cadenas ms o menos largas de definiciones, a conceptos estrictamente observacionales.
Carnap mismo es quien en su obra Testability and Meaning, publicada en dos partes entre 1936
y 1937 ataca las bases del programa reduccionista al que l haba contribuido de manera
decisiva en sus escritos precedentes.
Los primeros resultados antiredLccionistas que Carnap obtuvo en este ensayo tienen que
ver con l anlisis semntico de una cierta categora de conceptos cientficos que, en
primera instancia, aparecen como bastante inofensivos desde un punto de vista empirista:
se trata de los conceptos llamados disposicionales, es decir, de conceptos que se refieren
a disposiciones atribuidas a ciertos objetos a comportarse de manera determinada cuando
son sometidos a unas condiciones determinadas. El ejemplo paradigmtico de este gnero
de conceptos viene representado por la nocin de solubilidad, tan importante en qumica
y que nadie sospecha que es una nocin metafsica. Cuando atribuimos a un objeto
cualquiera (por ejemplo, un terrn de azcar) la propiedad de solubilidad, le estamos
atribuyendo una cualidad que no es inmediatamente perceptible por nuestros sentidos: lo
que percibimos directamente del terrn de azcar es que es blanco, dulce, poroso y otras
cualidades semejantes. Sin duda, sabemos (o creemos saber) que el terrn de azcar,
suponiendo que lo introdujramos en una cantidad suficiente de un lquido no demasiado
Ti8c...8cTm8cRI8c...8cRp8c018c...$c0q
un nuevo enunciado observacional O* (una prediccin, por ejemplo). Entonces, se puede
derivar el mismo enunciado 0* si reemplazamos los trminos tericos en los enunciados
tericos y las reglas de correspondencia por variables x\,..., xn, si se los cuantifica existencialmente y si se reescribe la conjuncin precedente de la manera siguiente:
..,
Xn (Ti
[&!,. ,
8c.
8c Tjji
[#l,..,
XnJ 8c
J?i[3Cx,. . . , x n ] 8 c . . . 8 c R p [xi,.
, . , x n ] 8 c 0 i 8 c ... & 0 q ),
lgico, deberan ser considerados como analticos. Esto no planteara ningn problema si,
como estaban convencidos los filsofos de la ciencia del periodo de entreguerras, el
programa logicista propagado por Frege y Russell de reducir toda la matemtica a la lgica
fuese viable. Sin embargo, las dificultades inherentes al logicismo se hicieron cada vez ms
patentes con el curso del tiempo y, a partir de los aos cuarenta, nadie cree ya
verdaderamente en l. Se puede aceptar que todas las matemticas sean reducibles a la
teora de conjuntos, pero no que la teora de conjuntos sea reducible a la lgica. 11
Por tanto, si queremos considerar
los
de las matemticas
Crisis
delenunciados
positivismo lgico
58 como enunciados
analticos, hay que buscar algo ms que el criterio de logicidad. El problema es peor an:
existen numerosos enunciados que quisiramos intuitivamente admitir como analticos, pero
que no son enunciados puramente lgicos o matemticos. Consideremos el ejemplo: Si ayer
era limes, entonces maana ser mircoles. No hay necesidad de recurrir a la experiencia
ni saber qu da es para convencerse de que el enunciado es verdadero. Pero ste ya no es
una verdad lgica ni matemtica. Se dir que es verdadero en virtud de una suerte de
convencin de la lengua espaola; pero, cul es el criterio preciso de convencin de una
lengua natural? He aqu otro ejemplo problemtico: muchos filsofos quisieran con tar el
enunciado Si veo una mancha enteramente roja, entonces esa mancha no es verde entre
los enunciados analticos; pero no es una verdad lgica, ni una verdad matemtica, tampoco
ua convencin, gramatical. Los ejemplos podran multiplicarse.
Conscientes de la importancia de la nocin de analiticidad para establecer la semntica de
las ciencias sobre fundamentos rigurosos, varios filsofos de la poca que consideramos, en
primer lugar Carnap, intentaron establecer el criterio general requerido, de una manera a la
vez intuitivamente aceptable y formalmente correcta. En este contexto W.V.O. Quine
(Estados Unidos, 1908-2000) publica en 1951 un artculo demoledor que tuvo una enorme
repercusin y se convirti en un clsico de la filosofa analtica en general: Los dos dogmas
del empirismo.6 Cierto, Quine no es un filsofo de la ciencia stricto sensu; es ms conocido
como lgico y filsofo del lenguaje, y los argumentos que desarrolla en su artculo pertene cen principalmente al anlisis lgico del lenguaje. Sin embargo, su crtica de la nocin de
analiticidad, que es el tema central, es igualmente pertinente para la filosofa de la ciencia
en la medida que esta nocin era tambin una de las preocupaciones principales de la
filosofa de la ciencia de la poca.
Los dos dogmas a los que Quine se refiere en el ttulo de su artculo son la distincin
ntida entre enunciados analticos y sintticos as como el reduccionismo.7 Ya hemos tratado
antes las dificultades del reduccionismo. En el momento en que Quine publica su artculo
estas crticas era bien conocidas. Por este motivo la mayor parte de su texto concierne a la
cuestin de la analiticidad, si bien es cierto que, en las ltimas pginas, Quine intenta
mostrar en una argumentacin un tanto rpida que la idea de analiticidad y el
reduccionismo estn ntimamente ligadas.
En la primera parte del texto, Quine pasa revista a las distintas propuestas hechas hasta
entonces para definir el criterio de analiticidad (por medio de las nociones de, significado,
verdadero en todos los mundos posibles, sinonimia y, finalmente, la nocin ms formal
de regla semntica que Carnap formul), para mostrar que todas presuponen la misma
nocin de analiticidad que se quera definir. Todas estas propuestas son circulares y, por
tanto, inaceptables. Habra un medio de escapar a esta circularidad y sera apelar a un
criterio verificacionista (lo que para Quine significa reduccionista una identificacin que
es problemtica) del significado de los enunciados. En efecto, podramos intentar
construir nuestras intuiciones estipulando que un enunciado es analtico si y slo si se
verifica sea cual sea el contenido de nuestra experiencia. Esto presupondra, no obstante,
que pudiramos establecer el significado de cada enunciado particular confrontndolo con
nuestras experiencias sensoriales; si se comprueba su independencia de toda verificacin,
entonces significa que es analtico. Mas es en este punto de la discusin que la doctrina
holista de Quine (retomada explcitamente de Duhem) entra en accin: es contrario a la
prctica autntica de la ciencia tomar cada enunciado aisladamente para ver si puede
confrontarse con la experiencia. Es la ciencia en su totalidad lo que se confronta con los
datos de la experiencia. Cuando estos ltimos nos hacen constatar que algo no funciona en
11La discusin del programa logicist y. las razones de su derrumbe, aun cuando esto representara un factor
indirecto de crisis para el positivismo lgico, escapan completamente al marco temtico de este libro: se trata de una
cuestin muy compleja de filosofa de las matemticas.
queremos explicar la ley ptica de la reflexin de la luz tomaremos como premisas las leyes
de la ptica ondulatoria, que son ms generales, y que permiten deducir la ley de la
reflexin interpretando y fijando algunos parmetros de la teora ondulatoria. As, dejando
de lado algnos detalles ms tcnicos que hay que tener en cuenta en este gnero de
argumentacin, la forma lgica esencial de la explicacin cientfica es extraordinariamente
simple si seguimos a Hempel y Oppenheim. Justamente este esquema es conocido a partir
de entonces como esquema H-O o N-D (nomolgico- deductivo). La tesis inicial de estos
Crisis del positivismo
lgico
58 debe tener esta
dos autores estableca que toda explicacin
pretendidamente
cientfica
forma: debemos ser capaces de deducir el explanandum a partir del explanans, y si no somos
capaces, no tendremos un caso genuino de explicacin.
Algunos aos ms tarde, Hempel acept que todas las explicaciones autnticamente
cientficas no siempre tienen la forma nomolgico-deductiva. Esto simplemente se debe k
que, en varios casos, los cientficos no tienen a su disposicin leyes estrictamente
generales que puedan figurar en las premisas de un argumento deductivo: se cuenta
nicamente con leyes estadsticas que otorgan una alta probabilidad, pero no certeza, a
una correlacin entre los parmetros pertinentes. Esta situacin es tpica (aunque no
exclusiva) de las explicaciones ofrecidas en medicina (por ejemplo, cuando explicamos que
una persona est enferma a causa del tabaquismo), pero tambin en las ciencias humanas
(por ejemplo, cuando explicamos que alguien se ha suicidado porque sufra una grave
depresin). Ya nadie se negara a aceptar estas explicaciones como autnticamente cientficas, aun cuando no sean deductivas. A lo largo de varios trabajos de los aos sesenta
Hempel propone un complemento al esquema N-D para contemplar estos casos: el
esquema E-I (por estadstico- inductivo). Este esquema establece que en este tipo de
explicaciones las premisas consisten en leyes estadsticas que, junto con las condiciones
iniciales apropiadas, permiten inferir por induccin (no por deduccin) el explanandum con
una-alta probabilidad.
Aun cuando la mayor parte de los autores de la fase clsica aceptaron el ncleo esencial
del programa hempeliano de reconstruccin de las explicaciones cientficas, pronto se hizo
evidente que el anlisis de Hempel adoleca de toda una serie de problemas graves, en parte
de naturaleza lgico-formal, en parte ms sustanciales. No entraremos en los detalles de
esta discusin, muy viva entre los aos 1950 y 1960. Mencionemos slo dos tipos de
contraejemplos que se propusieron contra la concepcin de Hempel: por un lado, muchos
argumentos que intuitivamente se tienen por buenas explicaciones de fenmenos
observados y que son aceptados en la literatura cientfica especializada parecen no
satisfacer en ltima instancia ni las condiciones del esquema N-D ni del esquema E-I; por
otro, estos esquemas permiten declarar formalmente como buenas explicaciones
argumentos que el buen sentido o la praxis cientfica nunca aceptaran. Cada vez que se les
pona un presunto contraejemplo, la respuesta de Hempel y sus discpulos propona agregar
restricciones o modificaciones particulares al esquema original; pero poco despus nuevos
contraejemplos mostraban la insuficiencia de las revisiones propuestas. Hacia el final de la
dcada de los sesenta, la comunidad de los filsofos de la ciencia tena la sospecha de que,
aunque la teora hempeliana reflejaba algunos aspectos importantes de las explicaciones
cientficas, era claramente insuficiente para representar lo verdaderamente esencial en un
proceso de explicacin cientfica y que, en consecuencia, haba que buscar vas
completamente diferentes. As, en los aos subsiguientes, se proponen nuevos enfoques de
la explicacin cientfica desarrollos que pertenecen a la ltima fase de nuestra historia de
la filosofa de la ciencia (vase el captulo 6).
7.
debe al menos a dos razones. En primer lugar, deja sin respuesta la diferencia entre una ley
qu no es fundamental en este sentido, pero que no deja de ser ley, y un enunciado general
como nuestro ejemplo de la mesa de Pedro y sus lpices. El otro problema proviene del
hecho de que, aun cuando el criterio de no especificidad parece plausible para las leyes
fundamentales de la fsica y de la qumica, no lo es para las de otras disciplinas, como la
biologa o las ciencias sociales, que contienen explcita o implcitamente referencias a un
objeto particular (la Tierra o regiones determinadas de ella) o a periodos determi nados. Se
del positivismo
58
podra tratar de salir del atolladeroCrisis
estipulando
quelgico
slo las ciencias fsico-qumicas
tienen
leyes verdaderamente fundamentales. Pero este imperialismo de la fsica parece un precio
demasiado alto, sobre todo por el estado actual de las relaciones entre las disciplinas
cientficas realmente existentes. Se propusieron luego otros criterios adicionales de
legaliformidad ms o menos tcnicos y ms o menos razonables (apelando, por ejemplo, a la
nocin de causalidad o empleando nociones de la lgica modal), pero ninguna de estas
propuestas, que no discutiremos aqu, se ha mostrado susceptible de ser el objeto de un
consenso entre los filsofos de la ciencia. El problema de la legaliformidad ha quedado
parcialmente abierto hasta nuestros das.
El otro problema planteado por la nocin de ley cientfica es el de las condiciones
de su validez o aceptabilidad. Hemos constatado ya, en lo que concierne a la
induccin, que no tenemos generalmente ninguna garanta de que un enunciado
general, aun si es muy simple como el del color negro de los cuervos, sea
verdadero. Todo lo que podemos decir es que est corroborado o bien confirmado
por sus casos positivos. Si hemos observado miles de cuervos negros y ninguno de
otro color, nuestra ley Todos los cuervos son negros pasar a ser aceptable por
estar bien confirmada. Podremos admitirla, pues, como premisa de una explicacin
N-D o como parte de una teora cientfica. Sin embargo, un clebre argumento de
Nelson Goodman (Estados Unidos, 1906-2^0^) en Fact, Fiction and Forecast /( 'fit
[Hecho, ficcin y pronstico], de 1955, muestra que la relacin de confirmacin
entre casos positivos y la ley general no puede, por principio, llevar a una seleccin
unvoca de la ley en cuestin. Habr siempre otros enunciados genrales que
intuitivamente nadie; aceptara como leyes genuinas, pero que resultaran
igualmente confirmados por los mismos casos positivos.
En efecto, supongamos que un bilogo extravagante introdujera, en lugar del
predicado negro, el nuevo predicado blagro, a interpretar de la siguiente
manera: x es blagro si x ha sido observado y se ha constatado que es negro, o
bien si x no ha sido observado y es blanco, y supongamos que nuestro bilogo
extravagante propusiera la siguiente ley de la naturaleza: Todos los cuervos
son blagros. Enseguida nos damos cuenta de que todos los casos positivos de la
ley Todos los cuervos son negros (es decir, todos los cuervos observados hasta
ahora que.son evidentemente negros) son tambin casos positivos de la ley Todos
los cuervos son blagros; lo que es una consecuencia inmediata del significado
dado a la nueva palabra blagro. Por consiguiente, la segunda ley est tan bien
confirmada como la primera. Pero las dos leyes no pueden ser, evidentemente,
verdaderas a la vez; permiten hacer predicciones muy diferentes: la primera
predice que los cuervos que examinaremos en el futuro son tan negros como los
cuervos observados en el pasado, mientras que la segunda predice que los cuervos
futuros sern blancos. Cul de las dos escoger? Ni el criterio de la forma lgica de
las leyes ni el de la buena confirmacin nos ayudan a resolver esta cuestin. Desde
un punto de vista estrictamente lgico (sintctico y semntico), los dos enunciados
son igualmente respetables.
Seguramente, a la paradoja de Goodman se podra responder que un predicado del tipo
blagro (Goodman mismo puso otros ejemplos, pero que son de la misma naturaleza) es
demasiado raro para ser tomado en serio. Sin embargo, la rareza no es, en principio, un
buen criterio para resolver cuestiones filosficas y metodolgicas. Despus de todo, los
cientficos modernos han introducido trminos al menos tan extraos como blagro en sus
teoras (pensemos en el trmino posicin de un electrn cuando no es observado) y nadie
(o casi nadie) ha replicado nada, al respecto. Parece que son consideraciones ms bien
pragmticas (las costumbres en la construccin de teoras cientficas a lo largo del tiempo) y
no lgico-semnticas lo que nos lleva a preferir negro o blanco a predicados como
blagro, Pero esta constatacin, aunque perfectamente vlida, implica , que hay un
elemento irreductiblemente pragmtico (y, de hecho, histrico) en la eleccin de los
enunciados generalizados que estamos dispuestos a considerar leyes cientficas. En todo
caso, los predicados goodmanianos son an hoy una fuente de irritacin y perplejidad para
el anlisis formal del concepto de ley cientfica y de su confirmacin emprica.
58
La mayor parte de los autores de las fases de eclosin y clsica de nuestra disciplina, en
contraste con los de la primera fase de preformacin, muestran poco inters por el
84 Eldesde
desarrollo
moderno
de la filosofa
de la ciencia
(,1890-2000)
anlisis de la ciencia
una
perspectiva
diacrnica,
es decir,
la perspectiva que toma en
cuenta la dimensin histrica de las teoras cientficas. Su principal objetivo es proponer una
reconstruccin formal de las estructuras sincrnicas implcitas del conocimiento cientfico.
Las cuestiones de la dinmica de las teoras no estn totalmente ausentes de su reflexin,
pero son consideradas desde un punto de vista ahistrico, por as decirlo sub specie aeternitat.
Es principalmente el caso de Popper en el que encontramos la idea de una dinmica
cientfica fundada en la metodologa de la falsacin: el motor de la investigacin cientfica
no es otro que la tendencia a poner a prueba una teora cientfica tantas veces como sea
necesario, hasta su refutacin por la experiencia, lo que conduce a construir una nueva
teora, que ser refutada algn da y as indefinidamente. Esta visin de lo que debe ser una
metodologa adecuada de la ciencia no puede pretender procurar un modelo efectivo de la
historia de la ciencia; a lo ms, se trata de una propuesta normativa de la forma en la cual las
ciencias habran tenido que evolucionar en el curso de la historia. En la Logik der Forschung hay
pocas observaciones histricas sustanciales destinadas a sostener la metodologa de
Popper. En este aspecto, su manera de proceder en el estudi filosfico de la ciencia no es
verdaderamente diferente de la del Crculo de Viena o de la de los sucesores de la fase
clsica.
Esta situacin cambia radicalmente a partir de los aos sesenta con lo que se ha dado en
llamar la revuelta historicista: la voluntad de dar cuenta de la historia real de la ciencia,
es decir, de construir modelos de cambio cientfico adecuados a las ciencias tal y como stas
se desarrollan efectivamente en el curso de su historia, pasa a primer plano. La perspectiva
diacrnica se convierte en un tema central entre los filsofos de la ciencia.
La obra capital en este cambio de perspectiva, The Structure of Scientific Revolutions [La
estructura, de las revoluciones cientficas], de Thomas S. Kuhn (Estados Unidos, 1922-1996)
aparece en 1962. Irona de la historia, el ensayo de Kuhn es publicado en una serie de la
Enciclopedia Internacional de la Ciencia Unificada que Neurath y Carnap concibieron, la cual
tena un perfil epistemolgico completamente diferente, es ms, opuesto... Adems de
Kuhn, los autores ms importantes de esta nueva fase son Paul K. Feyerabend, Imre Laicatos
y, un poco ms tarde, Larry Laudan. Podemos aadir otros dos autores que, en cierto modo,
fueron sus precursores: Norwood R. Hanson y Stephen Toulmin. Hacia 1960, estos autores
hicieron ya algunas crticas a la concepcin clsica de la filosofa de la ciencia subrayando el
papel que el estudio del desarrollo histrico real de las ciencias debera tener en la reflexin
epistemolgica. Pero su influencia es menos importante en el desarrollo de la discusin
ulterior. Nos restringiremos, pues, a los cuatro autores mencionados en primer lugar: Kuhn,
Feyerabend, Lakatos y Laudan.
Es frecuente interpretar el significado de la revuelta historicista en filosofa de la ciencia
como una defensa a favor de una perspectiva diacrnica en el anlisis de la ciencia. Sin
embargo, es una interpretacin demasiado restrictiva de las consecuencias epistemolgicas
y metodolgicas de las propuestas de estos autores. Tambin aportan una perspectiva
nueva sobre la estructura sincrnica de las ciencias, sobre todo en lo concerniente al
concepto de teora cientfica y la relacin entre teora y experiencia. Podramos incluso decir
que la tesis ms original de los filsofos historicistas es que no se puede separar
estrictamente la perspectiva sincrnica de la perspectiva diacrnica en el estudio de la
ciencia, ya que est en juego el mismo tipo de categoras epistemolgicas en los dos casos.
Para comprender debidamente este punto, hay que recordar algunos elementos esenciales
del modo en que la filosofa clsica de la ciencia ha concebido la dinmica de las teoras y las
relaciones intertericas, sea en su versin carnapiana o en la popperiana. ,
En los dos casos, una teora cientfica consiste esncialmente en una serie de axiomas o
principios fundamentales, formulados en un lenguaje especfico, justamente terico. Las
consecuencias lgicas de estos principios (los teoremas) son contrastados por medio de
reglas de correspondencia ms o menos implcitas con enunciados bas formulados en un
mente, un periodo mixto y confuso de crisis entre esos periodos.) Los periodos de ciencia
normal en una disciplina generalmente son bastante ms largos que los revolucionarios.
Aqu van algunos ejemplos: la astronoma amada ptolemaica (es decir, geocntri- , ca)
desde el siglo V a.C. hasta mediados del siglo XV; la mecnica newtonina desde el siglo XVII
hasta comienzos del XX; la qumica daltoniana durante el siglo XIX; la gentica mendeliana
desde la Primera Guerra Mundial hasta mediados de la dcada de los cincuenta. En cambio,
la construccin de un sistema heliocntrico por parte de Copmico, de la nueva dinmica por
86 El
moderno
la filosofa de
ciencia
(,1890-2000)
Newton, de la teora
dedesarrollo
la oxidacin
dedeLavoisier,
delala
teora
de la relatividad por Einstein,
corresponden a fases revolucionarias, comparativamente breves, ya que slo duran algunos
aos. Despus de un periodo de ciencia normal llega una crisis, que se resuelve por una
revolucin, a la cual sucede otro periodo de ciencia normal. Las estructuras y los contenidos
de la ciencia normal y de la ciencia revolucionaria son completamente diferentes. Veamos en
qu consisten.
Segn Kuhn, lo que caracteriza un periodo de ciencia normal es que se trata de una fase
donde la investigacin cientfica en una disciplina cualquiera es enteramente dominada por
una suerte de estructura conceptual muy general, pero difcil de precisar, que no est
puesta jams en duda y que pasa sin modificaciones de una generacin de investigadores a
la siguiente. En la primera edicin de su libro, Kuhn llama paradigma a esta estructura.
Criticado por el uso excesivamente vago y equvoco de este trmino, propuso uno nuevo en
la segunda edicin, a saber, el de matriz disciplinaria, e intent precisar un poco sus
componentes esenciales. Volveremos a la descripcin que da Kuhn de estos componentes.
Pero casi todos los comentadores han continuado hablando de paradigma y es ste el
trmino que se ha hecho famoso. Continuaremos emplendolo, aun cuando pensemos,
junto con Kuhn, que convendra ms usar el de matriz disciplinaria.
Kuhn habra podido emplear tambin el trmino teora. Si evit deliberadamente esta
terminologa no fue por afn de originalidad, sino porque conoca bien el uso que de l
hacan los filsofos de la ciencia de su tiempo. Hemos visto ya que, para los filsofos
clsicos de la ciencia, una teora es un sistema de axiomas con sus consecuencias lgicas.
Kuhn juzg que este concepto era demasiado restrictivo, y demasiado neutro al mismo
tiempo, para designar el gnero de estructura conceptual que impera en un periodo de
ciencia normal. Un paradigma o una matriz disciplinaria es algo mucho, ms fuerte, ms
dramtico, tambin ms difcil de definir que una simple teora como sistema de
enunciados. Un paradigma es una suerte de visin del mundo.
En su apndice a la edicin de 1970, donde introdujo el trmino de matriz disciplinaria y
trat de precisarlo, Kuhn caracteriza esta entidad como una estructura global articulada por
cuatro gneros de componentes ligados entre s que constituyen en conjunto la identidad
de una tradicin de investigacin. Hay, en primer lugar, lo que llama generalizaciones
simblicas y que tambin podramos llamar principios esquemticos fundamentales o
principios-gua. Entiende por tales frmulas muy? generales que, en s mismas, no tienen
un contenido emprico concreto, de tal suerte que pueden ser fcilmente confundidas con
definiciones o principios analticos; pero no lo son, pues son indispensables para la
investigacin emprica en el sentido en que fijan el tipo de leyes empricas concretas que es
necesario contemplar para explicar los fenmenos. El ejemplo clsico de generalizacin
simblica en el sentido kuhniano es el segundo principio de la mecnica de Newton, f-m
a. En s misma, y tomada aisladamente, esta frmula no es ni verificable ni falsable, sino
que sugiere la forma que debe adoptar toda ley mecnica del movimiento para poder ser
admitida y para ser confrontada con la experiencia. No es necesario suponer que una.
generalizacin simblica se exprese en forma de ecuacin matemtica. Puede expresarse
tambin en un lenguaje normal, no cuantificado; podramos, por ejemplo, interpretar el
principio de variacin y de seleccin en la teora darwiniana de la evolucin de las especies
como una generalizacin simblica en el sentido kuhniano.
El segundo componente de un paradigma se compone de lo que Kuhn llama modelos de
la investigacin cientfica. La palabra modelo se emplea aqu no en el sentido de la lgica
formal, sino antes bien en el sentido de una interpretacin intuitiva o visualizacin del
dominio de fenmenos que se quiere analizar y que gua la investigacin en un sentido
determinado. Kuhn distingue dos clases de modelos. Hay unos que son simplemente
analogas heursticas, sin que se consideren literalmente representaciones fieles de la
realidad estudiada; un ejemplo podra ser la visualizacin de un gas como un sistema
constituido por pequeas esferas elsticas que se mueven muy rpidamente y chocan entre
s; otro ejemplo, la representacin de los fenmenos mentales como reglas de un programa
de ordenador. Existen, adems, modelos ontolgicos: aquellos que son considerados
literalmente y que fijan los compromisos ontolgicos (para retomar la expresin de Quine)
de investigadores n un dominio determinado, por ejemplo, la representacin del espacio
como un continente vaco, absoluto e infinito en la mecnica newtoniana. En todos los casos,
estos dos tipos de modelos tienenFase
por historicista
funcin no
slo guiar la investigacin
de una manera
(1960-1985)
87
intuitiva, sino tambin decidir si la solucin propuesta a un problema dado es o no
aceptable.
Un tercer componente de los paradigmas est constituido, segn Kuhn, por los valores
normativos.,Son criterios axiolgicos empleados por los investigadores para evaluar las
propuestas tericas planteadas o los resultados empricos obtenidos. Puede tratarse de
criterios internos o criterios externos a la actividad cientfica. Entre los criterios internos se
cuentan la simplicidad de las leyes propuestas, su coherencia con otras leyes o teoras, la
exactitud en las observaciones efectuadas o la controlabilidad de los experimentos de
laboratorio. Entre los criterios externos, se cuentan la utilidad social o econmica de la
teora propuesta o su compatibilidad con concepciones ideolgicas, metafsicas, religiosas
aceptadas por la comunidad en general. Los valores que constituyen la base de un
paradigma determinado estn casi siempre implcitos; sin embargo, en periodos de crisis
de ciencia revolucionaria, se discuten.de forma explcita, por lo que a menudo se
proponen nuevos valores.
El ltimo componente de los paradigmas consiste en lo que Kuhn llamaba ejemplares
(exemplars). Junto con las generalizaciones simblicas, los ejemplares constituyen la parte
esencial de un paradigma, ya que constituyen su identidad propia. Paradigmas diferentes
pueden compartir modelos o algunos valores, pero no las generalizaciones simblicas y,
sobre todo, no los ejemplares. Esto constituye quiz la contribucin ms original de Kuhn al
anlisis de la dinmica de las teoras, si bien su caracterizacin conceptual resulta un poco
vaga en sus escritos. La caracterizacin ms general que se puede dar es la de que se trata
de casos particularmente reveladores de la aplicacin de un paradigma a un dominio de
investigacin determinado. Muy frecuentemente, son tambin los primeros ejemplos
histricos en los cuales el paradigma mostr su eficacia y representan casos especialmente
importantes para la comunidad cientfica. Se transmiten de una generacin a otra de
investigadores, y los estudiantes los aprenden en los libros de texto. Sirven de modelos
para casos ulteriores. De hecho, el trmino paradigma convendra mejor a este
componente de una matriz disciplinaria. Todos los otros casos d aplicaciones sucesivas de
la teora deben concebirse por analoga con estos ejemplares. Es el papel que tiene, por
ejemplo, la rbita de Marte en el paradigma kepleriano o el cometa Halley en la mecnica
newtoniana o aun los guisantes de Mendel en la gentica clsica.
Las generalizaciones simblicas y los ejemplares, aun siendo de diferente naturaleza, son
indisociables en la constitucin de la identidad de un paradigma. Por un lado, las primeras,
tomadas aisladamente, son slo esquemas formales sin significacin emprica; obtienen esta
significacin justamente cuando se puede mostrar que son cruciales para dar cuenta de
ejemplos en tanto que casos de aplicacin de leyes. Por otro, la importancia de los
ejemplares no es intrnseca (no es muy importante para la humanidad en general saber
dnde se encontrar el cometa Halley el prximo ao o constatar la forma de los guisantes
de una generacin a otra), sino que proviene del hecho de que muestran de una manera
particularmente impresionante la eficacia de las leyes fundamentales del paradigma para
explicar la naturaleza. Los ejemplares constituyen, pues, lo esencial de la base emprica de
una teora. Es por este motivo que Kuhn mismo destac que, en su concepcin, la relacin
entre generalizaciones simblicas y ejemplares tena vina funcin parecida a la de las reglas
de correspondencia en la concepcin clsica.
Sobre la base de esta exposicin de la nocin kuhniana de paradigma, es fcil constatar
que, contrariamente a una opinin bastante extendida, la teora de Kuhn no propone
solamente un anlisis dia- crnico de las disciplinas cientficas, sino tambin una concepcin
sincrnica vlida al menos para los periodos de ciencia normal. En estos periodos, la unidad
estructural fundamental de una disciplina no es otra cosa que una matriz disciplinaria,
pudiendo sta estar explicitada, incluso parcialmente formalizada, en una perspectiva
meramente sincrnica.
observacional, que presupone ya una toma de partido en favor de los conceptos que le son
propios. De hecho, la nocin misma de lenguaje observacional en tanto que instancia
universal de verificacin nocin tan cara a la concepcin de los dos niveles sostenida por la
filosofa clsica de la ciencia pierde todo su sentido.
Sin embargo, el viejo paradigma y el nuevo siguen teniendo una relacin particular entre
s. Para designar esta nueva relacin interterica, Kuhn emplea el trmino de
inconmensurabilidad. Dos paradigmas
en competencia
son inconmensurables
lo! que, por
Fase historicista
(1960-1985)
89
otra parte, no equivale a decir que son incomparables. Desafortunadamente, nunca intent
explicitar sus criterios segn ilos cuales dos paradigmas inconmensurables podan ser
comparados. Puesto que ya no es factible recurrir a descripciones neutras de observacin,
no resulta evidente cmo determinar la base de comparacin.
La tesis de la inconmensurabilidad entre paradigmas es uno de los aspectos ms famosos
de la concepcin kuhniana y el que ha suscitado las ms vivas discusiones durante ms de
treinta aos. Otro autor, Paul K. Feyerabend, de quien hablaremos a continuacin, sostuvo
una tesis parecida (con matices y argumentos un tanto diferentes) independientemente de
Kuhn y casi simultneamente. Es por esto que a esta tesis se la conoce como tesis de KuhnFeyerbend. Su interpretacin ms comn es la que dice que conduce a una visin
relativista o, incluso, irracionalista de la dinmica cientfica, al menos en lo que respecta a
las grandes sacudidas reconocidas como revoluciones cientficas. Sin base semntica u
observcional comn que permita comparar dos paradigmas separados por una revolucin
cientfica, toda decisin a favor de uno u otro ele esos paradigmas parece reducible a una
cuestin de gusto o, peor an, a pulsiones irracionales comparables a las que son
responsables de las luchas polticas o religiosas. En su dinmica propia, la ciencia no
procedera en un modo sustancialmente diferente del de ideologas y religiones. La
descripcin sociopsicolgica que Kuhn emplea para describir la situacin de la comunidad
cientfica durante un periodo revolucionario (con trminos como conversin, dilogo de
sordos, argumentos de autoridad, muerte fsica de los partidarios del viejo paradigma
para permitir el surgimiento del nuevo, etc.) parece confirmar estainterpretacin. Sin
embargo, l siempre neg que propugnara una forma de relativismo o irracionalismo y, en
sus escritos posteriores a La estructura de las revoluciones cientficas, a veces intent eliminar
esta sospecha y mostrar que de todas formas se podran encontrar buenas razones para
preferir un paradigma a otro. Dicho esto, hay que admitir que la mayor parte de sus ad miradores as como de sus detractores, continan interpretando su concepcin y,
particularmente, la tesis de la inconmensurabilidad, como una forma radical de relativismo
epistemolgico. A partir de la publicacin del libro de Kuhn muchos jvenes investigadoras
convencidos de lo apropiado de su descripcin de la dinmica cientfica dedujeron
consecuencias mucho ms radicales de lo que l mismo haba previsto: habindose vuelto
obsdleta la idea misma de una epistemologa o de una filosofa general de la ciencia, slo
quedara una especie de historia sociolgica de la ciencia, donde tan slo se tratara de
describir la investigacin cientfica en todos sus dominios como una sucesin ininterrumpida
de luchas de poder, de golpes bajos, de negociaciones, de "engaos, etc. Los
enfoques conocidos con el nombre de etnometodologa o Escuela de Edimburgo, .que surgieron
durante los aos setenta y los aos ochenta, son ejemplos de estas interpretaciones
relativistas o sociologistas del paradigma kuhniano. Hacia el fin de su vida, el propio Kuhn
lament en vano el giro que tom la interpretacin de sus ideas.12
Ms an que en la obra de Kuhn, el relativismo epistemolgico es explcito y radical en
otro autor que tambin forma parte de los orgenes de la filosofa historicista de la ciencia:
Paul K. Feyerabend (Austria, 1924-19^9f, quien muy pronto pas al otro lado del Atlntico.
Feyerabend se form en la tradicin clsica de la filosofa de la ciencia. Su enfoque, aunque
bastante crtico ya en sus comienzos, se presenta en un marco conceptual y metodolgico
cercano al de los filsofos precedentes, principalmente Popper. Su primer artculo
importante, Das Problem der Existenz theoretischer Entitaten [El problema de la
existencia de las entidades tericas], trata del problema clsico de los trminos tericos y
critica la concepcin de los dos niveles. En l, defiende la idea de que todos los conceptos
que figuran en una teora cientfica son, de hecho, tericos y que debemos cesar de
12Es esto lo que destaca, por ejemplo, en sus notas autobiogrficas en la tercera parte de su obra postuma, The
Road since Structure.
Hungra, intent actuar como mediador entre Popper y Kuhn, proponiendo una suerte de
falsacionismo sofisticado, que combina la idea popperia- na de la falsacin con algunos
elementos de la descripcin kuhnia- na de la dinmica cientfica, sin aceptar, sin embargo, los
aspectos considerados ms discutibles de la concepcin de Kuhn, como el supuesto carcter
dogmtico de la ciencia normal o el supuesto relativismo a que conduca la tesis de la
inconmensurabilidad. Laicatos no pudo convencer a Popper y sus discpulos ms prximos
de los elementos positivos contenidos
en el enfoque
de Kuhn al contrario,
l mismo fue
Fase historicista
(1960-1985)
91
considerado un traidor a la causa popperiana; pero el resultado de su intento de sntesis
fue una nueva concepcin de la estructura diacrnica de la ciencia, que implcitamente est
ms cerca de Kuhn que de Popper, pero que propone elementos de anlisis originales y,
quiz, empricamente ms adecuados que los de Kuhn. Se trata de la concepcin que
Lakatos mismo bautiz como metodologa de los programas de investigacin cientfica. Su
escrito ms importante, donde presenta esta nueva concepcin, es un largo ensayo titulado
precisamente La falsacin y la metodologa de los programas de investigacin cientfica,
publicado por primera vez en 1970. A pesar de su longitud Laicatos consideraba esta
presentacin como un esbozo. Tena la idea de desarrollarla de una manera ms detallada y
de armarla mejor en contra de las crticas en una monografa ms larga que se haba de
llamar, haciendo una clara referencia a la obra de Popper, The Changing Logic of Scientific
Discovery [La lgica cambiante de la investigacin cientfica]. Muri prematuramente a
mediados de los aos setenta, y no pudo terminar este proyecto.
Lakatos retoma de Popper la idea segn la cual el motor de la investigacin est
constituido por intentos repetidos de poner a prueba una concepcin cientfica; hay que
mostrar ms lo que no funciona que lo que funciona, por un procedimiento en el que es
irremisiblemente puesta a prueba. Sin embargo, las unidades bsicas del conocimiento
cientfico no son, como en Popper, hiptesis aisladas, ni tampoco teoras como conjuntos
axiomticos de hiptesis, sino ms bien estructuras conceptuales mucho ms vastas que
normalmente duran mucho ms tiempo y son caracterizadas justamente como programas de
investigacin. Los conflictos que surgen en el desarrollo de una disciplina no son conflictos
entre una hiptesis y los hechos, sino ms bien conflictos entre una teora interpretativa que
constituya la base (provisional) de los hechos y una teora explicativa que debe dar cuenta de
esos datos. O de manera ms precisa an, para usar las propias palabras de Lakatos: no es
que nosotros propongamos una teora y la naturaleza pueda gritar NO; se trata, ms bien, de
que proponemos un entramado de teoras y. la naturaleza puede gritar INCONSISTENTE.14 Los
investigadores intentan, entonces, resolver este conflicto modificando algunos elementos de
esta red, pero no todos. De esta manera aparece en el curso de la historia una sucesin de
teoras vinculadas entre s por su pertenencia a un mismo programa de investigacin, que
posee desde entonces una impresionante continuidad. Esta continuidad est esencialmente
determinada por un ncleo duro (hard core) que no cambia en el curso de las sucesivas
confrontaciones. Este ncleo est asociado a dos tipos de reglas metodolgicas esquemticas, a las que Lakatos llama heurstica negativa y heurstica positiva. La primera define
los elementos del programa, que en cierto sentido son intocables los que justamente
deben formar parte del ncleo; mientras que la heurstica, positiva construye alrededor
del ncleo un cinturn protector {protecting belt) constituido por hiptesis que s pueden
ser confrontadas con los hechos de la experiencia y modificadas, o incluso abandonadas, en
caso de conflicto.
El resultado de la aplicacin de esta doble metodologa hace aparecer la estructura
diacrnica de una teora cientfica o, ms precisamente, siguiendo la terminologa de
Lakatos, de un programa de investigacin una estructurame compone de un ndeo duro,
no modificble, y de una periferia cambiante. Esta visin de la dinmica cientfica
muestra una analoga bastante fuerte con la evolucin de un paradigma durante un
periodo de ciencia normal, segn Kuhn. Los conceptos mettericos empleados por
Lakatos y por Kuhn son diferentes, aunque la estructura que los dos autores intentan
identificar es prcticamente idntica. No obstante, existen tambin algunas diferencias
significativas entre estos dos modelos. Seguramente la ms importante es que Lakatos no
lleva a cabo un
anlisis de las revoluciones cientficas y tampoco acepta la tesis de la inconmensurabilidad:
, p. 62.
141. Lakatos, The Methodology of Scientific Research Programmes, p. 45; trad. esp.,
4
VaseT.S. Kuhn, The Road since Strudure, pp. 317-319; trad. esp. 367-369.
1. Lakatos, The Metkodology of the Sreritijic Research Programmes, p. 102; trad. esp., p. 134.
limitaremos a sealar dos dificultades que aparecen de manera bastante evidente cuando se
quiere aplicar sistemticamente el marco metaterico de Laudan. Primeramente, sera
deseable tener una visin ms clara de la relacin entre los componentes 1) y 2) de cada
tradicin de investigacin, es decir, entre los presupuestos generales de orden metafsico y
metodolgico, de un lado, y las teoras especficas, de otro. Se puede aceptar fcilmente que
esta relacin no pueda ser una deduccin formal; pero afirmar que las teoras especficas
deben ser compatibles o coherentes con los presupuestos generales es insuficiente.
El desarrollopuede
modernoser
de laconcebida
filosofa de la ciencia
Cualquier teora 94
especfica
como (,1890-2000)
compatible con presupuestos
generales mientras no est en contradiccin lgica con ellos, lo que convertira la nocin
misma de tradicin de investigacin en algo casi carente de sentido. Otra dificultad, quiz
ms grave an para la prctica reconstructiva del metaterico que emprende un anlisis del
material histrico, consiste en que Laudan no da ningn criterio operacioril preciso para
distinguir el nivel de las teoras especficas del de los presupuestos generales. Puesto que
las teoras cientficas no son casi nunca directamente verificables por la experiencia, el
criterio de tests empricos es claramente insuficiente. Por consiguiente, frente al ejemplo
concreto de un producto cientfico histricamente dado, se vuelve bastante difcil clasificarlo
con buenos argumentos en un nivel u otro. Para dar un ejemplo, tomemos el caso de la
mecnica newtoniana, que seguramente debera ser concebida como una tradicin de
investigacin en el caso de Laudan, y tomemos algunos elementos que forman, sin duda,
parte de esta tradicin: es razonable, segn Laudan, considerar la ley de la gravitacin
universal como una teora especfica de esta tradicin. Pero, qu decir de la hiptesis
segn la cual todas las fuerzas actuantes sobre las partculas dependen de un modo u otro
de la distancia que las separa? Esta hiptesis es ms general que la precedente, pero
todava ms o menos comprobable a partir de la experiencia y la observacin. Qu decir del
axioma an ms general de la mecnica newtoniana, el segundo principio, f = m a~i Es
un presupuesto metafsico-epistemolgico o una teora especfica? Este principio, en s
mismo, no puede ser comprobado por la experiencia. Quiz Laudan estara dispuesto a
clasificarlo en el nivel de los presupuestos generales. Pero, entonces, dnde situar la
hiptesis newtoniana an ms general segn la cual el universo est constituido en ltima
instancia por partculas dotadas de masa, de fuerzas que actan entre ellas y por un espacio
y un tiempo abso- , lutos? La indeterminacin de los niveles de anlisis propuestos por
Laudan se hace patente desde el momento en que mo intenta aplicarlos a la prctica; este
es, probablemente, uno de los motivos por los cuales se le ha seguido poco.
2.
El relativismo socio-epistmico
la medida de todas las cosas. Sin embargo, el relativismo contemporneo se distingue del
tradicional en que no preconiza una relatividad de nociones epistmicas en relacin con
individuos, sino en relacin con sujetos colectivos (culturas, comunidades, grupos sociales).
En esto se pretende ms progresista que su predecesor histrico. (El postulado marxista
segn el cual las ideas filosficas, o incluso cientficas, dependen esencialmente, en su
legitimidad, de la clase social a la cual pertenecen los individuos que las sostienen, es una
fuente de inspiracin tcita, aunque
evidente,
para
el relativismo contemporneo.)
Fase
historicista
(1960-1985)
95
Llamaremos a esta forma particular de relativismo relativismo socio-epistmico en el
sentido de que se refiere a las nociones epistmicas ms fundamentales, y en el que las
entidades con respecto a las cuales se relativizan las nociones epistmicas son entidades
sociales. Hay que subrayar que esta denominacin no es habitual.
Se habla ms frecuentemente de constructivismo social o simplemente de
constructivismo. Sin embargo, puesto que el trmino constructivismo ha sido utilizado
en la historia de l filosofa para referirse a otras corrientes (por ejemplo, el kantismo o
ciertas concepciones en la filosofa de las matemticas o la fsica pensemos en el
constructivismo de la Escuela de Erlangen examinado en el captulo 4) que no tienen
mucho: que ver con la posicin que queremos discutir ahora, preferimos la denominacin de
"relativismo socio-epistmico, que nos parece tambin ms adecuada a la forma de pensar
que tratamos de describir.
El relativismo generalizado a todos los niveles de la vida y del conocimiento es una
manifestacin cultural tpica del fin del siglo XX. Para emplear una terminologa an
recientemente de moda, podemos decir que el relativismo es una de las numerosas
manifestaciones de la posmodernidad. Adoptando el punto de vista sociolo- gista o sociohistoricista tan caro a los relativistas contemporneos, podemos tratar de explicar la gran
popularidad de que ellos gozan hoy en da por el choque de culturas y comunidades muy
diferentes en un mundo donde la comunicacin es cada vez ms fcil y, por la misma razn,
ms conflictiva. En una situacin tal, se puede estar tentado de tratar de evitar, o al menos
gestionar mejor, estos conflictos sosteniendo que todo el mundo tiene razn (su razn)...
Sin involucramos aqu en una especulacin metahistrica o metacul- tural que ira ms
all del alcance de este libro, podemos sealar que slo caba esperar, vista la enorme
difusin del relativismo en todos los sectores de la cultura, que las posiciones relativistas
radicales se manifestaran a su vez en las consideraciones epistemolgicas de las ciencias
establecidas, independientemente de la evolucin precedente de la filosofa de la ciencia.
Dicho esto, podemos igualmente detectar races especficas al relativismo socioepistmico que provienen de las ideas de los autores de la fase historicista de la filosofa de
la ciencia, sobre todo de Kuhn y Feyerabend. Si los paradigmas separados por una
revolucin cientfica (Kuhn) o las teoras separadas por una relacin de reduccin
(Feyerabend) son inconmensurables, entonces podemos estar fcilmente abocados a
interpretar este estado de cosas como la prueba de que los criterios de verdad, de
justificacin racional e incluso de realidad son pura y simplemente internos a los paradigmas
o a las teoras. Cada teora tiene su propia verdad, sus propios criterios de justificacin, su
propia realidad. El paso siguiente (solamente implcito en Kuhn y Feyerabend) se da cuando
nos preguntamos: si la instancia que decdala aplicacin de criterios de verdad, de justifica cin y de racionalidad no es una realidad objetiva o una experiencia intersubjetiva y
universal, entonces qu es?. La respuesta que se impone es que esta instancia no puede
ser otra que la comunidad de cientficos que propone y utiliza la teora en cuestin. El sujeto
(colectivo) de la ciencia determina exclusivamente la naturaleza del objeto de la
investigacin cientfica. De ah que el nico estudio que tiene sentido en relacin con las
teoras cientficas sea el estudio sociolgico de los usuarios de estas teoras, con sus
prejuicios, rituales, relaciones mutuas, conflictos, negociaciones. Las disciplinas
cientficas deben estudiarse de la misma manera que un etnlogo tradicional estudia las
costumbres y creencias de una tribu ms o menos extica. De esta forma, la filosofa de la
ciencia se convierte enteramente en una sociologa o etnologa de la ciencia (es decir, de las
comunidades cientficas).
Este ltimo paso (que, repito, slo est implcito en Kuhn y Feyerabend) fue dado explcita
y enfticamente por un cierto nmero de socilogos y algunos filsofos de la ciencia. Entre
los primeros podemos citar a Bruno Latour (Francia, nacido en 1947), Karin Knorr- Cetina
(Austria, nacida en 1944) y, sobre todo, la muy influyente escuela de Edimburgo, cuyos
miembros ms eminentes son probablemente Barry Barnes y David Bloor (Reino Unido).
Entre los filsofos de la ciencia, un caso notable es el de Mary Hesse (Reino Unido, nacida en
1924), filsofa de tendencia ms bien clsica, que intent aportar al programa de la
Escuela de Edimburgo (llamado el programa fuerte en sociologa de la ciencia) precisiones
conceptuales y una base argumental en su libro Revolutions and Reconstructions in the
Philosophy of Science (1980) [Revoluciones y reconstrucciones en la filosofa de la ciencia].
Segn Hesse, el ncleo del programa fuerte de la Escuela de Edimburgo, con el cual est
96 El desarrollo
de de
la filosofa
deella
la ciencia
(,1890-2000)
plenamente de acuerdo,
es la moderno
negacin
lo que
llama
racionalismo exagerado (de
hecho, es la posicin de todos los filsofos de la ciencia no sociologistas) y, por oposicin, la
adopcin del siguiente postulado: Hay que considerar ahora como conocimiento aquel que
es aceptado como tal en nuestra cultura.6 Si este postulado vale para nuestra cultura
(aunque, desgraciadamente, Hesse no es muy/explcita sobre lo que significa nuestra
cultura), entonces vale tambin, por supuesto, para cualquier otra cultura. De donde
necesariamente se sigue que el trmino de conocimiento y trminos que estn
ntimamente ligados, como
.
En esta ltima fase de la historia de nuestra disciplina, que ocupa aproximadamente las,
ltimas tres dcadas del siglo XX, es difcil encontrar una caracterstica comn a los diversos
autores y corrientes que han desempeado, o todava desempean, un papel significativo
durante esta fase. Falta, adems, la perspectiva que da el transcurso del tiempo. Sin
embargo, podemos observar un aire de familia en la mayor parte de los representantes
importantes de la filosofa de la ciencia durante este periodo. Establecer algunos rasgos
comunes aun cuando hayamos de describirlos de un modo un tanto vago, pues admiten
realizaciones diferentes en cada enfoque nos ayudar a medir el camino recorrido por
nuestra disciplina desde 1970.
Se constata, en primer lugar, una profunda desconfianza (si no una franca aversin) hacia
una metodoldga casi exclusivamente sin- tctico-formal en el anlisis de los conceptos y las
reconstrucciones de las teoras cientficas emprendidas por muchos de los autores ms
influyentes de la fase clsica (Carnap, Hempel, Nagel, Braithwaite e incluso Popper y sus
discpulos). He ah un punto en comn entre los autores de la fase que estamos
considerando y los historicistas, aunque su rechazo del sintacticismo obedece a
motivaciones completamente diferentes: no es que den la primaca a una metodologa
historiogrfica (ligada a la idea muy extendida segn la cual la historia de las ideas no se
deja analizar formalmente), ni que recusen los mtodos ms o menos formales de anlisis.
Al contrario, cierto nmero de autores pertenecientes a los tres ltimos decenios considera
que los problemas que enfrentaron los anlisis clsicos de las teoras cientficas provienen
de la aplicacin de instrumentos formales demasiado elementales (bsicamente la lgica de
predicados de
primer orden), y que ms bien deben utilizarse instrumentos lgico- matemticos fiiertes
Me permito introducir aqu un neologismo poco atractivo (conjun- tismo) para designar los
trabajos de un grupo de lgicos y filsofos de la ciencia, activos sobre todo en la Universidad
de Stanford (Estados Unidos), que han aplicado sistemticamente los conceptos y los
principios de la teora de conjuntos a la reconstruccin y al anlisis de las teoras de las
ciencias/empricas, principalmente de la fsica clsica (incluida la teora especial de la
relatividad). El trmino concepcin conjuntista se propone, pues, como la traduccin ms
satisfactoria de la expresin anglosajona set-theoretical view.
Desde el punto de vista estrictamente cronolgico, los principales trabajos de esta escuela
pertenecen an a la fase clsicaFase
de historicista
la filosofa(1960-1985)
de la ciencia, pues la 99
mayor parte de ellos
fueron publicados en los aos cincuenta y sesenta. Sin embargo, el desarrollo del mtodo
conjuntista y su aplicacin a un gran nmero de estudios de caso se llev a cabo de una
forma casi totalmente independiente de las discusiones caractersticas de la fase clsica, y
el mtodo reconstructivo de los miembros de la escuela de Stanford tuvo una gran
influencia, a menudo explcitamente reconocida, sobre los autores de esta ltima fase de la
filosofa de la ciencia.
Patrick Suppes (Estados Unidos, nacido en 1922) es, sin duda, el representante ms
eminente de esta escuela. En colaboracin con el lgico J.C.C. McKinsey y otros
investigadores, tuvo la idea de axio- matizar las teoras empricas de una manera mucho
ms simple y transparente conceptualmente que las tentativas precedentes, lo que no
slo le permiti comprender ms fcilmente la estructura interna esencial de la teora as
reconstruida, sino tambin examinar adecuadamente sus eventuales relaciones con otras
teoras. El mtodo reconstructivo propuesto por Suppes y sus colaboradores es conocido con
el nombre de axiomatizacin por definicin de un predicado conjuntista (axiomatization by
definition of a set-theoretical predcate). Estrictamente, no inventaron este mtodo: se
inspiraron en ciertas ideas del gran lgico Alfred Tarski (McKinsey fue discpulo suyo), que
ya haban sido puestas en prctica en las teoras matemticas, y en los trabajos de
sistematizacin de las matemticas emprendidos por el grupo de Bourbaki durante los aos
cuarenta y cincuenta. Sin embargo, adems de algunas diferencias un tanto tcnicas en la
manera de desarrollar el mtodo, Suppes y sus colaboradores aportaron una gran
innovacin a la filosof de la ciencia al mostrar de manera convincente que uno puede
reconstruir de este modo prcticamente cualquier teora cientfica emprica, dndole de esta
forma su criterio de identidad con una gran precisin, sin que la tarea se vea sobrecargada
por el aparato lgico considerado anteriormente como necesario para la reconstruccin de
teoras. La teora de conjuntos utilizada para aplicar el mtodo stanfordiano slo consiste
en lo que habitualmente se llama la teora informal o intuitiva de conjuntos, la cual a su
vez no est axiomatizada formalmente, y, sin embargo, representa el aparato matemtico
ms prximo desde un punto de vista conceptual de lo que es requerido en la prctica
cientfica (y en el anlisis epistemolgico). De hecho, Suppes es probablemente el primer
filsofo de la ciencia en darse cuenta de que la lgica de predicados de primer orden (la
herramienta de anlisis favorita de los positivistas lgicos y de los filsofos clsicos de la
ciencia) no es un buen instrumento formal de anlisis y de reconstruccin de la ciencia; al no
servir ms que para el anlisis de cuestiones muy elementales, este instrumento lgico es a
la vez demasiado burdo y demasiado simple. El mtodo conjuntista tiene otra ventaja:
permite determinar directamente y sin recurrir a la construccin de un sistema de semntica
formal, cules son los modelos de una teora dada, es decir, las entidades conceptuales que
supuestamente representan las diferentes partes del mndo de la experiencia; los modelos
de una teora son simplemente las entidades que satisfacen lo que se llama un predicado
conjuntista. Adems, esta determinacin de la nocin de modelo nos permite comprender de
una sola vez que una teora cualquiera producir en general un nmero indeterminado de
modelos realmente diferentes para representar la realidad y no uno solo, como numerosos
filsofos a menudo suponan: n fin, como enseguida veremos, el mtodo permite detectar
directamente la forma lgica de los compromisos ontolgicos de la teora as reconstruida
lo que, seguramente, tambin es posible en el mtodo clsico axiomtico-formal, pero de
una manera mucho menos directa y transparente.
En qu consiste exactamente el mtodo de axiomatizacin por definicin de un
predicado conjuntista? No entraremos aqu en los detalles tcnicos, pero un ejemplo,
ciertamente muy simplificado, aclarar nuestra exposicin. Supongamos que en un manual
de sociologa o de psicologa encontramos, por ejemplo, una teora. que nos habla de
relaciones familiares y nos explica que las familias son entidades complejas constituidas por
un padre y una madre, ligados entre s por el matrimonio, y al menos un hijo engendrado por
ellos. Cul es exactamente la identidad de esta teora (y sus modelos)? La respuesta est
dada por la definicin del siguiente predicado conjuntista:
x es una familia si y slo si x es una tupia (en el sentido de la teora de conjuntos)
constituida por un conjunto bsico de al menos tres elementos y por dos relaciones
didicas (en el sentido de la teoia de conjuntos), llamadas matrimonio y
engendrar, que satisfacen ciertas propiedades que se pueden formular con ayuda de
100 El desarrollo moderno de la filosofa de la ciencia (,1890-2000)
la teora de conjuntos (por ejemplo, la relacin matrimonio es irreflexiva y simtrica,
mientras que la relacin engendrar es asimtrica). Adems, postulamos la ley de
que, en toda familia, hay al menos un elemento que ha sido engendrado por otros dos
elementos.1
Cada entidad concebida como una instancia de la variable x en esta definicin es, pues,
una estructura consistente en un conjunto finito de base (las personas en cuestin) y dos
relaciones didicas (matrimonio y engendrar) que deben satisfacer algunas condiciones
expresables en teora de conjuntos. Ahora bien, una estructura tal es precisamente un
modelo de la teora.2
La escuela de Stanford muestra que no existe, en principio, ningn obstculo formal para
identificar, con la precisin necesaria, todas las teoras cientficas, aun las teoras ms
complejas de la fsica, as como sus modelos, por medio del mtodo descrito. Adems, una
vez que la teora y sus modelos han sido identificados, se puede hacer de manera bastante
fcil un anlisis formal de sus particularidades: por ejemplo, qu condiciones deben ser
tomadas como axiomas y cules como teoremas, cules son los conceptos bsicos (no
1
Para los lectores que tienen alguna familiaridad con las frmulas lgico- matemticas, he aqu, a modo de
ilustracin, la formalizacin conjuntista de esta mini-teora de la familia. (Usamos las abreviaturas: F para " . . . es
una familia; P para un conjunto de personas, M para la relacin de matrimonio y "E para la relacin de
engendrar. Para abreviar, escribiremos, para toda relacin didica R, xfiy en lugar de la formulacin < x,y >e R)
FQQ si y slo si 3P, M, E:
(0)
X=<P,M,E>
CPxPA
Vjc
'iy
(-i
xMx A (xMy
>
yMx))
definibles) requeridos, cul puede ser la relacin entre esta teora y otra semejante, etc.
Ms que hacer declaraciones programticas generales o comprometerse con largas
argumentaciones filosficas, Suppes y sus colaboradores juzgaron ms convincente pasar a
la accin y reconstruir tantas teoras cientficas serias como fuera posible. Su primera
reconstruccin fue un hito en tanto que paradigma de la aplicacin del mtodo: la
axiomatizacin conjuntista de la mecnica clsica de partculas, en un artculo de 1953
titulado precisamente Axiomatic Foundations of Classical Particle Mechanics [Fundamentos axiomticos de la mecnica clsica de partculas]. A partir de entonces, un gran
nmero de teoras de la fsica, la psicologa y la economa fueron axiomatizadas por Suppes
mismo o por otros. Todas estas reconstrucciones se publicaron de manera ms o menos
dispersa en muchas revistas y compilaciones. Suppes dio algunos ejemplos en la ltima
parte de su libro Introduction to Logic (1957) [Introduccin a la lgica], cuyo ttulo es un poco
equvoco ya que no se trata meramente .de un manual de lgica, sino de una exposicin del
mtodo conjuntista de reconstruccin de las teoras cientficas. En 1970, reuni an ms
ejemplos, sobre la base de una exposicin general del mtodo y sus ventajas, en la obra SetTheoretical Structures in Science [Estructuras conjuntistas en la ciencia], que, a pesar de la
influencia que ejerci en los filsofos rconstructores de teoras cientficas, curiosamente
circul durante muchos aos slo en forma de manuscrito. Una parte importante de los
trabajos de Suppes sobre el mtodo conjuntista fue recogida ms tarde en Models'and
Methods in the Philosophy of Science (1995) [Modelos y mtodos en filosofa de la ciencia].
A pesar de los xitos innegables de su programa, Suppes no parece estar en condiciones
de resolver de manera satisfactoria ciertas cuestiones epistemolgicas y metodolgicas
fundamentales sobre la naturaleza de las teoras empricas. Sealemos un punto crtico. Si
identificamos los modelos de una teora
por medio
de un predicado conjuntista,
parece claro
Fase historicista
(1960-1985)
101
que si la teora no es contradictoria o empricamente inaceptable, encontraremos que, en
principio, muchos de sus modelos son aplicables, no slo uno. Este aspecto de la concepcin
suppesiana es completamente convincente a nivel intuitivo, pues siempre se constata que
cuando los cientficos disponen de una buena teora, en general, sta no slo es aplicable a
urna parte de la realidad, sino a varias. (Este hecho podra ser descrito como el
plurimodelismo de las teoras empricas.) Sin embargo, si
uno identifica una teora con todos los modelos determinados por el predicado conjuntista
que la caracteriza, esta manera de concebir la identidad de las teoras cientficas tropieza
con un problema epistemolgico grave: para decirlo brevemente, el nmero de estructuras
que son modelos de una teora definida por el mtodo de Suppes no slo suele ser muy
grande, sino demasiado grande. En efecto, siempre podemos encontrar un gran nmero de
estructuras que satisfagan las condiciones conjuntistas del predicado y que, por tanto,
sean formalmente modelos de la teora. De hecho, para una teora cualquiera que no sea
completamente trivial, habr siempre un nmero infinito de modelos efectivamente
diferentes. (Esto es resultado de un teorema bastante elemental de la teora formal de
modelos.) Para volver a nuestro ejemplo de la teora de la familia, sean cuales sean las
condiciones ms o menos restrictivas que impongamos a las relaciones que van de acuerdo
con la caracterizacin del predicado x es una familia, este predicado ser satisfecho no
slo por objetos que consideraramos intuitivamente como siendo una familia real, sino
tambin por otros objetos que no tienen absolutamente nada que ver con ellas, pero que
satisfacen las mismas condiciones conjuntistas (por ejemplo, dominios finitos que consisten
en un nmero superior a dos elementos, y sobre los cuales es posible definir una relacin
irreflexiva y simtrica y una relacin asimtrica). Se puede tratar incluso de estructuras
matemticas, cuyos conjuntos base contienen simplemente nmeros como elementos, y
que nada tienen que ver con el mundo emprico... ni a fortiori cpn el mundo de las familias.
Suppes mismo es ms o menos consciente de este problema de interpretacin del
contenido de las teoras empricas, pero no lo considera muy importante. Para l, este
resultado muestra que, aun cuando en l construccin de una teora emprica estemos
generalmente guiados por intuiciones ms o menos vagas concernientes al dominio de
experiencia al cual debe ser aplicada,; una vez que la teora est bien (re)construida,
constataremos siempre que tiene - muchas aplicaciones que no habamos sospechado
inicialmente, e incluso aplicaciones en dominios no empricos (puramente matemticos, por
ejemplo). De hecho, Suppes no cree en la distincin esencial entre ciencias empricas y
ciencias matemticas.
Para un filsofo de la ciencia tradicional, esta respuesta no es satisfactoria, puesto que
una de las grandes cuestiones de la filosofa de la ciencia desde sus inicios (sea cual sea la
concepcin particular defendida) es justamente distinguir las teoras empricas de las no .
empricas, y hacer una distincin, en las ciencias empricas, entre una disciplina y otra. Uno
de los miembros ms representativos de la escuela de Stanford, Ernest W. Adams (Estados
Unidos), tematiz este problema y propuso otra solucin. 16 Segn l (y en esto lo han seguido la mayora de los autores de la nebulosa modelstica), es insuficiente caracterizar una
teora cientfica emprica mediante una clase M de modelos definida por un predicado
conjuntista. Esta clase representa solamente una parte (si bien esencial) de su identidad.
Para tener una plena comprensin de la teora de que se trata, hay que aadir a la clase M
una clase I de aplicaciones intencionales (intended interpretations), que nos indican el dominio de
la experiencia al cual estos modelos deben aplicarse. Formalmente, los elementos de l son
estructuras del mismo tipo (es decir, concebidos de la misma manera) que los elementos de
16Vase la introduccin a su artculo de.1959: The Foundations of Rigid Body Mechanics and the Derivation of Its
Laws.from those of Partide Mechanics" [Los
fundamentos de la mecnica del slido rgido y la derivacin de sus leyes a partir de las de la mecnica de
partculas].
M, sin que se pueda saber a priori si son verdaderamente modelos actuales de la teora, es
decir, estructuras que satisfacen las condiciones sustanciales del predicado conjuntista. La
esperanza del cientfico consiste justamente en creer que a la larga se podr mostrar que
I es verdaderamente un subconjunto de M, es decir, que todas las aplicaciones intencionales
satisfacen efectivamente todas las condiciones sustanciales necesarias para ser modelos
de esta teora. Esta esperanza constituye lo que Adams llam la afirmacin emprica
(empirical claim) de una teora.
El desarrollo
moderno de la
filosofa
de la ciencia
(,1890-2000)
La nocin de 102
aplicacin
intencional,
aun
siendo
parcialmente
for- malizable en los
trminos de la teora de conjuntos, excluye a priori toda suerte de estructuras ms o menos
grotescas (desde un punto de vista intuitivo) o incluso puramente matemticas que, por
azar, satisfagan las condiciones del predicado conjuntista. Ahora bien, de esta forma lo
que estamos introduciendo en la nocin de teora emprica s un elemento
irreductiblemente pragmtico: las aplicaciones (o interpretaciones) intencionales lo son para
alguien; y este alguien, en el estado actual de las cosas, no es otro que la comunidad
cientfica que, en un momento dado, construye o aplica la teora en cuestin. La nocin de
teora emprica depende as esencialmente de la nocin de comunidad cientfica, la cual es
claramente pragmtica. Es ella la que selecciona las estructuras que vale la pena intentar
comprobar si son efectivamente modelos de la teora.
Hay, sin embargo, un problema lgico-matemtico en esta concepcin, sutil pero
profundo, al cual Adams no da una solucin convincente: en la determinacin de la clase I,
no se trata slo de tener en cuenta los deseos o intenciones de los cientficos, sino tambin
de identificar cada uno de los elementos de I, dado que es la nica manera factible de
determinar verdaderamente aquello de lo que queremos hablar en nuestra. (teora. Ahora
bien, en la concepcin de Adams estamos constreidos a presuponer, para la descripcin de
cada elemento de I, las nociones y las condiciones satisfechas por el predicado conjuntista
caracterstico de la teora. De ah que la afirmacin emprica de la teora, es decir, la
proposicin I es un subconjunto de M", pase a ser irremediablemente au- tojustificativa lo
que parece contradecir nuestras intuiciones de lo que significa verificar una teora
emprica. En trminos un tanto metafricos, cada teora se tornara as un mundo cerrado
en s mismo. .. Volveremos sobre este punto cuando tratemos la concepcin estructuralista.
Otra manera de intentar resolver el problema de la distincin epistemolgica entre
ciencias empricas y ciencias matemticas consiste en efectuar un anlisis profundo del
sentido en el que se puede decir que un modelo cualquiera de una teora es una estructura
que pretende representar algunos aspectos de la realidad, y muy especialmente los aspectos
que son dados por nuestra experiencia ms o menos inmediata (particularmente lo que se
llama experimento de laboratorio). Suppes mismo, sus discpulos, y tambin otros investigadores que trabajaban independientemente, siguieron esta va de maneras diversas.
La representacin de la que aqu se trata no se parece a la accin de un espejo que
refleja un objeto tal y como es. Los objetos que deben ser representados por modelos de
teoras cientficas son siempre, en cierto modo, objetos estructurados conceptualmente.
Por ejemplo, el objeto llamado familia Prez, que debe ser representado por un modelo
de la mini-teora de las relaciones de parentesco descrita anteriormente, no es un objeto
de la experiencia pura del socilogo o del psiclogo, sino un objeto concebido
estructuralmente de cierta manera, en la que ciertas propiedades y relaciones son
esenciales y otras, que uno podra tener en cuenta (como, por ejemplo, el color del cabello
de los miembros de la familia), no lo son. En suma, los objetos estudiados por las teoras
cientficas son dominios simplificados y estructurados de cierta manera. En la representacin cientfica se trata de proceder de tal modo que los modelos de la teora, que son ellos
mismos estructuras, representen lo mejor posible estos dominios estructurados que se dan
empricamente. Sin embargo, no se puede presuponer que, en la representacin, hay un
acuerdo estructural total entre el dominio representado y el modelo. En ese caso, se
tratara de una relacin de isomorfa; mientras que para emplear un .trmino tcnico de
las matemticas en la representacin cientfica se trata, en el mejor de los casos, de
establecer un homomorfismo una forma de relacin ms dbil que la isomorfa, que
produce una suerte de asimetra entre lo representado y el representante (este ltimo es
ms rico en contenido superfluo). Ms an, en los casos ms interesantes de
representaciones cientficas, el proyecto mismo de establecer una, verdadera homomorfa
entre representado y representante se vuelve irrealizable. Podemos buscar entre las dos
partes relaciones funcionales que sean an ms dbiles, por lo menos tienen que ser
informativas; este tipo de relacin ha sido descrito a menudo como la subsuncin
(embedding) de un modelo emprico en un modelo matemtico, pasando a ser el primero un
submodelo del segundo.17
No entraremos aqu en detalles, muy tcnicos, de las relaciones funcionales entre
estructuras que pueden verse como representaciones adecuadas en un contexto cientfico.
Sealemos slo que la idea esencial
representacionalismo
consiste
en concebir el conoFasedel
historicista
(1960-1985)
103
cimiento cientfico como la investigacin de las relaciones funcionales (reconstruibles con
toda la precisin necesaria) entre diferentes estructuras relaciones que permitan hacer
inferencias sobre la naturaleza del objeto estudiado (concebido ya de cierta manera) partiendo de propiedades estructurales de los modelos utilizados para representarlo.
Un tema esencial en el anlisis de los fundamentos de la ciencia moderna la cuestin de
la naturaleza de la medida constituye una lnea de investigacin particularmente fructfera
en el seno del programa representacionalista. Medir objetos empricos (tarea que, como se
sabe, ha tenido un papel crucial en el desarrollo de la ciencia moderna y no slo en las
ciencias fsicas) resulta ser un proceso de representacin en el sentido preciso que
acabamos de sugerir. Qu es lo que hacemos cuando medimos los objetos de un dominio
dado? La respuesta del representacionalismo es que s establece una relacin de
representacin entre un dominio cualitativo dado y una estructura matemtica
(generalmente numrica). Por ejemplo, supongamos que queremos medir la estatura de los
alumnos de una escuela; este conjunto de individuos es, primeramente, un objeto a
representar que tiene entre sus miembros relaciones cualitativas o directamente
observables que se describen constatando que un alumno cualquiera es ms alto o tan
alto como otro. Ahora bien, cuando mdims la altura de los alumnos, lo que hacemos en
ltima instancia slo es asignar a este objeto cualitativo (el conjunto de alumnos
articulado en tomo a la relacin observable de la altura) una estructura matemtica que
comprende nmeros y la relacin aritmtica > entre estos nmeros. Seguramente, ste
que acabamos de dar es un ejemplo muy banal; sin embargo, la tesis del representacionalismo es que todas las formas de medida, incluso las ms complejas conocidas en
el dominio de las ciencias, consisten, esencialmente, en el mismo procedimiento. Lo que a
veces se llama el proceso de matematizacin de una disciplina no es sino la investigacin
de las condiciones adecuadas que permiten establecer este tipo de relacin funcional
(llamada justamente representacin) entre estructuras empricas dadas y estructuras
matemticas adecuadas que las representan y nos permiten obtener informacin acerca
de las primeras informaciones que, sin las estructuras matemticas correspondientes,
podran obtenerse muy difcilmente o en lo absoluto, ya que el material cualitativo es
generalmente mucho menos preciso y mucho ms difcil de manipular conceptualmente.
Para comprender mejor la importancia de este programa de reconstruccin del concepto
de medida para la epistemologa y la metodologa general de la ciencia, ilustrmoslo
mediante un ejemplo, an bastante simple, pero ms interesante que el precedente. Supongamos que a objetos fsicos de tamao medio les queremos asignar nmeros que expresen
su peso (o, ms exactamente, su masa) que es justamente lo que se entiende por la
expresin medir el peso de los objetos. No tenemos un acceso observacional directo a
estos nmeros; todo lo que podemos constatar directamente es que hay objetos ms
pesados (en el sentido cualitativo) o tan pesados como los otros; adems, tambin podemos
constatar directamente que disponemos de un aparato (una balanza, por ejemplo) que nos
permite reunir (combinar o concatenar son las expresiones tcnicas habituales) dos
objetos diferentes sobre un mismo platillo de balanza constituyendo as un tercer objeto que
resulta, por as decirlo, de la combinacin o concatenacin de los otros dos. Se trata de
constataciones puramente empricas o directamente observables. No se trata an de
nmeros ni de cantidades. Sin embargo, si la estructura constituida por el conjunto de
objetos fsicos, la relacin entre ellos (que describimos como ser tanto o ms pesado que)
y, finalmente, la operacin de combinacin consistente en ponerlos juntos sobre el mismo
platillo de balanza si esta estructura satisface algunas condiciones axiomticas de
naturaleza emprica, se puede probar formalmente que existe una funcin numrica (una
17Para una definicin de esta nocin de subsuncin, vase, por ejemplo, el ar tculo de Suppes Representation
Theory and the Analysis of Science [Teora de la representacin y el anlisis de la ciencia], que contiene adems
una breve exposicin de los objetivos generales del representacionalismo.
magnitud), que simbolizaremos por m (la masa), que tiene la propiedad de asignar a
cada objeto fsico un nmero de tal modo que si un objeto a es tanto o ms pesado (en el
sentido intuitivo, cualitativo) que otro b, entonces m(a) > m(b), y si un objeto c resulta de la
combinacin (emprica) de a y b, entonces m(c) = m(a) + m(b). Se puede tambin probar que
esta funcin es unvoca, salvo por transformaciones de escala que son fciles de formular.
Se puede decir, entonces, que hemos representado la estructura emprica, constituida por
objetos fsicos ms o menos pesados en relacin los unos con los otros y combinables,
104 El desarrollo
moderno
de la filosofa de
ciencia (,1890-2000)
mediante una estructura
puramente
matemtica
delanmeros
provista de las relaciones y
+. Brevemente, hemos representado los datos de la experiencia mediante una estructura
matemtica. He aqu un punto crucial para comprender en qu consiste la relcin entre la
experiencia y la matemtica lo que, como se sabe, /es un tema central de la filosofa de la
ciencia. Ciertamente, la prueba de que es posible representar una determinada estructura
emprica mediante una estructura matemtica conveniente depende esencialmente de las
condiciones axiomticas que la estructura emprica debe satisfacer, y stas no son, en
general, condiciones fciles de establecer.
La proposicin que expresa que una estructura emprica dada satisface algunas
condiciones que permiten probar la existencia y unicidad de una representacin numrica
apropiada para esa estructura es lo que se llama un teorema de representacin. Una parte muy
importante del programa representacionalista consiste justamente en establecer teoremas
de representacin para un gran nmero de con- o/ntos cientficos en todas las disciplinas
(longitud, tiempo, masa, energa, entropa, carga elctrica, etc., en fsica, y asimismo utili dad en economa u otras medidas en psicologa de la percepcin o en teora del
aprendizaje). Estos resultados han sido expuestos por Suppes y sus colaboradores (D.
Krantz, R.J. Luce y A. Tversky) en una obra monumental, Foundations of Measurement
[Fundamentos de la medicin]. El primer volumen (el ms interesante desde el punto de
vista epistemolgico) apareci en 1971; los otros dos (muy tcnicos) en 1987 y 1989.
En cierto sentido, se puede establecer una relacin de filiacin entre este programa
representacionalista, que se apoya en la idea de que los verdaderos fundamentos del
conocimiento cientfico estn constituidos por entidades y operaciones directamente
observables (siendo derivados los conceptos terico-matemticos ms abstractos a partir
de teoremas de representacin) y el operacionalismo clsico de Bridgman en la fase de
eclosin de la filosofa de la ciencia. Sin embargo, mientras Bridgman y sus discpulos
queran definir estrictamente los conceptos tericos matematizados de la ciencia mediante
operaciones de laboratorio, los representacionalistas actuales saben- que tales
definiciones no son en general posibles (o perjudicaran el desarrollo.de las ciencias si se
las postulara); consiguientemente, se limitan a estudiar las condiciones empricas que
permiten representar (lo que no equivale a definir) los. datos de la experiencia en una
estructura terico-matemtica, que es en s lgica y metodolgicamente independiente de
los datos empricos. Se podra calificar el programa de teoremas de representacin de
operacionalismo refinado...
A partir de los aos setenta aparece otra corriente de la filosofa de la ciencia que tambin
puede llamarse representacionalista, aunque fue concebida de forma independiente. Se
trata de los trabajos del fsico Gnther Ludwig (Alemania, 1918-2007) y de sus discpulos
(todos ellos fsicos tericos). Desde un punto de vista histrico, el nico punto en comn de
Ludwig con Suppes y sus sucesores es el uso del lenguaje de la teora de conjuntos para
construir las teoras cientficas y para esclarecer sus relaciones con la experiencia
preterica. De hecho, Ludwig aplica los instrumentos de la teora de conjuntos de una
manera mucho ms sistemtica que Suppes y sus colaboradores, utilizando el aparato
fundamental del programa Bourbaki. En el caso de Ludwig, el programa reconstructivo propuesto para las teoras fsicas consiste en establecer los principios de correspondencia
unvoca entre los conceptos tericos y la base experimental especfica de una teora
determinada, abandonando la idea de que pueda haber una base universal comn a todo el
conocimiento cientfico: cada teora tiene su propia base experimental ya preparada (el
Grundtext, en la terminologa, bastante peculiar, de Ludwig), a partir de la cual ciertas
correlaciones (Abbildungsprinzipien) son establecidas con ayuda del aparato matemtico propio
de la teora en cuestin. Al igual que en otras formas de representacionalis- mo, estos
principios de correlacin son en general menos exigentes que los homomorfismos', pero
deben ser formulados en el lenguaje de la teora de conjuntos. Adems, estos principios
clases naturales pertinentes fueran las que corresponden a los parmetros escogidos, es
decir, si pudiramos eliminar con xito toda idealizacin (lo que siempre resulta imposible
en la prctica). Es por esta razn que Suppe describe su propia posicin como un cuasi
realismo (en contraposicin con el empirismo radical de van Fraassen). Sin embargo, esta
posicin tiene tambin su propia dificultad, anloga a la que encontramos en van Fraassen
en relacin con la observabilidad: de qu criterios disponemos para distinguir los
parmetros que designan clases naturales
de aquellos
que no las designan?
Parece que los
Fase historicista
(1960-1985)
109
nicos criterios factibles en una disciplina cientfica cualquiera (si no queremos apoyarnos
en una metafsica esencialista de clases naturales) son los que la teora misma proporciona.
Por tanto, parece que el cuasi realismo de Suppe es an ms dbil de lo que el prefijo
cuasi connota y que corre el riesgo de ser simplemente un seudo realismo.
El tercer protagonista de las concepciones semanticistas, Ronald Giere, ha desarrollado su
propia versin de esta concepcin en el marco de un programa metacientfico ms amplio
que el de los dos autores precedentes el de una perspectiva cognitivista general. En el
curso de los aos, result evidente para Giere que no existe ninguna diferencia esencial
entre la filosofa de la ciencia y las ciencias cognitivas, teniendo ambas disciplinas el mismo
objeto de estudio y (potecialmente) los mismos mtodos de investigacin. (Se podra
intepretar esta fusin como una manera concreta de comprender el proyecto de Quine de
una epistemologa naturalizada.) Esta tendencia hacia el cognitivismo ya se nota en su
primera obra sistemtica, Explaining Science (1988) [Explicando la ciencia], pero se hace an
ms evidente en su segundo tratado, Cognitive Models of Science (1992) [Modelos cognitivos
de la ciencia].
Al igual que en los otros autores referidos en este captulo, el punto de partida de Giere
descansa en el ncleo duro de una teora como conjunto de modelos. Sin embargo, a
diferencia de los otros representantes del modelismo, l no quiere limitarse a una
reconstruccin formal determinada de los modelos en cuestin ni en tanto que estructuras
conjuntistas, ni en tanto que espacios de estados. Su concepto de modelo terico es
extremadamente amplio (y tambin hay que decirlo: peligrosamente vago). Los modelos que
constituyen las teoras cientficas pueden ser, segn l, todo tipo de entidades abstractas
que normalmente se describen por medio de un lenguaje ms o menos tcnico, pero que a
veces tambin pueden ser determinadas por medios no lingsticos (por ejemplo, grficas,
esquemas, mapas, etc.). La sola caracterstica comn a todos los modelos tomados en este
sentido es que se trata de entidades abstractas, no empricas o mentales, que son
construidas y validadas socialmente por una comunidad de cientficos.
Ahora bien, la funcin de ests entidades abstractas que llamamos modelos tericos, al
menos en las ciencias empricas, se compone (como en otras concepciones modelsticas) de
una representacin de ciertos aspectos de sistemas reales mediante algunas hiptesis
tericas que vinculan los modelos con la realidad y que afirman que un sistema real dado es
parecido, en ciertos aspectos y en cierta medida, a un modelo construido en el discurso
cientfico. As, por ejemplo, por un lado tenemos un sistema real como el constituido por la
Tierra, el Sol y la Luna, y, por otro, un modelo de la mecnica newtoniana tal como el
descrito;.por tres partculas que se atraen mutuamente con una fuerza proporcional a la
inversa del cuadrado de la distancia. La hiptesis que lanza aqu el cientfico es que ciertos
aspectos del sistema Sol-Tierra-Luna (por ejemplo, sus posiciones y sus aceleraciones
respectivas) son muy prximos al modelo de tres partculas con el tipo de fuerza descrito.
Al igual que en Suppe, el instrumento conceptual de la idealizacin o la aproximacin tiene
un papel esencial en la. concepcin de Giere acerca de la relacin entre los modelos tericos
y la realidad que se supone representan. Por supuesto, si no estamos satisfechos con el
grado de aproximacin y/o de idealizacin constatado en la relacin entre el sistema
estudiado y el modelo propuesto, podemos cambiar de modelo, y construir otro tomando en
cuenta algunos aspectos del sistema real que antes fueron ignorados y que nos conducen a
grados de aproximacin ms adecuados. Pero es utpico suponer que podremos alcanzar
algn da una correspondencia exacta entre el modelo y la realidad. Esto es as en virtud de
la naturaleza misma tanto del modelo como del objeto representado.
De este pluralismo y este imperfeccionismo de la relacin entre los modelos y los
sistemas reales, Giere extrae una consecuencia ms general sobre la naturaleza de las
teoras cientficas consecuencia que no es el resultado de una argumentacin lgica
estricta, sino que es, a lo sumo, sugerida por la situacin descrita: las teoras cientficas son
El estructuralismo metaterico
Sin duda, la concepcin estructuralista de las teoras cientficas forma parte de los enfoques
que hemos englobado con la etiqueta comn de modelismo, ya que concede un lugar
preeminente a la nocin de modelo y est fuertemente inspirada en los trabajos de la
escuela de Stanford. No puede considerarse como una simple continuacin del conjuntismo
suppesiano, porque ha desarrollado un aparato conceptual de anlisis de las ciencias
empricas mucho ms complejo y sofisticado que el de Suppes y sus discpulos, intentando
incorporar de forma sistemtica aspectos importantes del anlisis propuesto por autores
historicistas como Kuhn y Lakatos (especialmente el primero, quien reconoci como hemos
visto sus afinidades profundas con el estructuralismo, a pesar de las diferencias
aparentemente insalvables en la superficie).
Antes de que comencemos a exponer las ideas principales del estructuralismo que hemos
18Cfr. R. Giere, Explaining Science, p. 86.
<
>,
donde las D representan los dominios base y las R son relaciones construidas (en el
sentido de la teora de conjuntos) sobre los. dominios base. Estos fijan la ontologa,, es
decir, los conjuntos de objetos admitidos por la teora como reales. Las relaciones fijan las
relaciones admitidas entre los objetos de estos diversos conjuntos; en las teoras un tanto
avanzadas estas relaciones sern generalmente funciones numricas, es decir,
magnitudes. Los dominios y las relaciones especficas de una teora particular son
caracterizadas por cierto nmero de condiciones formales que determinan el marco
conceptual de la teora; por ejemplo, podremos especificar que el dominio Di debe ser un
conjunto finito de objetos, mientras que el dominioD 2 debe ser un continuo, que la relacin
R\ debe ser una relacin simtrica y transitiva o que la relacin R debe ser una funcin dos
veces diferenciable sobre los nmeros reales, y as sucesivamente. Cuando todas estas
/condiciones formales del marco conceptual son satisfechas, se dice que la estructura en
cuestin es un modelo potencial de la teora. Es potencial en el sentido de que fija un marco
posible para concebir la realidad sin que tengamos an la garanta de que sirva para
representar algunos aspectos sustanciales de sta, construir explicaciones o hacer
predicciones. Las condiciones estipuladas son puramente a priori. Para que la estructura en
cuestin sea no slo un modelo potencial, sino tambin un modelo actual, es necesario que,
adems de sus condiciones-marco, satisfaga leyes de la naturaleza, es decir, ciertos
axiomas en el sentido propio del trmino. Puesto que el estructuralismo no defiende una
concepcin preposicional d las teoras, no considera esencial decidir qu formulacin
concreta de estos axiomas se debe escoger; habr siempre un nmero indeterminado de
conjuntos diferentes de axiomas propios que determinan la misma clase de modelos actuales; sin embargo, es importante, de una manera o de otra, fijar la clase de modelos con
(el conjunto de los modelos potenciales, el de los modelos actuales, el de los modelos
potenciales parciales, el de las condiciones de ligadura, el de los vnculos interte- ricos y la
estructura de aproximacin determinada por una uniformidad) constituye lo que podemos
llamar el ncleo (formal) de una teora, simbolizado por K. Se puede decir que K sintetiza la
identidad formal de la teora. Es formal en el sentido de que todos sus componentes pueden
ser definidos, en principio, con toda precisin usando instrumentos formales de la teora de
modelos, la teora de conjuntos y la topologa. Sin embargo, otra tesis bsica del estructu114
El desarrollode
moderno
de la filosofa
de la ciencia
ralismo es que esta
estructura
estructuras
no agota
todo (,1890-2000)
lo que hay que conocer de una
teora para saber de qu teora se trata y cmo funciona. La razn de ser de una teora
emprica consiste justamente en el hecho de que todo este aparato formal supuestamente es
aplicable a alguna cosa externa a l, a fenmenos que se supone existen independientemente
del aparato formal. Este mundo exterior est descrito por los estructuralistas, que se
apoyan en la nocin introducida por Adams como el dominio de aplicaciones intencionales,
simbolizado por I. Como Adams lo haba sealado ya, debe ser considerado asimismo como
perteneciente a la identidad de la teora, puesto que sin l no sabramos con qu objeto fue
construida.
Ahora bien, el estructuralismo hace tres suposiciones epistemolgicas fundamentales
sobre la manera adecuada de concebir este dominio I. Primeramente, no se trata
ciertamente de la realidad pura ni de la experiencia-pura suponiendo que estas
expresiones tengan sentido. I est conceptualmente determinado por conceptos de los que
ya se dispone antes de que la teora empiece a funcionar. Son conceptos que, con toda
seguridad, provienen del exterior, pero que, en cierto sentido, tambin pertenecen a la
teora. Para decirlo brevemente, se trata de conceptos T-no-tericos en el sentido antes
explicado. Su combinacin coherente forma subestructuras de modelos potenciales de la
teora o, dicho en otros trminos, el dominio I debe ser concebido como un subcojunto del
conjunto de los modelos potenciales parciales. En segundo lugar, las aplica ciones
intencionales de una teora dada no pretenden referirse a la totalidad del universo o de la
experiencia. Son mltiples y locales. Representan pequeas partes de la experiencia
humana. Adems, cada teora tiene su dominio particular de aplicaciones intencionales,
pudiendo coincidir los dominios de teoras diferentes de manera total o parcial, estar en
relaciones mutuas o no tener absolutamente ninguna relacin entre s. Finalmente,
concibiendo I como un sub- conjunto del conjunto de modelos potenciales parciales, no
damos ms que una caracterizacin bastante dbil de este dominio. Se trata solamente de
una condicin necesaria aunque apenas suficiente de pertenencia a I. La determinacin
unvoca completa de I escapa, por principio, al anlisis formal. La razn es que este dominio
es una suerte de entidad fuertemente dependiente de factores pragmticos e histricos que,
por su naturaleza misma, no son determina- bles formalmente. Por consiguiente, en la
identidad esencial de toda teora emprica hay tin componente irreductiblemente
pragmtico- histrico, no formalizable. Nos enfrentamos aqu a los lmites del anlisis formal
de las ciencias empricas lo que no quiere decir, obviamente, que no se puedan obtener
valiosos resultados en este gnero de anlisis al considerar los aspectos que s son
formalizables.
En un primer anlisis, pues, una teora es, desde el punto de vista estructuralista, un par
< K,I >, donde K es un ncleo formal e
I un dominio de aplicaciones intencionales. Este par est asociado a la afirmacin emprica
segn la cual I puede ser efectivamente (o aproximadamente) subsumido bajo K esto es,
en lo que la teora dice acerca del mundo. Esta definicin de la nocin de teora em prica
recuerda, sin duda, la de Adams, para quien una teora tambin es un par < M,I > asociado a
una pretensin emprica; sin embargo, como podemos ver, el anlisis estructuralista se
diferencia bastante del de Adams, puesto que, en el caso de los estructuralistas, M es slo
uno de los componentes del ncleo y la pretensin emprica no postula simplemente que I es
un subconjunto de M, sino que existe una relacin bastante ms compleja entre los dos la
relacin de subsuncin.
Acabamos de decir que el estructuralismo concibe una teora como un par < K,I > en un
primer anlisis. De hecho, el estructuralismo propone concebir las teoras normales como
estructuras ms complejas an. La razn es que-un par del tipo < K,I > representa slo el
caso ms simple qe uno puede imaginar de teora cientfica aqul, en el que la parte
sustancial de la teora est formada slo por una nica ley. Estas unidades simples son
utilizados por os autores y corrientes precedentes eran demasiado simples y/o demasiado
vagos, en todo caso insuficientes, para dar cuenta de ciertos aspectos esenciales de las
teoras cientficas. Despus de todo, las teoras cientficas (y sus relaciones) son objetos,
ellos mismos, bastante complicados y sera sorprendente que uno pudiera analizar
bien objetos tan complejos con instrumentos simples e imprecisos. Sea o no demasiado
complicada, la metateora estructuralista ha mostrado ser aplicable de manera
convincente a muchos ms casos particulares que las dems metateoras. Es un hecho
El desarrollo moderno de la filosofa de la ciencia (,1890-2000)
estadstico fcil de116
verificar.
Otra crtica frecuente es que aunque la metateora estructuralis-. ta haya sido capaz de
reconstruir teoras cientficas particulares, no ofrece, sin embargo, ninguna respuesta a
los grandes problemas epistemolgicos y ontolgicos que han preocupado a los filsofos
de la ciencia desde los comienzos. El estructuralismo no nos ayuda a decidirnos por
concepciones como el empirismo, el realismo, el antirrealismo o el instrumentalismo, ni a
determinar el papel de la induccin o la probabilidad en la investigacin cientfica, ni a
aclarar las nociones de ley natural o explicacin cientfica... Esta objecin est hasta
cierto punto fundada. El silencio del estructuralismo sobre estas cuestiones se debe a
razones contingentes (personales), pero tambin es un resultado de la prudencia:
sabemos todava muy poco acerca de la autntica naturaleza y el verdadero fimcionamiento de las teoras cientficas como para estar en condiciones de dar respuestas
satisfactorias a todas estas cuestiones. Sin embargo, desde hace algunos aos, se han
hecho algunos esfuerzos en esta direc/Q
cion.
6.El pluralismo modelstico de Nancy Cartwright y el xperimentalismo pluralista de Ian Hacking
Durante los dos ltimos decenios del siglo XX, las cuestiones de la relacin entre los
modelos y la experiencia y entre los modelos y las teoras generales continuaron
atrayendo la atencin de los filsofos de la ciencia, incluso independientemente de una
metateora general sobre las ciencias. Nancy Cartwright (Estados Unidos, nacida en 1943)
ha estado particularmente interesada en este tema. Su filosofa de la ciencia tiene
algunos puntos en comn con las concepciones semanticistas, sobre todo con el
pluralismo metodolgico de Giere. Desde tm punto de vista ms general, Cartwrigtht,
aun perteneciendo a una generacin posterior a la de Suppes y sus colaboradores
inmediatos, ha sido, sin duda, influida por la escuela de Stanford: ella comenz su carrera
precisamente en esta universidad.
Si estudiamos sus ideas un tanto por separado, es porque su concepto de teora sigue
siendo bastante clsico en el sentido en que
9
Vase, por ejemplo, el nmero especial de la revista Synthese consagrado al estructuralismo (vol. 130, 2002) y
que yo compil.
una teora general est asociada esencialmente a enunciados generales, es decir, a leyes.
Pero, por otra parte, podemos subsumir su enfoque bajo el conjunto de enfoques
modelsticos, puesto que la nocin de modelo ocupa un papel central en. su filosofa, en
detrimento de la nocin de teora, que ocupa uno ms secundario. Adems, los modelos de
Cartwright son construcciones hechas, sobre todo, para dar cuenta de los experimentos
concretos, quiz incluso aparte de toda teora reconocida. Ms . an que en el caso de las
concepciones modelsticas precedentes, su aproximacin se caracteriza por una profunda
desconfianza en relacin con las pretensiones de aplicacin universal de las leyes
fundamentales y de las "grandes teoras cientficas; privilegia el carcter local de la
construccin de modelos para dar cuenta de situaciones experimentales concretas.
Se pueden distinguir dos fases en la evolucin del pensamiento de Cartwright en lo que
concierne al papel de las teoras y las leyes fundamentales dos fases que no son
contradictorias, pero en donde el nfasis en la cuestin de la relacin modelo-experiencia es
ciertamente diferente. En la primera, las teoras y sus leyes fundamentales mantienen una
funcin no despreciable en cuanto guas para la aplicacin de modelos a la experiencia,
aunque esta funcin no es la que habitualmente se supone procurar una descripcin
verdadera del mundo real. La primera obra verdaderamente importante de Cartwright,
How the Laws ofPhysics Lie (1983) [Cmo mienten las leyes de la fsica], seala la direccin que
sus reflexiones toman sobre el papel de las leyes y las teoras generales: son simplemente'
esquemas abstractos, sin verdadero contenido emprico, que tienen por misin guiar a los
Cartwright distingue dos tipos de "modelo: los modelos interpretativos y los modelos
representativos. Los primeros se construyen con los recursos conceptuales de la teora dada:
los trminos abstractos de la teora pasan a ser ms concretos en el modelo por medio de
reglas de correspondencia. Este tipo de modelo, no obstante, no es adecuado ms que en
situaciones experimentales particularmente simples. Cuando el sistema estudiado es ms
complejo, los modelos interpretativos fracasan. Es hora de que los modelos representativos
los sustituyan, y aunque a veces la teora misma puede sugerirlos, en la mayor parte de los
casos son independientes. La distincin que Cartwright establece entre modelos
interpretativos y representativos sigue siendo imprecisa, pero, sobre todo, no se ve
claramente si se trata de una distincin gradual o tajante.
Con respecto a la cuestin del realismo, la posicin de Cartwright est muy matizada. En
el caso de las teoras generales y de las leyes fundamentales y los modelos interpretativos,
la interpretacin realista le parece una tesis muy problemtica, que no est justificada en lo
absoluto. Por el contrario, tiende a adoptar un enfoque realista cuando se trata de leyes
fenomenolgicas o modelos representativos y, particularmente, cuando stos estn
asociados con experimentos robustos llevados a cabo por los cientficos. De esta forma, los
vnculos causales entre sistemas que genera tpicamente tm experimento de laboratorio
seran el nico fundamento para una interpretacin realista de los resultados cientficos.
Esta inclinacin por un realismo experimental combinado a la vez con un antirrealismo
terico est todava mucho ms acentuada en el caso del siguiente autor que vamos a
tratar en este apartado, Ian Hatiking. Sin mucha exageracin, se le puede describir
probablemente como el ms importante filsofo de la ciencia experimentalista de finales del
siglo XX. Su libro fundamental en este sentido, Re- presenting and Intervening [Representar e
intervenir], aparecido en 1983 (el mismo ao que la obra fundamental de Cartwright), puede
El desarrollo
modernoadefavor
la filosofa
ciencia sobreestimada
(,1890-2000)
leerse como una 118
defensa
vehemente
de de
la lanunca
importancia del
experimento para la comprensin de la ciencia autnticamente emprica y, al mismo tiempo,
de la eliminacin de las, segn l, excesivas pretensiones de las teoras generales. A decir
verdad, Hacking no es el nico filsofo de la ciencia contemporneo que se interesa
principalmente por la estructura y funcin de los experimentos cientficos, y l mismo fue
conducido a esta alta valoracin de los experimentos por los estudios de caso realizados por
autores como Alian Franklin y Peter Galison. Con todo, es despus de la aparicin de su libro
que podemos hablar de un giro experimental (experimental turn) contrapartida del giro
lingstico de comienzos del siglo XX en la filosofa de la ciencia de los ltimos aos del
siglo XX. Significativamente, Hacking tiene el tipo de anlisis lgico-lingstico de la filosofa
de la ciencia clsica en tan poca estima como lo hace van Fraassen aun cuando el suyo
tenga poco que ver con el enfoque de est ltimo. j
El doble ttulo del libro de Hacking refleja la estructura de su ensayo: en la primera parte
encontramos la representacin del mundo en la forma de teoras y modelos situada en un
primer plano (en un sentido prximo a la interpretacin de Cartwright, a quien se refiere
explcitamente). En esta parte se discuten, con particular ojo crtico, los primeros enfoques
de la filosofa de la ciencia desde Carnap y Popper hasta los de van Fraassen, pasando por
los de Kuhn, Lakatos y otros. De la segunda parte deli libro podemos decir que comprende
una suerte de fenomenologa del experimento, que conducir a una visin
completamente nueva de la esencia de las ciencias empricas. Segn Hacking, la
controversia acerca del realismo, en particular, en relacin con las entidades tericas,
puede determinarse no en el plano de las teoras, sino a travs de la consideracin de la
naturaleza propia de los experimentos. Por ejemplo, a partir de una teora de los
electrones, aun cuando sta est bien confirmada, no se puede derivar sin ms la tesis de
que los electrones son algo ms que ficciones tiles; por el contrario, esta conclusin se
vuelve mucho ms admisible si se hacen experimentos con electrones (como el
experimento de Millikan de la medicin de su carga) y se hace imperiosa cuando se
construyen aparatos con los que se utilizan electrones para provocar interacciones
causales con otras entidades tericas (por ejemplo, conbosones neutrales, como, se hace
en la moderna fsica de partculas).
Ya al comienzo del primer captulo, Hacking presenta el lema que deber servir como hilo
conductor de todo, el libro: si [los electrones] se pueden esparcir, es que son reales. 20 Y
un poco despus, encontramos una especie de profesin de fe: lo que me convenci de la
validez del realismo^... ] es el hecho de que hoy haya emisores estandarizados con los que
podemos esparcir positrones y electrones.21
Por supuesto, los experimentos son importantes, no slo para fortalecer la idea del
realismo con respecto a las entidades tericas.
En un nivel ms general de discusin, resultan indispensables para conocer la verdadera
estructura de la ciencia moderna. Hacking reprocha a la filosofa de la ciencia del siglo XX
que haya estado demasiado orientada a las teoras; el anlisis de la naturaleza y funcin de
los experimentos apenas desempeaban en ella un papel. Y, a consecuencia de esto, ignor
un componente absolutamente esencial de la estructura del conocimiento cientfico.
El predecesor admirado de Hacking no es ninguno de los modernos filsofos de la ciencia,
aunque hace algunas observaciones positivas sobre Kuhn, es ms bien un pensador de los
inicios de la revolucin cientfica: Francis Bacon. Hacking se opone a la interpretacin
habitual de Bacon como un simple inductivista. A Bacon se le debe caracterizar mucho mejor
como el primer filsofo de la ciencia experimentalista, el primero que fue consciente de la
importancia de los experimentos como apoyo del conocimiento cientfico y de que las teoras
ms refinadas son inservibles mientras no se les vincule con experimentos. Tambin es
20Hacking, Representing and Intervening, p. 22; trad. esp., p. 40.
21iWd., p. 24; trad. esp., p. 42.
importante para Hacldng que Bacon haya intentado una tipologa sistemtica o una
fenomenologa de las distintas clases de experimentos, de forma por cierto
completamente independiente de cualquier tipo de teora.
Hay una serie de prejuicios acerca de la naturaleza de los experimentos cientficos que
Hacking quiere eliminar. En primer lugar hay que mencionar el idntico tratamiento de la
observacin y el experimento. Al igual que Bacon antes que l, Hacking valora la
observacin (incluso la sistemtica)
como
secundaria
frente a los autnticos
experimentos.
Fase
historicista
(1960-1985)
119
Las observaciones son pasivas, mientras que los experimentos implican una activa
intervencin en el mundo y sta es la cuestin clave, segn Hacldng Es gracias a esta
intervencin que llegamos a tierra firme y evitamos caer en el antirrealismo. En segundo
lugar, Hacking se dirige decididamente contra la tesis propagada por los autores
historicistas de la carga terica de toda observacin y experimento. Esta tesis es o trivial o
lisa y llanamente falsa: es trivial si con ella se quiere slo decir que no podramos llevar a
cabo experimentos si no dispusiramos previamente de una idea intuitiva, ms bien
inarticulada, del asunto que queremos investigar; en cambio, la tesis es completamente
falsa, si lo que estamos afirmando con ella es que los experimentos tienen sentido slo en el
marco de una teora completamente articulada y definida. Para apoyar esta afirmacin,
Hacking pone como ejemplo una serie de casos histricos de experimentos importantes que
no presupusieron ninguna teora ya articulada y definida.
Last but not least, se dirige Hacking contra el supuesto de una funcin clara de los
experimentos. La mayora de los filsofos de la ciencia, al contrario que Bacon, opinan que
los experimentos slo tienen valor cuando se los usa para comprobar teoras. Tambin esto
es falso, de acuerdo con Hacking. ste no niega que los experimentos se usen a veces con
este fin, pero se trata ms de una excepcin que de una regla. A menudo, los experimentos
estn inspirados por ciertas teoras, pero no para ponerlas a prueba, sino simplemente para
ver qu ocurre. En otros casos, se hacen experimentos para determinar el. valor de un
parmetro, que est indeterminado en la teora; tambin se hacen para desarrollar cierta
tecnologa (pinsese en el caso de la mquina de vapor); y, finalmente, se pueden llevar a
cabo por una curiosidad preterica o aterica... En una palabra, Hacking destaca el valor de
la pluralidad de los tipos y funciones de los experimentos cientficos.
La obra de Hacking ha tenido una infuencia notable en los jvenes investigadores de
finales del siglo XX. A esto ha contribuido no slo la novedad de sus tesis, sino seguramente
tambin su estilo brillante, refrescante y divertido. Impresionante es tambin la gran
cantidad de anlisis particularmente detallados de casos histricos, sobre todo de la fsica y
la qumica, que presenta en apoyo de sus tesis. Desde un punto de vista lgico estricto, la
argumentacin de Hacking deja un tanto que desear; aunque probablemente es consciente
de ello: su opinin en este sentido es posiblemente que echar mano de ejemplos resulta ms
convincente que un argumento general. En este punto, Hacking comparte el mismo espritu
que la mayora de los filsofos de la ciencia contemporneos que hemos tratado en este
captulo, aunque es cierto que la preferencia de Hacking por los ejemplos frente a los
argumentos adquiere tintes ms drsticos que en el resto de autores (dicho sea esto sin
ningn nimo de valoracin).
Con todo, hay que comentar una laguna importante en el enfoque de Hacking. Su
experimentalismo margina algunas disciplinas cientficas reconocidas, las cuales son nada o
poco experimentales. Hay una larga serie de disciplinas-pinsese en la astrofsica, una
gran parte de la biologa, la geologa, las ciencias sociales en su porcin ms predominante
en las que la experimentacin ocupa apenas un lugar, ya sea por motivos fundamentales,
prcticos o ticos. Si realmente decidiramos contar la experimentacin como una caracterstica distintiva de las ciencias autnticas, entonces las disciplinas que acabamos de
mencionar no podran considerarse ciencias au, . tnticas una conclusin poco aceptable. Otro problema del enfoque de Hacking tiene
que ver con su estrategia de defensa de un realismo fundado en lo experimental. Segn
Hacking, la realidad de una entidad postulada por una teora, como los electrones, est
asegurada mientras se puedan disear procedimientos de laboratorio o aparatos que sean
capaces de manipular dichas entidades y hacer que entren en vnculos causales con otras
entidades (otras partculas, en el ejemplo preferido de Hacking). Estrictamente hablando,
como filsofos de la ciencia, slo podemos constatar que los cientficos experimentales
afirman que a travs de dichos aparatos y procedimientos de laboratorio manipulan las
entidades tericas en cuestin y les hacen actuar sobre otras entidades. Aun cuando
Hacking no deja lugar para el anlisis lingstico en el mbito de las cuestiones sobre
filosofa de la ciencia, al menos debiera reconocer que entre la afirmacin de un hecho y
ese hecho hay una diferencia. No podra ocurrir que cuando los fsicos experimentales le
cuentan al filsofo de la ciencia Hacking que han disparado un haz de electrones y que los
hacen interactuar con bosones, solamente estn empleando una manera de hablar para
expresar
ciertas
conexiones
macroscpicamente
comprobables
entre
aparatos
120sera
El desarrollo
moderno de
filosofa dedefendida
la ciencia (,1890-2000)
observables? Esta
exactamente
lalaposicin
por el instrumentalista. Hay
suficientes ejemplos histricos de estas maneras de expresarse a las que hoy no
aceptaramos dar una interpretacin realista: los alquimistas hicieron muchos
experimentos serios, siempre con sustancias observables, donde hablaban de
propiedades ocultas, elixires, etc. todas ellas entidades tericas que hoy en da ya
no aceptamos. O para poner un ejemplo ms moderno: los defensores de la teora del
calrico (todos ellos cientficos respetables) hicieron muchos experimentos que ellos
interpretaban como casos de transmisin del calrico y hasta construyeron refinados
aparatos para tratar con determinadas cantidades del mismo. Pero, como hoy
reconocemos, todo ello no haca real al calrico. Ciertamente, Hacking nos debe mejores
argumentos para convencernos de que los experimentos y aparatos de la moderna fsica
de partculas estn en mejor situacin que los correspondientes experimentos y aparatos
de los alquimistas o los tericos del calrico.
' 1. Las nuevas concepciones de la naturaleza de la explicacin cientfica
Al final del captulo consagrado a la fase clsica de la filosofa de la ciencia, habamos
constatado que el esquema de Hempel para dar cuenta de la naturaleza de la explicacin
cientfica, a pesar de sus esfuerzos para mejorarlo, entr en una profunda crisis. A partir
de los aos setenta surgen tres nuevos enfoques del tema que rompen radicalmente con
el modelo hempeliano y proponen una comprensin muy diferente de lo que realmente
ocurre en el proceso de explicacin cientfica. Se los puede caracterizar, respectivamente,
como pragmtico, causalista y unificacionista. No se trata, en principio, de enfoques
incompatibles, pero cada uno pone diferente nfasis en lo que consideran esencial de la
explicacin cientfica y ningn autor ha conseguido hasta ahora hacer una sntesis
coherente de ellos.
Desde el punto de vista del contenido y de la metodologa empleada, estos nuevos
enfoques no tienen que ver con la ltima fase de la historia de nuestra disciplina el
modelismo. Pero tambin constituyen una verdadera ruptura metodolgica con los
presupuestos de la fase clsica, sin por ello caer en el hstoricismo, y al menos dos de
ellos (el pragmtico y el unificacionista) tienen un espritu intrnseco muy prximo al
modelismo; por lo dems, ya ha habido intentos por parte de ciertos autores de desarrollar
explcitamente una sntesis entre la visin modelstica de las teoras y los nuevos enfoques
sobre la naturaleza de la explicacin cientfica.
El representante ms significativo del enfoque pragmtico es, sin duda, Bas van Fraassen
(al que tambin hemos visto como uno de los representantes ms conocidos del modelismo).
Apoyndose en sugerencias de autores anteriores, a partir de 1977 desarrolla una
concepcin pragmtica que expone de manera sistemtica en The Scientific Image. Comienza
sealando que toda explicacin intenta ser una respuesta a una pregunta del tipo por
q?, y que este tipo de preguntas no tiene un sentido preciso hasta; que no se tiene en
cuenta (generalmente de forma implcita) lo que se llama una clase de contraste (o de
comparacin), en un contexto cientfico determinado, sobre lo que. puede ser considerado
(pragmticamente) como una respuesta aceptable. As, la pregunta por qu hizo una
cancula tan fuerte en Francia en 2003? exige una explicacin diferente dependiendo de si
la clase de contraste remite a Francia en comparacin con otras regiones del mundo, o bien
al ao 2003 en relacin con otros aos. Esta clase de contraste siempre est determinada
por los intereses de la comunidad cientfica del momento en cuestin. De ah que la
verdadera forma lgica de una pregunta del tipo Por qu?, que busca una explicacin,
sea: Por qu A en lugar de Bi, B % , . . .?. La proposicin A es el tema de la explicacin y el
conjunto X = {A,B\, B,...} la clase de contraste.
Ahora bien, segn van Fraassen, la indicacin del tema y la clase de contraste no bastan
para reconstruir la forma lgica de una explicacin cientfica. La razn es que, aun cuando X
haya sido fijado, se pueden dar diferentes tipos de explicacin segn la relacin consi derada
como significativa, en un contexto dado, para dar la explicacin buscada. Para retomar el
ejemplo de la cancula, incluso si fijamos como clase de contraste las regiones del mundo, en
lugar de los aos, no quedaremos satisfechos con una.explicacin que apele al hecho de
que en Francia, y no en otros pases, el termmetro haba subido al mximo, aun cuando
esta constatacin sea verdadera. Por consiguiente, para determinar realmente la pregunta
que pide una explicacin, es necesario
indicar el (1960-1985)
tipo de respuesta considerada
como pertinente..
Fase historicista
121
Van Fraassen llama relacin de pertinencia explicativa, R, a este elemento adicional que
hay que indicar para obtener una explicacin adecuada. R es una relacin que vincula un
conjunto de proposiciones factuales, C, con la clase de contraste: CR < A,X > si y slo si C es
(en un contexto dado) explicativamente pertinente para que A haya tenido lugar y no X-A.
Estos tres componentes combinados < A,X,R > constituyen la esencia de una buena explicacin. Es claro que los dos componentes X y R son dependientes del contexto en que la
cuestin es planteada y, en este sentido, el esquema propuesto por van Fraassen es
fuertemente pragmtico.
La relativizacin pragmtica de la nocin de explicacin propuesta por van Fraassen es
generalmente aceptada por la comunidad de filsofos de la ciencia, particularmente la idea
de clase de contraste.. Sin embargo, hay que sealar que este esquema es an demasiado
general para dar cuenta de la validez de una explicacin propuesta. En efecto, si no
incorporamos ms que algunas restricciones adicionales a propsito de la relacin de
pertinencia, se puede mostrar fcilmente que podramos explicar cualquier cosa a partir de
cualquier otra, simplemente eligiendo tm conjunto C ad hoc que se estipula como pertinente
para < A,X >. Esto nos llevara a un relativismo inaceptable. Para decirlo brevemente, el
esquema propuesto por van Fraassen puede ser visto como una estipulacin de condiciones
necesarias de naturaleza pragmtica, pero stas son claramente insuficientes para
determinar un concepto de explicacin plenamente adecuado.
Una concepcin de la explicacin bastante ms sustancial, independiente de
consideraciones pragmticas, es la que pone la nocin de causalidad en el centro de una
reconstruccin adecuada de la explicacin cientfica. sta ha sido defendida especialmente
por
Wesley Salmn (Estados Unidos, 1925-2001), aunque no ha sido el nico en hacerlo. Salmn
ya haba hecho contribuciones importantes al anlisis de la explicacin estadstica en un
marco formal ms o menos prximo al esquema hempeliano, sobre todo en su obra mayor,
Statistical Explanation and Statistical Relevance (1971) [Explicacin estadstica y relevancia
estadstica]; pero se fue distanciando progresivamente de la tradicin,'clsica despus de
haber encontrado en el esquema clsico un'dificultad profunda e insalvable: el esquema
clsico hempeliano da cuenta, en el mejor de los casos, de la relacin , de predictibilidad
entre las leyes de la teora y el hecho que se quiere explicar, pero no proporciona una
verdadera explicacin. Es as como Salmn se vio llevado a romper con los presupuestos
metodolgicos de la concepcin clsica, que en lo esencial son de naturaleza lgicosintctica (es decir, concernientes a las relaciones entre los enunciados de una explicacin),
y a buscar la clave de la explicacin en los eventos o hechos mismos (y no en su expresin
lingstica). El producto de tal cambio de perspectiva est expuesto en su ensayo Scientific
Explanation and the Causal Structure ofthe World (1984) [La explicacin cientfica y la estructura
causal del mundo]. Para Salmn, todos los contraejemplos presentados contra la nocin
clsica de explicacin pueden ser eliminados si uno abandona el enfoque puramente
sintctico (relaciones entre enunciados) y se tiene en cuenta el hecho de que, para
encontrar una explicacin aceptable de un hecho a partir de factores antecedentes, adems
de las relaciones lgicas entre los enunciados que expresan el hecho en cuestin y los
factores antecedentes, se supone que hay una relacin ontolgica entre ambos (es decir,
ligada a la naturaleza misma de las cosas). Esta relacin no es otra que la relacin causal:
los hechos (eventos o procesos) expresados, por el explanans son la causa del hecho expresado en el explanandum. Obviamente, no se podr dar la lista de todas las causas que
intervienen en la cadena causal que conduce al hecho que se quiere explicar; pero nos
podremos concentrar, en un contexto dado, en los factores causalmente pertinentes que estn
vinculados al explanandum por medio de leyes causales implcitas. Estrictamente hablando, la
nocin clave en esta concepcin de tipo causalista de la explicacin no es la de causa en
general, si no ms bien la de factor causal pertinente.
La concepcin causalista responde bastante bien a nuestras intuiciones del sentido comn
sobre el papel que las conexiones causales tienen en relacin con la naturaleza de las cosas
para explicar lo que ocurre en el mundo. Sin embargo, el principal problema con toda
concepcin causalista, y no slo con la de Salmn, radica seguramente en la nocin misma
de causa, que despus de Hume ha preocupado a sucesivas generaciones de epistemlogos.
Es necesario admitir que, despus de ms de doscientos aos de discusiones en torno a la
naturaleza de la causalidad, estamos lejos de tener una idea clara, aceptable para todos los
122 El
desarrollo
moderno
deuna
la filosofa
de la ciencia
(,1890-2000)
filsofos y cientficos.
Salmn
intenta
dar
definicin
en trminos
inspirados por la teora
especial de la relatividad, donde la conexin causal entre los eventos puede ser
caracterizada en trminos de la transmisin de informacin, lo que es una nocin bastante
precisa. Su anlisis de la explicacin en trminos de causalidad se ajusta bastante bien a la
manera en la que se proponen explicaciones de hechos particulares en el marco de la
relatividad especial. Sin embargo, como Salmn mismo ha reconocido con la honestidad
intelectual que siempre lo ha caracterizado, es poco probable que el marco conceptual de
esta teora sea asimismo aplicable a contextos explicativos de otras teoras fsicas por no
decir de otras disciplinas cientficas.
Esta concepcin est igualmente limitada por su inadecuacin para tratar las
explicaciones de leyes cientficas a partir de otras leyes. Su esquema es, por definicin, slo
aplicable a la explicacin de hechos particulares por medio de otros hechos. No sabemos
bien cmo pasar del segundo tipo de explicacin al primero. Seguramente ste es el punto
en el que la tercera concepcin de la explicacin en boga durante los ltimos decenios del
siglo XX la concepcin unificacionista demuestra sus virtudes. Tambin es la concepcin
ms extendida hoy en da entre los filsofos de la ciencia interesados en la explicacin
cientfica: no es el principal objetivo de las ciencias ms avanzadas el de explicar las leyes
de la naturaleza descubiertas por medio de otras leyes ms generales? La mayor parte de
los grandes xitos explicativos de la ciencia tienen una forma que ilustran los siguientes
ejemplos: qu es lo que explica que las leyes de Kepler sean aplicables a los movimientos
de los planetas?. Respuesta: La teora de la gravitacin universal. Qu explica que la
ley de Ohm sea aplicable a la corriente elctrica?. Respuesta: Las leyes del
electromagnetismo. Qu explica la herencia de los rasgos de los seres vivos?.
Respuesta: Las leyes de la gentica. Es para dar cuenta de este fenmeno, tan tpico de la
ciencia moderna, que se desarroll el programa unificacionista. La explicacin es vista como
un proceso de unificacin en nuestra comprensin del mundo, un proceso epistmico que
consiste en la reduccin de tm nmero de presupuestos bsicos presentes en nes- tro
corpus de conocimiento en un momento dado de la evolucin del conocimiento cientfico.
Los dos protagonistas de la concepcin unificacionista son Mi- chael Friedman (Estados
Unidos) y Philip Kitcher (Estados Unidos, nacido en 1947). Friedman expuso por primera vez
su anlisis de la explicacin como unificacin en 1974, en un artculo relativamen te breve:
Explanation and Scientific Understanding [Explicacin y comprensin cientfica]. Al igual
que Salmn, comenz plantendose la cuestin del origen de los numerosos contraejemplos
intuitivos que ponan en problemas al esquema hempeliano, pero lleg a un diagnstico
diferente. El problema principal es saber lo que uno espera de una explicacin cientfica. No
es la subsuncin de un hecho bajo leyes, sino ms bien la explicacin de una ley ya
descubierta a partir de otras leyes. Ahora bien, el modelo hempeliano es incapaz de
reproducir lo esencial de este gnero de explicacin, ya que lo reduce a una relacin
puramente deductiva; entre las leyes en cuestin. El ncleo de la propuesta de Friedman es
que es absolutamente esencial aadir a la relacin de deduccin entre leyes el componente
de la unificacin: una ley (o serie de leyes) ms general Lg explica otra ley ms particular L p
si se puede deducir L p de LP, obviamente, pero si adems se pueden deducir de L G otras leyes
Lj,..., Ln, cuya aceptabilidad es completamente independiente de Lp. Esto significa,
intuitivamente, que LG permite unificar dominios de la experiencia que, aparentemente, eran
muy diferentes los unos de los otros. El ejemplo paradigmtico es la explicacin de las leyes
de Kepler por medio de las leyes de Newton: los fsicos aceptan stas como un caso
autntico (y muy importante!) de explicacin, no slo porque las leyes de Kepler pueden ser
deducidas (con aproximaciones) de las leyes de Newton, sino porque, de manera anloga,
stas permiten deducir igualmente otras leyes conocidas en la poca y que aparentemente
no tenan nada, que ver con las leyes de Kepler, tales como la ley de cada libre de Galileo, la
ley de las colisiones elsticas, etctera.
conocerla? es la ciencia el camino correcto, o al menos el mejor camino, para lograr dicho
conocimiento? Tambin resulta interesante constatar que las diferentes posiciones que se
han dado en tomo a esta problemtica se hayan mostrado bastante independientes de los
enfoques y corrientes de la filosofa de la ciencia en sentido ms restringido que hemos
visto a lo largo de nuestra exposicin. Los ltimos surgieron a partir de problemas y
reflexiones especficos de tipo metodolgico y terico-cientfico, mientras que el problema
del realismo cientfico es, por el contrario, mucho ms general y filosfico: se trata de una
124
El desarrollo moderno de la filosofa de la ciencia (,1890-2000)
cuestin acerca del
.todo.
La controversia en torno al realismo cientfico se plantea en el marco de un gran crculo
de problemas que va ms . all de los lmites de la filosofa de la ciencia. Involucra
reflexiones no slo de filosofa de la ciencia, sino tambin de epistemologa en general, de
semntica y filosofa del lenguaje, de ontologa e incluso de historia de la ciencia. Por esta
razn, y a pesar de su importancia para la filosofa en general, en este ltimo apartado slo
podremos entrever los elementos de la discusin en torno al realismo cientfico. Una exposicin en alguna medida detallada de esta problemtica hubiera rebasado
claramente los lmites de nuestro estudio.
A algunos de los participantes en esta controversia ya los hemos conocido a lo
largo de este libro: al decididamente realista Pop- per, a los decididamente
antirrealistas Mach, Duhem, Laudan y van Fraassen, al casi-realista Suppe, al
realista constructivo Giere, a la semi-realista Cartwright, al realista
experimental Hacking...
Otros importantes filsofos de la ciencia de los que hemos hablado hasta aqu
defienden, por diferentes motivos, una posicin que po- dra ser denominada
neutralismo; Carnap y Nagel, por ejemplo, perteneceran al grupo de quienes
piensan que la controversia entre realismo y antirrealismo no es finalmente ms que
una mera disputa sobre palabras. Tambin entraran aqu los estructuralistas, para
quienes todava sabemos muy poco sobre la estructura y funcin de las teoras
cientficas individuales y, especialmente, sobre las relaciones intertericas concretas
entre ellas, para decidir la controversia en un sentido o en otro. Necesitamos mucho
ms anlisis formal y detallado de dichas estructuras y funciones (en particular, a travs de casos de estudio) antes de poder decidir algo al respecto. 13 Finalmente, en los
ltimos aos del siglo XX, algunos filsofos de la ciencia han optado por una va
intermedia, entre el realismo y el antirrealismo, a la cual llaman realismo
estructural. A ellos les dedicaremos los ltimos prrafos de este apartado.
Antes de comenzar, parece aconsejable hacer una precisin acerca del objeto de la
controversia. La discusin entre realismo, antirrealismo y las formas intermedias en
filosofa de la ciencia no se puede identificar con la discusin entre realismo y
antirrealismo en la epistemologa o en la filosofa en general. No se trata, en este
caso, de decidir si el rbol que veo tras la ventana es real, es decir, independiente de
mi mente, de la mente de mis semejantes o de la de Dios. Esto es algo que
presuponen todos los integrantes de esta polmica incluso los antirrealistas
(cientficos). Ms exactamente, todos presuponen que la proposicin all hay un
rbol no slo tiene sentido, sino que adems es verdadera y que continuara te niendo sentido y siendo verdadera aunque yo o la humanidad entera
13
Los estructuralistas metatericos se han pronunciado poco acerca de la cues- A . tin del realismo. Una
excepcin es J.D. Sneed, con su artculo Structuralism and w Scientdfic.Realism, de 1983, quien ofrece un
anlisis formal de los requisitos para v una discusin productiva del problema del/realismo desde el punto
de vista estructuralista ms que un criterio claro a favor o en contra del realismo. Las conclusiones a las que
llega Sneed basado en su anlisis sugieren, no obstante, una posicin ten- dencialmente antirrealista.
alguna, porque consideran que la cuestin carece de sentido, o porque consideran que no
podemos dar una respuesta fundada.
Es igualmente oportuno distinguir dos componentes del realismo cientfico: uno referencial
y otro veritativo o altico (es decir, concerniente a la teora de la verdad). Bajo la expresin
componentes referenciales del realismo cientfico o simplemente realismo refe- rencial
se entiende la tesis segn la cual los trminos tericos que ocurren en las teoras exitosas y
bien establecidas (quiz no todos,
s la (1960-1985)
gran mayora) se refieren
a una realidad
Fasepero
historicista
125
independiente tanto de la mente del cientfico como de la propia teora a la que pertenecen.
As, por ejemplo, la palabra electrn se referira a una partcula real que ha existido al
menos desde el Big Bang, muchsimo antes de que hubiera personas y, por supuesto, teoras
fsicas, mientras que el trmino de la termodinmica entropa se refiere a una propiedad
real de procesos naturales reales. El componente al- tico del realismo cientfico, o
simplemente el realismo veritativo, significa la tesis de que las teoras cientficas exitosas
son verdaderas
o, al menos, aproximadamente verdaderas.
Para la mayora de los filsofos de la ciencia realistas, el realismo referencial y el
veritativo van de la mano, lo que prima facie parece admisible: cuando consideramos que una
teora es verdadera, tendemos a aceptar que sus conceptos fundamentales se refieren a
algo real. E inversamente, la mejor razn para afirmar que un trmino terico caracterstico
de cierta teora T refiere a una entidad realmente existente es que la teora T es (por lo
menos aproximadamente) verdadera. Aun as, vistas las cosas con ms detalle, estos dos
componentes del realismo cientfico son independientes el uno del otro: se puede defender
una versin del realismo referencial sin defender el realismo veritativo y a la inversa. Como
acabamos de ver, Hacking sostiene un realismo referencial sin realismo veritativo. El
enfoque estructuralista puede, por su parte, ser interpretado como una defensa ms o
menos implcita del realismo veritativo con respecto a la pretensin emprica de las teoras
cientficas exitosas, sin que por ello se tenga que aceptar necesariamente un realismo referencial.
El argumento principal del realismo en el mbito de la filosofa de la ciencia es el llamado
argumento del no hay milagros. Fueron Hilary Putnam (Estados Unidos, 1926) y Richard
Boyd (Estados Unidos, 1942) quienes lo desarrollaron a partir de los aos setenta en varios
artculos y contribuciones.14 Estos autores ofrecen adems otras leas de argumentacin a
favor del realismo en general, que no obstante son ms bien de naturaleza lgico-semntica
o de filosofa del lenguaje. No podemos entrar en ello aqu. El argumento del no hay
milagros reza bsicamente as: sera un milagro inexplicable que las teoras fsicas y el
restb de teoras empricas bien establecidas, todas las cuales contienen trminos tericos,
fuesen tan exitosas (como de hecho son) con respecto a sus predicciones empricas sin que
su contenido terico no reflejara (al menos aproximadamente) una realidad independiente.
Puesto que no queremos creer en milagros, cuando hay disponibles explicaciones
alternativas mucho ms admisibles, se sigue que podemos suponer que las entidades
postuladas por dichas teoras existen realmente y que las teoras mismas son
(aproximadamente) verdaderas. Este argumento puede formularse como una especie de
argumento abductivo: la mejor explicacin del xito prctico de una buena teora cientfica es
que es (aproximadamente) verdadera.
La rplica antirrealista al argument del no hay milagros no se hizo esperar; vino
especialmente de los filsofos de la ciencia de orientacin historicista, encabezados por
Laudan: a lo largo de la historia de la filosofa de la ciencia ha habido muchas teoras serias
que hicieron predicciones precisas y exitosas, pero cuyos principios actualmente tenemos
por falsos. Ejemplos prominentes son: la astronoma ptolemaica, es decir, geocntrica, la
teora del flogist de las reacciones de oxidacin en la qumica, la tema del calrico de los
fenmenos trmicos. Aunque estas teoras, en sus periodos de florecimiento, condujeron a
predicciones exitosas notables, hoy las consideramos definitivamente falsas. Las entidades
por ellas pos14
Vase, por ejemplo, Meaning and the Moral Sciences, de H. Putnam, y Scientijic Realism and Naturalistic Epistemology, de R.
Boyd.
elementos) estn los britnicos John Worrall,22 un antiguo discpulo de Popper, y Steven
French. Fuera de Gran Bretaa, otros filsofos
127
22El primer ensayo de Worrall apareci en 1989 en la revista Dialctica con el ttulo de Structural Realism: The
Best of Both Worlds?. Los dos mundos a los que el ttulo refiere, son el realismo cientfico normal y el
antirrealismo. Resulta sintomtico que el autor ponga entre interrogantes el subttulo de su artculo; su
se les han unido y se han propuesto continuar elaborando esta propuesta y aplicarla a
casos de estudio, como, por ejemplo, el ya citado Newton Da Costa en Brasil.
El realismo estructural es, en realidad, una versin ms dbil del realismo
cientfico: en l, no se supone que las teoras empricamente exitosas sean
verdaderas ni tampoco que los trminos tericos especficos se refieran a cosas
realmente existentes. No se trata de un realismo referencial ni tampoco de uno
altico. Se trata de un realismo estructural en el sentido de que lo que hay que
El desarrollo moderno
de la filosofa
de la ciencia(podramos
(,1890-2000) decir tambin: los
interpretar 128
realistamente
son slo
las estructuras
modelos) que nuestras mejores teoras empricas determinan, ya que stas reflejan de
algn modo las autnticas estructuras de la realidad. Y esto es justamente lo que
explica el xito emprico de dichas teoras.
Para mostrar la fecundidad de su punto de vista, Worrall nos invi- }Aro o ] 0, ta a
considerar un ejemplo histrico ppgmtico de cambio terico radical en un mbito
determinado: la evolucin de la ptica terica del siglo XVII al siglo XX. En este mbito,
primero existi la teora corpuscular de la luz, segn la cual la luz est compuesta de
pequeas partculas. A partir de esta teora, se pudieron explicar y predecir una serie
de fenmenos pticos, como la reflexin y la ley de difraccin. A comienzos del siglo
XIX, se descubrieron otros fenmenos pticos, como la polarizacin de la luz, que
parecan incompatibles con la teora corpuscular. Estos fenmenos representaron un
estmulo para que Fresnel desarrollase su teora ondulatoria de la luz, de acuerdo con
la cual los constituyentes ontolgicos de la luz no son partculas, sino ondas en un
medio material, el llamado ter. En el ltimo tercio del siglo XIX, la teora de Fresnel
fue sustituida por' el electromagnetismo de Maxwell, cuyo concepto fundamental no
es ni el de partcula ni el de onda, sino el de campo, lo que constituye una entidad
del todo distinta. A principios del siglo XX, lleg Einstein con su teora de los fotones,
que lanz por la borda todas las teoras precedentes. Durante todas estas fases de la
historia de la ptica no se mantuvieron los conceptos fundamentales ni se
consideraron como (aproximadamente) verdaderas las teoras precedentes. Lo nico
que prevaleci a lo largo de este proceso histrico fueron ciertas ecuaciones que,
independientemente i de su concreta interpretacin fsica, reflejaban la estructura real
de los fenmenos
defensa a favor del realismo estructural todava es cautelosa en este artculo. Entre tanto, esta compostura
provisional la han abandonado l y sus simpatizantes.
librarse de la impresin de que hay al menos algo de verdad en esta idea. Todava queda por
aclarar si esta parte de verdad es suficiente para revitalizar un realismo cientfico sano,
por no hablar de un programa general y fructfero de filosofa de la ciencia basado en l. Es
demasiado prematuro hacer una valoracin crtica definitiva del nuevo realismo estructural.
Y, en cualquier caso, esto tampoco correspondera al propsito de una historia de la filosofa
de la ciencia como la que se ha intentado exponer en este libro.
Concepciones modelsticas y emparentadas (1970-2000) 129
A modo de conclusin
En una obra historiogrfica como sta, destinada a trazar la evolucin de una disciplina ms
bien joven, con mucha frecuencia el autor se siente obligado a especular sobre las
perspectivas futuras. En este caso, eso equivale a preguntarse: qu futuro espera a la
filosofa de la ciencia?. Quiz el lector espere una respuesta a esta interrogante. A riesgo
de defraudarle, mi respuesta es simplemente que no lo sabemos. La historia humana en
general es imprevisible, y lo es particularmente la historia de las ideas. Si la Unin Sovitica
y el marxismo-leninismo, que era su marco ideolgico, han desaparecido de la escena
mundial de manera completamente inesperada en unos pocos aos, lo mismo podra suceder
a esta entidad bastante ms anodina que es la filosofa de la ciencia... Para burlarse un poco
de sus colegas, Feyerabend describi en una ocasin la, filosofa de la ciencia como un tipo
de locura hasta entonces desconocida. Ahora bien, cuarenta aos despus todava existen
locos de este gnero, quienes realizan considerables esfuerzos intelectuales. Pero no
podemos excluir que dentro de poco acaben por curarse o que perezcan sin dejar
herederos. Quiz en el futuro, las nuevas generaciones se convenzan de que el nico gnero
de estudio que tiene sentido en relacin con las ciencias es el anlisis sociolgico o
historiogrfico; o quiz para entonces se proponga reemplazar la filosofa de la ciencia por
las ciencias cognitivas una disciplina emprico-formal de contornos mal definidos, 24 pero
que parece tener un objetivo cercano al de la filosofa de la ciencia, tal y como la hemos
definido en este libro... Nada puedo decir a este respecto.
Es posible tambin que la filosofa de la ciencia no desaparezca del todo, pero que sufra
una transformacin radical. En la breve historia que ha tenido desde su
institucionalizacin hasta fines del siglo XX, ha sufrido ya dos transformaciones bastante
dramticas: la primera, poco despus de la Primera Guerra Mundial, cuando fue
invadida por los mtodos de la lgica formal; la segunda, a mediados de los aos
sesenta, cuando amenazaba con convertirse meramente en una filosofa histrica de la
ciencia. La disciplina ha sobrevivido bien que mal a estas dos transformaciones,
preservando a pesar de todo algunos elementos de continuidad, tanto en los temas
considerados como en las concepciones propuestas. Pero quiz ocurra de otro modo la
prxima vez.
La nica cosa que me parece clara es que la filosofa de la ciencia, como su propio
nombre indica, no proviene de una forma cualquiera de anlisis de su tema, la ciencia,
sino que es una reflexin filosfica sobre la ciencia. La filosofa de la ciencia es una rama de
la filosofa acaso podra ser otra cosa?. Los filsofos tienen el privilegio de poder
pensar sobre todo tipo de cosas, y los autnticos filsofos lo hacen en tanto que filsofos (y
no en tanto que psiclogos, socilogos, historiadores, etc.). Si hay y si, lo que es
verosmil, continuara, habiendo filosofa del lenguaje, filosofa de la religin, filosofa del
arte, filosofa de la poltica (y tambin, claro est, una filosofa de las matemticas), sera
muy sorprendente que desapareciera el tipo de filsofo que se ocupa de analizar
filosficamente este producto intelectual tan particular que representa el conocimiento
cientfico. Por qu, entonces, el objeto ciencias empricas debera quedar fuera del
alcance del anlisis autnticamente filosfico? Seguramente, la filosofa entera podra
desaparecer. Pero estoy seguro de que el lector que me haya seguido hasta aqu estar de
acuerdo conmigo en esto: dicha eventualidad no es deseable en absoluto.
Bibliografa
Adams, E.W., The Foundations of Rigid Body Mechantes and the Deri- vation of its Laws from those of
Partcle Mechantes, en L. HenMn, P. Suppes, A. Tarski (comps.), The Axiomatic Method with Special
Reference to Geometry and Physics, Amsterdam, North-Holland, 1959, pp. 250-265.
24 Vase a este propsito la descripcin que ofrece Daniel Andler del carcter de las ciencias cognitivas en su
Introiuction aux sciences cognitives [Introduccin a las ciencias cognitivas].
Andler, D. (dir.), Introduction aux sciences cognitives [1992], 2a. ed., Galli- mard, Pars, 204.
Andler, D., A Fagot-Largeault, B. Saint-Semin (dirs.), Phosopkie des sciences, Gallimard, Pars, 2002, 2
vols.
Bachelard, G., Le Nouvel Esprit scientifique [1934], Alean, Pars, 1957. [Versin en castellano: El nuevo
espritu cientfico, trad. Ricardo Snchez, Nueva Imagen, Mxico, 1989.]
------, La Psychanalyse dufeu, Gallimard, Pars, 1938. [Versin en castellano:
Psicoanlisis del fuego, Alianza, Madrid, 1966.]
--- - -, La Formation de lEsprit scientifique, Vrin, Pars, 1938. [Versin en
132 El desarrollo moderno de la filosofa de la ciencia (,1890-2000)
castellano: La formacin del espritu cientfico, trad. Jos Babini, Siglo XXI, Buenos Aires, 1972.]
Balzer, W., C.U. Moulines yJ.D. Sneed, An Architectonic for Science, Reidel/ Kluwer/Springer, Dordrecht,
1987.
Balzer, W. y C.U. Moulines (comps.), Structuralist Theory of Science. Focal Issues, New Results, Walter de
Grayter, Berln, 1996.
Balzer, W., C.U. Moulines y J.D. Sneed (comps.), Structuralist Knowledge Representation: Paradigmatic
Examples, Rodopi, Amsterdam, 2000.
Barberousse, A., M. Kistler y P. Ludwig, La philosophie des sciences au XXe sicle, Flammarion, Pars,
2000.
Bartelborth, T., Begrndungsstrategieh, Akademie-Verlag, Berln, 1996.
Bloor, D., Knowledge and Social Imgery, Routledge and Kegan Paul, Londres, 1979. [Versin en
castellano: Conocimiento e imaginario social, trads. Emmanuel Lizcano y Rubn Blanco, Gedisa,
Barcelona, 1998.]
Boyd, R., Scientific Realism and Naturalistic Epistemology, Symposia and Invited Papers, 1980, vol. II,
The University of Chicago Press, Chicago, pp. 613-662.
Braithwaite, R.B., Scientific Explanation, Cambridge University Press, Cambridge, 1953. [Versin en
castellano: La explicacin cientfica, trad. Vctor Snchez de Zavala, Tecnos, Madrid, 1965.]
Bridgman, P.W., The Logic of Modern Physics [1927], 2a. ed., MacMillan, Nueva York, 1954.
,'
Canguilhem, G., Le Normal et le paihologique [1943], 2a. ed., PUF, Pars, 1962. [Versin en castellano: Lo
normal y lo patolgico, Siglo XXI, Mxico,
1966.]
133 1998. [Versin en
Carnap, R., Der logische Aufbau der Welt Bibliografa
[1928], 2a. ed., Meiner, Hamburgo,
castellano: La construccin lgica del mundo, trad. Laura Mus, Universidad Nacional Autnoma de
Mxico-Insdtuto de Investigaciones Filosficas, Mxico, 1998.]
------, Testability and Meaning, Philosophy of Science, vols. 3 y 4, 19361937.
------, Logical Foundations of Probability [1950], 2a. ed., University of Chicago Press, Chicago, 1962.
-----, The Continuum of Inductive Methods, University of Chicago Press,
Chicago, 1952.
------, The Methodological Character of Theoretical Terms, en H. Feigl
y M. Scriven (comps.), Minnesota Studies in the Philosophy of Science, vol. I, University of Minnesota
Press, Minepolis, 1956, pp. 38-76. [Versin en castellano: El carcter metodolgico de los trminos
tericos, en L. Oliv y A.R. Prez Ransanz (comps.), Filosofa de la ciencia: teora y observacin, Siglo
XXI, Mxico, 1989.]
------, Intellectual Autobiography, en P.A. Schilpp (ed.), The Philosophy
of Rudolf Carnap, Open Court, La Salle, 1963, pp. 1-84. [Versin en castellano: Autobiografa intelectual,
trad. C. Castells, Paids, Barcelona, 1992.] '
-----, Philosophie Foundations of Physics, Basic Books, Nueva York, 1966.
[Versin en castellano: Fundamentacin lgica de la fsica, trad. N. Mguez, Sudamericana, Buenos Aires,
1969.]
Carnap, R. y R. Jeffrey, Studies in Inductive Logic and Probability, University of California Press, Berkeley,
1971.
Cartwright, N., How the Laws of Physics Lie, Clarendon Press, Oxford, 1983.
------, The Dappled World, Cambridge University Press, Cambridge, 1999.
Diederich, W., A. Ibarra y T. Mormann, Bibliography of Structuralism, Erkenntnis, 30/3, 1989 (la.
versin); 41/3, 1994 (2a. versin).
Donovan, A., L. Laudan y R. Laudan (comps.), ScrutinizingScience: Empirical Studies of Scientific Change,
Kluwer, Dordrecht, 1988.
Duhem, P., La thorie physique, son objet, sa structure [1906], 2a. ed., Vrin, Pars, 1981. [Versin en
castellano: La teora fsica. Su objeto y su estructura, trad. Mara Pons Irazazbal, Herder, Barcelona,
2003.]
Duhem, P., Le systme du monde, Hermann, Pars, 1913-1959,10 vols, Feyerabend, P.K., Das Problem
der Existenz theretischer Entitaten, en E. Topitsch (ed.), Probleme der Wissensckaftstheorie, Springer,
Viena, 1960.
, Explanation, Reduction, and Empiricism, en H. Feigly G. Maxwell
(comps.), Minnesota Studies in the Philosophy of Science, vol. IEE, University of Minnesota Press,
Minepolis, 1962.
, Against Method, en N. Radner y S. Winokur (comps.), Minnesota
Studies in the Philosophy of Science, vol. IV, University of Minnesota Press, Minepolis, 1970. [Versin
en castellano: Contra el mtodo, Ariel, Barcelona, 1974.]
Foucault, M., Naissance de la clinique, PUF, Pars, 1963. [Versin en castellano: El nacimiento de la
clnica, Siglo XXI, Mxico, 1966.]
Friedman, M., Explanation and Scientifc Understanding, The Journal of Philosophy, vol. 71, no. 1, pp.
5-19.
Giere, R., Explaining Science, University of Chicago Press, Chicago, 1988.
, Cognitive Models of Science, University of Minnesota Press, Minepolis,
1992.
Goodman, N., Fact, Fiction and Forecast, Harvard University Press, Cambridge, Mass., 1955.
Granger, G.-G., Pense formelle et sciences de lhomme, Aubier, Pars, 1966. Hacking, I., Representing and
Intervening, Cambridge University Press, Cambridge, 1983. Versin en castellano: Representar e
intervenir, trad. Sergio Martnez, Paids/Universidad Nacional Autnoma de Mxico, Mxico/Buenos
Aires/Barcelona, 1996.]
Hempel, C.G., The Theoreticians Dilemma: A Study in the Logic of Theory Construction, en H. Feigl,
M. Scriven y G. Maxwell (comps.), Minnesota Studies in the Philosophy of Science, vol. II, University of
Minnesota Press, Minepolis, 1958; incluido posteriormente en su libro Aspects of Scientifc
Explanation, Free Press, Nueva York, 1965. [Versin en castellano: El dilema del terico, en La
explicacin cientfica, trad. Nstor Mguez et al, Paids, Barcelona/Mxico, 2005.]
Hempel, C.G. y P. Oppenheim, Studies in the Logic of Explanation, Philosophy of Science, vol. 15, no.
2, 1948, pp. 135-175; reproducido posteriormente en Aspects. [Versin en castellano: La lgica de la
explicacin, en La explicacin cientfica.]
Hertz, H., Prinzipien derMechanik, Leipzig [1894]; reimp. Wissenschaftliche BuchgeseUschaft,
Darmstadt, 1963.
Hesse, M., Revolutions and Reconstructions in the Philosophy of Science, Har- vester Press,
Brighton, 1980.
James, W., The Meaning of Truth [1909], Harvard University Press, Cambridge, 1975. [Versin en
134 El desarrollo moderno de la filosofa de la ciencia (,1890-2000)
castellano: El significado de la verdad, trad. Santos Rubiano, Daniel Jorro, Madrid, 1924.]
Janich, P,, Die Protophysik der Zeit, Bibliographisches Institu, Mannheim,
1967.
Kant, I., Kritik der reinen Vernunft [1781]. [Versin en castellano: Crtica de la razn pura, trad. P. Ribas,
Alfaguara, Madrid, 1978.]
, Metaphysische Grundlagen der Naturwissenschaft [1786]. [Versin en
castellano: Principios metafsicas de la ciencia de la naturaleza, trad. C. Msmela, Alianza, Madrid,
1989.]
Kitcher, P., Explanatory Unification and the Causal Structure of the World, en P. Kitcher y W. Salmn
(comps.), Scientific Explanation, Uni- versity of Minnesota Press, Minepolis, 1989.
, The Advancement of Science, Oxford University Press, Oxford, 1993.
[Versin en castellano: El avance de la ciencia, trad. H. Islas y L. Manr- quez, Universidad Nacional
Autnoma de Mxico-Instituto de Investigaciones Filosficas, 2001.]
Koyr, A., tudes galilennes [1933], 2a. ed., Hermann, Pars, 1966. [Versin en castellano: Estudios
galileanos, Siglo XXI, Mxico, 1966.]
, tudes newtoniennes [1968], 2a. ed., Gallimard, Pars, 1985.
Krantz, D., R.J. Luce, P. Suppes y A. Tversky, Foundations of Measurement, Academic Press, Nueva York,
1971-1989, 3 vols.
Kuhn, T.S., The Copernican Revolution, Harvard University Press, Cambridge, Mass., 1957. [Versin en
castellano: La revolucin copernicana, trad. Domnecli Bergad, Ariel, Barcelona, 1978.]
, The Structure of Scientific Revolutions [1962], 2a. ed., Universtiy of
Chicago Press, Chicago, 1970. [Versin en castellano: La estructura de las revoluciones cientficas,
Fondo de Cultura Econmica, Mxico, 1986.]
, Theory-Change as Stracture-Change: Comments on the Sneed
Formalism,' Erkenntnis, no. 10, vol. 2, 1976, pp. 179-199, incluido en TheRoadsince Structure. [Versin
en castellano: Cambio de teora como cambio de estructura: comentarios al formalismo; de Sneed,
en El camino desde la estructura.]
-, The Essential Tensin. Selected Studies in Scientific Tradition and Ckange,
University of Chicago Press, Chicago, 1977. Versin en castellano: La tensin esencial, trad. Roberto
Helier, Fondo de Cultura Econmica, Mxico, 1982.]
*
-, The Road since Structure: Philosophical Essays 1970-1993, University of
Chicago Press, Chicago/Londres, 2000. [Versin en castellano: El camino desde la estructura,
ensayosfilosficos 1970-1993, trad. A. Beltrn yj. Romo, Paids, Barcelona/Buenos Aires, 2002.]
Lakatos, I., Falisification and the Methodology of Scientific Research Pro- grammes, en I. Lakatos y A.
Musgrave (comps.), Criticism and the Growtk of Knowledge, Cambridge University Press, Cambridge,
1970; posteriormente compilado en I. Lakatos, The Methodology of Scientific Research Pro- grammes,
Cambridge University Press, Cambridge, 1978. [Versin en castellano: La falsacin y la metodologa
de los programas de investigacin cientfica, en La crtica y el desarrollo del conocimiento, trad. F.
Hernn,
Grijalbo, Barcelona/Mxico, 1975 y tambin en I. Lakatos, La metodologa de los progmmas de
investigacin cientfica, trad. J.C. Zapatero, Alianza, Madrid, 2002.]
Laudan, L., Progress and its Problems, University of California Press, Berkeley, 1977. [Versin en
castellano: El progreso y sus problemas, Encuentro, Madrid, 1986.]
Laugier, S. y P. Wagner (comps.), Philosophie des sciences, tomo 1: Thories, experiences et
mthodes, y tomo 2: Naturalismes et ralismes, Vrin, Pars, 2004.
Lorenzen, P., Einfhrung in die operative Logik und Mathematik, Springer, Berln, 1955.
Losee, J., An Historical Introduction to the Philosophy of Science, Clarendon Press, Oxford, 1972. [Versin
en castellano: Introduccin histrica a la filosofa de la ciencia, trad. A. Montesinos, Alianza, Madrid,
1978.]
Ludwig, G., Die Grundstrukturen einer physikalischen Theorie, Springer, Berln, 1978.
Mach, E., Die Mechanik in ihrer Entwicklung. Historisch-kritisch dargestellt, Brockhaus, Leipzig, 1883.
[Versin en castellano: Desarrollo, histrico- crtico de la mecnica, trad. J. Barbini, EspasaCalpe, Buenos Aires, 1949.]
, Die Analyse der Empfindungen, Fischer, Jeria, 1886. [Versin en castellano: Anlisis de las sensaciones,
trad. E. Ovejero y Maury, Alta Fulla, Barcelona, 1987.]
McKinsey, J.C.C., A. Sugar y P. Suppes, Axiomatic Foundations of Classical Partide Mechanics, Journal of
Rational Mechanics and Analysis, vol. 2, 1953, pp. 253-272.
Moulines, C.U., Exploraciones metacientficas, Alianza, Madrid, 1982.
(ed.), Structuralism. Special Issue, Synthese, 130, 2002, pp. 1-11.
Nagel, E-, The Structure of Science, Harcourt, Nueva York, 1961. [Versin en castellano: La estructura de la
ciencia, trad. N. Mguez, Paids, Barcelona, 1981.]
Neurath, O., R. Carnap y H. Hahn, Wissenschaftliche Weltaujfassung. Der Wiener Kreis, Wolf, Viena, 1929.
Newton, I., Philosophia Naturalis Principia Mathematica [1687], ed. A. Koyr e I.B. Cohn (segn la 3a.
Bibliografa
135Principios matemticos
ed.), Harvard University Press, Cambridge, Mass.,
1972. [Versin en castellano:
de la ciencia natural, trad. E. Rada Garca, Alianza, Madrid, 1987, 2 vols.]
Nicod, J., La Gometrie dans le monde sensible [1924], 2a. ed., PUF, Pars, 1962.
Niiniluoto, I., Truthlikeness, Reidel/Kluwer, Dordrecht, 1987.
Poincar, H., La science et lhypothse;[1902], Flammarion, Pars, 1968. Versin en castellano: La ciencia
y la hiptesis, trad. A.B. Besio y J. Banfi, Espasa-Calpe, Buenos Aires, 1945.]
, Dernires penses [1913], Flammarion, Pars, 1968. [Versin en castellano: ltimos pensamientos,
trad. J. Banfi y A.B. Besio, Espasa-Calpe, Buenos Aires, 1946.]
Popper, K.R., Logik der Forschung, Springer, Viena, 1935. [Versin en castellano: La lgica de la
investigacin cientfica.. trad. V. Snchez de Zavala, Tecnos, Madrid, 1962.]
------, Objective Knowledge, Clarendon Press, Oxford, 1972. [Versin en
castellano: Conocimiento objetivo, trad. C. Sols, Tecnos, Madrid, 1974.] Quine, W.V.O., Frorn a Logical
Point of. View, Harvard University Press, Cambridge, Mass., 1953. [Versin en castellano: Desde un
punto de vista lgico, trad. M. Sacristn, Ariel, Barcelona, 1962.]
------, Dos dogmas del empirismo, en Desde un punto de vista lgico,
pp. 76-78.
------, On Empirically Equivalent Systems of the World, Erkenntnis, 9,
1975, pp. 313-328.
Ramsey, F.P., The Foundations of Mathematics and Other Logical Essays, ed. R.B. Braithwaite, Roudedge
and Kegan Paul, Londres, 1931; reedicin de 2000. [Versin en castellano del artculo Theories
contenido en este libro en J.L. Rolleri (comp.), Estructura y desarrollo de las teoras cientficas,
Universidad Nacional Autnoma de Mxico-Instituto de Investigaciones Filosficas, Mxico, 1986.]
Reichenbach, H., Wahrscheinlichkeitslehre, Sijthoof, Leyde, 1935.
------, Experience and Prediction, University of Chicago Press, Chicago, 1938.
Russell, B., Our Knowledge of Externa! World [1914], 2a. ed., Open Court, Chicago, 1929. [Versin en
castellano: Nuestro conocimiento del mundo externo, trad. R.J. Velzi, Losada, Buenos Aires, 1946.]
Salmn, W., Statistical Explanation and Statistical Relevance, University of Pittsburgh, Pittsburgh,
1971.
-----, Scientifc Explanation and the Causal Structure f the World, Princeton
University Press, Princeton, 1984.
Schlick, M., Allgemeine Erkenntnislehre [1918], 2a. ed., Suhrkamp, Frankfurt, 1979. [Versin en
ingls: General Theory of Knowledge, Springer, Nueva York, 1974.]
Sneed, J.D., The Logical Structure of Mathematical Physics [1971], 2a. ed.,.
Reidel/Iluwer, Dordrecht, 1978.
Stegmller, W., Theorie und Erfahrung, Springer, Berln, 1970.' [Versin en castellano: Teora y
experiencia, trad. C.U. Moulines, Ariel, Barcelona, 1979.]
------, Theorienstrukturen und Theoriendynamik, Springer, Berln, 1973. [Versin en castellano:
Estructura y dinmica de teoras, trad. C.U. Moulines, Ariel, Barcelona, 1983.]
------, The Structuralist View of Theories, Springer, Berln, 1979. [Versin
en castellano: La concepcin estructuralista de las teoras, trad. J.L. Zafio Ferrer, Alianza, Madrid,
1981.]
Suppe, F., The Meaning and Use of Models in Mathematics and the Exact Sciences , tesis doctoral,
University of Michigan, Ann Arbor, 1967.
Suppe, F. (ed.), The Structure of Scientific Theories, University of Illinois Press, Urbana, 1974. [Versin en
castellano: La estructura de las teoras cientficas, trad. P. Castrillo y E. Rada, Editora Nacional, Madrid,
1979.]
------, The Semantic Conception of Theories and Scientific Realism, University
of Illinois Press, Urbana, 1989.
Suppes, P., Introduction to Logic [1957], 2a. ed., Dover, Nueva York, 1999.
-----, Models and Methods in the Philosophy of Science, Kluwer, Dordrecht,
1993.
------, Representation Theory and the Analysis of Science, Philosophia
Naturalis, 25,1988, pp. 254-268.
------, Set-Theoretical Structures in Science, mimeografiado, Stanford University, Palo Alto, California,
1967.
Van Fraassen, B., The Scientific Image, Clarendon Press, Oxford, 1980. [Versin en castellano: La imagen
cientfica, trad. S. Martnez, Paids/ Universidad Nacional Autnoma de Mxico, Mxico, 1996.
------, Lotus and Symmetry, Clarendon Press, Oxford, 1989.
Wagner, P. (dir.), Les Philosophes et les sciences, Gallimard, Pars, 2002.
Wittgenstein, L., Logisch-fihilosopkische Abhandlung. Tractatus logico-philo- sophicus, Routedge and
Kegan Paul, Londres, 1922; reedicin en L. Witt- genstein, Werkausgabe, tomo 1, Suhrkamp, Frarikfurt,
1989. [Versin en castellano: Tractatus logicop>hilosophicus, edicin bilinge, trad. J. Muoz e I.
Reguera, Alianza, Madrid, 1987.]
136 El desarrollo moderno de la filosofa de la ciencia (,1890-2000)
ndice
Einstein,
A. 21, onomstico
25, 87, 164 Escuela de Erlangen
61-62, 104 Escuela de Munich 136 Escuela de
Stanford 111-112, 114, 117,134,138,144
Feyerabend, P.K. 84, 92-96, 98,104- . 105, 167
Foucault, M. 34 Frege, G. 24, 29, 35, 71 French, S..
163 Fresnel, A.:J. 164 Friedman, M. 156
45,47,51, 84 Newton, 1.12,14,21, 33,54, 80, 87142, 156 Nicod, J. 24, 31 Niiniluoto, I. 55
88
Oppenheim, P. 76-78
Peirce, C.S. 28-29, 42 Platn 106n, 107
Poincar, H. 22, 24-27, 40, 75, 165 Popper, K.R. 43,
47, 51-55, 83, 94- 96, 98,109,148,159,162-163
Protgoras 103,107 Przelecki, M. 124 Putnam, H.
161
Quine, W.V.0.26-28,37,48, 72-75, 88,127,131
Ramsey, F.P. 66-70, 135, Reichenbach, H. 51
Rodin, A. 10
Russell, B. 22-24, 29, 35, 39-40, 63, 71
Salmn, W. 154-156 Schelling, F.W. 14
Schlick, M. 12, 37-38, 41, 43-44, 47 Simn, H. 21
Sneed,J.D. 99, 108, 134-136, 159n Stegmller, W.
57, 65, 68-69, 99,
108,135-136 Suppe, F. 124, 129-132,134
Suppes, P. 107, 112, 115-116, 118- 119n, 122-126,
128-129, 134, 137, 144, 159
Tarski, A. 47, 107, 112, 114n, 137 Toulmin, S. 84
Tversky, A. 122
Wagner, P, 9n, 13n Wajnberg, D. 10 Whitehead,
A.N. 24, 29 Wittgenstein, L. 20, 35, 42 Wojcicki, R.
124 Wolff, F. 10 Worrall, J. 163-165.
Zermelo, E. 29
abduccin 9
adecuacin emprica 127 afirmacin emprica (de
una teora) 117-118, 141 analtico/sinttico,
distincin 13, 70,72,74 anarquismo metodolgico
94, 98 antirrealismo 129, 133, 144, 147, 149, 159
aplicaciones intencionales 117, 126127,140-142 aproximacin 132, 139-140, 142,
145, 162-163 axiomtico, axiomatizacin 12, 21,
96,112-113, 114n, 115
140
ndice analtico
ndice
Prlogo.....................
. .5
1......................................................Una visin de conjunto
11
1. Los inicios institucionales........................... 11
2. Prehistoria y protohistoria .................. 12
3. Las cinco fases del desarrollo...................... 17
2...................................................................Fase de germinacin o de preformacin:
empiriocriticismo y convencionalismo (1890-1918)
19
1. El programa
de Ernst
Mach......................... 19
ndice
analtico
2. El convencionalismo y el instrumentalismo. . 24
3. Dos semillas para el futuro........................ 28
3...................................................................Fase de eclosin (1918-1935)
....................................................................31
1. Una excepcin francesa............................. 31
2. El papel de la lgica formal......................... 35
3. El Crculo de Viena...................................... 36
4. El operacionalismo .................................... 46
5. Un inicio de crisis ...................................... 47
4.
Crisis del positivismo lgico y consolidacin de la filosofa
de la ciencia clsica (1935-1970) ..................... 49
1. La debacle del verificacionismo, los problemas del falsacionismo y las dificultades del
inductivismo .............................................49
2. La crisis del reduccionismo conceptual ....... 57
3. Una excepcin alemana ..............................
61
4. La doctrina de los dos niveles conceptuales 63
5. El ataque contra la distincin analtico/sinttico
y la tesis sobre la subdeterminacin........... 70
6. La estructura de la explicacin cientfica..... 75
7. La naturaleza de las leyes cientficas........... 78
5. Fase historicista (1960-1985) ............................ 83
1. Paradigmas e inconmensurabilidad, programas
y tradiciones de investigacin..................... 83
2. El relativismo socio-epistmico...................102
6. Concepciones modelsticas y emparentadas
167
Bibliografa.........................................................................169
ndice onomstico...............................................................177
ndice analtico .:..................................................................181
El desarrollo moderno de la filosofa de la ciencia (1890-2000), editado por el Instituto de Investigaciones Filosficas de la
UNAM, se termin de imprimir el .2 de agosto de 2011, en los talleres de Editorial Cromo Color S.A. de C.V.
(Miravalle no. 703, colonia Portales, Delegacin Benito Jurez, 03570, Mxico, D.F.). Para su impresin, realizada en
offset, se utiliz.papel cultural de 90 gr; en su composicin y formacin tipogrficas, llevadas a cabo por
computadora, se usaron el programa KTjrX2e y tipos New Baskerville 10.5/12, 9.5/11 y 8.5/10.
El tiraje consta de 1000 ejemplares.
ndice analtico
3. El rpresentacionalismo
La nocin de modelo, tan central para la mayor parte de los autores que examinamos en este captulo, est naturalmente ligada a la de
representacin: se supone que los cientficos construyen modelos que representan ms o menos bien partes de la realidad. Pero la
nocin misma de representacin est lejos de ser clara a priori, en particular, en un contexto cientfico. Qu tipo de relacin se designa
con este trmino? En la estela de trabajos de Suppes y su escuela, esta cuestin adquiere mxima importancia. El objetivo principal de
la ciencia sera proporcionar representaciones ms o menos adecuadas de la experiencia, y la tarea del filsofo de la ciencia es
justamente determinar la naturaleza de esta relacin de representacin.