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