Lisons le passage suivant :
Les trois quanta logiques lupasciens sont directement inspirés par la physique quantique [4]. Ils remplacent les deux conjonctions de la logique classique, faisant intervenir quatre termes logiques indexés : " si e est "vrai", non-e doit être "faux" " et " si e est "faux", non-e doit être "faux" ".
Il est habituel et banal que la négation du VRAI soit le FAUX, mais je trouve curieux (!) que la négation du FAUX soit encore le FAUX et non le VRAI.
À la limite, je pourrais accepter que la négation du faux ne soit ni le vrai ni le faux, un troisième terme, par exemple l'incertain (probabilisé?).
C'est à en perdre la raison. Ce manque de symétrie choque mon ticerveau ;-)
Évariste
|