° Proposition autoréférente. – Proposition qui est vraie ou fausse d’après les éléments qu’elle contient. Par exemple, si on écrit : "Cette phrase comporte 4 T.", la proposition est vraie. Si on écrit : "Cette phrase comporte quatre T.", la proposition est fausse, car elle comporte cinq T. 

On peut construire des grilles dans lesquelles on écrit en lettres le nombre de fois qu’une lettre y apparaît. On écrira, par exemple, CINQ E, DEUX D comme dans la grille ci-après. Toute entrée d’un nouveau nombre et d’une nouvelle lettre vient modifier le nombre de lettres. Dans la grille ci-dessous, on peut lire horizontalement cinq E, deux D, un Z, un R et verticalement deux Q, deux A, quatre X. On doit y retrouver le nombre de fois où chacune de ces lettres apparaît.

Certaines propositions autoréférentes conduisent à des paradoxes comme celui du menteur. 

Ces propositions appartiennent à la classe des récréations logiques.

© Charles-É. Jean

Index : A