Le but des logiciens n'est donc pas tant de résoudre des problèmes mais plutôt d'expliquer la manière dont les autres résolvent ces problèmes.
Certes, Libavius (1560-1616), dans son célèbre Alchemia de 1597, s'applique à traiter clairement et méthodiquement d'une science qu'il juge embarrassée d'obscurités inutiles et use ainsi de la taxinomie arborescente du logicien Pierre La Ramée (1515-1572) pour organiser la matière de son ouvrage.
Vous raisonnez en bon logicien.
Ils recomposaient, à l’usage du juge, une histoire simple, fortement liée et qui pût satisfaire ce logicien.