Está en la página 1de 41

LA CONFIRMACIN

Harold Brown

El problema de la confirmacin
Una teora cuantitativa de la confirmacin intenta asignar un grado de confirmacin a una hiptesis sobre la base de una evidencia observacional Una teora cualitativa se ocupa de cul es la relacin entre una hiptesis y la experiencia observacional que la confirma Nuestra exposicin se limitar aqu al aspecto cualitativo del problema

LAS PARADOJAS DE LA CONFIRMACIN


Uno tiene la impresin de que debiera ser posible establecer criterios puramente formales de confirmacin de modo semejante a como la lgica deductiva proporciona criterios puramente formales para decidir la validez de la inferencia deductiva Hempel

Empirismo/Positivismo Lgico
Estmulos de la nueva lgica expuesta por Whitehead y Russell en los Principia Mathematica. Hempel trata de extender sus tcnicas a una nueva rea. Comenzaron con un instrumental intelectual y tcnico comn y lo utilizaron como medio de analizar la naturaleza del conocimiento cientfico.

La lgica de la confirmacin
Hempel no slo tom la estructura formal de la lgica de los Principia como modelo en su tentativa de anlisis d la confirmacin, sino que, adems, formul el problema mediante l simbolismo de dicha lgica. Como veremos, algunos de los problemas que hubo de resolver derivan de la estructura de esta lgica.

Leyes, confirmacin y lgica


Px: x es un cuervo Qx: x es negro Ley cientfica: (x)(Px Qx) Instancia confirmadora: PaQa Instancia desconfirmadora: (Pa~Qa) Pero (x)(Px Qx) (x)( Qx Px) Todas las cosas no-negras son no-cuervos Su instancia confirmadora es (x)( Qa~Pa)

El criterio de Nicod
El criterio de confirmacin depende no solo del contenido de la hiptesis, sino tambin de su formulacin Es de presumir que oraciones lgicamente equivalentes digan la misma cosa, y, por lo tanto, la cuestin de si un enunciado particular de observacin confirma una hiptesis dada debiera depender nicamente del contenido de la hiptesis y no tambin de su formulacin.

Sin embargo
(x)(Px Qx) (x)[(Px Qx) (Rx~Rx)] nada satisface a esta proposicin porque: (x){[(Px Qx) (Rx)][(Px Qx) ~Rx)]} Y es que nada puede ser Rx y Rx a la vez. Si se da Pa~Qa , no queda claro qu podemos confirmar o desconfirmar

Hempel: criterio y equivalencia


Todo lo que confirma (o desconfirma) uno de dos enunciados equivalentes, tambin confirma (o desconfirma) el otro (x)( Qa~Pa) confirma tambin (x)(Px Qx) Pero: (x)(Px Qx) (x)[(Px Px) ( Px Qx)] y as P Q tambin confirman (x)(Px Qx)

El descubrimiento de un objeto cualquiera que, o bien no sea un cuervo, como un lpiz, o bien sea negro, como un pedazo de carbn, confirma la hiptesis de que todos los cuervos son negros. Como seala Goodman, esto abre maravillosas perspectivas para la ornitologa casera, pues yo puedo, desde ahora, sin salir siquiera de mi cuarto, acumular innumerables instancias confirmadoras de la hiptesis en cuestin o de cualquier otra que pueda ser formulada en el modo (x)(Px Qx)

Intentos de resolver las paradojas


1. los que rechazan que (x)(Px Qx) sea una formulacin adecuada de las leyes cientficas universales 2. los que rechazan la condicin de equivalencia 3. los que rechazan el criterio de Nicod

La propuesta de Hempel
Hempel rechaza la tesis de Nicod: solo los enunciados observacionales de la forma PaQa o Pa~Qa son relevantes para la confirmacin o desconfirmacin de (x)(Px Qx) Acepta las consecuencias de la condicin de equivalencia y arguye que, lgicamente hablando, no hay nada paradjico en las paradojas de la confirmacin

Una ilusin psicolgica


La apariencia de paradoja se deriva de la errnea suposicin de que el enunciado universal Todos los cuervos son negros slo se refiere a cuervos. Es un enunciado acerca del espacio-tiempo, que dice que no podremos encontrar en ningn lugar ni en ningn tiempo un objeto que sea cuervo y no sea negro. As entendido, cualquier descubrimiento de un objeto que no sea un cuervo no-negro constituye una confirmacin de la hiptesis.

Ficcin metodolgica
En la medida en que estamos intentando analizar la lgica de la confirmacin, nos concierne nicamente el anlisis de la relacin entre una hiptesis y un cuerpo especfico de evidencias, de suerte que, en todo caso particular debemos adoptar la ficcin de que el conjunto de evidencias en cuestin es toda la informacin de que disponemos

Ejemplo:
Si pongo un trozo de hielo en una llama y observo que no se vuelve amarilla, parecera paradjico tomar esto como una evidencia en favor de la hiptesis Todas las sales de sodio producen al arder una llama amarilla. Pero se trata solamente de una apariencia de paradoja que se deriva por introducir yo ilegtimamente en el anlisis, la informacin adicional de que el objeto puesto en la llama es un trozo de hielo.

Ejemplo:
Si hubisemos puesto un objeto desconocido y notsemos que la llama no se volva amarilla, un anlisis ulterior habra determinado que tal objeto no era una sal de sodio, y en este caso, sostiene Hempel, no sera nada paradjico tomarlo como una evidencia de que Todas las sales de sodio producen al arder una llama amarilla.

Llevando ms lejos este anlisis, si yo examino un objeto y descubro que es negro, la nica informacin que puedo tomar en cuenta para los propsitos de un anlisis formal de la confirmacin es que tengo ante m un objeto negro; y, puesto que esta simple informacin confirma, como Hempel apunta, la hiptesis de que todos los objetos son negros, confirmar tambin, desde luego, la consecuencia mucho ms dbil de esta hiptesis, todos los cuervos son negros.

Presumiblemente, lo que Hempel piensa es que, si encuentro un objeto que no es un cuervo, confirmo la proposicin de que no hay cuervos, y esto, unido a la interpretacin corrientemente aceptada de las proposiciones universales, segn la cual una proposicin universal es verdadera si es vaca la clase del sujeto, constituye una confirmacin de la hiptesis de que todos los cuervos son negros.

Ficcin metodolgica?
Sera el colmo de la insensatez pretender que el cientfico olvidase todo lo que sabe durante el proceso de contrastacin de las hiptesis. Podra tener perfectamente sentido que yo observase un lpiz sobre mi mesa, advirtiese que se mueve con una velocidad menor que la de la luz, y concluyese que he confirmado la tesis de Einstein de que nada se mueve con velocidad superior a la de la luz

nada se mueve con velocidad superior a la de la luz


(con la posible excepcin de los taquiones, pero tambin podra observar que el lpiz no es un taquin y as confirmar de un solo golpe que existen objetos que no son taquiones y que todos los taquiones se mueven con una velocidad mayor que la luz). Es evidente que la investigacin cientfica no se conduce de tal modo.

Los experimentos
Cuando proyecta un experimento para comprobar una hiptesis o trata de decidir si un cuerpo de informacin determinado es relevante para la verdad de alguna otra, el cientfico no pretende que el resultado experimental en cuestin sea la nica evidencia que tiene; sino ms bien, antes de extraer sus conclusiones, se esforzar por contemplar todo fragmento de evidencia que pueda reunir.

la ficcin metodolgica no atae a los cientficos, sino a los lgicos


Los clculos lgicos, como los clculos matemticos, pueden ser construidos sin recurrir al examen de ningn cuerpo de conocimiento o experiencia, pero el hecho de que exista un clculo no es una razn suficiente para aceptar que sea un instrumento adecuado para el anlisis de cualquier rea particular de la experiencia humana.

Lenguajes artificiales y clculos


En modo alguno es obvio que, aun en el caso de que alcancemos un anlisis preciso de la relacin de confirmacin entre tales proposiciones y sus instancias, esto fuese de algn modo aplicable a las razones para aceptar o rechazar la ley de gravitacin de Newton, el principio general de la relatividad o la ecuacin de Schrdinger.

Datos e interpretacin
La filosofa de la ciencia no puede proceder sin ms a reunir informacin acerca de lo que hacen los cientficos, sino que necesita adoptar ciertas presuposiciones acerca de la naturaleza del conocimiento y de cul ser el mejor modo de analizar su estructura, antes de empezar su examen del conocimiento cientfico.

Generalizaciones de la experiencia
Las primeras versiones del empirismo lgico partan de la presuposicin empirista de que todo el conocimiento cientfico consiste en generalizaciones de la experiencia. No tiene por un defecto sino ms bien por una virtud metodolgica el hecho de que no analiza ejemplos cientficos complejos: simplifica la discusin sin eliminar, a su juicio, ningn rasgo esencial del conocimiento cientfico.

lenguaje de los Principia


Si aceptamos la lgica aristotlica con el anlisis tradicional del importe existencial, segn el cual una proposicin universal afirma la existencia de miembros en la clase del sujeto, entonces las dos proposiciones en cuestin no son equivalentes, pues Todos los cuervos son negros afirma la existencia de cuervos, mientras que Todas las cosas nonegras son no-cuervos afirma la existencia de objetos no negros, y, por lo tanto, no surge la paradoja.

Las paradojas de la confirmacin


Por otra parte, debe destacarse que el reiterado fracaso de los empiristas lgicos en ponerse de acuerdo sobre una solucin para ellas problema que ellos consideran apremiante a juzgar por la ingente cantidad de literatura que ha suscitado proporciona una razn importante para tomar seriamente en cuenta los enfoques alternativos de filosofa de la ciencia.

La ficcin metodolgica
Es por tratar de analizar la relacin de confirmacin con la mirada puesta en el paradigma deductivo por lo que Hempel supone que, si una hiptesis est confirmada por un enunciado observacional dado, la adicin de ulteriores enunciados de observacin no puede anularla. Pero suministra un acercamiento perfectamente plausible a la solucin de las paradojas de la confirmacin.

ATAQUE DE GOODMAN A LOS ANLISIS SINTCTICOS DE LA CONFIRMACIN

(x)(Px Qx) & PaQa


Todas las esmeraldas son verdes y supngase que hemos observado un gran nmero de esmeraldas verdes y ninguna instancia de esmeralda no-verde. En trminos del tipo de anlisis sintctico que hemos venido examinando, tenemos (x) (Px Qx) y un gran nmero de enunciados de observacin Pa Qa; esto parecera dar lugar a una generalizacin altamente confirmada.

Considrese, sugiere Goodman, el predicado verdul, definido como sigue: Un objeto es verdul si y slo si es verde antes del tiempo t y azul despus. Comoquiera que todas las observaciones han sido hechas antes de t, tenemos un caso claro de confirmacin de una proposicin universal, pero no tenemos base ni razn para determinar si la proposicin confirmada es Todas las esmeraldas son verdes o Todas las esmeraldas son verdules

concepto de proyeccin
Siempre que generalizamos o hacemos cualquier prediccin sobre la base de un cuerpo dado de evidencia, estamos proyectando esa evidencia al futuro. El problema de la induccin (cuya forma moderna es el problema de la confirmacin) se convierte ahora en un caso del problema general de saber qu conjuntos de evidencia presente pueden ser proyectados.

Informacin adicional no legtimamente aprovechable


La confirmacin est tomada aqu como una relacin entre una hiptesis y un informe observacional, y no podemos traer a colacin ningn otro informe de observacin adicional, como, por volver a uno de nuestros anteriores ejemplos, que es el hielo el objeto al que aplico la llama.

Informacin adicional legtimamente aprovechable


Goodman nos dice ahora que hay otro vasto campo de informacin adicional que puede ser tomado legtimamente en cuenta: informacin relativa a la historia de las proyecciones pasadas y de su xito o fracaso.

Cuando la tomamos en cuenta, aparece como una cuestin de hecho que el predicado verde tiene una larga historia de proyecciones con xito: Goodman describe esta situacin diciendo que el predicado verde est mucho mejor atrincherado que verdul, y este grado de atrincheramiento del predicado en cuestin es lo que nos proporciona un criterio para decidir entre Todas las esmeraldas son verdes y Todas las esmeraldas son verdules.

Es importante subrayar aqu que Goodman apela al registro histrico de proyecciones efectivas y no a la estructura lgica de las proposiciones involucradas

verde ms que verdul


Si analizamos la posicin de Goodman encontramos que, por una parte, exhibe algunas de las caractersticas distintivas del empirismo lgico, como el considerar un problema preeminente de la filosofa de la ciencia el problema de la induccin y el aproximarse a l a travs de un examen de las generalizaciones simples.

Ms all del empirismo lgico


Pero, por otra parte, su modo de enfocar la solucin constituye una significativa ruptura con respecto al enfoque del empirismo lgico, puesto que el nervio de su argumento est en el rechazo de la posibilidad de construir una definicin puramente sintctica de confirmacin.

ruptura con el empirismo lgico


el nervio de su argumento est en el rechazo de la posibilidad de construir una definicin puramente sintctica de confirmacin. en su intento de resolver el problema de la proyeccin en trminos del concepto de atrincheramiento, que slo a la luz de la historia de la ciencia puede decirse si una hiptesis dada ha sido confirmada por un particular conjunto de observaciones

1. Cunta historia de la ciencia debemos considerar? 2. Bajo qu circunstancias aparecen nuevos conceptos tales como el de quantum de accin y cmo logran atrincherarse? 3. Cmo pierden su status los conceptos previamente bien atrincherados? 4. Cul es la importancia relativa que tiene la recoleccin de datos para determinar qu conceptos llegan a atrincherarse y cul es la que tienen los conceptos atrincherados para determinar qu datos debemos coleccionar?

un nuevo programa de investigacin


Un filsofo que acepte el nuevo proyecto de Goodman y desee trabajar en esa problemtica no puede limitarse al anlisis lgico, sino que deber ocuparse en buena medida de investigaciones histricas, y seguramente encontrar irrelevantes los criterios de adecuacin formal para decidir si es aceptable una solucin propuesta para alguno de esos nuevos problemas.