Carte de Jourdain
Apparence
La carte de Jourdain[1], aussi parfois appelé le paradoxe Skywalker[2], est une variante du paradoxe du menteur, qui n'est pas auto-référentiel. Ce paradoxe a été inventé par Philip Jourdain[3]. Il est également connu comme le paradoxe de la carte.
Le paradoxe
[modifier | modifier le code]Supposons qu'il y ait une carte, avec de chaque côté :
Recto: | La phrase de l'autre côté de cette carte est VRAIE. |
Verso: | La phrase de l'autre côté de cette carte est FAUSSE. |
Essayer d'assigner une valeur de vérité à l'une de ces faces conduit à un paradoxe.
- Si la première affirmation est vraie, alors la seconde l'est aussi. Mais si la seconde affirmation est vraie, alors la première affirmation est fausse. Il en résulte que, si la première affirmation est vraie, alors la première affirmation est fausse.
- Si la première affirmation est fausse, la seconde affirmation est fausse. Mais si la deuxième affirmation est fausse, alors la première affirmation est vraie. Il en résulte que si la première affirmation est fausse, alors la première affirmation est vraie.
On pourrait refaire le même raisonnement à partir de la seconde affirmation. Aucune de ces affirmations n'utilise l'auto-référence. À la place, nous avons affaire à une référence circulaire. Similairement, le paradoxe de Yablo est une variante du paradoxe du menteur, qui n'utilise aucune référence circulaire.
Références
[modifier | modifier le code]- Yannis Delmas-Rigoutsos, Les paradoxes et le savoir : Etude historique, épistémologique et logique, École Polytechnique, Palaiseau, France, (lire en ligne), page 37
- Monsieur Phi, Le PARADOXE DU MENTEUR et le THÉORÈME DE TARSKI | Argument frappant #8https://www.youtube.com/watch?v=wiYdEDDRQzE
- (en) John J. O'Connor et Edmund F. Robertson, « Philip Edward Bertrand Jourdain », The MacTutor History of Mathematics archive, (consulté le )