The psychological scaffolding of arithmetic.

Where does arithmetic come from, and why are addition and multiplication its fundamental operations? Although we know that arithmetic is true, no explanation that meets standards of scientific rigor is available from philosophy, mathematical logic, or the cognitive sciences. We propose a new approach based on the assumption that arithmetic has a biological origin: Many examples of adaptive behavior such as spatial navigation suggest that organisms can perform arithmetic-like operations on represented magnitudes. If so, these operations-nonsymbolic precursors of addition and multiplication-might be optimal due to evolution and thus identifiable according to an appropriate criterion. We frame this as a metamathematical question, and using an order-theoretic criterion, prove that four qualitative conditions-monotonicity, convexity, continuity, and isomorphism-are sufficient to identify addition and multiplication over the real numbers uniquely from the uncountably infinite class of possible operations. Our results show that numbers and algebraic structure emerge from purely qualitative conditions, and as a construction of arithmetic, provide a rigorous explanation for why addition and multiplication are its fundamental operations. We argue that these conditions are preverbal psychological intuitions or principles of perceptual organization that are biologically based and shape how humans and nonhumans alike perceive the world. This is a Kantian view and suggests that arithmetic need not be regarded as an immutable truth of the universe but rather as a natural consequence of our perception. Algebraic structure may be inherent in the representations of the world formed by our perceptual system. (PsycInfo Database Record (c) 2024 APA, all rights reserved).

Range and distribution effects on number line placement.

People's placement of numbers on number lines sometimes shows linear and sometimes compressive scaling. We investigated whether people's placement of numbers was affected by their range and distribution, as indicated by Parducci's (Psychological Review, 72, 407-418, 1965) range-frequency theory. Experiment 1 found large compressive effects when the endpoints were 1 and 1016. Experiment 2 showed compression when 14 logarithmically distributed numbers were placed on a line marked 1-1,000 and close to linear scaling when the numbers were linearly distributed. Thus, we found both range and frequency effects on compression. Where compression arose, it was not as pronounced as that predicted by logarithmic scaling, but analyses of the results from Experiments 1 and 2 indicate this was not explained by participants switching between linear and logarithmic scaling.

On the origins of computationally complex behavior.

There is considerable evidence for computationally complex behavior, that is, behavior that appears to require the equivalent of mathematical calculation by the organism. Spatial navigation by path integration is perhaps the best example. The most influential account of such behavior has been Gallistel's (1990) computational-representational theory, which assumes that organisms represent key environmental variables such as direction and distance traveled as real numbers stored in engrams and are able to perform arithmetic computations on those representations. But how are these computations accomplished? A novel perspective is gained from the historical development of algebra. We propose that computationally complex behavior suggests that the perceptual system represents an algebraic field, which is a mathematical concept that expresses the structure underlying arithmetic. Our field representation hypothesis predicts that the perceptual system computes 2 operations on represented magnitudes, not 1. We review recent research in which human observers were trained to estimate differences and ratios of stimulus pairs in a nonsymbolic task without explicit instruction (Grace, Morton, Ward, Wilson, & Kemp, 2018). Results show that the perceptual system automatically computes two operations when comparing stimulus magnitudes. A field representation offers a resolution to longstanding controversies in psychophysics about which of 2 algebraic operations is fundamental (e.g., the Fechner-Stevens debate), overlooking the possibility that both might be. In terms of neural processes that might support computationally complex behavior, our hypothesis suggests that we should look for evidence of 2 operations and for symmetries corresponding to the additive and multiplicative groups. (PsycINFO Database Record (c) 2019 APA, all rights reserved).