[DIVERS] [tétravalence]

[Norman Molhant <nwm@vif.com>]

Bonjour!

GTP ayant écrit:

 > Un autre truc me chiffonne, c'est que, finalement, tout ensemble vide
 > d'un power-set contient une information.

Vicenç lui répond:

> Sera-t-elle la "metaphysique" du système qui sera expliciter par une logique
> d'ordre supérieur? ( par exemple, qu'est-ce que ni vrai ni faux?)
> 
> Si oui, pourquoi les ummites, s'ils sont ce qui disent être, ce sont arreter
> lors de leur logique tetravalente? Pourquoi pas une logique octavalente ou
> encore n-valante?

Je pense que la réponse est que, justement, dans la tétravalence de
nos correspondants, l'ensemble vide ne contient aucune information.
Il n'existe formellement que pour représenter ce qui est exclu de la
logique, or la logique à 4 valeurs exposée dans la NR20 n'exclut
rien:
  - on a ce qui est VRAI,
    le terme vérifiable
  - on a ce qui est FAUX,
    le terme réfutable
  - on a ce qui est VRAI-ET-FAUX,
    le terme ambigu, indéterminé, dépendant
  - on a ce qui est NI-VRAI-NI-FAUX,
    le terme tiers, indépendant de l'axe de référence VRAI-FAUX
Que reste-t-il que l'ensemble vide pourrait contenir ?
Seulement les raisonnements erronnés, les erreurs de logique, qui
cessent d'exister dès qu'on les corrige.
Il ne reste donc rien dans l'ensemble vide une fois corrigées les
erreurs de raisonnement qui l'avaient peuplé.

C'est ce qui explique que nos aimables correspondants n'ont pas dû
développer de logique d'ordre supérieur pour expliciter leur méta-
physique: leurs postulats métaphysiques (WOA, etc.) sont dans le
NI-VRAI-NI-FAUX et sont donc discutables dans la même logique que
tout le reste.

Autrement dit, leur métaphysique n'est pas transcendante (elle ne
dépasse pas toutes les catégories de leur logique) comme la nôtre,
elle est immanente (elle fait partie de leur logique).

A mes yeux, c'est un énorme progrès !
Mais je ne pense pas que cela mette les philosophes au chômage.  ;^))

Vives amitiés,
                Norman.

===========================================================
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--