Abstract
It is widely attested that university students face considerable difficulties with reasoning in analysis, especially when dealing with statements involving two different quantifiers. We focus in this paper on a specific mistake which appears in proofs where one applies twice or more a statement of the kind “for all X, there exists Y such that R(X, Y)”, and forgets that in that case, a priori, “Y depends on X”. We analyse this mistake from both a logical and mathematical point of view, and study it through two inquiries, an historical one and a didactic one. We show that mathematics teachers emphasise the importance of the dependence rule in order to avoid this kind of mistake, while natural deduction in predicate calculus provides a logical framework to analyse and control the use of quantifiers. We show that the relevance of this dependence rule depends heavily on the context: nearly without interest in geometry, but fundamental in analysis or linear algebra. As a consequence, mathematical knowledge is a key to correct reasoning, so that there is a large distance between beginners' and experts' abilities regarding control of validity, that, to be shortened, probably requires more than a syntactic rule or informal advice.
Résumé
Les difficultés de manipulation, par les étudiants, des énoncés contenant deux quantificateurs différents, rencontrés dans de nombreux raisonnements en analyse, sont bien attestées. Nous nous intéressons plus spécialement dans cet article à une erreur qui apparaît dans certaines preuves lorsque l'on applique deux fois ou plus un énoncé de la forme “pour tout X, il existe Y tel que R(X,Y)” et que l'on oublie que dans un tel cas, a priori, “Y dépend de X”. Nous analysons cette erreur d'un point de vue logique et d'un point de vue mathématique, puis nous l'étudions à travers deux enquêtes, l'une historique et l'autre didactique. Nous montrons que les professeurs de mathématiques soulignent l'importance de la règle de dépendance pour éviter ce type d'erreur, tandis que la déduction naturelle dans le calcul des prédicats fournit un cadre de référence logique pour analyser et contrôler l'usage des quantificateurs. Nous montrons que la pertinence de la règle de dépendance dépend fortement du contexte: pratiquement sans intérêt en géométrie, elle est tout à fait fondamentale en analyse et en algèbre linéaire. De ce fait, les connaissances mathématiques sont la clé d'un raisonnement correct, si bien qu'il y a une grande distance entre le débutant et l'expert concernant le contrôle de la validité, que quelques règles syntaxiques ou quelques conseils informels ne permettent vraisemblablement pas de réduire.
Similar content being viewed by others
References
Abel, N.H.: 1826, ‘Recherches sur la série \(1 + \frac{{mx}}{1}+ \frac{{m(m - 1)x^{2}}}{{1.2}}+ \frac{{m(m - 1)(m - 2)x^{3}}}{{1.2.3}}+ \cdots\)’, Journal reine Angew. Math. 1, 311–339; reproduced in Oeuvres complètes, 1881, Kristiana, Grondhal, pp. 219–250.
Aigner, M. and Ziegler, G.M.: 1998, Proofs from the Book, Springer-Verlag, Berlin, {Germany.}
Arsac, G. and Durand-Guerrier, V.: 2000, ‘Logique et raisonnement mathématiques. Variabilité des exigences de rigueur dans les démonstrations mettant en jeu des énoncés existentiels’, in T. Assude and B. Grugeon (eds.), Actes du Séminaire National de Didactique des Mathématiques, IREM de Paris 7, pp. 55–83.
Benbachir, A. and Zaki, M.: 2001, ‘Production d'exemples et de contre-exemples en analyse: étude en première année d'université’, Educational Studies in Mathematics 47(3), 273–295.
Borowski, E.J. and Borwein, J.M.: 1989, Dictionary of Mathematics, 2nd edn., 2002, Harper Collins Publishers, Glasgow.
Cauchy, A.L.: 1821, Cours d'analyse de l'Ecole Royale Polytechnique, première partie: Analyse algébrique, Debure, Paris, re-issue 1989, Jacques Gabay, Paris.
Cauchy, A.L.: 1823, Résumé des leçons sur le calcul infinitésimal, Debure, Paris, re-issue 1994, Ellipses, Paris.
Chellougui, F.: 2003, ‘Approche didactique de la quantification dans la classe de mathématiques dans l'enseignement tunisien’, Petit x 61, 11–34.
Copi, I.M.: 1954, Symbolic Logic, 2nd edn., 1965, Macmillan Company, NewYork.
Dubinsky, E. and Yiparaki, O.: 2000, On students understanding of AE and EA quantification. Research in Collegiate Mathematics Education IV, CBMS Issues in Mathematics Education 8, American Mathematical Society, Providence, pp. 239–289.
Dugac, P.: 2003, Histoire de l'analyse, Vuibert, Paris.
Durand-Guerrier, V.: 2003a, ‘Which notion of implication is the right one? From logical considerations to a didactic perspective’, Educational Studies in Mathematic 53, 5–34.
Durand-Guerrier, V.: 2003b, Logic and reasoning from a didactical point of view. A model theoretic approach, electronic proceedings of CERME 3: http://www.dm.unipi.it/~didattica/CERME3/proceedings/Groups/TG4/TG4_list.html.
Durand-Guerrier, V. and Arsac, G.: 2003, ‘Méthodes de raisonnement et leurs modélisations logiques. Le cas de l'analyse. Quelles implications didactiques?’, Recherches en Didactique des Mathématiques 23(3), 295–342.
Duval, R.: 1991, ‘Structure du raisonnement déductif et apprentissage de la démonstration’, Educational Studies in Mathematics 22, 233–261.
Duval, R.: 1995, Sémiosis et pensée humaine, Peter Lang, Bern, Switzerland.
Gentzen, G.: 1935, Untersuchungen über das logische Schliessen in Math. Zeitschr 39.
Gentzen, G.: 1955, Recherches sur la déduction logique, translated by R. Feys and J. Ladriere, PUF, Paris.
Glaeser, G.: 1973, Mathématiques pour l'élève professeur, Hermann, Paris.
Gochet, P. and Gribomont, P.: 1990, Logique. Méthodes pour l'informatique fondamentale, Vol. 1, Hermès, Paris.
Hersh, R.: 1997, What is Mathematics, Really, Oxford University Press, Oxford.
Hottois, G.: 1989, Penser la logique, De Boeck Université, Bruxelles.
Houdebine, J.: 1998, La démonstration. Ecrire des démonstrations au Collège et au Lycée, Hachette Education, Paris.
Houzel, C.: 1996, Analyse mathématique. Cours et exercices, Belin, Paris.
Johnson-Laird, P.N.: 1986, ‘Reasoning without logic’, in T. Meyers, K. Brown and B. McGonicle (eds.), Reasoning and Discourse Processes, Academic Press, London, pp. 14–49.
Lakatos, I.: 1976, Proofs and Refutations, Cambridge University Press, Cambridge.
Lakatos, I.: 1984, Preuves et réfutations, translated by N. Balacheff and J.M. Laborde, Hermann, Paris.
Lang, S.: 1968; A First Course in Calculus, 2nd edn., Addison and Wesley, Columbia.
Morris, C.: 1938, Foundations of the Theory of Signs, Chicago University Press, Chicago.
Prawitz, D.: 1965, Natural Deduction, A Proof Theoretical Study, Almqvist & Wiksell, Stockholm.
Quine, W.V.O.: 1950, Methods of Logic, Holy, Rinehart & Winston, New York.
Quine, W.V.O.: 1972, Méthodes de logique, translated by M. Clavelin, Armand Colin, Paris.
Quine, W.V.O.: 1960, Word and Object, MIT Press, Massachussets Institute of Technology.
Quine, W.V.O.: 1977, Le mot et la chose, translated by J. Dopp and P. Gochet, Flammarion, Paris.
Selden, J. and Selden, A.: 1995, ‘Unpacking the logic of mathematical statements’, Educational Studies in Mathematics 29, 123–151.
Sinaceur, H.: 2001, ‘Alfred Tarski, semantic shift, heuristic shift in metamathematics’, Synthese 126, 49–65.
Tarski, A: 1936, 2nd edn., 1969, Introduction à la logique, Gauthier-Villard, Paris.
Tarski, A.: 1994, Introduction to Logic and to the Methodology of Deductive Sciences, 4th edn., Oxford University Press.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Durand-Guerrier, V., Arsac, G. An Epistemological and Didactic Study of a Specific Calculus Reasoning Rule. Educ Stud Math 60, 149–172 (2005). https://doi.org/10.1007/s10649-005-5614-y
Issue Date:
DOI: https://doi.org/10.1007/s10649-005-5614-y