LAUSR

Abstract Grounded and embodied theories of cognition suggest that both language and the body play crucial roles in grounding higher-order thought. This paper investigates how particular forms of speech and gesture function together to support abstract thought in mathematical proof construction. We use computerized text analysis software to evaluate how speech patterns support valid proof construction for two different tasks, and we use gesture analysis to investigate how dynamic gestures—those gestures that depict and transform mathematical objects—further support proof practices above and beyond speech patterns. We also evaluate the degree to which speech and gesture convey distinct information about mathematical reasoning during proving. Dynamic gestures and speech indicating logical inference support valid proof construction, and both dynamic gestures and speech uniquely predict variance in valid proof construction. Thus, dynamic gestures and speech each make separate and important contributions to the formulation of mathematical arguments, and both modalities can convey elements of students’ understanding to teachers and researchers.