An Attention Based Theory to Explore Affordances of Textual and Diagrammatic Proofs
Shimojima and Katagiri have demonstrated that diagrams reduce “inferential load” during reasoning by scaffolding visual-spatial aspects of memory. In response, we wondered why, if this is true, that proofs are usually text based? The purpose of this paper is to explore ergonomic affordances of text that may encourage its use in the communication of proofs by building on prior work in attention. We claim that textual notations may focus a reasoner’s “spotlight” of attention through serialized sequential chunks, whereas many diagrams may “diffuse” attention and that a diagrammatic notation system that serialized information in chunks amenable to focused attention could leverage the power of textual notations. We present such an example through a case study focused on generalized constraint diagrams, a visual logic with attributes that may support focused attention and extract ergonomic principles that may transcend each notation system.
Keywordsattention visual thinking proof logic geometry
Unable to display preview. Download preview PDF.
- 1.Ballard, D.H., Hayhoe, M.M., Pook, P.K., Rao, R.P.N.: Deictic codes for the embodiment of cognition. Behavioral and Brain Sciences 20, 723–767 (1995)Google Scholar
- 2.Barwise, J., Etchemendy, J.: Visual information and valid reasoning. In: Logical Reasoning with Diagrams, pp. 3–25. Oxford University Press, Inc., Oxford (1996)Google Scholar
- 3.Coppin, P., Hockema, S.: A cognitive exploration of the “non-visual” nature of geometric proofs. In: Cox, P., Fish, A., Howse, J. (eds.) Visual Languages and Logic, pp. 81–95 (September 2009)Google Scholar
- 4.Gil, J., Howse, J., Kent, S.: Towards a formalization of constraint diagrams. In: Proc. IEEE Symposia on Human-Centric Computing (HCC 2001), Stresa, Italy, pp. 72–79. IEEE Computer Society Press, Los Alamitos (2001)Google Scholar
- 7.Mumma, J.: Ensuring generality in euclid’s diagrammatic arguments. In: Diagrammatic Representation and Inference, pp. 222–235 (2008)Google Scholar
- 8.Mumma, J.: Proofs, pictures, and euclid. In: Synthese (2009)Google Scholar
- 10.Shimojima, A., Katagiri, Y.: An Eye-Tracking study of exploitations of spatial constraints in diagrammatic reasoning. In: Diagrammatic Representation and Inference, pp. 74–88 (2008)Google Scholar