Logique et ensemblesThéorème · Glossaire
paradoxe du menteur
Le paradoxe du menteur apparaît sous sa forme la plus épurée dans la phrase auto-référentielle « Cette phrase est fausse. » Si elle est vraie, elle est fausse ; si elle est fausse, elle est vraie : dans le cadre classique, aucune des deux valeurs ne reste stable. La déclaration prêtée à Épiménide, « Tous les Crétois sont des menteurs », lui est historiquement associée, mais elle ne reproduit pas exactement cette forme pure : sa fausseté signifie seulement qu'au moins un Crétois ne ment pas, sans prouver qu'Épiménide dit vrai.
Sommaire
Ce que vous allez apprendre
- Suivre la boucle qui transforme l’hypothèse vraie en fausse, puis l’hypothèse fausse en vraie.
- Reconnaître les conditions nécessaires au paradoxe auto-référentiel.
- Distinguer la forme pure de la déclaration générale prêtée à Épiménide.
- Éviter de conclure sans préciser le cadre logique dans lequel la phrase est évaluée.
En clair
Écrivez sur une feuille : « Cette phrase est fausse. » Supposez que l’inscription dit vrai. Elle affirme alors qu’elle est fausse, donc votre supposition échoue. Supposez maintenant qu’elle soit fausse. Ce qu’elle affirme est alors faux, donc elle est vraie.
Chaque réponse renvoie ainsi à l’autre. Cette boucle est le paradoxe du menteur : dans la logique classique, aucun des deux verdicts, vrai ou faux, ne reste cohérent.
Définition
Le paradoxe du menteur naît lorsqu’un énoncé parle de sa propre valeur de vérité et affirme qu’il est faux. Sa forme canonique est « Cette phrase est fausse ». L’auto-référence relie « cette phrase » à l’énoncé entier, et le mot « fausse » inverse toute valeur qu’on tente de lui attribuer.
Dans le cadre classique, une proposition est supposée vraie ou fausse. Si l’énoncé du menteur est vrai, son contenu oblige à le déclarer faux. S’il est faux, son affirmation de fausseté est elle-même fausse, ce qui oblige à le déclarer vrai. Le paradoxe ne consiste donc pas à découvrir lequel des deux verdicts est le bon, mais à constater que chacun détruit sa propre cohérence.
La déclaration prêtée à Épiménide, « Tous les Crétois sont des menteurs », est une forme historique moins épurée. Sa fausseté signifie seulement qu’au moins un Crétois ne ment pas ; elle ne prouve pas qu’Épiménide dit vrai. La boucle parfaite apparaît dans la formulation directement auto-référentielle.
Le principe
Appelons L la proposition « L est fausse ». Dans une logique où L doit recevoir exactement l’une des deux valeurs vrai ou faux, chaque hypothèse impose la valeur opposée :
Aucune attribution ne demeure donc stable. Cette impossibilité constitue le verdict du paradoxe, et non la preuve que L serait simultanément vraie et fausse.
Quand l'utiliser
Le raisonnement s’applique à un énoncé auquel on cherche à attribuer une valeur de vérité. Trois éléments sont nécessaires : l’énoncé doit renvoyer à lui-même, il doit affirmer sa propre fausseté et l’évaluation doit n’offrir que les deux valeurs vrai ou faux. On obtient alors une inversion à chaque tentative d’évaluation.
Une simple phrase sur les mensonges ne suffit pas. Si « Tous les Crétois sont des menteurs » est fausse, il existe au moins un Crétois qui ne ment pas, mais rien n’impose qu’il s’agisse d’Épiménide. Ce constat bloque la boucle ; il faut examiner la phrase comme une généralisation ordinaire plutôt que comme l’énoncé auto-référentiel pur.
Un exemple, pas à pas
Prenons l’unique phrase L : « Cette phrase est fausse. » Les données sont son renvoi à elle-même, le contenu « L est fausse » et les deux verdicts autorisés, vrai ou faux.
1. Posons L vraie. Son contenu est alors vrai. Or ce contenu affirme que L est fausse : l’hypothèse conduit à son opposé.
2. Posons L fausse. Le contenu « L est fausse » devrait être faux. Il en résulte que L n’est pas fausse, donc qu’elle est vraie.
3. Les deux essais ramènent au verdict opposé. Aucun n’atteint un point d’arrêt cohérent.
Les deux hypothèses forment ainsi une boucle logique : chacune produit exactement la valeur qui la contredit.
Le résultat est l’absence de valeur stable dans ce cadre. Le contrôle est refaisable : repartez successivement de « vraie » puis de « fausse » ; si chaque branche aboutit bien à l’autre valeur, la boucle est complète.
En pratique
Face à une phrase déroutante, cherchez d’abord ce qu’elle désigne. Si elle parle directement de sa propre vérité, testez séparément les hypothèses « vraie » et « fausse ». Si elle parle d’un autre fait, une vérification ordinaire convient mieux.
Pour lire l’épisode d’Épiménide, traduisez précisément la négation de « tous ». La phrase est fausse dès qu’un seul Crétois ne ment pas ; cela ne désigne pas automatiquement l’orateur. Cette vérification évite de confondre généralisation fausse et auto-référence paradoxale.
Dans une discussion sur les fondements de la logique, le paradoxe sert de test : une théorie de la vérité doit expliquer pourquoi l’attribution classique se bloque. Si aucune auto-référence n’est présente, il faut chercher une autre difficulté plutôt que forcer ce modèle.
À ne pas confondre
Le paradoxe du Crétois. « Tous les Crétois sont des menteurs », prononcé par un Crétois, ne reproduit pas exactement « Cette phrase est fausse ». Le critère décisif est la négation de « tous » : un seul contre-exemple rend la généralisation fausse sans rendre l’orateur véridique.
Une phrase simplement auto-référentielle. « Cette phrase est écrite en français » parle d’elle-même, mais son contenu ne renverse pas sa valeur. Le cas tranche nettement : l’auto-référence est présente, tandis que l’affirmation de sa propre fausseté manque.
Limites et pièges
Prendre Épiménide pour la forme pure. Le symptôme est la conclusion « s’il ment, alors il dit vrai ». Cette implication ne suit pas : la fausseté de « tous » garantit seulement un contre-exemple. Il faut revenir à « Cette phrase est fausse » pour obtenir la boucle directe.
Croire que toute auto-référence est paradoxale. Une phrase peut parler d’elle-même sans nier sa vérité. Il faut vérifier les deux ingrédients séparément : le renvoi à soi et l’inversion de la valeur. Si le second manque, l’évaluation peut rester stable.
Conclure « vraie et fausse » trop vite. Le calcul montre que chacune des deux attributions classiques conduit à l’autre ; il ne fournit pas automatiquement une troisième règle où les deux seraient retenues. Il faut annoncer le cadre logique choisi avant d’interpréter l’échec.
Pour aller plus loin
paradoxe — Pour replacer le menteur dans la famille plus large des raisonnements dont la conclusion heurte les attentes.
vérité de Tarski — Pour prolonger la question centrale : dans quel langage peut-on définir la vérité d’un énoncé ?
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres