Documentos de Académico
Documentos de Profesional
Documentos de Cultura
ULISES MOULINES
Traduccin:
X avier de Donato
ence, British Journal for the Philosophy of Science, Studies in the History
and Philosophy of Science, Philosophia Ifturalis, Zeitschriftfr allgemei-
ne Wissenschaftstheorie (la cual, por cierto, recientemente internacio
naliz su nombre sustituyndolo por Journal for General Philosophy
of Science) han visto la luz, as como aqullas con ttulos ms neu
trales, 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 o aun Poznan Studies in the .Philosophy of
Science and the Humanities han sido o todava son publicadas re
gularmente. El objeto de este bro consiste, pues, en una serie de
autores, enfoques, mtodos y resultados que se han expresado o dis
cutido a lo largo del siglo x x , 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 inicia
do, de entrada se sealan tres advertencias. Conviene indicar desde
un principio que la filosofa de la ciencia ha devenido una discipli
na fuertemente especializada, que es necesario distinguir de otras
disciplinas que mantienen con ella relaciones ms o menos estre
chas, pero que tienen propsitos y mtodos claramente diferentes.
En ciertos aspectos, la filosofa de la ciencia, que es una disciplina re
ciente, tiene relaciones temticas con otra disciplina filosfica mucho
ms antigua, la teora (o filosofa) del conocimiento. Sin embargo,
stas relaciones no conciernen ms que a una parte de esas dos disci
plinas, 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 cientficono basta para carac
terizar la filosofa de la ciencia. Otras disciplinas tambin toman
Prlogo 1
3 A riesgo de ser injusto con otras obras, mencionamos solamente tres, de recien
te aparicin, muy tiles como introducciones temticas a la filosofa de la ciencia:
Laphilosophie des Sciences au X X ' si'ecle, de A. Barberousse, M. ICistler y P. Ludwig, as,
como las dos colecciones de ensayos, ambas en dos volmenes, Philosophie des sci- '
enees, dirigidas respectivamente por D. Andler, A. Fagot-Largeault y B. Saint-Sernin,
y por S. Laugier y P. Wagner (vase la bibliografa, pp. 167-173).
4 La primera vez que aparece citado un autor, se indican entre parntesis el pas
de origen (y eventualmente el pas donde se.'form si es diferente del primero)
as como el ao de nacimiento (salvo para algunos autores contemporneos que
parecen no desear que se publique este gnero de informacin) y, en su caso, de
deceso.
10 E l desarrollo moderno de la filosofa de la ciencia (1 8 9 0 -2 0 0 0 )
2. Prehistoriay protohistoria ;
La historia de la disciplina tiene sus races tanto en la historia de
la filosofa como en la historia de la ciencia de pocas precedentes.
Desde el momento en que una ciencia se constituye como disciplina
autnoma en relacin con la filosofa (por ejemplo) en la Antige
dad griega, la geometra y la astronoma), los filsofos inician una
reflexin filosfica de segundo orden sobre esta disciplina, es de
cir, una reflexin metodolgica y metaterica. Aristteles puede ser
considerado el primer filsofo de la ciencia en un sentido prximo
al que le damos hoy. A l particularmente le debemos la idea de sis
tema axiomtico como ideal de toda construccin de una teora cien
tfica. Y no hay que olvidar que la axiomtica ha desempeado un
papel de primersimo orden en la filosofa de la ciencia del siglo X X .
Seguramente habra mucho que decir en lo concerniente a la evo
lucin de las ideas filosficas sobre la ciencia, desde Aristteles hasta
la Ilustracin; filsofos y cientficos como Bacon, Descartes, Newton,
Hume y los enciclopedistas proporcionaron reflexiones sobre el co
nocimiento cientfico de su tiempo que fcilmente podemos poner
en relacin con la temtica contempornea de la filosofa de la cien
cia. (Esto es verdad sobre todo con respecto a las Regulae philosophan-
di que Newton incluy al principio del tercer libro de su obra princi
pal, aparecida en 1687, Philosophiae Naturalis Principia Mathematica,
y que pueden ser vistas como un pequeo tratado de metodologa
Una visin de conjunto 13
2. El convencionalismo y el instrumentalismo
Aun cuando Poincar es un brillante ejemplo de la popularidad de
que gozaba el proyecto de fundar la fsica sobre una base sensorial,
la importancia histrica de este autor para la filosofa de la ciencia
Fase de germ inacin o de preformacin 25
FASE DE ECLOSIN
(1918-1935)
1. Una excepcinfrancesa
Como toda clasificacin historiogrfica de este gnero, la particin
en cinco fases que he propuesto para delinear la evolucin de la fi
losofa de la ciencia en el siglo XX, no debe tomarse al pie de la
letra: admite todas las excepciones y matices posibles, aunque sin
importancia en una. primera aproximacin. Sin embargo, y antes de
analizar la segunda fase del desarrollo de nuestra disciplina, que
he llamado fase de eclosin, debemos mencionar una excepcin
demasiado importante para ser ignorada: la evolucin de la epis
temologa en lengua francesa. En efecto, la periodizacin en cinco
fases que hemos establecido corresponde al desarrollo de nuestra
disciplina en los pases de Europa central, los pases anglosajones y
nrdicos y, en cierta medida, en otros pases de Europa y Amrica.
Pero la epistemologa francesa que, en la primera fase, pertenece
an a la misma "comunidad de intereses, toma, a partir de los aos
treinta, un camino que le es propio y permanecer independiente
casi hasta nuestros das. No nos atrevemos a aventurarnos en una
especulacin sobre los orgenes de este ejemplo prominente de ex
cepcin cultural francesa; a lo sumo constatamos que a diferencia
de los otros pases mencionados, la incidencia de la nueva lgica y de
los nitodos formales de anlisis sobre la reflexin metacientfica fue
prcticamente nula en Francia y que, en cambio, una perspectiva de
cididamente histrica, incluso historicista, se impuso. Es cierto que
durante el periodo de entreguerras, brillantes pensadores franceses
participaron en la corriente general de la filosofa de la ciencia de
. la poca. Los dos ejemplos ms representativos son probablemente
Jean Nicod yjean Cavaills, que conocan muy bien los desarrollos
32 E l desarrollo moderno de la filosofa de la ciencia (1 8 9 0 -2 0 0 0 )
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), pue
de 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 re
volucin se encuentra en la Viena de los aos veinte, con centros
secundarios importantes situados en Berln, Varsovia, Lvov, Cam
bridge, Oxford y aun en los pases nrdicos y en Estados Unidos.
Se trata de n movimiento intelectual muy vasto, habitualmente co
nocido como positivismo lgico. No todos los protagonistas de este
movimiento aceptaron esta denominacin; algunos prefirieron la
expresin empirismo lgico o aun, cuando se trataba nicamente
de la metodologa de las ciencias empricas, el trmino de opera-
cionalismo. Por motivos de conveniencia, nos ceiremos aluso del
trmino ms conocido de positivismo lgico, pues seala los dos
elementos esenciales de la nueva concepcin de la filosofa de la
ciencia: primeramente, se trata en efecto de un positivismo, en el
sentido de un rechazo radical de toda forma de metafsica ms o
menos oculta y de un nfasis puesto en las ciencias como nica
fuente legtima de conocimiento; pero tambin se trata, a diferencia
del viejo positivismo, de un positivismo lgico en la medida en que
el contenido de todo conocimiento autntico debe ser, en principio,
Fase de eclosin (1 9 1 8 -1 9 3 5 ) 37
4. El operacionalismo
El operacionalismo de Percy W. Bridgman (Estados Unidos, 1882-
1961) y sus discpulos representa una metodologa de la ciencia pa
recida a la propuesta por los positivistas lgicos. Fsico reconocido
especialmente por sus investigaciones en termodinmica, Bridgman
publica en 1927 una reflexin general sobre los fundamentos de la
sica titulada The Logic ofModern Physics [La lgica de la fsica mo
derna]. Esta obra influye menos en la metodologa de la fsica misma
que en las disciplinas que en la poca se esforzaban por alcanzar
una categora indiscutiblemente cientfica, como las de la psicolo
ga o la lingstica. Sin ningn contacto con el Crculo de Viena u
otros autores europeos, Bridgman se plante una cuestin bastante
parecida a la que gui los debates en el seno del positivismo lgico:
cmo garantizar un contenido emprico real a los conceptos y enun
ciados tericos de la ciencia y de la fsica en particular. Segn l,
la base emprica de una verdadera ciencia debe ser exclusivamente
experimental en el sentido riguroso y concreto de operaciones y ma
nipulaciones que podemos realizar y controlar intersubjetivamente
en el laboratorio. Por consecuencia, si no queremos que los concep
tos tericos se vuelvan metafsicos, tienen que ser definidos sobre
la base de las mencionadas operaciones de laboratorio. El ejemplo
paradigmtico de esta interpretacin es la nocin de temperatura:
el sentido de este concepto queda reducido a las manipulaciones
que podemos hacer y constatar con un termmetro. El verdadero
concepto de base es el de un termmetro (y las manipulaciones que
podemos hacer con l); la temperatura, al contrario, representa una
nocin derivada del termmetro. Desde este punto de vista, es natu
ral proponer la introduccin, para toda teora que pretenda la cate
gora de cientfica, de las as llamadas definiciones operacionales,
es decir, de enunciados donde un concepto terico queda determi
nado por operaciones realizables por instrumentos de laboratorio.
He aqu una metodologa bastante semejante a la reconstruccin del
lenguaje cientfico propuesta por el Crculo de Viena.
Fase de eclosin (1 9 1 8 -1 9 3 5 ) 47
5. Un inicio de crisis
En esta poca, los filsofos que se consagran a temas ms tradicio
nales (y que en las universidades europeas representan la aplastante
mayora) no quieren or hablar del positivismo lgico ni del opera-
cionalismo. Pero en el seno de la disciplina naciente que entonces es
la filosofa de la ciencia, las concepciones del positivismo lgico se
van a imponer ms o menos rpidamente en razn de la precisin
y el rigor jams alcanzados hasta este momento por ninguna otra
escuela filosfica.
Es tambin en este momento que las ideas ms fundamentales del
Crculo de Vena y de grupos emparentados comienzan a ser puestas
seriamente en duda. Discusiones y objeciones desembocaron, poco
despus de la Segunda Guerra Mundial, en concepciones sobre la
estructura y el funcionamiento de la ciencia que, aun si conservan la
marca de sus orgenes, ya no pueden ser calificadas estrictamente
de positivistas lgicas. , '
La crisis del positivismo lgico presenta un inters histrico en un
marco ms general, pues coincide con el ascenso del fascismo en Eu
ropa. La consolidacin del fascismo clerical de Dollfuss en Austria
a la mitad de los aos treinta marca la agona del Crculo de Viena
como institucin acadmica, mientras que Reichenbach pierde su
ctedra de Berln poco despus de que los nazis toman el poder.
Schlick fue asesinado en Viena por un simpatizante nazi en 1936 y,
el mismo ao, Carnap, cada vez ms inquieto por la situacin pol
tica en Europa, decide emigrar definitivamente a Estados Unidos.
Neurath se exilia, primero en los Pases Bajos, y luego en el Reino
Unido, en circunstancias rocambolescas, cuando las tropas alemanas
invadieron Holanda. Reichenbach emigr a Estados Unidos despus
de pasar unos aos en Turqua. Cari G. Hempel, otro filsofo ber
lins, ms joven pero muy cercano a Reichenbach, tambin toma el
camino de Estados Unidos, al igual que el gran lgico polaco Alfred
Tarski, quien estuvo en estrecho contacto con el Crculo de Viena
y el grupo de Berln. Karl Popper, que no era un miembro formal
del Crculo de Viena, pero que participaba en sus debates, parte
primero para Nueva Zelanda y posteriormente para el Reino Unido.
En 1940, prcticamente todos los miembros importantes del Crculo
de Viena de grupos emparentados haban abandonado la Europa
continental. Los que no haban fallecido, como Schlick, se encontra
ban en un pas anglosajn. El centr de gravedad de la filosofa de
la ciencia se desplaza a partir de esta fecha de la Europa central a
. Estados Unidos.
48 E l desarrollo moderno de la filosofa de la ciencia (1 8 9 0 -2 0 0 0 )
Ax -A (Sx Dx).
tuye la ltima instancia del control de las teoras; luego, los dos nive
les, el terico y el observacional, no deben concebirse separados uno
del otro: en el caso de una teora autnticamente cientfica, los con
ceptos tericos tienen que aparecer vinculados, aun cuando la va
sea muy indirecta y compleja, con algunos conceptojs observaciona-
les. Este vnculo debe poder expresarse mediante enunciados de un
gnero particular, enunciados mixtos, en los cuales se encuentran
algunos conceptos tericos y algtnos conceptos observacionales. No
hay que buscar necesariamente una forma lgica particular para este
tipo de enunciados (por ejemplo, los condicionales bicondicionales
previstos por Carnap para los enunciados reductivos, aun cuando
stos constituyan, por supuesto, una posibilidad siempre abierta); to
do lo que uno espera de ellos es que su forma lgica pueda hacerse
explcita formalmente de alguna manera. La denominacin estn
dar utilizada para estos enunciados mixtos de vinculacin es la de
reglas de correspondencia. A veces, se encuentra en la literatura
la denominacin de postulados de significado (Bedeutungspostulate
en alemn, meaning postulates en ingls). La razn de esta segunda
denominacin es que presupone que son estos enunciados y slo
ellos los que dotan de significado emprico a los conceptos tericos.
De aqu se sigue que a la dicotoma entre los dos niveles concep
tuales corresponde una tricotoma entre tres clases dei enunciados del
corpus cientfico: toda buena teora cientfica contiene enunciados
puramente tericos, puramente observacionales y enunciados mix
tos. Los primeros contienen solamente trminos tericos (por ejem
plo, electrn, campo electromagntico, entropa, gen, neu
rosis, etc.), y representan tpicamente las leyes fundamentales de la
teora en cuestin; las reglas de correspondencia vinculan algunos
conceptos tericos con algunos conceptos observacionales; y la ter
cera categora de enunciados contiene trminos que se refieren ex
clusivamente a experiencias directas, posibles o reales (por ejemplo,
relmpago, caliente, guisante, insomnio, etc.); representan
justamente las constataciones de observaciones o los protocolos de
laboratorio. Gracias a las reglas de correspondencia, podemos evi
tar el riesgo de reintroducir subrepticiamente ideas metafsicas: aun
cuando un concepto puramente terico de una ley fundamental, por
ejemplo, puede parecer muy especulativo, podr ser calificado de
verdaderamente cientfico si est vinculado con otros conceptos te
ricos que, a su vez, estn vinculados por medio de reglas de corres
pondencia con conceptos observacionales, que finalmente aparecen
en enunciados que se pueden confrontar directamente con la expe-
Crisis del positivismo lgico 65
'ix{Px -4 Qx)
nes. En primer lugar, deja sin respuesta la diferencia entre una ley
que 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 con
tienen explcita o implcitamente referencias a un objeto particular
(la Tierra o regiones determinadas de ella) o a periodos determi
nados. Se podra tratar de salir del atolladero estipulando que slo
las ciencias fsico-qumicas tienen leyes verdaderamente fundamen
tales. Pero este imperialismo de la fsica parece un precio dema
siado 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 ningu
na 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 sim
ple 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 admi
tirla, 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(100) en Fact, Fiction and Forecast
[Hecho, ficcin y pronstico], de 1955, muestra qu 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. Ha
br siempre otros enunciados genrales que intuitivamente nadie
; aceptara como leyes genuinas, pero que resultaran igualmente con
firmados por los mismos casos positivos.
En efecto, supongamos que un bilogo extravagante introdujera,
en lugar del predicado negro, el nuevo predicado blagro, a in
82 E l desarrollo -moderno de la filosofa de la ciencia (1 8 9 0 -2 0 0 0 )
todos los casos, estos dos tipos de modelos tienen por funcin no
slo guiar la investigacin de una manera intuitiva, sino tambin de
cidir 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 em
pleados 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. En
tre los criterios internos se cuentan la simplicidad de las leyes pro
puestas, 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 sim
blicas, los ejemplares constituyen la parte esencial de un paradig
ma, ya que constituyen su identidad propia. Paradigmas diferentes
pueden compartir modelos o algunos valores, pero no las generali
zaciones 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 deter
minado. Muy frecuentemente, son tambin los primeros ejemplos
histricos en los cuales el paradigma mostr su eficacia y represen
tan casos especialmente importantes para la comunidad cientfica.
Se transmiten de una generacin a otra de investigadores, y los estu
diantes los aprenden en los libros de texto. Sirven de modelos para
casos ulteriores. De hecho, el trmino paradigma convendra me
jo r a este componente de una matriz disciplinaria. Todos los otros
casos d aplicaciones sucesivas d 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.
90 E l desarrollo moderno de la filosofa de la ciencia (1 8 9 0 -2 0 0 0 )
ricos para ilustrar sus tesis. Para ellos, no es la lgica, sino ms bien
la historiografa de la ciencia la disciplina auxiliar par excellence de la
filosofa de la ciencia.
Consecuencia de este cambio de perspectiva metametodolgica: los
autores ms jvenes bajo la influencia de estos pensadores tuvieron
a continuacin una tendencia a subrayar ms an la importancia de
la historia de la ciencia para la epistemologa, a veces hasta el punto
de abandonar completamente la filosofa de la ciencia en favor de
urna historiografa pura y dura de la ciencia. Es una evolucin pare
cida a la que caracteriz la epistemologa francesa, de entreguerras;
Ahora bien, es poco probable que. los grandes protagonistas de la
fase historicista, encabezados por Kuhn y Lakatos, hubieran estado
satisfechos con este giro puramente historiogrfico emprendido por
sus discpulos y continuadores. Kuhn guard siempre un sincero res
peto por la filosofa sistemtica de la ciencia, incluso en su versin
"formalista, como lo prueba, por ejemplo, su muy positiva reaccin
ante la concepcin estructuralista de Sneed y Stegmller, expresada
en un artculo de 1976 que apareci en Erkenntnis o, ms tarde, en
una entrevista que dio poco antes de su muerte y la cual se public
postumamente.4 Lakatos reflexion mucho, hacia el final de su vida,
sobre la naturaleza de las relaciones entre la filosofa sistemtica de
la ciencia y la historia de la ciencia, y se le debe una clebre pa
rfrasis de una frase tambin clebre de Kant: "La reconstruccin
racional [de la ciencia] sin historia de la ciencia es vaca; pero la
historia de la ciencia sin reconstruccin racional es ciega.5
Otro autor, Larry Laudan (Estados Unidos, nacido en 1941),
quien sin duda pertenece a la corriente historicista, se propuso ex
plcitamente evitar las trampas del relativismo. Laudan retoma las
perspectivas abiertas por Kuhn y Lakatos, y desarrolla una verda
dera filosofa diacrnica de la ciencia, apoyndose en numerosos
estudios de caso, pero con el objetivo de alcanzar una visin siste
mtica. Desde un punto de vista puramente biogrfico, Laudan no
pertenece a la generacin de Kuhn y Lakatos, pues su primera obra
importante, Progress and its Problems [El progreso y sus problemas],
apareci en 1977; pero sin duda forma parte de lo que hemos llaina-
do "corriente historicista por su enfoque. Laudan desarrolla una
metateora diacrnica de la ciencia/que es ms sistemtica, aunque
tambin ms matizada y menos polmica que las de Kuhn o Lakatos.
4 Vase T.S. Kuhn, The Road since Strudure, pp. 3 1 7-319; trad. esp. 367-369.
5 1. Lakatos, The Methodology of the Scieritijic Research Programmes, p. 102; trad. esp.,
p. 134.
100 E l desarrollo moderno de la filosofa de la ciencia (1 8 9 0 -2 0 0 0 )
2. El relativismo socio-epistmico
El historicismo en filosofa de la ciencia desemboca naturalmente no
en una epistemologa historicista como tal, sino ms bien en el rela
tivismo, o para ser ms precisos, en el relativismo sociologista en re
Fase historicista (1 9 6 0 -1 9 8 5 ) 103
CONCEPCIONES MODELSTICAS
Y EMPARENTADAS (1970-2000)
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 episte
molgico 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 sa
tisfagan 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 n
mero 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 obje
tos 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 n
mero 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. ..n i 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 general
mente guiados por intuiciones ms o menos vagas concernientes
al dominio de experiencia al cual debe ser aplicada,; una vez que
lajeora est bien (re)construida, constataremos siempre que tiene
- muchas aplicaciones que no habamos sospechado inicialmente, e
incluso aplicaciones en dominios no empricos (puramente mate
mticos, 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
Concepciones modelsticas y emparentadas (1 9 7 0 -2 0 0 0 ) 117
3. El rpresentacionalismo
5. El estructuralismo metaterico
Sin duda, la concepcin estructuralista de las teoras cientficas for
ma parte de los enfoques que hemos englobado con la etiqueta co
mn 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 con
tinuacin 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 (especial
mente el primero, quien reconoci como hemos visto sus afini
dades profundas con el estructuralismo, a pesar de las diferencias
aparentemente insalvables en la superficie).
Antes de que comencemos a exponer las ideas principales del es
tructuralismo que hemos calificado de metaterico, se hacen ne
cesarias algunas precisiones histricas y terminolgicas para evitar
enojosos malentendidos. El estructuralismo del que aqu se trata no
tiene mucho que ver con el estructuralismo francs corriente que
marc profundamente la filosofa y las ciencias humanas en Francia
durante los aos sesenta y setenta. Tambin tiene poco que ver con
la manera estructuralista de practicar la lingstica y. la interpreta
cin literaria, extendida hoy un poco por todos los lugares del mun
do. El nico estructuralismo con el cual la concepcin .estructura-
lista de la filosofa contempornea de la ciencia tiene una afinidad
metodolgica es con el practicado en el estudio de los fundamentos
de la matemtica, sobre todo (aunque no nicamente) en la versin
puesta en prctica por el grupo llamado Bourbaki sobre la recons
truccin conjuntista de las teoras matemticas. Habrn de pasar va
rios aos antes de que el programa de investigacin m etaterica que
examinamos aqu lleve su nombre actual. El pionero de estos estu
dios, Joseph r>. SneecI (Estados Unidos, nacido en 1938), no atribuye
Concepciones modelsticas y emparentadas (1 9 7 0 -2 0 0 0 ) 135
JDj, R\, . . . , Rn ,
donde las D representan los dominios base y las R son relacio
nes 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 re
laciones 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 D\ debe ser un conjunto finito de objetos, mientras que
el dominio-Dg debe ser un continuo, que la relacin Ri 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 su
cesivamente. 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
138 E l desarrollo moderno de la filosofa de la ciencia (1 8 9 0 -2 0 0 0 )
slo por una nica ley. Estas unidades simples son llamadas ele
mentos tericos. No pueden constituir una buena representacin
de una teora emprica ms que en los casos de disciplinas poco
desarrolladas. Pero en teoras ms avanzadas (como lo son prcti
camente todas las ciencias naturales y la mayor parte de las socia
les), se puede uno convencer fcilmente de que se trata ms bien de
agrupaciones de un mayor o menor nmero de elementos teri
cos, puesto que contienen variasleyes, de distinto grado de genera
lidad, subordinadas unas a otras. La denominacin especfica para
estas agrupaciones es la de red terica. Estas unidades reflejan el
hecho de que las teoras normales de las ciencias empricas tienen
la forma de estructuras altamente jerarquizadas (piramidalmente,
si uno considera la imagen grfica de las mismas). Habitualmente,
hay una sola ley fundamental (en general, de contenido esquemti
co) que constituye el elemento terico en el vrtice ms alto de la
red y, debajo de l, una serie de leyes (y de condiciones de ligadura)
cada vez ms especializadas (constituyendo cada una un elemento
terico con su propio dominio de aplicaciones intencionales), que
provienen directa o indirectamente de la aplicacin de un proceso
que podemos llamar de especificacin (por ejemplo, especifica
cin de las relaciones entre las magnitudes que aparecen en la ley
fundamental, concretizacin de parmetros o de constantes, res
triccin de las aproximaciones admitidas, etc.). La reconstruccin
estructuralista detallada de docenas de ejemplos de teoras de las
disciplinas ms variadas ha mostrado que es esta forma de red te
rica la que corresponde mejor al concepto intuitivo de teora que
encontramos en los manuales cientficos. Para dar un solo ejemplo,
que ha sido reconstruido en detalle por los estructuralistas, la teora
a la que habitualmente llamamos mecnica newtoniana de part
culas consiste en una red en la que el elemento terico de arriba
en el vrtice ms alto est constituido por el segundo principio
de Newton, ms un gran nmero de especializaciones sucesivas, las
primeras an muy generales por sus contenidos y sus dominios de
aplicacin (tales como el principio de accin y reaccin o el postula
do segn el cual las fuerzas^dependen de las distancias), hasta llegar
a leyes muy particulares, tales como la ley de Hooke para los resor
tes.8 A pesar de esta complejidad, lo que hace que una red pueda
defensa a favor del realismo estructural todava es cautelosa en este artculo. Entre
tanto, esta compostura provisional la han abandonado l y sus simpatizantes.
Concepciones modelsticas y emparentadas (1 9 7 0 -2 0 0 0 ) 165
1 Vase a este propsito la descripcin que ofrece Daniel Andler del carcter de
las ciencias cognitivas en su Introduction aux Sciences cognitives [Introduccin a las
ciencias cognitivas].
168 E l desarrollo moderno de la filosofa de la ciencia f 1 8 9 0 -2 0 0 0 )
Suppe, F. (ed .), The Structure ofScientific Theories, University o f Illinois Press,
U rban a, 1 9 7 4 . [Versin en castellano: La estructura de las teoras cientficas,
trad , P. C astrillo y E . R ada, E d ito ra N acional, M adrid, 1 979.]
--------- , The Semantic Conception of Theories and Scientific Realism, University
o f Illinois Press, U rban a, 19 8 9 .
Suppes, P., Introduction to Logic [1 9 5 7 ], 2a. ed., Dover, N ueva York, 19 9 9 .
--------- , Models and Methods in the Philosophy of Science, Eluw er, D ordrecht,
19 9 3 .
--------- , R epresentation T h eory. an d th e Analysis o f S cien ce, Philosophia
Naturalis, 2 5 ,1 9 8 8 , pp. 2 5 4 - 2 6 8 .
--------- , Set-Theoretical Structures in Science, m im eografiado, Stan ford Univer
sity, Palo A lto, C alifornia, 1967.
V an Fraassen , B ., The Scientific Image, C laren d on Press, O xford , 19 8 0 .
[Versin en castellano: La imagen cientfica, trad . S. M artnez, P a id s /
U niversidad N acional A u t n o m a de M xico, M xico, 1 9 9 6 .
--------- , Latos and Symmetry, C laren d on Press, O xford , 1 9 8 9 .
W agn er, P. (dir.), Les Philosophes et les Sciences, G allim ard, Pars, 2 0 0 2 .
W ittgenstein, L ., Logisch-philosopkische Abhandlung. Tractatus logico-philo-
sophicus, R ouedge an d K egan Paul, L o n d res, 1 9 2 2 ; reed ici n en L . W itt
genstein, Werkausgabe, tom o 1, Suhrkam p, Fran k fu rt, 1 9 8 9 . [Versin en
castellano: Tractatus logicofihilosophicus, ed ici n bilinge, trad . J . M uoz
e I. R eg u era, A lianza, M adrid, 1 9 8 7 .]
n d ic e o n o m stic o
O ppenheim , P. 7 6 - 7 8
Jam es, W . 2 2 - 2 3 , 2 8 , 4 0
Jan ich , P. 62
Jeffrey, R. 5 7 P eirce, C.S. 2 8 - 2 9 , 4 2
P latn 106n , 107
Poin car, H . 2 2 , 2 4 - 2 7 , 4 0 , 75, 165
Kant, I. 1 3 -1 7 , 19, 2 5 , 3 7 , 7 0, 9 9
Popper, K .R . 4 3 , 4 7 , 5 1 - 5 5 , 8 3 , 9 4 -
K itcher, P. 1 5 6 -1 5 7
96, 9 8 ,1 0 9 ,1 4 8 ,1 5 9 ,1 6 2 -1 6 3
K norr-C etina, K. 105
P rotgoras 1 0 3 ,1 0 7
Koyr, A . 3 3 , 35
Przelecki, M . 1 2 4
K rantz, D. 122
P utnam , H . 161
Kuhn, T.S. 3 5 - 3 6 , 8 4 -1 0 1 ,' 1 0 4 -1 0 5 ,
1 08, 1 3 4 -1 3 5 , 14 3 , 1 4 8 -1 4 9 , 162
Q uine, W .V .0 .2 6 - 2 8 , 3 7 , 4 8 , 7 2 -7 5 ,
8 8 ,1 2 7 , 1 3 1
Lakatos, I. 84, 9 6 - 1 0 1 ,1 3 4 - 1 3 5 , 148
Latour, B. 105
L aud an , L . 8 4 , 9 9 - 1 0 2 , 15 9 , 161 Ram sey, F.P. 6 6 - 7 0 , 135,
Lavoisier, A .L . 8 7 R eichenbach, H . 5 1
ndice onomstico 179
Salm n, W , 1 5 4 -1 5 6
W agn er, P, 9n , 13n
Schelling, F.W . 14
W ajnberg, D. 10
Schlick, M. 1 2, 3 7 - 3 8 , 4 1 , 4 3 - 4 4 , 4 7
Sim n, H . 2 1 W M tehead, A .N . 2 4 , 2 9
Sneed, J.D . 9 9 , 1 08, 1 3 4 -1 3 6 , 159n W ittgenstein, L . 2 0 , 3 5 , 4 2
Stegm ller, W . 5 7 , 6 5 , 6 8 - 6 9 , 9 9, W ojcicki, R . 1 2 4
1 0 8 ,1 3 5 - 1 3 6 W olff, F. 10
Suppe, F. 12 4 , 1 2 9 - 1 3 2 ,1 3 4
W o rrall, J . 1 6 3 -1 6 5 .
Suppes, P. 1 0 7 , 11 2 , 1 1 5 -1 1 6 , 1 1 8 -
119n , 1 2 2 -1 2 6 , 1 2 8 -1 2 9 , 134,
137, 14 4 , 159 Z erm elo, E . 2 9
n d ic e a n a ltic o
neokantism o 16
falsabilidad, principio de 5 2
non-statement view 135
fenom enism o 2 2 , 4 0 , 42
norm ativo, n orm ativism o 5 2 , 6 2 , 96,
fisicismo 4 3 - 4 4
fisiologa de los sentidos 1 6 - 1 7 , 1 9 - 98
20 n cleo te rico (o de u n p ro g ra m a
fundacionism o 4 2 de investigacin) 105
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 M ach ............................................... 19
2. El convencionalismo y el instrumentalismo................... 24
3. Dos semillas para el fu tu ro........................ ........................ 28
3. Fase de eclosin (1918-1935) ................................................... 31
1. Una excepcin francesa.................................................... 31
2. El papel de la lgica fo rm a l............................................... 35
3. El Crculo de V ien a.............................................................. 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
186 E l desarrollo moderno de la filosofa de la ciencia (1 8 9 0 -2 0 0 0 )