Popper Karl - La Logica de la Investigacion Cientifica

404 La lógica de la investigación científica
enunciado que es lógicamente necesario si y sólo si es deductible (por
ejemplo, gracias a una particularización) de una función de enunciados
«.umversalmente validar), es decir, de una función de enunciados
que se satisface por todo modelo ^^ (esto quiere decir que es verdadera
en todos los mundos posibles).
Considero que podemos explicar por el mismo método lo que
queremos decir por necesidad natural; pues cabe adoptar la siguiente
definición.
Cabe decir que un enunciado es naturalmente —o físicamente—
necesario si y sólo si es deductible de (la clausura de) una función
de enunciados que se satisfaga en todos los mundos que, a lo más, difieran
del nuestro en lo que respecta a las condiciones iniciales.
Desde luego, no podemos nunca saber si una supuesta ley lo es
auténticamente, o si parece serlo pero depende, en realidad, de
ciertas condiciones iniciales peculiares existentes en nuestra zona del
universo (cf. el apartado 79). Por tanto, no llegaremos jamás a averiguar
si un enunciado dado no lógico es de hecho naturalmente necesario
: la conjetura de que lo es no deja jamás de serlo (no solamente
porque no podemos escudriñar la totalidad de nuestro mundo
para asegurarnos de que no exista ningún ejemplo en contra, sino por
la razón aún más fuerte de que no nos es posible escudriñar todos los
mundos que difieran del nuestro en lo que respecta a las condiciones
iniciales). Pero aunque la definición que hemos propuesto excluye
la posibilidad de obtener un criterio positivo de necesidad natural,
podemos aplicar en la práctica aplicarla de un modo negativo: encontrando
condiciones iniciales bajo las que la supuesta ley resulte
perder su validez, podemos hacer patente que no era necesaria, o sea,
que no es una ley de la Naturaleza. Con lo cual, la definición que
hemos propuesto se ajusta perfectamente a nuestra metodología.
Según esta definición, todas las leyes de la Naturaleza, juntamente
con todas sus consecuencias lógicas, serían, desde luego, natural
o físicamente necesarias ^''.
Puede advertirse inmediatamente que la definición propuesta se
encuentra de perfecto acuerdo con los resultados a que habíamos llegado
en nuestra discusión del ejemplo de la moa (cf. los puntos anteriores
6 y 7 ) : precisamente porque pensábamos que las moas podrían
vivir un tiempo más largo bajo otras condiciones diferentes —y más
favorables— es por lo que nos parecía que un enunciado universal
verdadero acerca de su máxima edad real tenía carácter accidental.
13) Introducimos ahora el símbolo «N» como nombre de la clase
de los enunciados que son necesariamente verdaderos en el sentido de
la necesidad natural o física: esto es, verdaderos cualesquiera que
sean las condiciones iniciales.
" Cf. mi «Note on Tarski's Definition of Truth», en Mind 64, 1955, especialmente
la pág. 391.
" Incidentalmente diré que los enunciados lógicamente necesarios se harán ahora
también físicamente necesarios (simplemente porque se siguen de cualquier enunciado);
pero, desde luego, esto no hace al caso.
http://psikolibro.blogspot.com