En logique épistémique, l'axiome d'introspection positive dit que si je sais qu'il est possible que je me pende avec mes bretelles, alors je sais que je sais qu'il est possible que je me pende avec mes bretelles. — Mais me pendrai-je effectivement avec mes bretelles ? Il ne le dit pas.
(Marcel Banquine, Exercices de lypémanie)
Aucun commentaire:
Enregistrer un commentaire