Teaching Philosophy 29 (3):255-260 (2006)

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.
Keywords Teaching Philosophy
Categories (categorize this paper)
ISBN(s) 0145-5788
DOI 10.5840/teachphil200629327
Options
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: 71,316
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.

Analytics

Added to PP index
2011-01-09

Total views
36 ( #318,123 of 2,519,501 )

Recent downloads (6 months)
1 ( #407,153 of 2,519,501 )

How can I increase my downloads?

Downloads

My notes