Journal of Logic, Language and Information 8 (3):363-384 (1999)
Computer-based logic proofs are a form of unnatural language in which the process and structure of proof generation can be observed in considerable detail. We have been studying how students respond to multimodal logic teaching, and performance measures have already indicated that students' pre-existing cognitive styles have a significant impact on teaching outcome. Furthermore, a large corpus of proofs has been gathered via automatic logging of proof development. This paper applies a series of techniques, including corpus statistical methods, to the proof logs. The results indicate that students' cognitive styles influence the structure of their logical discourse, via their differing methods of handling abstract information in diagrams, and transferring information between modalities.
|Keywords||cognitive styles diagrammatic reasoning logic teaching|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
On Automating Diagrammatic Proofs of Arithmetic Arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
Numbers and Proofs.R. B. J. T. Allenby - 1997 - Copublished in North, South, and Central America by John Wiley & Sons.
Blind Men, Elephants, and Dancing Information Processors.Chris Westbury - 2002 - Behavioral and Brain Sciences 25 (5):645-646.
Querying Linguistic Trees.Catherine Lai & Steven Bird - 2009 - Journal of Logic, Language and Information 19 (1):53-73.
Strategic Construction of Fitch-Style Proofs.Frederic D. Portoraro - 1998 - Studia Logica 60 (1):45-66.
Modern Logic: A Text in Elementary Symbolic Logic.Graeme Forbes - 1994 - Oxford University Press.
Proof Nets and the Complexity of Processing Center Embedded Constructions.Mark Johnson - 1998 - Journal of Logic, Language and Information 7 (4):433-447.
Added to index2009-01-28
Total downloads14 ( #320,334 of 2,146,969 )
Recent downloads (6 months)1 ( #385,507 of 2,146,969 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.