Re: Le paradoxe du buveur

Le 09/06/2022 12:56, ast a écrit :

Il s'énonce ainsi:
 
Dans un bar, il existe une personne telle que, si cette
personne boit alors tout le monde dans le bar boit.
 
Mathématiquement c'est vrai
 
 
- S'il existe une personne qui n'est pas en train de boire,
alors cette personne convient et l'implication:
 
"si cette personne boit alors tout le monde dans le bar boit"
 
est vraie car le premier membre est faux
 
 
- et si tout le monde boit, alors l'implication est trivialement
vraie
 
 
Mais en français, dans le langage courant, cette affirmation
n'a aucun sens. Etes vous d'accord avec moi ?

La difficulté vient que la notion de temps n'est pas explicitée, alors
qu'elle est implicite dans la compréhension « naturelle » de la phrase.

La phrase vraie est :
 « À tout moment, il existe une personne telle que si cette personne
   boit alors tout le monde boit. »

La phrase comprise implicitement (et fausse) est :
 « Il existe une personne telle que, à tout moment, si cette personne
   boit alors tout le monde boit. »

Une remarque quand même : la première phrase aussi peut être fausse, et
c'est lorsque le bar est vide.


--
Olivier Miakinen