Abstraction and Individual Style in Syllogistic and Heterogeneous Reasoning

Syllogistic reasoning can be modelled with mental models. Heterogeneous reasoning brings together propositional and visual information, and in the Hyperproof logic-teaching system, the visual can act as a model for the propositional. Both mental models notation and Hyperproof’s visual representations allow abstractions of a limited kind. Individual differences in reasoning performance have been found in both domains. We suggest that at least some of the differences can be attributed to students’ differing ability to manipulate abstractions.