Submitted to the Third international conference of the Italian Network for the Philosophy of Mathematics, May 25-27, 2018, Mussomeli – Caltanissetta, Sicily, Italy.
Identifying and Classifying Cognitively Natural Mathematical Constructs
I wish to find a vantage point from which it would be possible to make sense of all of mathematics. What mathematical concepts, disciplines and truths can arise? and how and why? My strategy is to study how our mathematical activity is dictated by our limited imagination. Specifically, I have observed that each time we solve a mathematical challenge, our minds apply some classic mathematical construct. We can thus distinguish the explicit mathematics, on paper, which is often highly contrived, and the implicit mathematics, in our mind, which is inherently, cognitively natural. I survey these natural constructs and suggest how we can clarify them and systematize them. I start with an illustrative example.
George Polya (1945), in his book, "How to Solve It", considers Euclid's problem of how to construct an equilateral triangle. If we are given one side AB, how do we construct the other two? The solution is a recurring idea which Polya calls the "pattern of two loci". We think of there being two separate conditions. One side must extend a length AB from the point A. Another side must extend a length AB from the point B. We thus draw two circles of radius AB centered at A and B. The points where the two circles intersect are those where we can draw a third point C which satisfies both conditions so that our triangle is equilateral.
I realized that our minds solve this problem by imagining a powerset lattice of conditions. Circle A is one condition, circle B is another condition, and the intersection of A and B satisifies the union of these two conditions. Our minds have thus solved the surface problem (constructing an equilateral triangle) by considering a simpler, deeper structure (a lattice of conditions). This brings to mind linguist Noah Chomsky's work in syntax and architect Christopher Alexander's work on pattern languages.
I collected such problem solving patterns discussed in Paul Zeitz's (2006) book "The Art and Craft of Problem Solving" and other sources. Each distinct pattern makes use of a structure which is familiar to mathematicians and yet is not explicit but mental. My approach is reminiscent of Lakoff and Nunez (2003), "Where Mathematics Comes From", except that they think of math as embodied and concrete, developing from what we know, whereas I think of math as developing from our abstract life, engaging what we don't know.
I present to you 24 patterns for which there seems to be evidence.
The crux of the problem may be to imagine:
In order to solve a problem, we often must imagine:
Three patterns taken together remind me of the scientific method: C0) taking a stand (hypothesizing), C1) following through (experimenting) and C2) reflecting (concluding).
D) Pre-system, System, Post-system
I think of our minds as working on mental sheets. One solution is to start with a fresh sheet.
Sometimes our minds work with one sheet at a time, as with algebraic patterns, and sometimes with a sequence of sheets, as with analytic patterns, and sometimes coupling the two approaches. We thus do the ground work for a completely explicit system:
At this point, we typically need to explicitly model our own mind's possibilities, our logical statements, and thus distinguish two sheets, the level and the metalevel. But we always have to be ready to let go of our model because of:
If I ask you, what is 10+4? You may say 14, but the answer is 2, because I am thinking about a clock. Everything we know may be irrelevant or wrong because ultimately it all depends on context. We have to be willing to go back to the blank sheet.
There are four aspects of truth (and perhaps logic and geometry) that relate the level and metalevel to consider whether, what, how and why a statement is true.
F) Visual restructurings
Six more patterns consider the metalevel as visually restructuring the level. In each case, we imagine a sequence, hierachy, network to restructure a different such structure.
I need to study these more carefully. But they do seem to accord with axioms of set theory for Pairing, Extensionality, Choice, Power Set, Union and Regularity. Which is to say that these are, in some sense, cognitively natural. Whereas the Axiom of Infinity is not cognitively natural in that, in our minds, we never imagine infinitely many perspectives at once.
I am exploring ways to understand if and how these six patterns might arise as pairs of the four aspects of truth. I need to collect and study more examples.
A comprehensive system?
The 24 patterns above arose, on the one hand, from an empirical study of almost 200 math problems discussed by Zeitz, Polya and others. Such a study could and should be expanded as a collaborative effort. I have organized the patterns (Figure 1) relying on my own intuition as a mathematician and also cognitive frameworks which I am familiar with as a philosopher. They do need to be more rigorously established.
I have also documented similarly structured epistemological systems in studying "ways of figuring things out" in my own philosophical thinking, Jesus's thinking in the Gospels, and innovation games (Gamestorming) played in Silicon Valley. The latter study suggests that all of human culture is games upon games. A game creates a shared world which we enter by asking a question and leave by accepting an answer. I find it plausible that the Universal Grammar which linguist Noam Chomsky is seeking is actually such a grammar of games. Every discipline - every investigatory activity - may simply define a particular class of games, which, however, leverages essentially the same kind of epistemology.
Mathematical activity may thus be understood as a special class of games. The ways of figuring things out in mathematics may help us find our way as regards what is cognitively most central in math. For example, Lie groups and algebras are an important link between algebra and analysis. It becomes interesting to look for any cognitive basis for the four classical Lie groups and algebras.