Spécificités des connaissances en logique et conséquence sur la double discontinuité de Klein

In mathematics, logic is a field with a specific and transversal status. Indeed, it allows us to describe, control and validate mathematical activity. Therefore, it seems relevant to teach it in mathematics' classes.First, we present some research results from the DEMIPS’ « Logic and Proof » group. Based on interviews with university teachers, we will show different choices made for these kinds of courses and the different epistemologies relating to the proof that underlie them.Furthermore, since 2009, logic is faintly coming back in the french high school curriculum. Then, how can pre-service teachers rely on their university knowledges and transpose them to teach at high school level? We are going to answer this question of Klein's second discontinuity by presenting results from research in mathematics education about students’ difficulties and by explaining training situations we suggest. La enseñanza de la lógica en las clases de matemáticas universitarias parece pertinente, ya que esta ocupa una posición esencial y transversal. De hecho, permite describir, controlar y validar la actividad matemática de la prueba. Nuestra primera parte presenta algunos resultados de los trabajos del tema «Lógica y prueba» del grupo de investigación DEMIPS2. Apartir de discusiones con docentes universitarios, presentamos las diferentes posibilidades elegidas para enseñar la lógica y la prueba, así como las diferentes epistemologías que conllevan. Por otra parte, la lógica ha ido haciéndose poco a poco un hueco desde 2009 en los programas del liceo en Francia. Entonces, surge la cuestión de saber cómo los futuros profesores pueden apoyarse en sus conocimientos y trasponerlos para enseñar a sus alumnos lo que necesitan a su nivel. Ofrecemos elementos de respuesta a esta cuestión de la segunda discontinuidad de Klein, presentando, por una parte, algunos resultados de la didáctica sobre las dificultades de los estudiantes y, por otra, propuestas de situaciones de formación de los futuros profesores. L’enseignement de la logique, dans les cours de mathématiques universitaires, paraît pertinent car celle-ci y occupe une place essentielle et transversale puisqu’elle permet de décrire, de contrôler et de valider l’activité mathématique de preuve. Notre première partie présente quelques résultats des travaux du thème « Logique et Preuve » du groupe de recherche DEMIPS2 . À partir d'entretiens avec des enseignant·es universitaires, nous montrons les différents choix effectués pour enseigner la logique et la preuve et les différentes épistémologies qui les sous- tendent. Par ailleurs, la logique étant timidement revenue depuis 2009 dans les programmes du lycée en France, se pose alors la question de savoir comment les étudiant·es futur·es enseignant·es peuvent s'appuyer sur leurs connaissances et les transposer afin d'enseigner à leurs élèves celles qui leur sont nécessaires à leur niveau. Nous apportons des éléments de réponse à cette question de la seconde discontinuité de Klein en présentant, d’une part, certains résultats de didactique sur les difficultés des étudiant·es et, d’autre part, des propositions de situations de formation des futur·es enseignant·es.