C'est l'axiome de non contradiction (le deuxième) que tentent de modifier la plupart des logiques quantiques (multivalentes). On va tenter de substituer plusieurs valeurs au binaire A - non A. On
verra bien.
Déception. Y-a un os dans la moulinette.
Entre en scène Lupasco, qui a, lui, l'idée de modifier le troisième (pas l'os dans la moulinette mais bien l'axiome du tiers exclus).
Il démontre que la logique du tiers inclus est une véritable logique, multivalente (3 valeurs : A, non-A et T) formalisable, formalisée, et non-contradictoire. [2]]
Une petite précision:
************************
Certains indices (et non des moindres) donnent à penser que le passage du monde quantique au monde macrophysique est impossible. Bref, ça ne sera pas de la tarte.
Inutile, donc, d'essayer de me faire dire que Lupasco a réglé la question. Vous chercherez en vain cette affirmation dans le texte du message précédent.
Pour delayer tout ça, il aurait évidemment fallu ramifier davantage.
Voilà l'inconvénient. On commence par Lupasco et on finit par invoquer la table de multiplication.
Ce qui fait la joie des tireurs embusqués.
Lagaffe.