Nous proposons ici deux vidéos de présentation d’un atelier “Pratiques langagières et preuves” par Christophe Hache et Zoé Mesnil. Initialement présenté lors du colloque de la Corfem en juin 2015, la présentation filmée s’est déroulée en février 2016 en présence du groupe “Logique” de l’IREM.
Texte de présentation de l’atelier à la Corfem
L’atelier est complémentaire (et indépendant) de celui de la Corfem 2014 (voir bibliographie). Dans l’atelier de cette année il s’agira de se pencher sur les pratiques langagières des mathématiciens concernant les preuves. Nous travaillerons à partir de preuves de mathématiciens de la propriété « un entier et son carré ont même parité ». Nous présenterons le référent utilisé (empruntant certains éléments de la logique des prédicats, de la déduction naturelle et de la logique dialogique) et nos premières analyses. Une mise en perspective sera proposée avec l’analyse de preuves de la même propriété rédigées par des enseignants du secondaire et par des étudiants de licence.
Première vidéo : introduction et et formalisation en langue naturelle, présentation àpartir de deux preuves
Seconde vidéo : présentation des règles de la déduction naturelle et analyses de formulations de deux autres preuves
Texte des actes de la Corfem pour cet atelier
HACHE C. et MESNIL Z. (2017) Pratiques langagières et preuves, in Actes du 22e colloque de la CORFEM, juin 2015,Nîmes (téléchargement HAL, CORFEM)
Bibliographie sommaire
Voir une bibliographie plus complète dans le document des actes ci-dessus :
BARRIER T. et DURAND-GUERRIER V. (2013) Modélisations logiques en situation de validation, in BRONNER A. et al. (eds) Questions vives en didactique des mathématiques : problèmes de la profession d’enseignant, rôle du langage, La Pensée Sauvage, Grenoble
DURAND-GUERRIER V. (2013) Quelques apports de l’analyse logique du langage pour les recherches en didactique des mathématiques, in BRONNER A. et al. (eds) Questions vives en didactique des mathématiques : problèmes de la profession d’enseignant, rôle du langage, La Pensée Sauvage, Grenoble
HACHE C. (2016) Logique, langage. Énoncés et preuves en mathématiques, in Actes du 21e colloque de la CORFEM, juin 2014, Grenoble (téléchargement HAL, CORFEM)
HACHE C. (2015), Pratiques langagières des mathématiciens, une étude de cas avec « avec », Petit x n°97, pp.27-43, IREM de Grenoble, Grenoble (info éditeur, téléchargement HAL)
MESNIL Z. (2014) La logique : d’un outil pour le langage et le raisonnement mathématique vers un objet d’enseignement, thèse de doctorat, Université paris Diderot (téléchargement HAL)