« Recherche:Principe de complétude/Le paradoxe du menteur » : différence entre les versions
Contenu supprimé Contenu ajouté
Direction axiomatique |
|||
Ligne 20 :
Cet énoncé s'oppose immédiatement à lui-même, en ce sens que l'on ne peut pas décider qu'une considération qui ne serait pas bipolaire soit intelligente ou non. La seule chose qui permet de valider (ou non) ce postulat est bien l'axiome du bon sens. Et nous avons le premier élément chaotique de notre étude : qui, de l'axiome du bon sens ou du premier postulat, définit l'intelligence ?
En effet, si nous postulons une considération
{{définition|titre=Dipôle axiomatique|contenu=<center>On appelle '''paradoxe''' l'élément polaire opposé au ''bon sens''</center>}}
Cette dichotomie apparait fondamentale et [[wikt:autologique|autologique]]. Nous pourrons structurer le monde axiomatique du bon sens, nous dirons plus précisément que la considération axiomatique binaire sera [[wikt:orthodoxal|<u>orthodoxale</u>]].
=== Direction axiomatique ===
La considération axiomatique binaire (CAB) définit une '''direction axiomatique''' (DA) qui apparait comme une [[w:Association_(psychologie)|association]] sémantique à l'origine du [[w:Conditionnement_classique|réflexe pavlovien]]. Elle s'applique d'un « espace » dans un autre, qui diffère du premier. La différence constatée pose la réalité d'un « lien » arbitraire entre les deux « espaces », de telle sorte que le premier postulat s'autoconfirme. Nous ne traitons pas ici de la nature de ce lien, ni de sa valeur, mais simplement de l'impression qu'il crée sur l'espace binaire. L'image d'un [[w:Théorie_des_graphes|graphe]] est la meilleure représentation mentale d'une considération axiomatique binaire (CAB). C'est une organisation de type vectoriel non définie qui s'établit comme fond universel de l'intelligence.
On ne peut parler de « mensonge » sans ouvrir une voie sémantique avec « vérité ». C'est aller un peu vite en besogne, car ce serait considérer que le lien entre ces deux espaces est un lien « fixe ». Autrement dit, pour reprendre d'autres termes, que ces deux espaces sont '''énumérables''' ou que l'on peut ''décider'' de leur consistance. Nous ne pouvons pas utiliser cette qualification pour différencier les deux espaces qui s'opposent et « voyager » d'un espace à l'autre. Nous utiliserons la syntaxe [[Logique_des_propositions/Introduction|propositionnelle]] pour représenter une CAB : <br><br>
<center>Soit une CAB munie d'une DA, alors 1 → <math>\lnot</math>1</center><br>
=== Champ sémantique ===
| |||