• Citations Per Year
Learn More
The e€ect of two instructional variables, visualisation and manipulation of objects, in learning to use the logical connective, conditional, was investigated. Instructions for 66 ®rstyear social science students were varied in the computer-based learning environment Tarski's World, designed for teaching ®rst-order logic (Barwise & Etchemendy, 1992. The(More)
We describe a theory for binary relations in the Zermelo-Fraenkel style. We choose for ZFCU, a variant of ZFC Set theory in which the Axiom of Foundation is replaced by an axiom allowing for non-wellfounded sets. The theory of binary relations is shown to be equi-consistent ZFCU by constructing a model for the theory of binary relations in ZFU and vice(More)
The effect of two instructional variables, visualisation and manipulation of objects, in learning to use the logical connective, conditional, was investigated. Instructions for 66 first-year social science students were varied in the computer-based learning environment Tarski’s World, designed for teaching first-order logic (Barwise & Etchemendy, 1992). For(More)
  • 1