Logique et ensemblesThéorème · Glossaire
paradoxe
Un paradoxe est une proposition, une situation ou un raisonnement qui produit une contradiction réelle ou apparente, ou qui s’oppose à l’intuition commune. Pour l’analyser, on précise les hypothèses, le sens des mots et les règles utilisées afin de déterminer si la difficulté vient du raisonnement, du cadre adopté ou d’une limite du modèle.
Sommaire
Ce que vous allez apprendre
- Identifier une contradiction réelle, apparente ou seulement intuitive.
- Tester le paradoxe du menteur avec les deux valeurs de vérité.
- Distinguer un paradoxe d’une erreur de raisonnement et d’une simple surprise.
- Repérer ce qu’un paradoxe peut révéler sur les hypothèses ou le modèle.
En clair
Lisez la phrase « Cette phrase est fausse ». Si vous la tenez pour vraie, elle affirme qu’elle est fausse. Si vous la tenez pour fausse, son affirmation devient vraie. Chaque réponse semble donc obliger à choisir la réponse opposée.
Ce blocage est un paradoxe : une proposition, une situation ou un raisonnement heurte l’intuition ou produit une contradiction réelle ou seulement apparente. L’intérêt consiste à rechercher quelle hypothèse, quelle règle ou quel sens des mots crée la difficulté.
Définition
Un paradoxe est une proposition, une situation ou un raisonnement dont l’issue contredit une attente raisonnable, ou paraît incompatible avec les règles utilisées. La contradiction peut être réelle, mais elle peut aussi disparaître lorsque l’on précise une hypothèse, le sens d’un terme ou le cadre du raisonnement.
Trois formes générales se rencontrent. Un énoncé apparemment vrai peut contenir une contradiction interne. Un énoncé apparemment faux peut devenir vrai après examen. Enfin, des étapes valides en apparence peuvent mener à une conclusion contradictoire ; il faut alors déterminer si les prémisses sont incompatibles, si une inférence est en réalité invalide ou si le cadre logique diffère de la logique classique. Un paradoxe visuel transpose le même effet dans une figure : le dessin paraît cohérent localement, tandis que l’objet global ou la perspective ne peut pas être réalisé comme on le croit.
Le mot ne nomme donc pas une règle unique. Il signale un conflit à analyser entre une conclusion et l’intuition, entre deux conclusions, ou entre plusieurs descriptions d’une même situation. En logique, en probabilités comme en physique quantique, ce conflit peut révéler une limite des connaissances ou du modèle employé.
Le principe
Pour établir qu’une situation est paradoxale, il faut d’abord fixer les prémisses, les règles de raisonnement et la conclusion attendue. Une contradiction est présente lorsque des énoncés incompatibles sont établis dans le même cadre. Si une conclusion contredit une prémisse, il faut encore déterminer si les hypothèses sont incompatibles ou si l’inférence est invalide. Si la conclusion heurte seulement l’intuition, elle doit être vérifiée dans le cadre annoncé avant d’être qualifiée de paradoxe. L’analyse ne s’arrête pas au constat : elle cherche la prémisse cachée, l’ambiguïté ou la limite du modèle qui explique l’écart.
Quand l'utiliser
L’analyse s’applique à un énoncé, une situation ou un raisonnement dont on peut expliciter le cadre. Il faut connaître les prémisses admises, le sens des mots et les règles qui autorisent le passage d’une étape à la suivante. Il faut aussi distinguer la conclusion logique de la réaction intuitive qu’elle provoque.
Trois contrôles sont décisifs. D’abord, comparer les prémisses — les points de départ admis — pour voir si elles peuvent être vraies ensemble ; leur incompatibilité peut justement être ce que le paradoxe révèle. Ensuite, examiner chaque inférence — le passage d’une étape à la suivante — pour vérifier qu’elle est autorisée dans le domaine choisi. Enfin, s’assurer que les termes gardent le même sens. Une division par zéro, une ambiguïté ou une hypothèse oubliée signale plutôt une faute à corriger ; une conclusion seulement inhabituelle doit encore être vérifiée avant d’être dite paradoxale.
Un exemple, pas à pas
Considérons le paradoxe du menteur sous la forme d’une seule proposition, notée P : « Cette phrase est fausse ». La donnée à examiner est le contenu de P ; le cadre retenu n’autorise que les valeurs « vraie » et « fausse ».
Étape 1. Supposons P vraie. Son contenu doit alors être exact. Or P affirme qu’elle est fausse : l’hypothèse « P vraie » conduit à « P fausse ».
Étape 2. Supposons maintenant P fausse. Ce qu’elle affirme est alors faux. L’affirmation « P est fausse » étant fausse, P doit être vraie.
Étape 3. Les deux essais inversent donc la valeur choisie. Aucune des deux valeurs ne reste cohérente avec le contenu de la proposition dans ce cadre.
Le contrôle est refaisable : partez séparément de « vraie » puis de « fausse » et relisez littéralement P. Le résultat ne prouve pas que toute phrase autoréférente est contradictoire ; il montre que cette phrase résiste à l’attribution classique d’une unique valeur de vérité.
En pratique
En logique, une conclusion contradictoire invite à reprendre les prémisses et les inférences une par une. Si une étape est invalide, on corrige le raisonnement ; si toutes résistent, on précise le langage ou le cadre logique.
En probabilités, un résultat contre-intuitif se contrôle à partir des événements possibles et des informations disponibles. Une intuition vague cède alors la place à un calcul dans le modèle annoncé.
Dans les sciences, une situation paradoxale sert de signal d’alarme. Selon le défaut observé, on recherche une hypothèse tacite, une limite expérimentale ou une lacune du modèle plutôt que d’écarter immédiatement le résultat.
À ne pas confondre
Une erreur de raisonnement. Une étape interdite, telle qu’une division par zéro, peut suffire à expliquer une conclusion absurde. Le critère est testable : si aucune autre erreur, prémisse incompatible ou ambiguïté ne subsiste, la difficulté disparaît quand l’étape fautive est retirée. Un paradoxe digne d’analyse subsiste après ce premier contrôle.
Une simple surprise. Un résultat inattendu n’est pas automatiquement paradoxal. S’il découle sans conflit des prémisses et des règles, il est seulement contre-intuitif. On parle de paradoxe lorsque l’écart avec l’intuition révèle une tension qu’il faut expliquer.
Limites et pièges
Contradiction apparente. Deux conclusions semblent incompatibles, mais elles reposent sur des sens ou des cadres différents. Le symptôme est un mot qui change de sens ou une hypothèse implicite. Il faut réécrire les prémisses avant de conclure à une contradiction réelle.
Deux valeurs insuffisantes. Dans l’exemple du menteur, forcer l’unique choix entre « vraie » et « fausse » produit le renversement. Cela ne démontre pas que toute logique est incohérente. Il faut préciser le statut de la phrase ou adopter un cadre qui traite explicitement ce cas.
Figure trompeuse. Un objet impossible peut paraître correct parce que chaque portion du dessin est plausible. Le symptôme apparaît lorsque les raccords globaux imposent des positions incompatibles. Il faut contrôler la construction entière, et non prolonger mentalement une perspective locale.
Pour aller plus loin
La notion de paradoxe approfondit le rôle intellectuel du paradoxe et les formes que peut prendre une contradiction apparente.
Le paradoxe de Monty Hall montre sur un problème de probabilités pourquoi une conclusion exacte peut résister à l’intuition.
Non-contradiction (principe de) précise le principe logique mis à l’épreuve lorsqu’un même énoncé semble conduire à des conclusions incompatibles.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres
