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.