« Recherche:Principe de complétude/Le paradoxe du menteur » : différence entre les versions
Contenu supprimé Contenu ajouté
→Direction axiomatique : mef |
|||
Ligne 46 :
Il est possible « d'organiser » l'espace par la [[w:Raison|Raison]] qui est ainsi une marque de l’''intelligence'', au sens de capacité de décision. À partir d’un objet originel, on peut définir un '''ensemble analogique''' par énumération d'objets ayant une caractéristique commune. Il s'agit, au départ, d'un simple regroupement non ordonné autour du pôle originel. La naissance de l’''Espace'' en quelque sorte, qui sera représenté comme une collection énumérable d'objets distincts. Ce qui suppose qu'il en existe (au moins un) deuxième. Ce sera le troisième postulat : <br><br>
<center>{{Encadre|contenu='''Troisième postulat''' : ''Il existe au moins un deuxième élément non-originel''}}</center><br>
Nous avons maintenant un dispositif <u>complet</u> nous permettant de raisonner, puisque :<br><br>
<center>''Soit ''x'' un élément originel, il existe (prédicat) y ∈ {<math>\lnot</math>x}''</center><br>
Nous ne savons pas trouver y, nous savons simplement qu'il existe, quelque part, dans l'ensemble ne contenant pas x. Mais cela permet de nous « situer » dans le champ sémantique par '''raisonnement contradictoire'''.<br><br>
<center>''Soit z un objet de l'espace, alors z ∈ {x} <math>\lor</math> z ∈ {<math>\lnot</math>x}''</center><br>
Ce qui signifie que z est soit dans le champ sémantique de x, soit dans celui de y. Avec comme corollaire sous-entendu que x serait dans l'ensemble défini par {<math>\lnot</math>y}. Deux champs sémantiques créent une CAB qui introduit un troisième ensemble qui serait ni-{x}, ni-{y}, dont nous ne savons rien d'autre que s'il contient un objet w il n'est rattaché aux deux ensembles initiaux que par un opérateur <math>\lnot</math><math>\lor</math>.
Ceci nous amène à considérer qu'il y aurait des informations qui ne sont ni des mensonges ; ni des vérités, et que l'on ne peut pas conclure définitivement de leur appartenance à un champ sémantique plutôt qu'un autre.
== Organisation ternaire d'un espace sémantique ==
| |||