[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[DIVERS] Re: [NR 20]
-----Original Message-----
From: Banban <alban.nanty@free.fr>
> Cette phrase me parait très peu dense en information, même si
> l'information qu'elle contient est effectivement importante car à la
> base de leur logique tétravalente.
>
> En langage plus clair, je n'y vois rien d'autre que :
>
> "Nous basons notre système tétravalent sur "
> = notre logique formelle se base sur
>
> "la non acceptation formelle du rejet "
> = l'utilisation
>
> "d'un terme médian"
> = vrai ou faux (B)
>
> "et d'un terme tiers dans la dialectique."
> = ni vrai ni faux (N)
>
> "Dans ce système ce qui N'EST PAS "
> = faux (F)
>
> "se différencie"
> = n'est pas égal à
>
> "du complémentaire de ce qui EST"
> = non vrai (-T = FBN)
>
>
> Tout regroupé ça donne :
> Notre logique formelle se base sur l'utilisation de "vrai ou faux"
> (B)
> et "ni vrai ni faux" (N). Faux (F) n'est pas égal à non vrai (-T =
> FBN)
>
>
> Rmq: "F différent du complément de V" est trivial dans une logique
> multivaluée (où le nombre de valeur de vérité est supérieur à 2)
> quelle
> qu'elle soit.
>
>
> Bref cette phrase ne fait que paraphraser ce qui est dit dans la
> suite
> de la NR20, c'est juste une sorte d'introduction pour dire que leur
> logique tetravalente utilise B et N... Pas de quoi chercher midi à 14
> heures à mon avis.
>
>
> Mais bon, peut-être que JLS y voit un truc transcendental dans la
> double
> négation "non acceptation formelle du rejet", mais pour moi cette
> double
> négation est très claire et ne veut rien dire d'autre qu'une
> affirmation.
------
oui, bien sûr, mais c'était juste pour faire mettre en évidence quelques points essentiels pour
ceux qui ne suivent peut être pas avec le crayon les discussions sur cette formalisation... ça
remue des conceptions très anciennes sur lesquelles nous fonctionnons comme si cela allait
de soi tellement c'est intégré - par exemple le terme "médian" a une histoire chez Aristote
polémiquant contre Anaxagore, d'où le principe de l"'excluded middle" - j'en parlerai un peu
à la réunion
bien à vous
jls
===========================================================
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
===========================================================