Professional Documents
Culture Documents
L G IC A D E L A C O N S T R U C C I N D E T E O R A S * 1
CARL G. HEMPEL
ri45i
146
EL D ILEM A D E L TE R IC O
cltc2...ck
( 1 .1 )
'
L u L t ... Lr
E
*
Para una discusin ms completa de este esquema y para ciertas salveda
des concernientes a la identidad estructural de los argumentos de explicacin
y de prediccin, vase el captulo XII [del libro La explicacin cientfica del
mismo autor].
C A R L G . H E M PE L
147
EL D ILE M A D E L T E R IC O
148
C A R L G. H EM PEL
149
150
EL D ILE M A DEL T E R IC O
8
Mises (1951, p. 188). La consideracin de que son causales las explicaciones de este tipo est sujeta a debate: puesto que la concepcin clsica de la
causalidad est ntimamente ligada a la idea de leyes estrictamente universa
les que relacionan causa y efecto, sena mejor reservar el trmino explicacin
causal para algunos argumentos explicativos que tienen la forma ( 1 .1) en los
cuales todas las leyes aducidas son de forma estrictamente universal.
C A R L G. H EM PE L
151
152
EL D IL E M A DEL T E R IC O
C A R L G . H EM PEL
153
154
EL D ILEM A DEL T E R IC O
D e f.e (x ) = p ( x ) / v ( x )
155
C A R L G. HEM PEL
O :
p(c) = P i ;
02:
v(c) = vi
O3
p { 0 = P2 )
O 4
v {l) = V2
e ( c ) = P \ h x \ e { l ) = P2 /V2 .
c flota en /.
156
EL D ILE M A DEL T E R IC O
.( ) = * /
(3.8)
( c ) < e (l)
O,
157
C A R L G. HEM PEL
0 2
,0
3 ,0 4
a Os,
EL D IL E M A DEL T E R ICO
158
C A R L G. H EM PEL
159
160
EL D ILE M A DEL T E R IC O
C A R L G. H E M PE L
161
162
EL D I L E M A D E L T E R I C O
Si usted tiene un en
163
C A R L G. HEM PEL
(6.1)
Def. Q x = ( C x D E x )
164
EL D ILE M A DEL T E R IC O
165
C A R L G. HEM PEL
dr, p or lo tan to, que ser rem plazado en (6.1) p o r una conexin
n om olg ica ms estricta que quiz pudiera form ularse: s i . .. en
tonces, con necesidad ca u sa l... Sin em bargo, la idea de necesidad
causal o n om olgica tal co m o se ha em pleado aqu n o es suficien
tem ente clara en la actualidad com o para que este en foqu e resulte
fru ctfero.24
C arn ap 25 ha propuesto o tro m od o de eliminar la dificu ltad con
la que se trop ieza en las definiciones de la form a (6 .1 ); consiste en
prop orcion a r, en lugar de una especificacin com pleta, una especi
ficacin parcial del sign ificado de Q . E sto se hace por m edio de
los llam ados enunciados reductivos; en el caso ms sim ple, (6.1)
p od ra rem plazarse por el siguiente enunciado reductivo bilateral:
(6.2)
C x D {Q x = E x)
166
EL D ILEM A DEL T E R IC O
167
C A R L O. HEM PEL
EL D ILEM A DEL T E R IC O
168
v ( x ) = D ( x , v i , v 2, . . . v n )
169
C A R L G. H EM PEL
C\x D (Q x = E ix )
C 2x D (Q x = E 2x)
CnX D (Q x = E nx)
donde tod os los predicados ex cep to Q son observacionales. Su
pngase adem s que una investigacin adecuada con d u ce a las si
30
Sobre este punto, vase en especial Quine (1951), Goodman (1949),
White (1950) y (1956) parte II. Hay un examen crtico de la significacin de la
analiticidad con una refemcia particular a los enunciados tericos, por ejemplo
en Pap (1953) y (1955) y en Hempel (1963). En los siguientes artculos, entre
otros, se hallar la defensa de los conceptos de analiticidad y sinonimia: Camap
(1952), (1955), Grice y Strawson (1956), Martin (1952), Mates (1951), Wang
(1955).
170
EL D ILE M A DEL T E R IC O
Cxx D (O x = E i x )
^
C2X D (O x = E nx)
Cnx D (0 x
E nx)
Qx = Ox
C A R L G . HEM PEL
171
C u a n d o decim os, p or ejem plo, que los con cep tos de los diversos
elem entos qum icos pueden definirse en trm inos fsicos m ediante
una caracterizacin de los m od os especficos en que sus m olculas
se com p on en de partculas fsicas elem entales, es evidente que nos
estam os refiriendo a los resultados de una investigacin experim en
tal ms que a un m ero anlisis de lo que significan los trm inos que
nom bran a los diversos elem entos. Si ste fuera el caso, resultara
p o c o com pren sible que los problem as relacionados con la definibili
dad de los trm inos cientficos presentaran alguna dificu ltad y que
fueran o b je t o de muchas conjeturas y controversias.
Las consideraciones precedentes tienen im portantes im p licacio
nes para la cuestin que nos ocu p a , que es la de la posibilidad de
definir tod os los trm inos tericos en la ciencia em prica, mediante
observables. A ntes que nada, muestran que la cuestin, tal co m o
se ha plan teado, es elptica: para com pletarla, tenem os que especi
ficar un con ju n to U de enunciados com o aquel al que se ha hecho
referencia en (7 .1 ). Q u con ju n to sera razonable elegir para ese
p rop sito? Una eleccin natural recaera sobre el con ju n to de tod os
los enunciados, en trm inos observacionales o tericos, que la cien
cia con tem p orn ea acepta co m o probablem ente verdaderos. A h ora
bien, esta caracterizacin p ragm tico-h istrica n o es "de ningn
m o d o precisa y sin am bigedades; hay una extensa rea m arginal
que contiene enunciados para los cuales n o se puede determ inar
con claridad si la ciencia con tem porn ea los acepta o si no lo hace.
Pero cualquiera que sea la ubicacin que se d ecid a para los enun
ciados de esta rea m arginal, y cualquiera que sea el lugar en que
dentro de lo razonable se trace el lm ite entre trm inos o b
servacionales y tericos, hay por lo m enos una cuestin discutible:
el con ju n to de los enunciados cientficos actualm ente aceptados
im plica una con d icin de aplicabilidad necesaria y suficiente para
cada trm in o terico que est form ulada en trm inos de observa
bles? C iertam ente los que han afirm ado tal definibilidad no han
ap oyado su pretensin deducien do realm ente tales condiciones o
presentando razones generales convincentes en favor de la posibili
dad de hacerlo.
T am bin se puede concebir la dem anda de definibilidad co m o
la afirm acin de que ser p osible deducir eventualm ente con d icio
nes necesarias y suficientes del tip o requerido a partir de nuestro
con ocim ien to cien tfico a m edida que ste se vuelva ms am plio.
172
C A R L G. H EM PEL
173
EL D ILEM A DEL T E R IC O
174
ciertos enunciados interpretativos a los que C arnap llam a reglasC , esas reglas n o perm iten, en general, que un con ju n to de datos
observacionales (tales co m o C b y
E b ) con stitu ya un elem ento
de prueba concluyente en p ro o en con tra de la aplicabilidad del
trm ino terico en una situacin determ inada. Hay dos razones
para esta afirm acin. P rim ero, los enunciados interpretativos para
un trm ino terico dad o p rop orcion a n una interpretacin obser
vacional slo dentro de un rango lim itad o; as, p or ejem plo, e el
caso del trm ino terico m asa no hay ninguna regla -C directa
m ente aplicable a un enunciado E m que adscriba un cierto valor
de m asa a un cu erp o determ inado si el valor es o bien tan pequeo
que el cu erp o no sea directam ente observable o bien tan grande
que el observador n o p u eda m anipular el cu erp o 35
Segundo, una interpretacin observacional directa de un trm ino
terico siem pre im plica el recon ocim ien to t cito de que la presen
cia o ausencia de la-respuesta observable necesaria en una cierta
situacin de pru eba debe servir co m o criterio s lo si n o hay fac
tores pertu rbadores o a con d icin de que el estado del m edio sea
norm al ,36 A s, p or ejem plo, una regla de corresp on d en cia podra
determ inar que la desviacin de una aguja m agntica es un sntom a
observable de una corriente elctrica en un alam bre cercan o, pero
con el recon ocim ien to t cito de que la respuesta de la agu ja debe
con tar slo si no hay factores pertu rbadores, tales co m o , p or ejem
p lo, una torm enta m a gn tica repentina.
En trm inos generales, C arnap sostiene que si un cientfico ha
d ecid ido usar cierto trm ino M de m od o tal que, para ciertos
enunciados acerca de M , cualquier resultado observacional posible
n o pueda ser n unca un elem ento de prueba concluyente sino, en
el m ejor de los casos, un elem ento de prueba que p erm ita un alto
gra d o de p rob a b ilid a d ; entonces el lugar ap rop iad o para A / es el
vocabu lario terico .37
35 Carnap (1956), seccin 10.
38 Carnap (1950), seccin 10.
37
Camap (1956), seccin 10. Pap en sus obras de (1953) y (1955), seccio
nes 10-13 y 70, ha propuesto una idea semejante en espritu a la de Camap
pero no tan clara en su contenido, con la pretensin (que Camap no tuvo) de
establecer la imposibilidad de sostener la tesis de la definibilidad explcita"
de los trminos tericos por medio de observacionales (Pap, 1953, p. 8 ). Por
otra parte, Bergmann afirma que muchos conceptos de la fsica terica, in
cluyendo aun las nociones de partcula de la fsica clsica, podran introdu-
175
C A R L G . H EM PEL
Def. M i x = ( 3 y ) R x y
176
EL D ILE M A DEL T E R IC O
D ef. M 2 x = ( 3 y ) ( z ) [ ~ (z = y ) D S x y z ].
C A R L G . H EM PEL
177
P ara aadir un ejem plo m s a los que se han p ropu esto antes:
su pongam os que el trm ino de propiedad o b je to de h ierro y los
trm inos relacinales atrae a y cercano a estn incluidos en el
vocabu lario observacional. En ese caso la definicin:
(7.8 )
con sta de trm inos observacionales; p ero el criterio que p rop orcion a
para saber si un o b je t o b es un imn no puede expresarse mediante
un nm ero fin ito cualquiera de descubrim ientos observacionales;
p orqu e para establecer que b es un im n, tendram os que m ostrar
que 6 atraer a cualquier trozo de hierro que le acerquem os en un
m om en to cualquiera; y esta afirm acin se refiere a una infinidad
de casos.
Para expresar la idea m s form alm ente, su pongam os que nuestro
vocabu lario observacional contiene, adems de nom bres individua
les para o b je to s observables, slo predicados de prim er orden de
cualquier grad o que representan atributos (o sea, propiedades o
relaciones) observables en el sentido de que un pequ eo nm ero
de observaciones directas bastar en condiciones adecuadas, para
averiguar si un determ inado o b je to o gru p o de o b je to s exhibe el
atribu to en cuestin.
A d o p te m o s ahora las siguientes definiciones: un enunciado at
mico es un enunciado tal co m o P a , lR c d , S a d g , que adscribe
un a tribu to observable a un determ inado o b je to o gru p o de o b je
tos. Un enunciado bsico es un enunciado a tm ico o la negacin de
un en un ciado atm ico. Un enunciado molecular es un enunciado
form ado a partir de un nm ero finito de enunciados atm icos por
m edio de con ectiv os veritativo-funcionales. Se incluirn los enun
ciados bsicos entre los m oleculares.
L os enunciados bsicos pueden considerarse co m o los enunciados
ms sim ples que describen resultados potenciales de la observacin
directa: afirm an que un con ju n to determ inado de (u n o o m s)
o b je to s posee tal o cual atribu to observable o que carece de l.
A h ora bien, para to d o enunciado m olecular E , hay ciertas cla
ses finitas de enunciados bsicos que im plican E , y otras clases que
im plican la negacin de E . A s, [ P a ] y tam bin [~ P a ', ia6],
p or ejem plo, im plican el enunciado m olecular P a V ( ~ P a - R a b ) -,
m ientras que el con ju n to [ ~ P a ', ~ R ab ] im plica su negacin.
E sto m uestra que para cad a enunciado m olecular E , es posible
178
EL D ILEM A DEL T E R IC O
D ef. H ijo x y =
varn x vastago x y
38
(Aadida en 1964.) Este prrafo y algunos que lo siguen han sido modi
ficados para corregir un enunciado errneo de la versin orginal de este ensayo:
que slo los enunciados moleculares son a la vez verificables y refutables.
C A R L G. H EM PEL
179
180
EL D IL EM A D E L T E R I C O
C A R L G. H E M P E L
181
l( x ,y ) = r
182
EL DIL EM A D E L T E R I C O
CARL G. H E M P E L
183
184
EL DIL EM A D E L T E R I C O
CA RL G. HEMPEL,
185
186
EL DIL EM A D E L T E R I C O
C A RL G. H E M P E L
187
188
EL DIL EM A D E L T E R IC O
189
CAB.L G. H E M P E L
C\,x Z3 (Q x = E y x )
(8.2)
C 2x D ( Q x = E 2 X)
(x )[(C ii E \ x ) D (C 2x D E 2x )]
190
EL D IL EM A D E L T E R I C O
191
CA RL G. H E M P E L
0 , D { H D 0 2)
192
EL D IL EM A D E L T E R I C O
C A RL G. H E M P E L
193
EL DIL EM A D EL T E R I C O
194
(O T J ) *O 2 .
(T J ) -
{O x D 0 2).
195
CARL G. H E M P E L
(O V ) 0
entonces
(9.4)
T' -
(0 ! D 0 2)
interpretada.
Ahora se puede m ostrar fcilmente que una teora interpretada
T ' establece las mismas conexiones deductivas entre enunciados de
Vg que el conjunto de todos los teoremas de T ' que son expresables
en trm inos de Vjg solamente; llamaremos a este conjunto teoremas-Vfl o consecuencias-Vg de T ' y lo designaremos como O t >Esto significa que, para todos los propsitos de la sistematizacin
deductiva, T ' es, como diremos de ahora en adelante, funcional
m ente equivalente al conjunto O t que no contiene un solo trmino
terico.
La prueba es la siguiente: la transicin deductiva representada
en (9.3) de 0 1 a O 2 puede llevarse a cabo tam bin usando en lugar
de T ' , el enunciado 0 \ D O 2 que, en virtud de (9.4), pertenece a
O t 1, ya que tenemos por modus ponens,
(9 .5 )
[O i-(OiDO a)]-Oa.
196
EL DIL EM A D E L T E R I C O
C A RL G. H E M P E L
197
198
EL DILEMA D EL T E R I C O
199
C A RL G. H E M P E L
( i) ( F x
Ox)
60
Sobre este m to d o q u e fue usad o en p rim e r lu g a r p o r N eum ann, vase
C a m a p (1937, p p . 29-30 y 96), donde se d a n ulteriores referencias a la biblio
grafa so b re estos tem as.
200
EL D IL EM A D EL T E R I C O
(9.7)
(x)(F x D T x)
(9.8)
(x)(F x D V x)
(9.9)
[x){F x D E x)
(9.10)
(x )(F x D P x).
(x ) ( I x D A x )
(x){F x D Ix)
201
CA RL G. H E M P E L
(9.13)
( 3<j>)(3i>)(x)[(<j>x D ( O x - T x - V x E x - P x ) ) (ij>x
)].
A x ) {<t>x D
rpx
202
EL DIL EM A D EL T E R I C O
C A RL G. H E M P E L
203
204
'
EL DIL EM A D EL T E R I C O
C A RL G. H E M P E L
205
206
EL DILEMA D E L T E R I C O
C A RL G. H E M P E L
207
que indica la teora fsica, que dichas partculas estn regidas por
determ inadas leyes fsicas y que sealan su presencia en determ ina
das circunstancias mediante ciertos tipos especficos de sntomas
observables. Pero esto equivale a afirmar la verdad de la teora
fsica (interpretada) de las partculas elementales. De modo simi
lar, afirm ar la existencia de impulsos, reservas, fuerzas de hbito,
etc., que postula una teora del aprendizaje determ inada, lleva a
afirm ar la verdad del sistem a que consta de los enunciados de la
teora y de su interpretacin em prica . 65
Entendida as, la existencia de las entidades hipotticas con
determ inadas caractersticas e interrelaciones, tales como las su
pone una teora dada, puede examinarse de m anera inductiva,
as como puede examinarse de m anera inductiva la verdad de la
teora misma, m ediante pruebas empricas de sus consecuencias en
trminos de Vj3 .
De acuerdo con la concepcin que se ha esbozado antes, tenemos
que atribuir referencia fctica a todos los trminos (extralgicos)
de una teora, si es que esa teora es verdadera; en consecuencia,
esta caracterstica no proporciona una base para una dicotoma
sem ntica en el vocabulario terico. Adems, la referencia fctica
de los trm inos tericos, tal como se la concibe aqu, no depende
de que se los pueda evitar o no, sustituyndolos por expresiones
que constan de trminos de Vb solamente. Aun cuando se defina
explcitam ente en trminos de Vb a todos los trm inos tericos
de una teora T ' , de m anera tal que su uso proporcione un modo
abreviado conveniente de decir lo que tam bin podra decirse por
medio de Vq solamente, los trminos tericos tendrn an referen
cia fctica si lo que dice la teora es verdadero.
65
M s p re cisa m e n te el enunciado d e R am sey asociado con. T ' e x p resa la
afirm aci n d e q u e e x iste n e n tid a d es de diversos tip o s (ta le s com o o b jeto s y
a contecim ientos h ip o t tic o s y su s diversas prop ied ad es y relaciones c u a lita ti
vas y c u a n tita tiv a s) p o stu la d a s p o r u n a teo ra in te rp re ta d a T ' . Se la o btiene
re m p laz a n d o a to d a s leu c o n stan tes tericas en la conjuncin d e los p o stu la
d os de T p o r variables y ligando stas m ediante cu an tific ad o re s existenciales
colocados al com ienzo de la expresin re su lta n te . E l e n u n ciad o as o b ten id o
es u n a consecuencia lgica de los p o stu lad o s de T '; p ero la re cp ro ca no veile.
E n consecuencia, e stric ta m e n te h a b la n d o , la afirm aci n de la e x iste n cia d e las
diversas e n tid a d e s h ip o t tic as su p u e sta s en u n a teo ra es m s dbil, desde el
p u n to de v ista lgico, que la te o ra m ism a.
P a r a observaciones in te resan te s sobre la cuesti n de la re a lid a d de las en
tid a d e s te ricas, vase p o r ejem plo, T oulm in (1953, p p . 134139) y S m a rt
(1956).
208
EL DIL EM A D EL T E R I C O
CA RL G. H E M P E L
209
210
EL DIL EM A D EL T E R I C O
C A RL G. H E M P E L
211
212
EL DIL EM A D EL T E R I C O
------: Fact, F ictio n and Forecast , Cam bridge, Mass., H arvard University
Press, 1955.
Grice, H. P. y P. F. Straw son: In defense of a D ogm a , P hilosophical
R eview , 65: 141 58 (1956).
Hempel, C ari G.: G eom etry and Em pirical Science , A m eric a n M athem atical M onthly, 52: 7-17 (1945). Reim preso en Feigl y Sellars (1949),
en W iener (1953), y en Jam es R. Newman (com p.): T h e W orld o f
M a th e m a tic s , Nueva York, Simn and Schuster, 1956.
------: A Note on Sem antic Realism , P h ilosophy o f Science, 17: 169173 (1950).
------ : G eneral System T heory and the Unity of Science , H u m a n
Biology, 23: 313-322 (1951).
------: F u n d a m en t is o f C ancept F o rm a tio n in E m p irica l S cien ce, C hi
cago, University of Chicago Press, 1952.
------: Im plications of C a rn a p s Work for th e Philosophy of Science , en
F. A. Schilpp (comp.): T h e P hilosophy o f R u d o lf C arnap, La Salle,
111., O pen C ourt Publishing Co., 1963.
------: T he Concept of Cognitive Significance: A Reconsideration ,
Proceedings o f the A m e ric a n A ca d em y o f A r ts a n d Scien ces, 80
(nm . 1): 61-77 (1951).
------ y Paul O ppenheim : Studies in the Logic of E x planation , P hilo
so p h y o f Science, 15: 135-175 (1948).
Ilerm es, H.: Eine A xiom atisierung der allgemeinen M echanik , Forschungen zu r Logik u n d G rundlegung der exa kten W issen sch a ften ,
C ARL G. H E M P E L
213
214
EL DILEMA DEL T E R I C O
C A R L G. H E M P E L
2 15