The notion of ‘procept’ began its life as an idea generated by looking at a symbol such as 3+2 both as a process (of addition) and a concept (of sum). It was extended (Gray & Tall, 1994) to include different symbols and different processes that give rise to the same mental object in the mind of a particular individual. Thus 3+2, 4+1, 5, 7-2 can all represent the same procept, involved in composing and decomposing arithmetic processes that give 5.
The definition of procept is given in Gray and Tall (1994) is as follows:
An elementary procept is the amalgam of three components: a process which produces a mathematical object, and a symbol which is used to represent either process or object.
A procept consists of a collection of elementary procepts which have the same object.
The definition caused us a great deal of heart-searching because we wanted it to reflect the observed cognitive reality. In particular we wanted to encompass the growing compressibility of knowledge characteristic of successful mathematicians. Here, not only is a single symbol viewed in a flexible way, but when the same object can be represented symbolically in different ways, these different ways are often seen as different names for the same object. ... In this sense we can talk about the procept 6. It includes the process of counting 6, and a collection of other representations such as 3+3, 4+2, 2+4, 2x3, 8/2, etc. All of these symbols are considered by the child to represent the same object, though obtained through different processes. But it can be decomposed and recomposed in a flexible manner.
Gray & Tall distinguished between the specific procedure as an explicit sequence of steps and the input-output process where different procedures can have the same input-output effect. Thus 'count-all' and 'count-on' as procedures for evaluating 3+2 are different procedures to give the same arithmetic process. In various papers we have studied the procedure-process-procept spectrum of performance and linked it to a growing bifurcation between success and failure that occurs when some individuals cling to familiar procedures whilst others develop the flexibility that comes through the use of procept.
In my more recent papers (2003c, 2004a, 2004b, 2004d below) I have framed the theory of procepts within a wider theory of ‘three worlds of mathematics’, and in particular, I have worked with Anna Watson (subsequently Anna Poynter) on a very important paralled between the focus on the 'effect' of an embodied action and the notion of compression of a procedure into a process and on to a generic embodiment of a procept. This idea arises first in 2002j.
Papers on procepts and related ideas:
1991h (with Eddie Gray), Duality, Ambiguity & Flexibility in Successful Mathematical Thinking, PME 15, Assisi, 2 72-79.
1992d Success and failure in arithmetic and algebra, Mathematics Teaching 1991, Edinburgh University, September 1991, 2-7.
1992h Mathematical Processes and Symbols in the Mind, in Z. A. Karian (ed.) Symbolic Computation in Undergraduate Mathematics Education, MAA Notes 24, Mathematical Association of America, 57-68.
1992k (with Eddie Gray): Success and Failure in Mathematics: Procept and Procedure - A Primary Perspective, Workshop on Mathematics Education and Computers, Taipei National University, April 1992, 209-215.
1992l (with Eddie Gray): Success and Failure in Mathematics: Procept and Procedure - Secondary Mathematics, Workshop on Mathematics Education and Computers, Taipei National University, April 1992, 216-221.
1993b (with Eddie Gray), Success and Failure in Mathematics: The Flexible Meaning of Symbols as Process and Concept, Mathematics Teaching, 142, 6-10.
1994a (with Eddie Gray). Duality, Ambiguity and Flexibility: A Proceptual View of Simple Arithmetic, The Journal for Research in Mathematics Education, 26 (2), 115-141.
1993g Success & Failure in Arithmetic and Algebra, New Directions in Algebra Education, Queensland University of Technology , Brisbane, 232-245.
1995d The Psychology of Symbols and Symbol Manipulators, Proceedings of the Seventh Annual International Conference on Technology in College Mathematics Teaching, Addison-Wesley, 453-457. (longer version as presented)
1997c (with Michael Thomas & Garry Davis), What is the object of the encapsulation of a process?, Proceedings of MERGA.
1997e (with Eddie Gray & Demetra Pitta), The Nature of the Object as an Integral Component of Numerical Processes, Proceedings of PME 21, Finland.
1997f Metaphorical objects in Advanced Mathematical Thinking, International Journal for Computers in Mathematics Education.
2000a (with Michael Thomas, Garry Davis, Eddie Gray, Adrian Simpson), What is the object of the encapsulation of a process?, Journal of Mathematical Behavior, 18 (2), 1-19.
2000b (with Eddie Gray, Demetra Pitta), Objects, Actions And Images: A Perspective On Early Number Development. Journal of Mathematical Behavior,18, 4, 1-13.
2001m Chae, S. D. and Tall, D. (2001). ‘Students’ concept images for period doublings as embodied objects in chaos theory’. Proceedings of the International Conference on Computers in Education, Vol. 3, 1470-1475, Seoul: Korea.
2001b (with Eddie Gray, Maselan Bin Ali, Lillie Crowley, Phil DeMarois, Mercedes McGowen, Demetra Pitta, Marcia Pinto, Michael Thomas, and Yudariah Yusof). Symbols and the Bifurcation between Procedural and Conceptual Thinking, Canadian Journal of Science, Mathematics and Technology Education 1, 80-104.
2001i (with Eddie Gray) Relationships between embodied objects and symbolic procepts: an explanatory theory of success and failure in mathematics, Proceedings of the 25th Conference of the International Group for the Psychology of Mathematics Education 3, 65-72. Utrecht, The Netherlands.
2002j Anna Watson (and David Tall), (2002). Embodied action, effect, and symbol in mathematical growth. In Anne D. Cockburn & Elena Nardi (Eds), Proceedings of the 26th Conference of the International Group for the Psychology of Mathematics Education, 4, 369376. Norwich: UK.
2002m Ehr-Tsung Chin, David Tall (2002), Proof as a Formal Procept in Advanced Mathematical Thinking, International Conference on Mathematics: Understanding Proving and Proving to Understand, 212-221. National Taiwan Normal University, Taipei, Taiwan.
2003c Watson, A., Spyrou, P., Tall, D. O. (2003). The Relationship between Physical Embodiment and Mathematical Symbolism: The Concept of Vector. The Mediterranean Journal of Mathematics Education. 1 2, 73-97.
2004a David Tall (2004) .The three worlds of mathematics: a comment on Inglis. For the Learning of Mathematics, 23 (3). 2933.
2004b David Tall, Juan Pablo Mejia Ramos (2004). Reflecting on Post-Calculus-Reform. Opening Plenary for Topic Group 12: Calculus, International Congress of Mathematics Education, Copenhagen, Denmark.
2004d David Tall (2004), Thinking through three worlds of mathematics, Proceedings of the 28th Conference of the International Group for the Psychology of Mathematics Education, Bergen, Norway.