In what follows, we propose an account of symbolic reasoning according to which perception, manipulation, and perceptual imagination lie at the heart
of mathematical and logical competence. p. 1
The authors reference Landy & Goldstone.
They talk about syntactic and computational accounts, and semantic processing accounts in why systems interpret and represent mathematical relations, including mental models, conceptual metaphors etc. This shifts the focus from syntax to meaningful relations. Both tend to ignore the perceptual role of the symbols themselves, even accounts that claim some grounded origin. p. 3
They contrast this with an Andy Clark cyborg account, a more fully situated cognition version in which the symbols actively help reasoning:
the active manipulation of physical notations plays the role of “guiding” the
human biological machinery through an abstract mathematical
problem space—one that may far exceed the space of otherwise
solvable problems.p. 3
but point out that still not enough attention is paid to the effect on perception. They elaborate on the cyborg account, calling this Perceptual Manipulations Theory.
the implementationofamodally representedrulesormodels.
ing andsymmetrydetection,amongothers.p. 4
They run through some examples of perceptual metaphors like the dy/dx one I wrote about so long ago.
¯A ∪ B = ¯A ∩ ¯B
¯P ∨ Q ≡ ¯P ∧ ¯Q
They then outline some of the evidence that supports PMT, such as evidence that the physical form of notations significantly affects their interpretation/efficacy, etc.
tobebothidiosyncraticandcontext-specific. p. 7
overt rule-following emerges from the fine-
tuned interactions between the perceptual and sensorimotor
systems with well-designed physical notations—symbolic rea-
soning is a form of sophisticated “symbolpushing” that happens
to adhere to the formal rules of mathematics and logic,
due to a lengthy process of cultural adaptation and pedagogical
scaffolding. p. 8