Popper Karl - La Logica de la Investigacion Cientifica

Popper Karl - La Logica de la Investigacion Cientifica Popper Karl - La Logica de la Investigacion Cientifica

29.09.2014 Views

374 La lógica de la investigación científica 11. Existen, según creo, ciertos desiderata intuitivos que no pueden satisfacerse mediante ninguna definición formal: por ejemplo, una teoría está mejor confirmada cuanto más ingeniosas hayan sido nuestras tentativas infructuosas de refutarla. Mi definición incorpora parte de esta idea —si no todo lo que puede ser formalizado de ella—; pero no cabe formalizar totalmente la noción de un intento sincero e ingenioso ^. Considero que carece de importancia el modo concreto en que he definido aquí C(x, y) : pero sí pueden tenerla los desiderata y el hecho de que sea posible satisfacerlos todos. Segunda nota sobre grado de confirmación 1. El profesor Kemeny ha sugerido ' (con referencia a mi definición de contenido), y —de un modo independiente— el doctor C. L. Hamblin lo mismo ^, que convendría medir el contenido de x de y: por ejemplo, una selección de entre los datos de que se disponía hace un año. Como asumimos que Xi explica más cosas de y que xi, obtenemos C(«i, y, í) > > €(«2, y, z) para toda z, y C{x¡, y, 2) > C{x~, y, z) para cualquier z apropiada que contenga algunas de las condiciones iniciales pertinentes (lo cual se sigue de (VI), incluso en caso de que tengamos que asumir que P(j;i, yz) = P(«2, yz) = P(íi) = -P(^0 = o). * Hay muchas maneras de llegar cerca de esta idea. Por ejemplo, podemos establecer una prima para los experimentos cruciales definiendo C„, ,(h) = {C(h, d,)Y\C{h, cu da)) . . . . . . '/

Corroboración, peso de los datos y contrastes estadísticos 375 que se denota por «Ct(aí)» por medio de —logj P{x), en lugar de hacerlo por 1—P(x), como yo había propuesto (empleo aquí mis propios símbolos). Si se acepta esta sugerencia, es preciso modificar ligeramente mis desiderata ^ para el grado de confirmación de x por y (que he denotado con «C{x, y)») : hemos de remplazar ±1 por ±: co en (II) y en (V), y (III) se convierte en (III) O < C{x, xy) = C{x, x) = Ct(*) = — log^Fix) < + co . Los desiderata restantes permanecen inalterados. El doctor Hamblin propone * que definamos el grado de confirmación por (1) C(*,y) = log2(P(xj)/P(x)P(y)) que para sistemas finitos (pero no necesariamente para infinitos) es lo mismo que (2) C(x,j) = log,(P(j,x)/P(y)), fórmula que tiene la ventaja de seguir estando determinada incluso si P(x) = O, como puede ocurrir en caso de que x sea una teoría universal. La fórmula relativizada correspondiente sería (3) C{x,y,z)=los¿P{y,xz)IF{y,z)). La definición (1), sin embargo, no satisface mi desideratum VIII (c), como hace observar el doctor Hamblin, y lo mismo ocurre con (2) y (3). Tampoco se satisfacen los desiderata IX (b) j (c). Ahora bien, en mi opinión, VIII (c) marca la diferencia entre UHH medida de capacidad explicativa y una de confirmación. En efecto : la primera puede ser simétrica en x e y, pero la última no, pues en caso de que y se siga de x (y apoye a éste) y de que a no esté confirmado por y, no parece que sea satisfactorio decir que ax está siempre tan bien confirmado por y como lo está x (pero no parece existir razón alguna por la que aa; y :>; no hayan de tener la misma capacidad explicativa con respecto a y, ya que éste está enteramente explicado por ambas). Y, por ello, me inclino a no abandonar VIH (c). Por tanto, prefiero considerar (2) y (3) como definiciones sumamente adecuadas de la capacidad explicativa —es decir, de E{x, y) y ¥.(x, y, z)— en lugar de serlo del grado de confirmación. Este íiltimo puede definirse a partir de la capacidad explicativa de muchas ' «Grado de confirmación», en este Journal, 1954, 5, págs. 143 y sigs.; véase también la pág. 334. * L. C. HAMBLIN, op. cit., pág. 83. En su recensión de mi «Grado de confirraación», el doctor I. J. Good hace una propuesta análoga (sin especificar 2, sin embargo, como base de los logaritmos); cf. Mathematical Review, 1955, 16, i)á(j. 376. http://psikolibro.blogspot.com

Corroboración, peso <strong>de</strong> los datos y contrastes estadísticos 375<br />

que se <strong>de</strong>nota por «Ct(aí)» por medio <strong>de</strong> —logj P{x), en lugar <strong>de</strong><br />

hacerlo por 1—P(x), como yo había propuesto (empleo aquí mis propios<br />

símbolos). Si se acepta esta sugerencia, es preciso modificar ligeramente<br />

mis <strong>de</strong>si<strong>de</strong>rata ^ para el grado <strong>de</strong> confirmación <strong>de</strong> x por y<br />

(que he <strong>de</strong>notado con «C{x, y)») : hemos <strong>de</strong> remp<strong>la</strong>zar ±1 por ±: co en<br />

(II) y en (V), y (III) se convierte en<br />

(III) O < C{x, xy) = C{x, x) = Ct(*) = — log^Fix) < + co .<br />

Los <strong>de</strong>si<strong>de</strong>rata restantes permanecen inalterados.<br />

El doctor Hamblin propone * que <strong>de</strong>finamos el grado <strong>de</strong> confirmación<br />

por<br />

(1) C(*,y) = log2(P(xj)/P(x)P(y))<br />

que para sistemas finitos (pero no necesariamente para infinitos) es<br />

lo mismo que<br />

(2) C(x,j) = log,(P(j,x)/P(y)),<br />

fórmu<strong>la</strong> que tiene <strong>la</strong> ventaja <strong>de</strong> seguir estando <strong>de</strong>terminada incluso si<br />

P(x) = O, como pue<strong>de</strong> ocurrir en caso <strong>de</strong> que x sea una teoría universal.<br />

<strong>La</strong> fórmu<strong>la</strong> re<strong>la</strong>tivizada correspondiente sería<br />

(3) C{x,y,z)=los¿P{y,xz)IF{y,z)).<br />

<strong>La</strong> <strong>de</strong>finición (1), sin embargo, no satisface mi <strong>de</strong>si<strong>de</strong>ratum VIII<br />

(c), como hace observar el doctor Hamblin, y lo mismo ocurre con<br />

(2) y (3). Tampoco se satisfacen los <strong>de</strong>si<strong>de</strong>rata IX (b) j (c).<br />

Ahora bien, en mi opinión, VIII (c) marca <strong>la</strong> diferencia entre<br />

UHH medida <strong>de</strong> capacidad explicativa y una <strong>de</strong> confirmación. En efecto<br />

: <strong>la</strong> primera pue<strong>de</strong> ser simétrica en x e y, pero <strong>la</strong> última no, pues<br />

en caso <strong>de</strong> que y se siga <strong>de</strong> x (y apoye a éste) y <strong>de</strong> que a no esté<br />

confirmado por y, no parece que sea satisfactorio <strong>de</strong>cir que ax está<br />

siempre tan bien confirmado por y como lo está x (pero no parece<br />

existir razón alguna por <strong>la</strong> que aa; y :>; no hayan <strong>de</strong> tener <strong>la</strong> misma<br />

capacidad explicativa con respecto a y, ya que éste está enteramente<br />

explicado por ambas). Y, por ello, me inclino a no abandonar VIH (c).<br />

Por tanto, prefiero consi<strong>de</strong>rar (2) y (3) como <strong>de</strong>finiciones sumamente<br />

a<strong>de</strong>cuadas <strong>de</strong> <strong>la</strong> capacidad explicativa —es <strong>de</strong>cir, <strong>de</strong> E{x, y)<br />

y ¥.(x, y, z)— en lugar <strong>de</strong> serlo <strong>de</strong>l grado <strong>de</strong> confirmación. Este íiltimo<br />

pue<strong>de</strong> <strong>de</strong>finirse a partir <strong>de</strong> <strong>la</strong> capacidad explicativa <strong>de</strong> muchas<br />

' «Grado <strong>de</strong> confirmación», en este Journal, 1954, 5, págs. 143 y sigs.; véase<br />

también <strong>la</strong> pág. 334.<br />

* L. C. HAMBLIN, op. cit., pág. 83. En su recensión <strong>de</strong> mi «Grado <strong>de</strong> confirraación»,<br />

el doctor I. J. Good hace una propuesta análoga (sin especificar 2, sin embargo,<br />

como base <strong>de</strong> los logaritmos); cf. Mathematical Review, 1955, 16, i)á(j. 376.<br />

http://psikolibro.blogspot.com

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!