Nous offre sans doute une récapitulation de tout ce qu'il faut entendre sous le terme de logique, mais propose également une nouvelle théorie des sophismes, des noms propres, de la référence et, surtout, de l'induction.