Re: sans

Le 30/11/2023 à 17:46, Valcarus a écrit :

Anansi a écrit:

Le 30/11/2023 à 14:12, Marc a écrit :

Le 30/11/2023 à 09:38, Valcarus a écrit :

 

Un Crétois disait: "tous les Crétois sont des menteurs".

>

Ce prétendu paradoxe n'en est pas un. La proposition contraire de "tous les Crétois sont des menteurs" n'est pas "aucun Crétois ne ment jamais", mais "il existe au moins un Crétois qui ment au moins une fois".

>

Vous êtes sûr de votre coup, là ?

>
Non, ben sûr. C'est « Il existe au moins un Crétois qui dit parfois la
vérité. »

  C'est exact, j'ai fait un lapsus. Mais après vous être fait moucher dans le fil "M. et Mr", vous avez raison de vous venger.

Anansi ne se venge pas, il corrige votre lapsus (bien involontaire, j'imagine ;))
Vous devriez le remercier.
 

Le Crétois qui avance "tous les Crétois sont des menteurs" est en train de mentir. Il existe des Crétois qui ne mentent pas et d'autres qui mentent, comme lui.

Ce que dit le Crétois n'est pas une phrase qui s'inscrit dans un discours de tous les jours. Il affirme quelque chose comme étant une vérité, comme un fait établi (tous les Crétois sont des menteurs, dont lui). On a bien alors affaire à un paradoxe.
 

Ça donne le niveau de logique du personnage.
Douglas Hofstadter donne la phrase initiale comme exemple de proposition
autoréférentielle indécidable.

 Toujours cet art de rapporter doctement ce que vous ignoriez encore 2 minutes auparavant.

Que pensez-vous du barbier qui rase tous ceux qui ne se rasent pas eux-même ?