Electronic Media Review

Teaching Philosophy 29 (3):255-260 (2006)
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.
Keywords Teaching Philosophy
Categories (categorize this paper)
ISBN(s) 0145-5788
DOI 10.5840/teachphil200629327
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,530
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
The Epistemological Status of Computer-Assisted Proofs.Mark McEvoy - 2007 - Philosophia Mathematica 16 (3):374-387.
Linear Logic in Computer Science.Thomas Ehrhard (ed.) - 2004 - Cambridge University Press.
Simulation, Ramification, and Linear Logic.G. Graham White - 1998 - Linköping Electronic Articles in Computer and Information Science 3 (12).
A Short Introduction to Intuitionistic Logic.G. E. Mint͡s - 2000 - Kluwer Academic / Plenum Publishers.
Added to PP index

Total downloads
22 ( #244,210 of 2,210,782 )

Recent downloads (6 months)
3 ( #154,247 of 2,210,782 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature