|Abstract||A graphic means of representing deductive proofs in a sentential system of symbolic logic is presented. Proof construction is characterized as a domain of the cognitive theory of problem solving, and three different interface designs for supporting the working backwards method of proof construction are demonstrated. Following a description of the rule set and the working backwards method, an analysis is given of student performance data that has guided interface development during the past two years. One interface design is shown to be superior to the others in respect to working backwards. Finally, some general conclusions are drawn concerning the relevance of instructional programs for empirically documenting student difficulties and for improving interface designs.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
A. Carbone (2002). The Cost of a Cycle is a Square. Journal of Symbolic Logic 67 (1):35-60.
Marvin J. Croy (2010). Teaching the Practical Relevance of Propositional Logic. Teaching Philosophy 33 (3):253-270.
Paul Howard-jones (2008). Philosophical Challenges for Researchers at the Interface Between Neuroscience and Education. Journal of Philosophy of Education 42 (3-4):361-380.
Frederic D. Portoraro (1998). Strategic Construction of Fitch-Style Proofs. Studia Logica 60 (1):45-66.
C. F. Gallney (1986). Explanation at the Method and Theory Interface. In J. L. Bintliff & C. F. Gaffney (eds.), Archaeology at the Interface: Studies in Archaeology's Relationships with History, Geography, Biology, and Physical Science. B.A.R..
Jan Krajíček (2004). Implicit Proofs. Journal of Symbolic Logic 69 (2):387 - 397.
Marvin Croy (2000). Problem Solving, Working Backwards, and Graphic Proof Representation REVIEWS. Teaching Philosophy 23 (2):169-187.
Added to index2009-01-28
Total downloads3 ( #213,250 of 722,826 )
Recent downloads (6 months)1 ( #60,541 of 722,826 )
How can I increase my downloads?