Les langages formels et les grammaires génératives fournissent des exemples de théories qui s'expriment autrement qu'en énonçant des lois. On peut transposer cette méthode aux autres sciences si l'on fait appel à la notion de codage. Construire par des transformations successives un signal final qui sera, dans un code, le représentant du phénomène, tel est le but que peuvent se proposer les théories scientifiques de l'avenir. Mais que penser alors de notre science actuelle, de ses lois, de sa causalité, de sa logique ? André Regnier a dressé ici un bilan féroce de nos habitudes scientifiques. Il a aussi donné, sur l'origine de la logique, quelques idées qui permettent de mieux comprendre l'évolution en cours.