• The logical system Hyperproof and the computer implementation of it--both created by Jon Barwise and John Etchemendy--present a radical new approach to modeling and teaching about reasoning. Hyperproof is a heterogeneous proof system that uses both sentences and diagrams as steps in proofs. This dissertation addresses important logical, philosophical, and pedagogical issues that Hyperproof raises. We formalize the syntax and semantics of Hyperproof, show that the major inference rules are valid,…Read more