Skip to main content
Log in

Processus de preuve et situations de validation

Proving processes and situations for validation

  • Published:
Educational Studies in Mathematics Aims and scope Submit manuscript

Résumé

Nous étudions les relations entre preuves et contradictions dans la résolution d'un probleme de mathématiques. Cette étude montre la nécessité d'une approche à la fois situationnelle et cognitive, notamment en référence au fonctionnement des connaissances dans l'apprentissage des mathématiques. Ceci nous conduit à distinguer différents stades dans l'évolution des preuves pragmatiques aux preuves intellectuelles. Enfin nous montrons que le dépassement d'une contradiction ne constitue pas nécessairement un progrés cognitif, en particulier nous examinons le traitement d'un contre-exemple par des élèves de quatrième.

Abstract

A study is made of the relationship between Proofs and Contradictions in mathematics problem-solving. With respect to mathematics learning, we show the necessity for an approach being both situational and cognitive. This study leads to the demarcation of several stages from Pragmatic Proofs to Intellectual Proofs. We then go on to show that overcoming a contradiction does not necessarily constitute cognitive progress. In particular we examine how pupils (13–14 year old) cope with counterexamples.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

References

  • Audibert, G.: 1982, Démarches de pensée et concepts utilisés par les élèves de l'enseignement secondaire en géométrie euclidienne plane, Thèse d'état, Université des sciences et techniques du Languedoc, Montpellier.

    Google Scholar 

  • Balacheff, N.: 1978, ≪Une utilisation et une étude de la classification proposée par A. W. Bell pour l'étude des preuves formulées par des élèves≫, Séminaire de pédagogie des mathématiques, 1–22, IMAG-Université 1, Grenoble.

    Google Scholar 

  • Balacheff, N.: 1987, ≪Dévolution d'un problème et construction d'une conjecture: le cas de “la somme des angles d'un triangle”≫, Cahier de didactique des mathématiques 39, Université de Paris VII-IREM.

  • Balacheff, N. et Laborde, C.: 1985, ≪Langage symbolique et preuves dans l'enseignement mathématique: une approche sociocognitive≫, in G. Mugny: Psychologie sociale du développement cognitif, P. Lang, Berne.

    Google Scholar 

  • Bodin, A.: 1980, Mise au point d'un questionnaire. Observation. Entretiens de binômes et individuels, DEA de Didactique des mathématiques, Université de Strasbourg.

  • Bourdieu, P.: 1980, Le sens pratique, ed. de Minuit, Paris.

    Google Scholar 

  • Brousseau, G.: 1975, Etude de l'influence des conditions de validation sur l'apprentissage d'un algorithme, IREM de Bordeaux.

  • Brousseau, G.: 1977, L'étude des processus d'apprentissage en situations scolaires, Cahier no18, IREM de Bordeaux.

  • Brousseau, G.: 1981, ≪Problèmes de didactique des décimaux≫, Recherches en Didactique des Mathématiques II-1, 37–128.

    Google Scholar 

  • Brousseau, G.: 1983, ≪Etudes de questions d'enseignement. Un exemple: la géométrie≫, Séminaire de didactique des mathématiques et de l'informatique. 183–226, IMAG-Université 1, Grenoble.

    Google Scholar 

  • Douady, R.: 1985, ≪The interplay between different settings. Tool-object dialectic in the extension of mathematical ability≫, Proceedings of the Ninth International Conference for the Psychology of Mathematics Education, Vol. II, 33–52.

    Google Scholar 

  • Gras, R.: 1983, ≪Instrumentation de notions mathématiques. Un exemple: la symétrie≫, Petit X, no1, 7–40, Ed. IREM de Grenoble.

  • Grize, J. B. et Piéraut-le Bonniec, G.: 1983, La contradiction, P.U.F., Paris.

    Google Scholar 

  • Laborde, C.: 1982, Langue naturelle et écriture symbolique, Thèse d'état, Université 1 de Grenoble.

  • Lakatos, I.: 1976, Preuves et réfutations, Hermann Ed., Paris 1984. (Edition originale en anglais sous le titre ≪Proofs and Refutations≫, C.U.P., 1976.)

  • Piaget, J.: 1974, ≪Les relations entre affirmations et négations≫, Recherches sur la contradiction, Vol. 2, PUF, Paris.

    Google Scholar 

  • Popper, K. R.: 1972, La connaissance objective, Ed. Complexe, Bruxelles, 1978.

    Google Scholar 

  • Robert, A.: 1982, L'acquisition de la notion de convergence des suites numériques dans l'enseignement supérieur, Thèse d'état, Université de Paris VII.

  • Tonnelle, J.: 1982, ≪Evidence et démonstration en géométrie≫, Actes de la 11° Ecole d'été de didactique des mathématiques, Ed. IREM d'Orléans.

  • Vergnaud, G. et Rouchier, A. et al.: 1983, ≪Une expérience didactique sur le concept de volume en classe de cinquième≫, Recherches en didactique des mathématiques IV-1, 71–120.

    Google Scholar 

  • Vergnaud, G.: 1981, ≪Quelques orientations théoriques et méthodologiques des recherches françaises en didactique des mathématiques≫, Actes du V o colloque du groupe Psychology of Mathematics Education Vol. II, 7–17, Ed. IMAG-Université 1, Grenoble.

    Google Scholar 

  • Vergnaud, G.: 1983, ≪Pourquoi une perspective épistémologique est-elle nécessaire pour la recherche sur l'enseignement des mathématiques?≫, Actes de la V o rencontre annuelle PME-NA, J. C. Bergeron ed., UQAM, Montréal.

    Google Scholar 

  • Vergnaud, G.: 1984, ≪Interactions sujet-situations≫, Actes de la 111° Ecole d'été de didactique des mathématiques, Ed. Institut IMAG, Grenoble, 23–42.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Balacheff, N. Processus de preuve et situations de validation. Educ Stud Math 18, 147–176 (1987). https://doi.org/10.1007/BF00314724

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00314724

Navigation