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.
Mark Johnson (1998). Proof Nets and the Complexity of Processing Center Embedded Constructions. Journal of Logic, Language and Information 7 (4):433-447.
Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.
Frederic D. Portoraro (1998). Strategic Construction of Fitch-Style Proofs. Studia Logica 60 (1):45-66.
Catherine Lai & Steven Bird (2010). Querying Linguistic Trees. Journal of Logic, Language and Information 19 (1):53-73.
Chris Westbury (2002). Blind Men, Elephants, and Dancing Information Processors. Behavioral and Brain Sciences 25 (5):645-646.
Daniel J. Velleman (2006). How to Prove It: A Structured Approach. Cambridge University Press.
R. B. J. T. Allenby (1997). Numbers and Proofs. Copublished in North, South, and Central America by John Wiley & Sons Inc..
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 downloads4 ( #259,127 of 1,102,971 )
Recent downloads (6 months)3 ( #120,763 of 1,102,971 )
How can I increase my downloads?