Graphic interface design and deductive proof construction
| 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) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesA. 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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #202,107 of 549,683 )Recent downloads (6 months)1 ( #63,425 of 549,683 )How can I increase my downloads? |
My notes
Discussion
