Kto jest Suszko: problème de philosophie n°2

Dans la série des problèmes de philosophie de la logique, je lance ici un appel à contribution pour un second sujet. Rappel:

Problème n°1: qu'est-ce qu'une contradiction vraie?

Problème à suivre:

Problème n°2: la bivalence est-elle universellement valable?

Les logiques multivalentes admettent l'existence d'autres valeurs de vérité que le vrai et le faux, donc elles réfutent l'universalité de la bivalence.
Or Roman Suszko, philosophe et logicien polonais mort en 1979, avait posé sa ''thèse de réduction": toute matrice multivalente peut être réduite à une matrice bivalente.
Son approche algébrique était plutôt abstraite et ne cherchait pas franchement la justification philosophique, je veux dire: un argument informel en faveur d'une bivalence prédominante dans nos raisonnements quotidiens. Les cas des sorites (paradoxes du vague) et les paradoxes sémantiques (normal ou renforcé) prêchent en faveur d'un rejet de la bivalence, notamment.
J'ai écrit un article sur la question: "Negation and Dichotomy", qui va dans le sens de Suszko et cherche à défendre la bivalence par sa reformulation en termes ensemblistes de bipartition; cet article est trop long pour être étalé ici, il sera consigné dans ma future page personnelle.

En attendant, à vous de relancer ma question et de sortir vos arguments des tiroirs. Quelques références utiles à ce sujet sont disponibles: la réfutation de Suszko par Tsuji, suivie par des articles des Brésiliens Carnielli et Coniglio (voir page à venir à leur sujet); la théorie des valeurs de vérité généralisées de Wansing et Shramko, qui admettent des bi-lattices (ou bi-treillis) où les termes majorants et minorants ne sont plus simplement 1 (le vrai) et 0 (le faux); les articles de Wansing sur la tripartition entre valeur désignée, valeur non-désignée ... et valeur anti-désignée.

Je décrirai les références de ces auteurs lorsque la demande en sera faite (force d'inertie oblige).

F&H