Nous sommes nombreux à être convaincus qu’un cours de mathématiques devrait avant tout apprendre à penser correctement, donc logiquement. Mieux, la plupart des informaticiens considèrent désormais que, dans tout cursus d’informatique, la logique doit faire partie des préliminaires. Alors, que doit-on enseigner en logique, et surtout comment doit-on l’enseigner ?
Cet article tente d’éclairer cette question d’un point de vue historique. Il commence par examiner comment la logique a pu être enseignée au cours de l’histoire, pour ensuite en déduire quelques pistes sur l’enseignement actuel. Une expérience menée en lycée à partir d’œuvres de Lewis Carroll est présentée comme exemple d’utilisation de l’histoire dans l’enseignement actuel de la logique.