Carte de Jourdain
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
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
- 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 )
Portail de la logique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.