Affichage des articles dont le libellé est preuve. Afficher tous les articles
Affichage des articles dont le libellé est preuve. Afficher tous les articles

vendredi 30 juillet 2021

Situations pour l’apprentissage de la preuve en mathématiques : état de la recherche et questions ouvertes

Cours pour la 21ème école d’été de didactique des mathématiques

Les recherches sur la complexité épistémique, logique et discursive de l’apprentissage de la preuve ont suscité une abondante littérature au cours des deux dernières décades. Leurs résultats permettent une analyse plus fine des difficultés rencontrées par les élèves et de celles du travail des professeurs pour l’enseignement de la preuve en mathématiques. Ils confortent la conception de situations spécifiques, notamment les situations de validation au sens de la théorie des situations didactiques (TSD), dans lesquelles la preuve fonctionne comme outil de résolution de problèmes et créent les conditions de recevabilité d’une connaissance nouvelle. Cependant, subsiste la difficulté de saisir la preuve comme objet, pour en reconnaitre les spécificités mathématiques et l’institutionnaliser en tant que telle. C’est sur ce problème que portera l’exposé. Il complète les exposés du séminaire national de didactique des mathématiques (2019a) et du CORFEM (2019b).

La première partie de l’exposé sera consacrée à un état de la recherche internationale en reprenant de comptes-rendus de travaux relevant de différentes problématiques qui se distinguent par la façon dont le problème de l’enseignement de la preuve est posé et étudié.

La seconde partie de l’exposé proposera, dans le cadre de la TSD, une analyse de l’état actuel de la recherche.  La TSD est le cadre théorique de la modélisation des situations d’apprentissage dont l’objectif est de susciter et accompagner la genèse expérimentale de connaissances mathématiques déterminées, cependant que, plus généralement, ces situations « peuvent aider le professeur à faire vivre dans sa classe une véritable petite société mathématique. » (Brousseau, 1998, p. 112 - mes italiques). Les situations de validation jouent un rôle clé. Elles sont un moyen efficace pour la transformation de construits individuels en un objet de connaissance partagé qui pourra être reconnu collectivement et institutionnalisé par l’enseignant.e. La validité de cette connaissance est ainsi attestée, mais le plus souvent en laissant implicite les fondements de cette décision. L’accord est tacite. La preuve est un outil, elle n’est pas en elle-même l’enjeu de la situation—son objet. Cette possibilité limite la portée de ces situations pour l’apprentissage de la preuve. Pour lever cette hypothèque, il faut accéder au « schéma de validation explicite », le mettre en question, en reconnaitre les caractéristiques et les instituer ; alors la petite société de la classe peut prétendre être véritablement mathématique. Guy Brousseau utilise l’expression «situation de preuve » pour les situations de validation ayant ces caractéristiques, mais il ne développe pas la modélisation dans cette direction et n’y revient pas. Je reprendrai l’expression « situation de décision » qui désigne les situations de validation n’exigeant pas l’explicitation d’un schéma de validation explicite, elle facilitera l’identification des types de situations de validation et les caractéristiques qui les distinguent. 

La conclusion de l’exposé portera sur les questions ouvertes pour l’ingénierie de situations nécessaires à la genèse et la reconnaissance des normes de la preuve dans la classe de mathématique avant l’enseignement explicite de la démonstration.

mardi 14 mai 2019

L'argumentation mathématique, précurseur problématique de la démonstration

Le colloque CORFEM 2019 a choisi pour l'un de ses thèmes : Raisonner, prouver, démontrer ... en classe et en formation.

Je contribuerai à la réflexion commune en interrogeant les termes argumenter, prouver, démontrer tels qu'ils sont utilisés par les programmes des cycles 2 à 4, et par les documents d'accompagnement. Je préciserai leurs relations et celles qu'ils entretiennent avec "raisonner" à la lumière des travaux de recherche sur l'apprentissage de la preuve en mathématiques. La seconde partie fera le point, prenant en compte les contributions internationales, sur les problèmes posés par le passage des preuves empiriques aux preuves intellectuelles ne mathématique, en mettant l'accent sur le cas de l'exemple générique. L'exposé conclura sur la création et la gestion des interactions sociales qui contextualisent l'argumentation et constituent le principal défi pour l'enseignant ; un défi auquel doit préparer la formation.


XXVIe Colloque CORFEM
Mardi 11 et mercredi 12 Juin 2019
Université de Strasbourg

L'argumentation mathématique, un concept nécessaire

L'argumentation mathématique, un concept nécessaire pour penser l’apprentissage de la démonstration

Les sciences du langage, notamment l’analyse du discours et la logique naturelle, ont eu une influence prépondérante sur les premières recherches sur l’apprentissage de la démonstration qui ont insisté sur les oppositions entre argumentation et démonstration. Ces oppositions sont mises en avant comme l’une des principales difficultés—avec le développement cognitif—de la réalisation du projet d’enseignement. Au cours des deux dernières décades, les travaux se sont multipliés pour confirmer cette difficulté mais en la nuançant soit en montrant la possibilité d’une continuité, notamment dans le cours de la résolution d’un problème, soit en soutenant la possibilité d’une légitimité mathématique de l’argumentation. Ainsi l’argumentation se constitue-t-elle en obstacle épistémologique à l’apprentissage de la démonstration, au sens où elle est à la fois ce contre quoi il se construit et ce avec quoi il avance. De plus, l’attention portée à l’argumentation dans la résolution de problèmes a conduit à dépasser les approches purement heuristiques et mis en évidence le lien étroit entre le développement de la rationalité et celui des connaissances mathématiques depuis les niveaux les plus élémentaires. L’exposé portera essentiellement sur ces évolutions de la recherche, et les propositions de concepts tels qu’argumentation heuristique (Raymond Duval) ou explication ontique (Gila Hanna). Il conclura sur le besoin de forger le concept d’argumentation mathématique pour penser l’apprentissage de la démonstration.




7e Journées Épistémologie Montpellier
« L’argumentation : une pratique multiforme ? »
Mercredi 22 et jeudi 23 mai 2019
salle SC-10.01 à la Faculté des Sciences

lundi 19 février 2018

Quelques réflexions à propos du rapport Villani-Torossian


http://www.education.gouv.fr/cid126423/21-mesures-pour-l-enseignement-des-mathematiques.html
Pour répondre aux problèmes de l’enseignement des mathématiques qu’il décrit et analyse, le rapport Villani-Torossian est structuré par deux lignes de force : la formation des enseignants d’une part et d’autre part les relations entre enseignement et recherche, en tant que celle-ci doive éclairer celui-là.  On peut s’en réjouir, mais avec une réserve : la rédaction est manifestement sous-tendue par une conception de la recherche réduite aux sciences cognitives et à la psychologie, voire aux mathématiques. Ainsi la recherche en didactique des mathématiques parait-elle absente ; quoique certains perçoivent sa prise en compte lorsque le rapport évoque la recherche qui doit être conduite dans les classes et la capitalisation sur l’expérience des enseignants. Vieux chercheur en didactique des mathématiques, mon désir est fort de protester et de rappeler les décennies de développement d’une recherche académique internationale à laquelle nous participons activement et d’une façon reconnue. Mais cela serait vain, car on sera rapidement confronté à la question de savoir à quoi cela a servi, et en quoi l’enseignement et l’apprentissage des mathématiques en ont bénéficié.  Il faudra alors remonter dans l’histoire. Rappeler, par exemple, la fragilisation des IREM, la mise à mal de la formation, la précarité récurrente de la recherche universitaire dans ce domaine. Ce ne serait que piètre défense, bien que tout cela ait miné tous nos efforts. La meilleure réponse me parait être ailleurs : dire les résultats de ces recherches, qu’elles aient été conduites dans des équipes universitaires ou dans les IREM, faire le bilan des connaissances rapidement utiles pour les enseignants, faire des propositions de formation initiale ou continue.

« Il semble nécessaire de proposer des enseignements de didactique en mathématiques, qui permettent l'appropriation des enjeux d'apprentissage des savoirs, leur reconnaissance dans les activités scolaires proposées aux élèves, la prise en compte des difficultés récurrentes et ce, dans les différentes facettes de l'exercice d’un futur métier » (p.45). Il faut, bien sûr, proposer de tels enseignements. Nous l’avons fait, nous savons le faire. Comme tout enseignement, les contenus de ces formations s’appuieront sur des connaissances explicites, validées par la recherche en didactique des mathématiques. Comme toute formation universitaire, c’est le lien entre formation et recherche qui garantit la qualité et la pertinence de ces enseignements ; il est indispensable que l’une et l’autre soient confortées.

La cinquième des principales mesures proposées par le rapport, « les étapes d’apprentissage­­­­ », et la sixième, « le cours », soulignent des thèmes sur lesquels nous pouvons faire rapidement des propositions concrètes de contenu et d’action.

La cinquième mesure énonce :
« Dès le plus jeune âge mettre en œuvre un apprentissage des mathématiques fondé sur la manipulation et l’expérimentation ; la verbalisation ; l’abstraction. »  
Cette mesure est en résonnance évidente avec les concepts et les modèles de la théorie des situations didactiques. La mise en œuvre d’un tel apprentissage appelle la conception et l’organisation dans la classe de situations adaptées et favorables. C’est à cela que répond la séquence classique – situation d’action, situation de communication, situation de validation – modélisée par la théorie des situations didactiques (et à quoi elle ne se réduit pas). Il est à ce sujet important de souligner que si ce séquencement est celui de l’apprentissage, il est à l’inverse du séquencement de la conception des situations : les connaissances dont l’apprentissage est visé déterminent les types de validation qui eux-mêmes requièrent des compétences langagières et des représentations. La situation d’action est la porte d’entrée dans le processus d’apprentissage en engageant des connaissances initialement disponibles qui évolueront, se modifieront ou seront rejetées et remplacées par les connaissances visées. L’enseignant est présent tout au long de ce parcours, il crée les conditions de l’engagement de l’élève, il l’accompagne en adaptant ses interventions et, au bout du chemin, il identifie, nomme, ce qui est appris. Dans ce cadre, on le comprend, l’erreur n’est pas une faute mais appartient de façon naturelle aux efforts d’exploration, aux tentatives de solution ; elle est constitutive de l’apprentissage (p.15). Enfin, de telles situations « sollicitent [la] créativité [des élèves], développent leur motivation, encouragent leur esprit d’autonomie et d’initiative » (p.58). L’ingénierie didactique rassemble les méthodes et les outils pour concevoir de telles situations et leurs séquencements en s’appuyant sur les modèles et les concepts de la théorie des situations. Elle répond pleinement à la volonté d’apporter à l’enseignant « [qui] ne se voit pas comme un technicien "exécutant" mais comme un professionnel » les connaissances pour le rendre « capable d’analyser sa propre pratique » (p.19). En adoptant l’ingénierie didactique comme approche structurante, la formation s’articulera sur « la pratique du métier, permettant ainsi aux enseignants de s’approprier des notions de didactique des mathématiques, de la maternelle au cycle 3 » (p.13).

La situation de validation est une étape, en quelque sorte, terminale du cheminement vers la notion mathématique qu’il faudra encore expliciter pour qu’elle prenne sa place dans le corpus enseigné, puis travailler pour se l’approprier pleinement. Elle est aussi le point de départ de la construction de l’enseignement. Cette centralité correspond à l’indispensable prise de conscience, par les élèves, du problème de la validité de ce qu’ils apprennent. Cette prise de conscience fonde la culture scientifique et citoyenne bien au-delà des mathématiques elles-mêmes. Elle est indispensable à la compréhension de ce que sont les mathématiques, le rapport est sur ce point très explicite : « la notion de preuve est au cœur de l’activité mathématique, quel que soit le niveau (de façon adaptée, cette assertion est valable de la maternelle à l’université) » (p.25).

Ainsi la sixième mesure énonce-t-elle :
« Rééquilibrer les séances d’enseignement de mathématiques : redonner leur place au cours structuré et à sa trace écrite ; à la notion de preuve ; aux apprentissages explicites. »
Il y a quelques décennies, il n’aurait été question que de la démonstration. L’accent mis ici sur la notion de preuve est significatif. Il permet notamment de vouloir sa présence dès le cycle 1 et d’envisager l’apprentissage dans la durée. L’apprentissage de la démonstration sera alors une étape particulière, préparée par la prise de conscience progressive de la nature et du rôle de la preuve, et l’acquisition de compétences de validation associées au fil du développement de la connaissance. La section 3.1.2 du rapport dédiée à « La preuve » (pp.25-26), par la variété des formulations, illustre toute la difficulté de cet enseignement : « démarche de justification argumentée », « formes d’argumentation propres aux mathématiques », « démonstration » ; la même difficulté se retrouve dans les programmes de 2016 (compétences mathématiques, raisonner). Argumentation, preuve, démonstration ne sont pas synonymes, ces termes renvoient à des productions dont les caractéristiques sont différentes, et sont le produit d’activités – argumenter, prouver, démontrer – qui n’ont ni la même nature, ni la même fonction dans les mathématiques et leur pratique collective, ni la même complexité conceptuelle et langagière. Depuis une trentaine d’années, la recherche en didactique des mathématiques a largement documenté ces questions et produit des résultats sur lesquels on peut s’appuyer. Il est remarquable que les recherches internationales dans ce domaine se soient si largement multipliées, avec la publication de très nombreux articles, livres et la tenue de conférences. La formation des enseignants sur l’enseignement de la preuve, dès les premières années, pourra ainsi s’appuyer sur un large corpus de résultats et d’exemples de situations de classes utilisées pour ces recherches.

La didactique des mathématiques est déjà une composante des enseignements dispensés par les ESPE. Cette formation s’appuie, chaque fois que cela est possible, sur des équipes de recherche. Le rapport montre pleinement son importance, il faut saisir cette opportunité. Certes, très malheureusement, le texte parait ignorer ces recherches et leurs liens forts et anciens avec la formation tant initiale que continue. Plutôt que d’exprimer des regrets et des protestations qui ne seront pas entendues, nous devons avancer, avancer encore, avancer mieux.

Une suggestion ? Créer une base de données constituée des ingénieries bases des dispositifs expérimentaux (projets, thèses, etc.) en les documentant de façon normalisée (objectif, script, bénéfices, limites, etc.).  Les utilisateurs, des enseignants mais pas seulement, pourront adapter ces propositions et documenter en retour. En complément des travaux théoriques, des exposés de concepts, méthodes et de la publication des résultats, une telle ressource approfondira encore le lien entre recherche et pratique. Je ne sous-estime ni la complexité, ni le risque que courent les transferts trop hâtifs de dispositifs expérimentaux vers la classe. Mais le défi vaut d’être relevé avec les formateurs et les enseignants.  Je pense que c’est un moyen de répondre assez directement et précisément au souhait formulé par le rapport Villani-Torossian : « La formation doit permettre aux enseignants de s’approprier des ressources avec toute la distance critique nécessaire, pour concevoir des situations d’enseignement riches. » (p.13).

lundi 18 décembre 2017

Contrôle, preuve et démonstration. Trois régimes de la validation (2)

Mise à jour janvier 2020 :
Balacheff N. (2019) Contrôle, preuve et démonstration. Trois régimes de la validation. In: Pilet J., Vendeira C. (eds.) Actes du séminaire national de didactique des mathématiques 2018 (pp.423-456). Paris : ARDM et IREM de Paris - Université de Paris Diderot.
texte accessible en ligne [ici]

L'enregistrement de l'exposé au séminaire national ARDM de Didactique des mathématiques est disponible. Il suffit pour y accéder de cliquer sur l'image ci-dessous. Le résumé et le diaporama sont accessibles [ici].

http://mc.univ-paris-diderot.fr/videos/MEDIA171207155920637/multimedia/MEDIA171207155920637.mp4

Je répondrai aux questions éventuelles dans le fil de commentaires associé à ce billet.

Références utiles (prochainement complétées) :
Brousseau G. (2000) Que peut-on enseigner en mathématiques à l'école primaire et pourquoi ?  Repères IREM 7-10,  n° 38  Topiques éditions.
Duval R. (1992) Argumenter,démontrer, expliquer. Continuité ou rupture cognitive ? Petit X, 31 pp. 37-61.
DGESco (2008) Raisonnement et démonstration.  Ressources pour les classes de 6e, 5e, 4e, et 3e du collège. EduSCOL. Paris : Ministère de l’éducation nationale.
DGESco (2016) Raisonner. Ressources d'accompagnement du programme de mathématiques (cycle 4). Eduscol. Paris : Ministère de l’éducation nationale, de l’enseignement supérieur et de la recherche. 

samedi 18 novembre 2017

Contrôle, preuve et démonstration. Trois régimes de la validation (1)

Raisonner est l'une des six compétences majeures du socle commun des mathématiques du cycle 4 (années 7, 8 et 9 du cursus français obligatoire). Elle inclut démontrer, c'est-à-dire « utiliser un raisonnement logique et des règles établies (propriétés, théorèmes, formules) pour parvenir à une conclusion » ainsi que « fonder et défendre ses jugements en s’appuyant sur des résultats établis et sur sa maîtrise de l’argumentation. » Démontrer c'est aussi « "donner à voir" les différentes étapes d’une preuve par la présentation, rédigée sous forme déductive, des liens logiques qui la sous-tendent. » des  (DGESco 2016 p.1)

Les mots preuve, démonstration, argumentation sont ainsi utilisés par les textes des programmes de mathématiques et leurs commentaires. Cet usage affirme le caractère central de la démonstration, « moyen mathématique d'accès à la vérité », dans l'apprentissage des mathématiques. Il atteste aussi la difficulté de son enseignement car « [pour] ne pas détourner de la résolution de problèmes les élèves ayant des difficultés à entrer dans les codes de rédaction d’une démonstration, il importe de valoriser les productions spontanées, écrites ou orales, issues des phases de recherche et d’expérimentation (calculs seuls, croquis destinés à comprendre l’exercice, idées de preuve, plan de preuve, etc.). » (DGESco 2016 p.4)

ARDM
J'ai choisi, pour répondre à l'invitation du séminaire national de didactique des mathématiques, d'interroger les avancées de la recherche sur l’apprentissage et l’enseignement de la démonstration et leur capacité à éclairer la mise en œuvre des programmes actuels. Je reviendrai, en introduction, sur le vocabulaire en insistant notamment sur les différents régimes de la validation dans l'activité de l'élève. Puis j'aborderai ces questions dans la problématique de la validation au sens de la théorie des situations didactiques. Les principaux thèmes seront l’articulation entre preuve et connaissance en évoquant brièvement le modèle ck¢, et la relation entre démonstration et argumentation. Une dernière partie portera sur les perspectives ouvertes par les technologies informatiques.


Séminaire national de didactique des mathématiques - ARDM
Paris, 18 novembre 2017 

 
Cliquer [ici] pour obtenir le programme du séminaire national de didactique des mathématiques. Paris, samedi 18 novembre 2017

vendredi 1 mars 2013

Quelques éléments de vocabulaire, à propos de preuve et de démonstration

Première publication : La lettre de la preuve, [original ici]

Avertissement original et d'actualité : contribution informelle et provisoire...
Ce qui suit est issu de Étude des processus de preuve chez des élèves de Collège -- Balacheff 1988 ; à propos du vocabulaire dans l'enseignement voir plutôt Balacheff 1982 avec quelques éléments sur la transposition.

Les verbes expliquer, prouver, démontrer, sont souvent considérés comme synonymes dans la pratique de l'enseignement des mathématiques en France. On peut s'en assurer aisément par une consultation rapide des manuels scolaires. S'en tenir à ces habitudes constitue à notre sens un obstacle aux recherches sur le domaine qui nous intéresse dans la mesure où elles conduisent à amalgamer différents niveaux d'activité des élèves qu'il est en fait nécessaire de distinguer, comme nous essaierons de le montrer, pour comprendre la complexité du problème de l'apprentissage de la démonstration. Nous proposons dans ce qui suit de préciser ce vocabulaire.

A la suite de Piaget (1970) nous dirons qu'expliquer, "sur le terrain des sciences déductives", c'est d'abord dégager les "raisons" pour "répondre à la question du pourquoi". Mais du point de vue même de la pratique des mathématiques, donner des raisons d'un théorème, l'expliquer et le démontrer relèvent de deux exigences distinctes. C'est le sens de la remarque suivante :
"tout mathématicien sait d'ailleurs qu'une démonstration n'est pas véritablement «comprise» tant qu'on s'est borné à vérifier pas à pas la correction des déductions qui y figurent, sans essayer de concevoir clairement les idées qui ont conduit à bâtir cette chaîne de déductions de préférence à tout autre". (Bourbaki 1948, p.37 note1)
Expliquer renvoie aux significations, c'est-à-dire à la compréhension de la validité d'une assertion, non au sens de la logique, mais au sens de ses relations avec le corps des connaissances mathématiques. Cette "organisation inférentielle de significations" (Halbwachs 1981) peut échapper à une démonstration par ailleurs irréprochable du point de vue de la logique. En témoigne, par exemple, l'aveu célèbre de Cantor quand il interpelle Dedekind à propos de la démonstration qu'il vient d'écrire : "je le vois mais je ne le crois pas" (cité par Cavailles 1962, p.211).

 

Explication

A la suite des linguistes, nous situons l'explication au niveau du sujet locuteur. C'est d'abord pour lui qu'elle établit et garantit la validité d'une proposition, elle prend racines dans ses connaissances et ce qui constitue sa rationalité, c'est-à-dire ses propres règles de décision du vrai. Mais elle est aussi ce discours qui vise à rendre intelligible à un autrui la vérité de la proposition déjà acquise pour le locuteur. Elle ne se réduit pas nécessairement à une chaîne déductive. Miéville la décrit ainsi au terme d'une étude sur "Explication et discours didactique de la mathématique" :
"elle vise à établir chez l'interlocuteur un système d'objets qui ont entre eux une certaine homogénéité. Ces objets se rencontrent, s'agencent, et dans leur affinité, déterminent l'organisation d'une explication qui s'oriente vers la découverte d'un savoir nouveau…" (Miéville 1981, p.150).

Preuve

Lorsqu'une explication est reconnue et acceptée, il convient pour la désigner de disposer d'un terme qui permette de marquer son détachement du sujet locuteur. En mathématique, il est clair que le terme «démonstration», du fait de son acception très spécifique, ne convient pas. Nous retiendrons celui de preuve.

Le passage de l'explication à la preuve fait référence à un processus social par lequel un discours assurant la validité d'une proposition change de statut en étant acceptée par une communauté. Ce statut n'est pas définitif, il peut évoluer dans le temps avec l'évolution des savoirs sur lesquels il s'appuie. Par ailleurs une preuve peut être acceptée par une communauté mais être refusée par une autre. On en a un exemple récent en mathématiques avec le «théorème des quatre couleurs» dont la preuve par Appel et Haken, qui n'est pas une démonstration au sens classique, est acceptée par certains mathématiciens, tel Swart (1980), et est refusée par d'autres, tel Tymoczko (1979) :
"the reliability of the four-colour theorem is not of the same degree as that guaranteed by traditional proofs [en français : démonstration ], for this reliability rests on the assessment of a complex set of empirical factors" (Tymoczko cité par Hanna 1983, p.85).
Mais l'acceptation de l'«explication» de Appel et Haken ne repose pas sur de simples critères de vérification logique : "the very reason those of us who have worked on reducibility testing are happy about Haken, Appel and Koch's reducibility results is that they have to a large extent been independently checked by the use of different programs on different computers" (Swart 1980, p.698).

Démonstration

Le type de preuve dominant en mathématiques a une forme particulière, il s'agit d'une suite d'énoncés organisée suivant des règles déterminées : un énoncé est connu comme étant vrai, ou bien est déduit à partir de ceux qui le précèdent à l'aide d'une règle de déduction prise dans un ensemble de règles bien défini. Nous appelons, suivant ici l'usage, "démonstrations" ces preuves. Ce qui caractérise les démonstrations comme genre de discours est leur forme strictement codifiée. En fait, cette rigueur formelle doit être nuancée au regard de la pratique. Par exemple, certaines étapes de la démonstration peuvent ne pas être explicitées mais laissées aux bons soins du lecteur. Si, en principe, être une démonstration relève, pour un discours, de critères logiques, dans les faits les processus sociaux au sein de la communauté mathématique jouent un rôle important :
"a proof becomes a proof after the social act of «accepting it as a proof». This is true of mathematics as it is of physics, linguistics, and biology " (Manin cité par Hanna 1983, p.71).
Nous prenons, en parlant de communauté mathématique, un point de vue naïf ou, disons, du sens commun. Nous n'ignorons pas qu'au regard même de la démonstration cette communauté n'est pas monolithique. Des doctrines s'opposent (méthode axiomatique, intuitionisme, formalisme, etc.), on en trouvera une discussion intéressante dans Hanna (1983). Mais, comme le reconnaît cet auteur ce qui divise les mathématiciens ce n'est pas la démonstration en tant que telle, mais le choix des axiomes logiques et mathématiques (ibid. p.64-65).

 

Raisonnement et processus de validation

Le mot «raisonnement» a, de façon usuelle, principalement deux acceptions que résume bien
"si le raisonnement, entendu comme acte de l'esprit, se rapproche de plus en plus de l'intuition à mesure que se concentre la pensée, inversement, quand celle-ci se détend dans son expression, verbale ou symbolique, il apparaît comme une certaine manière d'organiser le discours, pour devenir, à la limite, une suite d'opérations formelles exactement réglées, c'est-à-dire un calcul ". (Blanché 1973, p.39) :
Dans l'étude qui nous intéresse cette double acception présente une difficulté car elle introduit lorsque l'on parle du raisonnement d'un individu une ambiguité évidente en ne distinguant pas assez clairement s'il s'agit de l'activité intellectuelle ou de l'explication produite.

Nous réserverons ici le mot raisonnement pour désigner l'activité intellectuelle, en général non complètement explicite, de manipulation d'informations, données ou acquises, pour produire de nouvelles informations. Nous désignerons par processus de validation cette activité lorsque sa finalité est de s'assurer de la validité d'une proposition et éventuellement de produire une explication (resp. une preuve ou une démonstration)

L'argumentation est-elle un obstacle ? Invitation à un débat...

Première publication : La lettre de la preuve, Mai/Juin 1999 [original ici]
 
Le premier diagnostic posé sur ce que pourraient être les sources de difficulté à enseigner et apprendre la démonstration en mathématique a été la nature du contrat didactique le plus naturellement émergeant des positions de l'élève et de l'enseignant relativement aux savoirs en jeu. Parce que l'enseignant est le garant de la légitimité et de la validité épistémologique de ce qui est construit dans la classe, alors l'élève serait privé d'un accès authentique à une problématique de la vérité et de la preuve. Le dépassement de cette difficulté inhérente à la nature des systèmes didactiques peut être recherché dans des situations permettant la dévolution aux élèves de la responsabilité mathématique de ce qu'ils produisent, ce qui signifie l'effacement de l'enseignant dans les processus de prise de décision au cours de la résolution d'un problème au bénéfice d'un effort de construction par les élèves de moyens autonomes de preuve.

L'argumentation, une problématique issue de l'étude des interactions sociales

L'interaction sociale entre les élèves est clairement apparue comme l'un des leviers puissants pour favoriser les processus de dévolution aux élèves d'une responsabilité mathématique sur leur activité et leurs productions. Au point que l'interaction sociale ait pu être considérée par certain comme étant la réponse par excellence aux problèmes posés. La rhétorique des tenants d'une telle position s'articulant essentiellement autour de l'idée que l'enseignant relégué au rôle de guide ou d'animateur des apprentissages ouvrirait la place, par ce seul mouvement de retraite, à une authentique construction des connaissances.

J'ai, comme d'autres chercheurs, étudié de telles situations dans le courant des années 80. Les travaux de cette époque me paraissent avoir confirmé le caractère productif et essentiel de l'interaction sociale, mais ils ont aussi et peut être surtout révélé que par sa nature même ce type d'interaction suscitait des processus et des comportements sociaux allant à l'encontre de la construction d'une problématique mathématique, et plus généralement scientifique, de la preuve par les élèves. Ces processus et comportements pouvaient être rassemblés au sein d'une même thématique de référence, celle de l'argumentation. Je citais à l'époque, à l'appui de la conjecture didactique selon laquelle pour les élèves une problématique de l'argumentation viendrait s'opposer à une problématique mathématique de la preuve, les thèses issues des travaux de Perelman, notamment :
"tandis que la démonstration, sous sa forme la plus parfaite, est une enfilade de structures et de formes dont le déroulement ne saurait être récusé, l'argumentation a un caractère non-contraignant. Elle laisse à l'auteur l'hésitation, le doute, la liberté de choix ; même quand elle propose des solutions rationnelles, aucune ne l'emporte à coup sûr" (Perelman 1970 p.41).
Même sans aller jusqu'à une conception de la démonstration sous sa forme la plus parfaite, ce que nous ferons en nous plaçant du point de vue de la pratique des mathématiciens, il reste une opposition fondamentale sur le terrain de la contribution des ces deux genres de discours à une problématique de la validation. Cette opposition, comme cela est le plus souvent oublié, affecte aussi bien la question de la preuve que celle de la réfutation. Ainsi le traitement ad hoc des contre-exemples par les élèves, dont rendent compte diverses recherches expérimentale, suggère que les contre-exemples sont vus comme des objections plus que comme des réfutations indices d'une contradiction.

L'argumentation, une problématique issue de l'étude des productions verbales

Les rapports entre argumentation et démonstration sont un objet d'étude ancien dans une perspective cognitive et linguistique. Il s'agit alors d'explorer la complexité cognitive de chaque genre, le rapport à la connaissance qu'il implique ou favorise, appuyant l'étude sur l'analyse du texte et des usages de la langue. Pour situer la problématique de tels approches, en reprenant à mon compte une formulation de Jean-Blaise Grize : argumenter est sans doute une activité finalisée, mais c'est une activité discursive (le discours étant quoiqu'il en soit compris comme une activité sociale).

 Argumentation et démonstration se trouveraient moins distingués par le genre des textes correspondants -- Raymond Duval soulignera que la distance discursives entre eux est faible -- que par le statut et le fonctionnement des énoncés, et donc finalement celui de la connaissance mise en jeu. L'argumentation, parce que son fonctionnement semble émerger naturellement des pratiques communes de discours ne permettrait pas l'identification de la modification du statut et du fonctionnement de la connaissance que requiert le travail mathématique, et en retour la modification de fonctionnement du discours lui-même.

L'examen des rapports de l'argumentation et de la démonstration dans cette approche centrée sur l'analyse du discours me paraît conforter la conjecture d'un rapport conflictuel entre les deux genres lorsque l'on se place dans une perspective d'apprentissage des mathématiques. Raymond Duval en conclura que "le développement de l'argumentation même dans ses formes les plus élaborées n'ouvre pas la voie vers la démonstration. Un apprentissage spécifique et indépendant est nécessaire en ce qui concerne le raisonnement déductif" (utilisant ici, à mon avis à tort, raisonnement déductif comme synonyme de démonstration). Il en conclut que la démonstration relève d'un apprentissage "spécifique et indépendant".
Pourtant, l'étude naturaliste des interactions dans la classe, telle que la conduit par exemple Paul Cobb et son équipe, suggère la possibilité d'une argumentation mathématique à laquelle les élèves accèderaient par la pratique de discussions réglées par des normes socio-mathématiques (sociomathematical norms) qui émergeraient des interactions entre l'enseignant et les élèves (l'enseignant étant regardé comme un représentant la communauté mathématique). Dans cette approche construction d'une rationalité mathématique (la démonstration n'est cependant pas enseignée en tant que telle) et argumentation sont étroitement liées.

Différentes conceptions théoriques de l'argumentation

La diversité que nous pouvons percevoir des problématiques de l'argumentation et de ses rapports aux mathématiques, notamment à la démonstration, est à mon sens fondamentalement due à des différences profondes entre les recherches théoriques dans ce domaine. Je ne ferai pas ici une analyse des diverses problématiques de l'argumentation, mais en m'appuyant sur la synthèse proposée par Christian Plantin dans ses Essais sur l'argumentation, je vais essayer de donner une idée de l'importance d'une prise en compte de cette diversité. Trois auteurs, par le contraste de leurs problématiques et leur distance, peuvent être retenus pour constituer un système de repères par rapports auxquels on pourra situer les travaux sur l'argumentation : Chaïm Perelman, Stephen Toulmin et Oswald Ducrot.

A la suite de Perelman on considérera que l'argumentation est moins caractérisée par la prise en charge de son objet que par celle de son auditoire, elle est moins finalisée par l'établissement de la validité d'un énoncé que par la capacité à obtenir l'adhésion d'auditoire. En reprenant la formulation de Plantin, un énoncé dans cette conception a une valeur de raison, voire de vérité, dès lors qu'un individu l'accepte.

Toulmin, en revanche, rapporte la validité d'un énoncé d'abord à celle de la structure du discours (sa rationalité) qui la défend et donc fait fondamentalement dépendre cette validité de celle des prémisses au sein d'une communauté (d'un domaine) de référence dès lors que cette communauté s'accorderait sur les règles.
"[Une argumentation], c'est l'exposition d'une thèse controversée, l'examen de ses conséquences, l'échange de preuves et des bonnes raisons qui la soutiennent, et une clôture bien ou mal établie".
Indépendamment des domaines, le discours argumentatif est organisé sur un mode ternaire permettant le passage de données à une conclusion sous le contrôle le plus souvent implicite d'une "licence d'inférer" (ce schéma peut être augmenté d'indicateurs de force ou de restriction permettant de prendre en compte une incertitude possible sur l'inférence).

Ducrot place l'argumentation au cœur de l'activité de parole. Comme le souligne Plantin, on ne peut pas, dans cette problématique, "ne pas argumenter". La structure de la suite des arguments joue un rôle déterminant : la force d'un argument ne viendra ni de caractéristiques "naturelles" ni de caractéristiques rationnelles, mais de sa place dans l'énoncé. C'est par la structure que l'on signifie, que l'on montre une orientation qui permet de recevoir "r comme la visée intentionnelle de P", ou "R comme une suite possible de P". L'analyse des connecteurs (mots de liaison) prend avec Ducrot un importance particulière parce que ce sont eux qui mettent les informations contenues dans un texte au service de son intention argumentative globale. La polyphonie des connecteurs, enfin, permet de mettre en scène dans le discours non seulement le locuteur mais aussi son protagoniste potentiel, "P mais Q" suggère un sujet adhérant à P auquel le locuteur objecte Q.

Nous remarquons que la référence à l'une ou l'autre de ces conceptions de l'argumentation est susceptible de nous faire adopter une position différente quant à ce que peut représenter l'argumentation dans la pratique des mathématiques, notamment avec une visée d'enseignement et en relation avec la démonstration. En se plaçant dans la suite de Toulmin il paraît possible d'envisager une solution de continuité de l'argumentation à la démonstration, et pourquoi pas de considérer la démonstration comme un genre argumentatif particulier (j'ignore si Toulmin marquait entre argumentation et démonstration (mathematical proof) l'opposition que soulignent les autres approches). En revanche l'existence d'une telle solution paraît douteuse lorsqu'on se place dans le cadre proposé par Perelman ou Ducrot.

Les risques de la reconnaissance d'une "argumentation mathématique"

Ma position à ce moment de ma réflexion me porterait à considérer qu'il y a dans l'argumentation un double mouvement de persuasion et de validation. Si on peut en douter dans certaines disputes dans lesquelles la bonne foi n'est pas de rigueur, on peut en revanche en faire l'hypothèse dans une perspective scientifique excluant la tricherie et le mensonge (position idéale sans laquelle notre objet perdrait tout sens).
  • L'argumentation cherche à emporter l'adhésion d'un auditoire, mais est-ce à dire avec Perelman qu'elle ne se réduirait qu'à cela ?
  • L'argumentation met en scène un objet, la validité d'un énoncé. Mais les sources de la compétence argumentative sont dans la langue naturelle et dans des pratiques dont les règles sont le plus souvent d'une nature profondément différente de celles que requièrent les mathématiques, et qui portent la marque profonde des interlocuteurs et des circonstances. Dans cette mesure je dirais volontiers que les cadres théoriques de Toulmin et Ducrot, de façon cependant moins radicale que Perelman, donnent encore une place centrale aux interactions et régulations sociale (mais peut être Ducrot protesterait-il sur ce point). Or, si l'on postule la sincérité des interlocuteurs dans le champ des pratiques scientifique, l'argumentation devra satisfaire les conditions d'une entrée dans une problématique de connaissance qui implique la décontextualisation du discours, l'effacement de l'acteur et de la durée. Toutes conditions qui vont finalement à l'encontre de la nature profonde de l'argumentation quelle que soit la problématique que l'on veuille lui associer.
Je soutiendrais donc qu'il n'y a pas d'argumentation mathématique au sens souvent suggéré d'une pratique argumentative en mathématiques qui se caractériserait par le fait qu'elle échapperait à certaines des contraintes qui pèsent sur la démonstration. Ceci ne signifie pas que tout discours en mathématique qui vise à établir la validité d'un énoncé ait toujours eu et puisse toujours avoir les caractéristiques d'une démonstration. C'est une richesse des langues latines que de nous permettre de faire une distinction entre preuve et démonstration, en imposant aux première les exigences liées à leur participation à la construction d'une œuvre de connaissance, sans pour autant les soumettre aux exigences de forme de la seconde.

S'il n'y a pas d'argumentation mathématique, il existe pourtant une argumentation en mathématiques. La résolution de problèmes, dans laquelle je dirais volontiers que tous les coups sont permis, est le lieu où peuvent se développer des pratiques argumentatives reprenant des moyens opérationnels ailleurs (métaphore, analogie, abduction, induction, etc.) qui s'effaceront lors de la construction du discours qui seul sera acceptable au regard des règles propres aux mathématiques. Je résumerai en une formule la place que je crois possible pour l'argumentation en mathématiques, allant dans le sens du concept d'unité cognitive des théorèmes forgé par nos collègues italiens :

L'argumentation est à la conjecture ce que la démonstration est au théorème.

Une conséquence que certains jugeront catastrophique est que comme la résolution de problème, l'argumentation sera rebelle à toute tentative d'enseignement direct (bien sûr, je ne confonds pas ici apprentissage de l'argumentation et apprentissage de la rhétorique).

L'argumentation, obstacle épistémologique à l'apprentissage de la démonstration

En conclusion de ce court essai, dans une perspective d'apprentissage, j'en viens à ne soutenir ni la thèse de la continuité ni celle de la rupture entre argumentation et démonstration (ou preuve en mathématique), mais à proposer de reconnaître l'existence d'une relation complexe et constitutive du sens de chacune : l'argumentation se constitue en un obstacle épistémologique à l'apprentissage de la démonstration, et plus généralement de la preuve en mathématique.

Comprendre la démonstration c'est d'abord construire un rapport particulier à la connaissance en tant qu'enjeu d'une construction théorique, et donc c'est renoncer à la liberté que l'on pouvait se donner, en tant que personne, dans le jeu d'une argumentation. Parce que ce mouvement vers la rationalité mathématique ne peut être accompli qu'en prenant effectivement conscience de la nature de la validation dans cette discipline, il provoquera la double construction de l'argumentation et de la démonstration. L'argumentation dans la pratique commune est spontanée, comme le soulignent ceux qui travaillent le discours. Forgée dans les échanges familiaux, dans la cour de l'école, dans des circonstances multiples et souvent anodines, la compétence argumentative de l'élève est à l'image des pratiques familières : elle va de soi. La classe de mathématique est l'un des lieux où l'existence de cette pratique peut être révélée parce que soudain elle apparaît inadéquate (mais les situations pour susciter cette prise de sonscience sont difficiles à construire). Ce serait même à mes yeux une erreur de caractère épistémologique que de laisser croire aux élèves, par quelque effet jourdain, qu'ils seraient capables de production de preuve mathématique quant ils n'auraient qu'argumenté.

Enfin, et il s'agit là d'une point que je n'ai pas abordé mais que l'on ne peut oublier, le point fort qui sépare l'argumentation et la démonstration est la nécessité pour cette dernière d'exister relativement à une axiomatique explicite. Peut être parce que le temps des mathématiques modernes a laissé de trop mauvais souvenirs, l'idée de lier démonstration et axiomatique paraît le plus souvent susciter l'inquiétude sinon une ferme opposition, et pourtant : pourra-on longtemps faire autrement sans réduire la démonstration à une rhétorique particulière ou les mathématiques à un jeu de langage ?

Quelques lectures

Ducrot O. (1980) Les échelles argumentatives. Paris : les éditions de Minuit.
Duval R. (1991) Structure du raisonnement déductif et apprentissage de la démonstration. Educational Studies in Mathematics 22(3) 233-261.
Duval R. (1992) Argumenter, démontrer, expliquer : continuité ou rupture cognitive ? Petit X 31, 37-61.
Perelman Ch. (1970) Le champ de l'argumentation. Bruxelles : Presses Universitaires.
Plantin C. (1990) Essais sur l'argumentation. Paris : Editions Kimé.
Yackel E, Cobb P. (1996) Sociomathematical norms, argumentation, and autonomy in mathematics. Journal for Research in Mathematics Education 27(4) 458-477.