Paradoxe du corbeau d'Hempel

Il s'agit "simplement " de vérifier que:
" tous les corbeaux sont noirs ".
On peut rechercher les corbeaux et noter leur couleur. Chaque corbeau noir confirme l'hypothèse. Un seul corbeau d'une autre couleur réfute l'hypothèse.
C'est une contraposition.
En logique, la contraposition d'un énoncé possède un sens identique à celui-ci.
On peut donc reformuler de la manière suivante: " Tout ce qui n'est pas noir, n'est pas corbeau ".
On cherche des objets non noirs qui ne soient pas des corbeaux. Un geai bleu. Il n'est pas noir. Ca n'est pas un corbeau.
Le papier de ce livre est blanc. Ca n'est pas un corbeau.
NB: Alors que les corbeaux sont environ un demi-million sur la planète, les autres objets non-noirs sont en nombre astronomique.
Comment être sûr que tout a été passé en revue, et confirmer cette affirmation? Imaginons qu'un génie le fasse, serions-nous satisfaits pour autant. Non, il y a une subtilité qui subsistera!
On aurait pu dire: " tous les corbeaux sont blancs " et la contraposition: " tout ce qui n'est pas blanc, n'est pas corbeau ".
Un geai bleu n'est pas blanc, il n'est pas corbeau.

Comment peut-on, avec une même observation, arriver à confirmer deux hypothèses qui s'excluent mutuellement. Le geai bleu confirme que la couleur de tous les corbeaux est le noir, mais aussi le blanc. Noir, c'est blanc?
Des affirmations raisonnables ont conduit à des contradictions flagrantes.
Le paradoxe de Hempel est plus qu'une énigme pour les scientifiques. Mais il est l'un des plus près d'être résolu.
En fait, il faut se ranger à un certain point de vue pour éliminer la contradiction. Il consiste à prendre pour vraie une affirmation même si la prémisse n'est pas réelle.
Exemple: Tous les centaures sont verts. Or X est un centaure. Donc X est vert.
Très bien, mais les centaures n'existent pas. Un génie pourrait s'échiner à chercher des centaures non verts, il n'en trouverait pas et conclurait que l'affirmation est vraie. C'est évident, puisqu'il n'existe aucun centaure de quelque couleur que ce soit. Il est alors curieux de dire que l'affirmation est vraie.
Si on veut que les affirmations soient réelles, il faut chercher:

• Pour l'affirmation: au moins un corbeau noir, et
• Pour la contraposition: au moins un non-corbeau non noir (un flamant rose, par exemple)

Carl G. Hempel, philosophe américain, d'origine allemande, proposa ce paradoxe en 1946.