Logic in University Mathematics Education

Making UME research accessible and meaningful to the Mathematics community: A Special Issue commentary

“…Also in the area of challenges faced by students as they encounter the requirements of formal mathematical reasoning upon entry in university studies, Zoé Mesnil and Viviane Durand-Guerrier zoom in on one particular topic, the notion of implication in the context of first order predicate calculus, and propose a balance between formal and less formal approaches. Their proposition stands on the shoulders of a confident, well-informed account of theoretical considerations which factor in syntax, semantics and pragmatics (Durand-Guerrier & Dawkins, 2020). We commend the way in which these theoretical considerations are put into direct pedagogical purpose: to identify and analyse students' difficulties (in one case, concerning statements containing the expression "two by two"; in another, proving the convergence of the sum of two convergent sequences).…”