The Open UniversitySkip to content

Software that assists learning within a complex abstract domain: the use of constraint and consequentiality as learning mechanisms

No default citation style available for Eprints

DOI (Digital Object Identifier) Link:
Google Scholar: Look up in Google Scholar


This paper describes a research project into undergraduates’ use of a software tool to learn symbolic logic—a complex abstract domain that has been shown to be intimidating for students. The software allows the students to manipulate proofs in certain ways and then calculates the consequences of their actions. A research method has been developed that allowed students’ use of this tool to be modelled, and this model was then used to identify, refine and create visual cues that provide support for students’ reasoning. The focus of this paper is the role of the software as an artefact to aid students’ visualisation of reasoning processes rather than the logic itself. The main mechanisms by which this visualisation is supported are the imposition of constraints on the actions available and the demonstration to students of the consequences of their actions. The study shows that the software encouraged experimentation with different routes to a proof, and constituted a challenge to fixated reasoning.

Item Type: Journal Article
ISSN: 1467-8535
Academic Unit/Department: Institute of Educational Technology
Interdisciplinary Research Centre: Centre for Research in Education and Educational Technology (CREET)
Item ID: 263
Depositing User: Users 12 not found.
Date Deposited: 30 May 2006
Last Modified: 02 Dec 2010 19:43
Share this page:


Scopus Citations

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340