Outis Animateur
Inscrit le: 07 Feb 2007 Messages: 3511 Lieu: Nissa
|
écrit le Monday 19 Nov 07, 9:42 |
|
|
Cet exemple est bien connu des logiciens comme une des nombreuses formes du paradoxe du barbier*, on le présente alors sous la forme :
Un maître avocat a convenu avec un élève peu fortuné que celui-ci ne payerait ses cours que quand il gagnerait son premier procès. Mais ses études terminées, l'élève s'abstient de plaider !
Aussi le maître lui fait un procès pour le contraindre à payer sa dette.
point de vue du maître :
si je gagne il paye en vertu du jugement, si je perds il paye en vertu de l'accord
point de vue de l'élève :
si je perds je ne paye pas en vertu de l'accord, si je gagne je ne paye pas en vertu du jugement
Le juge, lui, ne peut trancher …
(*) le barbier d'un village ne rase pas les hommes qui se rasent eux-mêmes mais rase ceux qui ne se rasent pas eux-mêmes. Qui rase le barbier ?
variantes :
Épiménide le Crétois dit : « Tous les Crétois sont menteurs ».
Écrire au tableau la phrase : « la phrase écrite au tableau est fausse ».
etc. |
|