Souvent associée au raisonnement, la logique me paraît également liée à l'apprentissage du langage mathématique. Quel rôle peut-elle avoir dans l'enseignement des mathématiques au lycée ? L'étude présentée ici a pour but de proposer des éléments de réponses à cette question à travers l'analyse écologique des programmes et des manuels de différentes époques en France. Un regard sur l'histoire de la logique me permet d'élaborer une référence par rapport à laquelle j'essaie de comprendre les processus de la transposition didactique.