Herbst P. G. (1999)
The role of the teacher: What do the practices associated with two-column proofs say about the possibilities for argumentation?

Paper presented at the AERA 1999 annual meeting (Montréal)
in the context of the symposium "Fostering argumentation in the mathematics class: The role of the teacher". See: Proof Newsletter Janvier/Fevrier 1999.

Abstract:
This presentation offers a structural characterization of a possible customary role of the mathematics teacher in fostering argumentation in the class. This characterization takes the form of a game that the teacher plays against a milieu which includes the student at work. In outlining this game, I seek to describe its stakes, its moves (those that are possible, impossible, legal, etc.), and to a limited extent the actual circumstances of its play. The game has the status of a rational analytic model, namely one that enables the observer to describe and explain some aspects of experience and pose some empirical questions (it is meant neither to account for all that it is involved in the teachers' work nor to propose a normative model). The discussion analyses the case of the two-column proofs format in geometry as a custom of mathematical argumentation that enables one such game for the teacher. The discussion traces some parallels with a possible custom of argumentation (based on conversation or discourse), particularly paying attention to the tools that the teacher has available to help students develop a mathematical rationality. The presentation draws on issues that were pertinent to previous presentations in this symposium&emdash;some of which are restated as part of the argument whose outline is offered below.

© Patricio Herbst

The current work of teachers is deployed within an ideological environment that at the same time promotes mathematics classrooms to be "communities of discourse" and emphasizes the "dialogical nature of mathematics" in particular as related to the construction and validation of mathematical objects (conceptions, propositions, etc.). The ideology tends to identify a linguistic notion of discourse (say, conversation) with an epistemological notion of discourse (as in Foucault 1 , 1972). A rhetorical effect is achieved: The aspects of doing mathematics seen as a historic-social practice of a professional community are thus able to be exported to the context of the class. Such an identification is ideological: It serves the reformers to act on teachers (the material agents of the reform) by making them believe that both things go hand in hand and by establishing a believable cause-effect mechanism. The identification of a historical and disciplinary dialogue with a contextualised conversation is helpful to make believe that if dialogue happens in the class, the dialogic nature of mathematics will also happen. I will not contest this relatively unoriginal method of administrative persuasion at the level of action, but address the theoretical problems that such mechanism presents for the conditions of existence and work of the mathematics teacher.2

The mathematical register (as the kind of language used in the professional practices&emdash;oral and written&emdash;of practicing mathematicians; Halliday, 1978) is a functional variation of natural language. Beside having its own words for objects explicitly constructed in the doing of mathematics (e.g., ellipse, line integral, cardinal number, etc.), the mathematical register uses elements of natural language in a specialized way&emdash;yet, a way not explicitly spelled out&emdash;(e.g., and, need, clearly, proof, know, can, and so on, claim, true, etc.). In the class, where at least the student is not a competent speaker of the mathematical register, his or her competence in natural language enables him or her to live the fiction of "speaking mathematics" at the same time that he or she becomes competent in this new way of speaking: Those non-technical but specialized elements of speech are used in non-specialized ways so that mathematical discussions can happen, but, as a result, the meaning that they acquire in the actual use becomes ambiguous&emdash;they neither have the precise meanings that pertain to the mathematical register nor all the possible meanings that pertain to ordinary language, but a relative specialization of the latter whose disambiguation depends on the specific work being done.

"Proof" is needed to construct the objects3 of mathematical knowledge. Yet, for this construction to be meaningful, proof must relate to students' experiences in arguing. Those ordinary experiences are different from the mathematical experience in at least two aspects: (1) The nature of the objects of discourse and (2) the criteria for the organization of those objects . But again: The use of everyday argumentation in the construction of the mathematical objects permits this construction to happen (in the sense that it permits the "concepts" to come to a functional existence) and at the same time endows those objects with a fundamental ambiguity regarding their nature (See also Legrand, 1988).

The assumptions made in the previous paragraphs help describe the possible "mathematical" work of the student both in a productive and in a restrictive aspect: Ordinary language and ordinary argumentation are conditions of possibility for the student to speak mathematically and about mathematics, and they are also conditions for ambiguity and error. In other words, whereas these features (everyday argumentation, ordinary language) enable a mathematical game of the student, they do not guarantee the mathematical nature of the student's game.

To the extent that the classroom is not only responsive to the ideological conditions spelled out in the first paragraph but that it must also respond in continuity with its own past&emdash;namely, the mathematics to be taught and learn is "basically" the same&emdash;one can safely say that the average teacher is not just an agent of the ideology but also its judge. Or, that the teacher cannot refuse its duty of epistemological vigilance (at least in conformity with what was normative in the past&emdash;however limited this can be). For very interesting examples of how these tensions play out in the lives of teachers&emdash;in the form of dilemmas&emdash;see Ball, 1993, and Chazan & Ball, 1995.

Therefore, except for those few that will believe in the scientific ineluctability of the "discourse-implies-mathematics"6 method and so be willing to silently accept ordinary talk as mathematical argumentation, the teachers that hang on to their role will not just afford opportunities for argumentation to happen and hope that it becomes mathematical argumentation: Teachers will act on the system student-milieu to maximize the chances for this argumentation to be "mathematical". Of course, like those teachers in Diénes time, those actions may or may not be meaning-preserving. (cf. the Jourdain effect, Brousseau, 1997, chapter 1)

Based on the points mentioned, I would like to argue that the conceptualization of the student's game is not enough to describe the possibility and the functioning of mathematical argumentation in the class. There is a theoretical necessity to conceptualize a game for the teacher&emdash;a game that is mathematical in a different sense than the game of the student. This game must confront the teacher with the student's activity (i.e., with the system of interactions student-milieu) and must seek the dual stake of enabling the student to participate in mathematical argumentation and ensuring the mathematical nature of this argumentation. Part of my task today is to analyze some alternative examples of "actual" strategies (or "methods") that illustrate the complexities of this theoretical game of the teacher: To do so amounts to argue for the plausibility of the proposition above.

To describe a game will mean to describe the possible moves of the teacher, the possible retroactions from its antagonist system, the possible rules for interaction, etc. As it is apparent, at the exact moment when the game of the teacher takes place, the game of the student (with a related but different goal, and a related but different antagonist) is also taking place. The complexities of integrating these two games exceed what we can discuss in this symposium: To discuss the role of the teacher thus means a radical simplification of the modeling task, namely that of taking the structural perspective of the teacher&emdash;and making some assumptions on the actual game of the student, assumptions that forgo the engagement in the actual problem at hand and the process of negotiation of a contract that makes both games materially possible at the same time7. In our discussion the work of the student is pertinent as an "average milieu" for the work of the teacher. The problem of the role of the teacher seen in this way belongs to a discussion of the custom of a class (Balacheff, 1988): What are the tools and norms that the teacher can naturally and legitimately use in order to claim the dual stake8 of his or her game? What are the structural and functional characteristics of a custom of argumentation that can be deemed viable from the perspective of the teacher, given the structural conditions and constraints annotated before? Part of the task is to discuss if and how such a custom can be viable.

Proof in the history of geometry teaching in the U.S.A.
A traditional solution to that problem (outside the ideological constraints described in the first paragraph) has been the separation of proof from the bulk of classroom "mathematical" activity&emdash;not just from the strategies by which classroom productions become a legitimate part of "what is known" but also from the strategies with which those productions are achieved. The history of the teaching of geometry in the United States of America affords us a great example. As a result of the challenge to the traditional study of geometry (seen as the memorization of the Euclidean canon) and the various attempts to determine a curriculum, the study of geometry eventually became separated into two courses: An intuitive course reserved to junior high school, that heavily depended on physical drawing and measuring, and a demonstrative course reserved to high school, that heavily depended on axiomatization and deductive logic. The word proof (which also identified an object of study 9) was reserved to the high school course whereas many of the propositions to be proved and almost all of the constructions to be made were known through other means in the junior high school course. The rhetoric of the 30's (when high school geometry ran the risk of being made optional 10) permits one to assert that the high school course would serve to demonstrate the logical organization of a host of already known objects11. The high school geometry course was not a place to argue whether a given object existed or not, or whether a given property was true or not, even less to discuss the tensions between the strength and the informational load of a theorem, or the tensions between productivity and adequacy of an axiomatic system12. The custom of the demonstrative geometry course proceeded on the basis of imposing a mathematical rationality on objects that were of the order of everyday experience13: Objects of knowledge constructed through an empirical rationality or even objects of discourse that sprang from the eclectic sources of ordinary language, were unproblematically turned into mathematical objects of discourse and made accountable to a mathematical rationality. It is that lack of problematization in the transition between the two rationalities what one questions.

The two-column proof format.
That historical context is pertinent background information for us to understand the importance (the usefulness) of the two-column proof format in enabling a game for the student and a game for the teacher&emdash;games that, without the two-column proof format, would risk being devoid of stakes for the student and of rules for the teacher. The two-column proof format (in similar ways as the long-division scheme for division) solved both problems at once: The stake of the student became the learning of a procedure whereas the standard nature of the procedure permitted a high degree of algorithmisation of the teaching of demonstrative geometry (and of how to do proofs). In particular, the two-column format permitted to establish a generic game for the teacher that would enable he or she to claim the dual stake of having the student do proofs that could "honestly" be called mathematical proofs. This generic game for the teacher would be based on implicit rules that would stipulate14 for example that the teacher (or the textbook) would make all postulates and definitions needed for a proof available before the proof was to be attempted or that the auxiliary constructions (those that were not tautological derivations of the givens or the axioms15) would be given through a picture or a hint. Those rules are to be understood as necessary actions expected from the teacher to enable the student to prove&emdash;the falsifiability of this claim is not found in the possibility that one student might be able to invent a postulate or prove without a figure, but in the possibility that the teacher would consider fair not to afford those elements and still expect students to produce the proof16. Now, rules like those would arguably not had been possible without the separation of proof from the construction of the mathematical objects (as indicated above): In Herbst (1999), I have argued that the game of the student established around the use of two-column proofs placed bounds on the student's conceptions of geometry, proof, and reasoning&emdash;the two-column proof could therefore work only on the basis of applying a mathematical rationality on everyday objects. But of course, such a thing was an intellectually honest way to constitute a custom of mathematical argumentation, because anyway the proofs produced had at least the status of proof for the educated observer (and they could transfer… to a carefully manipulated set of exercises!).

Could it be otherwise?
Even though we are able to see that the student's performance of correct two-column proofs may not mean that the student is engaging in mathematical argumentation, this is not enough to label the two-column proof practice in geometry teaching as a pedagogical mistake. The fact that the two-column proof format was a tool that enabled a game for the teacher cannot be ignored. We may be able to see that there are epistemological problems in the student's game but, in order to know whether those epistemological problems are a necessary feature of the didactic system, we cannot just impose another more authentic (from our perspective) way of arguing hoping that the work of the student will become more mathematical. We need to ask (from the perspective of the teacher) whether it could be otherwise: To be clear, the question can be posed apropos of interventions that try other ways of fostering argumentation in the mathematics class, but the criterion cannot be one of just allowing the possibility for the student's game to be mathematical (from the student's perspective)&emdash;one must also ask whether the game of the teacher is enabled in such a way that the teacher can (has the tools to) ensure that the student's game is a mathematical game (from the teacher's perspective). I propose to ask these questions about "argumentation" in the mathematics class.

Argumentation and the custom of a mathematics class.
There are theoretical as well as practical reasons to address "argumentation" as an element of the custom of a mathematics class, rather than as an element of the didactical contract 17 negotiated apropos of a specific activity. The custom is the set of norms that constitute the relation between teacher, student, and the mathematics to be taught and learned in a course; the custom serves as a background against which a particular didactical contract can be established and negotiated (see Balacheff, 1988; Herbst, 1998, chapter 5)18. From a theoretical perspective, the need for a rationality, for a specialized way of knowing, is only a problem for a culture (i.e., for a class) that recurrently encounters the problem of knowing (and of accumulating knowledge for some purposes): Although one can only illustrate and analyze in detail the problems of argumentation and proof by recurring to specific situations, those situations only put a rationality at stake insofar as they are seen as part of a broader knowing enterprise (Lakatos, 1976; Balacheff, 1991, 1995).19 The existence of a "teaching method" based on creating in the class a regime similar to that of a scientific community has been at the root of developing the theoretical notion of custom (see Legrand, 1988; Alibert & Thomas, 1991). From a practical perspective, the ideological discourse that is addressed to teachers20 characterizes argumentation as an object of some generality which is only illustrated by particular situations or anecdotes: Teachers are expected to get the gist of it and reproduce it not just in the context of the situations that served as illustration but in many others. If those expectations are reasonable, it would be good to ask what exactly is the gist of argumentation that teachers would be getting and what are the elements that permit a reasonable reproduction across specific situations.

Research into reform-minded mathematics classes, using tools from interactionism, phenomenology, and discourse analysis, has succeeded in showing a-posteriori how argumentation is accomplished. Constructs like formats of argumentation (Krummheuer, 1995, 1998), sociomathematical norms (Voigt, 1995; Yackel & Cobb, 1996), or conversational implicatures (Forman & Larreamendy, 1998) are useful to describe the contingencies of lessons (what eventually happened in those lessons). The value of those descriptions is still to be seen: If they are to inform the theoretical21 or practical22 problems related to the role of the teacher in fostering argumentation, they should also show success beyond the contingency (namely, they should also be useful to distinguish what necessarily happens and what necessarily does not happen, from what "just" happened). In particular, discourse analysis alone cannot account for the "legality" of the teacher's moves and as a result does not distinguish between meanings that are mathematical and meanings that are didactical. A great example of such ambiguity is found in the dialogue between Mr. K and Donna in Yackel and Cobb (1996)23. As the mathematical rationality remains identified with the teacher's rationality, it remains confounded whether the student's opportunity to learn is an opportunity to learn to argue mathematically or to learn to agree with the teacher. We know that the teacher must act and that indeed his or her actions may respond to the responsibility to "represent the discipline of mathematics" (Voigt, 1995, p. 197), yet we also know that this action can be more or less adapted to the construction of a mathematical rationality. The teacher may push for the mathematics but the action of pushing may make the whole situation mean something different from the perspective of that who is not mathematically educated (i.e. the student).

The combination of analyses of discourse and analysis of interaction show evidence of two fundamental forms of "participation" of the teacher: On the one hand the teacher is a conversational partner for the student, and on the other hand the teacher is the organizer of a conversation24 in the class25. The analysis of discourse shows that teachers use of selective hearing, return a question to the fore, repeat a statement, revoice, etc.&emdash;strategies that are rarely used by students when responding to the teacher or to other students. Those conversational strategies are linguistic tools that belong in the milieu of the teacher and help establish a game for the teacher. But as those strategies are used within the flow of the "mathematical" conversation with the student (i.e., they constitute part of the milieu of the student), they are also constitutive of the meaning of the student's game. In an extreme, the situation could become a Socratic dialogue: A fluid conversation where the pertinent knowledge does come from the voice of the student, whose activity is however reduced to the detection of verbal cues in the turns of the teacher26. Does "argumentation" offer epistemological tools that can help the teacher control that tension between maintaining a conversation about the student's mathematics and orienting the conversation toward the mathematics to be learned?

The two column proof format as an example:
The material realizations of the two-column proof format could be represented as a turn-taking process as well&emdash;and in fact, classroom observations show that this format was an excellent device for the teacher to organize the participation of many students in the production of a single argument. The format is more than just a turn-taking device, however: It has "mathematical" elements (e.g., statements and reasons, what can be used as a reason) that bound the content of the turns that can be taken not just by the student, but also by the teacher. As the teacher's turns are also accountable to the format, their content is less idiosyncratic&emdash;whatever the teacher says should be potentially available to anybody else to be said. The actions of the teacher to organize a successful game of producing a correct two-column proof become a lot more subtle&emdash;in fact, detached from his or her actual participation in the dialogue through which the proof is produced. For example, in an event in which the class had to prove the triangle sum theorem, the figure given would include an auxiliary parallel line&emdash;after the proof was done the teacher commented

The best thing we can do is, first of all, we've got to keep in mind where we are headed. Okay. First thing to do is to create a plan. Now there was a stroke of genius here, and the stroke of genius was putting this line BD there. Okay? That is not something that is super obvious to do. Okay? I think that's kind of why they [the textbook authors] gave it to you.

Of course, the former example does not mean advocacy for the two-column proof format, which has many other epistemological problems already discussed. The former example means to show how an implicit division of the teacher's labor serves to furnish an epistemological control on his or her discursive actions in relation to the proving activity: From outside the actual proving task, the teacher "can know as a teacher" while when proving he or she "can only know" as a student would. Such a division of labor is likely related to the divorce between proving and knowing in the work of the student, so it is not in that sense that it illustrates how to think of this epistemological problem: The two-column proof format is an example insofar as it shows a case of an objective27 tool for the epistemological control of the teacher's discourse.

In "argumentation," the epistemological controls on the participation of the teacher seem to depend completely on the idiosyncracy of the teacher. Few teachers identify those controls as critical sites for the conflict of the mathematics of the teacher and of the student, and strive to cope with the dilemmas that such a conflict entails into "what to say," "what to do," and "what is Plan B." (See Ball, 1993; Chazan & Ball, 1995; and Chazan's presentation in this symposium). To identify a dilemma and to observe how they solve it is of interest insofar as those observations can enable one to spot at generic elements of the argumentation game and the role(s) of the teacher.

Thus far we have two rather extreme customs of mathematical argumentation. The custom defined around the two-column proof format is established on a compartmentalization of knowledge practices&emdash;a compartmentalization that makes it difficult for "mathematical proof" to be the discursive strategy that work-as-proof (in the class's discourse). The custom defined around "everyday argumentation" is established on an aggregation of discursive practices&emdash;an aggregation that makes it difficult for whatever strategies which work as proof in the class's discourse to have a mathematical meaning. The first custom rests on a quasi-algorithmic role of the teacher, the second custom in a quasi-idiosyncratic role of the teacher. The second is more ideologically viable at the level of the voluntarism of reformers, whereas the first at least satisfies the (culturally reproductive) mathematical values of some teachers.

What are the elements available to the teacher that permit him or her to capitalize on the student's abilities in everyday argumentation and at the same time ensure the mathematical character28 of the argumentation accomplished? The custom proposed by Legrand (1988) and others, the "class as a scientific community," relies on some explicit and overarching rules such as "it is okay to hold the opinion of a minority" or "one counterexample is sufficient to falsify a general statement." As Balacheff (1988) indicated, the existence of those overarching rules can foster the dialectic of proofs and refutations, but also stop it: A student can legally refuse being convinced or it may be deemed illegal to adapt a general statement so that it can survive a counterexample. Whereas those rules permit the establishment of a game for the student, the student's construction of a new rationality depends on the negotiation of conditions under which a break in that game can be accommodated. The teacher faces a paradoxical situation: If she always abides by the same rules that the students do she may be renouncing to her responsibility to perturb the old rationality, but if she explicitly breaks those rules using her prerogatives as a teacher she risks to tint the new rationality of an "adapting to the teacher"-meaning.

It seems to me that the paradox previously sketched is not a necessary characteristic of the role of the teacher, unless one insists on the assumption that the tools available to the teacher were to be of a general order and a permanent status (such as the rules in Legrand's method). Again there are things that we can learn from the history of the study of plane geometry in America: In the beginning of the century, students were encouraged to use the analytic method 29 to find solutions to construction problems&emdash;it was one of the tricks of the trade that was available for teacher and student in some contexts. In the daily works of professional mathematicians (working in rather specialized areas) there are canonical tools that come to their mind when they are attempting a new problem&emdash;a professional memory of information and tools that pertains to their specific area, a memory that participants develop by working in that particular area. Brousseau and Centeno (1991) have suggested the idea of a didactical memory of the teacher and provided a provisional definition as follows:

The (didactical) memory of the teacher is that which orients the modification of his or her decisions in relation to the past school experiences shared with his or her students, however without changing his or her system of decision. (Brousseau & Centeno, p. 172, my translation).

To be clear, the notion of the didactical memory does not just refer to what the teacher can personally remember, but to what reasonably belongs to the shared past experiences of the whole class that she can publicly remember (in fact claiming that anybody could remember) so as to use it in the present30. I would like to suggest that the didactical memory plays an analogous role as that which the tricks of the trade (in general, but I count on the fact that they can be spelled out in some detail) play in a specific area of mathematical research for its practitioners.

The didactical memory is not just a memory of the institutionalized knowledge (such as 'what is in the previous chapters of the textbook') but can include items that have various statuses (e.g., mathematics knowings, implicit models of action, anecdotal experience of activities). I claim that a custom of argumentation (one that can hope to progress toward mathematical argumentation with the hope of not conflating it with the imposition of the teacher's preferred form of argumentation) would be based on a carefully developed and organized didactical memory.

The custom based on the two-column proof format shows us a system with very little memory: It contains, of course, the format itself, plus the institutionalized notations, theorems, and axioms, but for example, the answers to proof-exercises posed to students are not regular elements of this memory 31. It is interesting to ask why that could be the case, because the participants are likely to recall more than what they would normally recall publicly&emdash;what functions does such a little memory serve in the system of geometric proof production and in the geometry course in general?32

The teacher's didactic memory is a tool that the teacher can use to develop a mathematical rationality out of an everyday rationality. I will show a vignette that illustrate this.

Gene's algebra class and the equation of the horizontal line.33
The students in Gene's algebra class had learned how to find the slope-intercept equation of a line given two points. In this event, Gene asks them to find the equation of a horizontal line. To help them deduce the equation using the procedure they already know, Gene draws a horizontal lineæparallel to the x-axis through the point of coordinates (0, 3)æand leads them to pick two points on the line and calculate the slope as "rise over run." The following dialogue ensues:

Gene

So the slope is zero. What's the y-intercept? What's the b value?

Bel

Three.

Gene

Three. Okay. So we're going to write it in now, y is equal to zero x plus three. [[Gene writes y = 0x + 3.]] Zero times x is...

Bel

Zero.

Gene

Zero. So we don't have to write that at all. [[Gene writes y = 3.]] Y equal three.

Cel

So the equation y equals m x plus b...

Gene

Y equals some number. Yes, the equation is always y equals m x plus b, but if it's a horizontal line, it doesn't rise at all, so there is … the slope is zero. That term just disappears; zero times x is still zero…

Cel

So the answer is y equals zero x plus three?

Gene

True. It can be y equal any number. And if you want to have a zero extra in there, that's fine. If you think that will help you remember, that's fine.

It could be argued that through the whole event Gene and the students have been talking about different things: Gene has been using a particular line as a generic example to find the equation for any horizontal line, but the students have been finding the equation for that particular horizontal line. In the end, however, it seems to be evident to Gene that the necessary fact that the slope is zero is seen at least by some students as a mere accident of the general formula. In other words, for some students the slope is zero because it happens to come out that way when you do the calculations with selected points on that particular line.34 From the perspective of the mathematically educated teacher, it is clear that y = 0.x + 3 and y = 3 are equivalent: Gene could say that by allowing the proposed response, one is not doing anything wrong, just easing the students' way.35 From an observer's perspective the negotiation of the validity of the student's production has explicitly avoided addressing the meaning of the mathematical objects the class was talking about and has resorted to negotiating the conditions for the teacher to accept a convenient answer.36 The question that one should ask here is whether it could have been otherwise? Would have it been possible to enable the student to work without eventually having to accept the ambiguity of the object one is dealing with and without making a tour de force to resolve the ambiguity37 ?

What are the elements of the didactical memory that are drawn upon to make that interaction possible? An evident one38 is the equation of the line through two points&emdash;understood as a joint labor that assumes the teacher to give two ordered pairs and the student to use them to produce the slope and the y-intercept of the line through those two points. Moreover, in that form of labor, a line "exists" because there are two points that determine it. The problem of finding the equation of the horizontal line is uninterpretable in that context: Gene's move of fixing a line and picking two points seems a necessary move to enable the student's game. The possibility for Gene to bring up the necessity of the slope of a constant line to be 0 (as opposed to the result of a calculation that yields slope 0 for "this line parallel to X through 3") is contingent on the possibility to keep in memory the transition between the original problem and Gene's reformulation of it. But whereas the distinction between these two may be clear to Gene personally, they are for all practical purposes identical in the custom of that class.

Let's imagine that before the event reported and after learning the equation of the line through two points, the class had worked on the following activity:

Pick any point that is not on the axes and trace four lines that pass through that point. Obtain their equations. Could you trace a line through the same point so that its slope is smaller than the ones you traced before? …one whose slope was negative? …one whose slope was 0? …one whose slope was 5?

A priori such an activity would aim at making available to memory as an implicit model of action the relation between order among slopes and betweenness among lines (use the knowledge of one to act on the other&emdash;even though some actual affirmative answers may be difficult to get) and as anecdote the independence of that model of action from the point chosen to begin with. On the assumption that this activity has been done39, with varying degrees of success, I ask the same question again: Would have it been possible for Gene to enable the student to work in the question (What is the equation of a horizontal line?) without eventually having to accept the ambiguity of the object one is dealing with and without making a tour de force to resolve the ambiguity? It seems to me that the teacher could refer to the previous activity and ask "what is the equation of a horizontal line in your figure?" and draw on the fact that everybody's answer consists of a 0-slope equation to make the point that the slope is independent of the points picked. The same activity could be used to ease the transition between the conventions y = 0x + b and y = b. (For example by asking students to determine whose horizontal line is farther apart from the x-axis without showing their graphs&emdash;the important thing would be to have them say how they know that).

The existence of that previous activity in the didactic memory can help the teacher avoid the ambiguity of which object one is talking about (any horizontal line or this line which happens to be horizontal) therefore rendering the 0-slope as a property of the line rather than as an outcome of the calculation with the coordinates of the points picked. But more importantly, because the activity is in the didactic memory, a sentence like "whenever the line is horizontal you don't need to calculate the slope" may be seen more as a conclusion available to anybody than as an arbitrary direction from the teacher bearing on what to do when.40

The first part of this paper intended to show a way to conceptualize (model) the role of the teacher in fostering mathematical argumentation in the class. In the last paragraphs I elaborated on and illustrated how the didactical memory of the teacher can be an epistemological tool for the teacher to increase the probability that the argumentation game of the student can be mathematical. There may be better illustrations of this and there may be other tools that can help the teacher accomplish that job, but the important point is to that the viability of a custom of mathematical argumentation in a mathematics class relies on the existence and availability for the teacher of tools of that kind: Tools that can be used by the teacher to enable the student's arguing and to ensure the mathematical nature of those arguments.

Acknowledgement : Thanks to Humberto Alagia for his comments on a previous version.

Notes

1. "The term discourse can be defined as the group of statements that belong to a single system of formation" (Foucault, 1972, p. 107). [Back]
2. To be clear, to indicate that such a method of administrative persuasion does not go without question, does not amount to deny or support its practical convenience&emdash;this is not what I am talking about. This discussion attempts not to praise or judge the moral values present in the intentions of the reformers or the anecdotal success or failure of some practitioners. [
Back]
3. Objects is used here in a broad sense. A theorem can on the one hand be seen as a property of an object, but to the extent that it is an object of knowledge and that can be objectivated as a singular tool to deal with things it is also an object. Thus I use objects as shorthand for objects of knowledge, those that are constructed and used within mathematical discourse that Chevallard (1991) calls notions mathematiques. A theorem is thus not just a property of the entities of which it predicates, it is also a complementarity between its official statement and its meanings (occassions of use, restatements, weaker versions, stronger versions that are false, etc.&emdash;think the theorem of the implicit function as saying "when and where you can solve for y"). [
Back]
4. Mathematical practice deals with objects that are complementarily constituted by a dialectic between concepts and conceptions&emdash;the latter giving meaning to the former, but the former not being reducible to any or all of the latter. (See Balacheff, 1995; Otte, 1998, 1999; see also Thurston's example of the concept of derivative and its several conceptions, 1995). Ordinary conversation seldom seeks for objects that supersede the context of speech, but even if such is the case, the interest in general objects is always accountable to each of the contexts of application. [
Back]
5. In particular the tension between information and knowledge. For example, from a mathematical perspective it is better to define a parallelogram as a quadrilateral that has central symmetry than to say that it is a quadrilateral whose diagonals cross at their midpoints and whose opposite sides are parallel and congruent and whose opposite angles are congruent (all of these things are implied by the first definition, so one does not need to say them!); however, if parallelograms would ever be sought by the police, the second definition would be a lot more appreciated for their file. Moreover, everyday discourse does not pose the problem of organization of knowledge beyond the organization of natural language (and in this sense, non-romance languages like English are less adapted to open the former problem through a discussion of the latter). [
Back]
6. If such a thing exists. I am purposefully caricaturestic here, as I'm not necessarily alluding to any specific "method" out there but to all uses of "argumentation," "discourse," "conversations," "discussions," and the like. [
Back]
7. But this simplification is instrumental to address that process of negotiation, as I have shown in Herbst (1998). The separate discussions of the games of the student and of the teacher produce the "goods" that can bear in the negotiation of the didactical contract. (See also Margolinas, 1994, 1995, 1997). [
Back]
8. Enabling the student to participate in mathematical argumentation and ensuring the mathematical nature of this argumentation. [
Back]
9. A skill to be mastered. It is important, although commonplace, to indicate that for mainstream professional mathematicians, proof is not an object of study but a tool used to study mathematics (see Chevallard, 1991; Thurston, 1994, Rav, 1999). [
Back]
10. Herbst (1999), Stanic (1986), Hofstadter (1968). [
Back]
11. Euclid's Elements, which to some extent also organized the geometrical knowledge of the time, were founded on a philosophical project that imposed some conditions and constraints on the textual construction of the geometric objects. Hence, the Pythagorean theorem is proved in an original and complex way as an assertion about equivalent areas, whereas the theory of proportions (that assuming more could have furnished a simpler proof and establish the theorem as an assertion about lenghts) is developed later. [
Back]
12. Euclid's delay in using the parallel postulate permits one to believe that it was of interest for him to see how far he could go in producing results without using the postulate, in spite of the apparent fact that the geometric knowledge he was trying to organize had assumed the existence of a unique parallel. [
Back]
13. This is apparent in Fawcett's (1938) attempt to apply a method based on "the nature of proof" to ordinary discourse. See also Herbst (1999) and Bennett et al. (1938). [
Back]
14. Needless to say, these rules are interpretive constructs of the observer and their "reality" is only that of the rational model: They are viable descriptions of the rules of the game insofar as the game happens as if the players were following these rules. [
Back]
15. Rav (1999) argues that those constructions are at the core of the difference between mathematical proofs and logical derivations. [
Back]
16. In Herbst (1998) I have outlined an experiment where this falsifiable proposition can be studied empirically. [
Back]
17. The didactical contract is understood here as the locally negotiated rules that permit (1) the teacher's transfer of responsibility for the engagement in an activity to the student, or (2) the interpretation by the teacher of the student's actions and productions (see Balacheff, 1988; Brousseau, 1997, chapter 5). [
Back]
18. An annotated English translation of Balacheff's original article on contract and custom is forthcoming in The Mathematics Educator. [
Back]
19. A fundamental merit of Balacheff's model of conceptions is to spell out the relation between conceptions and validation structures. It permits one to see more clearly (perhaps more operationally) that new conceptions are not just acquired with and against old conceptions, but also that new conceptions put an old rationality on the spot. In the case of the sum of the angles of the triangle (Balacheff, 1991) the geometry based on measurement and construction is put on the spot by the question of determining in advance what this sum should be (the former rationality would cast this question as an empirical problem). [
Back]
20. For example in the NCTM Standards. NCTM (1991, 1998). [
Back]
21. To be clear, these contributions may well already inform theoretical problems that belong to the fields of sociology, linguistics, or human development. Whereas it is clear that they are of great methodological value to research in mathematics education, it is not clear what theoretical problems they inform that are proper of a theory of the practice of mathematics education. [
Back]
22. Unfortunately, it is much easier to reify those constructs into prescriptions for practice (likely unintended by researchers), and thus get the message that in order to foster argumentation the teacher could (must?) revoice or could (must?) use sociomathematical norms. I won't say that those reifications are warranted or that prescriptions of that sort should be sought by research, but the fact that reification happens anyway is an important issue to consider: Such tendency is symptomatic of the need for "handles" that permit teachers to establish a game that they can manage. [
Back]
23. Donna offers six as the answer to a problem, but changes it as a result of the teacher's and other students' comments. Eventually, the accepted answer coincides with Donna's initial answer. Donna protests to the teacher, "I said the six, but you said 'No'" (p. 468). The teacher says, "Donna, I can't make you say your name is Mary. So you should have said, 'Mr. K. Six. And I can prove it to you'" (Yackel and Cobb, 1996, p. 469). By using an analogy with names, the teacher equates Donna's right to mathematical disagreement with a moral obligation to disagree. In particular, this incident leaves the grounds for the public disagreement out of control, as the analogy is quite ill-suited to distinguish mathematical disagreement from personal stubbornness. [
Back]
24. The structural conditions in which such organizing effort happens must not be downplayed by the metaphor of conversation. The teacher is not just the person that gathers people to talk&emdash;he or she is also the one who holds the position that is enabled to do so by education as a social project. [
Back]
25. One could say that the teacher is at the same time part of the milieu of the student as well as a player of his or her own game against another milieu (constituted by the student playing against his or her milieu). For more technical references to the notion of milieu and a model of the structure of the didactical milieu, see Brousseau, 1990; Margolinas, 1995; Herbst, 1998. [
Back]
26. There are interesting phenomena that do not necessarily fall into extremes but display the complexities of this tension. In Herbst (1998) I characterized a phenomenon in which the verbal exchanges between teacher and student are multiplied as the mathematical value of each exchange is reduced: The observer gets the sense of a fluid dialogue with even participation of teacher and student, but a closer look shows that the very few turns that constitute the argument eventually institutionalised are mainly the share of the teacher. I called that an inflationary effect in analogy with economics where the printing of currency is increased to enable people to "have more money" whereas the value of the currency decreases as a result of the same action. [
Back]
27. By objective here I mean both available to teacher and student when talking through a proof, and available to the teacher in the roles of conversational partner and organizer of the conversation. [
Back]
28. This ensuring that I use throughout is a shorthand for "increasing the probability for the argumentation to have a mathematical character." That the argumentation be mathematical is also a relative expression: As students are learning mathematics it is obvious that their arguments will not be the same as those of professional mathematicians, but they could or could not informally draw on the mathematical aspects of what is available for them to work with&emdash;and if this happens one could characterize their argumentation as mathematical (i.e., for a 10 year old, to say that a figure is a rhombus because it looks like one may be less of a mathematical argument than to say that it is a rhombus because it superimposes when you fold it along its two diagonals). [
Back]
29. The analytic method in geometry consisted in assuming that the problem (e.g., to show that a certain construction was possible) had been solved (e.g., draw a picture) and study the final situation to find how to get to it. In more generality, it is a matter of starting from the conclusion and finding chain of sufficient conditions that eventually relate to the givens. [
Back]
30. As Humberto Alagia (personal communication, April 11, 1999) points out the construction and organization of a didactical memory is not just a matter of the will of the teacher: The fact that an activity is an actual part of the past of a class does not entail that it belongs in that memory. Moreover, the way in which elements of the memory become available to the public is not unconstrained either. [
Back]
31. This claim can be explored empirically (in texts and in real practice) and will likely be true in other areas (e.g., factoring numbers or polynomials, doing multi-digit arithmetic) as well, at least in "traditional" texts and teaching: It was customary that each problem of a list of problems assigned to students would be assumed independent unless otherwise indicated&emdash;in which case the reason why they would be brought to bear would be more related to the indication that they were pertinent than to the characteristics of the problem at hand that would claim for them. [
Back]
32. In Herbst (1998) I analyzed an event in which students are proving for the second time the theorem that the sum of the angles of a triangle is 180 degrees. One student offers a "proof" that in a given line asserts that two of the angles of the triangle add to 180 degrees, but such a statement does not publicly raise her doubts on the correctness of the proof: It is important to ask what is a viable explanation for the apparent fact that their knowledge that the theorem was true would not be brought to raise suspicion on the proof. [
Back]
33. This event is part of the data corpus used in Herbst (1998). [
Back]
34. I do not contend that some students effectively hold that psychological belief. I contend that some students participate in such a way that the misunderstanding I point out is available for the teacher and the observer to note. [
Back]
35. There is another issue that is present here and that is of the order of the didactical contract: The need for the answer to the question to preserve the information obtained in the solution. As the equation of the line has a slope and a y-intercept, it is reasonable for the student to write y = 0x + 3. If that 0-slope were seen as a necessity of the horizontality of the line, Gene's recommended substitution of y = 0x +3 by y = 3 could be interpreted more as a change in conventions. [
Back]
36. This observation should also be available to the teacher, when he or she is outside of a situation that presses him or her to negotiate the meaning of the student's production with the student. [
Back]
37. One such tour de force could be for Gene to have said: "No, whenever the line is horizontal you don't need to calculate the slope, you just write the equation of the line as Y equals the y-coordinate of either one of the points on the line." [
Back]
38. I don't say that the equation of the line through two points is an evident element of the didactical memory just because it had been taught and exercised previously. I say it because the problem posed after Gene's reformulation (fixing a horizontal line and two of its points) actually enables the students to work. [
Back]
39. To be clear, the assumption is not just that the activity has been done but also that the activity has become part of the didactical memory (however this has been accomplished, and provided it is possible to do so). [
Back]
40. To be clear, these assertions can and should be studied empirically. [
Back]

References

Alibert D. & Thomas M. (1991). Research on mathematical proof. In D. Tall (Ed.), Advanced mathematical thinking (pp. 215-230). Dordrecht, The Netherlands: Kluwer.
Balacheff N. (1988a). Le contrat et la coutume: Deux registres des interactions didactiques [The contract and the custom: Two registers of didactic interaction]. In C. Laborde (Ed.), Actes du premier colloque franco-allemand de didactique des mathematiques et de l'informatique (pp. 15-26). Grenoble: La Pensée Sauvage.
Balacheff N. (1991). Construction et analyze d'une situation didactique: Le cas de "la somme des angles d'un triangle" [Construction and analysis of a didactic situation: The case of "the sum of the angles of a triangle"]. Journal fur Matematik didaktik, 12, 199-264.
Balacheff N. (1995, March). Conception, connaissance et concept [Conception, knowing, and concept]. Paper presented at the Séminaire de didactique et technologies cognitives en mathématiques, Institut d'Informatique et de Mathématiques Appliquées de Grenoble.
Ball D. L. (1993). With an eye on the mathematical horizon: Dilemmas of teaching elementary school mathematics. The Elementary School Journal, 93, 373-397
Bennett A., Cuthbert D., Fawcett H., Hartung M., Havighurst R., Jablonower J., Kotinsky R., & Thayer V. T. (1938). Mathematics in general education: A report of the Committee on the function of mathematics in general education for the Commission on Secondary School Curriculum. New York: Appleton.
Brousseau G. (1990b). Le contrat didactique: Le milieu. Recherches en Didactique des Mathématiques, 9, 309-336.
Brousseau G. (1997). Theory of didactical situations in mathematics: Didactique des Mathématiques 1970-1990 (N. Balacheff, M. Cooper, R. Sutherland, and V. Warfield, Eds. and Trans.). Dordrecht, The Netherlands: Kluwer.
Brousseau G. & Centeno J. (1991). Rôle de la mémoire didactique de l'enseignant. [The role of the didactical memory of the teacher.] Recherches en Didactique des Mathématiques, 11, 167-210.
Chazan D., & Ball D. (1995). Beyond exhortations not to tell: The teacher's role in discussion-intensive mathematics classes (Craft Paper 95-2 ). East Lansing, MI: National Center for Research on Teacher Learning.
Chevallard Y. (1991). La transposition didactique: Du savoir savant au savoir enseigné [The didactic transposition: From the knowledge of the expert to the knowledge taught] (2nd. ed.). Grenoble: La Pensée Sauvage.
Euclid. (1956). The thirteen books of Euclid's Elements. (T. Heath, Ed.). Cambridge: Cambridge University Press. (Original work published in 300 BC).
Fawcett, H. (1938). The nature of proof&emdash;The National Council of Teachers of Mathematics Thirtheenth Yearbook. New York: Bureau of Publications of Teachers College, Columbia University.
Forman E. & Larreamendy-Joerns J. (1998). Making explicit the implicit: Classroom explanations and conversational implicatures. Mind, Culture, and Activity, 5(2), 105-113.
Foucault M. (1972). The archaeology of knowledge and the discourse on language (A. M. Sheridan Smith, Trans.). New York: Pantheon.
Halliday M. A. K. (1978). Language as a social semiotic: The social interpretation of language and meaning. Baltimore: University Park Press.
Herbst P. (1998). What works as proof in the mathematics class. Unpublished doctoral dissertation. The University of Georgia, Athens.

Herbst P. (1999, January). On proof, the logic of practice of geometry teaching and the two-column proof format: Some historical considerations. Web site of the International Newsletter on the Teaching and Learning of Mathematical Proof.

Hofstadter R. (1962). Anti-intellectualism in American life. New York: Vintage.
Krummheuer G. (1995). The ethnography of argumentation. In P. Cobb & H. Bauersfeld (Eds.), The emergence of mathematical meaning: Interaction in classroom cultures (pp. 229-269). Hillsdale, NJ: Erlbaum.
Krummheuer G. (1998). Formats of argumentation in the mathematics classroom. In H. Steinbring, M. Bartolini-Bussi, and A. Sierpinska (Eds.), Language and communication in the mathematics classroom (pp.223-234). Reston, VA: NCTM.
Lakatos I. (1976). Proofs and refutations: The logic of mathematical discovery (J. Worrall & E. Zahar, Eds.). Cambridge: Cambridge University Press.
Legrand M. (1988). Rationalité et démonstration mathématiques, le rapport de la classe a une communaueté scientifique [Rationality and mathematical proof: The relation between a class and a scientific community]. Recherches en Didactique des Mathématiques, 9, 365-406.
Margolinas C. (1994, February). Jeux de l'eleve et du professor dans une situation complexe [Games of the student and the teacher in a complex situation]. Paper presented at the Séminaire de didactique et technologies cognitives en mathématiques, Institut d'Informatique et de Mathématiques Appliquées de Grenoble.
Margolinas C. (1995). La structuration du milieu et ses apports dans l'analyse a posteriori des situations [The structure of the milieu and its contributions to the a posteriori analysis of situations]. In C. Margolinas (Ed.), Les débats en didactique des mathématiques (pp. 89-102). Grenoble: La Pensée Sauvage.
Margolinas C. (1997). Étude de situations didactiques "ordinaires" à l'aide du concept de milieu: Détermination d'une situation du professeur [Study of "ordinary" didactic situations using the concept of milieu: Determining a situation for the teacher]. In M. Bailleul, C. Comiti, J.-L. Dorier, J.-B. Lagrange, B. Parzysz, & M.-H. Salin (Eds.), Actes de la IX école d'été de didactique des mathématiques (pp. 35-43). Houlgate, France: Associacion pour la Recherche en Didactique des Mathématiques.
Otte M. (1998, January, July, 1999, March). Proof and perception. Web site of the International Newsletter on the Teaching and Learning of Mathematical Proof.: Part I, Part II, Part III.
Rav Y. (1999). Why do we prove theorems? Philosophia Mathematica, 7, 5-41.
Schoenfeld A. (1996). Elements of a model of teaching. Unpublished manuscript. University of California, Berkeley.
Stanic G. M. A. (1986). The growing crisis in mathematics education in the early twentieth century. Journal for Research in Mathematics Education, 17, 190-205.
Thurston W. (1995). On proof and progress in mathematics. For the Learning of Mathematics, 15(1), 29-37.
Voigt J. (1995). Thematic patterns of interaction and sociomathematical norms. In P. Cobb & H. Bauersfeld (Eds.), The emergence of mathematical meaning: Interaction in classroom cultures (pp. 163-201). Hillsdale, NJ: Erlbaum.
Yackel E., & Cobb P. (1996). Sociomathematical norms, argumentation, and autonomy in mathematics. Journal for Research in Mathematics Education, 27, 458-477.