Paradoxe de Hempel

Pourquoi voir une vache blanche confirme que les corbeaux sont noirs

Ce paradoxe repose sur l'équivalence logique des deux assertions:

tout ce qui possède la propriété A possède la propriété B
Tout ce qui ne possède pas la propriété B ne posséde pas la propriété A

En termes mathématiques, cela s'écrit aussi, en notant A la négation de la propriété A: ( A⇒B ) ⇔ ( B ⇒ A )

D'après cette règle de logique, il est alors équivalent de considérer les deux assertions :

"Tous les corbeaux sont noirs"
"Tout ce qui n'est pas noir n'est pas un corbeau"

Il est bien important de comprendre que ces deux assertions sont équivalentes, ce ne sont que deux formulations différentes de la même idée.

Ainsi, il est aussi équivalent logiquement de confirmer la première assertion ou la deuxième, c'est-à-dire qu'il est équivalent d'observer un corbeau noir (ce qui nous conforte bien dans notre idée que tous les corbeaux sont noirs), que d'observer un autre animal (ou tout autre objet quelconque) qui n'est pas noir, par exemple une vache blanche.

de plus amples détails autour de ce paradoxe sont donnés sur cette page.

suivant: Sudoku