Le paradoxe du menteur et le juge
Dans un exercice de logique, un professeur présente ce cas : un tribunal doit juger un accusé qui déclare : « Je mens en ce moment. » Le juge doit décider si cette déclaration est vraie ou fausse. Un élève affirme : « Si l'accusé dit vrai, alors il ment, donc il dit faux ; s'il dit faux, alors il ne ment pas, donc il dit vrai. C'est contradictoire, donc la phrase n'a pas de sens. » Un autre élève objecte : « Non, cela prouve seulement que la phrase est paradoxale, pas qu'elle est dépourvue de signification. » Le professeur demande de distinguer les niveaux de langage et de dire si le juge peut trancher.
1. Reconstituez le raisonnement de l'élève et expliquez en quoi il illustre le paradoxe du menteur.
Read the worked answer
Le raisonnement est le suivant : soit P la proposition « je mens ». Si P est vraie, alors l'énonciateur ment, donc P est fausse. Si P est fausse, alors l'énonciateur ne ment pas, donc P est vraie. On obtient P ↔ non-P, ce qui est contradictoire en logique classique bivalente.
C'est le paradoxe du menteur, attribué à Épiménide sous une forme voisine. Il ne montre pas que la phrase est vide de sens : il montre qu'aucune valeur de vérité classique ne peut lui être attribuée sans contradiction. La phrase a une signification claire ; c'est sa valeur de vérité qui pose problème. La conclusion de l'élève (« donc la phrase n'a pas de sens ») confond absence de valeur de vérité et absence de signification.
2. En distinguant langage-objet et métalangage, montrez comment le juge peut éviter le paradoxe et rendre une décision.
Read the worked answer
Le paradoxe naît de l'auto-référence : la phrase parle de sa propre vérité. La solution consiste à séparer les niveaux. Le langage-objet contient les énoncés sur les faits (l'accusé a menti ou non lors de ses déclarations antérieures). Le métalangage contient les énoncés sur la vérité de ces énoncés (« il est vrai que l'accusé a menti »).
Le juge peut alors reformuler : « L'accusé a-t-il menti dans ses déclarations factuelles antérieures ? » Cette question porte sur des énoncés de niveau inférieur et admet une réponse déterminée par les preuves. La phrase « je mens en ce moment » n'est plus alors qu'une formule auto-référentielle inutilisable comme preuve ; elle ne bloque pas le jugement. La décision repose sur les faits, non sur la valeur de vérité de la phrase paradoxale. C'est la distinction frégéenne entre sens et dénotation, et la hiérarchie russellienne des types, qui rendent ce traitement possible.