Nous ne prenons pas vraiment la mesure de la place de la bonne vieille logique classique dans nos sociétés modernes : Aujourd'hui, c'est tout l'univers informatique binaire qui y a pris racine ! Etrange que l'on ait appelé "révolution numérique" la simple universalisation et production en masse de concepts vieux de plusieurs millénaires :-)

Pourtant, cette logique binaire n'est qu'une parcelle de l'une des nombreuses disciplines de la Logique, en tant que branche de la Philosophie et des Mathématiques. Or il existe en réalité de très nombreuses logiques alternatives : Intuitionniste, multivalente, modales, linéaire, floue ... Imaginer quels types d'ordinateurs pourraient mettre en oeuvre ces nouvelles logiques donne le vertige !

Et pourtant, ce n'est le moindre enjeu pour l'Homme dans les années qui viennent que de s'arracher des carcans dichotomiques et manichéens dans lequels l'informatisation ne fait que nous enfermer chaque jour un peu plus.

Car la logique est une base fondatrice de pans entiers de notre Etre et de notre Civilisation : Voilà pourquoi dans cette nouvelle rubrique de mon blog je l'associé d'une part au concept de Volonté individuelle, et d'autre part à la notion plus collective de Stratégie.

Et in fine, elle doit nous permettre de flirter avec les questionnements les plus ultimes, et à ce titre souhaite me référer à l'incroyable Kurt Gödel, qui à l'âge de 70 ans formula une preuve ontologique de l'existence de Dieu, si abstraite qu'encore aujourd'hui elle est approchée avec une extrême précaution par Philosophes et Mathématiciens de tous horizons. Je vous laisse la savourer avec une tisane et 2 aspros ;-) :

Axiome 1. (Dichotomie) Une propriété est vraie si et seulement si sa négation est fausse.Axiome 2. (Fermeture) Une propriété est vraie si elle contient nécessairement une propriété vraie.Théorème 1. Une propriété vraie est logiquement consistante (c'est-à-dire qu'il est possible de trouver au moins un exemple)Définition. Quelque chose est semblable à Dieu si et seulement si il contient toutes les propriétés vraies.Axiome 3. Être semblable à Dieu est une propriété vraie.Axiome 4. Être une propriété vraie est (logique, donc) nécessaire.Définition. Une propriété P est l'essence de x si et seulement si x possède P et Pest nécessairement minimale.Théorème 2. Si x est semblable à Dieu, alors être semblable à Dieu est l'essence de x.Définition. NE(x) : x existe nécessairement s'il a une propriété essentielle.Axiome 5. Être NE est être semblable à Dieu.Théorème 3. Il existe nécessairement x tel que x est semblable à Dieu.