Hyperproof is a computer program created by Barwise and Etchemendy for teaching logic using multimodal graphical and sentential methods, inspired by their theories of heterogeneous reasoning (Barwise and Etchemendy 1994). Elsewhere, we have proposed a theory of the cognitive impact of assigning information to different modalities (Stenning and Oberlander 1992). Our view is that where diagrams are advantageous, it is because they enforce the representation of information, leading to weak expressiveness, thereby facilitating inference. The present study tests and develops these claims by comparing the effects of teaching undergraduate logic classes using Hyperproof and a control syntactic teaching method. Results indicate that there is significant transfer from the logic courses to logical and analytical reasoning problems. There are also significant interactions between theoretically motivated pre-course aptitude measures and teaching method; the interactions influence postcourse reasoning performance in transfer domains. Hyperproof boosts students previously weak on items which benefit from diagram use, whereas the syntactic course appears to degrade the same group of students’ graphical strategies. As well as being theoretically interesting, these results provide support for the important practical conclusion that individual differences in aptitude should be taken into account in choosing teaching
[1]
Jon Oberlander,et al.
A Cognitive Theory of Graphical and Linguistic Reasoning: Logic and Implementation
,
1995,
Cogn. Sci..
[2]
Brad A. Myers,et al.
Taxonomies of visual programming and program visualization
,
1990,
J. Vis. Lang. Comput..
[3]
Owen Astrachan,et al.
On the Cruelty of Really Teaching Computer Science redux
,
2005
.
[4]
K. Jon Barwise,et al.
Heterogeneous Reasoning
,
1993,
International Conference on Conceptual Structures.
[5]
Merrie Bergmann,et al.
The Logic Book
,
1980
.
[6]
Paul Brna,et al.
Reasoning with external representations: supporting the stages of selection, construction and use
,
1993,
INTERCHI Adjunct Proceedings.
[7]
Samuel C. Brownstein,et al.
How to prepare for the GRE, graduate record examination : general test
,
1994
.
[8]
Spencer S. Swinton,et al.
Construct Validity of the GRE Analytical Test: A Resource Document.
,
1987
.
[9]
Edward E. Smith,et al.
The Teaching of Thinking
,
1985
.
[10]
Bonnie Grossen,et al.
Diagramming a Logic Strategy: Effects on Difficult Problem Types and Transfer
,
1990
.
[11]
W. Montague,et al.
Aptitude, Learning, and Instruction
,
1980
.
[12]
Richard Cox,et al.
Proof styles in multimodal reasoning
,
1996
.