Bonjour,

Les exobiologistes tenants de l'hypothèse de l'existence d'extra-terrestres (HET) tiennent en gros le raisonnement suivant :

- il existe de la vie sur notre planète ;
- il existe d'autres planètes ;
- donc, il existe de la vie sur d'autres planètes.

Or ce raisonnement me chiffonne grandement. Je ne suis pas spécialiste de logique, mais il me semble qu'il y a là quelque chose de bancal.
Intuitivement, il me semble que l'on n'est pas comme dans le cas du célèbre syllogisme :

- les hommes sont mortels ;
- Socrate est un homme ;
- donc Socrate est mortel.

Ici, il me semble que la conclusion est une application de la première prémisse, générale, à la seconde, particulière.
Mais dans l'HET, je ne vois pas très bien comment ça fonctionne, ou plutôt il me semble que précisément ça ne fonctionne pas.
Un logicien pourrait-il démêler ce noeud ?

Merci d'avance.

Paminode