[DIVERS] Re: [tétravalence]

[Vicenç Solé i Ferré <vsole@wanadoo.es>]

Bonjour à tous

    Intéréssant analyse logique du concept de tiers exclu Gardenteapot.

    Tu écris:

    Logiquement, dans l'ensemble {VRAI, FAUX}, les sous-ensembles possibles
sont :
{VRAI} ,{FAUX}, {VRAI,FAUX}, {}.
Par un tour de passe-passe qui s'appelle le principe du "tiers exclus"
on nie l'existence de deux sous-ensembles de ce power-set. Mais, ce
faisant, machine infernale, on réintroduit mécaniquement l'ensemble {}
dont on affirme dans le même temps l'impossibilité car cet ensemble
vide équivaut aussi à (niVRAI, niFAUX).

    Je pense que l'exclusion de {} est plus formelle que réelle par le
principe du "tiers exclu" par les raisons que tu dis. Ce qu'on veut exclure
réellement c'est{ Vrai, Faux}. Pourquoi?

Peut être pour des raisons de simplicité mais il peut y avoir aussi peut
être des raison d'ordre fonctionnel:

  Peut être l'alternative {vrai, faux}est vécu comme une source de blocage,
d'indécision que certaines époques historiques ne peuvent pas se
permettre.Par exemple dans une époque de famine, je mange ou tu manges, on
ne peut pas manger les deux. La colaboration pour retrouver un système de
chasse plus efficace en groupe n'est même pas pensable à cause de la force
de la nécéssité. Bref, une logique non binaire est un luxe et elle peut
fleurir uniquement dans des époques d'abondance.

Tu écris aussi:

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

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?

Amicalement

Vicenç



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