«De acuerdo con la tesis que hemos de proponer aquí, el método de contrastar críticamente las teorías y de escogerlas, teniendo en cuenta los resultados obtenidos en su contraste, procede siempre del modo que indicamos a continuación. Una vez presentada a título provisional una nueva idea, aún no justificada en absoluto ―sea una anticipación, una hipótesis, un sistema teórico o lo que se quiera―, se extraen conclusiones de ellas por medio de una deducción lógica; estas conclusiones se comparan entre sí y con otros enunciados pertinentes, con objeto de hallar las relaciones lógicas (tales como equivalencia, deductibilidad, compatibilidad o incompatibilidad, etc.) que existan entre ellas.
Si queremos, podemos distinguir cuatro procedimientos de llevar a cabo la contrastación de una teoría. En primer lugar, se encuentra la comparación lógica de las conclusiones unas con otras: con lo cual se somete a contraste la coherencia interna del sistema. Después, está el estudio de la forma lógica de la teoría, con objeto de determinar su carácter: si es una teoría empírica ―científica― o si, por ejemplo, es tautológica. En tercer término, tenemos la comparación con otras teorías, que tiene por principal mira la de averiguar si la teoría examinada constituiría un adelanto científico en caso de que sobreviviera a las diferentes contrastaciones a que la sometemos. Y finalmente, viene el contrastarla por medio de la aplicación empírica de las conclusiones que pueden deducirse de ella.
Lo que se pretende con el último tipo de contraste mencionado es descubrir hasta qué punto satisfarán las nuevas consecuencias de la teoría ―sea cual fuere la novedad de sus asertos― los requerimientos de la práctica, ya provengan éstos de experimentos puramente científicos o de aplicaciones tecnológicas prácticas. También en esto caso el procedimiento de contrastar resulta ser deductivo; veámoslo. Con ayuda de otros enunciados anteriormente aceptados se deducen de la teoría a contrastar ciertos enunciados singulares ―que podemos denominar “predicciones―”; en especial, predicciones que sean fácilmente contrastables o aplicables. Se eligen entre estos enunciados lo que no sean deductibles de la teoría vigente, y, más en particular, los que se encuentren en contradicción con ella. A continuación tratamos de decidir en lo que se refiere a estos enunciados deducidos (y a otros), comparándolos con los resultados de las aplicaciones prácticas y de experimentos. Si la decisión es positiva, esto es, si las conclusiones singulares resultan ser aceptables, o verificadas, la teoría a que nos referimos ha pasado con éxito las contrastaciones (por esta vez): no hemos encontrado razones para desecharla. Pero si la decisión es negativa, o sea, si las conclusiones han sido falsadas, esta falsación revela que la teoría de la que se han deducido lógicamente es también falsa.
Conviene observar que una decisión positiva puede apoyar a la teoría examinada sólo temporalmente, pues otras decisiones negativas subsiguientes pueden siempre derrocarla. Durante el tiempo en que una teoría resiste contrastaciones exigentes y minuciosas, y en que no la deja anticuada otra teoría en la evolución del progreso científico, podemos decir que ha “demostrado su temple” o que está “corroborada” por la experiencia.
En el procedimiento que acabamos de esbozar no aparece nada que pueda asemejarse a la lógica inductiva. En ningún momento he asumido que podamos pasar por un razonamiento de la verdad de enunciados singulares a la verdad de teorías. No he supuesto un solo instante que, en virtud de unas conclusiones “verificadas”, pueda establecerse que unas teorías sean “verdaderas”, ni siquiera meramente “probables”».
(K. R. POPPER, La lógica de la investigación científica, I, 3, sin notas. Trad. V. Sánchez Zavala. Tecnos, Madrid, 1985, pp. 32-33).
