Un retour de notions de logique dans les programmes de mathématiques pour le lycée : un nouveau savoir à enseigner

Résumé En Fr

With the resurgence of logical concepts in new syllabuses, a knowledge to be taught appears more explicitly than it did in previous years. This led me to study the teaching of logical concepts in high school as the study of a didactical transposition process. But because the goal is not to teach mathematical logic, but to teach logical tools for mathematical activity, I propose to introduce into the didactical transposition’s scheme a reference knowledge between the mathematical knowledge (mathematical logic) and the knowledge to be taught. In this article, I am showing through the example of the implication, which aspects of logical concepts it would be relevant to take into account in such a knowledge, and I rely on the criteria established to construct a framework for analyzing syllabuses and textbooks.

Avec la réapparition de notions de logique dans les nouveaux programmes, un savoir à enseigner est dessiné de façon plus explicite que dans les années précédentes, ce qui m'a amenée à étudier l'enseignement de notions de logique au lycée en termes d'étude d'un processus de transposition didactique. Mais parce que l'objectif n'est pas d'enseigner la logique mathématique, mais d'enseigner des outils logiques au service de l'activité mathématique, je propose d'introduire dans le schéma de la transposition didactique un savoir de référence intermédiaire entre le savoir savant (la logique mathématique) et le savoir à enseigner. Dans cet article, je montre à travers l’exemple de l’implication quels aspects des notions de logique il serait pertinent de prendre en compte dans un tel savoir, et je m’appuie sur les critères dégagés pour construire une grille d’analyse des programmes et des manuels.