Proceedings of the ESSLLI-2000 Student Session

We draw attention to the fact that Barwise and Etchemendy's logic teaching program, Hyperproof, does not distinguish Visual Reasoning from CaseBased Reasoning. We indicate how this may be a problem when Hyperproof is used for cognitive research, and propose to solve the problem by using a similar system based on Peirce's Existential Graphs. We present a prototype of this system, called the EGG (Existential Graphs GUI)