[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[DIVERS] [tétravalence]
ce logiciel fait bien avancer l'idée de la logique! l'ordi peut poser et
répondre un maximum de questions en quelques fractions de secondes. le
cheminement vers la réponse est tout ce qu'il y a de conforme au schéma de
la NR20. Si une expérience est à tenter alors peut-être créer une base de
mots avec 4 classes de définitions (les 4 valeurs de vérité) sur l'exemple
du site il y en a comme dit banban au bonne centaine...
ce sont des colonnes supplémentaires à chaque question, jointe au mot.
mais bon ça n'avancerait qu'à mieux savoir définir ces 4 valeurs.
Il est surtout question de la construction logique, j'ai bien relu, et pour
ce que j'ai compris :
"en" logique tétravalente on part du principe de la tétravalence, selon
laquelle deux principes contradictoires en apparence possèdent au minimum
des parties communes, et en ceci ces deux ensembles ne sont pas directement
l'un le complémentaire de l'autre. C'est insuffisant car les parties
communes ne peuvent avoir pour complémentaire elle-même.
Je les ai appelé les parties communes pour faciliter, on peut aussi
s'imaginer que chaque IBOZOO UU est au fond le même ; selon l'echelle
d'observation la dissociation serait plus ou moins claire.
Mais ce n'est pas seulement l'ajout d'un "ou" et d'un "ni-ni", c'est la
poursuite d'un processus d'inversion, qui a commencé en admettant la
tétravalence comme vraie à l'ntérieur d'une logique du même nom avant de
pouvoir l'utiliser, je sais j'insiste sur ce point étrange à dire, mais ça
me semble important.
Parce que l'aboutissement à un quadruple résultat nécessaire implique que la
réponse à la question n'est plus "oui-non" mais "ce en quoi "oui".
De façon interne, "vrai" n'est pas déclamé abruptement comme le fait un
cerveau plus ou moins étudiable en clinique, par apparition soudaine d'une
chose qui saute aux yeux mais qu'il est impossible de dire,
"vrai" est déclamé par annulation des trois autres pôles, (là encore l'ami
banban peut potentiellement mettre en avant l'aspect romanesque) = c'est
comme si à lui seul il rééquilibrait la quadrature ; je crois qu'il s'agit
de la trouvaille d'un équilibre aussi à cause de plein d'autres choses que
j'ai vu s'agiter devant mes yeux ébahis, et aussi parce que complémentaires
associés égal équilibre voila
De la même manière (par déduction) l'impasse formelle est l'union de deux
ensembles strictements distincts (en l'occurrence A et NON"A)", ce qui n'est
pas admis implicitement en tétravalence.
en tout cas en lisant les développements futurs informatiques, (tout le
monde est prêt à trouver un nom, moi j'ai pensé à AL = ArtificialLogical
tant qu'à faire dans le pompeux royal extraordinaire, le brin le plus anodin
renferme la plus grand puissance si elle fonctionne harmonieusement) je me
dis, si il fallait commencer par un crayon et un papier, qu'écrirait-on ?
(encore a suivre)
Le 17 mars 05, à 16:35, Gardenteapot a écrit :
Bonjour Denocla,
essayer le jeu sur le site ( http://y.20q.net/anon ) donné par Banban.
Amitiés,
GTP
===========================================================
Liste de diffusion UMMO "DIVERS" (Tout ce qui n'entre pas dans les 4 autres listes).
Pour envoyer un message: soit fonction "répondre", soit
mailto:ummo.open@ummo-sciences.org
Soumis à la charte:
https://www.ummo-sciences.org/nvle_charte.htm
Archives de la liste:
http://archives.ummo-sciences.org/ml/ummo.open-AAAAMM/maillist.html ( en remplacant AAAA par l'année et MM par le N° du mois)
Pour se désinscrire :
mailto:ummo.open_request@ummo-sciences.org?subject=unsubscribe
===========================================================
--=_Listar-UnMime-Boundary--