Logique tétravalente — Concept

Définition éditoriale

Le corpus appelle UUWUUA IES ou UWUUA IEES une logique à quatre valeurs. D59-2 nomme AIOOYAA — vrai, AIOOYEEDOO — faux, AIOOYAU — déclaré intraduisible, et AIOOYA AMMIE — « vrai hors du WAAM ». Les précisions les deux / aucun de la page actuelle relèvent d’annotations renvoyant à NR20. NR20 reformule plus tard ces possibilités comme quatre intersections entre deux ensembles opposables, puis décrit un raisonnement ramifié dans lequel plusieurs conclusions non incompatibles peuvent subsister jusqu’à leur confrontation aux observations. La logique divalente resterait utilisée dans la vie courante et pour les phénomènes macrophysiques ; la forme tétravalente serait réservée à certains problèmes physiques, ontologiques, philosophiques ou juridiques.

L’Atlas distingue la logique interne revendiquée et sa propre grille documentaire. Pour analyser les sources, les quatre états sont opérationnalisés comme « étayé », « réfuté », « contradictoire » et « indéterminé » à partir de deux axes — présence de preuves favorables et présence de preuves défavorables. Cette adaptation ressemble à la logique de Belnap-Dunn, mais elle ne démontre ni l’équivalence formelle avec UUWUUA IES, ni la réalité des états « hors du WAAM ».

Graphies et équivalents rencontrés

Évolution interne

Comment le concept évolue dans le parcours

mai 1967 · D59-5

Préalable méthodologique

L’absence d’initiation à la logique tétravalente est donnée comme raison de la présentation simplifiée du modèle physique.Lire la fiche

mai 1967 · D59-2

Quatre valeurs nommées

Quatre vocables sont énumérés, sans tables d’opérateurs ; les annotations modernes doivent être distinguées du corps traduit. La logique bivalente reste utilisée au quotidien.Lire la fiche

juin 1967 · D68

Extension au droit

La grille est présentée comme susceptible de rendre intelligibles des facettes et contradictions apparentes dans la philosophie juridique et sociale.Lire la fiche

1969 · D75-81

Ontologie non bivalente

Le rapport refuse de traiter être et ne pas être comme une alternative exhaustive dans les domaines transcendants.Lire la fiche

2004 · NR20

Esquisse formelle

Quatre intersections, une complémentation et un graphe de possibilités sont proposés, mais sans tables complètes ni preuve de correction.Lire la fiche

Mise en contexte

Statut scientifique

Cadre mixte

Une famille logique connue, une identité formelle non établie

Les logiques multivaluées existaient avant 1967, notamment depuis les travaux de Post en 1921. Le rapprochement avec Belnap-Dunn porte sur quatre états, mais pas sur une identité des opérations : la complémentation d’un état de NR20 produit plusieurs possibilités. L’audit formel de septembre 2026 distingue cette règle, la référence FDE et le fragment ensembliste de Nanty. La chronologie rend le rapprochement intéressant pour l’histoire documentaire, pas probant à lui seul quant à l’origine du texte.

Le statut porte sur les propositions spécifiques du concept, non sur l’authenticité revendiquée du corpus. Une ressemblance avec une théorie scientifique ne constitue pas une validation.

Cartographie

Concepts directement liés

IBOZOO UU

Dans le corpus, notion relationnelle mobilisée pour décrire l’émergence de l’espace, du temps et de la matière.

WAAM

Terme du corpus associé à l’univers et à sa description cosmologique.

WAAM-WAAM

Notion rattachée au pluricosmos et aux relations entre univers dans la logique interne du corpus.

WOA

Notion métaphysique centrale reliée à la cosmologie générale exposée par le corpus.

Voir la reconstruction D59 → D731