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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,541
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 - 2008 - Philosophia Mathematica 16 (3):374-387.
Linear Logic in Computer Science.Thomas Ehrhard (ed.) - 2004 - Cambridge University Press.
Modern Logic: A Text in Elementary Symbolic Logic.Graeme Forbes - 1994 - Oxford, England and New York, NY, USA: Oxford University Press.
Metamathematics, Machines and Gödel's Proof.N. Shankar - 1994 - Cambridge University Press.
Proof and Disproof in Formal Logic: An Introduction for Programmers.Richard Bornat - 2005 - Oxford, England: New Yorkoxford 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 views
36 ( #320,114 of 2,533,478 )

Recent downloads (6 months)
1 ( #391,480 of 2,533,478 )

How can I increase my downloads?


My notes