David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Mateja Jamnik, Alan Bundy & Ian Green (1999). On Automating Diagrammatic Proofs of Arithmetic Arguments. Journal of Logic, Language and Information 8 (3):297-321.
R. B. J. T. Allenby (1997). Numbers and Proofs. Copublished in North, South, and Central America by John Wiley & Sons Inc..
Daniel J. Velleman (2006). How to Prove It: A Structured Approach. Cambridge University Press.
Chris Westbury (2002). Blind Men, Elephants, and Dancing Information Processors. Behavioral and Brain Sciences 25 (5):645-646.
Catherine Lai & Steven Bird (2010). Querying Linguistic Trees. Journal of Logic, Language and Information 19 (1):53-73.
Frederic D. Portoraro (1998). Strategic Construction of Fitch-Style Proofs. Studia Logica 60 (1):45-66.
Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.
Mark Johnson (1998). Proof Nets and the Complexity of Processing Center Embedded Constructions. Journal of Logic, Language and Information 7 (4):433-447.
C. F. M. Vermeulen (2000). Text Structure and Proof Structure. Journal of Logic, Language and Information 9 (3):273-311.
Added to index2009-01-28
Total downloads5 ( #261,255 of 1,679,369 )
Recent downloads (6 months)1 ( #183,759 of 1,679,369 )
How can I increase my downloads?