Computers, visualization, and the nature of reasoning
Jon Barwise, John Etchemendy · 1998
The computer is bringing about a revolution in our understanding of inference, representation, and reasoning, some of the most fundamental notions of logic. The revolution is far from complete, but we think the direction is clear enough. In this article we describe how the computer led the two of us first to change the way we teach elementary logic, and eventually to rethink basic assumptions about the subject matter of our discipline. We think the story is a remarkable case study of the synergy between teaching, technology, and research.