Reflections on the Importance of Reference for Understanding Thinking
An intentional form of the semantics of algebraic expressions in the tradition starting with Frege is popular in mathematics education. On the other hand, mathematical logic including predicate calculus and lambda calculus is dominated for more than 50 years by referential semantics. A third field of investigation is the semantics of mathematics as realized in programming languages and computer algebra systems. The paper explores the tension between these approaches and tries to clarify the role of reference both in he developed mathematics as well as in the learning process. Referential semantics simplifies theories but requires mental objects to be constructed to be useful. This links the topic to reification theory. A small collection of observations of learners’ behavior adds support to the claim that reference is of some importance in the learning process.
This work is licensed under a Creative Commons Attribution 4.0 License.