Definition
Mathematical logic generally addresses questions of reference and validity of inference. Questions of reference concern how statements in language refer to mathematical objects and under what conditions those statements are true or false.
Questions of inference concern how various statements in language are related to each other – such as equivalence, negation, and implication – and how statements in language may be verified by arguments, i.e., standards of proof.
Characteristics
Modern logic is in many ways the study of formal languages, which have been developed to deal with questions of reference and inference by taking in consideration the relationships between syntax and semantics. Part of the study of logic in undergraduate mathematics education should include students’ learning of such formal systems in model theory, proof theory, or computability. However, we are aware of no research-based evidence on the teaching and learning of such topics. Current research also...
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Barrier T (2011) Les pratiques langagières de validation des étudiants en analyse réelle. Recherches en Didactique des Mathématiques 31(3):259–290
Dawkins PC, Cook JP (2017) Guiding reinvention of conventional tools of mathematical logic: students’ reasoning about mathematical disjunctions. Educ Stud Math 94(3):241–256. https://doi.org/10.1007/s10649-016-9722-7
Dawkins PC, Roh KH (2016) Promoting metalinguistic and Metamathematical reasoning in proof-oriented mathematics courses: a method and a framework. International Journal of Research in Undergraduate Mathematics Education 2(2):197–222
Dubinsky E, 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
Durand-Guerrier V (2008) Truth versus validity in mathematical proof. ZDM 40(3):373–384
Durand-Guerrier V, Arsac G (2005) An epistemological and didactic study of a specific calculus reasoning rule. Educ Stud Math 60(2):149–172
Durand-Guerrier V, Boero P, Douek N, Epp S, Tanguay D (2012) Examining the role of logic in teaching proof. In: Hanna G, de Villiers M (eds) Proof and proving in mathematics education, vol 15, New ICMI study series. Springer, New York, p 369–389
Edwards B, Ward M (2008) The role of mathematical definitions in mathematics and in undergraduate mathematics courses. In: Carlson M, Rasmussen C (eds) Making the connection: research and teaching in undergraduate mathematics education MAA notes #73. Mathematics Association of America, Washington, DC, pp 223–232
Hawthorne C, Rasmussen C (2015) A framework for characterizing students’ thinking about logical statements and truth tables. Int J Math Educ Sci Technol 46(3):337–353
Hub A, Dawkins PC (2018) On the construction of set-based meanings for the truth of mathematical conditionals. J Math Behav 50:90–102
Schroyens W (2010) Logic and/in psychology: the paradoxes of material implication and psychologism in the cognitive science of human reasoning. In: Oaksford M, Chater N (eds) Cognition and conditionals: probability and logic in human thinking. Oxford University Press, Oxford, pp 69–84
Selden J, Selden A (1995) Unpacking the logic of mathematical statements. Educ Stud Math 29:123–151
Stenning K (2002) Seeing reason: image and language in learning to think. Oxford University Press, New York
Thurston WP (1994) On proof and progress in mathematics. Bull Am Math Soc 30(2):161–177
Weber K, Alcock L (2004) Semantic and syntactic proof production. Educ Stud Math 56:209–234
Wilkerson-Jerde MH, Wilensky UJ (2011) How do mathematicians learn math? Resources and acts for constructing and understanding mathematics. Educ Stud Math 78:21–43
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this entry
Cite this entry
Durand-Guerrier, V., Dawkins, P.C. (2020). Logic in University Mathematics Education. In: Lerman, S. (eds) Encyclopedia of Mathematics Education. Springer, Cham. https://doi.org/10.1007/978-3-030-15789-0_100024
Download citation
DOI: https://doi.org/10.1007/978-3-030-15789-0_100024
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-15788-3
Online ISBN: 978-3-030-15789-0
eBook Packages: EducationReference Module Humanities and Social SciencesReference Module Education