Abstract

Logic and Proofs, developed at Carnegie Mellon, is the only instructional program that can support a computer-taught course (not just a computer-assisted course) in modern symbolic logic. I describe and assess the program. Then, drawing on my twenty years of experience, initially with Patrick Suppes’ Valid (no longer available), recently with Logic and Proofs, I discuss the very substantial benefits, as well as the challenges, when offering symbolic logic via a computer-taught course.