Jon Barwise was unique amongst logicians in leading engagement between logic and other disciplines, notably linguistics, computer
science, and the several disciplines concerned with diagrams. My main contact with Jon was through working on cognitive analyses
of the learning processes of students being taught logic using Hyperproof, the heterogeneous environment he and John Etchemendy
designed. This talk will trace some of Jon’s enthusiasms for interdisciplinary interactions in this area. I hope the audience
will contribute as much or more than the speaker.