La thèse porte sur l’enseignement de notions de logique au lycée. Les instructions officielles actuelles précisent qu’il ne s’agit pas de faire un cours de logique mathématique, mais de développer une utilisation en tant qu’outils des notions de logique considérées. Afin de prendre en compte cette contrainte dans l’étude du processus de transposition didactique, elle introduit, entre savoir savant et savoir à enseigner, un savoir de référence pour la logique, savoir qui n’a jamais été institué par la communauté de l’enseignement des mathématiques. Elle s’appuie pour proposer une telle référence sur une double étude épistémologique et didactique, dans laquelle elle privilégie les liens entre logique et langage. Une étude plus fine du savoir à enseigner donne ensuite à voir la complexité des conditions et contraintes portant sur l’enseignement de ces notions. La question de la formation des enseignants est finalement posée à partir d’une étude de cas : une formation continue de trois jours sur la logique, dans laquelle les notions de logique sont abordées à partir d’une étude naïve du langage mathématique.