Pour 1Contre 0
AIOOYAAÉtayé
Vocabulaire rapproché : Vrai
Des éléments indépendants soutiennent la proposition et aucun élément défavorable de force comparable n’est établi.
Deux niveaux sont séparés : le système ontologique revendiqué par le corpus et l’outil documentaire construit par l’Atlas. La proximité entre les deux autorise une question de recherche, pas une équivalence automatique.
Hypothèse de travail
Et si une proposition pouvait être soutenue, réfutée, les deux à la fois — ou ni l’un ni l’autre ?
Grille opérationnelle
Deux questions, quatre états
Pour chaque proposition : existe-t-il des preuves favorables ? Existe-t-il des preuves défavorables ? La valeur résulte de ces deux réponses, pas d’une impression globale.
Preuves défavorables : absentes → présentes
Pour 0Contre 1
AIOOYEEDOORéfuté
Vocabulaire rapproché : Faux
Des éléments indépendants contredisent la proposition et aucun soutien de force comparable ne résiste à l’examen.
Pour 1Contre 1
AIOOYAU / AÏOOYAOUContradictoire
Vocabulaire rapproché : Terme intraduisible dans D59-2 ; région A ∩ B et état potentiel dans NR20. Le rapprochement avec des preuves contradictoires est une adaptation.
Des éléments favorables et défavorables coexistent. La contradiction est conservée et localisée au lieu d’être effacée ou généralisée.
Pour 0Contre 0
AIOOYA AMMIEIndéterminé
Vocabulaire rapproché : « Vrai hors du WAAM » dans D59-2 ; région hors A et B dans NR20. L’indétermination documentaire est une adaptation de l’Atlas.
Les données disponibles ne soutiennent ni ne réfutent suffisamment la proposition. L’absence de preuve n’est pas transformée en preuve d’absence.
Axe vertical : absence ou présence de preuves favorables.
Évolution interne
De l’annonce physique au raisonnement ramifié
D59-5 — Normes de lecture et préalable tétravalent
La logique tétravalente est annoncée comme préalable manquant à l’exposé physique, ce qui limiterait sa rigueur.
Ouvrir la ficheD59-2 — WAAM réel, IBOZOO UU et structure relationnelle de l’espace
Quatre noms sont donnés : vrai, faux, vrai hors du WAAM et un terme intraduisible. Les précisions les deux / aucun de la page actuelle relèvent d’annotations renvoyant à NR20.
Ouvrir la ficheD68 — Réseau social et organes de gouvernement d’UMMO
Le texte affirme que cette logique modifierait l’interprétation de propositions juridiques, sociales et morales apparemment contradictoires.
Ouvrir la ficheD75-81 — Logique, ontologie, WOA et morale
L’ontologie du rapport refuse de réduire être et ne pas être à deux alternatives exhaustives, sans fournir de calcul complet.
Ouvrir la ficheNR20 — AÏOOYAOU et raisonnement formel tétravalent
Une annexe propose quatre intersections, une complémentation et un raisonnement ramifié confronté aux observations.
Ouvrir la ficheComparaison formelle
Trois systèmes à ne pas confondre
Une ressemblance de quatre valeurs ne suffit pas à établir une identité des opérateurs, des buts ou du domaine d’application.
| Cadre | Fonction | Quatre états | Limite |
|---|---|---|---|
| Corpus — D59 / NR20 | Décrire l’espace, l’être, le non-être et des raisonnements ramifiés. | Quatre vocables dans D59-2 ; quatre intersections explicites dans NR20. | La lecture de D59-2 doit séparer texte et annotations. NR20 ne livre pas un calcul complet. |
| Belnap-Dunn — 1977 | Raisonner sans explosion avec des informations incomplètes ou incompatibles. | True, False, Both, Neither. | Cette logique ne confirme aucune ontologie ni cosmologie du corpus. |
| Atlas — grille proposée | Enregistrer séparément les preuves favorables et défavorables. | Étayé, réfuté, contradictoire, indéterminé. | La valeur décrit un dossier de preuves daté ; elle n’est jamais une vérité absolue. |
Mise à l’épreuve
Quatre exemples tirés de l’Atlas
D59-2 énumère quatre valeurs logiques dès le document daté du 6 mai 1967.
Quatre vocables sont lisibles dans la traduction. AIOOYAU y reste déclaré intraduisible ; les précisions les deux / aucun figurent dans des annotations renvoyant à NR20. La date est celle de la notice, sans expertise matérielle nouvelle.
NR20 fournit un calcul tétravalent complet et directement applicable.
Le texte donne quatre intersections et un principe de branchement, mais pas toutes les tables, règles d’inférence, preuves de correction ni exemple calculé jusqu’à son terme.
AIOOYAU conserve exactement le même sens entre 1967 et 2004.
D59-2 annonce un terme intraduisible ; NR20 en propose une explicitation. Les données ne suffisent ni à démontrer une identité exacte, ni à conclure que le sens initial a nécessairement changé. Notre ancien verdict de réfutation est corrigé.
La logique tétravalente permet de dériver les prédictions physiques attribuées aux IBOZOO UU.
Le corpus annonce ce rôle sans publier le formalisme nécessaire ; aucune dérivation indépendante ne permet actuellement de soutenir ou d’exclure cette capacité.
Ce que cette clé peut débloquer
Elle permet de conserver plusieurs branches sans forcer une conclusion prématurée, d’isoler une contradiction au lieu de rejeter ou valider tout le corpus, et de montrer exactement quelle nouvelle donnée ferait changer une proposition d’état.
Ce qu’elle ne permet pas
Elle ne transforme pas le « vrai et faux » en validation scientifique, ne rend pas une hypothèse non testable testable et ne remplace ni les mesures, ni la provenance, ni la qualité des sources.
Règles d’usage dans l’Atlas
- La grille opérationnelle de l’Atlas décrit l’état des preuves, pas la vérité métaphysique d’une proposition.
- Chaque état porte sur une proposition atomique : la coexistence de deux caractéristiques différentes ne constitue pas, à elle seule, une contradiction.
- « Contradictoire » ne signifie pas que tout devient acceptable : chaque élément favorable et défavorable doit être sourcé séparément.
- Une affirmation répétée par plusieurs lettres liées reste un indice interne au corpus ; elle ne devient pas une corroboration indépendante par répétition.
- L’absence d’une information dans des archives ouvertes ne vaut preuve défavorable que si ces archives peuvent raisonnablement être considérées comme exhaustives pour la proposition étudiée.
- « Indéterminé » n’est ni une confirmation provisoire, ni un refuge permanent ; il précise les données qui manquent pour trancher.
- Les formulations de 1967 et de 2004 sont comparées mais ne sont pas fusionnées sans démonstration de continuité.
- Une proposition non testable reste distinguée d’une proposition simplement indéterminée faute de données.