CIENTFICA
Bas C. van Fraassen
# ;
PAIDS
Mxico
Buenos Aires
Barcelona
DIRECCIN DE LA COLECCIN
Seminario de Problemas Cientficos y Filosficos,
unam
Ia edicin, 1996
PREFACIO
El propsito de este libro es desarrollar una alternativa constructiva frente
al realismo cientfico, una posicin que ltimamente ha sido muy discutida
y defendida en la filosofa de la ciencia. Para este fui presentar tres teoras,
cada una de las cuales necesita de las otras para su apoyo mutuo. La pri
mera concierne a la relacin de una teora con el mundo, y especialmente
lo que puede ser llamado su valor emprico. La segunda es una teora de
la explicacin cientfica, en la cual la capacidad explicativa de una teora
es considerada una caracterstica que de hecho va ms all de su valor em
prico, pero que es radicalmente dependiente del contexto. Y la tercera es
una explicacin de la probabilidad tal como se presenta dentro de la teora
de la fsica (como opuesto a: en la evaluacin de su apoyo evidencial). Los
primeros dos captulos forman una introduccin breve y relativamente sen
cilla a los debates concernientes al realismo cientfico, y explicarn de este
modo la organizacin y la estrategia del resto. He mantenido el carcter no
tcnico a todo lo largo de la exposicin, remitindome para detalles tcnicos
a artculos de revista donde, me parece, tienen un lugar ms indicado.
Estoy en deuda con numerosas personas; muchas de ellas se indican en
las notas. Me gustara aadir aqu algunos agradecimientos personales. Mi
mayor deuda de gratitud en filosofa de la ciencia ha sido siempre con Adolf
Grnbaum, y se renov cuando asist a su conferencia sobre la electrodin
mica de Dirac, en Santa Margarita, en 1976, un paradigma de exposicin
filosfica de la ciencia, la cual slo escasamente puedo esperar emular. Con
Giymour, Hooker, Putnam, Salmn, Smart y Sellars tengo la deuda del reto
que han significado para m sus posiciones filosficas y su disposicin a
discutirlas conmigo, tanto en pblico como en la correspondencia personal.
El ttulo de este libro es una frase de Wilfrid Sellars, quien contrasta la
imagen cientfica del mundo con la imagen manifiesta, la forma en que el
mundo aparece a la observacin humana. Aunque yo negara la sugerencia
de una dicotoma, la frase pareca adecuada. Toraldo di Francia me dio la
oportunidad de tomar parte en el seminario de verano del Instituto Fermi
sobre fundamentos de la fsica, en Varenna, donde aprend muchsimo, so
Ellos se percataron muy bien de que dar cuenta de fenmenos tales como
el calor o las reacciones qumicas nicamente en trminos de atributos
mecnicos requera de por lo menos una teora atmica de la materia. Pero
supongo que est claro que enfrentan otra vez el mismo dilema en cuanto a
las regularidades que postulan en el comportamiento de las partes del tomo.
All no son posibles las explicaciones mecnicas, puesto que los tomos no
tienen partes ulteriores. As que, o bien deben atribuir poderes, cualidades y
propiedades causales especficas a esos tomos para explicar por qu stos
actan y reaccionan de la manera en que Jo hacen, o bien deben rechazar,
como los nominalistas antes que ellos, la demanda de explicacin.
Adems, se ganaron un problema. Parte de la motivacin para el rechazo
nominalista del mundo de poderes, propiedades y disposiciones de los rea
listas aristotlicos (vuelto famoso por la virtus dormitiva de Moliere) era
epistemolgica. La observacin de los fenmenos no apuntaba sin ambige
dad hacia las supuestas conexiones causales detrs de ellos. Este problema
existe de manera similar para las hiptesis atmicas: los fenmenos no
deciden su verdad o falsedad, aunque quizs son explicados mejor por una
hiptesis que por otra. Intentos subsecuentes de los cientficos por clarificar
las bases filosficas de su disciplina encontraron an ms difcil de recon
ciliar el empirismo que profesaban y su antipata hacia la metafsica, con
una no autorizada creencia en hiptesis que describen un mundo supuesto
ms all de los fenmenos.
. Esto llev en el siglo xix al fenomenalismo de Emst Mach, al conven
cionalismo de Henri Poincar y al ficcionalismo de Pierre Duhem. En el
siglo xx, el empirismo lgico de Hans Reichenbach y el positivismo lgi
co de Rudolf Camap fueron desarrollos ulteriores en esta vuelta radical al
empirismo.
2
The Works o f ihe Honourable Roberi Boyle, Londres, Birch, 1672, vol. ui, pg. 13;
tomo el pasaje de R.S. Woolhouse, Lockes Philosophy o f Science and o f Language, Oxford,
Blackwel, 1971, que contiene un excelente examen de los temas filosficos de tal periodo y
del papel que desempe Boyle.
ARGUMENTOS CONCERNIENTES AL
REALISMO CIENTFICO
El rigor de la ciencia exige que distingamos bien entre la figura
sin ropajes de la naturaleza en s misma y el hbito abigarrado
con el cual nosotros la vestimos a nuestro gusto.
Heinrich Hertz, citado por Ludwig Boltzmann,
carta a Nature, 28 de febrero de 1895
dad.5 Ello no quiere decir que alguien llegue a tener alguna vez la garanta
racional para formular tal creencia. Tenemos que abrir un espacio para la
posicin epistemolgica, actualmente un tema importante de debate, segn
la cual una persona racional nunca asigna probabilidad personal 1 a ninguna
proposicin, excepto a una tautologa. Creo que sera raro que un realista
cientfico hiciera suya esta posicin en epistemologa, pero ciertamente es
posible.6-:.Para entender la aceptacin calificada, debemos entender primero la
aceptacin tout court. Si la aceptacin de una teora implica la creencia
de que es verdadera, entonces la aceptacin tentativa implica la adopcin
tentativa de la creencia de que es verdadera. Si la creencia viene por grados,
lo mismo sucede con la aceptacin, y entonces podemos hablar de un grado
de aceptacin que comporta un cierto grado de creencia de que la teora es
verdadera. Por supuesto, esto debe distinguirse de la creencia de que una
teora es aproximadamente verdadera, lo cual al parecer significa creer que
algn miembro de una clase enfocada en la mencionada teora es (exacta
mente) verdadero. De esta manera, la formulacin propuesta del realismo
puede ser empleada independientemente de las convicciones epistemolgi
cas de cada quien.
5 Hartry Red ha sealado que la aceptacin de una teora cientfica involucra la creen
cia de que es verdadera debe reemplazarse por cualquier razn para pensar que alguna
parte de una teora no es verdadera, o puede no serlo, es una razn pai no aceptarla. El
inconveniente de esta alternativa es que deja abierto cul es la actitud epistemolgica que
st involucrada en la aceptacin de una teora. Esta pregunta tambin debe responderse, y
en la medida en que hablemos de una aceptacin total en vez de una aceptacin parcial,
tentativa o restringida de otra manera no veo cmo, un realista podra hacer algo distinto
de identificar dicha actitud con ua creencia completa. (Es un lugar comn que teoras que
se creen falsas sean empleadas para problemas prcticos la mecnica clsica para poner en
rbita satlites, por ejemplo.) Esto es as debido a que si la meta es la verdad, y la aceptacin
requiere de la creencia en que esa meta se est cumpliendo... Tambin debo mencionar la
enunciacin del realismo en el inicio del escrito de Richard Boyd, Realtsm, Underdetermination, and a Causal Theory of Evidence, Nos, 7,1973, pgs. 1-12. Excepto por algunas
dudas en tomo a su uso de los trminos explicacin y relacin causal, pretendo que mi
enunciacin del realismo est en entera concordancia con la suya. Finalmente, vase C.A.
Hooker, Systematic Realism, Synthese, 26,1974, pgs. 409-497; esp. pgs. 409 y 426.
6 Me parece que ms tpica del realismo es la clase de epistemologa que se encuentra en
el libro de Clark Glymour que est por aparecer: Theory and Evidence, Princeton, Princeton
University Press, 1980, excepto, por supuesto, porque est desarrollada completa y cuidado
samente de una manera especfica. (Para este tema, vase especialmente el captulo Por qu
no soy bayesiano.) Sin embargo, no veo ninguna razn de por qu un realista, en cuanto tal,
no podra ser bayesiano a la manera de Richard Jeffrey, an cuando la postura bayesiana haya
sido asociada anteriormente con posiciones antirrealistas, e incluso instrumentalistas, en la
filosofa de la ciencia.
.-'
2. LA DICOTOMA TEORA/OBSERVACIN
muchas cosas. Sin embargo, decir que l no ve las mismas cosas y acon
tecimientos que nosotros es simplemente tonto; es un retrucano que se
vale de la ambigedad entre ver y ver que. (Las condiciones de verdad
de nuestro enunciado x observa que 4 deben ser tales que cualesquie
ra conceptos que x tenga, presumiblemente relacionados con el lenguaje
que x habla si es humano, ntren de alguna manera como variable dentro
de la correcta definicin de verdad. Por tanto, decir que x observ l per
Iota de tenis no implica en lo ms mnimo que x observ que era una
pelota de tenis; eso requerira algn conocimiento conceptual del juego de
tenis.)
"
'
Esto no est concebido como una definicin, sino solamente como una gua
aproximada para evitar falacias.
7
G. Maxwell, "The Ontological Status of Tfaeoretical Entities, Minnesota Studies in
Philosophy o f Science, ni, 1962, pg. 7. [Versin en castellano: l status ontolgico de las
entidades tericas, en L. Oliv y A.R. Prez R. (comps.), Filosofa de la ciencia: teora y
observacin, Mxico, Siglo xxi-Instituto d e Investigaciones Filosficas, UNAM, 1989.]
no tiene ninguna importancia ontolgica. 9 Ninguna importancia ontolgica si la cuestin es solamente en qu medida observable y existe se
implican mutuamente, porque no lo hacen; pero no tiene tampoco ninguna
importancia para la cuestin del realismo cientfico?
Recurdese que defin el realismo cientfico en trminos del propsito de
la ciencia y de actitudes epistemolgicas. La cuestin es qu propsito tiene
la actividad cientfica y qu tanto hemos de creer cuando aceptamos una
teora cientfica. Cul es la forma idnea de la aceptacin: creer que la teo
ra, n conjunto, es verdadera, u otra cosa? Para esta pregunta, lo que es
observable por nosotros sin duda parece pertinente. De hecho, podemos
intentar una respuesta en este punto: aceptar una teora es (para nosotros)
creer qu es empricamente adecuada: que todo cuanto la teora dice acerca
de lo que es observable (por nosotros) es verdadero.
Se objetar inmediatamente que, en esta propuesta, lo que el antirrealis
ta decida creer acerca del mundo depender en parte de lo que crea que
es su rango de evidencia accesible o, ms bien, el de la comunidad
epistemolgica. Actualmente, consideramos la especie humana como la
comunidad epistemolgica a la cual pertencemos; pero esta especie puede
sufrir una mutacin, o esa comunidad puede ser incrementada aadindole
otros animales (terrestres o extraterrestres) a travs de decisiones ideolgi
cas o morales pertinentes (contarlos como personas). n consecuencia, el
antirrealista tendra que aceptar, en mi propuesta, condiciones de la forma:
Si la comunidad epistemolgica cambiaen forma Y, entonces mis creen
cias acerca del mundo cambiarn en forma Z.
9
Op. cit., pg. 15. En el siguiente captulo examinar un poco ms cmo es que debe
entenderse la observabilidad. Sin embargo, en este momento podran .acusarme de confiar
en distinciones modales que he criticado en otros lugares. Despus de todo, estoy haciendo
una distincin entre limitaciones humanas y factores accidentales. Cierta manzana cay al
mar en una bolsa de desecho que se hundi; en relacin con dicha informacin, es necesario
que nadie observara nunca el corazn d la manzana. No obstante, esa informacin concierne
a un accidente de la historia, y por ello no son limitaciones humanas las que imposibilitan
observar el corazn de la manzana. Pero a menos que afirme que ciertos hechos acerca de
los humanos son esenciales, o fsicamente necesarios, y otros accidentales, cmo podra dar
sentido a la distincin? Est pregunta permite ver la dificultad de una disminucin filsofica
del lenguaje modal. Esto creo que sera posible a travs de una promocin de la pragmtica.
En el caso presente, la respuesta podra ser, dicho de manera muy burda, que las teoras
cientficas que aceptamos son un factor determinante para 1 conjunto de caractersticas del
organismo humano que se cuentan entre las limitaciones a las cuales nos referimos al emplear
el trmino observable. El .tema de la modalidad resurgir explcitamente en el captulo sobre
la probabilidad'.
esta regla y sus usos han sido realizados por Gilbert Harman.11 Presentar
solamente una versin simplificada. Supongamos que tenemos la eviden
cia y estamos considerando varias hiptesis, digamos H y H . La regla
dice que debemos inferir H ms bien que H ' precisamente si H es una me
jor explicacin de E que H '. (Varios requisitos son necesarios para evitar
la inconsistencia: deberamos tratar de movemos siempre hacia la mejor
explicacin global de toda la evidencia disponible.)
Se argumenta que seguimos esta regla en todos los casos ordinarios,
y que si la seguimos consistentemente en todas partes, seremos llevados
al realismo cientfico, en el sentido que el dictum de Sellars seala Y
seguramente hay muchos casos ordinarios significativos: oigo rasguos
en la pared, ruido de pasitos menudos a medianoche, mi queso desaparece,
e infiero que un ratn ha venido a vivir conmigo. No es solamente que
estos signos aparentes de presencia ratonil continuarn, no es solamente
qu todos los fenmenos observables sern como si hubiera un ratn; sino
que realmente hay un ratn.
Nos conducir tambin este patrn de inferencia a creer en entidades
inobservables? Es el realista cientfico simplemente alguien que sigue con
sistentemente las reglas de inferencia que todos seguimos en contxtos ms
mundanos? Tengo dos objeciones contra la idea de que esto es as.
Antes que nada, qu sentido tiene decir que todos seguimos cierta regla
de inferencia? Un sentido podra ser que nosotros, deliberada y conscien
temente, aplicamos la regla como lo hace un estudiante en un ejercicio
de lgica. Ese sentido es demasiado literal y restrictivo; seguramente to
da la humanidad sigue las reglas de la lgica la mayor parte del tiempo,
mientras que slo una fraccin podra siquiera formularlas. Un segundo
sentido es que actuamos de acuerdo con las reglas en una forma que no
requiere deliberacin consciente. Esto no es tan fcil de precisar, puesto
que cada regla lgica es una regla de permiso (el m o d u s ponens le per
mite a uno inferir B a partir de A y (si A entonces S), pero en cambio
no le prohbe inferir (B o A)). Sin embargo, podramos decir que en ese
sentido una persona se comport de acuerdo con un conjunto de reglas
si cada conclusin que obtuvo pudiera ser alcanzada a partir de sus pre
misas por medio de aquellas reglas. Pero este significado es demasiado
11
The Inference to the Best Explanation, Philosophical Review, 74,1965, pgs. 8 8 95, y Knowledge, Inference and Explanation, American Philosophical Quarlerly, 5,1968,
pgs. 164-173. La posicin de Harman ha sido desarrollada en publicaciones subsecuentes
(Nos, 1967; Journal o f Philosophy, 1968; en M. Swain (comp.), nducion, 1970; en H.-N.
Castaeda (comp.), Action, Thought, and Reality, 1975; y en su libro Thought, cap. 10). Aqu
no considerar estos desarrollos ulteriores.
H es una mejor explicacin que H' (ceteris paribus) de E, con tal de que:
(a) P(H) > P(H') H tenga mayor probabilidad que H'
(b) P(E/H) > P ( E / H ') H otorgue mayor probabilidad a E que H '.
El uso de probabilidades iniciales o a priori en (a) ^ -la plausibilidad
inicial de las hiptesis mismas es tpica de los as llamados bayesianos.
Una prctica estadstica ms tradicional sugiere solamente el uso de (b). Pero
aun eso presupone que H y H ' otorgan a E probabilidades definidas. Si H' es
simplemente l negacin de H, esto no es generalmente el caso. (Imagnese
que H dice que la probabilidad de E es igual a | . L niximo que no H traer
como consecuencia es que la probabilidad de E sea algn nmero diferente
de y usalmente ni siquiera traer como consecuencia tanto como esto,
puesto que H tendr tambin otras implicaciones.)
Los bayesianos tienden a salir al paso de este problema de indisponibilidad de probabilidades formulando la hiptesis de que cada quien tiene
una probabilidad subjetiva especfica (grado de creencia) para cada propo
sicin qe puede formular. En ese caso, no importa lo que sean E, H, H'\
todas estas probabilidades estn realmente disponibles (n principio). Pero
ellos obtienen esta disponibilidad haciendo las probabilidades enteramente
subjetivas. No creo que los realistas cientficos deseen que sus conclusiones
giren alrededor de la plausibilidad inicial subjetivamente establecida de que
hay entidades inobservables; as que dudo que este tipo de jugada bayesiana
pueda ayudar aqu. (Este punto surgir de nuevo en una forma ms concreta
en conexin con un argumento de Hilary Putnam.)
He mantenido esta discusin en un nivel muy abstracto, pero los argu
mentos ms concretos de Sellars, Smart y Puriam sern examinados ms
adelante. Por lo menos debera estar claro que no My un argumento simple
y directo que vaya desde el sentido comn hasta lo inobservable. Seguir
meramente las pautas ordinarias de inferencia en la ciencia no nos hace a
todos nosotros obvia y automticamente realistas.
Sin embargo, Smart replicara sin duda que tal respuesta solamente hace
retroceder la cuestin un paso: qu explica la precisin de las predicciones
basadas en la teora de Copmico? Si digo que es la adecuacin emprica de
tal teora, nicamente doy una explicacin verbal. Pues Smart por supuesto,
no pretende limitar su pregunta a las predicciones reales; la pregunta abarca,
en ltima instancia, todas las predicciones y retrodiccines reales y posibles.
Para ponerlo muy concretamente: qu explica el hecho de que todos los
fenmenos planetarios observables encajan en la teora de Copmico (si lo
hacen)? Desde los debates medievales recordamos la respuesta nominalista
de que las regularidades bsicas son meramente regularidades en bruto y
no tienen explicacin. As que aqu el antirrealista, de maneta similar, debe
decir: que los fenmenos observables exhiban estas rgulatijds, a causa
de las cuales ellos encajan en la teora, es nicamente un hecho bruto y puede
tener o no una explicacin en trminos de hechos inobservadles ms all
de los fenmenos; ello realmente no afecta la virtud de la teora ni nuestra
comprensin del mundo.
La principal lnea de argumentacin de Smart se dirige exactamente ha
cia este punto. En el mismo captulo argumenta como sigue. Supngase
que tenemos una teora T que postula una microes truc tura directamente y
una macroestructura indirectamente. Las leyes estadsticas y aproximadas
acerca de los fenmenos macroscpicos quizs estn slo parcialmente des
cifradas; y en cualquier caso se derivan de las leyes precisas (deterministas
o estadsticas) acerca de las entidades bsicas. Ahora consideramos la teora
r , que es parte de T, y que afirma solamente lo que T dice acerca de los
fenmenos macroscpicos. (Cmo debera caracterizarse T ' es una cuestin
que dejar abierta, porque no afecta al argumento.) As, l contina;
Yo sugerira que el realista podra (decir) [ . . . ] que el xito de T' se explica
por el hecho de que la teora original T es verdadera acerca de las cosas sobre
las que ostensiblemente trata; en otras palabras, por el hecho de que realmente
hay electrones o cualquier cosa postulada por la teora T. Si no hubieran ta
les cosas, y si T no fuera verdadera en un sentido realista, no sera el xito
de T' totalmente inexplicable? Tendra que suponerse que hubo innumerables
accidentes afortunados alrededor del comportamiento mencionado en el vo
cabulario observacional, de tal manera que se comportaron milagrosamente
como si hubieran sido producidos a partir de cosas no existentes ostensible
mente mencionadas en el vocabulario torico.15
15 Ibid., pgs. 150 s.
,P().P(B)V
(d) De (a) y (c) se sigue que, si P(A) # 0 y P(B) ^ 0, entonces hay una
Correlacin positiva entre A y B exactamente si
P(A/B) > P(A),
y tambin si y slo si
P(B/A )> P(B)
Entonces, decir que hay una correlacin positiva entre el cncer y el elevado
consumo de cigarrillos, equivale a decir que la incidencia de cncer entre los
fumadores empedernidos es mayor de lo que es en la poblacin en general.
Pero debido a la simetra de A y B en (d), este enunciado por s mismo no
da razones para pensar que el hbito de fumar produce cncer, en vez de
que el cncer produce el hbito de fumar, o que ambos son producidos por
algn otro factor, o por otros diversos factores, si los hay.
Estamos hablando aqu de hechos relativos a un mismo tiempo. Busca
mos la causa en el pasado: fumar en exceso en un momento es seguido (con
cierta probabilidad) por fumar en exceso en un moipent ulterior, y tambin
por tener cncer en ese momento ulterior. Nosotros hemos encontrado
realmente, en este suceso pasado C, la causa comn de esta correlacin
presente si
.
P(A/B&C) = P(A/C)
(b) P(G/S) = l/ n
( P iF i-G i/Sy^
donde = significa si y slo si o cuando y exactamente cuando. En otras
palabras, es puramente azaroso s el estado hacia el cual transita S est
caracterizado por uno de los atributos de F , y similarmente para los atributos
de G, pero ciertamente es caracterizado por F\ si es caracterizado por G\,
por F2 si por G2, y as sucesivamente.
Si estamos convencidos de que ste es un fenmeno irreductiblemente
indeterminista, de manera que S es una descripcin completa del estado
20
El escrito de Einstein, Podolski y Rosen apareci en la Physical Revkw, 47, 1935,
pgs. 777-780; examino su experimento mental y la dispersin de Compton en la parte 1 de mi
artculo The Einstein-Podolski-Rosen Paradox, Synthese, 2 9 ,1974,1, pgs. 291-309. Un
elegante resultado general concerniente a la medida en que una "explicacin estadstica de
una correlacin a travs de una tercera variable requiere del deterninismo, es el lema bsico
del escrito de P. Suppes y M. Zanotti, On the Determinism of Hidden Variable Theories with
Striet Correlation and Conditional Statistical Independence of Observables, pgs. 445-455,
en P. Suppes (comp.), Logic and Probabity in Quantum Mechanics, Dordrecht, Reidel Pub.
Co., 1976. Este libro contiene asimismo una reimpresin del artculo precedente.
PC(&B)> PAAYPAB)
a la que se aplica el principio y para la cual se demanda una causa comn C'.
Esta regresin se detiene solamente si: o bien en algn punto la causa comn
mostrada satisface la ecuacin original (2) (lo qu nos lleva de regreso a
nuestra situacin original), o bien se usa nuevamente algn otro principio
para restringir la demanda de explicacin.
En cualquier baso, debilitar el principio d varias maneras (y ciertamen
te tendr que ser debilitado si es que se pretende qe pueda sr aceptable
en cualquier sentido) mermar la fuerza de ios argumentos realistas, ya
que cualquier debilitamiento es un acuerdo para dejar algunos tipos de co
incidencia csmica iexplicados. Pero esto es admitir que el punto de vista
nominalista/empirista se puede defender, pues la demanda de explicacin
deja de ser entonces un imperativo categrico cientfico.
No obstante, aqu hay un problema que debera enfrentarse. Sin lugar a
dudas, muchas empresas cientficas pueden caracterizarse como bsquedas
de causas comunes para explicar correlaciones. Qu puede decir ante ello
el antirrealista? No es una bsqueda de realidades explicativas ms all de
los fenmenos?
Creo que hay dos sentidos en los cuales un principio de causa comn es
operativo en la actividad cientfica, y ambos son perfectamente inteligibles
sin el realismo.
Para el antirrealista, toda actividad cientfica est finalmente orientada
hacia un mayor conocimiento de lo que es observable. De manera que puede
entender una bsqueda de causas comunes solamente si esa bsqueda ayuda
a la adquisicin de ese tipo de conocimiento. Pero seguramente lo hace!
Cuando el exceso en el fumar se postula como un factor causal del cncer,
ello sugiere una correlacin ulterior entre el cncer y la irritacin de los
pulmones, o la presencia en la corriente sangunea de qumicos tales como
la nicotina, o ambas. La postulacin estar justificada si las correlaciones
ulteriores sugeridas son de hecho encontradas; y si esto es as, habr con
tribuido en la bsqueda de correlaciones a mayor escala entre los sucesos
Wilfrid Sellare fue uno de los lderes del retomo al realismo en la filosofa
de la ciencia, y en sus escritos de las tres dcadas pasadas ha desarrollado un
realismo cientfico sistemtico y coherente. He examinado un buen nmero
de sus opiniones y argumentos en otros lugares, pero aqu me concentrar
en algunos aspectos que estn estrechamente relacionados con los argu
mentos de Smart, Reichenbach y Salmn recin analizados.22 Permtaseme
comenzar preparando el escenario de la manera en que Sellars lo hace.
Existe cierta imagen ultrasimplificada de la ciencia, la imagen de los
niveles, que impregna los escritos positivistas y que Sellars demoli exito
samente.23 En esa imagen, los hechos observables singulares (este cuervo
21 Hay otra va: si la correlacin entre A y B es conocida, pero slo dentro de lmites
inexactos, la postulacin de la causa comn C por una teora que especifica P (A /C ) y P(B/ C)
implicar entonces una velacin estadstica precisa entre A y B, la cual puede estar sujeta a
una experimentacin ulterior.
22 Vanse mi artculo Wilfrid Sellars on Scientific Realism", Dialogue, 14, 1975,
pgs- 606-616; W. Sellars, Is Scientific Realism Tenabie?, pgs. 307-334, en F. Suppe
y P. Asquith (comps.), PSA 1976, East Lansittg, Mich., Phosophy of Science Asociation,
1977, vol. u, pgs. 307-334; y mi On the Radical Incompleteness o f the Manifiest Image,
ibd., pgs. 335-343; y vase tambin la nota 1, antes.
23 W. Sellars, The Language o f Theories, en su libro Science, Perception, andReality,
Londres, Routledge and Kegan Paul, 1963.
otras cuestiones. Por esta razn propone un nuevo tratamiento: tomar tales
discusiones como
referentes no a una clase de entes o a una clase de trminos, sino a una clase
de proposiciones [. ..] Yo caracterizo el realismo como la creencia de que
las proposiciones de la clase en cuestin poseen un valor objetivo de verdad,
independientemente de los medios con que las conozcamos: son verdaderas o
falsas en virtud de una realidad que existe independientemente de nosotros. El
antirrealista opone a esta tesis la perspectiva segn la cual las proposiciones
de la clase en cuestin deben entenderse nicamente mediante la referencia al
tipo de cosa que consideramos como evidencia para una proposicin d esa
clase.33
El mismo Dummett advierte de inmediato que, en este sentido, los nomi
nalistas son realistas.34 Por ejemplo, si se dice que los entes abstractos no
existen, y los conjuntos son entes abstractos, en conclusin, los conjuntos
no existen. Por ello, ciertamente se acordar un valor de verdad a todos los
enunciados de la teora de conjuntos. Podra objetarse que si se adopta esta
posicin, entonces se tiene un procedimiento de decisin para determinar
los valores de verdad de estos enunciados (falso para los cuantificados existencialmente, verdadero para los universales, apliqense tablas de verdad
para el resto). Acaso lo anterior no significa que, segn esta teora, los
valores de verdad no son independientes de nuestro conocimiento? De nin
gn modo, porque quien sostiene esa teora claramente cree que si nosotros
no hubiramos existido, y no hubiramos a fortiori tenido ningn cono
cimiento, el estado de cosas con respecto a las entidades abstractas sera
el mismol
Acaso en su definicin Dummett nicamente estableci una condicin
necesaria para el realismo en aras de la generalidad? o lo creo. n dis
cusiones sobre la mecnica cuntica, encontramos el punto de vista de que
las partculas de la microf&ica son reales y obedecen los principios de la
teora, pero en cualquier tiempo t cuando la partcula x tiene exactamente
el mpetu [momentum] p " es entonces verdad que la partcula x tiene po
sicin q no es verdadera ni falsa. En cualquier sentido tradicional, sta es
una posicin realista con respecto a la mecnica cuntica.
33 Michael Dummett, Truth and Other Enigmas, Cambridge, Mass., Harvard niversity
Press, 1978, pg. 146 (vanse tambin las pgs. 358-361). [Versin en castellano: La verdad
y otros enigmas, trad. A. Herrera, Mxico, Fondo de Cultura Econmica, 1990.]
34 Dummett aade al pasaje citado que es consciente de que su caracterizacin no incluye
todas las disputas que menciona, y especficamente omite el nominalismo acerca de entidades
abstractas. No obstante, incluye el realismo cientfico como un ejemplo {op. cit., pgs. 146 s).
Richard Boyd), que tpicamente las teoras aceptadas en una ciencia madura
son aproximadamente verdaderas, que un mismo trmino puede referir a una
misma cosa aun cuando aparezca en teoras diferentes; estos enunciados son
considerados por el realista cientfico no comq verdades necesarias, sino co
mo parte de la nica explicacin cientfica del xito de la ciencia y, por tanto,
como parte de cualquier descripcin cientfica adecuada de la ciencia y de las
relaciones con sus objetos.3
37
Por supuesto, podemos preguntar especficamente por qu el ratn es una de las
sspecies sobrevivientes, cmo ste sobrevive y, sobre la base de cualquier teora cientfica
jue aceptemos, responder a esto en trminos de su cerebro y el medio. La cuestin anloga
para las teoras sera por qu, digamos, la frmula de Balmer para la lnea del espectro del
hidrgeno sobrevive como una hiptesis exitosa. En ese caso tambin explicamos por qu
el ensanchamiento de dichas lneas satisface la frmula sobre la base de la fsica que ahora
aceptamos. Tanto la pregunta como la respuesta son muy distintas de la pregunta global
acerca del xito de la ciencia y de la respuesta global del realismo. El realista puede ahora
hacer la objecin ulterior de que el antirrealista no puede responder la pregunta que se
refiere especficamente al ratn, ni tampoco la que se refiere a la frmula de Balmer, puesto
que la respuesta es en parte una afirmacin de que la teora cientfica, usada como base de la
explicacin, es verdadera. ste es un argumento completamente diferente, del que me ocupar
en el cap. 4, seccin 4, y en el cap. 5.
En sus publicaciones y conferencias ms recientes, Putnam ha trazado una distincin entre
dos doctrinas, el realismo metafsico y el realismo interno. Rechaza la primera e identifica
su realismo cientfico precedente dentro de la segunda doctrina. Si bien por el momento no
tengo un compromiso con ninguno de los dos bandos de la disputa metafsica, simpatizo
mucho con la crtica al platonismo en la filosofa de las matemticas que forma parte de
los argumentos de Putnam. Nuestro desacuerdo acerca del realismo cientfico (interno) sin
duda permanecer, toda vez que pongamos los pies sobre la tierra tras decidir un acuerdo o
desacuerdo en tomo al realismo cientfico, o aun en tomo a si la distincin tiene o no sentido.
Los argumentos realistas examinados hasta ahora fueron ante todo crticas
al positivismo lgico. Una buena parte de esta crtica fue correcta y exitosa;
a imagen positivista de la ciencia ya no es sostenible. Puesto que sta fcra
esencialmente la nica imagen de la ciencia al alcance de la filosofa, es
un imperativo desarrollar una nueva teora de la estructura de la ciencia.
Esta teora especialmente debera proporcionar una nueva respuesta a la
pregunta: qu es el contenido emprico de una teora cientfica?
1. MODELOS
,
.
;. --
El centro de gravedad del sistema solar tiene una velocidad absoluta w>.
'
La idea de que las teoras pueden tener virtudes ocultas que permiten su
extensin exitosa a nuevos tipos de fenmenos es demasiado hermosa como
para abandonarse. Si se desarrolla independientemente del ejemplo de la
seccin anterior, puede trivializar la equivalencia emprica. Tampoco es
una idea novedosa. En la primera leccin de su Course de philosophie
positive, Comte se refiri a la teora del calor de Fourier como aquella que
haca ver la falta de contenido en el debate entre los partidarios de la teora
de la materia calorfica y la teora cintica. Los ejemplos de equivalencia
emprica tienen esta tendencia lamentable hasta la fecha; pierden los de la
materia calorfica. Federico Enriques parece haber apuntado en la direccin
correcta cuando escribi; Las hiptesis que son indiferentes en la esfera
limitada de las teoras actuales adquieren significado desde el punto de vista
de sus extensiones posibles 8 Y esto sugiere que, despus de todo, teoras
distintas nunca pueden ser realmente empricamente equivalentes, porque
pueden diferir de manera significativa en sus extensiones.
Para evaluar esta sugerencia, tenemos que preguntamos qu es exacta
mente una extensin de una teora. Supongamos qe, como en la seccin
anterior, los experimentos sealan a la teora combinada 7W(0) ms (0).
En este caso, seguramente diramos que la mecnica ha sido extendida exi
tosamente al electromagnetismo. Qu es, pues, una extensin exitosa?
Haba modelos mecnicos de fenmenos electromagnticos; y tambin
de los fenmenos ms tradicionalmente sujetos a la mecnica. Lo que su
pusimos es que todas esas apariencias podran encontrar conjuntamente un
hogar en los movimientos de un modelo nico de ZW(0). Ciertamente, lo que
tenemos aqu es una extensin d TN(0), pero antes que nada tenemos una
victoria. Tenemos una extensin, ya que la clase de los modelos que pueden
representar a los fenmenos ha sido restringida a aquellos que satisfacen las
ecuaciones del electromagnetismo. Pero es una victoria para 7W(0) porque
simplemente corrobora la tesis de que 1W(0) es empricamente adecala:
todas las apariencias pueden identificarse con movimientos en uno de sus
modelos.
Tales extensiones victoriosas nunca pueden distinguir entre teoras emp
ricamente equivalentes en el sentido en que esta relacin fue descrita arriba,
puesto que tales teoras tienen exactamente los mismos recursos para mo
delar las apariencias. Se sigue lgicamente de la descripcin en cursivas d
8
H istorkal Development o f Logic, trad. J. Rosenthal, Nueva York, Heniy Holt and Co.,
1929, pg. 230.
la seccin 2 que, si una teora disfruta de tal victoria entonces todas las
otras teoras empricamente equivalentes a ella sern tambin victoriosas.
a As, si la idea de Enriques es correcta, tiene que haber otro tipo de ex
tensiones que no sean victorias. Supongamos que una teora se enfrenta
con nuevos fenmenos, y stos no son identifcables, ni siquiera a travs
de sus partes, como los movimientos de los modelos de esa teora. Debe
entonces esa vieja teora sufrir una derrota aplastante, y no tener otra espe
ranza que la de sobrevivir como correcta dentro de cierto lmite; como
la aproximacin a algn fragmento de cierta teora victoriosa? Parece que
hay una posibilidad intermedia entre la victoria y la derrota total. Las clases
de subestructuras llamadas movimientos, por ejemplo, pueden agrandarse;
digamos, a la clase de seudomovmientos. Y la teora puede debilitarse de
tal manera que sostenga nicamente que cada apariencia puede identificarse
con un seudomovimiento.
Esto sera una derrota, puesto que se ha abandonado la pretensin de que
la vieja teora es adecuada empricamente. Pero se le puede llamar todava
una extensin y no un reemplazo, ya que la clase de los modelos (las estruc
turas globales dentro de las cuales los movimientos y los seudomovimientos
se definen) no tiene miembros adicionales. Es, pues, una extensin que no
es una victoria, sino una derrota calificada.
No es fcil encontrar un ejemplo de este tipo de extensin en la esfera de
la mecnica, pero el siguiente ejemplo puede ser uno. Brian Ellis construy
una teora en la que no se postulan fuerzas, pero en la cual los movimien
tos disponibles son Jos mismos que en la teora de la mecnica newtoniana
con la adicin del postulado de la gravitacin universal,9 El efecto de la
atraccin gravitacional se incorpora audazmente en las ecuaciones bsicas
del movimiento de la teora de Ellis. Pero Ellis ha sealado que la teora de
Newton tiene cierta superioridad en tanto que, s el efecto de la gravitacin
Riera ligeramente diferente, entonces la teora de Newton podra corregirse
ms fcilmente que la suya. En otras palabras, si la teora de Newton resul
tara equivocada en sus predicciones astronmicas, habr una manera obvia
n la que podemos tratar de repararla sin tocar las ecuaciones bsicas del
movimiento.
Esto se puede interpretar como sigue: las dos teoras son empricamente
equivalentes, pero la de Newton permite ciertas extensiones obvias del se
gundo tipo. Para verlo de esta manera, uno tiene que considerar la ley G de la
9
Brian Ellis, The Origins and Nature of Newtons Laws of Motion, pgs. 29-68, en
R. Colodny (comp.), Beyond the Edge o f Certainty, Englewood Cliffs, N.J., Prenticc-Hall,
1965.
E .11 Ntese que la pregunta slo es interesante para los lgicos si se formula
como una pregunta acerca de la axiomatizabilidad en un vocabulario restrin
gido. Por supuesto, si T es axiomatizable y E s e especifica adecuadamente
en espaol, entonces T E es tambin axiomatizable. Pero los lgicos le da
ban importancia a las preguntas acerca de vocabularios restringidos, y esto
parece haber sido suficiente para que los filsofos las consideraran tambin
importantes.
Un problema ms filosfico fue aparentemente planteado por la distin
cin entre trminos tericos y trminos observacionales. Ciertamente, en
algn sentido, cada trmino cientfico est relacionado de una manera ms o
menos directa con la observacin. Cuando la distincin comenz a parecer
insostenible, aquellos que queran seguir trabajando con el esquema sintc
tico empezaron a dividir el vocabulario en trminos viejos y nuevos (o
introducidos recientemente).12
Pero todo esto est equivocado. El valor emprico de una, teora no puede
aislarse de esta manera sintctica, trazando entre los teoremas una distin
cin en trminos del vocabulario. Si se pudiera hacer tal cosa, T /E dira
exactamente lo mismo que T acerca de lo que es observable y cmo es,
y nada ms. Pero cualquier ente no observable difiere de los entes que s
lo son en que sistemticamente carece de caractersticas observables. En
tanto que no abandonemos la negacin, ser pues posible formular en el
vocabulario observaciona! (sin importar cmo se conciba) que hay entes no
observables y, hasta cierto punto, decir cmo son. La teora cuntica, en
la versin de Copenhague, implica que hay cosas que a veces tienen una
posicin en el espacio, y otras veces no. sta es una consecuencia que he
formulado sin utilizar un solo trmino terico. La teora de Newton implica
que hay algo (el espacio absoluto) que ni tiene una posicin ni ocupa un vo
lumen. Tales consecuencias, por ms que extendamos nuestra imaginacin,
no versan sobre lo que hay en el mundo observable ni tampoco sobre cmo
son las cosas observables. La teora reducida T E no es una descripcin
11 Consigno el resultado de Craig de la manera en que se utiliza principalmente en las
discusiones filosficas; el resultado es ms general y no necesita apoyarse en una divisin
de vocabulario. La bibliografa sobre este tema es amplia, pero basta consultar la exposicin de
sus falacias hecha por C.A. Hooker, Craigian Transcriptionism, American Philosophical
Quarlerly, 5, 1968, pgs. 152-163, y Five Aiguments Against Craigian Transcriptionism,
Auslralasian Journal o f Philosophy, 46,1968, pgs. 265-276.
12 Por ejemplo, David Lewis, How to define Theoretkal Terms, Journal o f Philosophy,
67,1970, pgs. 427-446. Este escrito es un ejemplo del empleo del esquema sintctico, pero
no est sujeto a mis otras crticas. Por el contrario, ledo correctamente, proporciona razones
independientes para la conclusin de que el valor emprico de una teora no puede aislarse
sintcticamente.
de una parte del mundo descrito por T; oras bien, T /E es, de una manera
distorsionada y dificultosa, la descripcin que T hace de todo.
Por ello, en el enfoque sintctico, la distincin e n te verdad y adecuacin
emprica se reduce a algo trivial o absurdo, y es difcil decir si lo uno o lo
otro. Lo mismo vale para la equivalencia emprica. Recordemos que en la
seccin 2 vimos que TN(0) y T N E deben ser empricamente equivalentes,
pues esta ltima deca que TN(0) es empricamente adecuada. Pero la pri
mera afirmaba que hay algo (el espacio absoluto) que es diferente de toda
apariencia puesto que carece incluso de las caractersticas mnimas que to
das las apariencias comparten. As, TN(0)/E no es lo mismo que T N E / E ;
y por lo tanto, en el enfoque sintctico, estas teoras no son empricamente
equivalentes despus de todo.
Los filsofos parecen haberse molestado ms por los sentidos en que la
definicin sintctica de equivalencia emprica podra ser demasiado amplia.
Se hizo ver que muchas teoras, T son tales que TE s tautolgica, o casi.
Tales teoras presumiblemente derivan s valor emprico de las consecuen
cias que tienen cuando se unen con otras teoras o hiptesis empricas. Pero
en este caso, T / E y T ' / E pueden ser iguales, aun si T y V son acerca de
dos temas totalmente diferentes.
Para eliminar esta perplejidad, se consideraron extensiones de teoras.13
Con un saludo repetuoso para Enriques, podemos nuevamente estipular que
T y V son empricamente equivalentes si y slo si lo son sus extensiones
axiomticas, esto es, si para cada teora T", (T ms T " ) /E es la misma que
(r ms r")/:.
7. EL CRCULO HERMENUTICO
cierta cantidad, que toma el valor uno si hay una molcula aqu y el valor
cero si no la hay, toma el valor uno. Hay muy poca diferencia entre decir
que un ser humano es un buen detector de molculas y decir que es un buen
detector de la presencia de molculas. Cualquiera de estas clasificaciones
de lo que pasa puede ser correcta en relacin con una teora dada y aceptada.
Si seguimos los principios de la teora general de la medicin utilizada en
las discusiones de los fundamentos de la mecnica cuntica, llamamos a un
sistema Y un aparato de medicin para una cantidad A exactamente si Y
tiene cierto estado posible (el estado base) tal que si Y est en ese estado
y es acoplado con. otro sistema X en cualquiera de sus posibles estados,
la evolucin del sistema compuesto (X ms Y) est sujeto a una ley de
interaccin que correlaciona los valores de A en X con valores distintos
de cierta cantidad t (corrientemente denominada el indicador del dial de
medicin) en el sistema Y. Puesto que la observacin es una subespecie
especial de la medicin, sta es una buena imagen que puede servimos como
gua parcial.
'
La ciencia presenta una imagen del mundo que es ms rica en contenido
de lo que el ojo desnudo es capaz de discernir. Pero la ciencia misma nos
ensea que incluso es ms rica de lo que el ojo desnudo puede discernir.
Pues la misma ciencia esboza, por lo menos hasta cierto punto, las partes
observables del mundo que describe. Las interacciones de medicin son una
subclase especial (te las interacciones fsicas en general. Las estructuras de
finibles a partir de los datos de medicin son una subclase de las estructuras
fsicas descritas, p e esta manera, la ,ciencia misma distingue lo observable
que postula del todo que postula. En tanto que, esta distincin es en parte
funcin de los lmites que la ciencia descubre en la observacin humana,
es una distincin antropocntrica. Pero puesto que la ciencia sita a los
observadores humanos entre los sistemas fsicos que se propone describir,
se asigna a s misma la tarea de describir distinciones antropocntricas. De
esta manera, en la imagen cientfica del mundo, incluso el realista cientfico
debe observar la distincin entre los fenmenos y el mundo ms all de los
fenmenos.
1 8. LMITES DE LA DESCRIPCIN EMPRICA
debido a estos lmites. Puesto que la teora fsica no puede traducirse, sin
residuos, en un cuerpo de enunciados que describan nicamente cmo son
los fenmenos observables, estos argumentos sealan que el empirismo no
puede hacerle justicia a la ciencia. Yo acepto la premisa, desde luego, y es
ms, quiero reforzarla aqu por medio de una formulacin ms precisa de
los lmites de la descripcin emprica y de algunos ejemplos.
Antes de procurar mayor precisin, examinemos el ejemplo clsico de
la subdeterminacin que puede desprenderse a partir de estudios en los
fundamentos de la mecnica clsica. En el contexto de esta teora (y puede
argirse que en toda la fsica clsica), las mediciones son reductibles a
una serie de mediciones de tiempo y posicin. Por ello, denominaremos
observables bsicos a todas aquellas cantidades observables que son una
funcin del tiempo y de la posicin nicamente. stas incluyen la velocidad
y la aceleracin, distancias relativas y ngulos de separacin todas las
cantidades usadas, por ejemplo, en informes astronmicos n la mecnica
celeste. No incluyen la masa, la fuerza, el momento ni la energa cintica.
Hasta cierto punto, y en muchos casos, estas otras cantidades pueden
calcularse a partir de las cantidades observables bsicas. A s surgieron gran
parte de las definiciones propuestas de fuerza y masa en el siglo xix, y las
teoras axiomticas actuales en las que la masa no es una cantidad primiti
va.14 Pero como Patrick Suppes ha recalcado, si postulamos, como lo hizo
Newton, que cada cuerpo tiene una masa, entonces la masa no es definible
en trminos de los observables bsicos (ni siquiera si agregamos la fuer
za).15, Pues consideremos, como el ejemplo ms simple, un modelo de la
mecnica en el que una partcula dada tiene una velocidad constante a lo
largo de toda su existencia. Deducimos, dentro de la teora, que la fuerza
total sobre ella es siempre cero. Pero cada valor de su masa es compatible
con esta informacin.
Qu sucede entonces con esas definiciones de la masa? El ncleo de
verdad en ellas es que la masa es accesible experimentalmente, esto es, que
hay situaciones en las que la informacin acerca de los observables bsicos,
14 Vanse los caps. 8 y 9 de Max Jammer Concepts ofMass, Cambridge, Mass., Harvard
niversity Press, 1961. De especial inters es el trabajo de Pendse (presentado en las pgs. 9 8 100) dedicado a delimitar en qu medida exacta la masa es determinable a partir de otras
cantidades.
15 Inlroduction toLogic, Princelon, Van Nostrand, 1957, pg. 298. [Versin en castellano:
Introduccin a la lgica simblica, trad. G. Aguirre, Mxico, Continental, 1957.] Vase
adems la discusin que sostuvimos Bressan, Suppes y yo mismo en el simposio sobre
conceptos modales en ciencia, en K.F. Schaffher y R.S. Cohn (comps.), PSA1972, Dordrecht,
Reidel, 1974, pgs. 285-330.
ihs las hiptesis acerca de las fuerzas y las leyes de Newton, nos permiten
Calcular la masa. Lo que tenemos es un contrafctico: si dos cuerpos tienen
goifsas diferentes, y fueran puestos cerca de un tercer cuerpo, exhibiran
aceleraciones diferentes. Pero como lo muestra el ejemplo, hay modelos de
|a mecnica esto es, mundos posibles admitidos por la teora en los
que una especificacin completa de las cantidades bsicas observables no
es suficiente para determinar los valores de todas las otras cantidades. De
modo que los mismos fenmenos observables encajan igualmente en ms
de; un modelo distinto de la teora. (Recurdese que la adecuacin emprica
se refiere a los fenmenos que realmente suceden; a lo que pasa, y no a lo
que podra pasar en otras circunstancias.)
Mencion brevemente las teoras axiomticas de la mecnica desarro
lladas en este siglo. Hay en ellas diferentes tratamientos de la masa. En la
teora de McKinsey, Sugar y Suppes, y pienso que en la del mismo Newton,
cada cuerpo tiene una masa. Pero en la teora de Kermes, la razn de las
masas se define d tal manera que, si un cuerpo nunca choca con otro, no
hay un nmero que sea la razn de la masa de ese cuerpo con relacin a la
de cualquier otro cuerpo. En l teora de Simn, si un cuerpo X nunca se
acelera, el trmino la masa de X no se define. En la teora de Mackey, a dos
cuerpos cualesquiera que nunca se aceleran se les asigna arbitrariamente la
misma masa.16
Qu explica esta divergencia y la conviccin de los autores de que han
axiomatizado la mecnica clsica? Pues bien, puede demostrarse que las
teoras que han desarrollado son empnipamente equivalentes exactamente
en el sentido que he dado ese trmino. Por lo tanto, desde el punto de
vista de la adecuacin emprica son, en efecto, equivalentes. La tesis del
empirismo constructivo, segn la cual lo que importa en la ciencia es la
adecuacin emprica, y no las cuestiones de verdad que van ms all de
esta adecuacin, explica este captulo en los fundamentos de la mecnica
clsica.
En la mecnica cuntica podemos encontrar un ejemplo igualmente sim
ple e interesante. Antes debo hacer algunos comentarios preliminares. Los
estados se representan con vectores en un espacio de Hilbert, y con esos
vectores se pueden ejecutar operaciones matemticas simples. Para calcular
la probabilidad de un resultado de medicin, la teora indica que proceda
mos como sigue. Primero representamos el estado del sistema por medio
de uno de dichos vectores en el espacio de Hilbert. Luego multiplicamos
16
Acerca de Mackcy, vanse Jaramcr, op. cit., cap. 9; y G.W. Mackey, TheMathematkal
Faundations o f Quantum Mechantes, Nueva York, Benjamn, 1973, pgs. 1-4.
este vector por un escalar positivo, de tal manera que el resultado Sea un
nuevo vector exactamente como el primero, slo que de una unidad de largo,
A continuacin expresamos este vector unitario'^6 en trminos de una fami
lia de vectores (vectores propios) especialmente asociados con la magnitud
fsica que estamos midiendo, de la siguiente form:
tjj =
+ . . . C1)
+. . .
Vector que representa el mismo estado fsico que el vector original. Sin em
bargo, ha habido un gran debate sobre este caso en la literatura, y esa manera
decir que, puesto que los dos son estados entre los que no hay una diferencia
fsica, realmente no hay subdeterminacin. Porque si los sistemas en estos
dos estados estuvieran sujetos a una interaccin con un tercer tipo espe
cial de sistema, los resultados seran diferentes. (Esto guarda analoga con
el asunto de las masas de cuerpos que de hecho no estn acelerados la
diferencia fsica surge en las aserciones contrafcticas que basamos en lo
que dice la teora acerca de lo que pasara en condiciones diferentes de las
reales.) Pero aqu me estoy adentrando en cuestiones que son muy amplias
y complejas, y es muy difcil decir algo que sea a la vez simple y no genere
controversias.
Con respecto a la teora de la relatividad general, hay dos estudios de
Clark Glymour que muestran claramente los lmites de la observacin. El
primero da por supuesto razonablemente que la medicin revela slo los
valores de cantidades locales y muestra, a partir de esto, que la medicin
no puede determinar una estructura global nica del espacio-tiempo.19 El
segundo estudio llega a la misma conclusin a partir de la aceptacin de
que cualquier estructura observada debe estar localizada en el cono del
pasado absoluto de algn punto del espacio-tiempo.20 Pero es sin duda la
misma teora de la relatividad la que nos impone estas suposiciones, pues
nos obliga a localizar a los observadores en el espacio-tiempo y restringe la
informacin que les puede llegar.
En esta seccin he tratado de dar ejemplos, muy bsicos y generales
acerca de cmo, en la descripcin del mundo de una teora fsica, podemos
ver una divisin entre esa descripcin tomada como un todo y la parte que
pertenece a lo que; est determinado observacionalmente. Las limitaciones
exhibidas estn profundamente enraizadas en las teoras en cuestin, y no
se relacionan meramente con aquellas limitaciones accidentales, como
los umbrales de la percepcin y la energa humanamente disponible. Los
realistas son por lo general un poco ambiguos en sus sentimientos con
respecto a estas limitaciones. Por un lado quieren subrayarlas y decir qu,
como consecuencia, hay mucho ms en el mundo descrito por la fsica que lo
cap. 1 de FJ. Belinfante, Measurement and Time Reversal in Objective Quantum Mechantes,
Nueva York, Pergamon Press, 1976.
19 C. Glymour, Cosmology, Convention, and the Closed Unlverse, Synthese, 24,1972,
pgs. 195-218; analizado en mi texto Barman onthe Causal Theory of Time, ibd.,pgs. 8 7 95. (El artculo publicado por Glymour es esencialmente el mismo que el no publicado al
cual hago referencia.)
20 C, Glymour, Indistinguishable Space-Tirnes and the Fundamental Group, en J. Earman, C. Glymour y I. Stachel (comps.), Minnesota Studies in the Philosophy o f Science, 8,
Minneapolis, University o f Minnesota, 1977.
que suea la filosofa empirista. Por otro lado, quieren restarle importancia
a la subdeterminacin, arguyendo que cualquier definicin precisa de la
adecuacin y de la equivalencia emprica llevara a la conclusin de que una
teora fsica es completamente adecuada slo si es verdadera. Mi opinin
es que, en efecto, las teoras fsicas describen mucho ms de lo que es
observable, pero que lo importante es la adecuacin emprica, y no la verdad
o falsedad de lo que dicen ms all de los fenmenos observables. Y la
definicin precisa de adecuacin emprica, puesto que relaciona la teora
con los fenmenos reales (y no con algo que podra pasar si el mundo
fuera diferente, aserciones que segn yo no tienen base fctica, sino que
nicamente reflejan las teoras de fondo con las que. operamos), no se reduce
a la nocin de verdad.
9. UNA NUEVA IMAGEN DE LAS TEORAS
Los filsofos, impresionados por los logros de la lgica y los estudios sobre
los fundamentos de las matemticas al principio de este siglo, empeza
ron a pensar en las teoras con una orientacin lingstica Para presentar
una teora se especifica un lenguaje preciso, un conjunto de axiomas y un
diccionario parcial que relaciona la jerga de la teora con los fenmenos
observados que se reportan. Todos saban que sta no era una imagen muy
fiel de cmo los cientficos presentan las teoras, pero sostuvieron que era
un instantnea lgica, idealizada exactamente d Ta misma manera en que
los puntos de masa y los planos sin friccin idealizan los fenmenos me
cnicos. No hay duda de que esta instantnea lgica fue muy til para
la discusin filosfica de la ciencia, que haba algo de eso, que aclaraba
algunos problemas centrales. Pero tambin logr confundimos.
Una imagen es slo una imagen, algo que gua la imaginacin conforme
avanzamos. He propuesto una nueva imagen, sin mucho fondo todava, para
guiamos en la discusin de las caractersticas ms generales de las teoras
cientficas. Presentar una teora es especificar una familia de estructuras, sus
modelos; y en segundo lugar, especificar ciertas partes de esos modelos (las
subestructuras empricas) como candidatos para la representacin directa
de los fenmenos observables. Podemos llamar apariencias a las estructuras
que pueden describirse en los informes experimentales y de medicin. La
teora es empricamente adecuada si tiene algn modelo tal que todas las
apariencias son isomrficas con las subestructuras empricas de ese modelo.
Por supuesto, no soy el primero en proponer esta imagen: puede verse en
accin en los trabajos de Wojcicki y Przelewski en Polonia, Dalla Chiara y
Axioma III Los valores posibles de un observable son los valores propios
de su operador correspondiente.
Axioma IV l valor esperado de un observable A en un estado W es
igual a la traza Tr(AW).
Pensar que la teora se presenta aqu axiomticamente, en el sentido en que
Hilbert present la geometra euclidiana o Peano la aritmtica, sencillamen
te me parece un error.
Estos axiomas son ms bien una descripcin de los modelos de la teora
y una especificacin de cules son las subestructuras empricas. Los que he
dado son, por supuesto, nada ms el principio de la teora cuntica. Como
un siguiente paso, por ejemplo, habra principios que diran qu operador
representa la energa o el mpetu, o cmo dos operadores que representan
dos cantidades observables (tales como la posicin y el momento) se re
lacionan una con otra. En este desarrollo posterior no hay a priori nada
que sea correcto o incorrecto; la teora puede continuarse exitosamente si
podemos encontrar algn operador hermitiano para representar la energa,
y as sucesivamente.
Cuando Patrick Suppes empez a proponer esta imagen de las teoras en
sus estudios de mecnica (con la consigna de que la filosofa de la ciencia
debera usar matemticas y no metamatemticas), lo que estaba proponien
do era una forma cannica para la formulacin de teoras. Esto haca uso
de la teora de conjuntos. Para presentar la mecnica clsica, por ejemplo,
dara la definicin: Un sistema de la mecnica clsica es una estructura
matemtica del siguiente tipo... donde los puntos suspensivos se susti
tuyen por un predicado conjuntista. Si bien no quiero favorecer ninguna
presentacin matemtica como la presentacin cannica, claramente sigo
aqu su concepcin general de cmo, por ejemplo, ha de identificarse la
teora de la mecnica clsica.
Examinando la formulacin de Suppes, es fcil discutir dos puntos que,
de otra manera, podran ser muy problemticos. Cmo podra la mecnica
clsica, por ejemplo, tener un modelo en el que todos los fenmenos puedan
encajar,,cuando la teora ni siquiera menciona la electricidad? La respuesta
es que una estructura matemtica podra ser un sistema de esto o aquello y
tambin tener una buena parte de estructura que no entre en la descripcin
de ese tipo de sistema. Para que sea un sistema de la mecnica, por ejemplo,
debe tener un conjunto de entes y adems una funcin que le asigna a cada
uno de estos entes una velocidad en cada instante. Bueno, tambin podra
tener una funcin que asignara a cada uno de estos entes una carga elctrica;
seguira siendo un sistema de la mecnica, a la vez que un sistema de la
22
Vanse Stanley Gudder, Hidden Variables in Quantum Mechantes Reconsidered,
Review ofModern Physics, 40, 1968, pgs. 229-231; y seccin m de mi escrito Semantic
Anaiysis o f Quantum Logic, pgs. 80-113, en C. A. Hooker (comp.), Contemporary Research
in the Foundations and Phosophy o f Quantum Theory, Dordiecht, Reidel, 1973; y Belinfante,
op. cit. (nota 10, antes).
grado explica cada una de ellas los datos disponibles. No estoy seguro de
que esta evaluacin vaya siempre a decidir la cuestin, pero puede ser de
finitiva, en cuyo caso elegiremos aceptar aquella teora que sea la mejor
explicacin. Pero quiero agregar que la decisin de aceptar es una decisin
de aceptar en tanto que empricamente adecuada. La nueva creencia que
se forma no es que la teora sea verdadera (ni que proporcione una imagen
verdadera de lo que hay y de lo que sucede, adems de informacin nu
mrica aproximadamente verdadera), sino que la teora es empricamente
adecuada. En el caso de una hiptesis, la creencia que se forma es que la
teora que resulta al aadir la hiptesis a aquella que ya hemos aceptado
es empricamente adecuada.2
.v Cuando la hiptesis es slo acerca de lo que es observable, los dos pro
cedimientos son equivalentes, pues en este caso la adecuacin emprica
coincide con la verdad. Pero, evidentemente, este procedimiento nos lleva a
conclusiones acerca de cmo son los fenmenos observables, que van ms
all de los datos disponibles. Por ejemplo, cualesquiera que fueran esos da
tos, se refieren a lo que ya ha pasado, mientras que la tesis de la adecuacin
emprica se refiere tambin al futuro.
En este punto podra objetarse que he trazado un lnea divisoria arbitra
ria. Seguramente, los objetos y los procesos observables que reconocemos
en nuestro mundo son tambin entidades postuladas. Acaso no creemos en
ellas porque explican y sistematizan de la mejor manera la experiencia sen
sible o la serie de datos de los sentidos que estn en el fondo de los nicos
datos reales que tenemos? No deberamos ser igualmente reticentes a la
postulacin de mesas y rboles, como a la de fuerzas, de campos y del es
pacio absoluto, a menos que tengamos alguna manera de demostrar que son
esencialmente diferentes en un sentido pertinente?
Menciono esta objecin porque la he odo; pero me asombra, puesto que
los filsofos dedicaron las primeras cinco dcadas de este siglo a refutar
las presuposiciones que estn detrs de ella. De hecho, todas las escuelas
2
La posicin aqu desarrollada est claramente reida con la que suele llamarse jbayesianismo, y asociada con la interpretacin subjetivista de la filosofa de de Finetti, tal y
como ha sido expuesta, por ejemplo, por Richard Jeffrey. Sobre la cuestin de la aceptacin
de hiptesis como un procedimiento racional ejemplificado realmente en la ciencia, estoy
ampliamente de acuerdo con realistas tales como Clark Glymour y Ronaid Giere. Esto no
quiere decir que el bayesianismo no pudiera estar integrado consistemente con el empirismo
constructivo. Ntese que, de manera semejant, Glymour no niega que un realista pudiera usar
una epistemologa bayesiana para dar sentido a la metodologa cientfica; pero l, despus de
todo, aade que tanto los osos como las bailarinas saben bailar (Theory and Evidence, por
salir).
Sea cual fuere el ncleo de verdad en esa imagen (y seguramente tie algo de verdad), contrasta marcadamente con la actividad que Kuhn ha
llamado la ciencia normal, e incluso con mucho de lo que es revolucio
nario. Los cientficos buscan descubrir hechos acerca del mundo: acerca
de las regularidades de la parte observable del mundo. Para descubrirlas se
requiere de la experimentacin, en oposicin a la razn y a la reflexin. Pe
ro estas regularidades son excesivamente sutiles y complejas, por lo que el
diseo experimental es excesivamente difcil. De all surgen la necesidad de
construir teoras y la necesidad de recurrir a teoras previamente construidas
Cmo guas de la investigacin experimental.
Como ya Duhem lo subray, la misma bsqueda de nuevas y ms profun
das regularidades se hace en un lenguaje terico. En la siguiente subseccin
describir el experimento por medio 1 cual MiUikan midi la carga elc
trica elemental (de la que toda carga elctrica es un mltiplo). No puede
negarse, supongo, que su resultado respondi muchas preguntas acerca de
las regularidades en los fenmenos observables de la electricidad. La teora
ingresa de dos maneras. La primera consiste en que la forma que toma su
respuesta es la forma de un enunciado terico: est llenando los espacios
en blanco de una teora en desarrollo. La segunda concierne al papel de la
teora ya aceptada en el diseo de su aparato. Es esta segunda funcin la que
ahora estoy acentuando: un papel que, como ya dije, hace que la teora tenga
valor para el cientfico en accin. La pregunta era: cul es la carga elc
trica elemental? La razn por la que el cientfico recurre una teora es que
antes debe obtener una respuesta para l pregunta previa cmo podemos
determinar experimentalmente la carga elctrica elemental?
Si lo anterior es correcto, entonces el desarrollo ntimamente relacio
nado de la teora y del experimento es inteligible desde un punto de vista
empirista. En la construccin de teoras, la experimentacin tiene una signi
ficacin doble: probar la adecuacin emprica de la teora, en tanto ha sido
desarrollada hasta ahora, y llenar los espacios en blanco, esto es, ser la gua
para proseguir o culminar la construccin de la teora. De manera similar,
la teora tiene una doble significacin con respecto a la experimentacin:
formular las preguntas que han de responderse de un modo sistemtico y su
cinto,y como uno de los factores gua en el diseo de los experimentos para
responder a estas preguntas.3 En relacin con todo esto podemos sostener
3
El papel de la teora en la contrastacin y, por tanto, en el diseo experimental es,
por supuest, un tema bastante complejo. Ha sido explorado, de la manera ms interesante
y completa hasta ahora, en el acercamiento de Glymour a la relacin entre la teora y la
evidencia, desarrollado en su artculo "Relevant Evidence, Journal o f Philosophy, 62,1975,
sos en que una teora afirma que debe haber alguna entidad o valor que sa
tisfaga ciertas condiciones, y los cientficos experimentales descubren cul
es. La teora de Darwin implicaba que debera haber eslabones perdidos,
yj sin embargo poda decir muy poco acerca de ellos. La bsqueda del es
labn perdido, una vez que fue emprendida tan vidamente por el pblico
en general, condujo a muchos descubrimientos que fueron sorprendentes,
pero satisfactoriamente de acuerdo con la teora: el hombre de Java y el de
Pekn, por no mencionar al hombre de FUtdowq.
Los eslabones perdidos de la teora biolgica son, por supuesto, entidades
observables, de modo que tenemos en parte una contestacin de las preten
siones de adecuacin emprica. Dicha historia no se ajustara a ninguno de
s modelos de Darwin, a menos de que tales eslabones existiesen. Pero los
descubrimientos arrojaron mucha informacin nueva que se incluy en los
textos posteriores. Cuando en fsica tenemos uri descubrimiento paralelo
-^ e l electrn, el protn, la magnitud de la carga del electrn igualmente
Obtenemos nueva informacin que la teora no implicaba de antemano. sta
s, en parte, informacin acerca de cmo son las entidades inobservabas;
pero seguramente, a menos ique existan, podra haber alguna informacin
acerca de ellas?
La respuesta a esta objecin consiste en adoptar una postura meramente
funcional sobre lo que ocurre. La fsica atmica se fue desarrollando lenta
mente como una teora, y en cada etapa quedaron en ella muchos espacios
en blanco. En vez de llenar esos espacios con una respuesta conjeturada,
como hiptesis, para despus ponerla a prueba, se lleva a cabo un experi
mento que muestre cmo han de ser llenados los espacios en blanco si es
que la teora aspira a ser empricamente adecuada. Entonces se completa,
y la construccin terica ha dado un paso ms hacia adelante, y pronto hay
nuevas consecuencias para ser contrastadas y nuevos espacios en blanco
que llenar. sta es la manera en que la experimentacin gua el proceso de
construccin terica, mientras que al mismo tiempo la parte de la teora que
ya haba sido construida gua el diseo de los experimentos que, a su vez,
guiarn su continuacin.
Entre 1907 y 1911, Robert Millikan dise una nueva aproximacin
experimental para la medicin de la carga del electrn. En tanto que el
xito de sus experimentos para determinar un nico valor de esta carga es
simultneamente una prueba de la teora que dice que esa carga elctrica
elemental existe, no era sorprendente en aquel tiempo que una prueba como
tal corroborara dicha teora. Lo que hizo famosos sus experimentos fue
que determinaron con precisin y sin ambigedad un nico valor para esa
cantidad, cuyo valor era tericamente una cuestin abierta.
La parte principal del aparato era una cmara circular cuyo piso y cubierta
eran dos lminas de metal de 22 cm de dimetro, y cuya pared era una franja
delgada de bano de 16 mm de altara con tres ventanas de vidrio. Un rayo
de luz poda entrar a travs de una ventana y salir por la otra, mientras
que la tercera se usaba para observar. Finas gotitas de aceite podan entrar
en la cmara desde arriba, y debido a la accin combinada de la gravedad y
la resistencia del aire, caan hacia la lmina inferior a velocidad constante.
Cuando el rayo de luz se encenda, poda observarse una de esas gotitas con
la apariencia de una estrella luminosa sobre un fondo negro.
Las lminas de metal se conectaron a una batera y a un dispositivo de
encendido que poda eihplarse para crear un campo electromagntico con
una potencia entre 3000 y 8000 voltios por centmetro en medio de las l
minas. (n este punto, utilizo la terminologa de la eora de la electricidad
ya bien establecida acerca del macronivel, para describir lo que ocurre. La
verificacin de que se ha creado el campo consiste simplemente en leer el
voltmetro.) Cuando el campo estaba activado, algunas gotitas suban en
contra de a gravedad hacia la lmina superior. AI ocasionar un corto cir
cuito justo antes de que la gotita golpeara la cubierta, el efecto desapareca,
y la gotita caa de nuevo. Repitiendo este procedimiento, se observ una de
esas gotitas durante un periodo de cuatro horas y media.
La teora de fondo indicaba que era de esperarse que algunas gotitas
subieran cuando el campo estaba encendido, puesto que algunas de ellas
recibiran naturalmente una carga debido a la friccin. La teora tambin
seala que podra haber variaciones en la velocidad de ascenso, e incluso
que algunas de esas velocidades seran iguales a cero algunas veces (la
gotita quedara suspendida en un punto). Esto se debe que, segn la teora
de fondo, la gotita puede atrapar un ion de entre aquellos que normalmente
existen en el aire. Hasta aqu, el experimento corrobora las consecuencias
observacionales de la teora, lo que significa que encaja bien en varios de
los modelos que esta ltima ofrece, puesto que todas estas variaciones se
observan en algunas gotitas.
Pero ahora podemos emplear adems la parte establecida de la teora y
las observaciones de la velocidad de ascenso para calcular las cargas de las
gotitas. La masa aparente de la gotita es igual a la diferencia entre la masa
efectiva y la fluctuacin del aire: llammosla m. Sea su carga en un tiempo
dado e, su velocidad bajo la gravedad v, y su velocidad cuando el cam
po elctrico F est activado
las relaciones entre estas cantidades estn
dadas por la ecuacin:
V _
mg
w
Fe - mg
Puesto que todas se conocen, excepto e, podemos calcularla.
No es sorprendente que Boyd encuentre que (1), tal como se presenta, sea
trivialmente falsa (considrense las teoras que carecen totalmente de predi
cados observacionales, o cuyas consecuencias observacionales son tautol
gicas). As que, para ser discutida, (1) debe ser corregida caracterizando la
relacin de equivalencia emprica de alguna manera ms satisfactoria. Boyd
propone tres correcciones, cada una de las cuales es tambin absurdamente
insatisfactoria, y concluye que (1) es insostenible.
Ninguna de las caracterizaciones de equivalencia emprica entre las teo
ras que Boyd examina es en absoluto parecida a la que yo he propuesto en
estas pginas. En su lugar, l utiliza caracterizaciones lgicas o sintcticas
del tipo que juzgamos deficiente en la perspectiva positivista. Cualesquiera
que sean los mritos de (1), si se entiende con el significado siguiente: "dos
teoras equivalentes cualesquiera son igualmente apoyadas o contravenidas
por la evidencia en el sentido que yo dara a esos trminos, ninguno de los
argumentos de Boyd contra ella son eficaces.
Boyd da por hecho que todos los filsofos aceptan el segundo principio:
(2) Supngase que algn principio de la metodologa cientfica contribuye a
la fiabilidad de esa metodologa n el sentido mnimo siguiente: su puesta
en operacin contribuye a la posibilidad de que las consecuencias observa
cionales de las teoras cientficas aceptadas sean verdaderas (por lo menos
Debemos admitir que sta es una explicacin: que se cree que las teoras
colaterales son verdaderas. Pero Boyd necesita establecer no solamente que,
como realista, puede explicar lo que est sucediendo, sino tambin que no
son factibles explicaciones rivales.
Veamos entonces, por consideracin a Boyd, cmo un empirista puede
hacer inteligible esta metodologa. En los ejemplos anteriores, las teoras
colaterales sugeran formas en las que la funcin que gobierna la disminu
cin de la poblacin, en trminos de dosis de la droga y tiempo transcurrido,
pueden revelarse como observacionalmente falsas. El argumento de Boyd,
no cabe duda, es que la manera en que esas teoras sugirieron esas conse
cuencias se debi a que propusieron mecanismos subyacentes alternativos
que no son directamente observables.
Yo lo planteara como sigue: los modelos de L son muy simples, y la
reflexin sobre los modelos de las teoras colaterales ndica algunas mane
ras en que los modelos de L podran ser alterados de diversas formas. La
adecuacin emprica de L exige que los fenmenos (el tamao de la pobla
cin bacteriana y su variacin) puedan encajar en algunos de sus modelos.
Ciertos fenmenos encajan en los modelos alterados sealados y no en los
modelos de L tal y como estn planteados. Por lo tanto, se idear una con
tras tacin que favorezca a L (o no la favorezca) frente a una de aquellas
alternativas contempladas, Pero es fcil ver que lo que tal contrastacin ha
r es hablar a favor (o en contra) de la adecuacin emprica de L en aquellos
aspectos en que difiere de las otras alternativas.
_
La discusin de los mecanismos causales puede interpretarse entonces
como una discusin acerca de la estructura interna de los modelos. En
contraste con la interpretacin lgica sintctica de teoras que Boyd us en
la discusin de lo que llam el principio 1, nosotros debemos dirigir nuestra
atencin hacia la familia de modelos de la teora para dar sentido al empeo
de lograr la adecuacin emprica mediante la inmersin total (para fines
prcticos) en la imagen terica del mundo.
A
B
Entonces, A & B .
Si un cientfico cree que las teoras f y V son verdaderas, eso explica
entonces por qu las usa conjuntamente, sin ulteriores reflexiones, ya que
slo por ser lgico creer afortiori que su conjuncin es verdadera; sta es
la supuesta explicacin.
Puede que no haya fenmenos de la vida cientfica de los qe esta des
cripcin simple sea una imagen fiel. La razn es que, en tanto mfengarnos
un espritu cientfico, no podemos volvemos dogmticos ni siquiera con res
pecto a aquellas teoras que creemos verdaderas de todo corazn. As que
un cientfico debe siempre razonar en tal cas, aunque sea tcitamente, por
lo menos como sigue: si cre que T y V son verdaderas, entonces creo
tambin que (T y T') es verdadera y, por lo tanto, que es empricamente
adecuada. Pero si en esta nueva rea de aplicacin T y T' estn siendo
utilizadas genuihamente en conjuncin, entoncs tendr un oportunidad
para ver si (T y T') es en realidad empricamente adecuada, como creo.
Esta creencia sigue sin apoyarse en el hecho de que mi evidencia previa
apoya las pretensiones de adecuacin emprica para T y T ' separadamente,
aun si ese apoyo ha sido tan bueno como se podra desear que lo fuera. De
modo que mis creencias deben ser sometidas, en est^ Aplicacin conjunta,
a pruebas ms rigurosas de las que hasta ahora haban sido ensayadas.
Lo que acabo de describir es lo ms cercano a la prctica a que se puede
llegar al describir de esta manera simple la unin de teoras como mera
conjuncin. En mi opinin, la prctica no llega tan cerca; falta el prembulo
que consiste en creer que T y T ' son verdaderas, y que lo que hay que someter
a una, prueba ms estricta es la hiptesis de que (T y T') es empricamente
adecuada. Esta hiptesis, desde luego, tiene significado solamente si es
por lo menos lgicamente posible, es decir, si T y V tienen modelos en
comn; una cuestin terica que ciertamente debera tomarse en serio antes
de intentar alguna aplicacin conjunta.
Pero podemos plantear ahora la objecin de la conjuncin de otra for
ma ms abstracta. Por qu los cientficos habran de querer que una sola
teora abarque diversos dominios de fenmenos, en lugar de que lo haga
una teora diferente, empricamente adecuada, en cada uno de tales domi
nios? Para el realista, la motivacin es clara: porque una teora no puede ser
verdadera a menos que pueda ser extendida consistentemente, sin correc
ciones, a toda la naturaleza. Pero no sera posible tener muchas teoras,
cada una con sus tipos individuales de modelos, ms o menos traslapndose
Cuando se aboga por una teora, sta es encomiada por muchas otras ca
ractersticas adems de la fuerza y la adecuacin empricas: se dice que
es matemticamente elegante, sencilla, de gran alcnce, completa en cier
tos aspectos; tambin que es de maravillosa utilidad para la unificacin de
nuestra descripcin de fenmenos hasta ahora diversos y, sobre todo, que es
explicativa. Los juicios de sencillez y capacidad explicativa son vehculos
intuitivos y naturales para expresar nuestro aprecio epistemolgico.7 Qu
puede decir un empirista de estas y otras virtudes que tan claramente van
ms all de aquellas que l considera preeminentes?
Existen preocupaciones humanas especficas, a i funcin de nuestros gus
tos e intereses, que hacen a algunas teoras ms valiosas o apreciables para
nosotros que otras. Sin embargo, valores de este tipo ofrecen razones pa
ra usar una teora, pensemos o no que sea verdadera, y no pueden guiar
racionalmente nuestras actitudes epistemolgicas y iUestras decisiones. Por
ejemplo, si nos importa ms obtener una clase de respuestas antes que otras,
ello no es una razn para pensar que una teora que responde ms preguntas
de la primera clase es ms factible de ser verdadera (ni siquiera con la es
tipulacin ceteris paribus). Es solamente una razn para preferir esa teora
por otros aspectos.
Sin embargo, en el anlisis de la evaluacin de las teoras cientficas
sera un error soslayar las maneras en la cuales esa evaluacin est teida por
factores contextales. El cientfico lleva estos factores a la situacin desde su
propia situacin personal, social y cultural. Es un error creer que los trminos
6 Tomo el trmino minileona de las notas mimografiadas de Edwin Levy (Uiversily
of British Columbia) que circularon en 1977; l me convenci de la necesidad de que la
filosofa de la ciencia estudie por propio derecho este aspecto del teorizar cientfico.
7 Aprend esta manera de formularlo a partir del comentario de Clark Glymour sobre mi
artculo The Pragmatics o f Explanation en la American Philosophical Association (Pacific
Divisin), Portland, marzo de 1977.
Evaluar una teora por su gran capacidad explicativa es, por consiguien
te, atribuirle en parte los mritos necesarios para servir al propsito de la
ciencia. Ello no equivale a atribuirle caractersticas especiales que la hagan
ser ms probablemente verdadera o empricamente adecuada. Pero podra
argirse que, por razones puramente pragmticas (es decir, relativas al con
texto y la persona), la bsqueda de la capacidad explicativa es el mejor
medio de servir a los propsitos centrales de la ciencia.
referirse a su gato ms bien que al senador, es tambin un factor contextual; que el hablante sea una persona habituada a usar la palabra de esa
manera es un factor pragmtico que puede tambin intevenir en esta situa
cin.
Dicho factor pragmtico o contextual puede ser un acuerdo tcito entre
el hablante y el auditorio (o un compromiso unilateral de parte de alguno
de los dos) para guiarse en sus inferencias por algo ms que la pura lgica.
Puede estar presente una convencin lingstica, como en el caso del lego
educado para no llamar a nada sal de mesa, a menos que est compuesto
principalmente por cloruro de sodio, o la convencin, ahora ya en vas de
desaparecer, de no llamar a algo crema, a menos que haya sido producida
por una vaca. Tales compromisos pueden ser ms o menos permanentes o
temporales. S suficiente acerca de astrologa y psicoanlisis para entablar
una conversacin con un aficionado a alguna de las dos, en la que tal teora
sea la que gue el uso de los trminos y las inferencias permitidas. Ms
comnmente, la discusin de una pelcula, digamos, de Un da en el campo,
d Renoir, puede transcurrir as: Cree que l realmente la sedujo? No.
n ese medio, un beso era un evento extraordinario. Una cierta suspensin
de la incredulidad, un compromiso momentneo con el mundo descrito por
la teora, drama, pintura o novela, determina en esa situacin lingstica
lo que es correcto decir y la manera conecta de decirlo. Robert Stalnaker
ha dado el nombre de presuposiciones pragmticas a las proposiciones que
desempean este papel de suposiciones gua.
La inmersin total en la imagen cientfica del mundo, que es la adecuada
en situaciones en las cuales se hace ciencia o se la utiliza, es un caso crucial.
Regresar nuevamente a este tema al final del captulo 6, cuando discuta el
uso del lenguaje modal en la ciencia.
PRAGMTICA DE LA EXPLICACIN*
Si no existiesen las causas, cualquier cosa podra ser pro
ducida por otra, y de manera fortuita. Los caballos, por
ejemplo, naceran por azar de las moscas, y los elefan
tes, de las hormigas; a menos que haya habido una causa
que haga a las regiones del sur lluviosas y a las orienta
les secas, podra haber habido lluvias severas y nieve en
la Tebas egipcia, mientras que en las provincias del sur
podra no llover nunca.
Sexto Emprico, Eshozo del
pirronismo, m, v, 1
Se dice que una teora tiene capacidad explicativa si nos permite explicar
algo, y sta es una virtud. Es una virtud pragmtica, aunque compleja, que
incluye otras virtudes como sus propias precondiciones. Luego de algunos
preliminares en la seccin 1, ofrecer una historia francamente selectiva
de los intentos filosficos por explicar la explicacin. Despus ofrecer un
modelo de este aspecto de la actividad cientfica en trminos de preguntas
por qu, sus presupuestos y su dependencia contextual. Este modelo dar
cuenta de las Caractersticas desconcertantes que se han encontrado en el
fenmeno de la explicacin (especialmente las asimetras y los rechazos),
sin dejar de ser compatible con el empirismo.
1. EL LENGUAJE DE LA EXPLICACIN
Primero que nada, es necesario distinguir entre las locuciones tenemos una
explicacin y esta teora explica. La primera puede parafrasearse como
tenemos una teora que explica, pero entonces tener debe entenderse
de una manera particular. No significa, en este caso, tener en los libros
o tener enunciada, sino que trae consigo la implicacin conversacional
de que la teora a la cual tcitamente uno se refiere es aceptable. Es decir,
uno no est justificado para decir tengo una explicacin, a menos que
est justificada la afirmacin tengo una teora que es aceptable y que
explica. El punto importante es que el mero enunciado la teora T explica
el hecho E no trae consigo tal implicacin; como tampoco que la teora
sea verdadera, ni que sea empricamente adecuada, ni que sea aceptable.
Existen muchos ejemplos, tomados del uso comente, que muestran que
la verdad no est presupuesta en la afirmacin de que una teora explica al
go. Lavoisier deca que la hiptesis del flogisto era muy vaga y que por ello
V adapte toutes les explications dans lesquelles on veut le faire entrer
Darwin admite explcitamente las explicaciones provenientes de teoras fal
sas cuando dice; Difcilmente puede suponerse que una teora falsa podra
explicar, de una manera tan satisfactoria como lo hace la teora de la se
leccin natural, las amplias y variadas clases de hechos especificadas ms
arriba.2 Gilbert Harman, recordemos, argumentaba de manera semejante:
deca que el que una teora explique ciertos fenmenos es parte de la eviden
cia que nos lleva a aceptarla. Pero eso significa que la relacin explicativa
es visible antes de que creamos que la teora es verdadera. Finalmente, cri
ticamos las teoras selectivamente: una exposicin de la mecnica celeste,
hacia fines del siglo pasado, seguramente poda contener la afirmacin de
que la teora de Newton explica muchos fenmenos planetarios. Sin em
1 A. Lavoisier, Oeuvres, Pars, Imp. Imprtale, 1862, voL u, pg. 640. Debo sta y las
otras referencias histricas ms adelante a mi ex discpulo Paul Thagard.
2 Ch. Darwin, On the Origin o f the Species [El origen de las especies], fia. ed., Nueva
York, Collier, 1962, pg. 476.
(2)
Un corto circuito en una planta generadora de energa elctrica tiene
como consecuencia una corriente momentnea de 106 amp. Un conduc
tor colocado horizontalmente, de dos metros de largo y 0.5 kg de masa, se
ha combado en ese momento.
Preguntemos por qu el conductor se ha combado. Bien, el campo mag
ntico de la Tierra en este momento no puede pasarse por alto; su compo
nente vertical es de aproximadamente 5/105 teslas. La teora del electro
magnetismo nos permite calcular la fuerza ejercida sobre el conductor en
el momento en cuestin:
(5/105) x 2 x 106 = 100 newtons
la cual est dirigida hacia el conductor en ngulos rectos respecto al plano
horizontal. La segunda ley de la mecnica de Newton implica a su vez que,
en ese momento, el conductor tiene una aceleracin de
100/0.5 = 200 m /seg2
que es aproximadamente veinte veces la aceleracin descendente atribuible
a la gravedad (9.8 m/seg2); lo cual nos permite comparar, en trminos con
cretos, el efecto del corto circuito en el conductor fijo con el efecto normal
de su peso.
(3)
De una manera puramente numerolgica, Balmer, Lyman y Paschen
construyeron frmulas adecuadas para las series de frecuencias que se en
cuentran en el espectro del hidrgeno, con la forma general:
= Ea/m2 Eo/n2
La frecuencia se relaciona con la energa por medio de la ecuacin
E = hf
as que las frecuencias presentadas por los fotones emitidos son
fn__E0^l\
Jm
h \m 2
n2 /
*
Si bien preferiramos traducir la palabra relevance como "pertinencia, es ya habitual
la traduccin como relevancia. De hecho, en la versin en castellano del pasaje que van
Fraassen cita, esta ltima traduccin es la que se adopta. [N, del T.]
Salmn supuso aqu que casi todos los resfros se alivian espontneamente
en una semana. Hay entonces algo profundamente errneo en estas ex
plicaciones, puesto que la informacin aducida es total o parcialmente
irrelevante. As que el criterio debera enmendarse por lo menos de mo
do que se leyera: provee bases buenas y relevantes. Esto hace surgir el
problema de explicar la relevancia, una cuestin que no es tampoco nada
fcil.
Todas las teoras cientficas, y toda la informacin auxiliar presentada en
los ejemplos anteriores, satisfacen el segundo criterio, la contrastabilidad,
de modo que ste no puede ayudar a superar las dificultades.
Tener una explicacin de un hecho es tener (haber aceptado) una teora que
es aceptable y que explica ese hecho. La ltima relacin debe indudable
mente depender de l que ese hecho es, puesto que una teora puede explicar
un hecho y no otro. Aunque tambin puede sostenerse lo siguiente: es una
condicin necesaria que la teora, considerada como un todo, tenga cier
tas caractersticas ms all de la aceptabilidad. La relacin entre la teora
y este hecho puede ser llamada una caracterstica local de la teora, y las
caractersticas que conciernen a la teora tomada como un todo pueden ser
llamadas caractersticas globales.
Esta sugerent metfora geomtrica fue introducid por Michael Fried
man, quien intentaba una caracterizacin de la explicacin a lo largo de
estas lneas. Friedman escribi:
Dentro de la perspectiva de la explicacin que estoy proponiendo, el tipo de
comprensin ofrecido por la ciencia es ms bien global que local. Las expli
caciones cientficas no confieren inteligibilidad a los fenmenos individuales \
mostrndolos como algo que de alguna manera es natural, necesario, fami
liar o inevitable. Sin embargo, nuestra comprensin general del mundo se
incrementa...14
ser); que tenemos como trasfondo un conjunto K de enunciados legaliformes aceptados, y que el candidato S (ley, teora o hiptesis) para explicar
P es l mismo representable por un enunciado legaliforme. Su definicin
tiene la forma:
S explica P exactamente si P es una consecuencia de S, relativa a K, y si S
reduce o unifica el conjunto de sus propias consecuencias relativas a K.
como una estimacin del estado del conocimiento que una evaluacin de las
explicaciones estadsticas de ocurrencias simples.. . 16 ,
Greeno toma como modelo de una teora aquel que especifica un espacio de
probabilidad simple Q como el correcto, ms dos particiones (o variables
fortuitas) de las que una se denomina explanandum y la, otra explanans.
Por ejemplo: la sociologa no puede explicar por qu Alberto, que vive en
San Francisco y cuyo padre disfruta de altos ingresos, roba un automvil.
;/fampoco se pretende que lo Maga. Pero explica la delincuencia en trminos
d otros factores como el lugarde residencia y el ingreso familiar. El grado de
capacidad explicativa se mid por medio de un cantidad ingeniosamente
concebida que mide la informacin / que la teora ofrece de la variable
M del explanandum con base en el explanans S. Est medida alcanza su
valor mximo cuando todas las probabilidades condicionales P(M /S ) son
cero o uno (caso D - N), y su valor mnimo, cero, cuando S y M son
estadsticamente independientes.
Pero no es difcil notar que la manera en que Greeno prcis estas ideas
todava tropieza con algunas de las antiguas dificultades. Porque supngase
que S y M describen el comportamiento de los barmetros y las tormentas.
Supngase que la probabilidad de que el barmetro descienda (Sp es igual
a la probabilidad de que haya una tormenta (Mi), es decir, 0.2, y que la
probabilidad de que haya una tormenta, dada la cada del barmetro, es
igual a la probabilidad de que el barmetro descienda dad la tormenta, es
decir, 1. En ese caso, ia cantidad / toma su valor mximo y, de hecho,
lo hace as an si intercambiamos M y S. Pero seguramente no tenemos una
explicacin en ninguno de ambos casos.
Dos son las dificultades principales que ilustran los antiguos ejemplos del
|armetro y la paresia, y que ninguna de las posiciones examinadas puemanejar. La primera es que hay casos que caen claramente dentro del
lominio de una teora en los que, no obstante, la demanda de explicacin
Je rechaza. Podemos explicar por qu Juan, y no alguno de sus hermanos,
htrajo la paresia, pues l tena sfilis; pero no podemos explicar por qu
entre todos los sifilticos, contrajo la paresia. La ciencia mdica es in
completa y espera'encontrar la respuesta algn da. Pero el ejemplo del
fe-16 J. Greeno, Explanation and Information, pgs. 89-104, en W.C. Salmn, op. cit.
I
vase nota 8).
; es seguro; sta no debe ser algo como el (crecimiento-ms muerte-ms pudricin) de la planta si s que deseamos citar una causa para su muerte.
Pero el primer problema queda en pie todava, puesto que la existencia del
cuchillo es una parte necesaria del conjunto total de condiciones que lle
varon a su oxidacin. Ms preocupante es el hecho de que puede no haber
en absoluto condiciones suficientes antecedentes; la presencia de radio es
lo que caus que el contador Geiger sonara, pero la fsica atmica permite
una probabilidad distinta de cero de que el contador no suene en absoluto
en esas circunstancias.
Por esta razn (la no disponibilidad de condiciones suficientes en ciertos
casos), la definicin de Maekie no disipa tampoco el segundo problema.
David Lewis ha ofrecido una caracterizacin en trminos de condicio
nales contrafcticos.20 Equipara simplemente A caus B con si A no
hubiera ocurrido, B no habra ocurrido. Pero es importante entender esta
frase condicional correctamente, y no pensarla (como lo hacan los lgicos
anteriores) como si enunciara que A era una condicin necesaria para la ocu
rrencia de B. De hecho, el s i.. .entonces no se identifica correctamente
con ninguno de los tipos de implicacin discutidos tradicionalmente en la
teora lgica, pues stos obedecen la ley de debilitamiento:
1. Si A entonces B
por tanto
si A y C entonces B
Pero nuestros condicionales, en lenguaje natural, no obedecen tpicamente
esa ley;
2. Si el cerillo se frota encender
por tanto (?)
si el cerillo se sumerge en caf y se frota, encender.
El lector pensar muchos otros ejemplos. La explicacin de por qu esa ley*
no se sostiene es que nuestros condicionales llevan consigo una clusula
tcita de ceteris paribus:
3. Si la planta no hubiera sido rociada
(y todo o ders permaneciera igual)
entonces no habra muerto.
El efecto lgico de esta clusula tcita es hacer inaplicable la ley del
debilitamiento.
20 D. Lewis, Causation, Journal ofPhilosophy, 70,1973, pgs. 556 s.
> P ( A / C ) , P(B/C)
(6) P(B/C)
>P(B/Q
lo cual, como ha sido sealada en el captulo 2, implica que hay una corre
lacin positiva entre y B.
Con vistas a dar cabida a los ejemplos reacios (vase el captulo 2), Sal
mn introdujo adems la bifurcacin interactiva, que es como la precedente,
excepto que (3) se cambia por
(3*) P(A & B /C ) > P ( A / C ) . P(B/C)
Estas bifurcaciones, entonces, combinan los procesos causales genuinos,
una vez identificados, dentro de la red causal que constituye el orden natural.
La explicacin, segn la nueva caracterizacin de Salmn, consiste por
consiguiente en mostrar la parte relevante de la red causal que conducfe a
los sucesos que han de ser explicados. En algunos casos slo necesitamos
sealar un nico proceso causal que conduce hacia el suceso en cuestin. En
otros casos se nos pide explicar la confluencia de sucesos, o una correlacin
positiva, y lo hacemos remontndonos hasta las bifurcaciones, es decir, hasta
los orgenes comunes de los procesos que condujeron a ellos.
Varios de los problemas habituales se vuelven manejables. La secuencia
barmetro-tormenta prxima no es un proceso causal, ya que la relevan
cia del primero para la segunda es enmascarada por la causa comn de las
condiciones atmosfricas. Cuando la paresia se explica mencionando una
sfilis latente no tratada, se est apuntando claramente hacia el proceso cau
sal, cualquiera que ste sea, que lleva de uno hacia otro o hacia su causa
comn, cualquiera que sta sea. Por supuesto, una caracterstica crucial de
esta teora debe ser que las explicaciones ordinarias sean indicadores de pro
cesos causales e interacciones que, si fueran conocidas o descritas en detalle,
daran la explicacin completa.
Acordemos que la ciencia nos da una imagen del mundo como una red de
sucesos interconectados, relacionados entre s de una manera compleja pero
ordenada. Las dificultades que encontramos en las dos secciones preceden
tes despiertan alguna duda sobre lo adecuado de la terminologa de causa y
causalidad para describir esta imagen; pero no fortalezcamos ms esta du
da. La caracterizacin de la explicacin sugerida por las teoras examinadas
puede ser ahora reformulada en trminos generales como sigue:
(1) Los sucesos estn enmaraados en una red de relaciones causales.
(2) Lo que la ciencia describe es esa red causal.
(3) La explicacin de por qu un suceso ocurre consiste (tpicamente) en
mostrar los factores relevantes en la parte de la red causal formada
por las lneas que conducen a ese suceso.
(4) Aquellos factores relevantes mencionados en una explicacin consti
tuyen (lo que ordinariamente se conoce como) la(s) causa(s) de ese
suceso.
Hay dos razones claras por las que, cuando surge el tema de la explica
cin, la atencin se desplaza de la red causal como un todo (o incluso de
la parte que converge en el suceso en cuestin) hacia los factores relevan
tes. La primera razn es que cualquier caracterizacin de la explicacin
debe dar sentido a ejemplos comunes de explicacin, especialmente a los
casos citados tpicamente como explicaciones cientficas. En tales casos,
las razones citadas son sucesos particulares previos, condiciones iniciales o
combinaciones de ambos. La segunda razn es que ninguna caracterizacin
de la explicacin debera implicar que nunca podamos dar una explicacin;
y describir la red causa} total de cualquier regin conectada, por peque
a que sta sea, es en casi todos los casos algo imposible. De manera
que la menor de las concesiones que tendra que hacerse es la de acep
tar que la explicacin solcente tiene que decir que existe una estructura
de relaciones causales de cierto tipo, que podra en principio ser descri
ta en detalle: las caractersticas relevantes son las que escogen el cierto
tipo.
El inters en la accin causal en cuanto tal centra su atencin en (1) y (2),
pero el inters en la explicacin nos exige concentramos en (3) y (4). De
hecho, desde este ltimo punto de vista, es suficiente garantizar la verdad
de (1) y (2) ai definir
la red causal = cualquier estructura de relaciones que la ciencia describa
y dejar a quienes se interesan por la accin de las causas en cuanto tales el
problema de describir aquella estructura de maneras abstractas pero ilumi
nadoras, si as lo desean.
Podra ser que, a pesar de todo, la explicacin de un hecho o su
ceso resida nicamente en dicha red causal, y que cualquier forma de
atraer la atencin hada ella explique algo? La respuesta es no; en el ca
so de la explicacin causal, la explicacin consiste en atraer la atencin
hacia ciertas caractersticas (especiales, importantes) de la red cau
sal. Supngase, por ejemplo, que yo deseo explicar la extincin del al
ce irlands. Hay un grupo muy grande de factores que precedieron esta
extincin y que eran estadsticamente relevantes para ello: incrementos
incluso muy pequeos en la velocidad, el rea de contacto del casco, la
alzada, la distribucin del peso en el cuerpo, la distribucin de la provi
sin de alimentos, los hbitos migratorios, la fauna y la flora del entor
no. Sabemos por la teora de la seleccin que, en las condiciones ade
cuadas, cualquier variacin en esos factores puede ser decisiva para la
supervivencia de la especie. Sin embargo, si algunos de esos factores hu
bieran sido diferentes y el alce irlands hubiera sobrevivido, no se dira
curvai.30
29 Este sondeo se encuentra en Zwart, op. d i., p. 135, nota 19; las referencias son a los
artculos de Beck y Nagel en H. Feigl y M. Brodbeck (comps.), Readings n the Philosophy
o f Science, Nueva York, Appleton-Centuiy-Crofts, 1953, pp. 374 y 698; R.B. Braithwaite,
Sciemific Explamtion, Cambridge, Cambridge University Press, 1953, p. 320 [versin en
castellano: La explicacin cientfica, Madrid, Tecnos, 1965]; D. Bohm, CamalityandChance
in Modern Physics, Londres, Routledge and Kegan. Paul, 1957, passim [versin en castellano:
Causalidad y azar en la fsica moderna, trad. D. Leam, Mxico, UNAM, 1959].
30 N.R. Hanson, Patterns o f Discovery, Cambridge, Cambridge University Press, 1958,
p. 54. [Versin en castellano: Patrones de descubrimiento: investigacin de las bases con
ceptuales de la ciencia, Madrid, Alianza, 1985.]
Pero, en mi opinin, recurrir a tal tipologa iluminar con xito las asimetras
(y tambin los rechazos, ya que ningn factor de un tipo particular puede
conducir a una respuesta eficaz a la pregunta por qu). Si ello es as,
entonces, como dije antes, las asimetras deben ser, por lo menos a veces,
reversibles por medio de un cambio en el contexto. El relato que sigue
pretende ilustrar esto. Como en el ejemplo de la linterna (o de la luz del
zagun), la relevancia cambia de un tipo de causa eficiente a otro, siendo
la segunda los deseos de una persona. Como en todas las explicaciones, la
respuesta correcta consiste en mostrar un nico factor en la red causal, que es
puesto de relieve en ese contexto por factores que no aparecen abiertamente
en las palabras de la pregunta.
Los lgicos han estado construyendo una serie de modelos de nuestro len
guaje cada vez ms complejos y sofisticados. Los fenmenos que con ellos
tratan de salvar son la gramtica de superficie de nuestras aserciones y los
patrones de inferencia detectables en nuestros argumentos. (La distincin
entre la lgica y la lingstica terica tiende a volverse vaga, y aunque los
intereses de los lgicos se centran en partes especiales- de nuestro lengua
je y requieren de una adecuacin menos fiel a la gramtica de superficie,
esos intereses siguen siendo en todo caso altamente tericos.) Las entidades
tericas introducidas por los lgicos en sus modelos del lenguaje (tambin
llamados lenguajes formales") incluyen los dominios del discurso (uni
versos), las palabras posibles, las relaciones de accesibilidad (posibilidad
relativa), los hechos y las proposiciones, los valores de verdad y, por lti
mo, los contextos. Como se puede adivinar, doy por supuesto que es parte
del empirismo insistir en que la adecuacin de estos modelos no exige que
todos sus elementos tengan contrapartes en la realidad. Sern buenos si se
adecan a aquellos fenmenos que hay que salvar.
Los cursos de lgica elemental introducen algunos de los modelos ms
simples, el de los lenguajes de la lgica de enunciados y el de la lgica
cuantificacional que, siendo los ms simples, son, naturalmente, los ms
claramente inadecuados. Como la mayor parte de los profesores de lgica
se ponen un poco a la defensiva cuando se habla de esto, muchos estudiantes
de lgica y algunos filsofos tienen la impresin ,de que ese exceso de
simplificacin ha tomado intil el tema. Otros, impresionados con usos
como el que tiene la lgica elemental (en la clarificacin de las matemticas
clsicas, por ejemplo), concluyen que no entenderemos el lenguaje natural
hasta que no hayamos visto cmo puede ser reglamentado en forma tal que
se adece a dicho modelo simple de las herraduras y las tablas de verdad.
En la lgica elemental, cada frase corresponde exactamente a una pro
posicin, y el valor de verdad de esa frase depende de si la proposicin en
35
Al final de mi articulo The Only Necessity is Verbal Necessity, Journal o f Philo
sophy, 74,1977, pp. 71-S5 (que es, en s mismo, na aplicacin de la pragmtica formal a
un problema filosfico), se encuentra un corto relato del desarrollo de estas ideas y algunas
referencias a la literatura sobre ellas. El artculo Demonstratives de David Kaplan que fue
mencionado all como de prxima aparicin, fue terminado y puesto en circulacin en una
versin mimeografiada durante la primavera de 1977; es actualmente la fuente ms impor
tante en lo que toca a los conceptos y aplicaciones de la pragmtica formal, aunque algunos
aspectos de la forma en la que l desarrolla esta teora son todava controvertidos (vase
tambin la nota 30 del cap. 6).
S.
;
Se puede llegar a Victoria tanto en transbordador como en
avin.
Se puede llegar a Victoria en transbordador.
Se puede llegar a Victoria tanto en transbordador
como en avin, pero
no hay que perderse el viaje en transbordador.
(e) Ciertamente se puede llegar a Victoria en transbordador y eso es algo
que uno no debe perderse.
C.L. Hamblin, Questions, Australasian Journal o f Philosophy, 36, 1958, pp. 159-
Hay muchos aspectos en los que las preguntas por qu introducen elemen
tos genuinamente nuevos dentro de la teora de las preguntas.40 Enfoquemos
primero la cuestin de determinar exactamente qu pregunta se formula, es
decir, la especificacin contextual de los factores necesarios para entender
una interrogacin por qu. Despus de hacer esto (tarea que termina con
la delimitacin del conjunto d las respuestas directas) y como una empre
sa independiente, debemos volver a la evaluacin de esas respuestas como
buenas o mejores. Esta evaluacin procede con referencia a la parte de la
ciencia aceptada como marco terico en ese contexto.
Como ejemplo, considrese la pregunta por qu est doblado el con
ductor? El que pregunta da a entender que el conductor est doblado y est
pidiendo una razn. Llamemos a la proposicin de que el conductor es
t doblado el tema de la pregunta (siguiendo la terminologa de Henry
Leonard, el tma de inters). Luego, como hemos visto, esta pregunta
tiene una clase de contraste, es decir, un conjunto de alternativas. Tomar
esta clase de contraste llammosla X como una clase de proposiciones
que incluye al tema. Para esta interrogante particular, el contraste podra
ser que es este conductor en lugar de aqul, o que este conductor se ha
doblado en lugar de conservar su forma. Si la pregunta es por qu este
material al quemarse da una flama amarilla?, la clase de contraste podra
ser el conjunto de proposiciones: este material ardi (con una llama de)
colorjc.
Finalmente, est el aspecto-segn-el-cual se pide una razn, que deter
mina lo que ha de contar como un posible factor explicativo: la relacin
de relevancia explicativa. En el primer ejemplo, la peticin puede ser por
los sucesos "que llevan a el doblamiento. Eso admite como relevante una
caracterizacin en trminos de error humano, de interruptores que se cerra
ron, de humedad condensada en esos interruptores o, incluso, de conjuros
formulados por brujas (puesto que la evaluacin de lo que es una buena
respuesta viene despus). Por otro lado, los sucesos que llevan al dobla40
En el libio de Belnap y Steel (vase nota 36, antes), la teora de las preguntas por qu
de Bromberger se presenta de la forma general, comn a las preguntas elementales. Creo que
Bromberger lleg a su concepto de ley anrmica [abnormic law] (y la forma de respuesta
expuesta por Grnbaum se escribe con umlaut porque es una palabra inglesa tomada del
alemn, y ninguna palabra inglesa se escribe con umlaut excepto aquellas tomadas de otra
lengua en la cual se pronuncian asf) porque no consider el tcito en lugar de (la clase de
contraste) de las interrogaciones por qu, y entonces tuvo que compensar esta deficiencia
en su caracterizacin de las respuestas.
miento del conductor pueden ser bien conocidos; en tal caso, lo que se pide
es posiblemente una caracterizacin de las condiciones circunstantes que
hicieron posible que esos sucesos llevaran a ese doblamiento del conduc
tor: la presencia de un campo magntico de cierta fuerza, pongamos por
caso. Finalmente, puede ser ya conocida o considerada insignificante-
la manera exacta en que se produjo el doblamiento, y la pregunta (basa
da posiblemente en una incomprensin) puede ser acerca de exactamente
qu papel cumple este doblamiento del conductor en el funcionamiento de
la planta de energa. Comprese por qu circula la sangre por el cuer
po? respondida as: (1) porque el corazn bombea la sangre a travs de
las arterias, y as: (2) para llevar oxgeno a todas las partes del tejido
corporal.
En un determinado contexto, donde varias preguntas coinciden en cuanto
al terna pero difieren en cuanto a la clase de contraste, o viceversa, conce
biblemente pueden diferir todava ms en lo que se toma como relevante
para la explicacin. De all que no podamos preguntar propiamente qu
es relevante para este tema o qu es relevante para esta clase de contraste.
En cambio, debemos decir de una proposicin dada que es o no relevante
(en este contexto) para el tema, con respecto a esa clase de contraste. Por
ejemplo, en el mismo contexto uno puede tener curiosidad acerca de las
circunstancias que llevaron a Adn comer una manzana en lugar de una
pera (Eva le ofreci una manzana) y tambin acerca de los motivos que lo
llevaron a comrsela en lugar de rechazarla. Lo que se mantiene constante
o se toma como dado (que l comi la fruta, que lo que hizo lo hizo con
una manzana), es decir, la clase de contraste, no tiene que estar enteramente
disociada del aspecto-segn-el-cual pedimos una razn.
Recapitulando, entonces, la pregunta por qu Q expresada por una
interrogacin en un contexto dado, estar determinada por tres factores:
El tema P*
La clase de contraste X = {Pj, . . . , P *...}
La relacin de relevancia R
y, de manera preliminar, podemos identificar la pregunta por qu abstracta,
con la trada que consta de estos elementos:
Debemos ahora definir cules son las respuestas directas esta pregunta.
Para comenzar, inspeccionemos la forma de las palabras que habrn de
expresar dicha respuesta:
(*) Pie en contraste con (el resto de) X porque A.
Esta frase debe expresar una proposicin. Qu proposicin expresa, sin
embargo, depende del mismo contexto que seleccion Q como la propor
sicin expresada por la interrogacin correspondiente (por qu P*?)De manera que algunos de los mismos factores contextales, y especfica
mente R, pueden aparecer en la determinacin de la proposicin expresada
por(*).
Qu se afirma con la respuesta (*)? Primero que nada, que P* es ver
dadera. Segundo, que los otros miembros de la clase de contraste no son
verdaderos. Todo esto seguramente ya lo transmite la pregunta; no tiene
sentido preguntar por qu Pedro, en lugar de Pablo, tiene paresia si am
bos la tienen. En tercer lugar, (*) dice que A es verdadera. Y finalmente,
esta all esa palabra porque: (*) incluye la pretensin de que A es una
razn.
Este ltimo punto lo esperamos conteniendo el aliento. No es en l
justo donde entra el inextricable elemento modal o contrafctico? Pues
no, en absoluto; en mi opinin, aqu la palabra porque significa ni
camente que A es relevante, en este contexto, para esta pregunta. Por
tanto, lo que se pretende es solamente que A est en una relacin R con
< Pk, X > . Por ejemplo, supngase que alguien me pregunta por qu me
levant a las siete en punto esta maana, y yo le digo porqu me des
pert el escndalo que hizo el lechero. En ese caso yo interpret la pre
gunta como si pidiera algn tipo de razn que cuando menos incluyera
los sucesos-conducentes-a que me levantara de la cama, y mi palabra por
que indica que el escndalo que hizo el lechero fue ese tipo de razn, es
decir, uno de los sucesos comprendidos en lo que Salmn llamara el proce
so causal. Comprese ste con el caso en el cual interpreto que la pregunta
exige especficamente un motivo. En ese caso yo habra contestado: No
hay ninguna ratn, en realidad. Fcilmente hubiera podido quedarme en
la cama, ya que no quiero hacer nada en particular el da de hoy. Pero el
escndalo del lechero me despert y supongo que solamente me levant
por la fuerza del hbito. En este caso, no digo porque, pues el escndalo
que hizo el lechero no pertenece al rango relevante de sucesos, tal y como
entiendo la pregunta que se me hizo.
Puede objetarse que porque A" no solamente indica que A es una ra
zn, sino que indica que es la razn o, por lo menos, que es una buena
razn. Creo que esta cuestin puede resolverse de dos maneras. La prime
ra es que la relacin de relevancia, la cual especifica qu tipo de cosa se
est pidiendo como respuesta, puede interpretarse de un modo muy enfti
co: dme un motivo lo suficientemente fuerte para justificar un asesinato,
dme un suceso previo estadsticamente relevante no enmascarado por
otros sucesos, dme una causa comn, etc. En ese caso, la pretensin
de que la proposicin expresada por A caiga dentro del rango relevante es
ya una pretensin de que sta ofrece una razn significativa. Sin embargo,
considero ms verosmil que la peticin no tenga que ser interpretada tan
enfticamente; la cuestin es ms bien que quienquiera que contesta una
pregunta pretende tcitamente, en algn sentido, estar ofreciendo una bue
na respuesta. En todo caso, la determinacin de si la respuesta es de hecho
buena, o significativa, o mejor que otras respuestas que podran haberse
dado, debe ser desarrollada todava, y esto lo discutir bajo el encabezado
de evaluacin.
Como una cuestin de procedimiento propongo que consideremos (*)
una respuesta directa slo si A es relevante.41 En ese caso no tenemos tam
poco que entender la afirmacin de que A es relevante como parte explcita
de la respuesta, sino que podemos ver la palabra porque solamente co
mo un signo lingstico que indica que con las palabras emitidas se intenta
ofrecer una respuesta a la pregunta por qu que se acaba de formular.
(Est presente, como siempre, la pretensin tcita de quien contesta, de
que lo que est dando es una respuesta buena y, por tanto, relevante; slo
que no necesitamos hacer de esta pretensin una parte de la respuesta.) La
definicin es, entonces:
B es una respuesta directa a la pregunta Q = < Pk, X , R > exactamente
si hay una proposicin A tal que A est en una relacin Rcon < Pk, X >
y B e s la proposicin que es verdadera precisamente si (Pk; y para toda
i k, no P; y A) es verdadera
donde, como antes, X = { P j ,... ,Pk, ...} . Dada esta definicin propuesta
de la respuesta directa, qu es lo que presupone una pregunta por qu?
Usando la definicin general de Belnap deducimos:
41
Llamo a sta una cuestin de procedimiento, porque la teora podra ser desarrollada
claramente de manera diferente en este punto, construyendo la pretensin de pertinencia
dentro de la respuesta como un conyunto explcito. El resultado sera una teora alternativa de
preguntas por qu que, creo, salvara igualmente los fenmenos, o bien de la explicacin,
o bien de la formulacin y la respuesta de las preguntas por qu.
0.15
N oi'
No E
0.25
0.25
! :: 0.05
K ----
0.1
------ H
No S
iE
i
peetos considerar, pero no tenemos una frmula precisa que los conecte a
todos. Tampoco tenemos una frmula precisa para sopesar la importancia
de la factibilidad de que la respuesta sea verdadera, contra el grado en que la
informacin que ella provee sea verdadera. Pero dudo del valor de cualquier
intento por combinar todos estos aspectos en una medicin univalente.
En cualquier caso, no hemos terminado. Porque hay relaciones entre res
puestas que van ms all de la comparacin de lo bien que se desempean
stas con respecto a los criterios considerados hasta aqu. Un caso famoso,
tambin relacionado con la paradoja de Simpson, se desarrolla como sigue
(examinado tambin en el ya mencionado artculo de Cartwright): en cierta
universidad se encontr que la tasa de admisin para las mujeres era ms
baja que la de los hombres. Entonces Janet es una mujer parece hablar en
favor de Janet no fue admitida, en contra de Janet fue admitida. Sin em
bargo, ste no era un caso de discriminacin sexual. Las tasas de admisin
para mujeres y para hombres por cada departamento en la universidad eran
aproximadamente las mismas. La apariencia de un prejuicio se cre porque
las mujeres tendan a hacer solicitudes para los departamentos con tasas de
admisin ms bajas. Supngase que Janet hizo solicitud para su admisin
en Historia; el enunciado Janet hizo solicitud par Historia enmascara el
enunciado Janet es una mujer detrs del tema Janet no fue admitida (en
el sentido de Reichenbaeh-Salmon de enmascarar: P enmascara A detrs
de B exactamente si la probabilidad de B dado P y A e s justamente la proba
bilidad de B dado P nicamente). Est claro entonces que la informacin de
, que Janet hizo solicitud para Historia (o para cualquier otro departamento)
es una respuesta mucho ms eficaz que la rplica anterior, en cuanto vuelve
irrelevante esa rplica.
!
Debemos ser cuidadosos con la aplicacin de este criterio. Primero, no
es importante que alguna proposicin P enmascare A detrs de B si P n o es
el ncleo de una respuesta a la pregunta. As que si la pregunta por qu es
una peticin de informacin acerca de los procesos mecnicos que conduje
ron al suceso, la respuesta no es peor si est enmascarada estadsticamente
por otros tipos de informacin. Considrese que a la pregunta por qu es
t muerto Pedro?, se responde con: recibi un duro golpe en la cabeza,
cuando sabemos ya que Pablo acaba de asesinar a Pedro de alguna manera.
En segundo lugar, una respuesta enmascarada puede ser buena, aunque par
cial, antes que irrelevant. (En el mismo ejemplo, sabemos que debe haber
alguna proposicin verdadera de la forma Pedro recibi un golpe en la
cabeza con un impacto x '\ pero eso no descalifica la respuesta, solamente
significa que es posible una respuesta ms rica en informacin.) Por ltimo,
en el caso de un proceso determinista en el que el estado A, y ningn otro
5. CONCLUSIN
que sta consiste en estar en posicin de explicar, y que, por tanto, lo que la
ciencia busca realmente va ms all de la fuerza y la adecuacin emprica.
Finalmente, puesto que la habilidad para explicar ofrece una clara razn
para aceptarla, se argument que la capacidad explicativa es una evidencia
en favor de la verdad de la teora, una evidencia especial que va ms all de
cualquier evidencia que podamos tener a favor de la adecuacin emprica
de la teora.
A finales del siglo pasado, Pierre Duhem ya haba tratado de desdibujar
este punto de vista sobre la ciencia, argumentando que la explicacin no
es una de sus metas. Retrospectivamente, aliment ms ese misticismo
de la explicacin que l mismo atacaba, pues tena problemas para dejar
establecido que la capacidad explicativa no consiste en los medios para la
descripcin. Argumentaba que solamente las teoras metafsicas explican,
y que la metafsica es una empresa ajena a la ciencia. Pero cincuenta aos
ms tarde, despus de que Quine argument que no hay una demarcacin
entre ciencia y filosofa, y despus de que se volvi tentador el rep eso
de la metafsica, en virtud de las dificultades encontradas por la posicin
ametafsica de las filosofas con orientacin positivista, se descubri que la
actividad cientfica involucra la explicacin y el argumento de Duhem fue
hbilmente anulado.
Una vez que se decide que la explicacin es algo irreductible y especial,
queda abierta la puerta para su elaboracin por medio de otros concep
tos pertenecientes a ella, todos igualmente irreductibles y especiales. Las
premisas de una explicacin tienen que incluir enunciados Iegaliformes; un
enunciado es legaliforme exactamente si implica algn enunciado condicio
nal contrafctico no trivial; pero eso puede hacerse nicamente afirmando
la presencia de relaciones de necesidad en la naturaleza. No todas las clases
corresponden a propiedades genuinas; las propiedades y las propensiones
figuran en la explicacin. No todos se han sumado a este regreso al esencialismo o al realismo neoaristotlieo, pero algunos realistas eminentes lo
han explorado o defendido pblicamente.
Aun elaboraciones ms moderadas del concepto de explicacin hacen
distinciones misteriosas. No toda explicacin es una explicacin cientfica.
Entonces, esa irreductible relacin de explicacin aparece en formas y tipos
diversos; uno de ellos es el cientfico. Una explicacin cientfica tiene una
forma especial y aduce solamente tipos especiales de informacin para
explicar informacin acerca de conexiones causales y procesos causales.
Desde luego, una relacin causal es solamente lo que porque debe denotar;
y puesto que el summum bonum de la ciencia es la explicacin, la ciencia
indistintamente. Sin embargo, creo que.es muy claro lo que se quiere decir
con un trmino tal como el de profesional en estadstica. Permtaseme
proponer esta lnea divisoria: la estadstica es la ciencia que se ocupa de
las distribuciones y las proporciones en clases (tambin llamadas pobla
ciones, agregados, conjuntos) reales (amplias pero finitas) de cosas
reales. Lo que a menudo se llama una estadstica
un enunciado acerca
de esa distribucin, tal como
65% de todos los estadounidenses de sexo masculino son muy obesos.
Los mtodos estadsticos estn diseados para llegar a dichas estadsticas
con base en datos que conciernen a pequeas muestras, para someter a
prueba hiptesis que implican tales estadsticas y para inferir nuevas esta
dsticas a partir d las ya dadas. Al proceder as y al disear estos mtodos,
el estadstico se apoya en la teora matemtica de la probabilidad,
Esta teora matemtica no concierne solamente a las clases vastas pero
finitas que son el tema de inters bsico en la estadstica, ni se restringe
a clases de cosas limitadas por lo que realmente existe en el mundo. La
extrapolacin hacia magnitudes infinitas es el dispositivo principal mediante
el cual la teora de la probabilidad ha hecho avanzar la causa de la estadstica.
Este papel de la probabilidad no crea problemas filosficos; tampoco
los crea la presentacin de estadsticas en trminos probabilsticos, como
cuando se informa de este tipo de hallazgos as: Es ms factible que
los estadounidenses sean obesos que lo sean los esquimales, o Juan es
un estadounidense; las estadsticas muestran que probablemente es obeso,
vive en los suburbios, conduce un automvil para ir al trabajo...
En parte existe la impresin de que la estadstica trabaja con clases
infinitas, pero esta impresin es engaosa. La razn es que los mto
dos estadsticos son ms confiables mientras ms extensas son las po
blaciones a las cuales se aplican. Esto puede ilustrarse con el epgrafe
de este captulo, de Toms de Aquino, quien parece haber considerado
la astrologa una ciencia estadstica (exitosa). Precisamente acerca de
qu clase de cosas estaba hablando cuando dijo que los astrlogos lo
gran predecir' la verdad en la mayora de los casos? Podemos suponer
que se estaba refiriendo por lo menos a la clase de predicciones astro
lgicas realizadas en su propio siglo. Pero puesto que l tena una ex
plicacin de ese xito, sin duda esperaba que la astrologa lo seguira
teniendo, de manera que su pretensin puede tambin tomarse como si
se extendiera a la clase de predicciones del periodo de 1000 a 1500, del
periodo de 900 a 1600, y as sucesivamente. Por otra parte, Toms de
Aquino probablemente no quiso decir que en cada da dado, la mayor
Para facilitar la discusin, supuse que slo un nmero finito de microestados es compatible con un macroestado. Pero el espacio de los microestados
(espacio-fase) es, desde liigo, ontinuo. El postulado de equiprobabilidad
dice realmente que el sistema permanece el mismo tiempo en subregiones
de igual volumen de la regin correspondiente al macroestado. Pueden to
marse subregiones cada vez ms pequeas, de manera que convelan en los
puntos que representan los microestados. Pero debido a la continuidad, la
atencin a las infinitudes no puede evitarse durante ms tiempo.
Lo anterior dio origen al segundo gran captulo en la historia de la teora
de la probabilidad. Su motivacin inicial era la motivacin de la estadstica
propiamente dicha; los juegos de azar, los seguros, la teora de los errores,
el censo, la gentica y la seleccin natural. En la fsica, las probabilidades
estaban representadas por funciones de volumen; por consiguiente, en las
matemticas, en la nueva rama en desarrollo de la teora de la medicin,
el volumen y la probabilidad se convirtieron tan slo en dos ejemplos de
aquellas funciones que mapean conjuntos dentro de los nmeros reales, y
que llamamos medidas. En lo que toca a la probabilidad, este desarrollo
culmin en la nueva teora axiomtica de Kolmogoroff, que actualmente
se reconoce como su fundamento. Hay matemticos y filsofos influyentes
que consideran que la teora de Kolmogoroff trata nicamente con un caso
especial de la teora de la probabilidad; sin embargo, deben tambin admitir
que este caso especial es el caso especial de todos los usos de la probabilidad
en la fsica corriente.
Permtaseme explicar brevemente estos fundamentos axiomticos. Para
utilizar un ejemplo concreto, supongamos que una pulga est saltando alre
dedor del tablero de una mesa. Este tablero es una regin espacial, parte de
un plano; y cualquier parte de ste puede ser considerado un conjunto de
puntos donde la pulga puede caer. Si B es tal parte del tablero de la mesa,
el suceso en el cual estamos interesados es el suceso de que la pulga caiga
en B. Si llamamos g a la pulga, podemos llamar a ese suceso Bg.
Supongamos que A y B son dos partes del tablero de la mesa. Los lla
mamos disyuntas si no se traslapan; y a la regin que comprende todos los
puntos en A ms todos los puntos en B la llamamos su unin, A U B. El
suceso correspondiente puede ser designado ya sea como (A U B)g o como
Ag U Bg; que evidentemente es el suceso de que el punto donde la pulga
aterriza est o en 4, o en i?.
La infinitud entra de esta manera. Supongamos que A1, A2, A3, .. . son
un nmero infinito de partes del tablero de la mesa. stas tambin tienen
una unin y la escribimos como UA1. Finalmente, el tablero de la mesa
como un todo es tambin una regin; llammosla K~
Los axiomas generales por los cuales podra caracterizarse toda la teora
de la probabilidad son
1- 0 < P(Bg) < l ; P(Kg) = 1
2. Si A y B son disyuntas* entonces
P(AgUBg) = P(Ag) + P(Bg)
El segundo axioma se llama axioma de aditividadfinita. Pero supngase
que la probabilidad de Ag es proporcional al rea de A. En ese caso, la
probabilidad de (UA'g) es proporcional al rea de UA, que es la suma
infinita de las reas de las partes A. Esto indica por qu Kolmogoroff
reemplaz 2 por
2*. Si todos los A' son mutuamente disyuntos entonces
OO
P U A 's ) = ^ F C A ' g )
i
el cual se conoce como axioma de aditividad contable.
No podemos ya decir que la probabilidad en su totalidad puede ser ex
plicada como una teora acerca de las proporciones en clases finitas. Esto
es as debido a que la teora con los axiomas 1 y 2* tiene modelos que
son radicalmente diferentes de (no isomrficos con) cualquier modelo en
el que todas las probabilidades corresponden a tales proporciones finitas.
En este punto la presente reflexin puede parecer algo que slo tiene un
inters matemtico pero como veremos, ha creado serias dificultades en
la interpretacin filosfica de la probabilidad.
No obstante, deberamos tambin notar que el tema todava est,en re
lacin con las proporciones, aunque no con las proporciones finitas. La
proporcin del rea de la regin A en relacin con el rea del tablero de
la mesa K determina (aun cuando slo parcialmente) la probabilidad de que
2. w = fwi + +
| m/3
donde
y w'3 son estados totalmente diferentes de W2 y w$.
Si ahora hubisemos intentado seguir con la interpretacin de la ignoran
cia, habramos tenido que concluir que la probabilidad de que una partcula
dada est en el estado w es igual a 1 + 1, puesto que tenemos que aadir las
probabilidades de sucesos incompatibles (disyuntas).
Que esto en realidad no tiene sentido quizs quedar ms claro si consi
deramos lo que podemos llamar la interpretacin estadstica ingenua. sta
dice que el estado w no puede ser atribuido a ninguna partcula individual,
sino solamente al conjunto de partculas; y que el nmero | mide el tamao
relativo del subconjunto que comprende aquellas partculas que estn en el
estado puro wj, y de manera similar para w i y w3. Pero entonces debemos
decir lo mismo para w'2 y W3. Puesto que cinco veces \ es ms que uno,
estos 5 subconjuntos deben traslaparse. Pero no puedenl Si se traslaparan,
habra habido una partcula que estaba al mismo tiempo en el estado puro
W2 y en el estado puro 4 o Wj, l cual es imposible. O bien, si no nos est
permitido asignar ningn estado a las partculas individuales, preguntemos:
qu estado pertenece al subconjunto que es la parte comn entre el sub
conjunto con el estado
y el subconjunto con el estado w'27 No debera
cualquier subconjunto de un conjunto en un estado puro, estar l mismo en
ese estelo puro?
9
H. Reichenbach, The Principie o f Anomaly in Quantum Mechantes, Dialctica, 2,
1948, pgs. 33-50; e incluso vase Nancy Cartwright, A Dilemma for the Traditional Interpretaton of Quantum Mixtures, en K.F. Schaffner y R.S. Cohn (comps.), PSA, 1972,
Doidrecht, Reidel, 1974. Cartwiight sostiene que en cierto situaciones fsicas, la interpre
tacin de la ignorancia del estado mixto es correcta (y tenemos ms informacin que la
transmitida por la matriz de densidad), mientras que en otras situaciones es incorrecta. Vase
tambin la parte u de mi artculo A Formal Approach to Philosophy o f Science, pgs. 3 0 3 366, en R, Colodny (comp.), Paradigms and Paradoxes, Pittsburgh, University o f Pittsburgh
Press, 1972.
entonces esa probabilidad es |c|2; y sta fue la primera ocasin en que los
cuadrados de 1( coeficientes en la expansin de un estado puro en trminos
de estados propios [eigenestados] de una cantidad fsica frieron interpreta
dos como probabilidades, en el sentido que hoy es comn.
Generalizando al respecto en un trabajo posterior, Bom propuso que un
electrn, por ejemplo, tiene en todo momento una posicin y un momento
bien definidos. Pero el estado mecnico cuntico da solamente informacin
prbabilstica acerca de los valores de estas (y otras) cantidades fsicas. Por
consiguiente, atribuir un estado puro es formular una compleja afirmacin
de probabilidad, exactamente de la misma manera en que lo es atribuir un
macroestado en la fsica clsica. La diferencia sera solamente que en la
fsica clsica la teora de los microestados subyacentes era la qu se com
prenda mejor, mientras que en la fsica cuntica las leyes que gobiernan las
cantidades fsicas bsicas (posicin, mpetu) eran totalmente desconocidas,
en comparacin con las leyes que gobiernan las probabilidades acerca de
ellas (como se resumen en el estado mecnico cuntico).
Esta interpretacin que Bom propuso para las probabilidades que l in
trodujo, se desmorona cuando se confronta con el famoso experimento de
las dos rendijas.
,, Existen muchsimas exposiciones de este experimento (o experimento
mental), por lo cual ser muy breve. Para comenzar, considrese un tubo de
televisin. Un ctodo emite un flujo de electrones que se hacen pasar a travs
de rendijas colimadoras de modo que se produzca un haz de electrones.
Los electrones de este haz son desviados de varias formas por un campo
magntico, de manera que pintan un cuadro carente totalmente de inters
en la pantalla. Supngase ahora que eliminamos los electromagnetos y los
reemplazamos dentro del tubo por una plancha de tungsteno con dos rendijas
que pueden ser abiertas y cerradas individualmente. Si cada electrn tiene
todo el tiempo una posicin y un mpetu bien definidos, entonces cada
electrn que llega a la pantalla debe haber pasado a travs de una u otra
rendija. Podemos producir el flujo de electrones tan lentamente que ellos
no interfieran entre s. Considrese ahora la pequea rea X de la pantalla,
y pregntese cul es la probabilidad de que algn electrn llegue a dar a X.
Ello depende claramente de cul(es) rendija(s) est(n) abierta(s);
situacin x: slo la rendija superior est abierta
situacin y: slo la rendija inferior est abierta
situacin xy: ambas rendijas estn abiertas
+ b<Py
esto adems significa: tiene una trayectoria que pasa a travs de la rendija
superior en la placa de tungsteno.
La interpretacin de Copenhague es: |a |2 es la probabilidad de que si
hiciramos un tipo diferente de medicin en el electrn, colocando una
pantalla directamente detrs de la rendija superior de la placa de tungste
no, obtendramos un punto iluminado. Y de hecho, si lo hacemos de esta
manera, la frecuencia de tales resultados concuerda estrechamente con \a\2.
Pero en la antigua interpretacin de Bom esto se usaba para mostrar que una
fraccin correspondiente de los electrones pasa a travs de la rendija supe
rior, aun si este segundo tipo de medicin no se hace. n la interpretacin
de Copenhague, esto no se da por supuesto.
Volviendo ahora al problema de las mezclas, llegamos exactamente a la
misma historia. Decir que el sistema est en el estado
w awi + bw 2 + cw$
indica nicamente una relacin entre aquellas probabilidades condicionales
acerca de la medicin, es decir
P%(E) = aPZ, () + bP^(E) + cPZE)
para todas las cantidades observables m y todos los conjuntos medibles E de
valores de m. En esta frmula que relaciona las probabilidades condicionales
de los resultados de la medicin, no hay en absoluto implicacin de que el
sistema est efectivamente en uno de aquellos estados puros, ni alguna otra
implicacin acerca de lo que es el caso si no se hace ninguna medicin.
Desde luego, este enfoque hace surgir algunas preguntas serias. Primero
que nada, una medicin es en s misma una interaccin fsica, y por tanto, un
proceso n el dominio de la aplicabilidad de la teqra cuntica. As que existe
un serio problema de consistencia: es coherente lo que la teora cuntica
dice acerca de tales procesos con el papel que stos desempean en las reglas
de Bom al vincular los estados con los resultados de la medicin? ste es
el problema de la medicin y sigue siendo un tema central de discusin en
la filosofa de la fsica.14 En segundo lugar, si P() es una probabilidad
condicional, entonces debe haber una funcin de probabilidad simple P*
tal que, para todo w ,m y E,
P% = P* (el resultado est en E / el sistema est en el estado w
14
Vase la parte 2 (Tire Measurement Problem o f Quantum Mechantes as a Consisiency Problem) de mi A Formal Approach.. . (nota 9, antes) y Jeffrey Bub, "The Measurement
Problem of Quantum Mechantes, en el volumen mencionado en la nota 16, ms adelante.
DE LA PROBABILIDAD16
Hay una explicacin sencilla de las probabilidades objetivas que nos dan las
teoras cientficas, y que se encuentra en muchos textos. Comenzar con una
caracterizacin breve, moderna, de la teora de la probabilidad, que habr
de recapitular los axiomas mencionados previamente y que proceder por
medio de aquella conocida explicacin acerca de lo que trata todo esto.
Un espacio de probabilidad S consta de tres partes: el espacio de mues
tra K, la familia de sucesos F y la medida de probabilidad P. El espacio
de muestra se llama tambin el espacio-resultado, y las razones para ambos
trminos residen en l interpretacin intuitiva. Contemplamos un experi
mento cuyos posibles resultados se representan con los elementos de K.
Un tipo especial de experimento consiste en tomar una muestra fortuita de
cierta poblacin; en tal caso los resultados posibles son que uno tome una
seleccin de ste o de aquel tem de esa poblacin. En todos los casos es
apropiado llamar K al espacio-resultado, y en el ltimo puede llamrsele
espacio maestral.
Pero, en realidad, K es demasiado fino para el informe experimental.
Supongamos que yo tomo arbitrariamente un fumador de cigarrillos y lo
inspecciono en busca de diferentes tipos de cncer, enfisema, enfermedades
del corazn, y as por el estilo. La persona que realmente tom era Claretta
Delicados; pero esa informacin no viene en el informe. Ella estaba, en
todos aspectos, en perfecto estado de salud; y eso s entra en el informe.
El suceso-resultado significativo fue que la persona seleccionada estaba
perfectamente sana.
ste es el razonamiento bsico para especificar una familia F de sucesos
experimentalmente significativos. stos corresponden a subconjuntos de
K. Por ejemplo, el conjunto de la gente perfectamente sana es un subconjun
to de los fumadores de cigarrillos, y el hecho de que la persona seleccionada
estuviera en ese subconjunto es un suceso-resultado (significativo). Para
damos una imagen, es til tomar el tipo de diagrama de Venn utilizado en
la lgica elemental. El conjunto K se representa como un cuadrado, y sus
elementos corresponden a los puntos de ese cuadrado. Los sucesos de F se
representan en K como crculos. Si el crculo E est dentro del crculo E',
ello significa que siempre que suceda E, tambin E ' debe haber sucedido.
Por ejemplo, no se puede seleccionar a un fumador de cigarrillos mento
lados de Virginia sin, a fortiori, seleccionar a un fumador de cigarrillos
norteamericanos. Si los dos crculos se traslapan, su parte comn debe tam
bin representar a un suceso en F; sta es llamada la interseccin de los
H*. P(UE) =
si los sucesos
i= i-
Sostengo que debe estar diciendo eso, porque de otra manera estara
sujeto a la siguiente objecin. Por ejemplo, podra imaginar que hago el
experimento un vez cada minuto, o cada dos minutos, y as sucesivamen
te. Pero cuando se dice la secuencia de resultados que ocurrira, no se
especifica el ritmo al que se llevan a cabo los experimentos. Con esas pa
labras, entonces, no se escoge una frecuencia definida. Me parece que la
respuesta que Popper debe dar es que la secuencia en cuestin se efecta
al ritmo al que se efectuara si realmente se hiciera. Por tanto, las palabras
si C fuera... a diferencia de la palabra podra, escogen un nico curso
posible de sucesos que est determinado en todos sentidos y que, de hecho,
se lleva a cabo si las condiciones se realizan. (De qu otra manera podr
l hablar de la secuencia virtual?)
De modo que ahora sabemos dos cosas acerca de la secuencia virtual
de Popper: (a) la secuencia real es una seleccin fortuita de aqulla, y (b)
23
Este uso de los mtodos estadsticos debe clasificarse bajo el encabezado de la proba
bilidad epistemolgica (que cubre la prueba de hiptesis, la confirmacin y la teora de los
errores). Cada doctrina de la casualidad objetiva, ya sea de propensin o de frecuencia, tiene
que ser completada por alguna consideracin de la probabilidad como grado de creencia,
es decir, alguna consideracin concerniente al uso de las funciones de probabilidad como
medidas de la creencia y la ignorancia.
si la secuencia real es infinita, las dos son idnticas. sta parecera ser la
explicacin correcta de la caracterizacin ms bien vaga que dio Popper.
Popper llam a su nueva interpretacin la interpretacin propensista;
sin embargo, no todos los defensores posteriores de esta interpretacin ex
plican la propensin como una frecuencia de algo que ocurrira en ciertas
condiciones. Algunos, como Ronald Giere, lo hacen slo parcialmente al
decir que la probabilidad es una cualidad objetiva distinta de una frecuen
cia real, pero incluso se rehsan a decir que en una secuencia infinita de
experimentos en condiciones correctamente fijadas, la frecuencia relativa y
la probabilidad coincidiran.24
Henry Kyburg no defendi la interpretacin propensista de la probabili
dad. Pero en un artculo provocativo bosquej un camino en el cual dicha
interpretacin puede precisarse.25 Para comenzar, 61 advierte los tipos de
diferencias, que describo al final de la ltima seccin, entre Popper y otros
defensores de la propensin. Algunos tericos de la propensin, como Giere,
insisten en una separacin lgica completa entre la probabilidad y la fre
cuencia (aunque afirmen que las creencias acerca de las probabilidades son
la gua racional para las expectativas acerca de las frecuencias relativas).
Otros, como Popper, hablan de las probabilidades como frecuencias que se
presentaran en condiciones adecuadas.
La perspectiva que Kyburg esboza es la qe denomina interpretacin
frecuentista hipottica, y que puede satisfacer a los tericos de la propensin
del segundo tipo. La virtud de la propuesta de Kyburg es que se enuncia
en trminos de modelos matemticos de situaciones experimentales. Los
explicar aqu en forma simplificada.
Supngase que mido la pata de una mesa tres veces y encuentro que los
largos son 100 em, 100.3 cm y 100.5 cm. Afirmo que el largo real es 100.3
cm 0.3 cm. Esto indica mi confianza en que, si yo siguiera repitiendo estas
mediciones, la secuencia de nmeros obtenida tendra lmites superiores e
inferiores dentro de [100,100.6], No se est afirmando que ninguna de estas
mediciones arrojara valores fuera del intervalo, sino solamente que a largo
plazo esos valores anmalos tendran un papel insignificante.
Los experimentos diseados para someter a prueba o establecer proba
bilidades son muy similares. Supngase que lanzo 100 veces una moneda
y obtengo 49 caras. Digo que esta moneda es legal, lo cual indica mi con
fianza acerca de una regularidad que sera observada si esta moneda fuera
24 Vanse las referencias en la nota 5, antes.
25 H.E. Kyburg, Jr., Propensities and Probabilities, en Brilish Journalfor the Philosophy o f Science, 25,1974, pgs. 358-375.
sometida a prueba por otras personas que la tiraran, digamos, 103, 104, 105
veces y as sucesivamente. As que estoy considerando muchos otros expe
rimentos que no se llevan realmente a cabo. Mi modelo de la situacin real
implica la referencia a muchas situaciones posibles.
Esta forma de modelar las situaciones ha sido utilizada con xito varia
ble en otras partes. En la lgica y la lingstica se ha usado para desarrollar
hiptesis acerca de calificativos tales como necesario, posible; de ad
verbios modificadores como lentamente, deliberadamente; de verbos
tales como creer, querer, deber, y de los tiempos y modos verbales.
En los fundamentos de la fsica, la perspectiva de varios mundos de Evrett y De Witt es bien conocida, aun si es discutible, y tales modelos han
sido usados tambin para la lgica cuntica, el problema de la medicin y
las paradojas mecnico-cunticas, y tambin para la axiomatizacin de la
mecnica clsica y de la relativista.26
La referencia a los elementos de un modelo de varios mundos se hace
de distintas maneras, como arreglos, situaciones posibles, mundos
posibles o solamente mundos. Utilizar el ltimo trmino principalmente
por su brevedad. En un modelo de Kyburg, cada mundo es o tiene una
secuencia de sucesos en un espacio-resultado; la mayor parte, o la totalidad
de estas series, es finita. Un mundo mximo es aquel que no es parte de
otro, o es infinito. En un modelo cmo tal, la probabilidad del suceso E es
igual a r si y slo si en cada mundo mximo en el modelo, la frecuencia
relativa de E es igual a r. A veces no hay dicho nmero r, en cuyo caso la
probabilidad de E no est definida.
Esta perspectiva difiere de la de Popper en que no hay en general una sola
secuencia virtual, sino varias; y la probabilidad de un suceso es igual a r
exactamente cuando en todas las series mximamente extendidas de experi
mentos posibles, la frecuencia relativa es igual a r. Esta nocin de lo posible
no es, evidentemente, la posibilidad lgica; por el contrario, los asertos de
posibilidad tal y como se presentan aqu son ellos mismos contingentes y
estn pensados para reflejar hechos empricos. De esta manera, podemos
decir de modo semejante que si un cuerpo fuera pesado dos veces en rpida
sucesin tendramos aproximadamente los mismos valores para su peso,
aunque, desde un punto de vista lgico, esto no sea necesariamente as.
Podemos considerar el punto de vista de Popper como un caso especial:
sus modelos son los de Kyburg, con la estipulacin de que el conjunto de
mundos tiene solamente un elemento mximo.
26
Vase la nota 3, antes; tambin la nota 8 y los artculos de Aldo Bressan, Patrick
Suppes y de m mismo mencionados en la nota 15 del cap. 3.
Sin embargo, tal y como se presentan, ambos puntos de vista son presa de
todas las dificultades que acechan a la interpretacin frecuentista estricta.
Porque, claramente, hay modelos que no contienen sino un nico mundo (un
nico largo plazo). En ese caso encontramos que el dominio de la funcin de
probabilidad definida puede no ser un campo de Borel, y de hecho, puede no
ser ni siquiera un campo; e incluso, si fuera definido, no sera contablemente
aditivo.
Dadas estas dificultades (que algunos tericos de la propensin pueden
evitar y evitan por medio del simple recurso de negar todas y cada una de
las conexiones lgicas entre la frecuencia y la probabilidad), los modelos
no sern aceptables. Pero puede ser posible alguna mejora de la propuesta
de Kyburg.
por una teora que suponemos, ya por las expectativas que nos hemos forma
do despus de conocer los resultados de los experimentos reales. Por tanto,
no solamente esperamos una extensin de los resultados, sino tambin una
cierta concordancia, es decir, una coherencia. En la realidad, tal concordan
cia sera, de nuevo, aproximada, pero aqu viene la tercera idealizacin:
suponemos que la concordancia ser exacta.
Para precisar lo anterior, llamemos sucesos significativos de un experi
mento real con particin {A} = G, exactamente a los miembros del campo
de Borel BG C F generado por G. Ahora estipulamos primero que, si ese
experimento ideal tiene una secuencia de resultados s, entonces fre (An,s)
est bien definida para Cada A de G y que ^ 1, fre (A,er) = 1. Del
resultado de Polya se sigue que fre ( - , a) est bien definido y es contable
mente aditivo en BG. nicamente las frecuencias relativas de esos sucesos
significativos generados por la particin sern consideradas en la utiliza
cin o en la apreciacin de cualquier experimento ideal. Estipulamos en
segundo lugar que si A es un suceso significativo en varios experimentos
ideales, o la unin contable de sucesos significativos en otros experimen
tos similares, entonces las frecuencias concuerdan como se requiere. Para
contestar la pregunta de cuntos experimentos ideales debera contener el
modelo, estipulamos en tercer lugar que los sucesos significativos forman
juntos un campo de Borel en el conjunto K de resultados posibles. ste de
be incluir, por ejemplo, que si consideramos experimentos con particiones
{A%}, m = 1, 2, .. . , y la serie A}, f , A f , . . . , converge hacia el suceso A,
entonces debe haber algn experimento en el modelo en el cual A sea un
suceso significativo]
Unidas, estas tres estipulaciones dan el contenido exacto de la terce
ra idealizacin. Y las tres idealizaciones juntas producen la nocin de un
modelo de una situacin experimental por medio de una familia de experi
mentos ideales (una buena familia"), que ahora enunciar con precisin.27
1. Una buenafamilia (de experimentos ideales) es una pareja Q =< K ,E >
en la que K es un conjunto no vaco (los resultados posibles o mun
dos) y es un conjunto de parejas a = < Ga, sa > (los experimentos
posibles) tales que
(i) Ga es una particin contable de K y sa una secuencia contable de
miembros de K (la secuencia resultado del experimento a);
(i) s i Ai . Az , - estn en BGQl, BGa%,. , los campos de Borel genera
dos por Ga i, Ga2, . . ., (los campos de Borel de sucesos significati27
Quisiera agradecer a Robert Anderson (Matemticas, Universidad McMaster) por
haberme sealado un error en una versin anterior (indita) de esta definicin.
vos de i,
...) entonces hay un experimento 3 en E tal que 3 =
0 Ai est en Gp; y fre (B, sp)
re (A a, ) : i = 1,2 ,3 ___ }
si los A son disyuntos;
(iii) fre {A, sa) est bien definida para cada A en Ga;
(iv)
(A,s): A e G a) = l;
(v) si A e BGa n BGp entonces fre (A,<*) = frel (A,s@).
Como se ha notado, en el experimento < Ga ,s a > llamamos sa a la se
cuencia resultante, y a los miembros de BGa los suceios significativos. El
resultado de Polya garantiza, por (iii) y (iv), que fre (A, sa) est definido
para cada suceso significativo A. Ntese por la condicin (ii) que la unin F
de todos los BGa es ella misma un campo de Borel, porque, si A i , A 2,'.. .son
sucesos significativos de a i , a.%,. . . , su unin est en BGp y por tanto en F.
2. Si Q =< K, E > es una buena familia, definimos, para A en F : PQ()
r si y slo si fre (A, aa) = r para todo a en tal que A es un suceso
significativo en a.
3. Resultado I: si Q = < K, E > es una buena familia con F como la
familia de sucesos significativos, entonces < K, F, PQ > es un espacio
de probabilidad.
Pues sean A i, A2, .. . miembros disyuntos de F. Entonces, por la condicin
(ii) de ( 1), hay un experimento 0 tal que su unin es un suceso significativo
sn 0 . Sus frecuencias relativas son las mismas en todos los experimentos
:n los que ellos son sucesos significativos; por tanto, PQ es contablemente
iditivo.
k Resultado II: si < K , F , P > es un espacio de probabilidad, entonces hay
una buena familia Q = < K , E > tal que P = PQ,
isto es fcil de probar; sea E la familia de todas las parejas < G, s >
ales que G C F e s una particin medible contable de K y s una secuencia
te miembros de K tal que fre ( - , s) restringido a G es exactamente P
estringido a G. La condicin (ii) de 1 se satisface sencillamente porque
os conjuntos medibles son cerrados bajo la unin contable y cada conjunto
uedible es un miembro de alguna particin contable medible. Las otras
ondiciones se satisfacen puesto que P es una medida de probabilidad.
Tenemos ahora el resultado de representacin deseado: los espacios de
robabilidad tienen una correspondencia natural con las buenas familias
e experimentos ideales. Entonces es posible decir:
efectu una serie de dichas pruebas; coa cada uno de los sujetos se lleva
ron a cabo 200 pruebas; eran 30 sujetos (estudiantes de la Universidad de
Stanford). El mtodo de predecir frecuencias de xito en las secuencias de
resultados efectivos as obtenidas, con base en las probabilidades del mo
delo, se logra por medio del clculo estadstico comente. Estas frecuencias
predichas se comparan entonces con las frecuencias observadas. En este
punto se puede examinar el grado de adecuacin que existe entre el modelo
y los datos:
La prueba x 2 del grado de adecuacin entre los valores predchos y los obser
vados arroja un valor x 2 de 3.49. Existen cuatro grados de libertad, pero un
parmetro fue estimado a partir de los datos, y as la x2 debe interpretarse con
los grados de libertad iguales a 3, y como podra esperarse luego de inspeccio
nar la Tabla 1, no hay una diferencia estadsticamente significativa entre los
datos predchos y los observados.28
Para tener una idea intuitiva de cmo se derivan las frecuencias predichas
tericamente, imagnese que alguien se le pide sacar 25 bolitas (te un barril
que contiene un milln. Bajo la hiptesis de que la mitad son negras, cun
tas bolitas negras se puede predecir que habr entre sas 25? Obviamente,
uno quiere hacer algo ms que simplemente decir: cerca de la mitad. La
hiptesis de esa persona no puede probarse a menos que saquemos ms de
una vez las bolitas; sa es la razn por la que el experimento anterior utiliz
30 sujetos. La prueba de la ji cuadrada mencionada en el pasaje precedente
es un mtodo estadstico para decir el grado en que los resultados sostie
nen la hiptesis. Esta prueba puede utilizarse para las probabilidades, y no
solartiente para barriles finitos, porque su precisin no es muy sensible al
tamao del barril; lo es an menos mientras ms grande sea el barril. Por
tanto; nosotros podemos transponer esta medida de bondad de ajuste a la
comparacin de frecuencias relativas a largo plazo con la frecuencia efecti
va en el plazo efectivo, considerando el plazo efectivo como una seleccin
aleatoria d e lbarril del modelo.
Entonces, mientras esperamos que se realice una investigacin ms deta
llada, podemos decir que una teora estadstica es empricamente adecuada
si tiene por lo menos un modelo tal que la diferencia entre las frecuencias
predichas y las frecuencias efectivas en los fenmenos observables no sea
lina diferencia estadsticamente significativa.
28
Patrick Suppes, The Stmcture of Theories and the Analysis of Data, pgs. 262-283,
en F. Sippe (comp.); The Structure ofScientific Theories, Urbana, Universty of Illinois Press,
1974; la cita pertenece a la pg. 277.
Los modelos de una teora probabilstica son, o tienen partes que son, espa
cios de probabilidad. En la interpretacin que propuse, cada uno de dichos
modelos es reinterpretado como si consistiera en elementos, de los cuales
cada uno representa una secuencia alternativa posible de sucesos-resultado.
Solamente una de estas secuencias puede corresponder a la secuencia de su
cesos (tales como los resultados experimentales) que efectivamente ocurren
en nuestro mundo.
Los argumentos que condujeron a esa interpretacin fueron concebidos
para mostrar que no podemos tener una reconstruccin ms econmica de lo
que ocurre en una teora fsica que involucra probabilidades. La reconstruc
cin de un modelo de tal teora, en el cual cada una de las partes corresponda
a algo real, no puede tenerse.
,
Si estamos convencidos de esto, mostraremos tambin menos reticencia
frente a afirmaciones semejantes acerca de los modelos de otras teoras.
Si modelo el comportamiento de un oscilador simple, o del plomo de un
pndulo, uso un espacio-estado (el espacio-fase) y describo la trayectoria
del ente en ese espacio. Muchos de los puntos que estn all no correspon
den a estados que el ente tuvo efectivamente en algn momento, y muchas
trayectorias en ese espacio, admitidas por nuestra fsica, no tienen corres
pondencia con la historia del ente ni con la historia real de ningn ente
similar.
Tal espacio, y el modelo como uft todo si ste involucra algo ms, es
un ente matemtico, Corresponde ste, como un todo, a una parte real
del mundo? Corresponden las subestructuras importantes a algo real?;
a estados no presentes pero reales, a trayectorias reales*, o quizs a los
estados o trayectorias de entes reales pero no presentes; o a los estados o a
la trayectoria que este ente real tena en un mundo posible, diferente, real,
pero no presente? Corresponden cada una de las sucesiones de sucesos en
(mi reconstruccin de) un espacio de probabilidad a lo que sucede en alguna
situacin real, pero quizs no presente?
Puede ser injusto plantear las preguntas de esta manera. Varias posiciones
filosficas ofrecen una respuesta afirmativa a algunas de estas preguntas o a
otras semejantes, y puede ser injusto plantear las preguntas sin adentrarse en
las razones que estn detrs de posiciones como sas. Sin embargo, lo que
yo deseara hacer es mostrar por qu, dentro de la posicin filosfica qu
he desarrollado aqu, mi insistencia en la interpretacin frecuentista modal
de la probabilidad (y, de manera ms general, en el enfoque del espacioestado para los fundamentos de la fsica) no me compromete con ese tipo
de posicin metafsica.
Desde mi punto de vista, el realismo modal se asemeja bastante al rea
lismo de entes tericos. Si observamos un modelo de una teora cientfica,
discernimos importantes subestructuras que no corresponden a nada obser
vable; y asimismo discernimos subestructuras que no corresponden a nada
en el mundo efectivo. Los dos casos se traslapan; no hay un relacin l
gica entre la observabilidad y la existencia efectiva. (El galope del jinete
sin cabeza es un suceso observable, pero no es algo que suceda en el mun
do efectivo.) Las actitudes filosficas frente a ambos pueden diferir. Pero
de acuerdo con el empirismo constructivo, la nica creencia involucrada en
la aceptacin de una teora cientfica es la creencia de que es empricamen
te adecuada: todo lo que es a la vez real y observable encuentra un lugar
en algn modelo de la teora. De manera que hasta donde concierne a la
adecuacin emprica, la teora sera igualmente buena si no existiera nada
en absoluto que fuera o inobservable o no real. La aceptacin de la teora
no nos compromete a creer en la realidad de cualquiera de esos dos tipos
de cosas.
Yo identificara todava la verdad de una teora con la condicin de que
se establezca una correspondencia exacta entre la realidad y uno de sus
modelos. Esto implicara que, si uno de tales modelos tiene partes corres
pondientes a cursos alternativos de sucesos (alternativos en el sentido de
mutuamente incompatibles), entonces puede haber una completa corres
pondencia entre el modelo y la realidad solamente si ios cursos alternativos
posibles de sucesos son reales. Y las relaciones lgicas entre las teoras y
las proposiciones continan, por supuesto, siendo definidas en trminos de
verdad: la teora implica una proposicin exactamente si esa proposicin
es verdadera en cualesquiera condiciones en las que la teora sea verdadera.
Pero todo esto es paralelo a lo que he dicho acerca de lo inobservable: la
adecuacin emprica no requiere de la verdad; desde mi punto de vista, la
ciencia aspira nicamente a la adecuacin emprica, y cualquier cosa que
vaya ms all de sta no es pertinente para su xito.
Permtaseme introducir tres afirmaciones que son, en un primer momen
to, penosamente inconsistentes entre s. Primero: la probabilidad es una
modalidad. Segundo: la ciencia incluye teoras irreductiblemente probabilsticas. Y tercero: la modalidad est ausente de la descripcin cientfica
delmundo.
se representan con tales y tales elementos en este modelo y que hay una
funcin de probabilidad definida en ellos. En cambio, decimos que la pro
babilidad de desintegracin espontnea de un tomo de radio es as y as.
No decimos que quemar cobre a la temperatura y a la presin de una ha
bitacin normal no tiene contrapartida en ningn modelo de nuestra fsica;
nosotros decimos simplemente que eso es imposible. Una vez que la teora
es aceptada (sea toutcourt, slo temporalmente o por mor del argumento),
gua de cierta manera el uso de nuestro lenguaje. El lenguaje que hablamos
en ese momento tiene una estructura lgica que deriva de las teoras que
aceptamos.
Debe recordarse aqu qu tareas se impone a s misma una teora del
lenguaje. Debe dar cuenta de los fenmenos pertinentes; y stos son princi
palmente la estructura gramatical y los patrones de inferencia manifiestos
en la conducta verbal. Los modelos que construimos al desarrollar dicha
teora son lenguajes artificiales. Si el uso del lenguaje es guiado por una teo
ra cientfica aceptada, entonces debemos dar una ojeada a esa teora para
construir modelos del lenguaje en uso.
No puedo pretender que tenemos una teora del lenguaje satisfactoria ni
que est cerca de ser completa. Tampoco puedo embarcarme aqu en un
proyecto de tal magnitud. Pero explicar brevemente lo que considero que
son los dos problemas centrales para la explicacin del lenguaje de la ciencia
y algunas ideas concernientes a su solucin. Estar ya claro, en primer lugar,
que considero esto una tarea secundaria (que no contribuye directamente a
las tareas principales de la filosofa de la ciencia), y, en segundo lugar, que
esto es una parte y una parcela de la tarea de desarrollar una teora general
del lenguaje. El lenguaje de la ciencia es una parte del lenguaje natural y
no es esencialmente diferente de las otras partes^
El primer problema importante es ste. En conexin con el desarrollo
de la lgica modal y sus ramas proliferantes, y con el de la lingstica
terica reciente, hemos visto el desarrollo de una semntica formal muy
rica, All, un lenguaje es caracterizado (sta es una manera de considerarlo)
al especificar la estructura de los modelos para las teoras que se formulan en
ese lenguaje. A stas se las denomina generalmente estructuras de modelos
de mundos posibles. Por otro lado, en la filosofa de la ciencia se ha prestado
mucha atencin a la caracterizacin de la estructura de los modelos tal y
como aparecen en la literatura cientfica. El primer problema central es
unificar estos dos esfuerzos, ya que, a primera vista, las estructuras de los
modelos que se encuentran en la semntica y los modelos de las teoras
cientficas (incluso aquellos que se encuentran en los fundamentos de la
fsica) son completamente diferentes.
n
La segunda va concierne a la causalidad eficiente, y yo la veo como una
contribucin sustancial a la primera va, aunque Kenny la considera sola
mente un informe sobre la astrologa medieval.5 De aqu en adelante seguir
la exposicin de la Summa Theologiae (Qu. 2, Art. 3).
As, Toms de Aquino: en el mundo de las cosas sensibles, discernimos
un orden de causas eficientes. No se da el caso de una cosa que sea su
propia causa eficiente; porque si fuera as, sera anterior a ella misma, lo
cual es imposible. Tampoco es posible proceder al infinito con las causas
eficientes. Por tanto, es necesario admitir una causa eficiente primera.
Y Toms de Aquino apoya esto: en el orden causal, la primera es la causa
de la causa intermedia, y la intermedia es la causa de la causa ltima. Ahora
bien, suprimir la causa es suprimir el efecto. Por tanto, si no hay una primera
entre las causas eficientes, no habr causa ltima ni intermedia, y por tanto,
no habr efecto ltimo.
Debe sealarse una vez ms que previa (prius) no tiene que ser interpre
tada en un sentido temporal. Para establecer mi analoga con la explicacin
recurro a una cuestin sealada en I; para que A explique B es una condi
cin necesaria que A implique B; y tambin que A implique ms que slo
B. Adems, como la caracterizacin de Hempel lo especifica tambin, las
premisas de una explicacin deben ser verdaderas. (Ntese que recurro a
la caracterizacin de Hempel solamente en tanto que establece condicio
nes necesarias para la explicacin, evitando as las mayores objeciones
atribuibles a esa caracterizacin.) De acuerdo con ello, dir que A implica
propiamente B si y slo si, primero, A es verdadera; segundo, A implica B,
y tercero, A implica ms que B.
As que argumento: en la explicacin de los fenmenos naturales dis
cernimos un orden de implicacin propia. Es imposible que algo pueda
implicarse propiamente a s mismo, porque ese algo no puede implicar ms
qe s mismo. Tampoco es posible proceder al infinito con implicaciones
propias en una explicacin.
Y apoyo esto: en una explicacin, las premisas establecen la verdad de
las lneas intermedias que establecen la verdad de la conclusin. Pero si no
hay premisas (lneas no implicadas propiamente por lneas precedentes, de
manera simple o en conjuncin), entonces no se establece absolutamente
ninguna verdad.
5 A. Kenny, The Five Ways, Londres, Routledge and Kegan Paul, 1969, pgs. 43 s.
Y
demuestro esto suponiendo lo contrario per absurdum.6 Es decir, su
pngase que en la definicin usual de prueba (una secuencia finita de lneas,
cada una de las cuales es un axioma o es implicada por las lneas preceden
tes, de manera simple o en conjuncin), omitimos la restriccin a un largo
finito. Entonces puede haber derivaciones infinitamente largas de hechos a
partir de teoras, las cuales podran ofrecerse como explicaciones de estos
hechos. Sin embargo, esto es absurdo puesto que cada enunciado verdadero
puede entonces si alguno puede ser explicado. Porque imagnese que
existe una explicacin infinita indispensable; una serie infinita de enuncia
dos
cada uno de los cuales es implicado propiamente por su
predecesor, y ningn enunciado verdadero los implica a todos ellos. Enton
ces sea A algn enunciado verdadero cualquiera, y constryase la serie
. . . , B n & A , . . . , B k &A, A
donde k es el primer nmero tal que A no implica deductivamente Bk. Est
claro que en esta nueva oracin, si A es un enunciado verdadero cualquiera,
entonces cada lnea es implicada propiamente por la lnea precedente. De
hecho, sta secuencia dejando de lado la restriccin de la finitud para
las pruebas, y tambin el valor de verdad de A es una prueba intachable,
matemticamente correcta y categrica del enunciado A. Porque cada lnea
es, o bien un axioma lgico, bien se sigue deductivamente de las lneas
precedentes. Pero esto reduce el tema al absurdo.
El valor de lo anterior reside en que apoya el lema crucial acerca de la
inadmisibilidad de un retroceso infinito en la explicacin, que apareca en I.
m
La tercera va es la prueba de contingentia mundi. Tiene la desventaja
aparente de involucrar una obvia falacia lgica. Pero est otra vez en el
espritu de la empresa de Santo Toms eliminar su aparente referencia al
tiempo: y esto hace a un lado la falacia
As, Toms de Aquino: la tercera va est tomada de la posibilidad y
la necesidad, y es como sigue. Encontramos en la naturaleza cosas que es
posible que sean y que no sean. Pero es imposible que stas existan siempre,
porque aquello que puede no ser, en algn momento no es. Por tanto, si todo
6
Adapto aqu un argumento introducido en otro contexto por R.H. Thomason y deseo
agradecer a R. de Sousa por sealarme anteriormente un error tcnico.
fuera as, debera haber habido algn momento en que no haba nada. Pero
si esto fuera verdad, an ahora no habra nada.
Reinterpretada, esta va tiene que ver con la inteligibilidad del mundo,7
Que un hecho sea as o as, es contingente; pero puede explicarse sealando
que es contingente en el mundo que es as o as, y una consecuencia del
mismo. Sin embargo, que el mundo sea as o as, es tambin contingente; y la
pregunta inmediata es: contingente como consecuencia de qu?
Sea esto como fuere (no tengo ningn argumento a favor del valor de
estas pruebas en tanto pruebas de la existencia de Dios), es ciertamente
muy pertinente para el realismo cientfico como una consideracin de la
necesidad natural.
Por tanto, argumento: la tercera va est tomada de la posibilidad y
la necesidad, y e s como sigue. Encontramos en la naturaleza distintas re
gularidades, y podemos considerarlas como una coincidencia o como si
procedieran necesariamente de razones subyacentes. Si es lo primero, nos
otros no podemos conocerlas como regularidades, porque lo que sucede por
coincidencia puede no suceder. Pero algunas regularidades las conocemos
como regularidades, por tanto ellas proceden de razones subyacentes.
Y apoyo esto, haciendo referencia a dos eminentes exponentos del realis
mo cientfico, as como plando al conocimiento cmn. En una famosa
conferencia, C.S. Peirce se dirigi a s audiencia de la manera siguiente:
Supongan que atacamos la cuestin experimentalmente. Aqu tengo una piedra.
Ahora pongo esa piedra en donde no haya n obstculo entre ella y el suelo, y
voy a predecir confiadamente que, tan pronto com o mi mimo la suelte, la piedra
caer al suelo. Probar que puedo hacer ua prediccin correcta por m edio de
un ensayo real, si quieren. Pero por la expresin de sus rostros veo que todos
ustedes piensan que ser un experimento muy tonto.8
Y J.J. Smart parece estar detallando esta misma cuestin cuando escribe:
S i e l fenom enalista (es decir, incrdulo) est en lo correcto acerca de las en
tidades tericas, debem os creer en una coincidencia csm ica. Es decir, si es
as, lo s enunciados acerca de los electrones, etc., solam ente tienen un valor
instrumental: simplem ente nos permiten predecir los fenm enos en el nivel d e
los galvanm etros y las cmaras de vapor. N o podran hacer nada para eliminar
e l ca r cter sorprendente de estos fenm enos. Por otra parte, s i interpretamos
una teora cientfica de una manera realista, entonces no tenem os necesidad de
7 Hick, Argumentsfor the Existence ofGod, Londres, Macmillan and Co 1970, pg. 44.
8 C.S. Peirce, Essays in the Philosophy o f Science, V. Tilomas (comp.), Indianpolis,
Bobbs-Memll, 1957, pg. 166; tomado de su The Reality ofThirdness.
solar en cuanto a que en su mayor parte consisten en esp a d o vaco. (ste era e l
punto de Eddngton.) A s, a pesar de que la mayor parte de las proposiciones
del sentido com n en la vida ordinaria son verdaderas y o todava quisiera decir
que la ciencia nos da una im agen ms verdadera del mundo.12
diferente: uno cuadrado, uno multiangular, otro largo, y otro de una forma
distinta...
Lo que ahora sostengo es que lo que est mal en la quinta va de Toms
de Aquino no es la estructura del argumento, sino sus premisas. Pues, sobre
la base de mirar la cantidad de regularidades y estructura en los fenmenos
naturales, Toms de Aquino argumenta que deberamos optar por la mejor
explicacin. Y aade que la mejor explicacin es aquella que postula Un
diseo inteligente y segn un propsito. sta es la premisa que rechazo.
Pero que la inferencia cientfica consista en aceptar como verdadera la mejor
de las explicaciones (disponibles), es una posicin que han sostenido, de
diversas maneras, muchos filsofos modernos.'
Por lo tanto, arguyo: vemos que muchas cosas, tales como los cuerpos
naturales, exhiben una gran regularidad! en su comportamiento, reacciones y
evolucin. Puede decirse que esto es as como resultado de ua coincidencia,
o puede ser explicado por medio de la postulacin de ua microestructura que subyace en los fenmenos. Puesto que es una prctica cientfica
correcta hacer inferencias hacia la mejor explicacin, debemos adoptar el
ltimo Camino. Y as debemos aceptar, como una representacin literalmen
te verdadera, la imagen que presentan nuestras mejores teoras cientficas
disponibles.
nadando por todos lados. Pero no slo eso, sus amigos (todos del sexo
masculino) los vieron tambin.17
Puesto que, como consecuencia de lo anterior, la afirmacin de que hay
una diferencia importante (en aspectos pertinentes) entre las entidades teri
cas y las no tericas es crucial para frustar el contraargumento antirrealista
con el cual comenc, y puesto que hemos encontrado deficientes las ob
jeciones en contrario, concluyo que tal diferencia existe y que las nuevas
cinco vas no pueden bloquearse del mismo modo que las antiguas.
apariencias, 6 8 -6 9 ,7 3 ,7 9 ,8 9 - 9 0
Boyd, Richard, 2 3 ,2 5 ,5 9 ,6 0 ,6 3 ,7 1 ,7 9 ,
103 -1 0 7 ,1 1 0
Boyle, ley de, 190
1 9 9 ,2 5 0 ,2 5 2 -2 5 4 ,2 5 8 -2 5 9
Arima, Katherine, 213
Aristteles, 43, 123, 133, 143, 163,164,
256
aristotlico, realismo, 15 ,16,142,191,194
arreglo fortuito [chance set up\, 222-223
astrologa, 195,198, 253
asimetras de la explicacin, 133,144-145,
163-168.
Boyle, Robert, 1 5 ,1 6 ,1 5 4 ,2 4 9
Braithwaite, R.B., 157
Bressan, Aldo, 8 4 ,2 3 2
Brodbeck, May, 157
Bromberger, Sylvain, 3 3 ,1 5 9 ,1 6 0 ,1 7 6
browniano, movimiento, 7 1 ,1 5 4
Bub, Jeffrey, 210,2 1 7
Bunge, Mario, 120
Camap, Rudolf, 1 6 ,3 0 ,8 0 ,1 1 6
bayesianismo, probabilidad, 4 0 ,5 6 ,1 0 8
Borel, campo de
2 1 1 ,2 5 6
Carroll, Lewis, 147-148
causalidad, 1 2 6 ,1 4 3 -1 4 7 ,1 5 5 ,1 5 7 -1 5 8 ,
161
causa comn, 4 3 -5 3 ,1 5 0 ,1 5 3 -1 5 5 , 179
coincidencia, 125
compromiso, vase teoras
interpretacin de la ignorancia, 2 1 1 -
detenninismo, 4 8 ,1 8 6 -1 8 7
Dirac, P., 13
213
macroestado, 20 4 -2 0 6
mixto, 21 0 -2 1 4
puro, 8 6 -8 8 ,9 0
superposicin, 8 7 ,213,?216
Everett, H 1 96,232
existencia, 2 7 -2 8 ,3 4 ,2 4 0
experimentacin, 9 9 -1 0 3 ,1 0 5 ,2 3 3 -2 3 4 ;
vase tambin estadstica
explicacin, 1 5 ,2 4 ,2 9 ,3 0 ,3 4 ,9 6 -9 7 ,1 0 4 ,
1 1 3 ,1 1 5 ,1 1 9 ,1 2 0 ,1 2 2 -1 2 3 ,1 2 6 ,1 2 8 130,133-134,247; vanse tambin asi
metras; relevancia; rechazo
Hermes, H., 85
fenomenologa, 100 ,1 0 9 ,1 8 8
Feyerabend, Paul, 3 0 ,1 2 0 ,2 5 7
ficcionalismo, 16,55
Field, Hartty, 14,251
Fiertz, M., 122
Fine, Arthur, 19, 210
Hick, J. H., 2 5 5 ,2 5 8 ,2 6 0
Hilbert, D., 6 4 ,8 5 ,9 0 ,9 1 ,2 1 3
Hooker, Clifford A., 2 5 ,5 4 ,7 8 ,7 9 ,9 4 ,2 1 0 ,
2 1 2 ,2 1 8
Horwich, R, 100
Hume, David, 1 4 4 ,1 5 0 ,2 5 9
frecuencia relativa, 1 9 7 ,1 9 9 ,2 2 3 -2 3 2
Fresnel, A., 8 7 ,1 2 9
Friedman, Michael, 7 2 ,1 3 9 ,1 4 0 ,1 9 6
Gardner, Martin, 95
cuntica
imagen cientfica, 14; vase tambin ima
gen manifiesta
Gardner, Michael, 79
Garfinkel, Alan, 159
imagen manifiesta, 13
,
inferencia hacia la mejor explicacin,
Gauthier, Yvon, 14
geometra de los siete puntos, 65-66
36 -3 9
infinitud, 197,206-208
110, 1 1 4 ,1 2 5 ,1 8 3 ,1 9 6
Good, I.J., 190
Goodman, Nelson, 146,149
Grossman, N eil, 212
instrumentalismo, 2 4 ,2 7
interpretacin literal, 2 4 -2 6 ,2 8 ,5 9
isomorfismo, 6 6 ,6 9
Grnbaum, Adolf, 1 3 ,1 4 2 ,2 0 3
Gudder, S 94
Kamp, Hans, 33
Kitcher, R, 140
Harman, Gilbert, 3 6 -3 9 ,1 2 6 ,2 4 4
Harper, William, 183,210
Klein, A.G., 87
Kolmogoroff, A., 206-207
Milton, John, 31
mnima empricamente, teora, 93
minlteora, 113-114
modal, lgica, 148, 1 69,242
modalidad, 9 2 ,1 7 0 -1 7 1 ,1 7 8 ,1 9 5 -1 9 7 ,
218, 225, 2 3 3 ,2 3 9 -2 4 7 ; vanse tam
bin condicionales contrafcticos;
mundos posibles
modelo, 63 -6 7 , 89 -9 0 , 1 6 7 -1 7 1 ,1 8 8 189, 2 0 7 ,2 3 7 -2 4 2 ,2 4 6
Moore, Gregory H., 222
Morris, Charles, 116
movimientos, vase apariencias
mundos posibles, 7 0 ,1 4 7 ,1 6 8 -1 7 1 ,1 8 8 ,
1 9 6 ,2 3 1 -2 3 2 ,2 4 1 -2 4 2 ; vense tam
bin Everett; modalidad
N agel,Em st, 1 1 9 -1 2 0 ,1 5 7
Napier, Sir Charles, 172
necesidad, 143,170; vase tambin moda
lidad
Newton, Isaac, 6 7 -6 9 ,7 3 ,7 5 ,7 6 ,6 8 ,8 4 ,
8 5 ,1 1 8 ,1 2 0 ,1 2 2 ,1 2 3 ,1 2 6 -1 2 8 , 130,
1 3 1 ,1 3 6 ,1 4 7 ,1 5 4
.
nominalismo, 1 5 -1 6 ,5 0 ,5 8 ,1 9 5 -1 9 6 ,2 3 9
mecnica cuntica, 4 4 -4 5 ,4 8 ^ 4 9 ,5 3 -5 4 ,
observabilidad, 2 6 -2 7 ,3 0 - 3 6 ,7 9 ,8 0 -8 3 ,
5 8 ,8 1 ,8 3 ,8 5 ,8 7 ,9 0 ,9 2 ,9 4 ,1 2 3 ,1 5 4 ,
prica
Opat, G.I., 87
medicin, 8 3 ,8 7 -8 8 ,2 1 8 ,2 3 1
medicin, teora de la, 206
Mellor, Hugh, 14 ,1 9 6 ,2 4 5
metodologa cientfica, 103-107
Mchelson-Morley, experimento de, 71
Millikan, R 9 9 ,1 0 1 ,1 0 3 ,2 6 1
Pater, W., 15
Pauli, principio de exclusin de, 154
Peacocke, Christopher, 110
Peirce, Charles Sanders, 3 6 ,1 9 6 ,2 2 9 ,2 5 5
Ptolomeo, 4 1 ,6 7 ,9 3
Putnam, Hilary, 2 3 ,4 0 ,5 4 -6 1 ,1 1 0 , 136,
pragmtica, 1 0 9 ,1 1 6 -1 1 9 ,1 6 7 -1 7 1 ,2 4 3 -
Ramsey, F.P., 8 0 ,1 8 3 ,1 9 6
2 3 7 ,2 4 0
en la mecnica cuntica, 8 5 -8 6 ,1 3 4
medida de la ignorancia, 200-206
personal; 2 5 ,4 0 ,1 8 2
vense tambin bayesianismo; causa
comn; propensin; referencia, clase
de; frecuencia relativa
propensin, 196,229-232
proposiciones, 168-171
Przelewski, M 89-90
210
Quine, Willard van Orman, 1 1 8 ,1 4 9 ,1 9 1
1 0 4 ,1 9 5 ,2 5 4 -2 4 6 ,2 4 9 -2 5 0
referencia, clase de, 182,223-224
Reichenbach, Hans, 1 6 ,4 1 -5 3 ,8 2 ,1 4 9 1 5 3 ,1 8 6 ,1 9 6 ,2 0 3 ,2 1 1 , 223-229
rechazo de la demanda de explicacin,
141-143 ,
relacin de relevancia, 176-177; vase
tambin preguntas por qu
relatividad, teora de la, 7 1 -7 2 , 88
relativismo conceptual, 108; vase tam
bin objetividad
relevancia;
estadsitica, 47
explicativa, 1 3 3 -1 3 5 ,1 5 8 ,1 6 1 -1 6 3 ,
176-177,188-189;
vase tambin causa comn
respuestas:
directa, 172,179
evaluacin de, 181187
ncleo, 180;
vase tambin preguntas
Rogers, Ben, 14
Rubin, H., 226
Russell, Bertrand, 64
R*ss*ll, B*rtr*nd, 147-148
Rutherford, E., 55-56, 127, 261
Salmn, Wesley, 1 3 ,4 1 ,4 3 -4 4 ,4 9 , 51,
135-141, 150-155, 182, 186, 190,
196
Schrdinger, E., 2 1 2 -213,261
sintaxis, 6 6 ,1 1 6
Smart, J.J.C., 1 3 ,3 6 ,4 0 -4 3 ,4 8 ,5 1 ,6 0 ,
-1 6 4 ,1 7 2 ,2 4 9 ,2 5 2 ,2 5 5 -2 5 7 ,2 6 1
vaguedad, 33
'
Vaihinger, H 5 5 -5 6
van Fraassen, Bas, C., 170,218
van Leeuwenhoek, 261
variables ocultas, 4 0 -4 1 ,4 9 -5 0 ,5 3 -5 4 ,
7 6 -7 7 ,9 3 -9 4 ,1 2 3
Venn, John, 2 2 0 ,2 2 2 ,2 2 9
verdad, 2 3 -2 4 ,2 6 , 65, 108 -1 0 9 ,1 1 7 ,1 9 1
virtudes, vase teoras
von M ises, Richard, 228
von Neumann, J., 76 -7 7
Wessels, Linda, 243
Weyl, Hermn, 92, 195
Wilde, Oscar, 249
Wittgenstein, Ludwig, 244
Wojcicki, R., 8 9 -9 0
Woolhouse, Roger, 14,16
cin; estadstica,
contrastacin, 9 8 -1 0 7 ,2 3 0 -2 3 4 ,2 3 7 239
Zanotti, Mario, 48
Zwart, P.J., 14 4 ,1 5 7 -1 5 8