Commentaire de Pierre-Marie Baty sur Peux-on concevoir une théorie du tout ? Gödel et l'incomplétude

Commentaire de Pierre-Marie Baty

sur Peux-on concevoir une théorie du tout ? Gödel et l'incomplétude

Voir l'intégralité des commentaires de cet article

Pierre-Marie Baty 27 février 2012 13:44

Bonjour M. Pinon,

Votre article est très intéressant. Effectivement toute la logique depuis Aristote est basée sur les postulats convenus de l’algèbre de Boole. Ne pensez-vous pas qu’il serait temps d’ajouter deux états aux traditionnels vrai/faux de la logique bivalente ?

Pour ma part, je pense qu’une logique de type tétravalente décrirait mieux la réalité. Une assertion peut être :

- fausse (exemple : « je suis mort »)

- vraie (exemple : « je suis vivant »)

- vraie et fausse (exemple : « cette phrase est fausse »)

- ni vraie ni fausse (exemple : « les électrons sont de couleur bleue »)

Je pense que Gödel n’a finalement fait que constater l’insuffisance de notre paradigme descriptif...

Bonne journée smiley