No se ha añadido ninguna twiki todavía.

(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.

Ver ejemplo ↓
[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.