EL DILEMA DEL TEORICO

CARL G. HEMPEL
VIII. Sistemas interpretativos
La teora de Carnap de las proposiciones reductivas es el primer estudio
sistemtico acerca de la lgica de la definicin parcial. La introduccin de un
trmino mediante una cadena de enunciados reductivos defiere del uso de una
cadena de definiciones en dos aspectos:
1) se especifica el significado del trmino solo parcialmente y no se proporciona
as un modo de eliminar al trmino de todos los contextos en que pueda
aparecer.
2) Como regla, no equivale solo a una convencin notacional sino que
comprende afirmaciones empricas.
Por ejemplo, si se introduce el trmino Q mediante los dos enunciados
reductivos:
(8.1) C1x (QxE1x)
(8.2) C2x (QxE2x)
Por implicacin se afirmar la siguiente ley:
(8.3) (x) [(C1x. E1x) (C2x E2x)]
Cualquier objeto que muestre una respuesta positiva en la primera condicin
de prueba mostrar tambin una respuesta positiva sometido a la segunda
condicin de prueba. Una cadena de enunciados reductivos para un trmino
dado combina normalmente dos funciones del lenguaje que se consideran a
menudo rigurosamente distintas: la asignacin estipulativa del significado y la
afirmacin o descripcin del hecho emprico.
Los enunciados reductivos se adecuan muy bien a la formulacin de criterios
operacionales de aplicacin en tanto definiciones parciales, pero estn sujetos a
limitaciones serias en lo respectivo a la forma lgica y as no parecen
suficientes para proporcionar un esquema general satisfactorio para la
interpretacin parcial de los termino tericos.
La concepcin de Campbell de la teora fsica, segn la cual esta consiste en
una hiptesis, representada por un conjunto de enunciados en trminos
tericos, y un diccionario que relaciona a estos con los conceptos de la fsica
experimental (que deben estar interconectados por leyes empricas) sugiere
una visin ms amplia que la anterior respecto de la interpretacin. En
contraste con la concepcin habitual de diccionario, el de Campbell no ha de
contener definiciones de los trminos tericos, sino enunciados para que un
enunciado terico de un cierto tipo sea verdadera si y solo si el
correspondiente enunciado emprico de un tipo determinado es verdadero. El
diccionario proporciona, ms que definiciones reglas de traduccin y aun reglas
parciales, porque nadie pretende que se deba especificar una traduccin para
cada enunciado terico o para cada enunciado emprico.
Este rasgo concuerda con la consideracin de que un macroestado particular
observable de un determinado sistema fsico puede corresponder a un gran
nmero de microestados distinguibles desde el punto de vista terico: de modo
tal, para un enunciado terico que describa uno de aquellos microestados, el
enunciado que ha de describir el macroestado correspondiente no expresa una
condicin necesaria y suficiente y por lo tanto no proporciona traduccin
alguna.
Los enunciados del diccionario de Campbell no tienen el carcter de
enunciados reductivos; pueden formularse como bicondicionales en los que un
enunciado en trminos tericos se conecta con otro en trminos
observacionales mediante la clausula si y slo si ( ).
En otros contextos no parecen adecuados ni los enunciados reductivos ni tales
bicondicionales. En general la presencia de una entidad hipottica H, como un
cierto tipo de campo elctrico, tendr sntomas observable solo si se satisfacen
ciertas condiciones observacionales, O1, tales como la presencia de detectores
adecuados, que tendrn que mostrar respuestas observables O2. Un enunciado
que enunciara este tipo de criterio tendra el carcter de un enunciado
reductivo generalizado:
(8.4) O1 (H O2)
donde O1 y O2 son enunciados (posiblemente bastante complejos) en trminos
observables, y H es un enunciado expresado en trminos tericos.
Pero no hay razones de peso para limitar los enunciados interpretativos a los 3
tipos considerados aqu. Para obtener un concepto general de la interpretacin
parcial, admitiremos ahora como enunciados interpretativos a todo enunciado
cualquiera que sea su forma lgica, que contenga trminos tericos y
observacionales de la ciencia emprica se formulan dentro de un marco lgico
determinado, esa idea puede enunciarse ms precisa y explcitamente:
(8.5) Sea T una teora que se caracteriza por el conjunto de postulados en
trminos de un vocabulario terico finito VT y sea VB un segundo conjunto de
trminos extralgicos, el vocabulario bsico, que no comparte ningn termino
con VT, entenderemos por sistema interpretativo para T con base VB un
conjunto J de enunciados tal que:
1) es finito
2) es lgicamente compatible con T,
3) no contiene trminos extralgicos que no pertenezcan a VT o a VB
4) contiene esencialmente a todo elemento de VT y de VB, no es lgicamente
equivalente a ningn conjunto de enunciados en los que no aparezca para nada
algn termino de VT o de VB. La nocin intuitiva de interpretacin, as como la
concepcin que pone de manifiesto la idea de Campbell de un diccionario
interpretativo, parecera tener necesidad de la siguiente condicin adicional: 5)
Cada enunciado J contiene esencialmente trminos de VT as como trminos de
VB. Pero este requisito no introduce nuevas restricciones al concepto de sistema
interpretativo, ya que cualquier sistema J que satisfaga las condiciones 1) a)
puede enunciarse en una forma equivalente tal que satisfaga asimismo a 5).
Para este fin, basta reemplazar a los enunciados miembros de J por su
conjuncin, lo que permite un sistema interpretativo lgicamente equivalente
que contiene solo un enunciado y que satisface 5) puesto que satisface 4).
Al aplicar el concepto que se ha definido al anlisis de las teoras cientficas
tendremos que suponer que los trminos de que consta VB han sido
comprendidos previamente. Pueden ser trminos observacionales en el sentido
algo vago que ya se ha explicado. Se puede adoptar el punto de vista de que
ciertos trminos disposicionales tales como maleable, elstico, hambriento,
cansado, no son estrictamente observacionales, y no se sabe que puedan
definirse explcitamente por medio de trminos observacionales: aun as podra
considerarse que esos trminos son bien comprendidos en el sentido de que
diferentes observadores competentes coinciden en alto grado al usarlos. Sera
bastante razonable usar esos trminos para interpretar una teora dada, o sea,
admitirlos en VB.
La concepcin que tiene Campbell de la funcin de su diccionario ilustra esa
posibilidad y muestra que se acerca ms al procedimiento cientfico real.
Campbell estipula que la interpretacin que proporciona el diccionario debe
constar de lo que el llama conceptos, tales como los trminos temperatura,
resistencia elctrica, plata, hierro, en el sentido en que se los usa en la fsica y
la qumica experimental. Es difcil que estos se puedan considerar
observacionales en sentido estricto ya que se los ha concebido especficamente
para representar grupos de leyes empricas. Si decimos cualquier cosa acerca
de la resistencia elctrica, estaremos suponiendo que la ley de Ohm es
verdadera, los cuerpos para los cuales dicha ley no es verdadera, los gases, por
ejemplo, no tienen resistencia elctrica. Aun cuando no se deseara calificar a
esos trminos de observacionales, se podra considerar que se los comprende
bien y que los experimentadores cientficos coinciden el alto grado al usarlos y
se los podra admitir as en VB.
Los sistemas interpretativos tal como se los acaba de definir incluyen como
casos especiales a todos los tipos de interpretacin que consideramos antes:
1) La interpretacin por medio de definiciones explicitas para todos los
trminos tericos,
2) La interpretacin por medio de cadenas de enunciados reductivos,
3) La interpretacin por medio de enunciados bicondicionales de
traduccin en el sentido del diccionario de Campbell,
4) La interpretacin por medio de enunciados reductivos generalizados de
la forma (8.4) O1 (H O2),
5) Tambin admiten enunciados interpretativos de una gran variedad de
formas diferentes de las expuestas.
Los sistemas interpretativos tienen el mismo para de caractersticas que
distinguan a las cadenas de enunciados reductivos de las cadenas de
definiciones.
1) un sistema interpretativo normalmente realiza solo una interpretacin
parcial de los trminos de VT, o sean no establece (mediante una enunciado
explicito o una implicacin lgica) una condicin necesaria y suficiente de
aplicacin de termino de VB para todo termino de VT.
2)Un sistema interpretativo no tendr un carcter puramente estipulativo ( lo
mismo ocurre con una cadena de enunciados reducidos para un trmino
terico dado) sino que implicara ciertos enunciados en trminos solo de VB, los
cuales no son verdades lgicas, y que expresan afirmaciones empricas de
acuerdo con la concepcin de VB como vocabulario formado por trminos
empricos previamente comprendidos. Encontramos una combinacin
nuevamente de los usos descriptivo y estipulativo del lenguaje.
3) Un sistema interpretativo no necesita proporcionar una interpretacin (ya
sea completa o incompleta) para cada termino de VT en forma individual.
Difiere de un conjunto de definiciones que especifica para cada trmino una
condicin necesaria y suficiente, y de un conjunto de enunciados reductivos,
que proporciona para cada trmino una condicin necesaria y una suficiente,
por lo comn diferentes entre s. Es posible que un sistema interpretativo no
proporcione ninguna condicin suficiente o ninguna necesaria, o ni siquiera una
de las dos, para varios o aun para todos los trminos de VT; en cambio podra
especificar, mediante enunciados explcitos o mediante implicaciones lgicas,
condiciones necesarias o suficientes en trminos de VB solo para ciertas
expresiones que contuvieran varios trminos de VT, por ejemplo a la manera
del diccionario de Campbell.
Cuando se interpreta una teora T mediante un sistema interpretativo J, en
general los trminos tericos no son prescindibles en el sentido estrecho de que
sean reemplazables en todos los contextos, por expresiones de definicin en
trminos de VB. Tampoco es posible prescindir de ellos en el sentido de que J
proporciones para toda proposicin H que pueda formarse por medio de VT
una traduccin en trminos de VB, o sea, una proposicin O en trminos de VB
tal que el bicondicional H O sea lgicamente deducible de J.