Abstract
This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61 students in six small sections of a “bridge” course designed to introduce proofs and mathematical reasoning. We discuss this data from a perspective that extends the notion of concept image to that of statement image and introduces the notion ofproof framework to indicate that part of a theorem's image which corresponds to the top-level logical structure of a proof. For simplified informal calculus statements, just 8.5% of unpacking attempts were successful; for actual statements from calculus texts, this dropped to 5%. We infer that these students would be unable to reliably relate informally stated theorems with the top-level logical structure of their proofs and hence could not be expected to construct proofs or validate them, i.e., determine their correctness.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Alibert, D. and Thomas, M.: 1991, ‘Research on mathematical proof’, in D. Tall (ed.),Advanced Mathematical Thinking, Mathematics Education Library, Kluwer Academic Publishers, Dordrecht, pp. 215–230.
Balacheff, N.: 1982, ‘Preuve et d émonstration’,Recherces en Didactiques des Math ématiques 3(2), 261–304.
Davis, R. B.: 1992, ‘Understanding “understanding”’,Journal of Mathematical Behavior 11(3), 225–241.
Eilenberg, S. and Steenrod, N.: 1952,Foundations of Algebraic Topology, Princeton University Press, Princeton.
Epp, S.: 1994, ‘The role of proof in problem solving’, in A. H. Schoenfeld (ed.),Mathematical Thinking and Problem Solving, Lawrence Erlbaum Associates, Hillsdale, NJ, pp. 257–269.
Ernest, P.: 1991,The Philosophy of Mathematics Education, Falmer Press, London.
Fischbein, E. and Kedem, I.: 1982, ‘ Proof and certitude in the development of mathematical thinking’, in A. Vermandel (ed.),Proceedings of the Sixth International Conference of the Psychology of Mathematics Education, Universitaire Instelling Antwerpen, Antwerp, Belgium, pp. 128–131.
Fletcher, P. and Patty C. W.: 1988,Foundations of Higher Mathematics, PWS-KENT Publishing Company, Boston MA.
Hadamard, J.: 1945,An Essay on the Psychology of Invention in the Mathematical Field, Princeton University Press, Princeton (page references are to the Dover edition, New York 1954).
Hanna, G.: 1990, ‘Some pedagogical aspects of proof’, in G. Hanna and I. Winchester (eds.),Creativity, Thought and Mathematical Proof, Interchange21 (1), Ontario Institute for Studies in Education, Canada, pp. 6–13.
Hanna, G.: 1989, ‘Proofs that prove and proofs that explain’,Proceedings of the Thirteenth International Conference for the Psychology of Mathematics Education, Vol. 2, Paris, France, 45–51.
Harel, G. and Kaput, J.: 1991, ‘ The role of conceptual entities and their symbols in building advanced mathematical concepts’, in D. Tall (ed.),Advanced Mathematical Thinking, Mathematics Education Library, Kluwer Academic Publishers, Dordrecht, pp. 82–94.
Hersh, R.: 1993, ‘Proving is convincing and explaining’,Educational Studies in Mathematics 24(4), 389–399.
Jones, F. B.: 1977, ‘The Moore Method’,American Mathematical Monthly 84(4), 273–278.
Kleiner, I.: 1991, ‘Rigor and proof in mathematics: A historical perspective’,Mathematics Magazine 64(5), 291–314.
Kurtz, D. C.: 1992,Foundations of Abstract Mathematics, McGraw-Hill, New York, NY.
Lakatos, I.: 1976,Proofs and Refutations: The Logic of Mathematical Discovery, Cambridge University Press, Cambridge.
Lampert, M.: 1990, ‘When the problem is not the question and the solution is not the answer: Mathematical knowing and teaching’,American Educational Research Journal 27(1), 29–63.
Leron, U.: 1983, ‘Structuring mathematical proofs’,American Mathematical Monthly 90(3), 174–184.
Leron, U.: 1985, ‘Heuristic presentations: The role of structuring’,For the Learning of Mathematics 5(3), 7–13.
Livingston, E.: 1986,The Ethnomethodological Foundations of Mathematics, Routledge, London, UK.
Martin, W. G. and Harel, G.: 1989, ‘ Proof frames of preservice elementary teachers’,Journal for Research in Mathematics Education 20(1), 41–51.
Michener, E. R.: 1978, ‘Understanding understanding mathematics’,Cognitive Science 2, 361–383.
Moore, R. C.: 1991, ‘A conceptual-understanding scheme and the learning of proof’,Proceedings of the Thirteenth Annual Meeting of the North American Chapter of the International Group for the Psychology of Mathematics Education, Vol. 2, Blacksburg, VA, 210–216.
Movshovitz-Hadar, N.: 1988, ‘Stimulating presentation of theorems followed by responsive proofs’,For the Learning of Mathematics 8 (2), 12–19.
Nelson, R. B.: 1993,Proofs Without Words: Exercises in Visual Thinking, Mathematical Association of America, Washington, DC.
Novak, J. and Gowin, D. B.: 1984,Learning How To Learn, Cambridge University Press, Cambridge.
Owens, J. E.: 1992, ‘Preservice secondary mathematics teachers' constructs of mathematics and mathematics teaching: Four case studies’, manuscript prepared for the Contributed Paper Session, Research in Undergraduate Education, Joint Annual Meeting of the American Mathematical Society and the Mathematical Association of America, Baltimore, MD.
Radford, L.: 1990, ‘Organisations deductives et demonstration’,Proceedings of the Fourteenth PME Conference, Vol. I, Mexico, 85–92.
Schoenfeld, A. H.: 1985,Mathematical Problem Solving, Academic Press, Orlando.
Selden, J., Selden, A., and Mason, A.: 1994 ‘ Even good calculus students can't solve nonroutine problems’, in Kaput, J. and Dubinsky, E. (eds.),Undergraduate Mathematics Learning: Preliminary Analyses and Results, MAA Notes, Mathematical Association of America, Washington, DC, pp. 17–26.
Tall, D.: 1979, ‘Cognitive aspects of proof, with special reference to √2’,Proceedings of the Third International Conference for the Psychology of Mathematics Education, Warwick, UK, 203–205.
Tall, D.: 1991, ‘The psychology of advanced mathematical thinking’, in D. Tall (ed.),Advanced Mathematical Thinking, Mathematics Education Library, Kluwer Academic Publishers, Dordrecht, pp. 3–21.
Tall, D. and Vinner, S.: 1981, ‘ Concept image and concept definition with particular reference to limits and continuity’,Educational Studies in Mathematics 12(2), 151–169.
Toulmin, S. E.: 1964,The Uses of Argument, Cambridge University Press, Cambridge, UK.
Vergnaud G.: 1990, ‘Epistemology and psychology of mathematics education’, in P. Nesher and J. Kilpatrick (eds.),Mathematics and Cognition: A Research Synthesis by the International Group for the Psychology of Mathematics Education, ICMI Study Series, Cambridge University Press, Cambridge, pp. 14–30.
Vinner, S.: 1991, ‘The role of definitions in the teaching and learning of mathematics’, in D. Tall (ed.),Advanced Mathematical Thinking, Mathematics Education Library, Kluwer Academic Publishers, Dordrecht, pp. 65–81.
Vinner, S. and Hershkowitz, R.: 1980, ‘Concept images and common cognitive paths in the development of some simple geometrical concepts’,Proceedings of the Fourth International Conference for the Psychology of Mathematics Education, Berkeley, CA, 177–184.
Yackel, E., Cobb, P., and Wood, T.: 1991, ‘Small-group interactions as a source of learning opportunities in second-grade mathematics’,Journal for Research in Mathematics Education 22(5), 390–408.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Selden, J., Selden, A. Unpacking the logic of mathematical statements. Educ Stud Math 29, 123–151 (1995). https://doi.org/10.1007/BF01274210
Issue Date:
DOI: https://doi.org/10.1007/BF01274210