(en inglés, testing) Conjunto de operaciones, teóricas y experimentales, por medio de las cuales se pone a prueba una hipótesis científica o de una teoría. Obedece a la idea de que sólo la concordancia con los hechos justifica una hipótesis o una teoría. Sus posibles resultados son la confirmación o la desconfirmación o refutación. Adoptando la escritura de hipótesis científica como una generalización, a saber,
[math]\forall{x}(Fx\rightarrow{Gx})[/math],
toda constrastación que dé como resultado
[math]Fa\wedge Ga[/math]
es una instancia confirmadora de la hipótesis, mientras que
[math]Fa\wedge ¬Ga[/math]
es una instancia desconfirmadora o la refutación.
[math]\forall{x}(Fx\rightarrow{Gx})[/math] | hipótesis | todos los cisnes son blancos |
[math]Fa\wedge Ga[/math] | confirmación | hay por lo menos un cisne blanco |
[math]Fa\wedge ¬Ga[/math] | refutación | hay un cisne que no es blanco |
De uno y otro caso se dice que son «evidencias» relevantes para la hipótesis. Karl R. Popper sostiene que la contrastación ha de tener carácter deductivo, y se lleva a cabo mediante intentos consecutivos de falsación. Según él, una teoría nunca puede verificarse empíricamente, sino que sólo puede refutarse. Cuando una hipótesis supera constantes y sucesivos intentos de falsación y, con ello, «demuestra su temple», podemos hablar de su corroboración, pero no de su confirmación.