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

• Virginie Deloustal-Jorrand ^[1] ; Zoé Mesnil ^[3] ; Michèle Gandit ^[2]
  1. [1] Claude Bernard University Lyon 1

     Claude Bernard University Lyon 1

     Arrondissement de Lyon, Francia

     
  2. [2] Grenoble Alpes University

     Grenoble Alpes University

     Arrondissement de Grenoble, Francia

     
  3. [3] Université Paris Cité

  Mostrar afiliaciones +
• Localización: Recherches en Didactique des Mathématiques, ISSN 0246-9367, Vol. 45, Nº 3, 2025, págs. 239-269
• Idioma: francés
• Títulos paralelos:
  • Especificidades del conocimiento en lógiga y consecuencias para la doble dis-continuidad de Klein
  • Specificity of the Knowledge in Logic and its Consequences on Klein’s Double Discontinuity
• Texto completo no disponible (Saber más ...)
• Resumen
  • español

    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 DEMIPS. A partir 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.

  • English

    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’1 « 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 tea-chers 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.

  • français

    L’enseignement de la logique, dans les cours de mathématiques universitaires, paraît perti-nent 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 DEMIPS. À 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émo-logies 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 trans-poser 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.

• Referencias bibliográficas
  • Alcock, L. (2008). Mathematicians’ perspectives on the teaching and learning of proof. CBMS Issues in Mathematics Education, 16, 73–100.
  • Arsac, G. (1988). Les recherches actuelles sur l’apprentissage de la démonstration et les phénomènes de validation en France. Recherches en...
  • Castela, C. (2011). Des mathématiques à leurs utilisations : contribution à l’étude de la productivité praxéologique des institutions et de...
  • Cerclé, V. (2019). Faire vivre des énoncés contingents dans la classe de mathématiques : pourquoi et comment ? Petit x, 110–111, 27–55.
  • Chanudet, M., Coppé, S., Gandit, M., & Moulin, M. (2019). Analyse des interactions didactiques dans une perspective d’évaluation formative....
  • Chellougui, F. (2009). L’utilisation des quantificateurs universel et existentiel en première année d’université, entre l’explicite et l’implicite....
  • Da Ronch, M. (2022). Pratique de l’activité mathématique en médiation : modèles didactiques et conception d’ingénieries [Thèse de doctorat]....
  • Da Ronch, M., Gandit, M., & Gravier, S. (2020). Du problème de Wang vers une nouvelle situation de recherche pour la classe. Repères IREM,...
  • Dawkins, P. C., & Weber, K. (2017). Values and norms of proof for mathematicians and students. Educational Studies in Mathematics, 95,...
  • Deloustal-Jorrand, V. (2004). L’implication mathématique : étude épistémologique et didactique [Thèse de doctorat]. Université Joseph Fourier,...
  • Deloustal-Jorrand, V. (2017). Le concept d’implication en formation des professeurs du second degré. Dans A. Braconne-Michoux, P. Gibel &...
  • Deloustal-Jorrand, V., Gandit, M., Mesnil, Z., & Da Ronch, M. (2020). Utilisation de l’articulation entre les points de vue syntaxique...
  • Douady, R. (1986). Jeux de cadres et dialectique outil-objet. Recherches en Didactique des Mathématiques, 7(2), 5–31.
  • Durand-Guerrier, V. (1999). L’élève, le professeur et le labyrinthe. Petit x, 50, 57–79.
  • Durand-Guerrier, V. (2005). Recherches sur l’articulation entre la logique et le raisonnement mathématique dans une perspective didactique...
  • Durand-Guerrier, V., Boero, P., Douek, N., Epp, S., & Tanguay, D. (2012). Examining the role of logic in teaching proof. In G. Hanna &...
  • Gandit, M. (2008). Étude épistémologique et didactique de la preuve en mathématiques et de son enseignement : une ingénierie de formation...
  • Gandit, M. (2015). L’évaluation au cours de séances d’investigation en mathématiques. Recherches en Éducation, 21, 67–80. http://www.recherches-en-education.net/IMG/pdf/REE-no21.pdf
  • Gandit, M., & Massé-Demongeot, M.-C. (1996). Le vrai et le faux en mathématiques au collège et au lycée. IREM de Grenoble. https://publimath.univ-irem.fr/biblio/IGR96044.htm
  • Gandit, M., Gravier, S., & Mossuz, L. (2023). L’enseignement et l’apprentissage de la preuve en mathématiques du cycle 1 au cycle 3 :...
  • Gandit, M., Modeste, S., Gravier, S., & Balicco, M.-P. (2013). Les caisses de dynamite : un atelier de recherche Maths à Modeler. https://halshs.archives-ouvertes.fr/halshs-02021307
  • Gardes, M.-L. (2013). Étude de processus de recherche de chercheurs, élèves et étudiants engagés dans la recherche d’un problème non résolu...
  • Godot, K. (2006). La roue aux couleurs : une situation recherche pour apprendre à chercher dès le cycle 3. Grand N, 78, 31–53.
  • Gravier, S., & Ouvrier-Buffet, C. (2022). The mathematical background of proving processes in discrete optimization—exemplification with...
  • Grenier, D., & Payan, C. (2002). Situations de recherche en classe : essais de caractérisation et proposition de modélisation. Dans V....
  • Groupe ADIREM/INRP de l’IREM de Grenoble. (2003). À la recherche d’une cohérence pour une véritable activité mathématique en classe. Dans...
  • Hanna, G. (2000). Proof, explanation and exploration: An overview. Educational Studies in Mathematics, 44, 5–23.
  • Hemmi, K. (2010). Three styles characterising mathematicians’ pedagogical perspectives on proof. Educational Studies in Mathematics, 75, 271–291.
  • Hersant, M. (2010). Empirisme et rationalité au cycle 3 : vers la preuve en mathématiques. Université de Nantes. https://doi.org/10.13140/RG.2.2.35465.77928
  • Legrand, M. (1988). Rationalité et démonstration mathématiques : le rapport de la classe à une communauté scientifique. Recherches en Didactique...
  • Legrand, M. (1990). Enseigner autrement les mathématiques à l’université en Deug A première année : Circuit ou les règles du jeu mathématique....
  • Legrand, M. (1993). Débat scientifique en cours de mathématiques et spécificités de l’analyse. Repères-IREM, 10, 123–159.
  • Mesnil, Z. (2014). La logique : d’un outil pour le langage et le raisonnement mathématiques vers un objet d’enseignement [Thèse de doctorat]....
  • Ouvrier-Buffet, C. (2017). La chasse à la bête – Une situation recherche pour la classe. Grand N, 100, 5–31.
  • Rolland, J. (1999). Pertinence des mathématiques discrètes pour l’apprentissage de la modélisation et de l’implication [Thèse de doctorat]....
  • Sackur, C., Assude, T., Maurel, M., Drouhard, J.-P., & Paquelier, Y. (2005). L’expérience de la nécessité épistémique. Recherches en Didactique...
  • Selden, A. (2012). Transition and proof and proving at tertiary level. In G. Hanna & M. de Villiers (Eds.), Proof and Proving in Mathematics...
  • Selden, J., & Selden, A. (1995). Unpacking the logic of mathematical statements. Educational Studies in Mathematics, 29, 123–151.
  • Villani, C., & Torossian, C. (2018). 21 mesures pour l’enseignement des mathématiques. https://www.education.gouv.fr/21-mesures-pour-l-enseignement-des-mathematiques-3242
  • Weber, K. (2004). Traditional instruction in advanced mathematics courses: A case study of one professor’s lectures and proofs in an introductory...
  • Weber, K. (2012). Mathematicians’ perspectives on their pedagogical practice with respect to proof. International Journal of Mathematical...
  • Weil, S. (1949). L’enracinement : Prélude à une déclaration des devoirs envers l’être humain. Gallimard. http://classiques.uqac.ca/classiques/weil_simone/enracinement/enracinement.html