Source faible. Ce passage vient d'un document des séries H, NR ou GR : il ne sert au livre que de complément.
Une lettre en français postée le 17 janvier 2004 expose un raisonnement formel tétravalent : quatre combinaisons de deux ensembles opposables, A sans B (AÏOOYAA), B sans A (AÏOOYEEDOO), A et B (AÏOOYAOU), ni A ni B (AÏOOYA AMMIÈ), un raisonnement ramifié à chaque point d'incertitude, et le refus du raisonnement par l'absurde.
Le texte de la lettre
Nous basons notre système tétravalent sur la non acceptation formelle du rejet d'un terme médian et d'un terme tiers dans la dialectique. Dans ce système ce qui N'EST PAS se différencie du complémentaire de ce qui EST. Nous acceptons qu'un phénomène puisse à la fois ETRE ET NON ETRE ou NI ETRE NI NON ETRE. Il est certain que de telles distinctions ontologiques sont rarement prises en considération dans la réalité quotidienne. Elles ne sont toutefois pas inconnues de vos penseurs et vous en trouverez les premières ébauches dans la littérature platonicienne ainsi que dans les textes fondateurs de la philosophie bouddhique. A et B étant deux ensembles de réalités ontologiques opposables dans la dialectique, ce système conduit à accepter les quatre combinaisons suivantes : X1 = {X ∈ A ∩ ¬B}, X2 = {X ∈ ¬A ∩ B}, X3 = {X ∈ A ∩ B}, X4 = {X ∈ ¬A ∩ ¬B}. Vous devez traduire ici ¬A et ¬B par « N'EST PAS A » et « N'EST PAS B ». Aucune des quatre formes de réalité n'est la simple complémentaire d'une autre.
[…]
Au cours du raisonnement, tout branchement aboutissant à la déduction de la valeur Ø est disqualifié et réduit (coupé) au niveau du dernier IBOSZOO IOUBOO à partir duquel il fut engendré. Un branchement engendrant un point d'incertitude déjà généré en amont est figé en attendant que le noeud générateur soit réduit par ailleurs ou que les autres branchements soient réduits ou également figés - donnant alors au problème une solution non déterministe. Le raisonnement est abouti lorsque tous les branchements aboutissent à un singleton (Ndw : dans le domaine des mathématiques, ensemble qui ne comprends qu'un seul élément) ou à une indétermination irréductible. Ainsi, le calcul formel que nous utilisons n'est pas déterministe : il sait engendrer plusieurs conclusions non incompatibles. Chaque IBOSZOO IOUBOO doit être confronté aux observations empiriques pour tenter de privilégier un branchement déductif. Certains travaux ayant pour seul but de réduire un point d'incertitude par perfectionnement du modèle prédictif occupent parfois des générations de penseurs sur OUMMO. Nous évitons toute tentative de démonstration utilisant le principe de réduction par l'absurde.
NR-20 · postée le 17 janvier 2004 · source faible
En points
1. Quatre combinaisons
- Être et non-être, ni être ni non-être.
- Aucune n'est le complément d'une autre.
2. Un calcul non déterministe
- Branchements aux points d'incertitude (IBOSZOO IOUBOO).
- Pas de réduction par l'absurde.
- Passages choisis (VolumeFull p. 1215-1216). Lettre tardive, qui se dit elle-même invérifiable. Elle parle encore de l'axe AÏOOYAA / AÏOOYEEDOO (vrai / faux), mais son annexe glose AÏOOYAA par « existence vérifiable » et AÏOOYEEDOO par « irréel » ; les définitions de D59-2 (1967) font référence.
Traduction française : équipe d'Ummo-Sciences, d'après le volume réunissant les lettres. Les notes des traducteurs et des compilateurs ne font pas partie du texte des lettres.