Re: Le paradoxe du buveur

Le 10/06/2022 10:10, Samuel DEVULDER a écrit :

Le 09/06/2022 à 13:17, Olivier Miakinen a écrit :
 

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

 
Remarque que si le bar ne contient que le buveur, elle est vraie par
contre.

Oui, tu l'as déjà dit. Comme j'ai déjà dit que lorsque le bar est
vide les deux phrases sont fausse.

 
On ne se méfie jammis trop assez du langage naturel: le "tout le monde"
n'est pas synonyme de "tout le monde d'autre" qui, pourtant, est ce que
certains comprennent en lisant ta phrase Olivier

Peut-être, mais...

et qui la rendrait
alors fausse.

???

Alors que « il existe une personne » est faux s'il n'y a personne,
« tout le monde fait X » est toujours vrai lorsque « tout le monde »
désigne un ensemble vide. Donc, même si quelqu'un comprenait « tout
le monde » comme « tous les autres », cela ne changerait pas la valeur
de vérité dans ce cas.


--
Olivier Miakinen