NotesFAQContact Us
Search Tips
Peer reviewed Peer reviewed
Direct linkDirect link
ERIC Number: EJ869405
Record Type: Journal
Publication Date: 2009-Dec
Pages: 5
Abstractor: As Provided
Reference Count: 0
ISSN: ISSN-0732-3123
An Alternative Framework to Evaluate Proof Productions: A Reply to Alcock and Inglis
Weber, Keith; Mejia-Ramos, Juan Pablo
Journal of Mathematical Behavior, v28 n4 p212-216 Dec 2009
In a recent paper, Alcock and Inglis (in press) noted a distinction between the way that Weber (in press) and they defined syntactic and semantic proof productions. Weber argued that "a syntactic proof production occurs when one works predominantly within the representation system of proof [...] Alternatively, a semantic proof production occurs when much of the prover's work takes place [outside] the representation system of proof". Alternatively, Alcock and Inglis cited their definition that "during a syntactic proof production, the prover works entirely... within the representation system of proof" whereas "during a semantic proof production, the prover works, at least in part, in a different representation system" (Alcock & Inglis, 2008). The authors then illustrated how using different definitions can lead to different classifications of some proof productions and argue that their characterization is preferable. Alcock and Inglis (in press) contended that by focusing on students' ability to translate between representation systems, their terminology captures the fundamental aspect of this distinction, while at the same time remaining "sufficiently well-specified for classifying all existing published case-studies on undergraduate proof production" and "useful for analyzing large-scale datasets" (a test that they believed should be pivotal in determining which framework to adopt). Alcock and Inglis further argued that, in contrast, Weber's (in press) set of definitions relied upon "an as yet unspecified metric for gauging the amount of work conducted in each representation system" (making it hard to employ in the analysis of large datasets) and failed to recognize an important asymmetry between the status of representation systems involved in undergraduate proof productions.
Elsevier. 6277 Sea Harbor Drive, Orlando, FL 32887-4800. Tel: 877-839-7126; Tel: 407-345-4020; Fax: 407-363-1354; e-mail:; Web site:
Publication Type: Journal Articles; Opinion Papers
Education Level: Higher Education
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A