Paradoxe du barbier
Dans cet article, nous allons aborder le sujet de Paradoxe du barbier sous différents angles, dans le but d'approfondir son importance et sa pertinence aujourd'hui. Paradoxe du barbier est un sujet qui a suscité un grand intérêt dans différents domaines, car son influence s'étend à de nombreux domaines de la société. Tout au long de cet article, nous analyserons les différentes facettes de Paradoxe du barbier, explorant son impact sur la vie quotidienne, son évolution dans le temps et ses éventuelles implications futures. De plus, nous examinerons les opinions et les réflexions d’experts dans le domaine, ainsi que les expériences de personnes qui ont vécu de près l’influence de Paradoxe du barbier dans leur vie. En bref, cet article vise à offrir une vision profonde et complète de Paradoxe du barbier, afin d'enrichir la connaissance et la compréhension de ce sujet passionnant.
Ne doit pas être confondu avec Théorème de Barbier.
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
Le paradoxe du barbier est une illustration à but didactique du paradoxe de Russell, attribuée à Bertrand Russell. Il ne faut donc pas donner une importance excessive à ce « paradoxe ». Par exemple, le logicien Evert Willem Beth qualifie ce paradoxe d'« antinomie prétendue » ou de « pseudo-antinomie ».
Énoncé
On peut énoncer le paradoxe ainsi :
Le conseil municipal d'un village vote un arrêté municipal qui enjoint à son barbier (masculin) de raser tous les habitants masculins du village qui ne se rasent pas eux-mêmes et seulement ceux-ci.
Le barbier, qui est un habitant du village, n'a pas pu respecter cette règle car :
- S'il se rase lui-même, il enfreint la règle, car le barbier ne peut raser que les hommes qui ne se rasent pas eux-mêmes ;
- S'il ne se rase pas lui-même — qu'il se fasse raser ou qu'il conserve la barbe —, il est en tort également, car il a la charge de raser les hommes qui ne se rasent pas eux-mêmes.
Cette règle est donc inapplicable. S'agit-il pour autant d'un paradoxe ? Il n'y a aucune raison de penser qu'un conseil de village ou toute autre instance ne puisse être à l'origine d'une loi absurde. De fait, loin d'être une antinomie logique, ce « paradoxe » montre qu'un barbier respectant cette règle ne peut pas exister. Il s'agit d'une illustration de ce que, si R est une relation binaire quelconque (en l'occurrence « ...rase... »), l'énoncé suivant, écrit en langage formel :
- ¬ ∃y ∀x (y R x ⇔ ¬ x R x)
est une formule universellement valide du calcul des prédicats du premier ordre. On se reportera à l'article sur le paradoxe de Russell pour voir pourquoi cela peut conduire, dans le cas de la relation d'appartenance dans une théorie des ensembles trop naïve, à une antinomie, c’est-à-dire à une contradiction démontrée dans la théorie.
Comme il s'applique en fait à n'importe quelle relation (binaire), on peut en donner, avec plus ou moins de bonheur, de multiples variantes. Citons celle-ci, due à Martin Gardner : est-il logiquement possible d'écrire un catalogue qui répertorie tous les catalogues ne se répertoriant pas eux-mêmes et seulement ceux-ci ? La réponse est non, puisque ce catalogue ne peut pas se répertorier, ni ne pas se répertorier.
Voir aussi
Bibliographie
- Evert Willem Beth, Les Fondements logiques des mathématiques - Gauthier-Villars (Paris) / E. Nauwelaerts (Louvain) 1950.
- Martin Gardner, La Magie des paradoxes, Pour la Science 1985.
- Nicholas Falletta, Le Livre des paradoxes, Belfond / sciences, 1988. (ISBN 2-7144-1789-2)
Articles connexes
Notes et références
- (en) Martin Gardner, Aha! A two volume collection : Aha! Gotcha, Aha ! insight, (lire en ligne), « Astrologer, robot, and catalog », p. 17
