Estudios sobre la lgica de la confirmacin.

Hempel

1. Objetivos de este estudio.

La caracterstica definitoria de un enunciado emprico es su capacidad de ser sometido a
prueba mediante la confrontacin con hallazgos experimentales, con los resultados de
experimentos apropiados o de la observacin dirigida. Esta caracterstica distingue los
enunciados que tienen contenido emprico tanto de los enunciados de las ciencias formales, la
lgica y la matemtica. En la testeabilidad sea la testeabilidad en principio o
testeabilidad terica; hay muchos enunciados empricos no pueden ser testeados por
ahora. Decimos que un enunciado es testeable en principio si es posible describir el tipo de datos
que lo confirmaran o desconformaran.
Los conceptos de confirmacin y desconfirmacin son claramente ms amplios que los de
verificacin y refutacin concluyente. Una ley general abarca una infinidad de casos
potenciales, pero un conjunto finito de datos atinentes a la cuestin puede estar de acuerdo con
la hiptesis.
Si bien en la investigacin cientfica concreta los juicios relativos al carcter confirmatorio o
desconfirmatorio de los datos de la experiencia obtenidos en el test de una hiptesis a menudo
son expresados sin vacilacin y con un amplio acuerdo de opinin, no puede decirse que tales
juicios se basen en una teora explcita que suministre criterios generales de confirmacin o
desconfirmacin. En este ensayo trataremos de colocar los cimientos de una teora de este tipo.
1. Significacin y estado actual del problema.
Problemas ms importantes:
a) En el mtodo cientfico, el concepto de elementos de juicio atinentes a una cuestin
desempea un papel importante. La atingencia es un concepto relativo. En verdad, un
hallazgo emprico es atinente a una hiptesis si y slo si constituye un elemento de juicio
favorable o desfavorable a ella; en otras palabra, si confirma o desconforma la hiptesis.
b) El de caso de una hiptesis: el mtodo de inferencia inductiva como el paso de casos
especficos a una hiptesis general. Todo examen de la induccin que se refiera al
establecimiento de hiptesis generales sobre la base de casos particulares presenta todas
las dificultades lgicas que rodean al concepto de confirmacin.
c) La bsqueda de reglas de induccin: Los medios por lo que se descubren hiptesis
o teoras cientficas no pueden ser formulados en un conjunto de reglas generales de
la inferencia inductiva. Una regla de induccin apropiada, pues, debera suministrar
criterios mecnicamente aplicables que permitan determinar sin ambigedad, y sin
basarse para nada en la inventiva o en el conocimiento cientfico adicional de quien lo
usa. Es claro, que este requisito no puede ser satisfecho por ningn conjunto de reglas. La
exigencia de tales reglas reposa en una confusin de los problemas lgicos con los
psicolgicos. Aquello que determina la correccin de una hiptesis no es la manera como
se llegue a ella, sino su resistencia a las pruebas. Por consiguiente, la bsqueda de reglas
de induccin en el sentido original de cnones del descubrimiento cientfico debe ser
reemplazada, en la lgica de la ciencia, por la bsqueda de criterios generales
objetivos que determinen: A) si se puede decirse de una hiptesis H que est
corroborada por un conjunto dado de elementos de juicio E, y si es posible- B) en
qu grado. Es posible relacionar las dos partes de este problema en trminos un poco
ms precisos, del siguiente modo:
 A) Dar definiciones precisas de los dos conceptos relacionados no-cuantitativos
de confirmacin y desconfirmacin.
B) 1) Establecer criterios que definan grado de confirmacin de H con respecto
a E.
C) 2) Establecer criterios que definan dos conceptos relacionales, los de mas
confirmado que es igualmente confirmado que, los cuales permitan una
comparacin no mtrica de hiptesis con respecto a la extensin de su
confirmacin.
Las teoras que tratan de la probabilidad de la hiptesis pueden clasificarse en dos grupos
principales: las teoras lgicas, que conciben la probabilidad como una relacin lgica
entre oraciones y las teoras estadsticas, que interpretan, en esencia, la probabilidad de
una hiptesis como el lmite de la frecuencia relativa de sus casos confirmatorios, entre
todos los casos atinentes a la cuestin. Ninguna de las teoras del primer tipo elaboradas
hasta ahora suministra una definicin explcita general de la probabilidad (o grado de
confirmacin). Estas teoras no ofrecen una solucin completa del problema B. El
enfoque estadstico si tiene, suministrara una definicin numrica explcita del
grado de confirmacin de una hiptesis; esta definicin estara formulada en
trminos del nmero de casos confirmatorios y desconfirmatorios de H que
constituyen el conjunto de elementos de juicio E. Una condicin necesaria de una
interpretacin adecuada de los grados de confirmacin como probabilidades estadsticas
es el establecimiento de criterios precisos de confirmacin y desconfirmacin; en otras
palabras, la solucin del problema A.
De los dos problemas A y B, A parece ser el bsico; primero, porque no presupone la
posibilidad de definir grados numricos de confirmacin o de comparar diferentes
hiptesis con respecto a la extensin de su confirmacin; y segundo, porque nuestras
consideraciones indican que todo intento para resolver el problema B probablemente exija
una definicin precisa de una hiptesis antes de que se pueda proceder a definir grados
numricos de confirmacin, o a establecer normas no mtricas de comprobacin.
d) Resulta claro que un anlisis de la confirmacin es de fundamental importancia
tambin para el estudio de un problema central de la epistemologa: el de la
elaboracin de normas de creencias racional o de criterios de asertabilidad
garantizada. Caracterizar en trminos precisos y generales, las condiciones en las cuales
puede decirse que un conjunto de elementos de juicio confirman o desconfirman una
hiptesis de carcter emprico; y esto equivale a nuestro problema A.
e) El mismo problema surge al intentar dar una enunciacin precisa de los criterios
empiristas y operacionalista de la significacin emprica de una oracin; estos
criterios se formulan con referencia a la testeabilidad terica de la oracin por
medio de elementos de juicio experienciales, y el concepto de testeabilidad terica
esta ntimamente relacionado con los conceptos de confirmacin y desconfirmacin.
Parece razonable exigir que los criterios de confirmacin emprica, adems de tener un
carcter objetivo, no contengan ninguna referencia al objeto especfico de la hiptesis o
de los elementos del juicio en cuestin; debe ser posible establecer criterios puramente
formales de confirmacin.
1. El criterio de confirmacin de Nicod y sus inconvenientes.
La aplicabilidad de este criterio est restringida a hiptesis de la A implica B. Toda
hiptesis H de este tipo puede expresarse en la notacin de la lgica simblica por medio de
una oracin condicional universal tal como, en el caso ms simple:
(x) <P (x) Q(x)>
Esto es, para todo objeto x, si x es un P, entonces x es un Q. Segn este criterio, est
confirmada por a, si a es P pero no Q. En otras palabras, un objeto confirma una hiptesis
condicional universal si y slo si satisface tanto el antecedente como el consecuente del
condicional; desconforma la hiptesis si y slo si satisface el antecedente pero no es consecuente
del condicional. El criterio aunque en apariencia es muy adecuado, presenta serios
inconvenientes, como mostraremos a continuacin:
a) Primero la aplicabilidad de este criterio est restringido a hiptesis de la forma
condicional universal; no brinda ninguna norma de confirmacin para las hiptesis
existenciales ni para hiptesis cuya formulacin explcita exige el uso de cuantificadores
universales y existenciales.
b) Segundo inconveniente:
O1: x <Cuervo (x) Negro (x)>;
O2: (x) < Negro (x) Cuervo (X)>
Pero Q1 y Q2 son lgicamente equivalentes; tienen el mismo contenido, son
formulaciones diferentes de la misma hiptesis. Sin embargo, por el criterio de Nicod, los
objetivos a y d confirmaran una de las dos oraciones, pero seran neutrales con respecto a
la otra. Esto significa que el criterio de Nicod hace depender la confirmacin, no
solamente del contenido de la hiptesis, sino tambin de su formulacin.
Una consecuencia notable: <(Cuervo (x) . Negro (x)) (Cuervo (x) . Cuervo (x))>
Puede reconocerse fcilmente como equivalente a O1 y O2; sin embargo, ningn objeto
puede confirmar esta oracin, es decir, satisfacer su antecedente y su consecuente, pues
ste es contradictorio.
1. La condicin de equivalencia.
Condicin de equivalencia: Todo lo que confirme (desconfirme) a una de dos oraciones
equivalentes, tambin confirma (desconforma) a la otra. Todo cientfico se sentir libre en
cualquier razonamiento terico que incluya ciertas hiptesis, para usar stas en cualquier de las
formulaciones equivalentes que sean ms convenientes para el desarrollo de sus conclusiones.
La condicin de equivalencia debe ser considerada como una condicin necesaria para la
adecuacin de cualquier definicin de confirmacin.
1. Las paradojas de la confirmacin.
El criterio de Nicod no puede servir como condicin necesaria de la confirmacin. Puede
considerarse que el criterio de Nicod enuncia una condicin suficiente particularmente obvia
e importante de la confirmacin. Parece perfectamente razonable calificar un objeto como
confirmatorio de una hiptesis si satisface su antecedente y su consecuente.
5.1.1. Este mtodo de evitar paradojas de la confirmacin es vulnerable a varias objeciones:
a) La representacin de toda hiptesis general por la conjuncin de un condicional y
una oracin existencia invalidara muchas inferencias lgicas generalmente
consideradas admisibles en un razonamiento terico.
b) La formulacin habitual de las hiptesis generales en las ciencias empricas no
contiene clusulas existenciales, ni por la general determina, ni siquiera
indirectamente, tal clusula de manera no ambigua.
c) De muchas hiptesis universales no puede decirse que impliquen en modo alguno
una clusula existencial. Puede suceder que de determinada teora astrofsica se deduzca
una hiptesis universal concerniente al carcter de los fenmenos que se produciran en
 ciertas condiciones especficas extremas. Una hiptesis de este tipo no necesita implicar
que se realicen alguna vez tales condiciones extremas; no tiene contenido existencial
alguno.
5.1.2. El uso de una clusula existencial fue un intento para poner de manifiesto
esta presunta peculiaridad de la hiptesis. El intento ha fracasado; si deseamos
expresar el punto en cuestin, deberemos buscar un recurso ms efectivo. Surge
naturalmente la idea de representar una hiptesis general mediante el usual
condicional universal, complementado con la indicacin del campo de aplicacin
especfico de la hiptesis. Evitara las consecuencias indeseables del recurso de la
clusula existencial que sealamos en 5.1.1. El segundo mtodo es vulnerable a
objeciones similares a las que pueden dirigirse contra el primero: a) la manera como
se usan la hiptesis generales en la ciencia nunca supone la determinacin de un
campo de aplicacin. B) La utilizacin constante de un campo de aplicacin en la
formulacin de hiptesis generales traera aparejadas considerables dificultades
lgicas, y no tendra parangn alguno en los procedimientos tericos de la ciencia,
donde se someten las hiptesis a diversos tipos de transformaciones e inferencias lgicas
sin atender para nada a cambios en los campos de aplicacin. Este mtodo de resolver las
paradojas equivaldra a eludir el problema por medio de un recurso ad hoc que no halla
justificacin en el procedimiento cientfico real.
5.2. Ninguna de las dos alternativas al mtodo habitual result ser un medio adecuado para
eliminar las paradojas de la confirmacin. Trataremos de demostrar ahora que lo errneo
no reside en el mtodo habitual de construir y representar hiptesis generales, sino en
confiar en una engaosa intuicin en la materia: la impresin de que se trata de una
situacin paradjica no tiene fundamento objetivo, sino que es una ilusin psicolgica.
a) Una fuente de malentendidos es la idea, de que una hiptesis de la forma simple todo P es un
Q afirma algo acerca de determinada clase limitada de objetos. Esta idea supone una confusin
entre consideraciones lgicas y consideraciones prcticas: nuestro inters por la hiptesis
afirma algo de todos los objetos y en verdad, tambin impone restricciones a todos ellos. La
debilidad de la idea considerada se pone de manifiesto tambin por la observacin de que la clase
objetos acerca de los cuales se opone que una hiptesis afirma algo no est en modo alguno
claramente determinada y cambia segn el contexto, como mostramos en 5.1.2.
b) Una segunda fuente de importante de paradojas se deben a una descaminada
intuicin en la cuestin, no a una falla lgica, en las dos estipulaciones de las cuales
derivan.
8. Condiciones de adecuacin para toda definicin de la confirmacin.
Hemos hallado que son insatisfactorias para una definicin general de confirmacin las dos
concepciones ms comunes de sta, formuladas de manera explcita en el criterio de Nicod y en
el de la prediccin. El anlisis anterior tambin puso de manifiesto ciertas caractersticas lgicas
de la prediccin, de la explicacin y del test cientficos, y nos llev al establecimiento de ciertas
normas que debe satisfacer una definicin adecuada de confirmacin. Estas normas incluyen la
condicin de equivalencia y el requisito de que la definicin de confirmacin sea aplicable a
hiptesis de cualquier grado de complejidad lgica, y no solamente al tipo ms simple de
condicional universal.
Toda definicin adecuada de confirmacin debe asegurar el cumplimiento de:
Condicin de implicacin: Toda oracin implicada por un informe observacional est
confirmada por ste. En segundo termino, un informe de observacin que confirma ciertas
hiptesis sera considerado invariablemente como confirmante de toda consecuencia de esas
hiptesis. Cualquiera de tales consecuencias no es ms que la afirmacin del contenido conjunto,
total o parcial, de las hiptesis originales.
Condicin de consecuencia: Si un informe observacional confirma una de las oraciones de una
clase K, entonces tambin confirma toda oracin que sea una consecuencia lgica de K.
Condicin especial de consecuencia: Si un informe observacional confirma un hiptesis H,
entonces tambin confirma toda consecuencia de H.
Condicin de equivalencia: Si un informe observacional confirma una hiptesis H, entonces
tambin confirma toda hiptesis que sea lgicamente equivalente a H.
La condicin de confirmacin no cumple con la condicin de consecuencia. La regla de que todo
lo que confirma una hiptesis dada confirma tambin cualquier hiptesis ms fuerte, se convierte
en un principio totalmente absurdo. Por ende, la condicin conversa del a consecuencia no
constituye una condicin general de adecuacin.
Condicin de consistencia: Todo informe observaciona lgicamente consistente es lgicamente
incompatible con la clase todas las hiptesis que confirma. Las dos implicaciones de este
requisito son:
a) A menos que un informe observacional sea contradictorio, no confirma ninguna hiptesis
con la que no sea lgicamente compatible.
b) A menos que un informe observacional sea contradictorio no confirma hiptesis que se
contradigan mutuamente.
No habr dificultad para aceptar el primero de estos corolarios; pero quiz se tenga la impresin
de que segundo impone una restriccin demasiado severa.
Sera posible liberalizar las normas formales de adecuacin en consonancia con estas
consideraciones. Esto sera equivalente a abandonar la condicin de equivalencia y b), para
conservar a). Uno de los resultados sera que, cuando un informe observacional lgicamente
consistente B confirma dos hiptesis, no confirmar necesariamente su conjuncin, ya que las
hiptesis pueden ser incompatibles y, por lo tanto, su conjuncin contradictoria; luego, por a), B
no la confirmara. Esta consecuencia es un tanto extraa intuitivamente, y podramos sentirnos
inclinados a sostener que si bien la condicin consistencia debe ser abandonada y a) conservada,
b= desde luego debe ser reemplazada por el requisito c): si una notacin observacional confirma
dos hiptesis, entonces tambin confirmar su conjuncin. Pero es posible demostrar fcilmente
que, en virtud de b) este conjunto de condiciones implica la satisfaccin de b). Por lo tanto si la
condicin de equivalencia parece demasiado rigurosa, la alternativa obvia sera reemplazarla a
ella y a sus corolarios por la condicin mucho ms debil a), solamente; y es un problema
importante saber si puede construirse una definicin intuitivamente adecuada de confirmacin
que satisfaga la condicin de implicacin, condicin de consecuencia y a a), pero no a la
condicin de consistencia.
La satisfaccin de estos requisitos, es slo una condicin necesaria, no suficiente, para la
adecuacin de cualquier definicin de confirmacin que se proponga.
La correccin del anlisis lgico de un concepto terico no puede ser evaluado simplemente por
nuestros sentimientos de satisfaccin ante determinado anlisis que se proponga; y si hay, dos
propuestas alternativas para definir un trmino sobre la base un anlisis lgico, y si ambas
parecen acercarse al significado que se quiere lograr, entonces la eleccin debe hacerse en gran
medida con referencia a aspectos tales como las propiedades lgicas de las dos reconstrucciones,
y a la amplitud y la simplicidad de las teoras a las cuales conducen.