Refutació

Un dels dos possibles resultats, juntament amb la verificació o confirmació, en la contrastació d'hipòtesi. Una hipòtesi és refutada o negada quan és incompatible o contradictòria amb els fets. Si una hipòtesi s'expressa com un enunciat universal, en la forma (simplificada)

La hipòtesi «els líquids són incompresibles» quedaria negada o refutada per l'afirmació d'un enunciat observacional tal com «existeix un líquid compresible». En el procediment de contrastació, suposada la hipòtesi i deduïda d'ella una conseqüència observacional, si aquesta conseqüència és negada pels fets, es produeix des del punt de vista de la lògica el següent modus tollens:

Si és veritat H, també ho és la seva conseqüència C

No és veritat C

______________________________

La hipòtesi H no és veritable

on H seria la hipòtesi citada sobre la incompresibilitat dels líquids, i C l'observació de casos en què un líquid no és compresible.

Segons Popper, no hi ha relació de simetria entre la verificació i la refutació: no és possible verificar una hipòtesi universal, però sí és possible refutarla La verificació d'una hipòtesi universal suposa la comprovació impossible d'una infinitat de casos que la confirmen; mentre que la refutació d'una hipòtesi universal és possible amb només un cas que sigui el seu negació.